最后更新: 2025-04-27 21:50 查看: 55 次纠错评论(0) 课件开VIP

弱列紧与弱*列紧

定义 5．5．2．设 $X$ 为赋范线性空间，$A \subset X$ ，若 $A$ 中任意无穷点列都有弱收敛子列，则称 $A$ 是弱列紧的。

定义 5．5．3．设 $X$ 为赋范线性空间，$A^* \subset X^*$ ，若 $A^*$ 中任意无穷点列都有弱＊收敛子列，则称 $A$ 是弱＊列紧的。

定理 5．5．3．设 $X$ 为可分的赋范线性空间，则 $X^*$ 上任意有界点列 $\left\{f_n\right\}$ 必有弱＊收敛子列。

证明 $X$ 可分，则存在可数稠密子集 $\left\{x_m\right\} \subset X$ 。由于 $\left\{f_n\right\}$ 有界，则对 $m=1$ ， $\left\{f_n\left(x_1\right)\right\}$ 是有界数列，由致密性定理，存在子列 $\left\{n_1\right\} \subset\{n\}$ ，使得 $\left\{f_{n_1}\left(x_1\right)\right\}$ 收敛；对 $m=2,\left\{f_{n_1}\left(x_2\right)\right\}$ 是有界数列，由致密性定理，存在子列 $\left\{n_2\right\} \subset\left\{n_1\right\}$ ，使得 $\left\{f_{n_2}\left(x_2\right)\right\}$ 收敛，注意也有 $\left\{f_{n_2}\left(x_1\right)\right\}$ 收敛；$\cdots \cdots$ 依次做下去，对每个 $m \in N$ ，存在子列 $\left\{n_k\right\} \subset\left\{n_{k-1}\right\}$ ，使得 $\left\{f_{n_k}\left(x_m\right)\right\}$ 收敛，记

$$
\lim _{k \rightarrow \infty} f_{n_k}\left(x_m\right)=f\left(x_m\right), \quad \forall m \in N
$$

又 $\left\{x_m\right\}$ 在 $X$ 中稠密，则对 $\forall x \in X$ ，存在子列 $x_{m^{\prime}} \xrightarrow{\|\cdot\|} x$ ，从而，注意到 $\left\{f_n\right\}$ 有界，则有

$$
\begin{aligned}
\left\|f_{n_k}(x)-f(x)\right\| & \leq\left\|f_{n_k}(x)-f_{n_k}\left(x_{m^{\prime}}\right)\right\|+\left\|f_{n_k}\left(x_{m^{\prime}}\right)-f\left(x_{m^{\prime}}\right)\right\|+\| f\left(x_{m^{\prime}}-f(x) \|\right. \\
& \leq\left\|f_{n_k}\right\|\left\|x-x_{m^{\prime}}\right\|+\left\|f_{n_k}\left(x_{m^{\prime}}\right)-f\left(x_{m^{\prime}}\right)\right\|+\|f\|\left\|x-x_{m^{\prime}}\right\| \\
& \rightarrow 0, \quad k \rightarrow \infty
\end{aligned}
$$

于是

$$
\lim _{k \rightarrow \infty} f_{n_k}(x)=f(x), \quad \forall x \in X
$$

易知，$f$ 是 $X$ 上的线性泛函。又

$$
|f(x)| \leq \sup _n\left\|f_n\right\|\|x\|, \quad x \in X
$$

故 $f$ 有界，从而 $f \in X^*$ ．而式（5．4）表明 $f_{n_k} \xrightarrow{w^*} f$ ．
定理 5．5．4．设 $X$ 赋范线性空间，若 $X^*$ 可分，则 $X$ 可分。
证明（1）先证 $X^*$ 可分，则 $S\left(X^*\right)$ 可分。
任取 $f \in S\left(X^*\right)$ ，由于 $X^*$ 可分，则存在 $\left\{f_n\right\} \subset X^*$ 使得 $f_n \xrightarrow{\|\cdot\|} f$ ．令 $g=\frac{f_n}{\left\|f_n\right\|}$（不妨设 $f_n \neq \theta$ ）．则

$$
\begin{aligned}
\left\|f-g_n\right\| & \leq\left\|f-f_n\right\|+\left\|f_n-g_n\right\|=\left\|f-f_n\right\|+\left\|\frac{\left\|f_n\right\| f_n-f_n}{\left\|f_n\right\|}\right\| \\
& =\left\|f-f_n\right\|+\left|\left\|f_n\right\|-1\right| \rightarrow 0, \quad n \rightarrow \infty
\end{aligned}
$$

这说明可列集 $\left\{g_n\right\} \subset S\left(X^*\right)$ 是 $S\left(X^*\right)$ 的稠密子集，故 $S\left(X^*\right)$ 可分。
（2）证 $X$ 可分。
由于

$$
\left\|g_n\right\|=\sup _{x \in S(X)}|g(x)|=1
$$

取 $x_n \in S(X)$ ，满足 $g_n\left(x_n\right) \geq \frac{1}{2}$ ．令 $X_0=\overline{\operatorname{span}}\left\{x_n\right\}$ ，则 $X_0$ 可分 ${ }^7$ 。下面证明 $X_0=X$ ．
否则，若存在 $x_0 \in X-X_0$ ，不妨设 $\left\|x_0\right\|=1$ ．由 Hahn－Banach 定理推论，存在 $f_0 \in S\left(X^*\right)$ 使得

$$
f_0\left(x_0\right)=d\left(x_0, X_0\right), \quad f_0(x)=0, \forall x \in X_0
$$

从而

$$
\left\|g_n-f_0\right\|=\sup _{x \in S(X)}\left|g_n(x)-f_0(x)\right| \geq\left|g_n\left(x_n\right)-f_0\left(x_n\right)\right|=\left|g_n\left(x_n\right)\right| \geq \frac{1}{2}
$$

这说明 $\left\{g_n\right\}$ 不能任意逼近 $f_0$ ，这与 $\left\{g_n\right\}$ 在 $S\left(X^*\right)$ 中稠密矛盾。

定理 5．5．5．设 $X$ 为赋范线性空间，则 $X$ 中任意有界序列必有弱收敛子列。
证明 设 $X$ 自反，$\left\{x_n\right\} \subset X$ ．令 $X_0=\overline{\operatorname{span}}\left\{x_n\right\}$ ，则 $X_0$ 为 $X$ 的闭子空间，故由定理 5．2．2 知，$X_0$ 自反。又 $X_0^{* *}=X_0$ 可分，再由定理 5．5．4 可得，$X_0^*$ 可分。

设 $J: X_0 \rightarrow X_0^{* *}$ 为自然映射，即 $J(x)=J_x, \forall x \in X_0$ ，满足

$$
J_x(f)=f(x), \forall f \in X_0^*
$$

于是

$$
\left|J_{x_n}(f)\right|=\left|f\left(x_n\right)\right| \leq\left\|x_n\right\|\|f\|, \quad \forall f \in X_0^*
$$

故 $\left\{J_{x_n}\right\}$ 有界。取 $X_0^*$ 的可数稠密子集 $\left\{f_m\right\}$ ，类似定理 5．5．3 证明中的方法可以得到子列 $\left\{n_k\right\}$ 使得

$$
\lim _{k \rightarrow \infty} J_{x_{n_k}}(f)=J_{x_0}(f), \quad \forall f \in X_0^*
$$

又 $X_0$ 自反，则存在 $x_0 \in X_0$ 按自然映射与 $J_{x_0}$ 对应，从而

$$
\lim _{k \rightarrow \infty} f\left(x_{n_k}\right)=J_{x_0}(f)=f\left(x_0\right), \quad \forall f \in X_0^*
$$

ii）对 $\forall F \in X^*$ ，记 $f=\left.F\right|_{X_0^*}$ 为 $F$ 在 $X_0$ 上的限制，注意到 $\left\{x_n\right\} \in X_0, x_0 \in X_0$ ，由式（5．5）可得

$$
\lim _{k \rightarrow \infty} F\left(x_{n_k}\right)=\lim _{k \rightarrow \infty} f\left(x_{n_k}\right)=f\left(x_0\right)=F\left(x_0\right)
$$

这说明 $x_{n_k} \xrightarrow{w} x_0$ ．因此，$\left\{x_{n_k}\right\}$ 是 $\left\{x_n\right\}$ 的弱收玫子列。

推论 5．5．1．自反空间的（闭）单位球是弱（自）列紧的。
证明 任取 $\left\{x_n\right\} \subset U(X)$ ，则 $\left\{x_n\right\}$ 有界，由定理 5．5．5 知，存在弱收敛子列 $x_{n_k} \xrightarrow{w}$ $x_0$ ．故 $U(X)$ 弱列紧。

再由 Hahn－Banach 定理推论，存在 $f \in S\left(X^*\right)$ 使得 $f\left(x_0\right)=\left\|x_0\right\|$ ．从而

$$
\left\|x_0\right\|=f\left(x_0\right)=\lim _{k \rightarrow \infty} f\left(x_{n_k}\right) \leq\|f\| \sup _k\left\|x_{n_k}\right\| \leq 1
$$

故 $x_0 \in B(X)$ ．因此，$B(X)$ 弱自列紧。
定理 5．5．6．（Alaoglu 定理）设 $X$ 赋范线性空间，则 $B\left(X^*\right)$ 是弱＊紧的。

科数题库(单机版) 会议室预约系统(book)

今日还可看 0 篇未注册用户每天查看4篇，注册用户每天8篇，开通VIP会员无限制查看。

免费注册

《高等数学》难点解析

高数教程 泰勒公式切线与法线切平面与法平面驻点·拐点·极值点·零点间断点渐进线瑕积分欧拉方程伯努利方程 Abel 收敛定理偏导数的几何意义偏导数的几何意义梯度数量场与向量场多元函数极值拉格朗日算子通量与散度环流量与旋度格林公式高斯公式斯托克斯公式三大公式比较傅里叶级数极坐标微元点法式方程变上限定积分 X型计算面积 Y型计算面积微分的意义渐近线间断点 y''+py'+qy=f(x)方程高斯黎曼傅里叶变换(复数) 拉普拉斯变换(复数)

《线性代数》难点解析

线代教程 近世代数对数学的整体思考线性的意义矩阵乘法(列视角) 矩阵乘法(行视角) 矩阵左乘矩阵右乘逆矩阵求解方程组阶梯形矩阵的求法方程组解的判定四阶行列式的计算线性变换的意义线性空间向量组的等价线性空间的几何意义基础解系的求法施密特正交化特征值与特征向量的意义矩阵相似的几何意义矩阵可对角化的理解秩的意义(向量版) 秩的意义(方程版) 二次型的意义

《概率论与数理统计》难点解析

概率教程 置信区间与上a分位数概率中的“取”与“放” 贝叶斯公式全概率公式泊松分布指数分布伽玛分布二维密度图的意义卷积的意义相关系数的意义 k阶矩是与矩母函数卡方分布的作用单正态区间估计理解假设检验理解切比雪夫不等式中心极限定理

上一篇：弱*收敛

下一篇：没有了

本文对您是否有用？有用 (0) 无用 (0)