内积空间

内积空间（）是增添了某種運算的向量空间，這種運算叫做内积，它推廣了原來欧几里德空间的點積，而從比較一般的角度看待向量的“夹角”、“长度”還有“正交性”。

 相關術語 
内积空间有时也叫做准希尔伯特空间（），因为由内积定义的距离完备化之后就会得到一个希尔伯特空间。

在早期的著作中，本條目所定義的内积空间被称作-{zh-cn:酉;zh-tw:么正;}-空间，但這些著作裡的“内积空间”反而指的是有限維Euclid空间或可數維的Lp空间。

 正式定义 
下文中  有可能是实数系  或复数系  。

 是一個定義在域  上的向量空间，其向量加法記為「  」 ，且其标量乘法記為「  」。若它裝配了一個二元函数  滿足：（以下將  簡寫為  ）
名稱前提條件內容共轭对称對所有 线性對所有 對所有  和所有  非负性對所有 非退化

這樣的話，  會被稱為定義在  上的內積。更進一步的，若  則稱  是個複內積空間，反之，若  則稱  是個實內積空間。

如果  ，也可記為   ，並稱「  與  是正交的（perpendicular）」。

 定义的分歧 
為了与量子力学中的狄拉克符号的順序相符，以上線性部分的定義常常被物理學家顛倒過來，也就是
线性對所有 對所有  和所有  
真正會造成影響的是第二條，因為可根據順序顛倒的第二條，從順序顛倒的第一條會推出原來的第一條，反之亦然（可參考基本性质一節第一個定理）。但這仍會造成許多定理的內積順序也要顛倒過來才會成立。

 例子 
实数的乘法
因為实数系  可以視是為定義在自己之上的向量空间，所以可以验证： 满足内积的各种性质。

点积
欧几里德空间 的点积：

是定義在 上的一個内积。

基本性质

證明(a)

(b)

故得証。

證明若  ，本定理只是內積定义的線性部分，故成立。

若   時，對任意有限向量序列  和任意  有：

這樣的話，對任意有限向量序列  和任意  有：

所以根據数学归纳法，本定理(a)部分得証。這樣根據共轭的線性性質有：

故本定理的(b)部分也得証。
 范数 
以下根據內積定义的非负性部分，定義  為  ，並把  表記為  。下面也將證明的確是上的范数。

 柯西-施瓦茨不等式 

證明若  ，根據內積定义的非退化部分，本定理成立。若考慮  ，取  、 與  ，則根據內積定义有

這樣定理的(a)部分就成立。考慮到  等價於上式內積要為零，那再根據內積定义的非退化部分，又等價於

那這樣根據向量空间的基本運算性质，又等價於

所以(b)部分也成立，故得証。

 三角不等式 

證明根據內積定义有

這樣根據上面的柯西-施瓦茨不等式有

另一方面，再根據柯西-施瓦茨不等式有

根據上面的三角不等式，  的確是個定義在  上的范数。所以內積空間也是一個賦範向量空間。這樣直觀上  就是向量  的長度。這樣內積定义的非退化部分，就可以直觀理解為「任意向量  為零向量，当且仅当其長度為零」。另外根據柯西-施瓦茨不等式，若  ，可以把  跟點積做類比，也就是依據反三角函数的性質，對「  和  間的夾角」做如下的定義：

這樣柯西-施瓦茨不等式可以直觀理解成上述的定義與「 等價於  和  相互平行」。

 度量 
根據三角不等式，以下的函数：

的確是  上的度量。這樣因為度量空间有自然的拓撲結構，所以內積空間  也就有這種自然的拓撲結構；通常會把這個自然的拓撲記為 。

 勾股定理 

證明根據內積定义和上面的一般線性性質有

故得証。

證明根據內積定义和向量空间的基本運算性质有

故得証。

 完备化 
如果  是個複內積空間，可以定義一個函数  且 ，根據上面的三角不等式和內積定义，  的確是個度量空间。

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

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

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

在内积空间上的算子

希爾伯特-施密特算子
协方差算子

 退化内积 

 引用 
 S. Axler, Linear Algebra Done Right, Springer, 2004
 G. Emch, Algebraic Methods in Statistical Mechanics and Quantum Field Theory, Wiley Interscience,  1972.
 N. Young, An Introduction to Hilbert Spaces, Cambridge University Press, 1988

N
N
N