<aside> 🥇

$\|\cdot\|$是$\mathbb C^n$上的范数，$T\in\mathbb C_n^{m\times n}$，则$\|T\cdot\|$也是$\mathbb C^n$上的范数

$$ 0=\|T\bm x\|=\|\sum_ix_i\bm t_i\| $$

当且仅当$\bm x=0$使范数$\|\cdot\|=0$，对$\|T\cdot\|$因$\{\bm t_i\}_1^n$为无关组进而也成立。

</aside>