步尚全+泛函分析基础习题答案提示..docx

第四章 赋范空间中的基本定理设 是赋范空间 上的次线性泛函，满足 ，且在 处连续。求证： 是连续映射。证明：由 在0处连续，且满足可得：使得满足 的 都有 。从而 满足 则 任取 令 ，且满足 ，由 是 的次线性泛函可以得到： 即 注意到 从而 即得到 即 在 处连续，由 的任意性可知， 处处连续，为连续映射。设 为线性空间， 使得任取 ，有求证：是 上的半范数证明： ，则由条件 得到 。由 是线性空间，其中存在零元和负元。任取 则有： 即 从而得证半范数的三个条件。即 上的半范数。设 固定，考虑 的线性子空间 及 上的线性泛函 。求出所有 到 上的线性延拓及其相应的线性泛函的范数。解：由线性我们自然想到，对于 应该为线性的。由Hahn-banach定理可知： 。并且对于形如 的线性泛函满足题目的要求。其范数为： 设 为赋范空间， 为 的线性子空间， 。求证： 当且仅当 都有 证明： ： ，由于 故 。 为连续映射 则 从而 ：假设对于 ， 都有 的情况下 则 注意到： 是 的闭线性子空间， 是 的真子集。令 则由定理4.1.7： 使得 ，又条件 都有 矛盾！从而假设不成立， 设 为可分赋范空间，求证：存在 单位球面的可数子集 ，使得任取 ，有 。证明： 为可分赋范空间 存在至多可数的稠密子集。令稠密子集为 设 则 ， 。 设 为赋范空间， 求证： 为 的闭线性子空间证明： ： 是 上的有界线性算子，且 为赋范空间根据推论2.4.1， 是 的闭线性子空间。 ： 是 的闭线性子空间。若 ，则 显然。若 对于 ， 并且是 的闭集， 是 的闭线性子空间，即 也为闭集。从而由定理1.2.6得： 是连续映射。再根据定理2.4.4： 为赋范空间，即为线性的故有 是连续映射 是 上的有界线性算子。从而得证 设 为赋范空间， 为 的非空子集。求证：若 则 。证明：事实上由Hahn-Banach定理4.1.4可知： 有 则 有 则 有 则 。另证：假设，即 。即。另一方面，由于，则 。从而对 。注意到： 所以 即 这与假设矛盾！结论得证。设 为赋范空间， 为 的线性子空间。 ，求证： 证明： 为 的线性子空间 为线性空间 。令 定义 其中 显然有 ， 。即 从而 。由Hahn-Banach定理： 考虑 的线性子空间 。求证：任取 在 中无最佳逼近元。设 为赋范空间， 为 的线性子空间，令 。若 为 的闭线性子空间，且 。求证： 。设赋范空间 中包含 个线性无关的元素，求证： 也包含至少 个线性无关的元素。设 为赋范空间 的非空子集，求证： 在 中为完全集 在 上恒为0的 在 上也恒为0.设 为赋范空间， 为其共轭算子。求证： 。设 为度量空间。求证： 为无处稠密子集当且仅当 为 的稠密子集。证明：非空完备度量空间的第一范畴子集的余集必为第二范畴子集。设 为赋范空间 中的一列元，任给 ， 都是纯量有界列。求证： 为有界列。设 为 Banach空间， 为赋范空间， 为一列有界线性算子，设任取 ， 都是中的柯西列，求证：存在常数 ，使得任取 ， 。在上题中又设 为Banach空间，求证：存在 ，使得任取 ， ，且 。设 为Banach空间， 为赋范空间， 为一列有界线性算子。证明下述命题相互等价：存在 , ;任取 ， 为 中的有界列；任取 为纯量有界列。设 为赋范空间， ， 弱收敛到 。求证： 。设 为赋范空间， ， 弱收敛到。求证： 为 的线性组合，使得 。设 ， 弱收敛到。求证： 点点收敛到 。即任取 ，有 设 为赋范空间。 ，， 弱收敛到。求证： 弱收敛到 。设 为赋范空间， ， ，假设 弱收敛到 ， 弱收敛到 ， 。求证： 弱收敛到 ， 弱收敛到 。设 为可分Banach空间， 为有界集。证明： 中任意序列均有子列弱星收敛到 中某元。设 为赋范空间， 为闭线性算子，求证： 为 的闭线性子空间；若 为一一映射，则 也为闭线性算子。 将 的紧集映射到 的闭集。 中的紧集通过 的逆象为 的闭集。设 为Hilbert空间， 为线性算子，满足 ， 求证： 设 为Banach空间， 为 的闭线性子空间。假设任取 ，存在唯一的 ，使得 。求证：存在 ，使得 ， ， ， 设 为赋范空间， 为线性算子。求证： 为闭算子当且仅当任取 ， ，都有 。泛函分析基础5