[家里蹲大学数学杂志]第041期中山大学数计学院 2008 级数学与应用数学专业《泛函分析》期末考试试题 A...

1 ( 10 分 ) 设 $\mathcal{X}$ 是 Banach 空间, $f$ 是 $\mathcal{X}$ 上的线性泛函. 求证: $f\in \mathcal{L}(\mathcal{X})$ 的充分必要条件是 \[ N(f)=\{ x\in \mathcal{X};\ f(x)=0 \} \] 是 $\mathcal{X}$ 的闭线性子空间.

证明: 必要性. 设 $N(f)\ni x_n\to x$, 则 $$\bex f(x)&=&\lim_{n\to\infty}f(x_n)\quad(f\in \scrX^*)\\ &=&\lim_{n\to\infty}0=0. \eex$$ 充分性. 用反证法. 若 $f$ 无界, 则 $$\bex \forall\ n\in\bbN,\ \exists\ x_n\in\scrX,\ s.t.\ \sev{f(x_n)}>n\sen{x_n}, \eex$$ 而 $$\bee\label{1} \sen{\frac{x_n}{f(x_n)}}<\frac{1}{n}. \eee$$ 令 $$\bex y_n=\frac{x_n}{f(x_n)}-\frac{x_1}{f(x_1)}, \eex$$ 则由 \eqref{1} 知 $$\bex N(f)\ni y_n\to -\frac{x_1}{f(x_1)}\not\in N(f), \eex$$ 这与 $N(f)$ 的闭性矛盾, 而有结论.

 

 

2 ( 12 分 ) 设 $\scrX$, $\scrY$ 是 $B^*$ 空间, $D$ 是 $\scrX$ 的线性子空间并且 $A:\ D\to \scrY$ 是线性映射. 求证:

(1)如果 $A$ 连续且是闭算子, 则 $\scrY$ 完备蕴含 $D$ 闭;

(2)如果 $A$ 是单射的闭算子, 则 $A^{-1}$ 也是闭算子.

证明:

(1)设 $D\ni x_n\to x$, 则由 $A$ 连续知 $$\bex \sen{Ax_n-Ax_m}\leq\sen{A}\cdot\sen{x_n-x_m}\to 0\quad\sex{n,m\to\infty}, \eex$$ 而 $\sed{Ax_n}$ 是 $\scrY$ 中 Cauchy 列, 设其收敛到 $y\in\scrY$, 则由 $A$ 的闭性知 $x\in D$, $Ax=y$. 此即证明了 $D$ 完备.

(2)设 $$\bex R(A)=D\sex{A^{-1}}\ni y_n\to y, \eex$$ $$\bex D(A)=R\sex{A^{-1}}=A^{-1}y_n\to x, \eex$$ 则由 $A$ 闭知 $$\bex x\in D(A) \mbox{ 且 }Ax=y, \eex$$ 而 $$\bex y\in R(A)=D\sex{A^{-1}}\mbox{ 且 }x=A^{-1}y. \eex$$

 

 

3 ( 10 分 ) 设 $\scrX$ 是 Banach 空间, $T\in \scrL(\scrX)$. 如果 $\sen{T}<1$, 则算子 $I-T$ 有有界逆算子, 并且 $$\bex \sen{(I-T)^{-1}}\leq \frac{1}{1-\sen{T}}. \eex$$

证明: 设 $\dps{S_n=\sum_{k=0}^nT^k}$, 则对 $\forall\ m>n$ 有 $$\bex \sen{S_n-S_m}&\leq&\sum_{k=n+1}^m\sen{T^k}\\ &\leq&\sum_{k=n+1}^m \sen{T}^k\\ &\leq&\frac{\sen{T}^{n+1}}{1-\sen{T}}\\ &\to&0\quad\sex{n\to\infty}. \eex$$ 于是 $\sed{S_n}$ 作为 Banach $\scrL(\scrX,\scrX)$ 的 Cauchy 列, 收敛到 $$\bex S=\sum_{k=1}^\infty T^k. \eex$$ 又由 $$\bex \sen{(I-T)S_n-I} =\sen{-T^{n+1}}\to 0\quad\sex{n\to\infty} \eex$$ 知 $(I-T)^{-1}=S$, 而 $$\bex \sen{(I-T)^{-1}}=\sen{S} =\sen{\sum_{k=0}^\infty T^k} \leq \sum_{k=0}^\infty \sen{T}^k =\frac{1}{1-\sen{T}}. \eex$$

 

 

4 ( 10 分 ) 设 $\mathcal{X}$ 是赋范线性空间, $\{x_1,\cdots,x_n\}$ 是 $n$ 个线性无关元. 求证: $\exists\ \{f_1,\cdots,f_n\}\subset \scrX^*$ 使得 \[ \sef{f_i,x_j}=\delta_{ij}\quad(\forall\ i,j=1,\cdots,n). \]

证明: 记 $\dps{M_i=span_{j\neq i}\sed{x_j}}$, 则 $d_i=\rho(x_i,M_i)>0$, 于是由点与线性子空间分离的 Hahn-Banach 定理, $$\bex \exists\ \tilde f_i\in\scrX^*,\ s.t.\ \tilde f_i(x_i)=d_i,\quad \tilde f_i|_{M_i}=0. \eex$$ 令 $\dps{f_i=\frac{\tilde f_i}{d_i}}$, 则 $\sed{f_i}$ 即为所求.

 

 

5 ( 10 分 ) 设 $\mathcal{H}$ 是 Hilbert 空间, $T\in \mathcal{L}(\mathcal{H})$ 且 $||T||\leq 1$. 证明: 若 $Tx=x$, 则 $T^*x=x$.

证明: 由 $Tx=x$ 及 $||T||\leq 1$ 知 \[ ||T||=1, \] 而 \[ ||T^*||=||T||=1. \] 于是 $$\bex ||T^*x-x||^2 &=&(T^*x-x,T^*x-x)\\ &=&||T^*x||^2-(T^*x,x)-(x,T^*x)+||x||^2\\ &=&||T^*x||^2-(x,Tx)-(Tx,x)+||x||^2\\ &=&||T^*x||^2-||x||^2\quad(\mbox{由 } Tx=x)\\ &\leq& ||T^*||^2\cdot ||x||^2-||x||^2\\ &=&0\quad(\mbox{由 } ||T^*||=1). \eex$$ 因此 $$\bex T^*x=x. \eex$$

 

 

6 ( 16 分 ) 设 $\mathcal{H}$ 是 Hilbert 空间, $T:\mathcal{H}\to \mathcal{H}$ 是线性算子且满足 \[ (Tx,y)=(x,Ty)\quad (\forall\ x,y\in \mathcal{H}). \] 求证:

(1) $T^*=T$, 此时称 $T$ 为自共轭算子;

(2) 对任意 $x\in \calH$, $(Tx,x)$ 是实的;

(3) 算子 $T$ 的本征值是实的;

(4) 对应于 的不同本征值 $\lambda_1$, $\lambda_2$ 的本征元 $x_1$, $x_2$ 是正交的.

证明:

(1) 往证 $T$ 是闭算子, 而由 $D(T)=\mathcal{H}$ 及闭图像定理知 $T\in \mathcal{L}(\mathcal{H})$. 事实上, 设 $\mathcal{H}\ni x_n\to x,\ Tx_n\to y$, 则于 \[ (Tx_n,z)=(x_n,z)\quad (\forall\ z\in \mathcal{H}) \] 中令 $n\to\infty$,有 \[ (y,z)=(x,Tz)=(Tx,z)\quad(\forall\ z\in \mathcal{H}). \] 于是 \[ y=Tx. \]

(2) 由 $$\beex\bea (Tx,x)&=(x,Tx)\quad\sex{T\mbox{ 自共轭}}\\ &=\overline{\sex{Tx,x}}\quad\sex{\mbox{内积定义}} \eea\eeex$$ 即知 $(Tx,x)\in \bbR$.

(3) 设 $\lambda\in \bbC$ 适合 $$\bex \exists\ 0\neq x\in \calH,\ s.t.\ Tx=\lambda x, \eex$$ 则 $$\bex \lambda \sen{x}^2 =\lambda(x,x) =\sex{\lambda x,x} =\sex{Tx,x}\in \bbR, \eex$$ 于是 $$\bex \lambda=\frac{\sex{Tx,x}}{\sen{x}^2}\in \bbR. \eex$$

(4)由 $$\bex & &(\lambda_1-\lambda_2)(x_1,x_2)\\ & &= (\lambda_1x_1,x_2)-(x_1,\lambda_2x_2)\quad\sex{\lambda_i\in\bbR}\\ & &=(Tx_1,x_2)-(x_1,Tx_2)\quad\sex{x_i \mbox{ 是 } T \mbox{ 的相对于 }\lambda_i\mbox{ 的本征元}}\\ & &=0\quad\sex{T\mbox{ 自共轭}}. \eex$$ 即知结论.

 

 

7 ( 12 分 ) 设 $\varphi\in C[0,1]$, $T:\ L^2[0,1]\to L^2[0,1]$ 是由 \[ (Tf)(x)=\varphi(x)\int_0^1\varphi(t)f(t)\ dt\quad(\forall\ f\in L^2[0,1]) \] 给出的线性算子. 求证:

(1) $T$ 是自共轭算子 (定义见题 6);

(2) $\exists\ \lambda\geq 0$, 使得 $T^2=\lambda T$, 由此求出 $T$ 的谱半径 $r_\sigma(T)$.

证明:

(1)对 $\forall\ f,\ g\in L^2[0,1]$, 由 $$\bex (Tf,g) &=&\int_0^1 \sez{ \varphi(x)\int_0^1 \varphi(t)f(t)\ dt }\cdot g(x)\ dx\\ &=&\int_0^1 \varphi(t)f(t)\ dt \cdot \int_0^1 \varphi(x)g(x)\ dx\\ &=&\int_0^1 \varphi(x)f(x)\ dx \cdot \int_0^1 \varphi(t)g(t)\ dt\\ &=&\int_0^1 f(x)\cdot \sez{\varphi(x)\int_0^1 \varphi(t)g(t)\ dt}\ dx\\ &=&(f,Tg) \eex$$ 知 $T^*=T$, 而 $T$ 为自共轭算子.

(2)由 $$\bex (T^2f)(x) &=&[T(Tf)](x)\\ &=&\varphi(x)\int_0^1 \varphi(t)(Tf)(t)\ dt\\ &=&\varphi(x) \int_0^1 \sez{ \varphi(t) \cdot \varphi(t) \int_0^1 \varphi(s)f(s)\ ds }\ dt\\ &=&\int_0^1 \varphi^2(t)dt\cdot \varphi(x)\int_0^1 \varphi(s)f(s)\ ds\\ &=&\int_0^1 \varphi^2(t)dt\cdot (Tf)(x)\quad (\forall\ f\in L^2[0,1]) \eex$$ 知 \[ T^2=\lambda T, \] 其中 \[ \lambda=\int_0^1 \varphi^2(t)dt. \] 由数学归纳法易知 \[ T^n=\lambda^{n-1}T\quad(n\geq 1), \] 而 $T$ 的谱半径 \[ r_\sigma(T)=\lim_{n\to\infty}||T^n||^\frac{1}{n} =\lim_{n\to\infty} \lambda^\frac{n-1}{n}||T||^\frac{1}{n} =\lambda =\int_0^1 \varphi^2(t)dt. \] 倒数第二个等号是因为若 $\varphi\equiv 0$, 则 $\lambda=0$, $T=0$; 若 $\varphi\not\equiv 0$, 则 $||T||\neq 0$.

 

8 ( 10 分 ) 设 $\scrX$ 是赋范线性空间, $M$ 是 $\scrX$ 的闭子空间. 证明: 如果 $\sed{x_n}\subset M$ 且 $x_n\rhu x_0$, 则 $x_0\in M$.

证明: 用反证法. 若 $x_0\not\in M$, 则 $d=\rho(x_0,M)>0$, 由点与线性子空间分离的 Hahn-Banach 定理, $$\bex \exists\ f\in\scrX^*,\ s.t.\ f(x_0)=d>0,\quad f|_M=0. \eex$$ 于是由 $x_n\rhu x_0$ 知 $$\bex 0<d=f(x_0)=\lim_{n\to\infty}f(x_n) =\lim_{n\to\infty}0=0. \eex$$ 这是一个矛盾, 故有结论.

 

9 ( 10 分 ) 设 $\calH$ 是 Hilbert 空间, $\sed{x_n}\subset \calH$, $x\in \calH$. 证明:

(1) $x_n\rhu x$ 当且仅当对任意 $y\in\calH$, $(x_n,y)\to (x,y)$;

(2) $x_n\to x$ 当且仅当 $x_n\rhu x$ 且 $\sen{x_n}\to \sen{x}$.

证明:

(1) 这是 Riesz 表示定理与弱收敛定义的直接结论.

(2) 必要性显然. 往证充分性. $$\bex \sen{x_n-x}^2&=&\sex{x_n-x,x_n-x}\\ &=&\sen{x_n}^2-\sex{x_n,x}-\sex{x,x_n}+\sen{x}^2\\ &\to&\sen{x}^2-\sex{x,x}-\sex{x,x}+\sen{x}^2=0\quad\sex{n\to\infty}. \eex$$ 

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.mzph.cn/news/401782.shtml

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

PUD编码规则

共有三种方式来发送和接收SMS信息&#xff1a;Block Mode, Text Mode和PDU Mode。其中PDU Mode被所有手机支持&#xff0c;可以使用任何字符集&#xff0c;这也是手机默认的编码方式。 发送短消息常用Text和PDU(Protocol Data Unit&#xff0c;协议数据单元)模式。使用Text模式…

xml 解析

2019独角兽企业重金招聘Python工程师标准>>> 各大数据接口大全&#xff1a;http://blog.sina.com.cn/s/articlelist_2127818045_10_1.html package com.test.junit; import static org.junit.Assert.*; import java.io.ByteArrayInputStream;import java.io.InputSt…

3.1 采购管理规划

3.1.1 采购业务管理规划 通过企业采购业务管理规划&#xff0c;从而引入完全价值采购体系&#xff0c;建立企业的战略性采购或电子化采购流程&#xff0c;进行合同管理&#xff0c;收货管理和使用&#xff0c;采购结算&#xff0c;降低总体采购成本&#xff1b; 整合企业的采…

能吹是多么的重要

联合利华引进了一条香皂包装生产线&#xff0c;结果发现这条生产线有个缺陷&#xff1a;常常会有盒子里没装入香皂。总不能把空盒子卖给顾客啊&#xff0c;他们只得请了一个学自动化的博士后设计一个方案来分拣空的香皂盒。博士后拉起了一个十几人的科研攻关小组&#xff0c;综…

深入理解Linux守护进程

深入理解Linux守护进程Linux服务器在启动时需要启动很多系统服务&#xff0c;它们向本地和网络用户提供了Linux的系统功能接口&#xff0c;直接面向应用程序和用户。提供这些服务的程序是由运行在后台的守护进程&#xff08;daemons&#xff09;来执行的。守护进程是生存期长的…

【翻译】Ext JS 4——Ajax和Rest代理处理服务器端一场和消息的方法

原文&#xff1a;EXTJS4 - Handle Server-side exceptions and message from an Ajax or Rest proxy作者&#xff1a;Raja可能要处理的情况&#xff1a;success&#xff08;成功&#xff09;——Ext处理failure&#xff08;失败&#xff09;&#xff0c;由于通讯问题——Ext处理…

Apache下PHP Loaded Configuration File None 解决方法

解决方法可在apache配置文件中增加 PHPIniDir “The path to your php.ini”&#xff0c; 比如&#xff1a;PHPIniDir "/usr/local/php/etc/php.ini"重启apache。 确保PHPIniDir在loadModule php5_module之前 转载于:https://blog.51cto.com/zrer90/1421464

理解Lucene/Solr的缓存

缓存对于提高搜索引擎的吞吐量&#xff0c;降低CPU占用率极为重要。Lucene/Solr在这块做了很多的工作。Lucene/Solr中默认提供了5种缓存&#xff0c;同时solr还提供扩展缓存接口&#xff0c;允许开发者自定义缓存。1 缓存的基本原理Solr实现了两种策略的缓存&#xff1a;LRU(Le…

深入了解tcmalloc(一):windows环境下无缝拦截技术初探

2019独角兽企业重金招聘Python工程师标准>>> 概述&#xff1a; 又到了一个总结提炼的阶段&#xff0c;这次想具体聊聊游戏引擎中使用的内存管理模块tcmalloc组件的使用心得。项目的前期曾经遇到过内存瓶颈&#xff0c;特别是windows系统下的客户端程序在经历长时间运…

删除数据库日志文件的方法

原文:删除数据库日志文件的方法你曾经有在执行SQL的时候&#xff0c;数据库报事务日志已满&#xff0c;然后执行报错。然后纠结于怎么删除数据库日志&#xff0c;捣鼓半天吗&#xff0c;现在就提供两种删除日志文件的方法&#xff0c;希望能够帮到你&#xff01; 阅读目录 方法…

数据结构课程设计

20. 公交线路上优化路径的查询 问题描写叙述 最短路径问题是图论中的一个经典问题&#xff0c;当中的Dijkstra算法一直被觉得是图论中的好算法&#xff0c;但有的时候须要适当的调整Dijkstra算法才干完毕多种不同的优化路径的查询。 对于某城市的公交线路&#xff0c;乘坐公…

Android屏幕大小适配问题解决

&#xfeff;一、一些基本概念 1、长度&#xff08;真实长度&#xff09;&#xff1a;英寸、inch 2、分辨率&#xff1a;density 每英寸像素数 dpi&#xff08;密度&#xff09; 3、像素&#xff1a;px 4、dip的公式&#xff1a;px /dipdpi/160 所以 dip 类似于英寸、长度&am…

开源 免费 java CMS - FreeCMS1.9 会员组管理

2019独角兽企业重金招聘Python工程师标准>>> 项目地址&#xff1a;http://www.freeteam.cn/ 会员组管理 会员组分为两种&#xff0c;一级是经验会员组&#xff0c;一种是特殊会员组。 经验会员组的会员会根据经验自动变更&#xff0c;特殊会员组不会自动变更&…

C++期末复习总结继承

继承是软件复用的一种形式&#xff0c;他是在现有类的基础上建立新类&#xff0c;新类继承了现有类的属性和方法&#xff0c;并且还拥有了其特有的属性和方法&#xff0c;继承的过程称为派生&#xff0c;新建的类称为派生类&#xff08;子类&#xff09;&#xff0c;原有的成为…

蓝桥杯历年预赛习题

标题&#xff1a;啤酒和饮料 啤酒每罐2.3元&#xff0c;饮料每罐1.9元。小明买了若干啤酒和饮料&#xff0c;一共花了82.3元。 我们还知道他买的啤酒比饮料的数量少&#xff0c;请你计算他买了几罐啤酒。 注意&#xff1a;答案是一个整数。请通过浏览器提交答案。 不要书…

产品经理,你来自江湖

2019独角兽企业重金招聘Python工程师标准>>> 产品经理&#xff0c;你来自江湖 ----论产品经理的发展中的技能与技能图书 导读&#xff1a; 过去的15年中&#xff0c;在互联网行业&#xff0c;我认为没有一个职位比产品经理对行业的推动更大&#xff0c;这些年里&…

小谈深度优先搜索

最近读了一本算法书&#xff0c;书中提到了深度优先算法&#xff0c;于是我就整理了一下。 引入小题&#xff1a; 解决方案&#xff1a;这里先使用最简单最常用的穷举法时行求解。&#xff08;此代码中的book数组起到了标记的作用&#xff0c;可以参考桶装法排序了解标记的好处…

vim学习(2)小幅提升

2019独角兽企业重金招聘Python工程师标准>>> 搜索&#xff1a; 忽略大小写&#xff1a; :set ignorecase :set noignorecase 在文本中查找下一个WORD: 把光标定位于这个word上&#xff0c;然后按下"*"键 /word "#"命令是&qu…

NetCore NW714 v2.0路由器TTL救砖

路由器成砖状态&#xff1a; 1.客户端无法获取IP地址 2.客户端设置IP地址后&#xff0c;无法PING通路由器IP地址。 3.路由器按reset按钮&#xff0c;无法重置路由器。 4.路由器的指示灯只有SYS和WPS亮&#xff0c;WPS微亮。 5.在路由器的LAN口和WLAN口插入网线&#xff0c;相应…

斐讯k1路由器刷Breed BootLoader(不死UBoot)

前段时间斐讯搞活动&#xff0c;我入手了一部139元的斐讯K1路由器&#xff0c;感觉硬件配置不错&#xff0c;于是就给K1路由器刷入了Breed启动程序。 路由器外观&#xff1a; 路由器内观&#xff1a; 硬件配置&#xff1a; CPU&#xff1a;MediaTek MT7620A ver 2,eco 6 内存…