开集是一个本原的概念,并不是通过每个点有一个邻域来定义的,开集也好闭集也罢,切记从一个出发,就没有循环定义一说了。
拓扑空间的定义有很多出发点,Hausdorff从邻域公理出发给出了一个邻域拓扑的定义,这种定义方式,让我们从度量空间到拓扑空间,理解起来似乎要更形象一点,但是并不简洁,所以拓扑空间更一般的定义是使用开集来定义。
但是我们随后发现(作者随后阐述了),这个”XX“拥有邻域的4个公理性质,也就是说如果我们把开集的3条性质作为先验的公理的话,我们可以定义出一个叫做”XX“的结构,它拥有的4条可以推出以邻域出发后推出的其他东西,所以我们完全可以把开集作为最basic的。
总结:
然后从开集的3条公理出发的话,我们的”XX“具有和另一个体系的”邻域“一样的性质和行为。注意,此时我们的开集体系里还没有”邻域“这个词。
为了表现、记忆我们开集体系里的”XX“和邻域体系的”邻域“的相同的性质和行为,我们干脆给这个”XX“取个正式的名字,他的名字叫”领域“。