热门问题
时间线
聊天
视角
内积空间
来自维基百科,自由的百科全书
Remove ads
内积空间(英语:inner product space)是增添了某种运算的向量空间,这种运算叫做内积,它推广了原来欧几里德空间的点积,而从比较一般的角度看待向量的“夹角”、“长度”还有正交性。
Remove ads
相关术语
内积空间有时也叫做准希尔伯特空间(pre-Hilbert space),因为由内积定义的距离完备化之后就会得到一个希尔伯特空间。
在早期的著作中,本条目所定义的内积空间被称作酉空间,但这些著作里的“内积空间”反而指的是有限维Euclid空间或可数维的Lp空间。
正式定义
是一个定义在域 上的向量空间,其向量加法记为“ ” ,且其标量乘法记为“ ”。若它装配了一个二元函数 满足:(以下将 简写为 )
这样的话, 会被称为定义在 上的内积。更进一步的,若 则称 是个复内积空间,反之,若 则称 是个实内积空间。
如果 ,也可记为 ,并称“ 与 是正交的(perpendicular)”。
Remove ads
为了与量子力学中的狄拉克符号的顺序相符,以上线性部分的定义常常被物理学家颠倒过来,也就是
线性 | 对所有 | |
对所有 和所有 |
真正会造成影响的是第二条,因为可根据顺序颠倒的第二条,从顺序颠倒的第一条会推出原来的第一条,反之亦然(可参考基本性质一节第一个定理)。但这仍会造成许多定理的内积顺序也要颠倒过来才会成立。
例子
因为实数系 可以视是为定义在自己之上的向量空间,所以可以验证: 满足内积的各种性质。
是定义在 上的一个内积。
Remove ads
基本性质
定理 — 若 是复内积空间,那对所有的 和所有的有 有:
- (a)
- (b)
一般线性 — 若 是个复内积空间,对任意有限向量序列 和任意 有:
- (a)
- (b)
Remove ads
范数
Remove ads
柯西-施瓦茨不等式 —
是个复内积空间,则对所有的 有:
- (a)
- (b) 存在 使
Remove ads
三角不等式 —
是个复内积空间,则对所有的 有:
根据上面的三角不等式, 的确是个定义在 上的范数。所以内积空间也是一个赋范向量空间。这样直观上 就是向量 的长度。这样内积定义的非退化部分,就可以直观理解为“任意向量 为零向量,当且仅当其长度为零”。另外根据柯西-施瓦茨不等式,若 ,可以把 跟点积做类比,也就是依据反三角函数的性质,对“ 和 间的夹角”做如下的定义:
这样柯西-施瓦茨不等式可以直观理解成上述的定义与“ 等价于 和 相互平行”。
Remove ads
根据三角不等式,以下的函数:
的确是 上的度量。这样因为度量空间有自然的拓扑结构,所以内积空间 也就有这种自然的拓扑结构;通常会把这个自然的拓扑记为 。
Remove ads
平行四边形恒等式 —
是个复内积空间,则对所有的 有:
- (a)
完备化
如果 是个复内积空间,可以定义一个函数 且 ,根据上面的三角不等式和内积定义, 的确是个度量空间。
在希尔伯特空间的文章中有一些内积空间的例子,其中引出自内积的度量诱导一个完备的度量空间。然而也存在诱导不完备度量空间的内积,比如在区间上连续复数值函数的空间上。内积是
这个空间是不完备的;比如考虑对于区间,考虑函数序列,其中
每个都是连续函数,但在上面的内积诱导的拓扑中是不收敛于任何一个连续函数的柯西序列,因为它的极限不是连续的函数。
在内积空间上的算子
希尔伯特算子,协方差算子
退化内积
引用
- 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
Wikiwand - on
Seamless Wikipedia browsing. On steroids.
Remove ads