# How to prove O is compact in M?

The set of $k\times n$ matrices can by identified in the obvious way with $\mathbb{R}^{nk}$, and can be given the standard metric topology. Heine-Borel applies in this setting, too. Bounded is easy here, and for closed, here's a hint: is the map $A\mapsto AA^T$ continuous?