理论

在赋范线性空间中,线性算子是有界线性算子的充要条件是它也是一个连续线性算子。

概念

小学我们是学已有运算的各种性质,大学就是通过以前学的性质来定义运算

线性空间,就是定义了加法(满足交换律,结合律,有零元和负元)和数乘(与实数做运算满足分配率和结合律)的空间
赋范线性空间,在线性空间的基础上如果我们定义范数(类似于绝对值,它满足满足0元范数为0,对数乘线性,满足三角不等式),那么这个空间我们成为赋范线性空间
算子,定义于Ω∈X\Omega \in XΩ∈X而取值于YYY的映射
线性算子,如果一个算子TTT,满足
αTx1+βTx2=(αx1+βx2)T\alpha Tx_1+\beta Tx_2=(\alpha x_1+\beta x_2)TαTx1​+βTx2​=(αx1​+βx2​)T那么就称该算子为线性算子
有界线性算子,就是存在MMM满足对于任何的xxx都有,∥Tx∥y≤M∥x∥x\|Tx\|_y \leq M\|x\|_x∥Tx∥y​≤M∥x∥x​则TTT就是一个有界线性算子

注意到,不是说∥TX∥\|TX\|∥TX∥是有界的,而是说,∥Tx∥y∥x∥x\frac{\|Tx\|_y}{\|x\|_x}∥x∥x​∥Tx∥y​​是有界的

连续线性算子,简单来说,对于任意的一个ϵ\epsilonϵ,总存在一个δ\deltaδ,当x1x_1x1​和x2x_2x2​的距离小于δ\deltaδ的时候,∥Tx1−Tx2∥&lt;ϵ\|Tx_1-Tx_2\|&lt;\epsilon∥Tx1​−Tx2​∥<ϵ

证明

在赋范线性空间中,线性算子是有界线性算子的充要条件是它也是一个连续线性算子。
⇒\Rightarrow⇒
已知TTT是一个有界算子,那么对于Ω\OmegaΩ中的任意两个元素x1,x2x_1,x_2x1​,x2​,总存在MMM(并且这个MMM是不依赖x1,x2x_1,x_2x1​,x2​的取值的,是一个有界常数)使得∥T(x1−x2)∥y≤M∥x1−x2∥x\|T(x_1-x_2)\|_y\leq M\|x_1-x_2\|_x∥T(x1​−x2​)∥y​≤M∥x1​−x2​∥x​由x1,x2x_1,x_2x1​,x2​的任意性,他们可以任意的接近或者遥远;那么我们这里给他们一个限制,就是对于任意的δ\deltaδ,∥x1−x2∥≤δ\|x_1-x_2\|\leq \delta∥x1​−x2​∥≤δ,我们都有上式成立。就算我们取δ\deltaδ为ϵM\frac{\epsilon}{M}Mϵ​(其中ϵ\epsilonϵ也是任意的),上式也成立。也就是说∥T(x1−x2)∥y≤M∥x1−x2∥x≤MϵM=ϵ\|T(x_1-x_2)\|_y\leq M\|x_1-x_2\|_x\leq M \frac{\epsilon}{M}=\epsilon∥T(x1​−x2​)∥y​≤M∥x1​−x2​∥x​≤MMϵ​=ϵ这就是连续性的定义了。

我们利用了“任意”这个概念,通过将任意的元素捏成我们想要的样子来构造证明。也就是利用了从任意到存在的思想。

⇐\Leftarrow⇐
一种错误的证明方法

已知TTT一个连续算子。即对于任意ϵ\epsilonϵ,我们都有一个距离参数δ\deltaδ,这个距离参数使得任意满足∥x1−x2∥&lt;δ\|x_1-x_2\|&lt;\delta∥x1​−x2​∥<δ的元素,都会再满足∥T(x1−x2)∥&lt;ϵ\|T(x_1-x_2)\|&lt;\epsilon∥T(x1​−x2​)∥<ϵ假设满足上述条件的TTT是无界算子的话,也就是对于任意的常数MMM,我们总存在x1,x2x_1,x_2x1​,x2​使得∥T(x1−x2)∥&gt;M∥x1−x2∥\|T(x_1-x_2)\|&gt;M\|x_1-x_2\|∥T(x1​−x2​)∥>M∥x1​−x2​∥由MMM的任意性,我们取M=ϵδM=\frac{\epsilon}{\delta}M=δϵ​,则有∥T(x1−x2)∥&gt;M∥x1−x2∥=ϵ\|T(x_1-x_2)\|&gt;M\|x_1-x_2\|=\epsilon∥T(x1​−x2​)∥>M∥x1​−x2​∥=ϵ、

原因

我们试图仿照之前的证明方式,但是这是不正确的,原因在于它的思路是固定了之前的ϵ\epsilonϵ和相应的δ(ϵ)\delta(\epsilon)δ(ϵ)(这个δ\deltaδ的取值其实是会和ϵ\epsilonϵ相关的),再这样的情况下,它定义了相关的M(ϵ,δ)M(\epsilon,\delta)M(ϵ,δ),然后再使用无界算子的定义,得到δ(M)\delta(M)δ(M)以及相应的x1和x2x_1和x_2x1​和x2​,这种证明方法是不正确的,因为它改变了δ\deltaδ的依赖关系。这种方式只有当δ\deltaδ是不依赖ϵ\epsilonϵ的取值的时候才正确(正如⇒\Rightarrow⇒时,MMM对x1,x2x_1,x_2x1​,x2​不依赖那样)

正确的做法
已知TTT是连续算子,我们要证它是一个有界算子。
假设满足上述条件的TTT是无界算子的话,也就是对于任意的常数nnn,我们总存在xnx_nxn​使得∥Txn∥&gt;n∥xn∥\|Tx_n\|&gt;n\|x_n\|∥Txn​∥>n∥xn​∥设Ω\OmegaΩ中的元素为{xi∣i=1,...,∞}\{x_i |i=1,...,\infty\}{xi​∣i=1,...,∞},我们再定义Ω\OmegaΩ中的另外一系列元素为{yn=xnn⋅∥xn∥∣n=1,...,∞}\{y_n=\frac{x_n}{n\cdot\|x_n\|}|n=1,...,\infty \}{yn​=n⋅∥xn​∥xn​​∣n=1,...,∞},不难看出∥yn∥=1n\|y_n\|=\frac{1}{n}∥yn​∥=n1​,也就是说,当nnn取值越来越大时,yny_nyn​就会越来越小,而连续性的定义可以告诉我们,如果TTT是连续的,它对一个非常小的元素作用对应的实数也应该非常小。在这里的话,也就是对于任意的ϵ\epsilonϵ,有NNN使得当n&gt;Nn&gt;Nn>N时,∥Tyn∥&lt;ϵ\|Ty_n\|&lt;\epsilon∥Tyn​∥<ϵ。
但是,∥Tyn∥=∥Txnn∥xn∥∥=∥Txn∥n∥xn∥&gt;1\|Ty_n\|=\|T\frac{x_n}{n\|x_n\|}\|=\frac{\|Tx_n\|}{n\|x_n\|}&gt;1∥Tyn​∥=∥Tn∥xn​∥xn​​∥=n∥xn​∥∥Txn​∥​>1却恒成立。所以,矛盾!

概念(理论)---积分方程1:赋范线性空间,线性算子,有界线性算子和连续线性算子相关推荐

  1. 泛函分析——赋范线性空间定义的概念

    赋范线性空间定义的概念 开集: A subset SSS of a normed linear space (X,∥⋅∥)(X,\|\cdot\|)(X,∥⋅∥) is open if for eac ...

  2. 赋范线性空间上的有界线性算子

    赋范线性空间上的有界线性算子 [1]为什么必须是"赋范"线性空间?没有范数行不行? 不行,因为有界是用范数定义的: ||Tx||≤c|||x|| 算子范数也是用范数定义的. [2] ...

  3. 【泛函分析】 3 赋范线性空间上的有界线性算子

    1  有界线性算子 1.1  定义与性质 设X,Y是(统一数域上)赋范线性空间,为X的线性子空间, 线性算子(齐次可加): 有界算子:存在常数M,使得 几个等价命题: 1.T一致连续:2.T连续:3. ...

  4. 实变函数与泛函数分析学习笔记(二):赋范线性空间

    导语:现代数学入门的钥匙就是实变函数与泛函数分析.数学,物理学,计算机学科,神经生物学相互交叉构成了AI的基础.深入研究AI,尤其是神经规则推理以及下一代AI技术,必须修炼好内功.非数学专业的学生,可 ...

  5. 范数(赋范线性空间、向量范数、矩阵范数)

    赋范线性空间: 在线性空间中装配上范数就成了赋范线性空间,这和內积空间是不是套路一致. ---------------------------------------------------- 向量范 ...

  6. 什么是赋范线性空间、内积空间,度量空间,希尔伯特空间

    作者:qang pan 链接:https://www.zhihu.com/question/19967778/answer/28403912 现代数学的一个特点就是以集合为研究对象,这样的好处就是可以 ...

  7. 距离空间,线性空间,赋范线性空间,Banach空间,内积空间,Hilbert空间的内在关系

    转自一个百度百科的回答,觉得很概括,学习一下. 原帖地址:http://zhidao.baidu.com/question/510246021.html 4.1 联系 如果在实数域或复数域上距离空间是 ...

  8. 线性空间,赋范线性空间,內积空间,Hilbert空间等

    今天学习Hilbert空间,在知乎上查找了一些资料,知道了这几个空间的区别与联系.(仅做个人知识学习笔记) 贴上链接:https://www.zhihu.com/question/19967778/a ...

  9. UA SIE545 优化理论基础2 凸函数 概念 理论 总结

    UA SIE545 优化理论基础2 凸函数 概念 理论 总结 凸函数的概念与简单性质 Convex function f:S→Rf:S \to \mathbb{R}f:S→R where SSS is ...

  10. 【数理知识】《矩阵论》方保镕老师-第4章-赋范线性空间与矩阵范数

    上一章 回到目录 下一章 第4章-赋范线性空间与矩阵范数 4.1 赋范线性空间 4.1.1 向量的范数 4.1.2 向量范数的性质 4.2 矩阵的范数 4.2.1 矩阵范数的定义与性质 4.2.2 算 ...

最新文章

  1. OO实现ALV TABLE 一:最简单的ALV显示
  2. 计算机专业可以用台式机吗,Win10X电脑操作系统可以装在台式机吗?
  3. 万能钥匙也不能解开的wifi?那用Python帮你轻松解决
  4. 特斯拉标准续航版Model Y为什么下架?马斯克这么回答
  5. Java 找到并返回一组字符串中第一个不为空的字符串
  6. MySQL 5.5 到MySQL 5.6半同步复制(SSL)
  7. java反编译工具luyten、JD-GUI下载【非常详细】
  8. 视频教程-C++ 编写WebService服务实战-C/C++
  9. 【html】表格table与表单form
  10. ArchiSteamFarm(ASF优秀的Steam挂卡工具) V4.0.3.3绿色版
  11. html设置字体为小型大写字母,css – 启用小型大写字母
  12. 全球及中国仿制药产业未来发展走势及营销产量规模预测报告2021-2027年
  13. Ubuntu/Debain下安装微信、QQ等Windows应用(最简便方法)
  14. html,css,js,简单的网页留言板
  15. 完整版卸载SQL Server2019
  16. nacos界面定制化
  17. 得吃货者得天下,美食内容IP如何征服大众的胃与心?
  18. 一起来看流星雨剧情简介/剧情介绍/剧情分集介绍第二十集
  19. 前端工作总结199-对ref的理解
  20. 基于RK3308的ROS运行环境搭建和交叉编译

热门文章

  1. 传智黑马java基础学习——day13(static、final、匿名对象、内部类、包、修饰符、代码块)
  2. 光学软件国产化项目开发心得
  3. 5G协议栈用户面模块
  4. 学习笔记(02):10小时掌握区块链开发教程-2小时构建以太坊智能合约-1
  5. 线性分类器——Fisher线性判别
  6. Oracle 执行计划篇
  7. TCP协议-TCP粘包问题
  8. 自然数简化到素数:黎曼猜想RiemannHypothesis及其解释(公号回复“黎曼猜想”下载PDF经典收藏版彩标资料)
  9. 什么是集合?数组与集合的区别
  10. 在浏览器中播放m3u8