下列(　　)不是判定有限空间的必要条件。