内积空间

title: 定义.
content: 下文中的标量域formula_1是指实数域formula_2或复数域formula_3。  正式地,一个内积空间是域formula_1上的向量空间formula_5与一个"内积"(即一个映射)构成的。formula_5上的一个内积定义为正定、非退化的共轭双线性形式(formula_7时,内积是一个正定、对称、非退化的双线性形式),记为formula_8  它满足以下设定:  如果formula_1是实数域formula_2那么共轭对称性质就等价于对称性:formula_21,也就是说,共轭双线性变成了一般的双线性。
title: 另外的定义和言论.
content: 多数数学家要求内积在第一个参数上是线性的而在第二个参数上是共轭线性的,下文中也接受这种约定。很多物理学家接受相反的约定。这种改变是非实质性的,但是相反的定义提供了与量子力学中的狄拉克符号更平滑的连接,现在也偶尔被数学家使用。某些作者接受约定formula_22的写法表示在第一个分量是线性的而formula_23的写法表示在第二个分量上是线性的,尽管这种约定并不普遍。  选择formula_2或formula_3作为内积空间的标量域是有原因的。首先,这个域要包含一个有全序关系的子域,否则就无法谈论“非负性”,因此它的特征必须是零。(因为任何有序域都有这样的特征值)这样就排除了所有的有限域。这个标量域需要有其他的结构,例如众所周知的同构。更一般地,formula_2或formula_3二次封闭的子域会满足这样的假设,例如代数数;担当它是一个真子域时(既非formula_2也非formula_3),甚至有限维内积空间也不会度量完备。相反,formula_2或formula_3上的所有有限维内积空间,如在量子计算中所使用的,自动是度量上完备的,因此是希尔伯特空间。  在某些情况下,必须考虑非负半定半双线性形式。这意味着只要求formula_32非负。
title: 初等性质.
content: 注意到共轭对称表明对所有formula_33,formula_34都是实数,因为我们有formula_35  此外,半双线性(参见下文)表明formula_36  共轭对称和第一个变量的线性给出  所以内积是一个半双线性形式。共轭对称也叫埃尔米特对称,而一个共轭半双线性形式叫做一个"埃尔米特形式"。尽管上面的公理在数学上更加便捷,内积的一个简洁文字定义是"正定Hermitian形式"。  在formula_39的情形中,共轭对称退化为对称,而半双线性退化为双线性。因而,一个实向量空间上的内积是一个"正定对称双线性形式"。  由线性性质可以导出formula_40能推出formula_41然而从正定性公理我们得到其逆命题, formula_42能推出formula_40。结合这两个,我们有性质formula_42当且仅当formula_45  结合内积第一个变量的线性和共轭对称给出下面熟悉的平方展开的重要推广: 假设基础域是formula_47,内积对称,我们得到 或者相似地,  一个内积空间formula_50的"可加性":
title: 例子.
title: 实数的乘法.
content: 内积的一个简单的例子是实数的乘法:formula_53。如果将实数域看成一维的实向量空间,那么可以验证:实数乘法满足内积的各种性质。
title: 欧几里德空间的点积.
content: 欧几里德空间formula_54和点积: 构成一个内积空间。复空间formula_56中,内积的一般形式是: formula_57 其中formula_58是一个任意的正定埃尔米特矩阵,formula_59是formula_33的共轭转置。根据谱定理,矩阵必然可以酉对角化。也就是说,存在一组标准正交基,在这组正交基下来看,内积formula_61表现为加权(每个分量有不同的正权重)的点积。
title: 完备性.
content: 在希尔伯特空间的文章中有一些内积空间的例子,其中引出自内积的度量诱导一个完备的度量空间。然而也存在诱导不完备度量空间的内积,比如在区间formula_63上连续复数值函数的空间formula_64上。内积是 formula_65  这个空间是不完备的;比如考虑对于区间formula_66,考虑函数序列formula_67,其中 每个formula_69都是连续函数,但formula_67在上面的内积诱导的拓扑中是不收敛于任何一个连续函数的柯西序列,因为它的极限不是连续的函数。
title: 基本性质.
content: 内积空间有多种良好的性质,是刻画、分析并解决数学中不少问题的工具。  从内积空间的内积可以很自然地定义一个范数:formula_71由内积的性质可以证明它满足作为范数的要求。这个范数就是formula_33在内积空间中的“长度”。这个范数和内积满足柯西不等式:对formula_5中元素formula_33、formula_75, 由柯西不等式的证明,可以看出内积的几何解释:不等式中的等号只在两个向量formula_33、formula_75线性相关的时候才成立。以欧几里德空间为例来说,就是说等号仅当两个向量方向相同或相反的时候才成立。可以定义两个非零向量的夹角为 夹角的取值在区间formula_80上。这与常见的欧几里德空间的情况相似。从角度的定义出发,可以定义正交:两个不为零的向量正交当且仅当他们的内积为零(夹角为formula_81)。  可以看到范数formula_82的定义使得formula_5成为一个赋范向量空间,因此也是一个度量空间。最重要的内积空间是对于这个度量完备的空间,叫做希尔伯特空间。每个内积空间formula_5都是某个希尔伯特空间的稠密子集。这个希尔伯特空间可在将formula_5完备化时唯一确定(同构意义下)。  从内积的性质可以推出范数的一些基本性质。这些性质可以看作是欧几里德空间中一些几何性质的推广:  只要注意到formula_93是formula_94到formula_95的连续函数,我们可以进一步将勾股定理推广为: 这里假定左侧的无穷级数是收敛的。这时候空间formula_5的完备性保证了等式的右侧向量级数也有意义,因为容易证明部分和序列formula_101是收敛的柯西序列。  从内积可以定义范数,而反过来也一样,从范数可以定义内积。定义的公式被称为“极化公式”。复向量空间的情况下公式为: formula_102 实向量空间的情况下则是: formula_103 极化公式说明,定义了向量空间里的一个范数formula_104以后,可以用如上的公式定义一个内积formula_105。
title: 标准正交序列.
content: 内积允许我们定义向量空间中的角度,因此像平面几何和立体几何中在二维和三维欧几里德空间里建立直角坐标系一样,我们可以在内积空间里建立类似直角坐标的结构,以方便讨论一般向量空间里的类似数学问题。在内积空间中,数学家们使用“正交”来代替“垂直”的说法。两个向量正交,如果它们的内积等于0.在装备了点积作为内积的二维和三维空间里,正交和垂直是等价的。两个(三个)相互垂直,长度为1的向量构成了二维和三维欧几里德空间的坐标系。而在更一般的内积空间中,我们使用“正交基”来作为类似直角坐标的架构的称呼。一个有限维(formula_106维的)内积空间formula_5的一组正交基是一组向量:formula_108,使得任何两个向量都正交: 如果这些向量的范数都是1(formula_110),就称formula_111是一组标准正交基。给定任意一组基,都可以通过格拉姆-施密特正交化方法得到一组标准正交基。  如果formula_5是无穷维空间,那么需要对正交基进行重新定义。首先,一组向量formula_113是formula_5的一组基,如果formula_111中所有有限线性组合所生成的子空间在formula_5中稠密(对于内积诱导的拓扑来说)。而如果formula_111任何两个向量都正交,任何向量范数都是1,那么就称之为formula_5的一组标准正交基。用类似格拉姆-施密特正交化的方法可以证明:  使用豪斯多夫最大原理(佐恩引理的一个等价版本)并且注意到完备的内积空间里对子空间的投影总是良好定义的事实,可以得到另一个结论:  然而,不是所有的内积空间都有标准正交基的。可以构造出不含有标准正交基的内积空间。

Summary: 内积空间是数学中的线性代数里的基本概念,是增添了一个额外的结构的向量空间。这个额外的结构叫做内积或标量积。内积将一对向量与一个标量连接起来,允许我们严格地谈论向量的“夹角”和“长度”,并进一步谈论向量的正交性。内积空间由欧几里得空间抽象而来(内积是点积的抽象),这是泛函分析讨论的课题。

Inner product space: In linear algebra, an inner product space is a vector space with an additional structure called an inner product. This additional structure associates each pair of vectors in the space with a scalar quantity known as the inner product of the vectors. Inner products allow the rigorous introduction of intuitive geometrical notions such as the length of a vector or the angle between two vectors. They also provide the means of defining orthogonality between vectors (zero inner product). Inner product spaces generalize Euclidean spaces (in which the inner product is the dot product, also known as the scalar product) to vector spaces of any (possibly infinite) dimension, and are studied in functional analysis. The first usage of the concept of a vector space with an inner product is due to Giuseppe Peano, in 1898.