集合上定义运算可以定义很多结构,在代数上习惯与用结构这个词,在几何中习惯于用空间这个词。几何中最基本的结构是线性空间,如果加上度量可以构成很多度量空间,这个度量可以是范数,可以是距离,可以是内积等。
如:
距离+线性空间 = 线性度量空间
范式+线性空间 = (线性)赋范空间
线性赋范空间+内积运算 = 内积空间
线性赋范空间+完备性 = 巴拿赫空间
因为有度量,所以可以在度量空间、赋范线性空间以及内积空间中引入极限,但抽象空间中的极限与实数上的极限有一个很大的不同就是,极限点可能不在原来给定的集合中,所以又引入了完备的概念,完备性的意思就是空间中的极限运算不能跑出该空间,如有理数空间中的的小数表示,其极限随着小数位数的增加收敛到
,但
属于无理数,并不在有理数空间,故不满足完备性。一个通俗的理解是把学校理解为一个空间,你从学校内的宿舍中开始一直往外走,当走不动停下来时(极限收敛),发现已经走出学校了(超出空间),不在学校范围内了(不完备了)。希尔伯特就相当于地球,无论你怎么走,都还在地球内(飞出太空除外)。
内积空间+有限维 = 欧几里得空间
内积空间+完备性 = 希尔伯特空间
在代数中,数集加上加减乘除,并定义运算性质,则构成了代数结构,做了个简单的导图如下: