冰山上的一角——n维欧几里得空间

由n维欧几里得空间窥探数学概念 $Space$ 的整个体系：

Overview of types of abstract spaces. An arrow from space A to space B implies that space A is also a kind of space B. That means, for instance, that a normed vector space is also a metric space.
 
Source：Space (mathematics)-WiKi

本人水平有限，暂时接触到的只有这么多：

欧几里得空间的数学结构关系图
来源：线代启示录——欧几里得空间的数学结构

度量空间可以表示为 $(X,d)$ 二元组，$X$ 是一个集合，d是一个定义在笛卡尔积（直积，$Cartesianproduct$）下的数值函数，又叫做度量函数：$d:X\times X\mapsto R$ . 这个度量函数满足几个性质，在此不再罗列。

度量空间的完备性被柯西序列的收敛所定义，当然这里的柯西序列不再仅仅是实数域 $R$ 上的 { x n } \{x_n\} { xn​} 了，而变成了抽象集合 $X$ 上元素构成的序列 { x n } \{x_n\}