内积空间

本页使用了标题或全文手工转换
维基百科,自由的百科全书
线性代数

向量 · 向量空间 · 基底  · 行列式  · 矩阵

内积空间(英語:Inner product space)是增添了某種運算向量空间,這種運算叫做内积,它推廣了原來欧几里德空间點積,而從比較一般的角度看待向量的“夹角”、“长度”還有正交性

相關術語[编辑]

内积空间有时也叫做准希尔伯特空间pre-Hilbert space),因为由内积定义的距离完备化之后就会得到一个希尔伯特空间

在早期的著作中,本條目所定義的内积空间被称作酉空间,但這些著作裡的“内积空间”反而指的是有限維欧几里德空间或可數維的Lp空间

正式定义[编辑]

下文中 有可能是实数系 复数系

是一個定義在 上的向量空间,其向量加法記為「 」 ,且其标量乘法記為「 」。若它裝配了一個二元函数 滿足:(以下將 簡寫為

名稱 前提條件 內容
共轭对称 對所有
线性 對所有
對所有 和所有
非负性 對所有
非退化

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

如果 ,也可記為 ,並稱「 正交的(perpendicular)」。

定义的分歧[编辑]

為了与量子力学中的狄拉克符号的順序相符,以上線性部分的定義常常被物理學家顛倒過來,也就是

线性 對所有
對所有 和所有

真正會造成影響的是第二條,因為可根據順序顛倒的第二條,從順序顛倒的第一條會推出原來的第一條,反之亦然(可參考基本性质一節第一個定理)。但這仍會造成許多定理的內積順序也要顛倒過來才會成立。

例子[编辑]

实数的乘法[编辑]

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

点积[编辑]

欧几里德空间 点积

是定義在 上的一個内积。

基本性质[编辑]

定理 —  是複內積空間,那對所有的 和所有的有 有:

(a)
(b)
證明

(a)

(b)

故得証。

一般線性 —  是個複內積空間,對任意有限向量序列 和任意 有:

(a)
(b)
證明

,本定理只是內積定义的線性部分,故成立。

時,對任意有限向量序列 和任意 有:

這樣的話,對任意有限向量序列 和任意 有:

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

故本定理的(b)部分也得証。

范数[编辑]

以下根據內積定义的非负性部分,定義 ,並把 表記為

柯西-施瓦茨不等式 — 
是個複內積空間,則對所有的 有:

(a)
(b) 存在 使
證明

,根據內積定义的非退化部分,本定理成立。若考慮 ,取 ,則根據內積定义

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

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

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

三角不等式 — 
是個複內積空間,則對所有的 有:

證明

根據內積定义

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

故本定理成立。

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

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

勾股定理 — 
是個複內積空間,若有限向量序列 對任意不相等的正整數 都有 則:

證明

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

故得証。

平行四边形法则 — 
是個複內積空間,則對所有的 有:

(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