有限空间的定义