有限空间的概念