Talk:Fundamental Property of Norm on Bounded Linear Transformation

From ProofWiki
Jump to navigation Jump to search

I think submultiplicativity would be $\norm {A B} \le \norm A \norm B$ (which does hold, and follows pretty directly from this result) instead. Not sure what to name this. Caliburn (talk) 19:40, 8 August 2021 (UTC)

Neither was I sure what to call this. The relation in the theorem is not submultiplicative. The relation is assumed to be so self evident from the definition of the Norm by most authors that it goes unnamed. The best that I can find is in Differential Calculus by Cartan, and it is labelled "fundamental relation". So maybe Fundamental Relation of Operator Norm or Fundamental Property of Operator Norm or some such is the best that can be done. --Leigh.Samphier (talk) 23:21, 8 August 2021 (UTC)
I'll pick fundamental property for now, feel free to change it. Caliburn (talk) 11:09, 9 August 2021 (UTC)