定义
设 X X X 和 Y Y Y 是 赋范空间, T T T 是 X X X 的 子空间 D ( T ) \mathscr { D } ( T ) D(T) 到 Y Y Y 中的线性算子,称 X × Y X \times Y X×Y中的集合
G ( T ) = { ( x , y ) : x ∈ D ( T ) , y = T x } G ( T ) = \{ ( x , y ) : x \in \mathscr { D } ( T ) , y = T x \} G(T)={(x,y):x∈D(T),y=Tx}
为算子 T T T 的图像.在 X × Y X \times Y X×Y 中,定义 ∥ ( x , y ) ∥ = ∥ x ∥ + ∥ y ∥ , \| ( x , y ) \| = \| x \| + \| y \| , ∥(x,y)∥=∥x∥+∥y∥, 易知 X × Y X \times Y X×Y 按 ∥ ( x , y ) ∥ \| ( x , y ) \| ∥(x,y)∥ 成为赋范线性空间.如果 G ( T ) G ( T ) G(T) 是 X × Y X \times Y X×Y 中的闭集,则称 T T T是闭算子
例
设 X = Y = C [ 0 , 1 ] , T = d d t , X = Y = C [ 0 , 1 ] , T = \frac { \mathrm { d } } { \mathrm { ~ d } t } , X=Y=C[0,1],T= dtd,则 T T T 是线性算子, D ( T ) \mathscr { D } ( T ) D(T) 为 C [ 0 , 1 ] C [ 0 , 1 ] C[0,1]
中一阶连续可微函数全体,记为 C 1 [ 0 , 1 ] , C ^ { 1 } [ 0 , 1 ] , C1[0,