泛函分析第3章连续线性算子与连续线性泛函
- 格式:docx
- 大小:179.55 KB
- 文档页数:49
泛函分析中的连续与紧性泛函分析作为数学领域的一个重要分支,研究了函数空间中的连续性和紧性。
在此文中,我们将深入探讨泛函分析中连续与紧性的概念、性质和应用。
一、连续性连续性是泛函分析中最基本的性质之一。
在函数空间中,连续性的定义是基于距离的。
假设X是一个函数空间,d是X上的距离函数,若对于任意给定的ε>0,存在δ>0,使得对于所有的x,y∈X,当d(x,y)<δ时,有d(f(x),f(y))<ε,那么我们称函数f:X→Y在点x处连续。
在泛函分析中,我们常用的连续性概念有一致连续、局部有界和有界等。
一致连续是指对于给定的ε>0,存在δ>0,当d(x,y)<δ时,有d(f(x),f(y))<ε,对于任意的x,y∈X成立。
而局部有界是指任意点x∈X附近存在一个有界的子集,使得f在该子集上有界。
有界是指存在一个常数M,使得对于所有的x∈X,有d(f(x),0)<M成立。
在实际应用中,连续性为我们提供了判断函数空间中函数行为的重要工具,也为后续的紧性概念铺垫了基础。
二、紧性紧性是泛函分析中的另一个重要性质。
一个函数空间X被称为紧的,如果它对于区间和序列的紧致性有良好的性质。
下面我们分别介绍区间紧性和序列紧性。
1. 区间紧性设X是一个函数空间,如果对于任意的紧区间[a,b],函数空间X上的函数族F={fλ}λ∈Λ存在一个有限的子族S,使得S={fλ1,fλ2,...,fλn}覆盖了紧区间[a,b],即对于任意的x∈[a,b],存在fλi∈S,使得d(fλi(x),x)<ε成立,那么称函数空间X是区间紧的。
2. 序列紧性设X是一个函数空间,如果对于任意的序列{f_n}n∈N⊆X,在X上存在一个子序列{f_nk}k∈N,以及一个函数f∈X,使得对于任意的x∈X,有d(f_nk(x),f(x))→0成立,那么我们称函数空间X是序列紧的。
紧性在泛函分析中具有广泛的应用,特别是在函数空间进行极值问题的研究中,紧性的性质可以提供很多有用的判断和刻画。
数学中的泛函分析与算子理论泛函分析与算子理论是数学中的两个重要分支,它们在函数空间和线性算子的研究中起着至关重要的作用。
本文将就泛函分析和算子理论的概念、基本原理和应用进行探讨。
一、泛函分析泛函分析是研究函数空间的一门学科。
它涵盖了实分析、拓扑学、线性代数和函数论等多个领域。
泛函分析的基本概念是泛函和函数空间。
1. 泛函在数学中,泛函是将函数映射到数域的映射。
泛函可以看作是向量空间上的线性函数。
泛函的研究使我们能够描述函数的性质和行为,例如连续性、可微性以及极值等。
2. 函数空间函数空间是指由特定类型的函数构成的集合。
例如,Lp空间是由满足p次方可积条件的函数构成的空间。
函数空间的研究使我们能够研究函数的性质和空间结构,以及函数之间的距离和收敛性等。
泛函分析的应用广泛,包括但不限于微分方程、概率论、信号处理和量子力学等。
通过泛函分析的方法,我们可以研究函数的连续性、可微性以及函数空间中的完备性等性质。
二、算子理论算子理论是研究线性算子的性质和行为的学科。
线性算子是指将一个向量空间映射到另一个向量空间的线性映射。
算子理论的基本概念是线性算子、谱理论和算子代数等。
1. 线性算子线性算子是保持线性性质的映射。
在线性代数中,我们学习了线性方程组和矩阵运算,而线性算子是对线性方程组和矩阵运算的推广。
线性算子的研究使我们能够研究向量空间之间的映射及其性质。
2. 谱理论谱理论是研究算子特征值和特征向量的理论。
它在量子力学、振动力学和信号处理等领域中具有重要应用。
谱理论的研究使我们能够研究算子的谱结构、特征值的分布以及算子的稳定性等性质。
3. 算子代数算子代数是研究算子的代数结构和性质的学科。
它将线性算子和代数理论相结合,研究了线性算子的代数性质、结构以及它们之间的关系。
算子代数在量子力学和量子信息等领域中有广泛的应用。
总结:泛函分析和算子理论是数学中重要的研究领域。
泛函分析研究函数空间的性质和行为,而算子理论研究线性算子的性质和代数结构。
数学的泛函分析方法泛函分析是数学中的一个分支领域,它研究的是函数空间及其上的线性算子等数学结构。
在数学的各个领域中,泛函分析方法都得到了广泛的应用,包括数论、微分方程、偏微分方程、概率论等等。
本文将介绍数学的泛函分析方法及其在不同领域中的应用。
一、泛函分析的基本概念和原理泛函分析的基本概念包括函数空间、线性算子、内积、范数等。
函数空间是泛函分析的重要概念之一,它是一组具有一定性质的函数的集合。
常见的函数空间有无穷可微函数空间、有界函数空间、连续函数空间等。
线性算子则是函数之间的映射,它保持线性性质。
内积是一个函数空间上的二元运算,它满足线性性、对称性和正定性。
范数是函数空间上的一种度量,它衡量函数的大小和距离。
泛函分析的原理主要包括函数的连续性、可微性、积分等性质。
连续性是泛函分析的基本性质之一,它描述了函数在某一区间上的变化情况。
可微性是指函数在某一点附近存在导数,它描述了函数的变化速率。
积分是泛函分析中常用的计算工具,它描述了函数在某一区间上的总体情况。
二、泛函分析在数论中的应用泛函分析在数论中的应用主要体现在数论函数的性质研究、数论方程的解法等方面。
数论函数是研究整数性质的函数,如欧拉函数、狄利克雷级数等。
泛函分析方法可以用来研究这些数论函数的性质,如连续性、可微性等。
此外,泛函分析方法还可以用来解决一些数论方程,如椭圆曲线方程、费马方程等。
三、泛函分析在微分方程中的应用泛函分析在微分方程中的应用是非常广泛的,它主要体现在解析解的存在性和唯一性、解的稳定性等方面。
微分方程是描述变化的数学模型,而泛函分析方法可以用来证明微分方程的解的存在性和唯一性,以及解的稳定性。
此外,泛函分析方法还可以用来研究微分方程的数值解法,如有限元法、有限差分法等。
四、泛函分析在偏微分方程中的应用泛函分析在偏微分方程中的应用同样是非常广泛的,它主要体现在偏微分方程的解的存在性和唯一性、解的稳定性等方面。
偏微分方程是描述空间变化的数学模型,而泛函分析方法可以用来证明偏微分方程的解的存在性和唯一性,以及解的稳定性。
数学中的泛函分析与算子理论泛函分析是数学中的重要分支之一,它研究的是无限维度向量空间上的函数和算子的性质。
在泛函分析中,算子理论是一个关键的概念,它提供了一种描述和分析线性变换的方法。
本文将介绍泛函分析和算子理论的基本概念,以及它们在数学和其他领域中的应用。
一、泛函分析的基本概念泛函分析是对无限维度向量空间中的函数进行研究和描述的数学分支。
在泛函分析中,我们关注的是函数的性质和空间的结构。
泛函分析的基本概念包括范数、内积、完备性等。
1. 范数在泛函分析中,范数是衡量向量空间中元素大小的一种方法。
对于一个向量空间V,如果存在一个函数∥·∥:V→R,满足以下条件:1) 对于任意的向量x∈V,有∥x∥≥0,且当且仅当x=0时,∥x∥=0;2) 对于任意的标量α,以及向量x∈V,有∥αx∥=|α|∥x∥;3) 对于任意的向量x,y∈V,有∥x+y∥≤∥x∥+∥y∥。
那么我们称∥·∥为范数。
2. 内积内积是定义在向量空间中的一种运算,它衡量了两个向量之间的夹角和大小关系。
对于一个向量空间V,如果存在一个运算符<·, ·>:V×V→R,满足以下条件:1) 对于任意的向量x∈V,有< x,x >≥0,并且当且仅当x=0时,< x,x >=0;2) 对于任意的标量α,以及向量x,y∈V,有< αx,y > = α< x,y >;3) 对于任意的向量x,y,z∈V,有< x+y,z > = < x,z > + < y,z >。
那么我们称<·, ·>为内积。
3. 完备性在泛函分析中,完备性是指向量空间中的柯西序列(Cauchy sequence)在该空间中存在极限。
一个向量空间如果对于所有的柯西序列都存在极限,那么我们称该向量空间是完备的。
泛函分析知识总结与举例、应用学习泛函分析主要学习了五大主要内容:一、度量空间和赋范线性空间;二、有界线性算子和连续线性泛函;三、内积空间和希尔伯特空间;四、巴拿赫空间中的基本定理;五、线性算子的谱。
本文主要对前面两大内容进行总结、举例、应用。
一、 度量空间和赋范线性空间(一)度量空间度量空间在泛函分析中是最基本的概念,它是n 维欧氏空间n R (有限维空间)的推 广,所以学好它有助于后面知识的学习和理解。
1.度量定义:设X 是一个集合,若对于X 中任意两个元素x ,y,都有唯一确定的实数d(x,y)与之对应,而且这一对应关系满足下列条件:1°d(x,y)≥0 ,d(x,y)=0 ⇔ x=y (非负性)2°d(x,y)= d(y,x) (对称性)3°对∀z ,都有d(x,y)≤d(x,z)+d(z,y) (三点不等式)则称d(x,y)是x 、y 之间的度量或距离(matric 或distance ),称为(X,d)度量空间或距离空间(metric space )。
(这个定义是证明度量空间常用的方法)注意:⑴ 定义在X 中任意两个元素x ,y 确定的实数d(x,y),只要满足1°、2°、3°都称为度量。
这里“度量”这个名称已由现实生活中的意义引申到一般情况,它用来描述X 中两个事物接近的程度,而条件1°、2°、3°被认为是作为一个度量所必须满足的最本质的性质。
⑵ 度量空间中由集合X 和度量函数d 所组成,在同一个集合X 上若有两个不同的度量函数1d 和2d ,则我们认为(X, 1d )和(X, 2d )是两个不同的度量空间。
⑶ 集合X 不一定是数集,也不一定是代数结构。
为直观起见,今后称度量空间(X,d)中的元素为“点” ,例如若x X ∈,则称为“X 中的点” 。
⑷ 在称呼度量空间(X,d)时可以省略度量函数d ,而称“度量空间X ” 。
考研泛函分析知识点详解泛函分析是数学中重要的理论分支之一,广泛应用于各个领域,尤其在工程、物理学和计算机科学等领域具有重要的应用价值。
本文将详细介绍考研泛函分析的知识点,帮助考生更好地备战考试。
一、概述泛函分析是研究无穷维空间上的函数和它们之间的关系的数学理论。
它考察了函数的性质、收敛性、连续性等,并提供了一系列强有力的工具和方法来研究这些问题。
泛函分析在数学分析中扮演着重要的角色,也是许多其他学科的基础。
二、范数空间和内积空间范数空间是指带有范数的线性空间。
范数是对于向量的一种度量,它满足非负性、齐次性和三角不等式。
内积空间是指带有内积的线性空间。
内积是向量之间的一种度量方式,它满足对称性、线性性和正定性。
范数空间和内积空间是泛函分析中的基本概念,它们提供了函数空间的结构和性质。
三、巴拿赫空间巴拿赫空间是一种完备的范数空间,也就是说任何一个柯西序列都能在该空间中收敛。
巴拿赫空间常见的有Hilbert空间和Lp空间。
Hilbert空间是一个内积空间,并且是完备的。
Lp空间是一类以p阶可积函数为元素的空间,其中p是一个实数。
四、线性算子和泛函线性算子是指一个线性映射,它把一个向量空间映射到另一个向量空间。
泛函是一种对向量空间中的向量进行映射的函数。
线性算子和泛函是泛函分析中的重要研究对象,它们有着丰富的性质和应用。
五、连续性和紧性在泛函分析中,连续性是一个重要的性质。
一个线性算子或泛函如果是连续的,就意味着在某种度量下输入的小变动会导致输出的小变动。
紧性是一种强化的连续性,它表示函数空间中有一部分序列具有收敛的子序列。
连续性和紧性在泛函分析中有着广泛的应用。
六、谱理论谱理论是泛函分析中研究线性算子谱的一门学科。
谱是线性算子特征值的推广,用于描述线性算子的性质和行为。
谱分为点谱、连续谱和剩余谱等。
谱理论在泛函分析和偏微分方程等领域具有重要的意义。
七、弱收敛和弱*-收敛弱收敛也称为弱拓扑收敛,是泛函分析中一种弱形式的收敛性。
数学中的泛函分析理论泛函分析是数学中的一个重要分支,它研究的是无限维度的函数空间和线性算子的性质。
它为解决实际问题提供了有力的工具和思路。
在本文中,我将向您介绍数学中的泛函分析理论。
1. 引言泛函分析理论是20世纪20年代发展起来的,它融合了线性代数、实变函数论和拓扑学的方法和思想。
泛函分析的基本问题包括:函数空间的结构、连续线性算子的理论、泛函的极值等。
2. 函数空间函数空间是泛函分析的核心概念之一。
在数学中,函数可以看作是向量,而函数空间则是一个向量空间。
常见的函数空间有Lp空间、C^k空间、Sobolev空间等。
函数空间的结构和性质对于泛函分析理论的发展至关重要。
3. 线性算子线性算子是泛函分析理论的另一个重要内容。
线性算子是一个从一个向量空间到另一个向量空间的映射,它保持向量空间的线性结构。
常见的线性算子有微分算子、积分算子等。
线性算子的性质和行为对于函数空间的研究和应用具有重要意义。
4. 泛函的极值在泛函分析中,泛函是一种将函数映射到一个实数的函数。
泛函的极值问题是泛函分析中的一个重要课题。
通过研究泛函的极值,我们可以得到函数的一些重要性质和结论。
泛函的极值问题在最优控制、凸优化等领域有广泛的应用。
5. 连续性和弱收敛在泛函分析中,连续性和收敛性是两个重要的概念。
函数空间中的函数序列的收敛性可以分为强收敛和弱收敛两种情况。
连续性和收敛性是泛函分析中的基本性质,也是研究和应用泛函分析的重要工具。
6. 应用领域泛函分析理论在数学中具有广泛的应用。
它不仅在函数论、微分方程、数学物理等纯数学领域有着重要的地位,也在工程学科和应用科学中得到广泛应用。
泛函分析在信号处理、图像处理、优化、计算流体力学等领域具有重要的应用价值。
7. 结论泛函分析理论是数学中一个重要的分支,它研究的是无限维度的函数空间和线性算子的性质。
泛函分析的基本问题包括函数空间的结构、线性算子的理论、泛函的极值等。
泛函分析理论在数学和应用科学中有着广泛的应用。
第二章 线性算子与线性泛函第一节 有界线性算子一、线性算子本段中只需假设,,X Y Z 等是K 上的向量空间。
定义: 假设一个映射:T X Y →满足()(,,,)T x y Tx Tyx y X αβαβαβ+=+∈∈K ,则称T 为从X 到Y 的线性算子。
容易看出,上述等式可推广到更一般的情形:()i iiiiiT x Tx αα=∑∑。
命题2 设:T X Y →是一线性算子,则以下结论成立:〔1〕任给子空间A X ⊂与子空间B Y ⊂,TA 与1T B -分别为Y 与X 的子空间。
特别,(0)0T =与()R T TX =〔值域〕是Y 的子空间;1()(0)N T T -是X 的子空间〔称为T 的核或零空间〕。
〔2〕假设向量组{}i x X ⊂线性相关,则{}i Tx 亦线性相关;假设A 是X 的子空间且dim A <∞,则dim dim TA A <。
〔3〕T 是单射(){0}N T ⇔=。
说明:假设0()Tx Y x X ≡∈∈,则称T 为零算子,就记为0;假设(),Tx x x X αα≡∈∈K 为常数,则称T 为纯量算子〔或相似变换,假设0α≠〕,记作I α,当0α=与1时,I α分别是零算子和单位算子。
对线性算子可定义两种自然的运算:线性运算与乘法。
假设,:T S X Y →是线性算子,,αβ∈K ,则:T S X Y αβ+→是一个线性算子,它定义为()().(2.1.2)T S x Tx Sx x X αβαβ+=+∈假设:R Y Z →是另一个算子,则由()()().(2.1.3)RT x R Tx x X =∈定义出一个线性算子:RT X Z →,称它为R 与T 的乘积。
实际上,线性算子的乘积就是它们的复合。
容易原子能正验证,如上定义的运算有以下性质:11(),()();R T S RT RS R R T RT RT +=+⎧⎨+=+⎩分配律()();()Q RT QR T =结合律()()(),()RT R T R T αααα==∈K只要以上等式的一端有意义。
数学中的泛函分析认识泛函空间和算子理论数学中的泛函分析:认识泛函空间和算子理论泛函分析是数学中一门重要的学科,它是在函数空间上研究函数的性质、结构和变化的数学分支。
泛函分析的核心概念是泛函空间和算子理论。
本文将从泛函空间和算子理论两个方面来介绍和认识泛函分析的基本概念和原理。
一、泛函空间泛函空间是泛函分析的基石,它是一类函数的集合,其中每个函数都可以看作一个向量。
泛函空间一般由一组满足特定条件的函数构成,常见的泛函空间有无穷维希尔伯特空间、无穷维巴拿赫空间等。
1. 无穷维希尔伯特空间无穷维希尔伯特空间是泛函分析中最重要的空间之一。
它是由一组满足内积运算和完备性的函数构成的。
在无穷维希尔伯特空间中,可以定义向量的长度、夹角和正交性等概念,并且可以进行正交分解和变换等操作。
2. 无穷维巴拿赫空间无穷维巴拿赫空间是拓展了有限维空间的概念,具有完备性和线性结构。
在巴拿赫空间中,可以定义距离和收敛等概念,并且可以进行极限、连续和收敛等运算。
二、算子理论算子理论是泛函分析中的另一个重要组成部分,它是研究泛函空间中的映射关系和变换性质的数学工具。
算子理论主要涉及线性算子、算子的谱理论和算子的特征值等内容。
1. 线性算子线性算子是指将泛函空间中的一个向量映射到另一个向量的算子。
线性算子具有保持线性运算和平移不变性的特点,常见的线性算子有求导算子、积分算子和傅里叶变换算子等。
2. 算子的谱理论算子的谱理论是泛函分析中一个重要的分支,它研究了算子的特征值和特征向量的性质。
谱理论可以用来描述算子的稳定性、共振现象和波动等现象,对于很多物理和工程问题有着重要的应用价值。
三、应用领域泛函分析是数学中的一门基础学科,具有广泛的应用领域。
在物理学、工程学和经济学等领域中,泛函分析的方法和理论都有着重要的应用。
例如,在量子力学中,泛函分析可以用于描述波函数的演化和态空间的结构;在信号处理中,泛函分析可以用于傅里叶变换和滤波器设计等问题。
数学专业的泛函分析泛函分析是数学专业中的一门重要课程,它研究的是无穷维空间中的函数和算子。
本文将从概念、理论以及应用等方面对泛函分析进行介绍。
一、泛函分析的概念与基础理论1.1 范数空间与内积空间范数空间是指一个具有范数的线性空间,范数定义了空间中向量的长度或大小。
内积空间是指一个具有内积的线性空间,内积赋予了空间中向量之间的夹角和长度。
1.2 泛函的定义与性质泛函是将向量映射到实数或复数的函数,它是对线性空间上的向量进行研究的一种方法。
泛函有线性性、有界性等基本性质。
1.3 线性算子与连续性线性算子是将一个线性空间映射到另一个线性空间的线性映射。
连续性是线性算子的重要性质,涉及到收敛性和有界性的概念。
二、泛函分析的重要理论与方法2.1 凸分析与变分法凸分析是研究凸函数、凸集以及凸优化问题的分析方法。
变分法是泛函分析的重要应用领域,涉及到极值问题的研究。
2.2 傅立叶变换与解析函数傅立叶变换是一种将函数分解成正弦和余弦函数(或复指数函数)的方法,它在泛函分析中有广泛的应用。
解析函数是具有全纯性质的函数,具有重要的解析性质。
2.3 紧算子与算子的谱紧算子是泛函分析中的一种重要算子,它在有限维空间和无穷维空间中的性质存在差异。
算子的谱是研究线性算子特征值与特征向量的集合。
三、泛函分析的应用领域3.1 偏微分方程与泛函分析泛函分析在偏微分方程的理论研究以及数值计算中有重要应用,例如变分法可以用于求解偏微分方程的边值问题。
3.2 优化与控制理论泛函分析在优化与控制理论中有广泛应用,例如凸优化问题中的约束条件可以通过泛函的理论进行研究。
3.3 统计学与概率论泛函分析在统计学和概率论中的应用主要体现在随机变量空间的研究,例如概率分布的傅立叶变换等。
四、泛函分析的发展与挑战泛函分析作为数学专业中的重要学科,其发展也面临一些挑战。
例如,非线性泛函分析和无穷维空间的研究等问题,需要进一步深入和探索。
总结:泛函分析是数学专业中的重要课程,它研究的是无穷维空间中的函数和算子。
第3章连续线性算子与连续线性泛函本章将介绍赋范线性空间上,特别是Banach空间上的有界线性算子与有界线性泛函的基本理论,涉及到泛函分析的三大基本定理,即共鸣定理,逆算子定理及Hahn-Banach定理。
他们是泛函分析早期最光辉的成果,有广泛的实际背景, 尤其在各种物理系统研究中应用十分广泛。
3.1连续线性算子与有界线性算子在线性代数中,我们曾遇到过把一个”维向量空间E"映射到另一个加维向量空间E"的运算,就是借助于川行”列的矩阵对F中的向量起作用来达到的。
同样,在数学分析中,我们也遇到过一个函数变成另一个函数或者一个数的运算,即微分和积分的运算等。
把上述的所有运算抽象化后,我们就得到一般赋范线性空间中的算子概念。
撇开各类算子的具体属性,我们可以将它们分成两类:一类是线性算子;一类是非线性算子。
本章介绍有界线性算子的基本知识,非线性算子的有关知识留在第5章介绍。
[定义3・1]由赋范线性空间X中的某子集D到赋范线性空间丫中的映射T 称为算子,D称为算子了的定义域,记为D(r),为称像集{y|y = 7k,xeD(7')}为算子的值域,记作T(D)或77)。
若算子T满足:(1)T(x+y) = Tx+Ty e£)(T))(2)T(ax) = (/rx(V<zeF,xe£)(r))称了为线性算子。
对线性算子,我们自然要求T(D)是X的子空间。
特别地,如果了是由X到实数(复数)域F的映射时,那么称算子T为泛函。
例3.1设X是赋范线性空间,a是一给定的数,映射T.x^ax是X上的线性算子,称为相似算子;当a = l时,称了为单位算子或者恒等算子,记作/。
例3・2 XfxeC[a,b],定义Tx(t) =由积分的线性知,T是C[a,b]到C[a,列空间中的线性算子。
若令f (x) = [ x(T)dt(Vx e C[a,b])则/是C[a,b]上的线性泛函。
[定义3.2]设X, Y是两个赋范线性空间,门X t X是线性算子,称T在兀点连续的,是指若e X,x tl—>x,则7\ T7k(” ts);若丁在X上每一点都连续,则称了在X上连续;称T是有界的,是指T将X中的有界集映成Y中有界集。
[定理3・1]设X』是赋范线性空间,T是X的子空间D到丫中的线性算子, 若了在某一点x o e£)(r)连续,贝灯在D(T)±连续。
证明:对0xwD(T),设{x”}u£)(7'),且->x(n ->oo),于是-X + X o -->00),由假设T 在点连续,所以当"TS时,有T (兀一X+勺)=%” 一%+矶 T 矶因此,Tx.—Tx,即了在X点连续。
由X的任意性可知,7*在D(T)上连续。
定理3.1说明线性算子若在一点连续,可推出其在定义的空间上连续。
特别地,线性算子的连续性可山零元的连续性来刻画,即线性算子T连续等价于若(X中零元),则7\,T& (Y中零元)。
例3・3若T是/?维赋范线性空间X到赋范线性空间丫中的线性算子,则T在X上连续。
证明:在X中取一组基{知勺,…,£”},设兀“ =S E X (m= 1,2,3,…)j-i且x m—> 6(m—>s),即||x w| —>0(w —>oo),贝ij丄£(歼卜0 (〃+)从而—>0(j = 1,2,3,•••”)(〃? ts) o 于是IKII = |輕牝IS踽I側卽引T 0 (心。
0)因此,7兀T&(〃2TS),即丁在x = B处连续,进而T在X上每点连续。
[定理3・2]设X,Y是赋范线性空间,T是X的子空间D到Y中的线性映射,则T有界的充分必要条件是:存在常数M>0,使不等式成立,即证明:必要性。
因丁有界,所以丁将D中的闭单位球B1(^) = {x|||.v||<l}映成Y中的有界集,即像集厲(&)是Y中的有界集。
记M=sup{||7\||:"8](&)},此由M的定义有<M(3.1)B|J ||7x|| < M ||x||,而当x = &时,不等式(3.1)变成等式。
故VxeD(T)有充分性。
设A是D(T)的任一有界集,则存在常数冋使H<M,(VxeA)o 由||7x||<A/H(xeD(T))知故7X有界。
证毕。
[定理3.3]设X,Y是两个赋范线性空间,T是从X的子空间D到丫中的线性映射,则T是连续的充要条件是丁是有界的。
证明:充分性。
设T有界,则存在常数M>0 ,使对一切x e £)(7'),||7^|| < M ||x||,从而对x” ->s),{x&} u D(T)冇一珂=卩(兀一聊 < M ||兀 _兀|| T 0 (M T O0)即Tx n T 7x(/7 —>°o) o所以,T是连续的。
必要性。
若丁连续但T是无界的,那么对每个nN,必存在%wD(T), 使瓯||>"||兀||,令儿=;^訂,那么II儿卜+ —°3 —°°),即儿—&,由丁的连续性,7X T%7T S),但是另一方面,內」|=务>怕=1,引出矛盾,Z?||A;,||故T有界。
定理3.3说明,对于线性算子,连续性与有界性是两个等价概念,今后用L(X.Y)表示X到Y的有界线性算子组成的集合。
例3.1 ,例3.2的线性算子均易证明是有界线性算子,但无界线性算子是存在的。
例3.4考察定义在区间[0,1]上的连续可微函数全体,记作C* [0J],其中范数定义为H = inax|x(r)|,不难证明,微分算子扌是把C'[0,l]映入C[0,l]中的线性算子。
取函数列{sinw/},显然,卜inw/| = l,但因此,微分算子是无界的。
[定义3・3]设X,Y是赋范线性空间,丁是从X到丫的有界线性算子,对一切XWX ,满足||7:v||<M||x||的正数M的下确界,称为算子丁的范数,记作|卩||。
由定义可知,对一切*X,都有||7:V||<||7'||H O[定理3・4]设X,Y是赋范线性空间,丁是从X到丫的有界线性算子,则有证明:由||7x||<||T||||x||,易得根据卩||的定义,对于任给的£>0,存在非零x() e X ,使令力舒则有网巨PZ),因此由式(3.2)和式(3.3),便得令£—0得例3・5在l![a,b]上定义算子T 如下(〃)「)叮(巧訂S 问)(1)把T 视为d[a,b]到C[“]的算子,求p||; (2)把T 视为Il[a,b\到的算子,求|卩卜解:算子7的线性是显然的,下面分别求|卩卜(1) 设T : l![a,b]^C[a,b],任取/ eL*[a^b],由于7/eC[«,Z?],从而网卜喇(〃)⑴卜噩|"(M |故丁是有界的,并且llrll< 1 o 另一方面,取九(/)=_!_,/eg,可,并且b-a uii =£l -A (o^=£^^/r=i 于是 p|| = sup||Tr|| > ||T/… || =黒怂 J :士力=t 丄弘=1故阿T 。
(2) 设T : L! [a,b]^l![a,b],任取 / eL 1 [a,b],由于Tf & 11 [a.b],从而可:0>(側)心(j )M因此T 是有界的,并且|卩||“7;另一方面,对任何使得a + *<b 的自然数允,山定义易知。
1xe a,a + —n作函数f n(X) = <显然£丘厶[恥],且||£|| = [|九(/)M = 1,而MI=J:|J:£⑴平15d/+「[〃/dxJd+-n1 . 1 . 1=—+ b — a~— = b-a-—2n n 2n所以,乂有||T||>sup||7jf||=Z>-«因此,卩[|"一°。
此例告诉我们,虽然形式上是一样的算子,但由于视作不同空间的映射,他们的算子范数未必相同。
一般说来,求一个具体算子的范数并不容易,因此,在很多场合,只能对算子的范数作出估计。
例3・6 设K(s,f)在上连续,定义算子T: C[d,b]—>C[a,b]为7X(5)=|K则Tw2L(C[d,b],C[ab]),且||T|| < max J |^(5,r)dt:a<s<l^证明:由于Smax J* |K(s,/)k〃・max x(f)a<s<b Ja I \ 7|a<s<b ' 7=max j K(5,/)p/r:a<s< Z?J*||x||故结论成立。
事实上,还可以进一步证明||r|| = max < f :a<s< /?}由于证明要用到实分析知识,这里从略。
例3.7已知实矩阵A = (a IJ),定义T • RJ R”为7k = Ar ,则\ 7 /nxmr n m \2TwL(RSR“),且|卩卜工工砖。
k J— /1\ n ( m丫平证明:IM=11^11= Z X a u x ji \ y-1 丿「/ V 、胡s E TA 2>;_ \ >-i 八丿/_n in \i=EE«<? -HI\ z j-i 7'n m X2故卩卜EE-JI $■] J-l >对于赋范线性空间X上的线性泛函f,我们总视/为X到数域F所成赋范线性空间的线性算子,因此,关于泛函的连续性,有界性以及它们之间的关系不再重述。
对于赋范线性空间X上的线性泛函/,由于/(x)eF(VxeX),所以ll/(^)ll=\f a)i,因而/的范数就是||/||=sup\f(x)|o•s*对于线性泛函,还有下面的连续性等价定理。
[定理3・5]设X是赋范线性空间,/是X上的线性泛函,则:(1)/是连续的充要条件是/的零空间N(f) = {x\f(x) = O,xeX}是X的闭子空间;(2)非零线性泛函/是不连续的充要条件是2(/)在X中稠密。
证明:(1 )必要性:设/是X上的线性泛函,又设{x”}uN(f),兀Tx(ms),由/的连续性可得/(x) = lim/(x n) = Oo 因此,JI «—►scxe/v(y),所以2(门是X的闭子空间。
充分性:设2(f)是闭集,如果/•不是有界线性泛函,则对每个自然数”,必有捡eX,卜讣=1,使得\f (xj|>«o闭集矛盾。