不是阔域空间，应该叫做拓扑空间，是指具有拓扑结构的域。若F是一个域，同时为一个拓扑空间，而且F中的代数运算在拓扑空间F中是连续的。
拓扑空间是欧几里得空间的一种推广。给定任意一个集，在它的每一个点赋予一种确定的邻域结构便构成一个拓扑空间。拓扑空间是一种抽象空间，这种抽象空间最早由法国数学家弗雷歇于1906年开始研究。
