V を有限次元ベクトル空間()とする。その r 次元部分空間 W を取るとき となる V の (n - r) 次元部分空間 W ' が存在する(補空間)が、この取り方は一意ではない。そこで、W ' の取り方にどれだけの自由度があるか考察してみる。まず、W の基底を とし、これ…