EDA365电子论坛网

标题: 內积空间 [打印本页]

作者: mytomorrow    时间: 2020-11-19 15:04
标题: 內积空间
! b/ m7 p2 Y7 Y/ p" l
在讲內积空间之前,先提一下线性空间,这是內积空间的基础,也是我们学习任何一门理科所必备的常识。1 @" b8 x' O% X0 k7 I7 A

: b( N% C+ f! D: M/ c( g线性空间介绍:* g1 J) i2 [& w5 X
3 Y9 e  g: a/ m4 M
        向量空间亦称向量空间。它是线性代数的中心内容和基本概念之一。设V是一个非空集合,P是一个域。若:
7 z3 I8 Q  P( M9 N9 C7 ]; @
- c" ~5 v  o0 [7 I; Q1.在V中定义了一种运算,称为加法,即对V中任意两个元素α与β都按某一法则对应于V内惟一确定的一个元素α+β,称为α与β的和。  
3 Z2 Z, X  ^/ N) N3 @" P. P2.在P与V的元素间定义了一种运算,称为纯量乘法(亦称数量乘法),即对V中任意元素α和P中任意元素k,都按某一法则对应V内惟一确定的一个元素kα,称为k与α的积。
6 S# K' Y7 t; n  l3.加法与纯量乘法满足以下条件:
  Q, O3 e+ f+ i. X8 T' O1) α+β=β+α,对任意α,β∈V.. W7 ]3 ^. i; A; u, K. Z; r0 `. U
2) α+(β+γ)=(α+β)+γ,对任意α,β,γ∈V.
& M% V* {. _! K, y8 M3) 存在一个元素0∈V,对一切α∈V有α+0=α,元素0称为V的零元.
- U3 f) B& m/ w' z" h+ b4) 对任一α∈V,都存在β∈V使α+β=0,β称为α的负元素,记为-α.: S  K) W* E" R' O" o
5) 对P中单位元1,有1α=α(α∈V).) ?" ^; L# H, a; _3 H! u5 F
6) 对任意k,l∈P,α∈V有(kl)α=k(lα).
& w; _( j$ D; w5 x0 A1 H7 H7) 对任意k,l∈P,α∈V有(k+l)α=kα+lα.
8 x9 h0 F# Q9 H, E' M  i8 h8) 对任意k∈P,α,β∈V有k(α+β)=kα+kβ,& H- Z: G' ~( E
则称V为域P上的一个线性空间,或向量空间。V中元素称为向量,V的零元称为零向量,P称为线性空间的基域.当P是实数域时,V称为实线性空间.当P是复数域时,V称为复线性空间。
1 Q- `" ?8 M+ A* }各个版本大同小异,都是一个意思,这里就选百度百科上的描述吧。
# r6 i3 Y+ E9 I8 f+ s7 ?- i. D, X
————————————————————————————————————————————————————2 \# W3 b; \5 N+ A# {. f& N
+ \; [$ i; p, J0 E0 R/ z1 @
內积空间:
3 P) Y; p+ O4 u2 I3 T
" x4 b8 q2 X" g
# c' C- \  M, c8 e5 ]1 {" a
0 _( _4 l8 w1 \4 a$ l' y也就是说在线性空间上装配上內积,线性空间也就成了內积空间了,內积是什么东西?& F% g2 P6 s: V! O

' [; Z, z3 i' s內积是一种运算,将线性空间中的两个元素映射成一个元素,即二元映射为一元,且这种运算满足所谓的內积公理,则这种运算才能称为內积。1 W* `. Z' H1 V$ C5 I8 J

% I! n% g% c. g. ^+ U+ l內积对第二变元具有共轭线性性质,要记住,区分內积对第一变元和第二变元不同的运算规则。/ b7 Z4 h7 r9 c- y6 u) a0 k# E
8 V! k  U& m3 a' Y) c
下面列出一些常用的內积:
+ G& v1 x6 g& }5 ]  _! G) U
# t/ ]6 x: t( T4 q
+ R7 ~( {( f1 x6 \
) ]  }* y: Z$ m4 f 的意思是在区间[a,b]上平方可积的全体函数。
$ x" {% J: ]4 [8 L% U: _/ g
: E6 t9 K  b3 m( L5 l3 K————————————————————————————————————————————————————7 E; W* T$ h, t. h& y9 b) y% a* }$ _

6 C& `; W9 E) C4 Z& r! t4 {內积空间中的柯西—施瓦兹不等式:
/ p+ D6 B2 R  p5 ~0 c( f# Z, o; A
3 z0 a3 ^$ e: I/ z: E! p1 _
5 S- ^# Y# G7 [1 @# g9 w& ]
$ B) R, o: R" j1 c7 i3 M由于 + o$ s$ q+ r9 O4 ?! j
/ t1 V3 D- C, v7 B% V( ^. S% G. j
故上面的Cauchy_Schwarz不等式可以写成:
" o0 n1 D+ z2 C# \% Z' _: J2 l1 v/ Q

& E( F# Y2 Q2 H5 R7 ]( L; r" V6 B2 c0 X1 s6 ]" Y
介绍这个不等式的目的如下,就是证明由內积诱导(定义)的范数是否满足范数公理,如果满足,这范数可以由內积来诱导。
% l( W9 ]2 r5 F* S
. f) h% ^  C( w0 C( m% Y问题如下:% _' G1 V2 m  C3 G8 C. c7 R

& N8 u% V1 u- u  n/ ^
( o* X% K$ Q$ z  t, v" ~9 J- w" {- w' P! W" n' p6 ?8 {
证明:. d8 u. ^% o  Y& V

% c) `8 O! k  `7 g' Y6 D & U% v7 @7 Y7 O6 {9 t+ u& [

8 q7 Z5 ~: j0 {( t$ a
3 L! u5 l2 v! w% }4 T* W+ n& T0 x: C+ ~( i/ K& f
既然知道由內积可以诱导范数,那么下面的公式自然不难验证了:( q1 j" f; ~* ]6 ]# F4 O

' w# f+ T$ D& D% z) e8 U . m# n% u' |/ b$ U
' O  X- D3 J: D$ g, `, ^
左边由內积表示出来,然后经过一系列的化简,即可得到右边的式子。
! D+ F2 \# ?" n8 |: B* X; z* I  S! q9 A
废话不多说,直接上图:$ p1 Y) W3 t, G- ]0 w
# Z2 R% d/ a% v( n4 ]+ z: W0 U
! S1 K6 @: o. f  _) ^  R+ g

. X: {9 W7 I; U+ A0 z. @" V; _% M就到这里吧" {' L0 G$ E+ |& J" S; L

作者: youOK    时间: 2020-11-19 15:38
內积空间




欢迎光临 EDA365电子论坛网 (https://bbs.eda365.com/) Powered by Discuz! X3.2