内积空间

下文中的标量域是指实数域或复数域。

正式地，一个内积空间是域上的向量空间与一个内积(即一个映射)构成的。上的一个内积定义为正定、非退化的共轭双线性形式（时，内积是一个正定、对称、非退化的双线性形式），记为

它满足以下设定：

1. 共轭对称；

   这个设定蕴含了：，因为.

   对第一个元素线性；

   由前两条可以推断出：

   因此实际上是一个半双线性形式。

   非负性：

   非退化：从V到对偶空间V*的映射：是同构映射。

   在有限维的向量空间中，只需要验证它是单射：当且仅当。

拥有以上性质的共轭双线性形式被称为埃尔米特形式。内积是一个埃尔米特形式。

如果是实数域那么共轭对称性质就等价于对称性：，也就是说，共轭双线性变成了一般的双线性。

多数数学家要求内积在第一个参数上是线性的而在第二个参数上是共轭线性的，下文中也接受这种约定。很多物理学家接受相反的约定。这种改变是非实质性的，但是相反的定义提供了与量子力学中的狄拉克符号更平滑的连接，现在也偶尔被数学家使用。某些作者接受约定的写法表示在第一个分量是线性的而的写法表示在第二个分量上是线性的，尽管这种约定并不普遍。

选择或作为内积空间的标量域是有原因的。首先，这个域要包含一个有全序关系的子域，否则就无法谈论“非负性”，因此它的特征必须是零。(因为任何有序域都有这样的特征值)这样就排除了所有的有限域。这个标量域需要有其他的结构，例如众所周知的同构。更一般地，或二次封闭的子域会满足这样的假设，例如代数数；担当它是一个真子域时(既非也非)，甚至有限维内积空间也不会度量完备。相反，或上的所有有限维内积空间，如在量子计算中所使用的，自动是度量上完备的，因此是希尔伯特空间。

在某些情况下，必须考虑非负半定半双线性形式。这意味着只要求非负。

注意到共轭对称表明对所有，都是实数，因为我们有

此外，半双线性(参见下文)表明

共轭对称和第一个变量的线性给出

所以内积是一个半双线性形式。共轭对称也叫埃尔米特对称，而一个共轭半双线性形式叫做一个埃尔米特形式。尽管上面的公理在数学上更加便捷，内积的一个简洁文字定义是正定Hermitian形式。

在的情形中，共轭对称退化为对称，而半双线性退化为双线性。因而，一个实向量空间上的内积是一个正定对称双线性形式。

由线性性质可以导出能推出然而从正定性公理我们得到其逆命题, 能推出。结合这两个，我们有性质当且仅当

结合内积第一个变量的线性和共轭对称给出下面熟悉的平方展开的重要推广：

假设基础域是，内积对称，我们得到

或者相似地,

一个内积空间的可加性：

且

内积的一个简单的例子是实数的乘法：。如果将实数域看成一维的实向量空间，那么可以验证：实数乘法满足内积的各种性质。

欧几里德空间和点积：

构成一个内积空间。复空间中，内积的一般形式是：

其中是一个任意的正定埃尔米特矩阵，是的共轭转置。根据谱定理，矩阵必然可以酉对角化。也就是说，存在一组标准正交基，在这组正交基下来看，内积表现为加权（每个分量有不同的正权重）的点积。

在希尔伯特空间的文章中有一些内积空间的例子，其中引出自内积的度量诱导一个完备的度量空间。然而也存在诱导不完备度量空间的内积，比如在区间上连续复数值函数的空间上。内积是

这个空间是不完备的；比如考虑对于区间，考虑函数序列，其中

每个都是连续函数，但在上面的内积诱导的拓扑中是不收敛于任何一个连续函数的柯西序列，因为它的极限不是连续的函数。

内积空间有多种良好的性质，是刻画、分析并解决数学中不少问题的工具。

从内积空间的内积可以很自然地定义一个范数：由内积的性质可以证明它满足作为范数的要求。这个范数就是在内积空间中的“长度”。这个范数和内积满足柯西不等式：对中元素、，

由柯西不等式的证明，可以看出内积的几何解释：不等式中的等号只在两个向量、线性相关的时候才成立。以欧几里德空间为例来说，就是说等号仅当两个向量方向相同或相反的时候才成立。可以定义两个非零向量的夹角为

夹角的取值在区间上。这与常见的欧几里德空间的情况相似。从角度的定义出发，可以定义正交：两个不为零的向量正交当且仅当他们的内积为零（夹角为）。

可以看到范数的定义使得成为一个赋范向量空间，因此也是一个度量空间。最重要的内积空间是对于这个度量完备的空间，叫做希尔伯特空间。每个内积空间都是某个希尔伯特空间的稠密子集。这个希尔伯特空间可在将完备化时唯一确定（同构意义下）。

从内积的性质可以推出范数的一些基本性质。这些性质可以看作是欧几里德空间中一些几何性质的推广：

平行四边形法则：

勾股定理：中的元素和正交，，当且仅当

用数学归纳法还可以推出：若x₁, ..., x_n是两两正交的向量，那么：

只要注意到是到的连续函数，我们可以进一步将勾股定理推广为：

帕瑟瓦尔等式：若是完备的内积空间。如果是中的正交列，那么：

这里假定左侧的无穷级数是收敛的。这时候空间的完备性保证了等式的右侧向量级数也有意义，因为容易证明部分和序列是收敛的柯西序列。

从内积可以定义范数，而反过来也一样，从范数可以定义内积。定义的公式被称为“极化公式”。复向量空间的情况下公式为：

实向量空间的情况下则是：

极化公式说明，定义了向量空间里的一个范数以后，可以用如上的公式定义一个内积。

内积允许我们定义向量空间中的角度，因此像平面几何和立体几何中在二维和三维欧几里德空间里建立直角坐标系一样，我们可以在内积空间里建立类似直角坐标的结构，以方便讨论一般向量空间里的类似数学问题。在内积空间中，数学家们使用“正交”来代替“垂直”的说法。两个向量正交，如果它们的内积等于0.在装备了点积作为内积的二维和三维空间里，正交和垂直是等价的。两个（三个）相互垂直，长度为1的向量构成了二维和三维欧几里德空间的坐标系。而在更一般的内积空间中，我们使用“正交基”来作为类似直角坐标的架构的称呼。一个有限维（维的）内积空间的一组正交基是一组向量：，使得任何两个向量都正交：

如果这些向量的范数都是1（），就称是一组标准正交基。给定任意一组基，都可以通过Gram-Schmidt正交化方法得到一组标准正交基。

如果是无穷维空间，那么需要对正交基进行重新定义。首先，一组向量是的一组基，如果中所有有限线性组合所生成的子空间在中稠密（对于内积诱导的拓扑来说）。而如果任何两个向量都正交，任何向量范数都是1，那么就称之为的一组标准正交基。用类似Gram-Schmidt正交化的方法可以证明：

使用豪斯多夫最大原理（佐恩引理的一个等价版本）并且注意到完备的内积空间里对子空间的投影总是良好定义的事实，可以得到另一个结论：

然而，不是所有的内积空间都有标准正交基的。可以构造出不含有标准正交基的内积空间。