我们最感兴趣的是使(3)式对一切 x ∈ D ( T ) x \in \mathscr { D } ( T ) x∈D(T)成立的"最小"的数 c , c , c, 为此引入下面的基本概念。
定义3
T
T
T 为赋范线性空间
X
X
X 的子空间
D
(
T
)
\mathscr { D } ( T )
D(T)到赋范线性空间
Y
Y
Y 中的线性算子,称
∥ T ∥ = sup x ∈ ( T ) ∥ T x ∥ ∥ x ∥ ( 4 ) \| T \| = \sup _ { x \in ( T ) } \frac { \| T x \| } { \| x \| } \quad\quad(4) ∥T∥=x∈(T)sup∥x∥∥Tx∥(4)
为算子 T T T 在 D ( T ) \mathscr { D } ( T ) D(T) 上的范数。
显然若 T T T 是 D ( T ) \mathscr { D } ( T ) D(T) 上有界线性算子,则 ∥ T ∥ \| T \| ∥T∥是一有限数,反之,当 ∥ T ∥ < ∞ \| T \| < \infty ∥T∥<∞ 时,由 T T T 的线性性,则有
∥ T x ∥ ⩽ ∥ T ∥ ∥ x ∥ , x ∈ D ( T ) . ( 5 ) \| T x \| \leqslant \| T \| \| x \| , x \in \mathscr { D } ( T ) .\quad\quad(5) ∥Tx∥⩽∥T∥∥x∥,x∈D(T).(5)