小ネタ。$`V`$ をベクトル空間として、$`A, B`$ は $`V`$ の部分空間〈部分ベクトル空間〉だとします。そのとき、$`\quad A + B = V \Leftrightarrow A \oplus B \cong V`$という話をします。ここで、$`\oplus`$ はベクトル空間の直和です。$`+`$ は後で説明…