空间向量和矩阵_线性无关的函数内积为零吗

空间向量和矩阵_线性无关的函数内积为零吗文章目录前言一、集合的基本概念二、向量空间1.运算规则和定理2.RnR^nRn和CnC^nCn三、实内积空间1.内积2.范数四、复内积空间五、线性映射前言本文学习过程来源是《矩阵分析与应用-张贤达》一书.可以通过z-lib下载.线性空间是某一类事物在矩阵代数里的一个抽象的集合表示,线性映射或线性变换则反映线性空间中元素间最基本的线性关系.上面这句话出自书中第14页开头,读下来第一感觉就是云里雾里,毕竟出现了新的名称.对于线性空间可以简单的把它理解为几何空间(实际上不仅仅

大家好,又见面了,我是你们的朋友全栈君。如果您正在找激活码,请点击查看最新教程,关注关注公众号 “全栈程序员社区” 获取激活教程,可能之前旧版本教程已经失效.最新Idea2022.1教程亲测有效,一键激活。

Jetbrains全系列IDE稳定放心使用

前言

本文学习过程来源是《矩阵分析与应用-张贤达》一书. 可以通过 z-lib 下载.

线性空间是某一类事物在矩阵代数里的一个抽象的集合表示, 线性映射或线性变换则反映线性空间中元素间最基本的线性关系.

上面这句话出自书中第 14 页开头, 读下来第一感觉就是云里雾里, 毕竟出现了新的名称.

对于线性空间可以简单的把它理解为几何空间 (实际上不仅仅是几何空间这么简单), 例如一个 2 × 1 2 \times 1 2×1 的向量 [ x 0 , y 0 ] T [x_0,y_0]^{\mathrm{T}} [x0,y0]T 可以想象为笛卡尔坐标系中的某个点. 同理, 一个 3 × 1 3 \times 1 3×1 的向量 [ x 0 , y 0 , z 0 ] T [x_0,y_0,z_0]^{\mathrm{T}} [x0,y0,z0]T 可以想象为三维坐标系中的某个点. 以此就可以推广到 n n n 维空间.

除了我们能够想到的那些比较规则的坐标系外, 有些坐标系是在笛卡尔坐标系或者三维坐标系的基础上放缩和旋转得到. 线性变换就是要在这两个坐标系间变换, 简单一点就是同一个点在两个坐标系中不同的表示.

一、集合的基本概念

顾名思义, 集合就是一堆元素的集体表示. 常用表示方法是大括号如下所示:

S = { a , b , c , d } S=\left \{ a,b,c,d \right \} S={
a,b,c,d}

要是 S S S 是满足某种性质 P ( x ) P(x) P(x) 的元素 x x x 的集合, 则记为 S = { x : P ( x ) } S=\left \{ x: P(x) \right \} S={
x:P(x)}
.

有些常见的数学符号需要记忆一下.

∀ \forall \qquad \qquad 表示 “对所有…”

x ∈ A x \in A \qquad xA 读作 ” x x x 属于集合 A A A “, 意味 x x x 是集合 A A A 的一个元素.

x ∉ A x \notin A \qquad x/A 表示 x x x 不是集合 A A A 的元素.

∋ \ni \qquad \qquad 代表 “使得”

∃ \exists \qquad \qquad 意味 “存在”

A ⇒ B    A \Rightarrow B \ \ \quad AB   表示 “若有条件 A A A, 则有结果 B B B ” 或 “ A A A 意味着 B B B

例如, “在集合 V V V 中存在一个零元素 θ \theta θ”, 使得加法 x + θ = x = θ + x x + \theta = x = \theta + x x+θ=x=θ+x 对于 V V V 中的所有元素 x x x 均成立” 这段描述用以上符号可表示为:

∃   θ ∈ V ∋ x + θ = x = θ + x , ∀   x ∈ V \exists \ \theta \in V \ni x + \theta = x = \theta + x, \quad \forall \ x \in V  θVx+θ=x=θ+x, xV

对集合自然也有一系列操作:

  • A ⊆ B A \subseteq B AB 读作 “集合 A A A 包含于集合 B B B”, 意味着 A A A 的每一个元素都是 B B B 的元素.

  • A = B A=B A=B 读作 “集合 A A A 等于集合 B B B”, 两个集合中的元素相同.

  • A ⊂ B A \subset B AB 则称 A A A B B B 的一个真子集. 表达式为 A ≠ B A \neq B A=B A ⊆ B A \subseteq B AB.

  • A A A B B B 的并集记作 A ∪ B A \cup B AB, 式子得到所有在集合 A   B A \ B A B 的元素(无重复).

  • A A A B B B 的交集记作 A ∩ B A \cap B AB, 式子得到同时存在于集合 A A A 和 集合 B B B 中的元素.

  • 符号 Z = A + B Z=A+B Z=A+B 表示 A A A B B B 的和集, 定义为
    Z = A + B = { z = x + y ∈ Z : x ∈ A , y ∈ B } Z=A+B=\left \{ z=x+y \in Z : x \in A, y \in B \right \} Z=A+B={
    z=x+yZ:xA,yB}

  • 符号 X = A − B X=A-B X=AB 表示 A A A B B B 的差集, 定义为
    X = A − B = { x ∈ X : x ∈ A , 但   x ∉ B } X=A-B=\left \{ x \in X : x \in A, 但 \ x \notin B \right \} X=AB={
    xX:xA, x/B}

  • 子集合 A A A 在集合 X X X 中的补集定义为
    A c = X − A = { x ∈ X : x ∉ A } A^c = X – A = \left \{ x \in X : x \notin A \right \} Ac=XA={
    xX:x/A}

  • X X X Y Y Y 为集合, 且 x ∈ X x \in X xX y ∈ Y y \in Y yY, 则所有有序对 ( x , y ) (x,y) (x,y) 的集合记为 X × Y X \times Y X×Y, 称为集合 X X X Y Y Y 的笛卡尔积.
    X × Y = { ( x , y ) : x ∈ X , y ∈ Y } X \times Y = \left \{ (x,y) : x \in X, y \in Y \right \} X×Y={
    (x,y):xX,yY}

二、向量空间

1. 运算规则和定理

以向量为元素的集合 V V V 称为向量空间.

那么之前所说可以将二维平面想象为一个向量空间, 就是因为二维空间是由无数个向量组合而成.

这一小节归根到底就是对向量的运算法则做出阐释. 其中向量集合 V V V 中存在向量 x , y , ω x,y,\omega x,y,ω, 标量域 S S S 中有 a 1 , a 2 a_1,a_2 a1,a2 两个标量.

  • 闭合性

    • x ∈ V x \in V xV y ∈ V y \in V yV, 则 x + y ∈ V x+y \in V x+yV, 即 V V V 在加法下是闭合的. 这个也叫加法的闭合性.
    • a 1 a_1 a1 是一个标量, y ∈ V y \in V yV, 则 a 1 y ∈ V a_1y \in V a1yV, 即 V V V 在标量乘法下是闭合的. 这个也叫标量乘法的闭合性.
  • 加法公理

    • x + y = y + x ∀ x , y ∈ V x + y = y + x \quad \forall x,y \in V x+y=y+xx,yV
    • x + ( y + ω ) = ( x + y ) + ω ∀ x , y , ω ∈ V x + (y + \omega) = (x + y) + \omega \quad \forall x,y,\omega \in V x+(y+ω)=(x+y)+ωx,y,ωV
    • ∃   0 ∈ V , ∃   y ∈ V \exists \ 0 \in V, \exists \ y \in V  0V, yV 恒有 y + 0 = y y + 0 = y y+0=y
    • y ∈ V , ∃   − y ∈ V ⇒ y + ( − y ) = 0 = ( − y ) + y y \in V, \exists \ -y \in V \Rightarrow y + (-y) = 0 = (-y) + y yV, yVy+(y)=0=(y)+y
  • 标量乘法公理

    • a ( b y ) = ( a b ) y a(by) = (ab)y a(by)=(ab)y 对所有向量 y y y 和所有标量 a , b a,b a,b 成立.
    • a ( x + y ) = a x + a y a(x+y) = ax + ay a(x+y)=ax+ay 对所有向量 x , y ∈ V x,y \in V x,yV 和标量 a a a 成立.
    • ( a + b ) y = a y + b y (a+b)y = ay + by (a+b)y=ay+by 对所有向量 y y y 和所有标量 a , b a,b a,b 成立.
    • 1 y = y 1y = y 1y=y 对所有向量 y y y 成立.

故, 有定理: 如果 V V V 是一个向量空间, 则

  • 零向量 0 0 0 是唯一的.
  • 对每一个向量 y y y, 加法的逆运算 − y -y y 是唯一的.
  • 对每一个向量 y y y, 恒有 0 y = 0 0y = 0 0y=0.
  • 对每一个标量 a a a, 恒有 a 0 = 0 a0 = 0 a0=0.
  • a y = 0 ay=0 ay=0, 则 a = 0 a=0 a=0 或者 y = 0 y=0 y=0.
  • ( − 1 ) y = − y (-1)y=-y (1)y=y

2. R n R^n Rn C n C^n Cn

R n R^n Rn 指的是对一个正整数 n n n 有一个有序实数 n n n 元组 [ x 1 , x 2 , … , x n ] [x_1,x_2,\dots,x_n] [x1,x2,,xn], 其中每一个元素称为向量 ( n × 1 n \times 1 n×1 大小). 当 n n n 为 1 时, R R R 的元素就变成了标量.

若对 R n R^n Rn 定义两个向量加法和一个标量与一个向量的乘法, 则称 R n R^n Rn n n n 阶实向量空间. 同理可得复向量空间 C n C^n Cn.

子空间定义: 令 V V V W W W 是两个向量空间, 若 W W W V V V 中一个非空的子集合, 则称子集合 W W W V V V 的一个子空间.

子空间定理: R n R^n Rn 的子集合 W W W R n R^n Rn 的子空间需要满足以下三个条件.

  1. x , y ∈ W ⇒ ( x + y ) ∈ W x,y \in W \Rightarrow (x+y) \in W x,yW(x+y)W.

  2. x ∈ W x \in W xW a a a 为标量时, 所得 a x ∈ W ax \in W axW.

  3. 零向量 0 0 0 W W W 的元素.

简而言之就是向量进行加法或者与标量相乘得到的向量还在集合内并且包含了零向量, 这样就可以说子集合谁谁是谁的子空间. 像是在整个二维坐标系中取了一个有边界的图形(需要包含坐标零点), 这个图形是属于二维坐标系的一部分.

接下来就是以此为基础出现的一些定义和定理了:

A A A B B B 是向量空间 V V V 的两个子空间, 则
A + B = { x + y : x ∈ A , y ∈ B } A+B=\left \{ x+y: x \in A,y \in B\right \} A+B={
x+y:xA,yB}

称为子空间 A A A B B B 的和, 子空间 A A A B B B 的交为:
A ∩ B = { x ∈ V : x ∈ A   且   x ∈ B } A \cap B = \left \{ x \in V : x \in A \ 且 \ x \in B \right \} AB={
xV:xA  xB}

A A A B B B 是向量空间 V V V 的两个子空间, 满足 V = A + B V=A+B V=A+B A ∩ B = { 0 } A \cap B = \left \{ 0 \right \} AB={
0}
, 则称 V V V 是子空间 A A A B B B 的直接求和, 记作 V = A ⊕ B V=A \oplus B V=AB 好像就是互补的.

A A A B B B 是向量空间 V V V 的向量子空间, 则 V = A + B V=A+B V=A+B A ∩ B A \cap B AB 也是 V V V 的向量子空间. 想象一下二维坐标系就好理解了.

三、实内积空间

1. 内积

对于实向量空间中两个向量之间求乘积(简称内积)

就一个非常简单的公式, 对于实 n n n 阶向量空间 R n R^n Rn 定义向量 x = [ x 1 , x 2 , … , x n ] T , y = [ y 1 , y 2 , … , y n ] T x = [x_1,x_2,\dots,x_n]^{\mathrm{T}} , y = [y_1,y_2,\dots,y_n]^{\mathrm{T}} x=[x1,x2,,xn]T,y=[y1,y2,,yn]T 之间的内积为典范内积:

⟨ x , y ⟩ = ∑ i = 1 n x i y i \left \langle x,y \right \rangle = \sum_{i=1}^{n}x_iy_i x,y=i=1nxiyi

则称 R n R^n Rn n n n E u c l i d e a n Euclidean Euclidean 空间或者 E u c l i d e a n n Euclidean n Euclideann 空间.

更有意思的是令 x ( t ) , y ( t ) x(t),y(t) x(t),y(t) R R R 的两个连续函数, 并且 t t t 的定义域为 [ a , b ] [a,b] [a,b], 则 x ( t ) x(t) x(t) y ( t ) y(t) y(t) 之间的内积定义为

⟨ x ( t ) , y ( t ) ⟩ = d e f ∫ a b x ( t ) y ( t ) d t \left \langle x(t),y(t) \right \rangle \overset{def}{=} \int_{a}^{b}x(t)y(t)dt x(t),y(t)=defabx(t)y(t)dt

不能拓展到高维, 所以就不是 E u c l i d e a n Euclidean Euclidean 空间.

2. 范数

定义: 若 R n R^n Rn 是一个实内积空间, 并且 x ∈ E n x \in E^n xEn, 则 x x x 的范数 (或”长度”) 记作 ∥ x ∥ \Vert x \Vert x 并定义为:
∥ x ∥ = ⟨ x , x ⟩ 1 / 2 \Vert x \Vert = \left \langle x,x \right \rangle ^{1/2} x=x,x1/2

向量 x x x y y y 之间的距离定义为:
d = ∥ x − y ∥ = ⟨ x − y , x − y ⟩ 1 / 2 d = \Vert x – y \Vert = \left \langle x-y,x-y \right \rangle ^{1/2} d=xy=xy,xy1/2

特别地, 对于 E u c l i d e a n n Euclidean n Euclideann 空间, 向量范数取:
∥ x ∥ 2 = ( a 1 ) 2 + ( a 2 ) 2 + ⋯ + ( a n ) 2 \Vert x \Vert_2 = \sqrt{(a_1)^2+(a_2)^2+\dots+(a_n)^2} x2=(a1)2+(a2)2++(an)2

并称为向量 x x x E u c l i d e a n Euclidean Euclidean 长度, 向量距离取:
∥ x − y ∥ 2 = ( a 1 − b 1 ) 2 + ( a 2 − b 2 ) 2 + ⋯ + ( a n − b n ) 2 \Vert x – y \Vert_2 = \sqrt{(a_1-b_1)^2+(a_2-b_2)^2+\dots+(a_n-b_n)^2} xy2=(a1b1)2+(a2b2)2++(anbn)2

并称为向量 x x x y y y 之间的 E u c l i d e a n Euclidean Euclidean 距离.

实内积空间的范数具有的一般性质:

  1. ∥ 0 ∥ = 0 \Vert 0 \Vert = 0 0=0, 并且 ∥ x ∥ > 0 ,   ∀ x ≠ 0 \Vert x \Vert > 0, \ \forall x \neq 0 x>0, x=0

  2. ∥ c x ∥ = ∣ c ∣ ∥ x ∥ ,   ∀ x ( 向 量 ) , c ( 标 量 ) \Vert cx \Vert = |c|\Vert x \Vert, \ \forall x(向量),c(标量) cx=cx, x(),c()

  3. 范数服从极化恒等式:
    ⟨ x , y ⟩ = 1 4 ( ∥ x + y ∥ 2 − ∥ x − y ∥ 2 ) ,   ∀ x , y \left \langle x,y \right \rangle = \frac{1}{4}(\Vert x+y \Vert^2 – \Vert x-y \Vert^2), \ \forall x,y x,y=41(x+y2xy2), x,y

  4. 范数满足平行四边形法则:
    ∥ x + y ∥ 2 + ∥ x − y ∥ 2 = 2 ∥ x ∥ 2 + 2 ∥ y ∥ 2 ,   ∀ x , y \Vert x+y \Vert^2 + \Vert x-y \Vert^2 = 2\Vert x \Vert^2 + 2\Vert y \Vert^2, \ \forall x,y x+y2+xy2=2x2+2y2, x,y

  5. 范数服从 C a u c h y − S c h w a r t z Cauchy-Schwartz CauchySchwartz 不等式 (柯西不等式), ∣ ⟨ x , y ⟩ ∣ = ∥ x ∥ ∥ y ∥ |\left \langle x,y \right \rangle| = \Vert x \Vert \Vert y \Vert x,y=xy 当且仅当 y = c x y=cx y=cx 其中 c c c 为某个非零常数.
    ∣ ⟨ x , y ⟩ ∣ ≤ ∥ x ∥ ∥ y ∥ |\left \langle x,y \right \rangle| \le \Vert x \Vert \Vert y \Vert x,yxy

  6. 范数满足三角不等式
    ∥ x + y ∥ ≤ ∥ x ∥ + ∥ y ∥ ,   ∀ x , y \Vert x+y \Vert \le \Vert x \Vert + \Vert y \Vert, \ \forall x,y x+yx+y, x,y

四、复内积空间

复内积空间和实内积空间不同的地方就在于向量是复向量. 所以此时公式就要转变:

定义向量 x = [ x 1 , x 2 , … , x n ] T , y = [ y 1 , y 2 , … , y n ] T x = [x_1,x_2,\dots,x_n]^{\mathrm{T}} , y = [y_1,y_2,\dots,y_n]^{\mathrm{T}} x=[x1,x2,,xn]T,y=[y1,y2,,yn]T

⟨ x , y ⟩ = x H y = ∑ i = 1 n x i y i \left \langle x,y \right \rangle = x^{\mathrm{H}}y = \sum_{i=1}^{n}x_iy_i x,y=xHy=i=1nxiyi

复内积空间的范数具有的一般性质:

  1. ∥ 0 ∥ = 0 \Vert 0 \Vert = 0 0=0, 并且 ∥ x ∥ > 0 ,   ∀ x ≠ 0 \Vert x \Vert > 0, \ \forall x \neq 0 x>0, x=0

  2. ∥ c x ∥ = ∣ c ∣ ∥ x ∥ \Vert cx \Vert = |c|\Vert x \Vert cx=cx, 其中 ∣ c ∣ |c| c 表示复数 c c c 的模

  3. 极化恒等式:
    ⟨ x , y ⟩ = 1 4 ( ∥ x + y ∥ 2 − ∥ x − y ∥ 2 − j ∥ x + j y ∥ 2 + j ∥ x − j y ∥ 2 ) ,   ∀ x , y \left \langle x,y \right \rangle = \frac{1}{4}(\Vert x+y \Vert^2 – \Vert x-y \Vert^2 – j\Vert x+jy \Vert^2 + j\Vert x-jy \Vert^2), \ \forall x,y x,y=41(x+y2xy2jx+jy2+jxjy2), x,y

  4. 平行四边形法则:
    ∥ x + y ∥ 2 + ∥ x − y ∥ 2 = 2 ∥ x ∥ 2 + 2 ∥ y ∥ 2 \Vert x+y \Vert^2 + \Vert x-y \Vert^2 = 2\Vert x \Vert^2 + 2\Vert y \Vert^2 x+y2+xy2=2x2+2y2

  5. C a u c h y − S c h w a r t z Cauchy-Schwartz CauchySchwartz 不等式 (柯西不等式), ∣ ⟨ x , y ⟩ ∣ = ∥ x ∥ ∥ y ∥ |\left \langle x,y \right \rangle| = \Vert x \Vert \Vert y \Vert x,y=xy 成立, 当且仅当 y = c x y=cx y=cx 其中 c c c 为某个复数.

  6. 三角不等式
    ∥ x + y ∥ ≤ ∥ x ∥ + ∥ y ∥ \Vert x+y \Vert \le \Vert x \Vert + \Vert y \Vert x+yx+y

五、线性映射

回到文章最开头提出的那个线性变换, 在有了子空间的基础上就能够更好的解释.

那么线性映射是个什么情况呢?就是将一个子空间的向量转换为另一个子空间向量的操作. 这个步骤也牵涉到了矩阵乘法的核心.

V V V W W W 分别是 R m R^m Rm R n R^n Rn 的子空间, 并且 T : V → W T: V \rightarrow W T:VW 是一映射. 称 T T T 为线性映射或线性变换, 若对于 v ∈ V , ω ∈ W v \in V, \omega \in W vV,ωW 和所有标量 c c c, 映射 T T T 满足线性关系式:

T ( v + ω ) = T ( v ) + T ( ω ) T(v + \omega) = T(v) + T(\omega) T(v+ω)=T(v)+T(ω)

T ( c v ) = c T ( v ) T(cv) = cT(v) T(cv)=cT(v)

是否是线性变换就看下列式子是否成立:
T ( c 1 u 1 + c 2 u 2 + ⋯ + c p u p ) = c 1 T ( u 1 ) + c 2 T ( u 2 ) + ⋯ + c p T ( u p ) T(c_1u_1+c_2u_2+\dots+c_pu_p) = c_1T(u_1) + c_2T(u_2) + \dots+ c_pT(u_p) T(c1u1+c2u2++cpup)=c1T(u1)+c2T(u2)++cpT(up)

当线性映射或线性变换 T T T 是一个矩阵的时候体现的就是矩阵乘法的核心. 这个核心就是对右乘矩阵的所有列向量进行线性映射.

最后一个定理, 令 V V V W W W 是两个向量空间, T : V → W T: V \rightarrow W T:VW 为一线性变换则有:

  • M M M V V V 的线性子空间, 则 T ( M ) T(M) T(M) W W W 的线性子空间.

  • N N N W W W 的线性子空间, 则线性反变换 T − 1 ( N ) T^{-1}(N) T1(N) V V V 的线性子空间.

版权声明:本文内容由互联网用户自发贡献,该文观点仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 举报,一经查实,本站将立刻删除。

发布者:全栈程序员-用户IM,转载请注明出处:https://javaforall.cn/179632.html原文链接:https://javaforall.cn

【正版授权,激活自己账号】: Jetbrains全家桶Ide使用,1年售后保障,每天仅需1毛

【官方授权 正版激活】: 官方授权 正版激活 支持Jetbrains家族下所有IDE 使用个人JB账号...

(0)


相关推荐

  • C#基础学习之——(一)Dock与Anchor

    C#基础学习之——(一)Dock与Anchor提示:文章写完后,目录可以自动生成,如何生成可参考右边的帮助文档文章目录前言一、Dock与Anchor是什么?1.Dock2.Anchor二、使用步骤1.设计界面2.使用Anchor与Dock总结前言C#基础学习之——(一)Dock与Anchor最近在对窗体控件进行布局时,发现了Dock与Anchor这两种不同的窗体布局属性,所以查阅了一些资料,在这里进行记录。提示:以下是本篇文章正文内容,下面案例可供参考一、Dock与Anchor是什么?1.Dock①Dock在英文中是停泊的意

  • phpstrom 激活码 2021_通用破解码

    phpstrom 激活码 2021_通用破解码,https://javaforall.cn/100143.html。详细ieda激活码不妨到全栈程序员必看教程网一起来了解一下吧!

  • golang 实现HTTP代理和反向代理

    golang 实现HTTP代理和反向代理代理的核心功能可以用一句话概括:接受客户端的请求,转发到后端服务器,获得应答之后返回给客户端。下图是《HTTP权威指南》一书中给出的图例,可以很清晰地说明这一流程:代理的功能有很多,事实上整个互联网到处都充斥着代理服务器。如果所有的HTTP访问都是客户端和服务器端直接进行的话,我们的网络不仅会变得缓慢,而且性能会大打折扣。代理服务器根据不同的配置和使用,可能会有不同的功能,这些…

  • 如何高效实现地图自动拼接功能设置_拼接屏控制软件通用吗

    如何高效实现地图自动拼接功能设置_拼接屏控制软件通用吗转自:http://www.gameres.com/491653.html介绍这篇文章提供了一个诸如RPG Maker、星际争霸关卡编辑器的自动拼接功能的算法和数据结构。当地图编辑器提供了这个功能

  • jmeter-http代理服务器,录制脚本,抓包-包含模式,过滤指定域名(url)数据

    jmeter-http代理服务器,录制脚本,抓包-包含模式,过滤指定域名(url)数据

  • spring解析自定义注解_事务的注解@Transactional的属性

    spring解析自定义注解_事务的注解@Transactional的属性前言众所周知,spring从2.5版本以后开始支持使用注解代替繁琐的xml配置,到了springboot更是全面拥抱了注解式配置。平时在使用的时候,点开一些常见的等注解,会发现往往在一

发表回复

您的电子邮箱地址不会被公开。

关注全栈程序员社区公众号