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

定义9.1 欧几里得空间 — 例子

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

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

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

定义:定义9.1 欧几里得空间

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

例1 中,

例2

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

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

定义9.3 正交 — 例子

例1,故

例2,正交。

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

定义:定义9.3 正交

定义9.4 标准正交基 — 例子

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

例2 也是 的标准正交基。

定义:定义9.4 标准正交基

定义9.5 正交矩阵 — 例子

例1,是正交矩阵。

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

例3,不是正交矩阵。

定义:定义9.5 正交矩阵

定义9.6 正交变换 — 例子

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

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

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

定义:定义9.6 正交变换

定义9.7 正交补 — 例子

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

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

定义:定义9.7 正交补

定义9.8 对称变换 — 例子

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

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

定义:定义9.8 对称变换

定理9.1 内积的性质 — 例子

例1 中标准内积

✓。

例2 中加权内积

✓, ✓。

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

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

例1

✓。

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

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

定理:定理9.2 施密特正交化

定理9.3 正交基 — 例子

例1 是标准正交基。

✓。

例2

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

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

定理9.4 施密特正交化 — 例子

例1:将 正交化。

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

实际上 ✓。

例2

。标准正交基

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

定理9.5 正交矩阵 — 例子

例1(旋转矩阵)。

✓。

✓。

例2(反射矩阵)。 ✓,

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

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

例1

特征值 ,都是实数 ✓。

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

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

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

定理9.7 实对称矩阵的正交对角化 — 例子

例1,特征值 ,特征向量

标准化:

✓。

例2 已是对角矩阵,

定理:定理9.7 实对称矩阵的正交对角化

定理9.8 正交变换 — 例子

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

保持内积: ✓。

保持长度: ✓。

例2,不是正交变换 ✓。

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

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