商空間とは何か~商集合から余談:グラスマン多様体まで~(テスト投稿をそろそろ済ませるよ。)
始めて2年以上が経過するのでそろそろテストとして何かしら投稿したくなった。というのも同僚が密かに技術的な備忘録としてブログを開設していることを知り、勉強した内容を簡単にまとめているのを見て触発されたからである。とりあえず何か話題がないかと考えたところ、ノートにまとめた商空間に関する話題があったのでここに投稿してみることとする。
概要
- ゴール:テスト投稿を済ませるよ。
- 内容:特に話題はないので商空間の話をするよ。
- 結論:商空間の話題に対する結論は、「商空間の元はふつうの空間のようには見えないが、ベクトル空間の構成だけは持っていて実に面白い」ということだよ。
- 所感:待ってブログ書くのめちゃめちゃ時間かかるししんどいよ。頻繁に更新してる人とか何なの?暇...聖人なの?(理論の話題メインで書くのやめよかな。。。)
参考
商空間とは
とりあえずWikipediaパイの説明。
線型代数学において商線型空間(しょうせんけいくうかん、英: quotient vector space)あるいは単に商空間 (quotient space) とは、ベクトル空間とその部分線型空間に対して、に属する全てのベクトルをに「潰して」得られるベクトル空間である。これを部分空間 によるの商空間あるいはを法とするの商空間といい、で表す。
なるほどわかるようなわからないようなわからない。 そもそも「商」がよくわからない(爆)。
商集合
商空間の話に入る前に、商集合について言及する1。 まず、自然数をで割ったあまりをmod演算で表すとと書く。 例えば、、、、、、なんかがある。 この時、あまりが等しい数の集合、例えばは同値であると言い、これらを同値類と言う。 また、を3で割ったときのあまりはすべてであることから、を代表元と言い、と書く。 を3で割ったあまりは、のいずれかであるため、この時の代表元は,,の3つであることがわかる。 これら代表元を要素とする集合を商集合と呼ぶ。 要するに、商集合はある集合を代表元で類別した集合ということになる。
一方で、上記の集合は「自然数のによる商集合」とも言う。 これを、またはと書く。 ここで、は同値関係と呼ばれる関係を表しており、上記の例ではが同値関係を表している。 同値類は同値関係で結びついていて、と書くことができる。 途中で、「商集合はある集合を代表元で類別した集合」といったが、「商集合はある集合を同値関係で類別した集合」とも言える。
商空間
とうことでそろそろ本題の商空間の話をしたい。 商空間というのは、ざっくり言うと商集合の概念を空間に広げたものである。
商集合まではその要素間の関係は特に考慮していなかった。 例えば、,,の3要素はお互いに特に関係がない。 商空間は、その要素間の関係が記述できる。 具体的には商空間はベクトル空間の性質をそのまま持っている。
(執筆途中)
余談:グラスマン多様体
ところで皆様はグラスマン多様体というのもをご存知ですか? 私は知りませんよ。あなたが知ってるんです、Wikipedia先輩。
In mathematics, the Grassmannian is a space which parametrizes all -dimensional linear subspaces of the -dimensional vector space .
要するに、グラスマン多様体は次元ベクトル空間内に存在する次元の部分空間すべての集合(空間)として定義されています。 ちなみに次元数を明確にしてとしても良いです。
ここで注目すべきは上の1点が部分空間であるということです。 これはまさに商空間の概念です。 は、に属する全てのベクトルをにつぶして得られる空間でした。 この時、はの代表元(ベクトル)であり、すなわち部分空間が1点になったということを表しています。 はこの1点に限らず、内の考えうる全ての部分空間を点として表して構成される空間です。 グラスマン多様体は商多様体とも呼ばれており、高次の概念であることが分かります。
このグラスマン多様体は数学的に研究されているだけではなく、工学分野へも応用されています。
私が知ってる代表的なものは機械学習、特に分類タスクを解くような識別技術への応用です。
グラスマン多様体は非線形な空間であるため、単純に線形分離できないような複雑な識別境界を持つような他クラス分類問題を高精度に解くことができることで知られています。
個人的には、この技術がデータを部分空間とする場合に適しており、ベクトルをデータとする通常の機械学習技術とは随分毛色が異なるという点でとても興味深いです。
このような技術についてはまたいつか記事を書きたいと思います。
-
なぜなら商空間は商集合に空間の概念を導入したものだからね。↩