实变函数与泛函分析
未完待续
4.1 L p 空 间 L^{p}空间 Lp空间
-
定义 L p 空 间 和 范 数 L^{p}空间和范数 Lp空间和范数:
L p L^p Lp范数: ∥ f ∥ p = ( ∫ E ∣ f ( x ) ∣ p d x ) 1 p \| f \|_p =( \int _E|f(x)|^pdx)^ \frac{1}{p} ∥f∥p=(∫E∣f(x)∣pdx)p1
L p 空 间 L^p空间 Lp空间:
L P ( E ) = { f ∣ ∥ f ∥ p < + ∞ } L^P(E) = \{ f| \|f\|_p< +\infin\} LP(E)={f∣∥f∥p<+∞} -
引理:
a 1 p b 1 q ≤ a p + b q a^{ \frac{1}{p}}b^\frac{1}{q} \leq \frac{a}{p}+\frac{b}{q} ap1bq1≤pa+qb -
Holder不等式:
E 是 n 维 可 测 集 , p , q 共 轭 , f ∈ L P ( E ) , g ∈ L q ( E ) , 则 ∥ f g ∥ ≤ ∥ f ∥ p ∥ g ∥ q E 是n维可测集,p,q共轭,f\in L^P(E),g \in L^q(E) ,则 \|fg\| \leq \|f\|_p\|g\|_q E是n维可测集,p,q共轭,f∈LP(E),g∈Lq(E),则∥fg∥≤∥f∥p∥g∥q -
利用Holder不等式得出结论:
m ( E ) < ∞ , p 1 < p 2 , L p 2 ( E ) ⊂ L p 1 ( E ) m(E)<\infin, p_1<p_2,L^{p_2}(E) \sub L^{p_1}(E) m(E)<∞,p1<p2,Lp2(E)⊂Lp1(E)
特别注意,holder不等式中p=q=2时,变成柯西施瓦茨不等式 -
范数公理
齐次性:
∥
a
f
∥
=
∣
a
∣
∥
f
∥
\| af\| = |a| \|f\|
∥af∥=∣a∣∥f∥
正定性:
∥
f
∥
p
=
0
当
且
仅
当
f
=
0
a
.
e
.
E
\|f\|_p =0 当且仅当f=0 a.e.E
∥f∥p=0当且仅当f=0a.e.E
三角不等式:
∥
f
+
g
∥
p
≤
∥
f
∥
p
+
∥
g
∥
p
\|f+g\|_p \leq \|f\|_p +\|g\|_p
∥f+g∥p≤∥f∥p+∥g∥p
证明三角不等式
-
定理
给 定 f ∈ L P ( E ) , ( 1 ≤ p ≤ ∞ ) , p q 共 轭 , 存 在 函 数 g ∈ L q ( E ) , 且 ∥ g ∥ q = 1 , h o l d e r 等 号 成 立 给定f \in L^P(E) , (1\leq p \leq \infin), pq共轭,存在函数g\in L^q(E) ,且\|g\|_q=1,holder等号成立 给定f∈LP(E),(1≤p≤∞),pq共轭,存在函数g∈Lq(E),且∥g∥q=1,holder等号成立 -
距离公理:
正定性
对称性
三角不等式 -
L-p收敛
-
极限唯一 f m → f , f m → g , 则 f ( x ) = g ( x ) a . e . E f_m \rightarrow f, f_m \rightarrow g, 则f(x) = g(x) a.e.E fm→f,fm→g,则f(x)=g(x)a.e.E
-
极限加减: f L P → f , g m L P → g , f m + g m L P → f + g f LP \rightarrow f, g_m LP \rightarrow g,f_m+g_m LP\rightarrow f+g fLP→f,gmLP→g,fm+gmLP→f+g
-
f m L P → f , lim m → ∞ ∥ f n ∥ p = ∥ f ∥ p f_m LP \rightarrow f,\lim_{m\rightarrow \infin}\|f_n\|_p = \|f\|_p fmLP→f,limm→∞∥fn∥p=∥f∥p
-
n维可测集, f m , f f_m, f fm,f都是LP, p ≥ 0 , f m p \geq 0, f_m p≥0,fmLP收敛 f f f推出依测度收敛
-
LP控制收敛定理: E ∈ M n , f , f m ∈ M , m = 1 , 2 , 3 , . . . , 而 且 f m → f , a . e . E , 或 者 f n 依 测 度 收 敛 到 f , g ∈ L p ( E ) , 1 ≤ p ≤ + ∞ , 使 得 ∣ f n ( x ) ∣ ≤ g ( x ) , a . e . E , 则 f m 以 L P 收 敛 到 f E \in \mathbb {M}_n,f,f_m \in \mathbb{M}, m=1,2,3,..., 而且f_m \rightarrow f, a.e.E, 或者f_n依测度收敛到f, g \in L^p(E),1\leq p \leq +\infin, 使得|f_n(x)|\leq g(x), a.e.E, 则f_m以LP收敛到f E∈Mn,f,fm∈M,m=1,2,3,...,而且fm→f,a.e.E,或者fn依测度收敛到f,g∈Lp(E),1≤p≤+∞,使得∣fn(x)∣≤g(x),a.e.E,则fm以LP收敛到f
-
LP空间的完备性
-
LP空间的可分性
4.2 L 2 空 间 L^2空间 L2空间
-
L 2 空 间 上 的 内 积 定 义 : L^2空间上的内积定义: L2空间上的内积定义:
( f , g ) = ∫ E f ( x ) g ( x ) d x (f,g) = \int_E f(x)g(x)dx (f,g)=∫Ef(x)g(x)dx
称为f与g的内积 -
内积公理:
正定性: ( f , f ) ≥ 0 (f,f) \geq 0 (f,f)≥0且 ( f , f ) = 0 i f f f = 0 (f,f)=0 iff \ f=0 (f,f)=0iff f=0
对称性: ( f , g ) = ( g , f ) (f,g) = (g,f) (f,g)=(g,f)
双线性性: ( a f , g ) = a ( f , g ) (af,g) =a(f,g) (af,g)=a(f,g)
( f + g , h ) = ( f , h ) + ( g , h ) (f+g,h) = (f,h)+(g,h) (f+g,h)=(f,h)+(g,h) -
弱收敛性的定义:
lim m → ∞ ( f m , g ) = ( f , g ) \lim_{m \rightarrow \infin}(f_m,g) = (f,g) m→∞lim(fm,g)=(f,g)
则称 f m f_m fm弱收敛到 f f f -
L 2 收 敛 比 弱 收 敛 强 L^2收敛比弱收敛强 L2收敛比弱收敛强
f ∈ L 2 ( E ) , f m ⊂ L 2 ( E ) , 则 f m L 2 → f 的 充 要 条 件 是 f m w → f 且 lim m → ∞ ∥ f m ∥ = ∥ f ∥ f \in L^2(E),{f_m} \sub L^2(E),则f_m L^2 \rightarrow f的充要条件是f_m w \rightarrow f且\lim_{m\rightarrow \infin}\|f_m\| = \|f\| f∈L2(E),fm⊂L2(E),则fmL2→f的充要条件是fmw→f且limm→∞∥fm∥=∥f∥ -
正交系的定义
正交
正交系
标准正交系 -
傅里叶系数和傅里叶级数
-
Bessel定理