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

1. Baire 定理

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

$A_0\supset A_1\supset A_2\supset \cdots \supset A_n\supset A_{n-1}\supset \cdots ,当n\to \infty 时,diam{A}_n\to 0$

则存在 $x\in X$ 使得 ∩ n = 0 ∞ A n = { x } \cap_{n=0}^\infty A_n = \{x\} ∩n=0∞​An​={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);x∈A,y∈A}∈[0,∞] ，也就是集合中的最远距离)

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

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

• 设 $(F_n{)}_{n=0}^{\infty }$ 是X中的闭子集序列，且对所有的 $n\ge 0,int{F}_n=\varnothing$ ，则有 $int(\underset{n=0}{\overset{\infty }{\cup }}{F}_n)=\varnothing$
• 设 $(O_n{)}_{n=0}^{\infty }$ 是X中的开子集序列，且对所有的 $n\ge 0,\overline{O_n}=X$ 则 $\overline{\underset{n=0}{\overset{\infty }{\cup }}{O}_n}=X$

（int是集合内取点，也就是去除边界值。应该是 interior of a set 吧）

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

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

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

• 设X是距离空间，令 $F_n(n\ge 0)$ 是X的闭子集使得 $X={\cup }_{n=0}^{\infty }{F}_n$，有

  • 如果对所有 $n\ge 0$ ，有 $int{F}_n=\varnothing$ ，则X是不完备的
  • 如果X是完备的，则存在 $n_0\ge 0$ ，使得 $int{F}_{n_0}\ne \varnothing$

• 无穷维的Banach空集不可能具有可列无穷Hamel基。

1.1. Baire定理的应用

Weierstrass 函数： $f:x\in \mathbb{R}\to f(x):={\sum }_{n=0}^{\infty }\frac{1}{2^n}\sin (3^{n}x)$ 在 $\mathbb{R}$ 上有定义且可连续，但是处处不可微。

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

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

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

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

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

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

定理内容： 设X是Banach空间，Y是赋范向量空间，而 $(A_i{)}_{i\in I}$ 是映射 $A_i\in \mathcal{L}(X;Y)$ 构成的算子族，满足对每一个 $x\in X,su{p}_{x\in I}||A_{i}x|{|}_Y<\infty$，则有 $su{p}_{i\in I}||A_i|{|}_{\mathcal{L}(X;Y)}<\infty$

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

2.1. 推论及应用

推论： 设X是banach空间，Y是赋范向量空间，而 $(A_n{)}_{n=1}^{\infty }$ 是映射 $A_n\in \mathcal{L}(X;Y)$ 构成的算子族，使得对每一 $x\in X$ ，序列 $(A_{n}x{)}_{n=1}^{\infty }$ 在Y中收敛，则 $su{p}_{n\ge 1}||A_n||<\infty$
进而，设映射 $A:X\to Y$ 由下式定义 $Ax:={\lim }_{n\to \infty }{A}_{n}x,\forall x\in X$
则 $A\in \mathcal{L}(X;Y),||A||\le {\lim }_{n\to \infty }inf||A_n||$

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

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

一般方法是适当选取 n+1个不同的节点 $0\le x_0^n<x_1^n<\cdots <x_n^n\le 1$ 和n+1个权 ${\omega }_j^n\in \mathbb{R},0\le j\le n$ ，然后使用数值求积公式来逼近积分。
$l_n(f):={\sum }_{j=0}^n{\omega }_j^{n}f(x_j^n)$

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

Polya定理： 给定一个权函数 $\omega \in L^1(0,1)$ ，以及一个连续线性泛函 $l_n:\mathcal{C}[0,1]\to \mathbb{R}(n\ge 0)$ 的形如
$$l_n:f\in \mathcal{C}[0,1]\to l_n(f):=\sum _{j=0}^n{\omega }_j^{n}f(x_j^n)\in \mathbb{R}$$

其中 $0\le x_0^n<x_1^n<\cdots <x_n^n\le 1$
的序列，设该序列有
$$\underset{n\to \infty }{\lim }|{\int }_0^{1}p(x)\omega (x)dx-l_{n}p(n)|=0,\forall p\in \mathcal{P}[0,1]$$
则

$$\underset{n\to \infty }{\lim }|{\int }_0^{1}f(x)\omega (x)dx-l_n(f)|=0,\forall f\in \mathcal{C}[0,1]$$
的充要条件是
$$su{p}_{n\ge 0}(\sum _{j=0}^n|{\omega }_j^n|)<\infty$$

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

• 简单的证明:

必要性

$$|l_n(f)|\le (\sum _{j=0}^n|{\omega }_j^n|)||f||$$

因此有

$$||l_n||=sup\frac{l_n(f)}{||f||}\le \sum _{j=0}^n|{\omega }_j^n|$$

定义 $f_0(0)=sgn{\omega }_0^n,f_0(x_j^n)=sgn{\omega }_j^n,0\le j\le n,f_0(1)=sgn{\omega }_n^n$

有 $|l_n(f_0)|={\sum }_{j=0}^n|{\omega }_j^n|,||f_0||=1$ (因为根据这个f的定义的话，每一项都变成了 ${\omega }_j^n$ 乘自己的符号，就都变成了0或正数)
因此有
$$||l_n||\ge \frac{|l_n(f_0)|}{||f_0||}=\sum _{j=0}^n|{\omega }_j^n|$$

由于夹逼定理
$$||l_n||=\sum _{j=0}^n|{\omega }_j^n|$$

由Banach-SteinHaus推论可知 $sup||l_n||<\infty$ ，因此必要性得证。

充分性
假定 $su{p}_{n\ge 0}({\sum }_{j=0}^{\infty }|{\omega }_j^n|)=su{p}_{n\ge 0}||l_n||<\infty$
对任意的 $f\in \mathcal{C}[0,1]$ 以及任意的 $p\in \mathcal{P}[0,1]$ ，我们有

$$\begin{gathered} |l_n(f)-{\int }_0^{1}f(x)\omega (x)dx|\le |l_n(f-p)|+|l_n(p)-{\int }_0^{1}p(x)\omega (x)dx|+|{\int }_0^1(f(x)-p(x))\omega (x)dx| \\ \le (su{p}_{n\ge 0}||l_n||+||\omega |{|}_{L^1(0,1)})||f-p||+|l_n(p)-{\int }_0^{1}p(x)\omega (x)dx| \end{gathered}$$

给定任意的 $f\in \mathcal{C}[0,1]$ 以及任意的 $ϵ>0$ ，Weierstrass逼近定理说明存在一个多项式 $p=p(f;ϵ)\in \mathcal{P}[0,1]$ 使得
$$(su{p}_{n\ge 0}||l_n||+||\omega |{|}_{l^1(0,1)})||f-p||\le \frac{ϵ}{2}$$

由假设，存在 $n_0=n_0(p)=n_0(f;ϵ)$ 使得
$$|l_n(p)-{\int }_0^{1}p(x)\omega (x)dx|\le \frac{ϵ}{2},\forall n\ge n_0$$

因此

$$|l_n(f)-{\int }_0^{1}f(x)\omega (x)dx|\le ϵ,\forall n\ge n_0$$

充分性得证