泛函分析笔记(十四)Baire定理,Banach-Steinhaus定理

1. Baire 定理

Cantor 交集定理: X是完备的距离空间, 而 ( A n ) n = 0 ∞ (A_n)_{n=0}^\infty (An)n=0 是X中满足下列性质的非空闭子集 A n A_n An 组成的序列,他们满足

A 0 ⊃ A 1 ⊃ A 2 ⊃ ⋯ ⊃ A n ⊃ A n − 1 ⊃ ⋯   , 当 n → ∞ 时 , d i a m A n → 0 A_0 \supset A_1\supset A_2\supset \dotsb \supset A_n\supset A_{n-1} \supset \dotsb , 当 n\to \infty 时,diam A_n \to 0 A0A1A2AnAn1,n,diamAn0

则存在 x ∈ X x\in X xX 使得 ∩ n = 0 ∞ A n = { x } \cap_{n=0}^\infty A_n = \{x\} n=0An={x}

( d i a m    A = s u p { d ( x , y ) ; x ∈ A , y ∈ A } ∈ [ 0 , ∞ ] diam ~~ A= sup\{d(x,y);x\in A,y\in A\} \in [0,\infty] diam  A=sup{d(x,y);xA,yA}[0,] ,也就是集合中的最远距离)

也就是说如果这个集合序列越来越小,趋近于一个点的话,那么这些序列中无穷多个集合的交集就是只有这一个点。

Baire 定理: 设X是完备的距离空间,则两个等价性质成立:

  • ( F n ) n = 0 ∞ (F_n)_{n=0}^\infty (Fn)n=0 是X中的闭子集序列,且对所有的 n ≥ 0 , i n t F n = ∅ n\ge 0, int F_n = \emptyset n0,intFn= ,则有 i n t ( ∪ n = 0 ∞ F n ) = ∅ int(\mathop{\cup}\limits_{n=0}^\infty F_n ) = \emptyset int(n=0Fn)=
  • ( O n ) n = 0 ∞ (O_n)_{n=0}^\infty (On)n=0 是X中的开子集序列,且对所有的 n ≥ 0 , O n ‾ = X n\ge 0,\overline{O_n} = X n0,On=X ∪ n = 0 ∞ O n ‾ = X \overline{\mathop{\cup}\limits_{n=0}^\infty O_n} = X n=0On=X

(int是集合内取点,也就是去除边界值。应该是 interior of a set 吧)

按照第一种描述的话,闭子集是集合中包含边界的子集(忘了就想想闭区间),然后这个闭子集序列如果内部都为空,也就是说都是只包含了边界,那么所有的集合的并集还是只包含了X的边界,他们的并集的内部是空的。

按照第二章描述的话,开子集是不包含任何边界的子集,如果序列里面所有的开子集加上边界就是X的话,那他们不就都一样了么,都是X中的所有内点组成的集合,他们的并集肯定还是不带任何边界,但是有所有X中的内点,然后加上边界就是X了。

两种描述是一样的,因为开子集和闭子集互补,X也和空集互补。

  • 设X是距离空间,令 F n ( n ≥ 0 ) F_n(n\ge 0) Fn(n0) 是X的闭子集使得 X = ∪ n = 0 ∞ F n X=\cup_{n=0}^\infty F_n X=n=0Fn,有

    • 如果对所有 n ≥ 0 n\ge 0 n0 ,有 i n t F n = ∅ int F_n = \emptyset intFn= ,则X是不完备的
    • 如果X是完备的,则存在 n 0 ≥ 0 n_0\ge 0 n00 ,使得 i n t F n 0 ≠ ∅ int F_{n_0}\not ={\emptyset} intFn0=
  • 无穷维的Banach空集不可能具有可列无穷Hamel基。

1.1. Baire定理的应用

Weierstrass 函数: f : x ∈ R → f ( x ) : = ∑ n = 0 ∞ 1 2 n sin ⁡ ( 3 n x ) f:x\in\mathbb{R}\to f(x):=\sum_{n=0}^\infty \frac{1}{2^n} \sin(3^nx) f:xRf(x):=n=02n1sin(3nx) R \mathbb{R} R 上有定义且可连续,但是处处不可微。

啊这个函数让我想起来了一个老段子

青年问禅师:“我现在遇到了很多很多的困难和烦恼,怎么办?”禅师说:“你随手画一条曲线,用放大镜放大了看,它还有那么弯曲吗?”那个青年画了一个魏尔斯特拉斯函数。。。

在这里插入图片描述

Baire定理可以直接退出连续但处处不可微函数的存在性。

这块的证明十分麻烦。。。知道一下就好了

  • 存在[0,1]上的连续函数,在 [0,1]是处处不可微。
  • Bolzano-Weierstrass性质:任何有界的实数列 ( x n ) n = 1 ∞ (x_n)_{n=1}^\infty (xn)n=1 ,即存在 M ∈ R M\in\mathbb{R} MR ,对所有的 n ≥ 1 n\ge 1 n1 ,均有 ∣ x n ∣ ≤ M |x_n|\le M xnM ,必定包含收敛子列。
  • Weierstrass 多项式逼近定理:空间 P [ 0 , 1 ] \mathcal{P}[0,1] P[0,1] 在赋以sup范数的空间 C [ 0 , 1 ] \mathcal{C}[0,1] C[0,1] 中稠密,类似地,空间 P ( [ 0 , 1 ] ; C ) \mathcal{P}([0,1];\mathbb{C}) P([0,1];C) 在赋以sup范数的空间 C ( [ 0 , 1 ] ; C ) \mathcal{C}([0,1];\mathbb{C}) C([0,1];C) 中稠密。

2. Banach-Steinhaus 定理(一致有界性原理)

定理内容: 设X是Banach空间,Y是赋范向量空间,而 ( A i ) i ∈ I (A_i)_{i\in I} (Ai)iI 是映射 A i ∈ L ( X ; Y ) A_i\in\mathcal{L}(X;Y) AiL(X;Y) 构成的算子族,满足对每一个 x ∈ X , s u p x ∈ I ∣ ∣ A i x ∣ ∣ Y < ∞ x\in X,sup_{x\in I}||A_i x||_Y<\infty xX,supxIAixY<,则有 s u p i ∈ I ∣ ∣ A i ∣ ∣ L ( X ; Y ) < ∞ sup_{i\in I}||A_i||_{\mathcal{L}(X;Y)}<\infty supiIAiL(X;Y)<

也就是说,如果对于每个x,其映射结果是有界的话,那么这个算子的范数就是有界的。

2.1. 推论及应用

推论: 设X是banach空间,Y是赋范向量空间,而 ( A n ) n = 1 ∞ (A_n)_{n=1}^\infty (An)n=1 是映射 A n ∈ L ( X ; Y ) A_n\in \mathcal{L}(X;Y) AnL(X;Y) 构成的算子族,使得对每一 x ∈ X x\in X xX ,序列 ( A n x ) n = 1 ∞ (A_nx)_{n=1}^\infty (Anx)n=1 在Y中收敛,则 s u p n ≥ 1 ∣ ∣ A n ∣ ∣ < ∞ sup_{n\ge 1}||A_n|| <\infty supn1An<
进而,设映射 A : X → Y A:X\to Y A:XY 由下式定义 A x : = lim ⁡ n → ∞ A n x , ∀ x ∈ X Ax:= \lim_{n\to \infty}A_n x,\forall x \in X Ax:=limnAnx,xX
A ∈ L ( X ; Y ) , ∣ ∣ A ∣ ∣ ≤ lim ⁡ n → ∞ i n f ∣ ∣ A n ∣ ∣ A\in\mathcal{L}(X;Y),||A||\le \lim_{n\to \infty} inf ||A_n|| AL(X;Y),AlimninfAn

2.1.1. 应用:数值求积公式的收敛性

给定一个权函数 ω ∈ L 1 ( 0 , 1 ) \omega\in L^1(0,1) ωL1(0,1) ,对任意函数 f ∈ C [ 0 , 1 ] f\in \mathcal{C}[0,1] fC[0,1] ,用容易计算的 有限和 尽可能精确的 逼近 积分
l ( f ) : ∫ 0 1 f ( x ) ω ( x ) d x l(f):\int_0^1 f(x)\omega(x)dx l(f):01f(x)ω(x)dx

一般方法是适当选取 n+1个不同的节点 0 ≤ x 0 n < x 1 n < ⋯ < x n n ≤ 1 0\le x_0^n < x_1^n<\dotsb<x_n^n\le 1 0x0n<x1n<<xnn1 和n+1个权 ω j n ∈ R , 0 ≤ j ≤ n \omega_j^n\in\mathbb{R},0\le j\le n ωjnR,0jn ,然后使用数值求积公式来逼近积分。
l n ( f ) : = ∑ j = 0 n ω j n f ( x j n ) l_n(f):=\sum_{j=0}^n \omega_j^n f(x_j^n) ln(f):=j=0nωjnf(xjn)

(有很多种方式,比如Lagrange插值,Simpson公式等等,我还曾经在知乎回答过一个关于数值积分运算的问题来着
Matlab怎么用梯形公式和Simpson公式求积分近似还要控制精度? - 走地小云雀的回答 - 知乎
https://www.zhihu.com/question/307008999/answer/1330861129

总之数值分析里面学过这些东西)

Polya定理: 给定一个权函数 ω ∈ L 1 ( 0 , 1 ) \omega\in L^1 (0,1) ωL1(0,1) ,以及一个连续线性泛函 l n : C [ 0 , 1 ] → R ( n ≥ 0 ) l_n:\mathcal{C}[0,1]\to \mathbb{R}(n\ge 0) ln:C[0,1]R(n0) 的形如
l n : f ∈ C [ 0 , 1 ] → l n ( f ) : = ∑ j = 0 n ω j n f ( x j n ) ∈ R l_n:f\in\mathcal{C}[0,1]\to l_n(f):=\sum_{j=0}^n\omega_j^nf(x_j^n)\in \mathbb{R} ln:fC[0,1]ln(f):=j=0nωjnf(xjn)R

其中 0 ≤ x 0 n < x 1 n < ⋯ < x n n ≤ 1 0\le x_0^n < x_1^n<\dotsb<x_n^n\le 1 0x0n<x1n<<xnn1
的序列,设该序列有
lim ⁡ n → ∞ ∣ ∫ 0 1 p ( x ) ω ( x ) d x − l n p ( n ) ∣ = 0 , ∀ p ∈ P [ 0 , 1 ] \lim_{n\to\infty}|\int_0^1p(x)\omega(x)dx - l_np(n)|=0,\forall p\in\mathcal{P}[0,1] nlim01p(x)ω(x)dxlnp(n)=0,pP[0,1]

lim ⁡ n → ∞ ∣ ∫ 0 1 f ( x ) ω ( x ) d x − l n ( f ) ∣ = 0 , ∀ f ∈ C [ 0 , 1 ] \lim_{n\to\infty}|\int_0^1 f(x)\omega(x)dx -l_n(f)|= 0,\forall f \in \mathcal{C}[0,1] nlim01f(x)ω(x)dxln(f)=0,fC[0,1]
的充要条件是
s u p n ≥ 0 ( ∑ j = 0 n ∣ ω j n ∣ ) < ∞ sup_{n\ge 0}(\sum_{j=0}^n|\omega_j^n|)<\infty supn0(j=0nωjn)<

这个权函数的形式像极了数值积分!

  • 简单的证明:

必要性

∣ l n ( f ) ∣ ≤ ( ∑ j = 0 n ∣ ω j n ∣ ) ∣ ∣ f ∣ ∣ |l_n(f)|\le (\sum_{j=0}^n|\omega_j^n|)||f|| ln(f)(j=0nωjn)f

因此有

∣ ∣ l n ∣ ∣ = s u p l n ( f ) ∣ ∣ f ∣ ∣ ≤ ∑ j = 0 n ∣ ω j n ∣ ||l_n||=sup\frac{l_n(f)}{||f||}\le \sum_{j=0}^n |\omega_j^n| ln=supfln(f)j=0nωjn

定义 f 0 ( 0 ) = s g n ω 0 n , f 0 ( x j n ) = s g n ω j n , 0 ≤ j ≤ n , f 0 ( 1 ) = s g n ω n n f_0(0) = sgn \omega_0^n,f_0(x^n_j) = sgn \omega_j^n,0\le j\le n,f_0(1) = sgn \omega_n^n f0(0)=sgnω0n,f0(xjn)=sgnωjn,0jn,f0(1)=sgnωnn

∣ l n ( f 0 ) ∣ = ∑ j = 0 n ∣ ω j n ∣ , ∣ ∣ f 0 ∣ ∣ = 1 |l_n(f_0)| = \sum_{j=0}^n|\omega_j^n|,||f_0||=1 ln(f0)=j=0nωjn,f0=1 (因为根据这个f的定义的话,每一项都变成了 ω j n \omega_j^n ωjn 乘自己的符号,就都变成了0或正数)
因此有
∣ ∣ l n ∣ ∣ ≥ ∣ l n ( f 0 ) ∣ ∣ ∣ f 0 ∣ ∣ = ∑ j = 0 n ∣ ω j n ∣ ||l_n||\ge \frac{|l_n(f_0)|}{||f_0||} = \sum_{j=0}^n|\omega_j^n| lnf0ln(f0)=j=0nωjn

由于夹逼定理
∣ ∣ l n ∣ ∣ = ∑ j = 0 n ∣ ω j n ∣ ||l_n|| = \sum_{j=0}^n |\omega_j^n| ln=j=0nωjn

由Banach-SteinHaus推论可知 s u p ∣ ∣ l n ∣ ∣ < ∞ sup||l_n||<\infty supln< ,因此必要性得证。

充分性
假定 s u p n ≥ 0 ( ∑ j = 0 ∞ ∣ ω j n ∣ ) = s u p n ≥ 0 ∣ ∣ l n ∣ ∣ < ∞ sup_{n\ge 0} (\sum_{j=0}^\infty |\omega_j^n|) = sup_{n\ge 0} ||l_n||<\infty supn0(j=0ωjn)=supn0ln<
对任意的 f ∈ C [ 0 , 1 ] f\in \mathcal{C}[0,1] fC[0,1] 以及任意的 p ∈ P [ 0 , 1 ] p\in\mathcal{P}[0,1] pP[0,1] ,我们有

∣ l n ( f ) − ∫ 0 1 f ( x ) ω ( x ) d x ∣ ≤ ∣ l n ( f − p ) ∣ + ∣ l n ( p ) − ∫ 0 1 p ( x ) ω ( x ) d x ∣ + ∣ ∫ 0 1 ( f ( x ) − p ( x ) ) ω ( x ) d x ∣ ≤ ( s u p n ≥ 0 ∣ ∣ l n ∣ ∣ + ∣ ∣ ω ∣ ∣ L 1 ( 0 , 1 ) ) ∣ ∣ f − p ∣ ∣ + ∣ l n ( p ) − ∫ 0 1 p ( x ) ω ( x ) d x ∣ |l_n(f) - \int _0^1 f(x)\omega(x)dx|\le |l_n(f-p)|+|l_n(p)-\int_0^1p(x)\omega(x)dx| + |\int_0^1(f(x)-p(x))\omega(x)dx| \\ \le (sup_{n\ge 0} ||l_n|| + ||\omega||_{L^1(0,1)})||f-p||+|l_n(p) - \int _0^1 p(x)\omega(x)dx| ln(f)01f(x)ω(x)dxln(fp)+ln(p)01p(x)ω(x)dx+01(f(x)p(x))ω(x)dx(supn0ln+ωL1(0,1))fp+ln(p)01p(x)ω(x)dx

给定任意的 f ∈ C [ 0 , 1 ] f\in\mathcal{C}[0,1] fC[0,1] 以及任意的 ϵ > 0 \epsilon > 0 ϵ>0 ,Weierstrass逼近定理说明存在一个多项式 p = p ( f ; ϵ ) ∈ P [ 0 , 1 ] p = p(f;\epsilon) \in \mathcal{P}[0,1] p=p(f;ϵ)P[0,1] 使得
( s u p n ≥ 0 ∣ ∣ l n ∣ ∣ + ∣ ∣ ω ∣ ∣ l 1 ( 0 , 1 ) ) ∣ ∣ f − p ∣ ∣ ≤ ϵ 2 (sup_{n\ge 0}||l_n||+||\omega||_{l^1(0,1)})||f-p||\le \frac{\epsilon}{2} (supn0ln+ωl1(0,1))fp2ϵ

由假设,存在 n 0 = n 0 ( p ) = n 0 ( f ; ϵ ) n_0=n_0(p) = n_0(f;\epsilon) n0=n0(p)=n0(f;ϵ) 使得
∣ l n ( p ) − ∫ 0 1 p ( x ) ω ( x ) d x ∣ ≤ ϵ 2 , ∀ n ≥ n 0 |l_n(p)-\int_0^1 p(x)\omega(x)dx|\le \frac{\epsilon}{2},\forall n \ge n_0 ln(p)01p(x)ω(x)dx2ϵ,nn0

因此

∣ l n ( f ) − ∫ 0 1 f ( x ) ω ( x ) d x ∣ ≤ ϵ , ∀ n ≥ n 0 |l_n(f)-\int_0^1f(x)\omega(x)dx|\le \epsilon,\forall n \ge n_0 ln(f)01f(x)ω(x)dxϵ,nn0

充分性得证

©️2020 CSDN 皮肤主题: 数字20 设计师:CSDN官方博客 返回首页