线性代数
|
![{\displaystyle \mathbf {A} ={\begin{bmatrix}1&2\\3&4\end{bmatrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a31efc33ac33577d719a3ccd162a9bf21e4847ea)
|
向量 · 向量空间 · 基底 · 行列式 · 矩阵
|
|
|
内积空间(英语:Inner product space)是增添了某种运算的向量空间,这种运算叫做内积,它推广了原来欧几里德空间的点积,而从比较一般的角度看待向量的“夹角”、“长度”还有正交性。
相关术语[编辑]
内积空间有时也叫做准希尔伯特空间(pre-Hilbert space),因为由内积定义的距离完备化之后就会得到一个希尔伯特空间。
在早期的著作中,本条目所定义的内积空间被称作酉空间,但这些著作里的“内积空间”反而指的是有限维欧几里德空间或可数维的Lp空间。
正式定义[编辑]
下文中
有可能是实数系
或复数系
。
是一个定义在域
上的向量空间,其向量加法记为“
” ,且其标量乘法记为“
”。若它装配了一个二元函数
满足:(以下将
简写为
)
名称
|
前提条件
|
内容
|
共轭对称
|
对所有
|
|
线性
|
对所有
|
|
对所有 和所有
|
|
非负性
|
对所有
|
|
非退化
|
|
这样的话,
会被称为定义在
上的内积。更进一步的,若
则称
是个复内积空间,反之,若
则称
是个实内积空间。
如果
,也可记为
,并称“
与
是正交的(perpendicular)”。
定义的分歧[编辑]
为了与量子力学中的狄拉克符号的顺序相符,以上线性部分的定义常常被物理学家颠倒过来,也就是
线性
|
对所有
|
|
对所有 和所有
|
|
真正会造成影响的是第二条,因为可根据顺序颠倒的第二条,从顺序颠倒的第一条会推出原来的第一条,反之亦然(可参考基本性质一节第一个定理)。但这仍会造成许多定理的内积顺序也要颠倒过来才会成立。
实数的乘法[编辑]
因为实数系
可以视是为定义在自己之上的向量空间,所以可以验证:
满足内积的各种性质。
欧几里德空间
的点积:
![{\displaystyle \langle (x_{1},\ldots ,x_{n}),\,(y_{1},\ldots ,y_{n})\rangle :=\sum _{i=1}^{n}x_{i}y_{i}=x_{1}y_{1}+\cdots +x_{n}y_{n}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/68cdf729510ab446e1c995adbd64cb00985c666e)
是定义在
上的一个内积。
基本性质[编辑]
定理 — 若
是复内积空间,那对所有的
和所有的有
有:
- (a)
![{\displaystyle \langle a,\,v\oplus w\rangle =\langle a,\,v\rangle +\langle a,\,w\rangle }](https://wikimedia.org/api/rest_v1/media/math/render/svg/29dc4e3c1a031dc975246618a20119220a4e6e7c)
- (b)
![{\displaystyle \langle v,\,\lambda \cdot w\rangle ={\overline {\lambda }}\times \langle v,\,w\rangle }](https://wikimedia.org/api/rest_v1/media/math/render/svg/1ea5c96cbae8c84abef0506956c58c5f8e00d6b5)
证明
|
(a)
(b)
故得证。
|
一般线性 — 若
是个复内积空间,对任意有限向量序列
和任意
有:
- (a)
![{\displaystyle \left\langle \sum _{i=1}^{n}v_{i},\,w\right\rangle =\sum _{i=1}^{n}\langle v_{i},\,w\rangle }](https://wikimedia.org/api/rest_v1/media/math/render/svg/3d2f8b6a6628696cd0112d23426c6171816387bd)
- (b)
![{\displaystyle \left\langle w,\,\sum _{i=1}^{n}v_{i}\right\rangle =\sum _{i=1}^{n}\langle w,\,v_{i}\rangle }](https://wikimedia.org/api/rest_v1/media/math/render/svg/048af12a07a49bae50ab21d50045c21f12ff9d78)
证明
|
若 ,本定理只是内积定义的线性部分,故成立。
若 时,对任意有限向量序列 和任意 有:
![{\displaystyle \left\langle \sum _{i=1}^{k}u_{i},\,w\right\rangle =\sum _{i=1}^{k}\langle u_{i},\,w\rangle }](https://wikimedia.org/api/rest_v1/media/math/render/svg/2a6783d44eb510a4977556c742c7ea7331aa4eb1)
这样的话,对任意有限向量序列 和任意 有:
![{\displaystyle {\begin{aligned}\left\langle \sum _{i=1}^{k+1}v_{i},\,w\right\rangle &=\left\langle \left(\sum _{i=1}^{k}v_{i}\right)+v_{k+1},\,w\right\rangle \\&=\left\langle \sum _{i=1}^{k}v_{i},\,w\right\rangle +\langle v_{k+1},\,w\rangle \\&=\sum _{i=1}^{k}\langle v_{i},\,w\rangle +\langle v_{k+1},\,w\rangle \\&=\sum _{i=1}^{k+1}\langle v_{i},\,w\rangle \end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9574836e353d35f73c82ae0202f2526e9c997c05)
所以根据数学归纳法,本定理(a)部分得证。这样根据共轭的线性性质有:
![{\displaystyle {\begin{aligned}\left\langle w,\,\sum _{i=1}^{n}v_{i}\right\rangle &={\overline {\left\langle \sum _{i=1}^{n}v_{i},\,w\right\rangle }}\\&={\overline {\sum _{i=1}^{n}\langle v_{i},\,w\rangle }}\\&=\sum _{i=1}^{n}{\overline {\langle v_{i},\,w\rangle }}\\&=\sum _{i=1}^{n}\langle w,\,v_{i}\rangle \end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/59a8f1d261792a5aaf604a0038207f802ac67b01)
故本定理的(b)部分也得证。
|
以下根据内积定义的非负性部分,定义
为
,并把
表记为
。下面也将证明
的确是
上的范数。
柯西-施瓦茨不等式[编辑]
证明
|
若 ,根据内积定义的非退化部分,本定理成立。若考虑 ,取 、 与 ,则根据内积定义有
这样定理的(a)部分就成立。考虑到 等价于上式内积要为零,那再根据内积定义的非退化部分,又等价于
![{\displaystyle e_{v}\oplus (-\alpha )\cdot e_{w}=0_{V}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/02f06be0803eea1cd05c0df58a6d83a8bc2fd97a)
那这样根据向量空间的基本运算性质,又等价于
![{\displaystyle v={\frac {\langle v,\,r\rangle }{{\|w\|}^{2}}}\cdot w}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7b357e14d1bf55384a78bee30f8ae9f4d6a8a2c3)
所以(b)部分也成立,故得证。
|
三角不等式[编辑]
证明
|
根据内积定义有
这样根据上面的柯西-施瓦茨不等式有
故本定理成立。
|
根据上面的三角不等式,
的确是个定义在
上的范数。所以内积空间也是一个赋范向量空间。这样直观上
就是向量
的长度。这样内积定义的非退化部分,就可以直观理解为“任意向量
为零向量,当且仅当其长度为零”。另外根据柯西-施瓦茨不等式,若
,可以把
跟点积做类比,也就是依据反三角函数的性质,对“
和
间的夹角”做如下的定义:
![{\displaystyle \angle (v,\,w):=\cos ^{-1}\left({\frac {\langle v,\,w\rangle }{\|v\|\|w\|}}\right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d3d0579983548e1ef75a62b8f4c8e313d67ef3ed)
这样柯西-施瓦茨不等式可以直观理解成上述的定义与“
等价于
和
相互平行”。
根据三角不等式,以下的函数:
![{\displaystyle d:V\times V\to \mathbb {R} ^{+};\;d(v,w)=\|v\ominus w\|}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1628e088794045ca41d0d9fb497209885cf7c705)
的确是
上的度量。这样因为度量空间有自然的拓扑结构,所以内积空间
也就有这种自然的拓扑结构;通常会把这个自然的拓扑记为
。
毕氏定理[编辑]
证明
|
根据内积定义和上面的一般线性性质有
![{\displaystyle {\begin{aligned}\left\|\sum _{i=1}^{n}v_{i}\right\|^{2}&=\left\langle \sum _{i=1}^{n}v_{i},\,\sum _{i=1}^{n}v_{i}\ \right\rangle \\&=\sum _{j=1}^{n}\left\langle v_{j},\,\sum _{i=1}^{n}v_{i}\ \right\rangle \\&=\sum _{j=1}^{n}\sum _{i=1}^{n}\langle v_{j},\,v_{i}\rangle \\&=\sum _{j=1}^{n}{\|v_{j}\|}^{2}\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/75924345aa9fc70f54ef5ec2f036b8e66f205573)
故得证。
|
证明
|
根据内积定义和向量空间的基本运算性质有
故得证。
|
完备化[编辑]
如果
是个复内积空间,可以定义一个函数
且
,根据上面的三角不等式和内积定义,
的确是个度量空间。
在希尔伯特空间的文章中有一些内积空间的例子,其中引出自内积的度量诱导一个完备的度量空间。然而也存在诱导不完备度量空间的内积,比如在区间
上连续复数值函数的空间
上。内积是
这个空间是不完备的;比如考虑对于区间
,考虑函数序列
,其中
![{\displaystyle \forall k\geqslant 2,\;\;\;f_{k}(t)={\begin{cases}0,&\forall t\in [0,{\frac {1}{2}}]\\k(t-{\frac {1}{2}}),&\forall t\in ({\frac {1}{2}},{\frac {1}{2}}+{\frac {1}{k}}]\\1,&\forall t\in ({\frac {1}{2}}+{\frac {1}{k}},1]\end{cases}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6cfcaa24ea341176690af9e44a1c7eb7a7adc3ab)
每个
都是连续函数,但
在上面的内积诱导的拓扑中是不收敛于任何一个连续函数的柯西序列,因为它的极限不是连续的函数。
在内积空间上的算子[编辑]
希尔伯特算子,协方差算子
退化内积[编辑]
- 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