第三章 线性算子与线性泛函
线性泛函数知识点总结

线性泛函数知识点总结一、线性泛函数的基本概念1.1 线性泛函数的定义线性泛函数是指一个将向量空间中的向量映射到另一个向量空间中的函数,且满足线性性质。
设V和W是两个向量空间,如果一个函数T:V→W满足以下两个条件:1) 对于任意的向量x,y∈V,有T(x+y)=T(x)+T(y);2) 对于任意的向量x∈V和标量a,有T(ax)=aT(x);则函数T被称为V到W的线性泛函数。
1.2 线性泛函数的例子下面我们举几个线性泛函数的例子,以便更好地理解这个概念。
例1:设V是实数域上的n维向量空间,W是实数域上的m维向量空间,定义一个函数T:V→W,使得对于任意的向量x=(x1,x2,...,xn)∈V,有T(x)=(x1^2,x2^2,...,xn^2)∈W。
显然,函数T满足线性性质,因此它是一个线性泛函数。
例2:设V是实数域上的3维向量空间,W是实数域上的2维向量空间,定义一个函数T:V→W,使得对于任意的向量x=(x1,x2,x3)∈V,有T(x)=(x1+x2,x2+x3)∈W。
同样地,函数T也满足线性性质,因此它也是一个线性泛函数。
1.3 线性泛函数的表示线性泛函数可以用矩阵来表示。
设V和W分别是n维和m维向量空间,选择它们的一组基{e1,e2,...,en}和{f1,f2,...,fm},则对于任意的向量x=(x1,x2,...,xn)∈V,有其在基{e1,e2,...,en}下的表达式为x=x1e1+x2e2+...+xnen,而对于任意的向量y=(y1,y2,...,ym)∈W,有其在基{f1,f2,...,fm}下的表达式为y=y1f1+y2f2+...+ymfm。
定义一个线性泛函数T:V→W,使得对于任意的向量x∈V,有T(x)=y∈W,则T的矩阵表示为一个m×n的矩阵A,其中A的第i列为T(ei)在基{f1,f2,...,fm}下的坐标表示,即A=[T(e1)|T(e2)|...|T(en)]。
第三章 有界线性算子空间(续)

定义代数运算: f f1 f 2 和 f f1 其含义是指对于 x H 和 C 都有:
f ( x) f1 ( x) f 2 ( x) f ( x) f1 ( x)
H * 构成线性空间。
定义内积:
( f , f ) (, )*
xA x 1
由于 L sup
xA x 0
Lx x
Lx x
L
x1
x
对于 0 必 x1 A 使
Lx1 x1
x x1 L
L
改写成 L 令 x2
x1 x1
即总 x2 A ,且 x2 1使 Lx2 L
4.1 线性泛函的概念 线性泛函是线性赋范空间 A 到复数域 C 的映射,且对 x, y A 及
, K ,有
f ( x y) f ( x) f ( y)
线性泛函的性质: ①连续性:一定连续 处处连续 ②有界性:有界 连续 有界是指 x A ,有 | f ( x) | K x 对于数域,范数用| |代替。
L( x) L1 x L2 ( x) L1 ( x) L2 ( x) K1 x K 2 x K x
其中 K K1 K2 还可证明满足加法的 a、b、c、d 四条。 对于加法中的 0 元素的解释:
x A y B
L 0 是指对于 x A ,都有 Lx 0
x 0
sup Lx
xA x 1
L 的完备性定理: L 完备的充分条件是 A 完备。
定理是说:A 完备, L 一定完备。但 A 不完备, L 可能完备也可 能不完备。 证明略。
任勇课件第03章-泛函分析初步

x t |
b
a
x t dt 不是 Banach 空间,因为存在[a ,b]
p
上的函数 x(t),其 p 次方[R]不可积。 例 3: Lp a, b 是 Banach 空间,即对于 x t C a, b ,均满足其 p 次方 [L]可积。 换言之, Lp a, b 是在 a, b 上 p 次方[L]可积(即 L p 存在)的连续函 数全体,是完备的赋范线性空间,Banach 空间。
W , 是度量空间,可以取 ,
即 , , ,亦即:
0, , 1,
则有 , 1, ;但 , 1。
W , W, ,不满足范数第(ii)条公理。
X xn n 1
p i
x
i 1
,1 p 。
p
n 1
证明: X l p ,因为 xn 所以, N ,使得当 n>N 时,恒有: xn 1
n N
因而, xn xn
nN
q
p
, q p , X l q
1 1 Holder 不等式:若 f x Lp [a, b],g x Lq [a, b], 1 ,则 p q
f x g x dx f x
b a a
b
p
dx
q
1 p
b
a
g x dx
q
1 q
(3-13)
f x
§3.4 巴拿赫(Banach)空间 1. 赋范线性空间: 定义(赋范线性空间) :设 W 是线性空间,若对 , W , 满 足三条公理: ⅰ) 0 ,且 0 = 0 (正定性) ⅱ) , C ⅲ) + (正齐性) (三角不等式)
线性泛函分析

线性泛函分析泛函分析的主要工作在于对积分方程而不是对变分法提供一个抽象的理论. 变分法领域里所需泛函的性质是相当特殊的,对一般的泛函并不成立.此外,这些泛函的非线性造成了困难,而这种困难对于包含在积分方程中的泛函和算子则是无关紧要的.在Schmidt ,Fischer ,Riesz 为积分方程解的理论作具体推广时,他们和其他一些人也同时开始了相应的抽象理论的研究.第一个试图建立线性泛函和算子的抽象理论的,是美国数学家E .H .Moore ,他从1906年开始这一工作. Moore 认识到,在有限多个未知数的线性方程的理论、无限多个未知数的无限多个线性方程的理论、以及线性积分方程的理论之间,有许多共同的地方.他因此着手建立一种称为“一般分析”(Generl Analysis)的抽象理论,它包含上述具体理论作为特殊情形.他用的是公理方法.我们将不叙述其细节,因为他的影响并不广,而且电没有获得很有效的方法.另外,他的符号语言很奇怪,使以后的人理解起来很困难.在建立线性泛函和算子的抽象理论的过程中,第一个有影响的步骤是由Erhard Sohmidt 和Frechet 在1907年采取的.Hilbert 在他的积分方程的工作中,曾经把一个函数看成是由它相应于某标准正交函数系的Fourier 系数给定的.这些系数以及在他的无穷多个变量的二次型理论中他所赋予这些x i 的值,都是使21n x ∑∞成为有限的序列{x n }.然而,Hilbort 并没有把这些序列看成空间中点的坐标,也没有用几何的语言,这一步是由Schmidt 和Frechet 采取的. 把每一个序列{x 。
}看成一个点,函数就被表现为无穷维空间的点.Sohmidt 不仅把实数而且把复数引入序列{x 0}中.这样的空间从此以后被称为Hilbort 空间.我们的叙述 按照Schmidt 的工作.Schmidt 的函数空间的元素是复数的无穷序列z ={z n },使得.21∞∑∞=<zp p Schmidt 引入记号;211⎭⎬⎫⎩⎨⎧∑∞=-p p p z z 来表示z ;z 后来就称为z 的范数(norm).按照Hilbert ,Sehmidt 用记号).,(,),(1-∞==∑z z z 所以z 表示z p p pωω(现在通用的记号是把)),(1p p p z 定义义z -∞=∑ωω.空间中两个元素z 和ω称为正交的,当且仅当.0,=⎪⎭⎫ ⎝⎛-ωz Schmidt ;接着证明了广义的Pythagoras 定理:如果z 1, z 2, …,z n 是空间的n 个两两正交的元素,则由∑==n p p z 1ω知 .212p n p z ∑==ω由此可推出n 个两两正交的元素是线性无关的.Schrnidt 在他的一般空间中还得到了Bessel 不等式:如果{z n }是标准正交元素的无穷序列,即ωδ而z z pq q p ,),(=-是任何一个元素,那末21,(-∞=∑p p z ω≤.2ω 此外,还证明了范数的Schwarz 不等式和三角不等式.元素序列{z n }称为强收敛于z ,如果z z n -趋向于0,而每个强Cauehy 序列,即每个使q p z z -趋于0 (当p ,q 趋于0时)的序列,可以证明都收敛于某一元素z ,从而序列空间是完备的.这是一条非常重要的性质.Schmidt 接着引进了(强)闭子空间的概念.他的空间H 的一个子集A 称为闭子空间,如果在刚才定义的收敛的意义下它是闭子集,并且是代数封闭的,后者意指,如果ω1与ω2是A 的元素,那末2211ωωa a +也是A 的元素,其中a 1,a 2是任何复数.可以证明这样的闭子空间是存在的,这只需取任何一个线性无关的元素列{z n },并取{z n }中元素的所有有限线性组合.全体这些元素的闭包就是一个代数封闭的子空间.现在,设A 是任一固定的闭子空间.Schmidt 首先证明,如果z 是空间的任一元素,则存在唯一的元素ω1和ω2,使得z =ω1+ω2,其中ω1属于A , ω2和A 正交,后者是指ω2和A 的每个元素正交(这个结果,今天称为投影定理;ω1就是z 在A 中的投影)进一步,,min 2z y -=ω 其中y 是A 的变动元素,而且极小值只在21.ωω时达到y =称为z 和A 之间的距离.在1907年,Schmidt 和Frechet 同时注意到,平方可和(Lebesgue 可积) 函数的空间有一种几何,完全类似于序列的Hilbert 空间. 这个类似性的阐明是在几个月之后,当时Riesz 运用在Lebesgue 平方可积函数与平方可和实数列之间建立一一对应的Riesz-Fischer'定理指出,在平方可和函数的集合L 2中能够定义一种距离,用它就能建立这个函数空间的一种几何. L 2中,定义在区间[a , b]上的任何两个平方可积函数之间的距离这个概念,事实上也是Frechet 定义的,他把它定义为(1) ⎰-b a dx x g x f ,)]()([2其中积分应理解为Lebesgue 意义下的;并且两个函数只在一个0测集上不同时就认为是相等的.距离的平方也称为这两个函数的平均平方偏差.f 和g 的内积定义为⎰=ba dx x g x f g f )()(),(. 使(f ,g) = 0的两个函数f 与g 称为是正交的.Schwarz 不等式 dx x g x f ba )()(⎰≤dx g dx fb a b a ⎰⎰22以及对平方可和序列空间成立的其他性质,都适用于函数空间.特别是,这类平方可和函数形成一个完备的空间.这样,平方可和函数的空间,同这些函数相应于某一固定的完备标准正交函数系的Fourier 系数所构成的平方可和序列的空间,可以认为是相同的.在提到抽象函数空间时,我们应重提一下Riesz 引入的空间L p (1<p<∞).这些空间对度量pb a p dx f f f f d 12121),(⎪⎭⎫ ⎝⎛-=⎰ 也是完备的.虽然我们很快就要考察抽象空间领域中的其他成就,但下一发展涉及泛函和算子.在刚才引述的对空间L 2的函数引进了距离的1907年的文章中,以及在同年的其他文章中, Frechet 证明了,对于定义在L 2的每一个连续线性泛函U(f),存在L 2中唯一的一个u(x),使得对L 2的每个f 都有⎰=ba dx x u x f f U .)()()( 这推广了Hadamard 1903年得到的一个结果.1909年Riesz 推广了这个结果,用Stieltjes 积分表示U(f),也就是⎰=ba x du x f f U ).()()(Riesz 自己还把这个结果推广到满足下面条件的线性泛函A:对L p 中所有的f)(f A ≤p ba p dx x f M /1)(⎥⎦⎤⎢⎣⎡⎰其中M 只依赖于A .这样,存在L q 中的一个函数a(x),在允许相差一个积分为0的函数的意义下是唯一的,使得对L p 中所有的f(2) ⎰=b a dx x f x a f U .)()()( 这个结果称为Riesz 表示定理。
泛函分析知识总结

泛函分析知识总结与举例、应用学习泛函分析主要学习了五大主要内容:一、度量空间和赋范线性空间;二、有界线性算子和连续线性泛函;三、内积空间和希尔伯特空间;四、巴拿赫空间中的基本定理;五、线性算子的谱。
本文主要对前面两大内容进行总结、举例、应用。
一、 度量空间和赋范线性空间(一)度量空间度量空间在泛函分析中是最基本的概念,它是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 ” 。
线性算子和线性泛函的最优反演理论

2016年 l2月
D ec.2016
应用教学 计算数学学报
Com munication on Applied M athem atics and Computation
第 30卷 第 4期
VOl_30 N o.4
DOI 10.3969/j.issn.1006—6330.2016.04.001
Optim al recovery of linear functionals and operators
Osipenko K Yu1,2,3
(1.Department of Higher Mathematics,Moscow Aviation Institute(National Research University),Moscow 121552,Russia;
.
m ethods. One of the first exam ple of optimal recovery problems is the problem of the best quadra.
数学的泛函分析方法

数学的泛函分析方法泛函分析是数学中的一个分支领域,它研究的是函数空间及其上的线性算子等数学结构。
在数学的各个领域中,泛函分析方法都得到了广泛的应用,包括数论、微分方程、偏微分方程、概率论等等。
本文将介绍数学的泛函分析方法及其在不同领域中的应用。
一、泛函分析的基本概念和原理泛函分析的基本概念包括函数空间、线性算子、内积、范数等。
函数空间是泛函分析的重要概念之一,它是一组具有一定性质的函数的集合。
常见的函数空间有无穷可微函数空间、有界函数空间、连续函数空间等。
线性算子则是函数之间的映射,它保持线性性质。
内积是一个函数空间上的二元运算,它满足线性性、对称性和正定性。
范数是函数空间上的一种度量,它衡量函数的大小和距离。
泛函分析的原理主要包括函数的连续性、可微性、积分等性质。
连续性是泛函分析的基本性质之一,它描述了函数在某一区间上的变化情况。
可微性是指函数在某一点附近存在导数,它描述了函数的变化速率。
积分是泛函分析中常用的计算工具,它描述了函数在某一区间上的总体情况。
二、泛函分析在数论中的应用泛函分析在数论中的应用主要体现在数论函数的性质研究、数论方程的解法等方面。
数论函数是研究整数性质的函数,如欧拉函数、狄利克雷级数等。
泛函分析方法可以用来研究这些数论函数的性质,如连续性、可微性等。
此外,泛函分析方法还可以用来解决一些数论方程,如椭圆曲线方程、费马方程等。
三、泛函分析在微分方程中的应用泛函分析在微分方程中的应用是非常广泛的,它主要体现在解析解的存在性和唯一性、解的稳定性等方面。
微分方程是描述变化的数学模型,而泛函分析方法可以用来证明微分方程的解的存在性和唯一性,以及解的稳定性。
此外,泛函分析方法还可以用来研究微分方程的数值解法,如有限元法、有限差分法等。
四、泛函分析在偏微分方程中的应用泛函分析在偏微分方程中的应用同样是非常广泛的,它主要体现在偏微分方程的解的存在性和唯一性、解的稳定性等方面。
偏微分方程是描述空间变化的数学模型,而泛函分析方法可以用来证明偏微分方程的解的存在性和唯一性,以及解的稳定性。
第三章 有界线性算子

第三章 有界线性算子一 有界线性算子与有界线性泛函 1 定义与例设1,X X 是赋范空间,T 是X 中线性子空间)(T D 上到1X 中的映射 ,满足条件:对于任意)(,T D y x ∈,K ∈α,)(Ty Tx Y x T +=+Tx x T αα=)(称T 是X 中到1X 中的线性算子。
称)(T D 是T 的定义域。
特别地,称赋范空间X 上到数域K 中的线性算子为线性泛函,并且它们是到实数域或复数域分别称为实线性泛函与复线性泛函。
如果一个线性泛函f 是有界的,即)( |||||)(|M x x M x f ∈≤称为f 有界线性泛函。
此外取算子范数作为空间中的范数。
定理1.1 设1,X X 是赋范空间,T 是X 上到1X 中的线性算子,如果T 在某一点X x ∈0连续,则T 是连续的。
定理1.2 设1,X X 是赋范空间,T 是X 上到1X 中的线性算子,则T 是连续的,当且仅当,T 是有界的。
2 有界线性算子空间设1,X X 是赋范空间,用),(1X X β表示所有X 上到1X 中的有界线性算子全体。
在),(1X X β中可以自然地定义线性运算,即对于任意∈B A ,),(1X X β及K ∈α,定义Bx Ax x B A +=+))((Ax x A αα=))((不难到,两个有界线性算子相加及数乘一个有界线性算子仍有界线性算子。
此个取算子范数作为空间),(1X X β的范数,具体见)(77P 。
由此可知,),(1X X β是一个赋范线性空间,如果1X X =,把),(1X X β简记为)(X β。
在空间),(1X X β中按范数收敛等价于算子列在X 中的单位球面上一致收敛。
事实上,设∈nA A ,),(1X X β,...)2,1(=n 及}1||:||{=∈=X X x S 。
如果)(∞→→n A A n ,则对任意0>ε,存在N ,当N n >时,对于每一个S x ∈≤-||||Ax x A n1||||sup =x ||||Ax x A n -=||||A A n-ε<。
- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
证 明 : 用 X 表 示 R上 以 2 为 周 期 的 连 续 函 数 全 体 , 赋 予
范 数 || x || m ax{| x(t) |; t }, 那 么 X 是 一 Banach空 间 。
对 每 个 x X , 其 F - 级 数 的 前 n + 1 项 的 部 分 和 记 为( S n x )(t )。
n
精品课件
共鸣定理的应用
• 1.机械求积公式的收敛性 • 2. Lagrange插值公式的发散性定理:差值
多项式作为连续函数的近似表达时,插值 点的无限增多不能更好的逼近插值函数。 • 3. Fourier级数的发散性问题:存在连续 的周期函数,其Fourier级数在给定点发散。
精品课件
1.机 械 求 积 公 式 的 收 敛 性
如果 fn 在X的每点x处有界, 那么 fn一品课件
定理2.设X,Y都是Banach空间,则B(X,Y)在强收敛意义下是
完备的。
定理3:设X是赋范线性空间,Y是Banach空间, {Tn}B(X,Y) 满足条件:(1){||Tn ||}是有界数列; (2)在X中的某一稠密子集G中的每个元素x,{Tn(x)}都收敛. 则{Tn}强收敛于某一个算子TB(X,Y),且||T||lim||T||.
第三章 线性算子与线性泛函
• 一致有界原理(共鸣定理)及其应用 • Hahn-Banach定理,非零有界线性算子存在
性定理 • 共轭空间与共轭算子 • 开映射、逆算子及闭图形定理 • 算子谱理论简介
精品课件
第一节 共鸣定理及其应用
• 定义:设A是距离空间X的子集,若A在X中的任意 一个非空开集中均不稠密(A没有内点),则称A 是稀疏(疏朗)集;称X是第一纲的,若X可表示成 至多可数的稀疏集的并;不是第一纲的X称为是第 二纲的。
在 函 数 x(t)在 [a,b] 上 积 分 近 似 计 算 中 , 我 们 通 常 考 虑 形 如 :
b x(t)dt
a
Ak x (tk )(a t0 t1 tn b )
0 k n
( 3)
需要讨论的是什么条件下,当n 时,上式的误差趋于0?
现 在 可 证 公 式 (3) 对 每 个 连 续 函 数 x C [a , b ]都 收 敛 , 即
• 例如:求元素的范数就是这种泛函 • 定理1.(Hahn-Banach):设p是实线性空间X
这 意 味 着 x0 (t )的 F -级 数 在 t 0点 是 发 散 的 。
精品课件
第二节 Hahn-Banach定理
• n维赋范线性空间上的线性泛函与n元数组一一对 应,有着具体的形式。
• 有限维赋范线性空间上的线性泛函和线性算子都 是连续的,那无穷维的情形呢,是否有非零的连 续线性泛函,如果有,是否足够多?
• 例子:X=有理数集,定义距离d(x,y)=|x-y|,则X 是第一纲的,每个单点集是X中的疏朗集。
• 定理1(Baire纲定理):完备的距离空间是第二纲 的。
• 推论1:欧式空间、Banach空间、Hilbert空间、有 界线性算子空间L(X,Y)都是第二纲的。
精品课件
第一节 共鸣定理及其应用
定理1.(Banach-Steinhaus定理):设X 是Banach空间,
Y 是 赋 范 线 性 空 间 , 算 子 族 {T; } B( X ,Y ) 满 足 :
sup || T x || , x X .那 么 sup || T || .
推 论1: 设 fn 是 Banach空 间 X 上 的 一 列 有 界 线 性 泛 函,
b
Ak x(tk )
x(t)dt
a
(n )
0 k n
当且仅当以下两个条件成立 :
( 3')
(i)存 在 常 数 M 0, 使 得 | Ak | M ; 0 k n
(ii)公 式 ( 3') 对 每 个 多 项 式 函 数 都 是 收 敛 的 。
精品课件
Fourier级数的发散性问题
• 法国科学家J.-B.-J.傅里叶由于当时工业上处理金属的需要,从事热 流动的研究。他在题为《热的解析理论》一文中,发展了热流动方程, 并指出了任意周期函数都可以用三角基来表示的想法。他的这种思想, 虽然缺乏严格的论证,但对近代数学以及物理、工程技术却都产生了 深远的影响,成为傅里叶分析的起源。
令 t 0,即 点 赋 值 泛 函(Sn x)(0)是 X R的 有 界 线 性 泛 函 ,
计
算
其
范
数
为
||
Sn
||
1
sin[(n 1 / 2)s]
|
| ds
2 sin(s / 2)
1
2 n 1 2
|
sin u
u
|
du
(n
).因 此
sup
n0
||
Sn
||
.
从 而 由 共 鸣 定 理 , 必 有 x0 X ,使 得 lim (Sn x)(0)不 存 在 ;
• 在积分变换中,F-变换是大家熟悉的,为让 符 号Σ与积分的交换,应当对F-级数(1)的收敛性加 以必要的限制,如一致收敛性。因为可能存在不一 致收敛的三角级数,而它确实表示一个函数 。
• 大量的事实让人们误以为:“ƒ的傅里叶级数一定 能收敛于 ƒ自身”
精品课件
3. 存 在 以 2 为 周 期 的 连 续 函 数 , 其 F-级 数 在 给 定 点 发 散 。
• 解决该问题的基本的想法之一:将我们熟悉的有 限维上的泛函进行推广、延拓。
• 这节是考虑的实赋范线性空间,对复的情形,类 似结论都是成立的,不在赘述
精品课件
• 设X是实线性空间,称X上泛函p是次可加正 齐次的,如果满足 (1)p(xy)p(x)p(y);
(2)p(ax)ap(x),(a0,x,yX).
本节主要涉及有界线性算子的收敛性和一致有界问题。
由我们以前的知识,一般来说,收敛序列都是有界的。
问题:设X是赋范线性空间,有界线性算子族Aα | α Γ B X,Y ,如果满足条件:x X,Aαx| α Γ是X中的 有界集.问Aα |α Γ是否为B X,Y 中的有界集?
精品课件
1927年 ,波 兰 数 学 家 Banac(h 巴 拿 赫 ) 和 Steinhaus(斯 帝豪斯)给出的共鸣定理(一致有界定理)回答了这个问题. 这个定理也是Banach空间理论的基石之一.