Operator Norm
definitionAnalysisLinear Algebradef:operator-norm-2026aLet be a \reftext{def:vector-space-2026a}{complex vector space} equipped with a \reftext{def:complex-normed-space-2026a}{norm} , let be a \reftext{def:bounded-linear-operator-2026a}{bounded linear operator} on , and let be a \reftext{def:real-numbers-c54-2026c}{real number}.
The number is \textbf{an operator norm} of if is a \reftext{def:bounded-linear-operator-2026a}{bound} for and
the order being that of the \reftext{def:ordered-field-c54-2026b}{ordered field} of real numbers.
Loading…
Prerequisites
No prerequisites tracked.
Dependents
No dependents yet.
Dependent proofs
No dependent proofs yet.
No relations recorded yet.