商ベクトル空間の準備

あるベクトル空間とその部分空間から構成される商ベクトル空間を定義します。

ここでは、商ベクトル空間を定義するための準備として、部分空間により定められる集合を定義するとともに、関連する定理を示します。

部分空間により定められる集合


定義 4.11(部分空間により定められる集合)

VV をベクトル空間、WWVV の部分空間とする。vV\bm{v} \in V に対して、v+W\bm{v} + W を次のように定義する。

v+W={v+wwW} \bm{v} + W = \{ \, \bm{v} + \bm{w} \mid \bm{w} \in W \, \}



端的にいえば、v+W\bm{v} + WVV の部分集合です。より詳しくは、VV の元 v\bm{v}VV の部分集合 WW により定められる VV の部分集合であるといえます。すなわち、v+W\bm{v} + W は、vV\bm{v} \in V と任意の wW\bm{w} \in W の和により表される v+wV\bm{v} + \bm{w} \in V の集合です。具体的に、特定の VV の元 v\bm{v} に対して、v+W={v+w1,v+w2,v+w3,}\bm{v} + W = \{ \, \bm{v} + \bm{w}_1, \, \bm{v} + \bm{w}_2, \, \bm{v} + \bm{w}_3, \, \cdots \, \} と考えると、v+W\bm{v} + W があくまで部分集合であることがイメージできます。もちろん、ここで w1,w2,w3,W\bm{w}_1, \bm{w}_2, \bm{w}_3, \cdots \in W であり、v+w1,v+w2,v+w3,V\bm{v} + \bm{w}_1, \, \bm{v} + \bm{w}_2, \, \bm{v} + \bm{w}_3, \, \cdots \in V となります。

またここで、和を表す記号 “++” の使い方が拡張されている点にも注意が必要です。上の定義において、 左辺と右辺で “++” の使い方(または解釈)が異なります。右辺にある v+w\bm{v} + \bm{w} の “++” は、これまで通り、ベクトルの和(すなわち、ベクトル空間の定義において導入した和)を表しています。一方で、左辺にある v+W\bm{v} + W の “++” はこれと異なります。v\bm{v} はベクトル(VV の元)であり、WWVV の部分空間ですので、v+W\bm{v} + W の “++” は、ベクトル空間の定義において導入した和を表す記号として用いられていません。この点を混同しないように注意する必要があります。v+W\bm{v} + W の “++” は、ベクトルの和の演算を示しているわけではなく、あくまで v\bm{v} と任意の wW\bm{w} \in W の和 v+wV\bm{v} + \bm{w} \in V の集合 v+W={v+wwW}\bm{v} + W = \{ \, \bm{v} + \bm{w} \mid \bm{w} \in W \, \} を表す記号として用いられていると理解すれば、無用な混乱を避けることができます。

あるベクトル空間の元とその部分空間により定義されるこのような部分集合は、代数学においては、剰余類(residue class\text{residue class})(この場合は、特に加群の剰余類)などに一般化されます。



定理 4.43(部分空間により定められる集合)

VV をベクトル空間として、WWVV の部分空間とする。x,yV\bm{x}, \bm{y} \in V に対して次の 22 つの条件は同値である。
11x+W=y+W\bm{x} + W = \bm{y} + W
22xyW\bm{x} - \bm{y} \in W



この定理は、上に定義した VV の部分集合 v+W\bm{v} + W が満たす基本的な性質を示すものです。これは、次項において、商ベクトル空間を well-defined\text{well-defined} に(矛盾なく)定義するために必要となります。



証明

vV\bm{v} \in V について、vx+W\bm{v} \in \bm{x} + W ならば v=x+w\bm{v} = \bm{x} + \bm{w} となるような wW\bm{w} \in W が存在する。いま、x+W=y+W\bm{x} + W = \bm{y} + W であるとすると、vx+W    vy+W\bm{v} \in \bm{x} + W \; \Rightarrow \; \bm{v} \in \bm{y} + W であるから、v=y+w\bm{v} = \bm{y} + \bm{w}^{\prime} となるような wW\bm{w}^{\prime} \in W が存在する。このとき、

v=x+w=y+w    xy=ww \bm{v} = \bm{x} + \bm{w} = \bm{y} + \bm{w}^{\prime} \; \Leftrightarrow \; \bm{x} - \bm{y} = \bm{w}^{\prime} - \bm{w}

であるから、xyW\bm{x} - \bm{y} \in W となる。逆に、xyW\bm{x} - \bm{y} \in W であるとすると、xy=wW\bm{x} - \bm{y} = \bm{w} \in W となるような wW\bm{w} \in W が存在する。また、vx+W\bm{v} \in \bm{x} + W とすると、v=x+w\bm{v} = \bm{x} + \bm{w}^{\prime} となるような wW\bm{w}^{\prime} \in W が存在し、
v=x+w=(y+w)+w=y+(w+w) \bm{v} = \bm{x} + \bm{w}^{\prime} = (\bm{y} + \bm{w}) + \bm{w}^{\prime} = \bm{y} + (\bm{w} + \bm{w}^{\prime})

であるから、vy+W\bm{v} \in \bm{y} + W となる。よって、x+Wy+W\bm{x} + W \sub \bm{y} + W である。また、vy+W\bm{v}^{\prime} \in \bm{y} + W とすると、同様に vx+W\bm{v}^{\prime} \in \bm{x} + W となり、y+Wx+W\bm{y} + W \sub \bm{x} + W である。したがって、x+W=y+W\bm{x} + W = \bm{y} + W が成り立つ。\quad \square



証明の骨子

x+W\bm{x} + Wy+W\bm{y} + W をそれぞれ集合としてみて、x+W=y+W    (x+Wy+W)(y+Wx+W)\bm{x} + W = \bm{y} + W \; \Leftrightarrow \; (\, \bm{x} + W \sub \bm{y} + W \,) \land (\, \bm{y} + W \sub \bm{x} + W \,) であることを用いて証明します。

  • 11\Rightarrow22

    • 11)の仮定を書き下します。
      • vV\bm{v} \in V として、vx+W\bm{v} \in \bm{x} + W ならば v=x+w\bm{v} = \bm{x} + \bm{w} となるような wW\bm{w} \in W が存在するといえます。これは、部分集合 x+W\bm{x} + W の定め方によります。
      • いま、x+W=y+W\bm{x} + W = \bm{y} + W であると仮定していますので、vx+W    vy+W\bm{v} \in \bm{x} + W \; \Rightarrow \; \bm{v} \in \bm{y} + W が成り立ちます。すなわち、x+W\bm{x} + W の元は必ず y+W\bm{y} + W の元でもあるということです。(もちろん、vy+W    vx+W\bm{v} \in \bm{y} + W \; \Rightarrow \; \bm{v} \in \bm{x} + W も成り立ちます。)
      • したがって、v=y+w\bm{v} = \bm{y} + \bm{w}^{\prime} となるような wW\bm{w}^{\prime} \in W が存在するといえます。
    • xy\bm{x} - \bm{y}WW の元であることを示します。
      • v\bm{v}x+W\bm{x} + Wy+W\bm{y} + W それぞれの元として表せましたので、xy\bm{x} - \bm{y} の形を作ります。

        v=x+w=y+w    xy=ww \bm{v} = \bm{x} + \bm{w} = \bm{y} + \bm{w}^{\prime} \; \Leftrightarrow \; \bm{x} - \bm{y} = \bm{w}^{\prime} - \bm{w}

      • 上式の右辺 ww\bm{w}^{\prime} - \bm{w}WW の元であるので、左辺 xy\bm{x} - \bm{y}WW の元でなければなりません。したがって、xyW\bm{x} - \bm{y} \in W が成り立ちます。以上で(11\Rightarrow22)示されました。

  • 11\Leftarrow22

    • 22)の仮定を書き下します。
      • xyW\bm{x} - \bm{y} \in W ということは、xy=wW\bm{x} - \bm{y} = \bm{w} \in W となるような wW\bm{w} \in W が存在するということといえます。
      • このとき、22 つの集合 x+W\bm{x} + Wy+W\bm{y} + W が等しいことを示すために、x+Wy+W\bm{x} + W \sub \bm{y} + W かつ y+Wx+W\bm{y} + W \sub \bm{x} + W が成り立つことをそれぞれ示します。
    • x+Wy+W\bm{x} + W \sub \bm{y} + W であることを示します。
      • vx+W\bm{v} \in \bm{x} + W とすると、v=x+w\bm{v} = \bm{x} + \bm{w}^{\prime} となるような wW\bm{w}^{\prime} \in W が存在します。このことと、(22)の仮定 xy=w\bm{x} - \bm{y} = \bm{w} を合わせて考えれば、v\bm{v} は次のように表せます。

        v=x+w=(y+w)+w=y+(w+w) \bm{v} = \bm{x} + \bm{w}^{\prime} = (\bm{y} + \bm{w}) + \bm{w}^{\prime} = \bm{y} + (\bm{w} + \bm{w}^{\prime})

      • ここで、w+w\bm{w} + \bm{w}^{\prime} は明らかに WW の元であるので、v\bm{v}y\bm{y}WW の元の和として表せることになり、したがって vy+W\bm{v} \in \bm{y} + W であり、x+Wy+W\bm{x} + W \sub \bm{y} + W となります。

    • y+Wx+W\bm{y} + W \sub \bm{x} + W であることを示します。
      • 上の考察において x\bm{x}y\bm{y} を入れ替えれば、まったく同様に y+Wx+W\bm{y} + W \sub \bm{x} + W を示すことができます。
      • すなわち、vy+W\bm{v}^{\prime} \in \bm{y} + W ならば vx+W\bm{v}^{\prime} \in \bm{x} + W となり、y+Wx+W\bm{y} + W \sub \bm{x} + W となります。
    • 以上から、x+Wy+W\bm{x} + W \sub \bm{y} + W かつ y+Wx+W\bm{y} + W \sub \bm{x} + W が成り立ち、よって、x+W=y+W\bm{x} + W = \bm{y} + W が成り立ちます。すなわち(11\Leftarrow22)示されました。

まとめ

  • VV をベクトル空間、WWVV の部分空間とする。vV\bm{v} \in V に対して、v+W\bm{v} + W を次のように定義する。v+W\bm{v} + W は、vV\bm{v} \in V と任意の wW\bm{w} \in W の和により表される v+wV\bm{v} + \bm{w} \in V の集合であり、VV の部分集合である。

    v+W={v+wwW} \bm{v} + W = \{ \, \bm{v} + \bm{w} \mid \bm{w} \in W \, \}

  • x,yV\bm{x}, \bm{y} \in V に対して次の 22 つの条件は同値である。
    11x+W=y+W\bm{x} + W = \bm{y} + W
    22xyW\bm{x} - \bm{y} \in W


参考文献

[1] 齋藤正彦. 線型代数入門. 東京大学出版会. 1966.
[2] 永田雅宣 他. 理系のための線型代数の基礎. 紀伊國屋書店. 1986.
[3] 川久保勝夫. 線形代数学 [新装版]. 日本評論社. 2010.
[4] 松坂和夫. 線型代数入門 [新装版]. 岩波書店. 2018.
[5] S. Lang. Linear Algebra Third Edition. Springer. 1987.
[6] 雪江明彦. 代数学 11 群論入門. 日本評論社. 2010.
[7] 雪江明彦. 代数学 22 環と体とガロア理論. 日本評論社. 2010.
[8] 桂利行. 代数学 I\text{I} 群と環. 東京大学出版会. 2004.
[9] 松坂和夫. 代数系入門. 岩波書店. 1976.
[10] 高木貞治. 代数学講義 [改訂新版]. 共立出版. 1965.
[11] S. Lang. Algebra Revised Third Edition. Springer. 2005.
[12] M. Artin. Algebra Second Edition. Pearson Education Limited. 2014.
[13] 青本和彦 他. 数学入門辞典. 岩波書店. 2005.

初版:2023-03-25   |   改訂:2024-08-27