第九章 欧几里得空间 — 定理例子
定义9.1 欧几里得空间 — 例子
例1:Rn 在标准内积 (α,β)=∑i=1naibi 下构成欧氏空间。
例2:R2 中定义加权内积 (α,β)=2a1b1+3a2b2。验证正定性:2a12+3a22⩾0,且等号仅当 a1=a2=0。故这也是欧氏空间。
例3:C[a,b]([a,b] 上连续函数全体)在内积 (f,g)=∫abf(x)g(x)dx 下构成无限维欧氏空间。
定义:定义9.1 欧几里得空间
定义9.2 向量的长度与距离 — 例子
例1:R3 中,α=(1,2,2),∣α∣=1+4+4=3。
例2:α=(1,0),β=(4,0),d(α,β)=∣(−3,0)∣=3。
例3:单位向量:∣α∣=1 的向量。∣α∣α 是 α 方向的单位向量。如 5(3,4)=(53,54)。
定义:定义9.2 向量的长度与距离
定义9.3 正交 — 例子
例1:α=(1,0),β=(0,1),(α,β)=0,故 α⊥β。
例2:α=(1,1,0),β=(1,−1,0),(α,β)=1−1+0=0,正交。
例3:零向量与任何向量正交:(0,β)=0。
定义:定义9.3 正交
定义9.4 标准正交基 — 例子
例1:R3 的标准基 e1=(1,0,0),e2=(0,1,0),e3=(0,0,1) 是标准正交基。
例2:ε1=21(1,1),ε2=21(1,−1) 也是 R2 的标准正交基。
定义:定义9.4 标准正交基
定义9.5 正交矩阵 — 例子
例1:A=(cosθsinθ−sinθcosθ),A′A=(cos2θ+sin2θ00cos2θ+sin2θ)=E,是正交矩阵。
例2:A=(100−1),A′A=E,是正交矩阵(反射矩阵)。
例3:A=(1011),A′A=(1112)=E,不是正交矩阵。
定义:定义9.5 正交矩阵
定义9.6 正交变换 — 例子
例1:旋转变换 A(x,y)=(xcosθ−ysinθ,xsinθ+ycosθ) 是正交变换:保持内积不变。
例2:反射变换 A(x,y)=(x,−y) 是正交变换。
例3:缩放变换 A(x,y)=(2x,2y) 不是正交变换:(Ae1,Ae1)=(2e1,2e1)=4=1=(e1,e1)。
定义:定义9.6 正交变换
定义9.7 正交补 — 例子
例1:R3 中,W={(x,y,0)}(xy-平面),W⊥={(0,0,z)}(z 轴)。R3=W⊕W⊥。
例2:R2 中,W=L((1,1)),W⊥=L((1,−1))(因为 (1,1) 与 (1,−1) 的内积为 0)。
定义:定义9.7 正交补
定义9.8 对称变换 — 例子
例1:A(x,y)=(2x,3y) 是对称变换:(Aα,β)=(2a1)b1+(3a2)b2=a1(2b1)+a2(3b2)=(α,Aβ)。在标准正交基下矩阵为 (2003)(对称矩阵)。
例2:旋转变换 A(x,y)=(−y,x) 不是对称变换:取 α=(1,0),β=(0,1),(Aα,β)=((0,1),(0,1))=1,(α,Aβ)=((1,0),(−1,0))=−1=1。
定义:定义9.8 对称变换
定理9.1 内积的性质 — 例子
例1:R3 中标准内积 (α,β)=x1y1+x2y2+x3y3。
α=(1,2,3),β=(4,5,6)。(α,β)=4+10+18=32。
(α,α)=1+4+9=14,∣α∣=14。
(kα,β)=(k,2k,3k)⋅(4,5,6)=4k+10k+18k=32k=k(α,β) ✓。
例2:R2 中加权内积 (α,β)=2x1y1+3x2y2。
α=(1,1),β=(1,−1)。(α,β)=2⋅1⋅1+3⋅1⋅(−1)=2−3=−1。
(α,α)=2+3=5>0 ✓,(β,β)=2+3=5>0 ✓。
定理:定理9.1 正交向量组的扩充
定理9.2 柯西-布涅柯夫斯基不等式 — 例子
例1:α=(1,2,3),β=(4,5,6),(α,β)=32,∣α∣=14,∣β∣=77。
∣(α,β)∣=32,∣α∣⋅∣β∣=14×77=1078≈32.83。
32<32.83 ✓。
例2:α=(1,0),β=(0,1),(α,β)=0,∣α∣∣β∣=1。0⩽1 ✓(等号成立当且仅当线性相关,此处线性无关故严格不等号)。
例3:α=(1,1),β=(2,2)=2α(线性相关),(α,β)=4,∣α∣∣β∣=2⋅22=4。等号成立 ✓。
定理:定理9.2 施密特正交化
定理9.3 正交基 — 例子
例1:R3 中 ε1=(1,0,0),ε2=(0,1,0),ε3=(0,0,1) 是标准正交基。
(εi,εj)=δij ✓。
例2:R3 中 α1=(1,1,0),α2=(1,−1,0),α3=(0,0,1)。
(α1,α2)=1−1+0=0,(α1,α3)=0,(α2,α3)=0。正交但非标准(∣α1∣=2)。标准化:e1=21(1,1,0),e2=21(1,−1,0),e3=(0,0,1)。
定理:定理9.3 欧氏空间同构的充要条件
定理9.4 施密特正交化 — 例子
例1:将 α1=(1,1,0),α2=(1,0,1),α3=(0,1,1) 正交化。
β1=α1=(1,1,0)。
β2=α2−(β1,β1)(α2,β1)β1=(1,0,1)−21(1,1,0)=(21,−21,1)。
β3=α3−(β1,β1)(α3,β1)β1−(β2,β2)(α3,β2)β2。
(α3,β1)=1,(α3,β2)=−21+1=21,(β2,β2)=41+41+1=23。
β3=(0,1,1)−21(1,1,0)−3/21/2(21,−21,1)=(0,1,1)−(21,21,0)−(61,−61,31)=(−32,32,32)。
验证正交:(β1,β3)=−32+32=0 ✓,(β2,β3)=31−31+32=32… 需重新检查。
实际上 (β2,β3)=21⋅(−32)+(−21)⋅32+1⋅32=−31−31+32=0 ✓。
例2:R2 中 α1=(1,0),α2=(1,1)。
β1=(1,0),β2=(1,1)−11(1,0)=(0,1)。标准正交基 e1=(1,0),e2=(0,1)。
定理:定理9.4 正交变换的等价刻画
定理9.5 正交矩阵 — 例子
例1:A=(cosθsinθ−sinθcosθ)(旋转矩阵)。
ATA=(cos2θ+sin2θ00cos2θ+sin2θ)=E ✓。
∣A∣=cos2θ+sin2θ=1 ✓。
例2:A=(100−1)(反射矩阵)。ATA=E ✓,∣A∣=−1。
定理:定理9.5 两两正交子空间的直和
定理9.6 实对称矩阵的特征值 — 例子
例1:A=(2112),∣λE−A∣=(λ−2)2−1=λ2−4λ+3=(λ−1)(λ−3)=0。
特征值 λ1=1,λ2=3,都是实数 ✓。
λ1=1:特征向量 (1,−1);λ2=3:特征向量 (1,1)。(1,−1)⋅(1,1)=0,不同特征值的特征向量正交 ✓。
例2:A=(1002),特征值 1,2(实数),特征向量 (1,0),(0,1) 正交 ✓。
定理:定理9.6 正交补的存在与唯一性
定理9.7 实对称矩阵的正交对角化 — 例子
例1:A=(2112),特征值 1,3,特征向量 (1,−1),(1,1)。
标准化:e1=21(1,−1),e2=21(1,1)。
Q=21(1−111),QTAQ=(1003) ✓。
例2:A=(000010002) 已是对角矩阵,Q=E,QTAQ=A。
定理:定理9.7 实对称矩阵的正交对角化
定理9.8 正交变换 — 例子
例1:R2 中旋转 θ 角的变换 A,矩阵 A=(cosθsinθ−sinθcosθ),ATA=E,正交变换 ✓。
保持内积:(Aα,Aβ)=(Aα)T(Aβ)=αTATAβ=αTβ=(α,β) ✓。
保持长度:∣Aα∣=∣α∣ ✓。
例2:A(x,y)=(2x,2y),∣A(1,0)∣=2=1=∣(1,0)∣,不是正交变换 ✓。
例3:反射 A(x,y)=(x,−y),矩阵 (100−1),ATA=E,正交变换 ✓,∣A∣=−1。
定理:定理9.8 实二次型的正交化简