有界线性算子
泛函分析中一种重要的算子。
算子(映射)有线性和非线性之分.线性算子又分为有界和无界两类,有界线性算子是线性赋范空问的基本概念。
基本信息
- 中文名
有界线性算子
- 外文名
bounded linear operator
- 所属领域
数理科学
- 反义词
无界线性算子
基本定义
①设
是从线性赋范空间
到
的线性算子。 如果
当存在且有限,则称
是有界线性算子,也就是说
将
中的每个有界集映射为
中的有界集。此处
|表示范数,
表示
中定义的范数,
表示
中定义的范数。
②设V1与V2是同一数域K上的赋范线性空间,D是V1的子空间,T:D→V2是一映射.如果T满足: 、
则称T是可加的.如果T满足:
则称T是齐次的.如果T既是可加的又是齐次的,则称T是一个线性算子,其中D称为T的定义域,记为D(T),即D(T)=D.如果T是线性算子且存在常数M>0使得
则称T为有界线性算子.特别地,当V2是数域K时,则称有界线性算子T为有界线性泛函.
举例
下面介绍几个简单例子.
例l1设V是赋范空问,定义
则I与θ都是V上(即V到V)的有界线性算子,分别称为恒等算子与零算子,零
算子θ常记为0(与数零用同一记号).
例2解析几何中的旋转变换:
是实二维空间R²上的有界线性算子,因为