L\in L(\mathbb R^n, \mathbb R^k), ||L||:=inf\{ M\in \mathbb R_{+,0} : ||Lx||\le M||x||, \forall x\in \mathbb R^n\}