Equivalence of Definitions of Norm of Linear Transformation/Definition 4 Greater or Equal Definition 2
Jump to navigation
Jump to search
Theorem
Let $\HH, \KK$ be Hilbert spaces.
Let $A: \HH \to \KK$ be a bounded linear transformation.
Let:
- $\lambda_2 = \sup \set {\dfrac {\norm {A h}_\KK} {\norm h_\HH}: h \in \HH, h \ne 0_\HH}$
and
- $\lambda_4 = \inf \set {c > 0: \forall h \in \HH: \norm {A h}_\KK \le c \norm h_\HH}$
Then:
- $\lambda_4 \ge \lambda_2$
Proof
From Norm on Bounded Linear Transformation is Finite:
- $\lambda_4 < \infty$
From Fundamental Property of Norm on Bounded Linear Transformation:
- $\forall h \in \HH : \norm{A h}_\KK \le \lambda_4 \norm h_\HH$
Hence:
- $\forall h \in H, h \ne 0_\HH : \dfrac {\norm{A h}_\KK} {\norm h_\HH} \le \lambda_4$
From Continuum Property:
- $\lambda_2 = \sup \set {\dfrac {\norm {A h}_\KK} {\norm h_\HH}: h \in \HH, h \ne 0_\HH}$ exists
By definition of the supremum:
- $\lambda_2 \le \lambda_4$
$\blacksquare$