概念(理论)---积分方程1:赋范线性空间,线性算子,有界线性算子和连续线性算子
理论
在赋范线性空间中,线性算子是有界线性算子的充要条件是它也是一个连续线性算子。
概念
小学我们是学已有运算的各种性质,大学就是通过以前学的性质来定义运算
线性空间,就是定义了加法(满足交换律,结合律,有零元和负元)和数乘(与实数做运算满足分配率和结合律)的空间
赋范线性空间,在线性空间的基础上如果我们定义范数(类似于绝对值,它满足满足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∥<ϵ\|Tx_1-Tx_2\|<\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∥<δ\|x_1-x_2\|<\delta∥x1−x2∥<δ的元素,都会再满足∥T(x1−x2)∥<ϵ\|T(x_1-x_2)\|<\epsilon∥T(x1−x2)∥<ϵ假设满足上述条件的TTT是无界算子的话,也就是对于任意的常数MMM,我们总存在x1,x2x_1,x_2x1,x2使得∥T(x1−x2)∥>M∥x1−x2∥\|T(x_1-x_2)\|>M\|x_1-x_2\|∥T(x1−x2)∥>M∥x1−x2∥由MMM的任意性,我们取M=ϵδM=\frac{\epsilon}{\delta}M=δϵ,则有∥T(x1−x2)∥>M∥x1−x2∥=ϵ\|T(x_1-x_2)\|>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∥>n∥xn∥\|Tx_n\|>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>Nn>Nn>N时,∥Tyn∥<ϵ\|Ty_n\|<\epsilon∥Tyn∥<ϵ。
但是,∥Tyn∥=∥Txnn∥xn∥∥=∥Txn∥n∥xn∥>1\|Ty_n\|=\|T\frac{x_n}{n\|x_n\|}\|=\frac{\|Tx_n\|}{n\|x_n\|}>1∥Tyn∥=∥Tn∥xn∥xn∥=n∥xn∥∥Txn∥>1却恒成立。所以,矛盾!
概念(理论)---积分方程1:赋范线性空间,线性算子,有界线性算子和连续线性算子相关推荐
- 泛函分析——赋范线性空间定义的概念
赋范线性空间定义的概念 开集: A subset SSS of a normed linear space (X,∥⋅∥)(X,\|\cdot\|)(X,∥⋅∥) is open if for eac ...
- 赋范线性空间上的有界线性算子
赋范线性空间上的有界线性算子 [1]为什么必须是"赋范"线性空间?没有范数行不行? 不行,因为有界是用范数定义的: ||Tx||≤c|||x|| 算子范数也是用范数定义的. [2] ...
- 【泛函分析】 3 赋范线性空间上的有界线性算子
1 有界线性算子 1.1 定义与性质 设X,Y是(统一数域上)赋范线性空间,为X的线性子空间, 线性算子(齐次可加): 有界算子:存在常数M,使得 几个等价命题: 1.T一致连续:2.T连续:3. ...
- 实变函数与泛函数分析学习笔记(二):赋范线性空间
导语:现代数学入门的钥匙就是实变函数与泛函数分析.数学,物理学,计算机学科,神经生物学相互交叉构成了AI的基础.深入研究AI,尤其是神经规则推理以及下一代AI技术,必须修炼好内功.非数学专业的学生,可 ...
- 范数(赋范线性空间、向量范数、矩阵范数)
赋范线性空间: 在线性空间中装配上范数就成了赋范线性空间,这和內积空间是不是套路一致. ---------------------------------------------------- 向量范 ...
- 什么是赋范线性空间、内积空间,度量空间,希尔伯特空间
作者:qang pan 链接:https://www.zhihu.com/question/19967778/answer/28403912 现代数学的一个特点就是以集合为研究对象,这样的好处就是可以 ...
- 距离空间,线性空间,赋范线性空间,Banach空间,内积空间,Hilbert空间的内在关系
转自一个百度百科的回答,觉得很概括,学习一下. 原帖地址:http://zhidao.baidu.com/question/510246021.html 4.1 联系 如果在实数域或复数域上距离空间是 ...
- 线性空间,赋范线性空间,內积空间,Hilbert空间等
今天学习Hilbert空间,在知乎上查找了一些资料,知道了这几个空间的区别与联系.(仅做个人知识学习笔记) 贴上链接:https://www.zhihu.com/question/19967778/a ...
- UA SIE545 优化理论基础2 凸函数 概念 理论 总结
UA SIE545 优化理论基础2 凸函数 概念 理论 总结 凸函数的概念与简单性质 Convex function f:S→Rf:S \to \mathbb{R}f:S→R where SSS is ...
- 【数理知识】《矩阵论》方保镕老师-第4章-赋范线性空间与矩阵范数
上一章 回到目录 下一章 第4章-赋范线性空间与矩阵范数 4.1 赋范线性空间 4.1.1 向量的范数 4.1.2 向量范数的性质 4.2 矩阵的范数 4.2.1 矩阵范数的定义与性质 4.2.2 算 ...
最新文章
- OO实现ALV TABLE 一:最简单的ALV显示
- 计算机专业可以用台式机吗,Win10X电脑操作系统可以装在台式机吗?
- 万能钥匙也不能解开的wifi?那用Python帮你轻松解决
- 特斯拉标准续航版Model Y为什么下架?马斯克这么回答
- Java 找到并返回一组字符串中第一个不为空的字符串
- MySQL 5.5 到MySQL 5.6半同步复制(SSL)
- java反编译工具luyten、JD-GUI下载【非常详细】
- 视频教程-C++ 编写WebService服务实战-C/C++
- 【html】表格table与表单form
- ArchiSteamFarm(ASF优秀的Steam挂卡工具) V4.0.3.3绿色版
- html设置字体为小型大写字母,css – 启用小型大写字母
- 全球及中国仿制药产业未来发展走势及营销产量规模预测报告2021-2027年
- Ubuntu/Debain下安装微信、QQ等Windows应用(最简便方法)
- html,css,js,简单的网页留言板
- 完整版卸载SQL Server2019
- nacos界面定制化
- 得吃货者得天下,美食内容IP如何征服大众的胃与心?
- 一起来看流星雨剧情简介/剧情介绍/剧情分集介绍第二十集
- 前端工作总结199-对ref的理解
- 基于RK3308的ROS运行环境搭建和交叉编译