第九章 欧几里得空间 — 定理例子

定义 欧几里得空间 — 例子

例1: 在标准内积 下构成欧氏空间。

例2: 中定义加权内积 。验证正定性:,且等号仅当 。故这也是欧氏空间。

例3:( 上连续函数全体)在内积 下构成无限维欧氏空间。

定义:定义 欧几里得空间

定义 向量的长度与距离 — 例子

例1: 中,,。

例2:,,。

例3:单位向量: 的向量。 是 方向的单位向量。如 。

定义:定义 向量的长度与距离

定义 正交 — 例子

例1:,,,故 。

例2:,,,正交。

例3:零向量与任何向量正交:。

定义:定义 正交

定义 标准正交基 — 例子

例1: 的标准基 是标准正交基。

例2: 也是 的标准正交基。

定义:定义 标准正交基

定义 正交矩阵 — 例子

例1:,,是正交矩阵。

例2:,,是正交矩阵(反射矩阵)。

例3:,,不是正交矩阵。

定义:定义 正交矩阵

定义 正交变换 — 例子

例1:旋转变换 是正交变换:保持内积不变。

例2:反射变换 是正交变换。

例3:缩放变换 不是正交变换:。

定义:定义 正交变换

定义 正交补 — 例子

例1: 中,(-平面),( 轴)。。

例2: 中,,(因为 与 的内积为 )。

定义:定义 正交补

定义 对称变换 — 例子

例1: 是对称变换:。在标准正交基下矩阵为 (对称矩阵)。

例2:旋转变换 不是对称变换:取 ,,。

定义:定义 对称变换

定理 内积的性质 — 例子

例1: 中标准内积 。

,。。

,。

✓。

例2: 中加权内积 。

,。。

✓, ✓。

定理:定理 正交向量组的扩充

定理 柯西-布涅柯夫斯基不等式 — 例子

例1:,,,,。

,。

✓。

例2:,,,。 ✓(等号成立当且仅当线性相关,此处线性无关故严格不等号)。

例3:,(线性相关),,。等号成立 ✓。

定理:定理 Schmidt正交化

定理 正交基 — 例子

例1: 中 ,, 是标准正交基。

✓。

例2: 中 ,,。

,,。正交但非标准()。标准化:,,。

定理:定理 欧氏空间同构的充要条件

定理 施密特正交化 — 例子

例1:将 ,, 正交化。

。

。

。

,,。

。

验证正交: ✓,… 需重新检查。

实际上 ✓。

例2: 中 ,。

,。标准正交基 ,。

定理:定理 正交变换的等价刻画

定理 正交矩阵 — 例子

例1:(旋转矩阵)。

✓。

✓。

例2:(反射矩阵)。 ✓,。

定理:定理 两两正交子空间的直和

定理 实对称矩阵的特征值 — 例子

例1:,。

特征值 ,,都是实数 ✓。

:特征向量 ;:特征向量 。,不同特征值的特征向量正交 ✓。

例2:,特征值 (实数),特征向量 正交 ✓。

定理:定理 正交补的存在与唯一性

定理 实对称矩阵的正交对角化(谱定理) — 例子

例1:,特征值 ,特征向量 。

标准化:,。

, ✓。

例2: 已是对角矩阵,,。

定理:定理 实对称矩阵的正交对角化(谱定理)

定理 正交变换 — 例子

例1: 中旋转 角的变换 ,矩阵 ,,正交变换 ✓。

保持内积: ✓。

保持长度: ✓。

例2:,,不是正交变换 ✓。

例3:反射 ,矩阵 ,,正交变换 ✓,。

定理:定理 实二次型的正交化简