数学空间.docVIP

数学空间 数学空间——定义了数学结构的集合 （1）集合中元素的数学形态 （2）数学结构（的定义）：关系与度量 常用数学空间的概念 名称 数域与集的元素 由数学运算建立的元素间相互联系的基本模式 元素间亲疏关系 的度量方式 所讨论的基本问题 向量空间 数域，数值向量 线性关系 无 基的识别 线性空间 数域，抽象向量 线性关系 无 基的识别 度量空间 （距离空间） 非空集合 无 抽象度量（距离） 亲疏判定 完备度量空间 非空集合 无 抽象的完备度量（基本点列收敛） 亲疏判定 赋范线性空间 数域，抽象向量 线性关系 抽象范数 线性度量 巴拿赫空间 （Banach） 数域，抽象向量 线性关系 由抽象的范数诱导出的完备度量 【注】无“角”的概念 内积空间 数域，抽象向量 线性关系 抽象内积，由内积诱导出的范数，夹角和距离 基的正交规范化 希尔伯特空间 （Hilbert） 数域，抽象向量 线性关系 由抽象的内积诱导出范数的完备度量 欧几里得空间 实数域，抽象向量 线性关系 正定对称双线性型（内积），由此诱导出的长度，夹角和距离 基的正交规范化 酉空间 复数域，抽象向量 线性关系 正定Hermite型（内积），由此诱导出的长度，夹角和距离 基的正交规范化 几何空间 实数域，数值向量 线性关系 向量内积（数量积），由此诱导出的向量长度，夹角和距离 几何体的性质 线性算子空间 在两个赋范线性空间之间定义的抽象线性运算（算子）构成的线性空间 共轭空间 赋范线性空间X上的全体连续线性泛函f构成的赋范线性空间（线性同构空间） 线性关系 . 抽象度量(距离) ，定义的二元函数，满足： （1）非负性：，； （2）三角不等式：. 由（1）和（2）可推出对称性. 抽象范数 ，定义的一元函数，满足： （1）非负性：，； （2）齐次性：； （3）三角不等式：. 抽象内积 ，定义的二元函数，满足： （1）非负性：，； （2）对称性：； （3）双线性性：，. 由抽象内积诱导出的范数 . 由抽象内积诱导出的距离 . 由抽象内积诱导出的夹角 .