向量空间的概念
定义:设 V 是 n 维向量的集合,如果满足
- 若 a ∈ V, b ∈ V,则a + b ∈ V .(对加法封闭)
- 若 a ∈ V,k∈ R,则ka ∈ V . (对数乘封闭) 那么就称集合 V 为向量空间.
注: 向量空间就是对加法和数乘两种运算封闭的向量组.
定义:如果向量空间 V 的非空子集合 V1对于 V 中所定义的 加法及数乘两种运算封闭,则称 V1是 V 的子空间.
几个常见的向量空间
- n 维向量的全体Rn
R n = { x = ( x 1 , x 2 , . . . , x n ) T ∣ x 1 , x 2 , . . . , x n ∈ R } R^{n}=\{x=(x_{1},x_{2},...,x_{n})^{T}|x_{1},x_{2},...,x_{n} \in R\} Rn={x=(x1,x2,...,xn)T∣x1,x2,...,xn∈R} - 齐次线性方程组的解集 S = { x ∣ A x = 0 } S = \{ x | Ax = 0 \} S={x∣Ax=0}称为齐次 线性方程组的解空间.
- 向量组的生成空间
向量空间和向量组的对应关系
内积的概念
设向量 a = ( a 1 a 2 . . . a n ) a= \begin{pmatrix} a_{1}\\ a_{2}\\ ...\\ a_{n} \end{pmatrix} a=⎝⎜⎜⎛a1a2...an⎠⎟⎟⎞, b = ( b 1 b 2 . . . b n ) b=\begin{pmatrix} b_{1}\\ b_{2}\\ ...\\ b_{n} \end{pmatrix} b=⎝⎜⎜⎛b1b2...bn⎠⎟⎟⎞,称数
( a , b ) = a 1 b 1 + a 2 b 2 + . . . + a n b n = a T b = b T a (a,b)=a_{1}b_{1}+a_{2}b_{2}+...+a_{n}b_{n}=a^{T}b=b^{T}a (a,b)=a1b1+a2b2+...+anbn=aTb=bTa为向量的内积。
注:内积就是数量积的推广。
内积具有下列性质(k 为实数):
- 对称性: ( x , y ) = ( y , x ) (x,y)=(y,x) (x,y)=(y,x)
- 线性性: ( k x , y ) = k ( x , y ) (k x, y) = k(x, y) (kx,y)=k(x,y), ( x + y , z ) = ( x , z ) + ( y , z ) (x + y, z) = (x, z) + (y, z) (x+y,z)=(x,z)+(y,z)
- 非负性:当 x = 0(零向量) 时, ( x , x ) = 0 (x, x) = 0 (x,x)=0;当 x ≠ 0(零向量) 时, ( x , x ) > 0 (x, x) > 0 (x,x)>0。
向量的长度和夹角
为n维向量的长度(模,范数)。长度为1的向 量称为单位向量。‘
向量的单位化 x ∣ ∣ x ∥ ∣ \frac{x}{||x\||} ∣∣x∥∣x
定义:非零向量x,y的夹角定义为 θ = a r c c o s ( x , y ) ∣ ∣ x ∣ ∣ ∗ ∣ ∣ y ∣ ∣ \theta=arccos\frac{(x,y)}{||x||*||y||} θ=arccos∣∣x∣∣∗∣∣y∣∣(x,y)
向量的正交
定义:若向量a,b的夹角为 π 2 \frac{\pi}{2} 2π ,称向量a,b正交,记为 a ⊥ b a\perp b a⊥b. 规定零向量与任何向量正交.
定理:两个n维向量正交的充要条件是它们的内积等于零.
例如:单位坐标向量两两正交.
定理:两两正交的非零向量一定线性无关,反之不对.
定义 如果向量空间V的一组基两两正交且长度 都为1,则称为一组规范正交基.
例如R3的一组规范正交基为: ( 1 0 0 ) , ( 0 1 0 ) , ( 0 0 1 ) \begin{pmatrix} 1\\ 0\\ 0 \end{pmatrix},\begin{pmatrix} 0\\ 1\\ 0 \end{pmatrix},\begin{pmatrix} 0\\ 0\\ 1 \end{pmatrix} ⎝⎛100⎠⎞,⎝⎛010⎠⎞,⎝⎛001⎠⎞
正交矩阵
若n阶方阵A满足 A T A = I A^{T} A= I ATA=I,则称A为正交矩阵.
定理 A为正交矩阵的充要条件是A的列(行)向量 是两两正交的单位向量,即为Rn的一组规范正交基.
正交矩阵的性质
若A为正交矩阵则有: A − 1 = A T , ∣ A ∣ = ± 1 A^{-1}=A^{T},|A|=\pm1 A−1=AT,∣A∣=±1
如果A, B是正交矩阵,则A-1, AT, AB也是正交矩阵.