|
|
| 1行目: |
1行目: |
| − | [[File:Disk to Sphere using Quotient Space.gif|thumb|right|[[円板]] {{math|''D''{{sup|2}}}} の境界を一点に貼り合わせた商空間は[[球面]] {{math|''S''{{sup|2}}}} に同相である。]]
| + | {{テンプレート:20180815sk}} |
| − | [[位相空間論]]およびそれに関連する[[数学]]の各分野において、'''等化空間'''（とうかくうかん、{{lang-en-short|''identification space''}}）または'''商位相空間'''（しょういそうくうかん、{{lang-en-short|''quotient topological space''}}）あるいは単に'''商空間''' {{lang|en|(''quotient space'')}} とは、直観的には与えられた空間のある種の点の集まりを「貼合せ」("gluing together") あるいは同一視してしまうことによって得られる新しい空間である。ただし、ここで貼合わせられるべき点の集まりというのは、何らかの[[同値関係]]によって決定される。
| |
| − | | |
| − | このような商空間構成は、与えられた位相空間から新たな空間を構成する方法の一つとして広く用いられる。
| |
| − | | |
| − | == 定義 ==
| |
| − | {{mvar|X}} を[[位相空間]]とし、"{{math|~}}" を {{mvar|X}} 上の[[同値関係]]とする。~ に関する同値類全体の成す[[商集合]] {{math|''X''/~}} 上に位相を以下のように定める。つまり、{{math|''X''/~}} に属する同値類からなる {{math|''X''/~}} の部分集合が[[開集合]]であることを、（それら同値類を {{mvar|X}} の部分集合と見ての）その[[合併 (集合論)|和集合]]が {{mvar|X}} における開集合となることとして定義する。これを商集合 {{math|''X''/~}} 上の'''商位相''' {{lang|en|(''quotient topology'')}} と呼ぶ。
| |
| − | | |
| − | おなじことだが、商集合上の商位相を以下のように特徴付けることもできる。{{math|''q'': ''X'' ↠ ''X''/~}} を {{mvar|X}} の各元をそれが属する同値類へ写す標準射影とすれば、商集合 {{math|''X''/~}} 上の商位相とは {{mvar|q}} を連続にする{{仮リンク|位相の比較|label=最強の位相|en|Comparison of topologies}}（最も細かい位相）である。
| |
| − | | |
| − | 位相空間 {{mvar|X}} から[[集合]] {{mvar|Y}} への[[全射]] {{math|''f'': ''X'' ↠ ''Y''}} が与えられたとき、{{mvar|Y}} の上に ''f'' を連続にする最強の位相（{{mvar|f}} に関する{{仮リンク|終位相|en|final topology}}）として商位相を定義することができる。これは、{{mvar|Y}} の部分集合 {{mvar|V}} が開であることを {{mvar|f}} による[[原像|逆像]] {{math|''f''<sup>−1</sup>(''V'')}} が {{mvar|X}} の開集合となることによって定めるといっても同じである。写像 {{mvar|f}} は {{math|1=''x''<sub>1</sub> ~ ''x''<sub>2</sub> :⇔ ''f''(''x''<sub>1</sub>) = ''f''(''x''<sub>2</sub>)}} と置くことによって {{mvar|X}} 上の同値関係を一意的に誘導するが、このときの商空間 {{math|''X''/~}} は {{mvar|Y}} に（それぞれの商位相を考えれば）[[同相]]である。この対応は {{mvar|x}} の属する同値類 {{math|[''x'']}} を像 {{math|''f''(''x'')}} に写すことで得られる。
| |
| − | | |
| − | 一般に、連続な全射 {{math|''f'': ''X'' ↠ ''Y''}} は、{{mvar|Y}} の位相が {{mvar|f}} の定める商位相となっているとき、[[商写像]] と呼ばれる。従って、標準射影 {{math|''q'': ''X'' ↠ ''X''/~}} は商写像である。
| |
| − | | |
| − | == 例 ==
| |
| − | * '''貼合せ''' (''Gluing''): 位相空間論では点を「貼合せ」るといった議論が頻繁になされる。位相空間 {{mvar|X}} において、{{mvar|X}} の二点 {{mvar|x, y}} が「貼合せ」られるというのは、{{mvar|X}} の任意の点の対 {{mvar|a, b}} について "{{math|1=''a'' ~ ''b'' :⇔ [''a = b'' または [''a'' = ''x'' かつ ''b'' = ''y''] または [''a'' = ''y'' かつ ''b'' = ''x''] ]}}" という同値関係から得られる商空間を考えるという意味である。ふたつの点 {{mvar|x, y}} は貼合せにより、おなじ一つの点となったものと解釈される。
| |
| − | * 単位矩形 {{math|1=''I''<sup>2</sup> = [0,1] × [0,1]}} と、その境界上の点を全て同値とする最小の同値関係 {{math|~}} を考える。境界点はすべて単一の同値類に属するから、それらが一点に同一視される商空間 {{math|''I''<sup>2</sup>/~}} は[[球面|単位球面]] {{math|''S''<sup>2</sup>}} に同相となる。
| |
| − | * '''{{仮リンク|接着空間|en|Adjunction space}}''': もっと一般に、位相空間 {{mvar|X}} とその[[部分位相空間]] {{mvar|A}} を考えるとき、{{mvar|A}} に属する全ての点を一つの同値類とし、それ以外の点は自分自身とだけ同値となるような同値関係による同一視を行って得られる商空間を {{math|''X''/''A''}} で表す。例えば、2-次元球面 {{math|''S''<sup>2</sup>}} は単位円板 {{math|''D''<sup>2</sup>}} でその境界 {{math|∂''D''<sup>2</sup>}} を一点に貼合せて得られる商空間 {{math|''D''<sup>2</sup>/∂''D''<sup>2</sup>}} に同相である。
| |
| − | * {{math|1=''X'' = '''R'''}} を実数全体の成す集合に通常の位相を入れた空間とし、その上の同値関係を "{{math|''x'' ~ ''y'' [[同値|:⇔]] ''x'' − ''y'' が[[整数]]}}" と定める。このとき、商空間 {{math|''X''/~}} は[[単位円]] {{math|''S''<sup>1</sup>}} に[[同相]]で、その対応は {{mvar|x}} の属する同値類 {{math|[''x'']}} を {{math|exp(2π''ix'')}} へ写す写像によって得られる。
| |
| − | * 上の例はさらに次のように一般化できる。[[位相群]] {{mvar|G}} が位相空間 {{mvar|X}} に[[群作用|連続的に作用]]しているものとすれば、{{mvar|X}} 上の同値関係をそれらの点が同じ[[群作用|軌道]]に属するということを以って定義することができる。この同値関係のもとでの商空間は'''軌道空間''' {{lang|en|(''orbit space'')}} と呼ばれ、{{math|''X''/''G''}} で表される。{{math|1=''G'' = '''Z'''}} が {{math|1=''X'' = '''R'''}} に平行移動で作用するとしたものが先ほどの例である。すなわち、軌道空間 {{math|'''R'''/'''Z'''}} は {{math|''S''<sup>1</sup>}} に同相である。<div style="margin: 1ex auto 1ex 2em;">'''注意''': 商を {{math|'''R'''/'''Z'''}} という記号で表すのは少々紛らわしい。というのは、{{math|'''Z'''}} を加法群 {{math|'''R'''}} に（平行移動で）作用する群とみなすとその商（軌道空間）は[[円周]]だが、{{math|'''Z'''}} を位相空間 {{math|'''R'''}} の部分位相空間とみなして得られる商（接着空間）は無限個の円を一点で結んだ[[ブーケ (数学)|ブーケ]]となるからである。</div>
| |
| − | | |
| − | == 性質 ==
| |
| − | 商写像 {{math|''q'': ''X'' ↠ ''Y''}} は数多ある全射の中で、次のような性質によって特徴付けられるものである。
| |
| − | ; 商写像の普遍性
| |
| − | : 任意の位相空間 {{mvar|Z}} と写像 {{math|''f'': ''Y'' → ''Z''}} が与えられたとき、{{mvar|f}} が全射であることと {{math|''f'' ∘ ''q''}} が連続であることとが同値になる。すなわち、以下の図式 [[Image:QuotientSpace-01.svg|center|Characteristic property of the quotient topology]] が可換である。
| |
| − | 特に商空間 {{math|''X''/~}} と自然な全射 {{math|''q'': ''X'' ↠ ''X''/~}} は以下の[[普遍性]]によって特徴付けられる。
| |
| − | ; 標準射影の普遍性: {{math|''g'': ''X'' → ''Z''}} が連続で、{{mvar|X}} の任意の元 {{mvar|a, b}} について {{math|1=''a'' ~ ''b'' ⇒ ''g''(''a'') = ''g''(''b'')}} を満たすならば、連続写像 {{math|''f'': ''X''/~ → ''Z''}} で {{math|1=''g'' = ''f'' ∘ ''q''}} を満たすものが唯ひとつ存在する。
| |
| − | このように写像 {{mvar|f}} を得ることを、{{mvar|g}} を「商に落とす」{{lang|en|(''descends to the quotient'')}} とか、{{mvar|g}} が {{mvar|f}} を誘導 {{lang|en|(induce)}} するなどという。したがって商空間 {{math|''X''/~}} 上で定義される連続写像はちょうど、その同値関係に関して（つまり同値な元はおなじ像に写るものとして）{{mvar|X}} 上の写像から得られる。このような方法は商空間を調べる上での定石である。
| |
| − | | |
| − | 連続な全射 {{math|''f'': ''X'' ↠ ''Y''}} が与えられたとき、それが商写像であるかを決定する判定法で有用なものが存在する。それは {{mvar|f}} が[[開写像]]または[[閉写像]]であるとき {{mvar|f}} は商写像であるというものだが、これが[[十分条件]]だが[[必要条件]]でないということには注意が必要である。開でも閉でもない商写像の例を構成するのはそう難しくない。
| |
| − | | |
| − | == 他の位相的概念との整合性 ==
| |
| − | * [[分離公理|分離性]]
| |
| − | ** 一般に、商空間構成は分離公理とは相性が悪く、ある空間 {{mvar|X}} の持つ分離性は商空間 {{math|''X''/~}} に必ずしも遺伝しないし、{{mvar|X}} と同様の分離性を {{math|''X''/~}} が持つとも限らない。
| |
| − | ** {{math|''X''/~}} が[[T1空間| ''T''<sub>1</sub>-空間]]となる必要十分条件は、同値関係 {{math|~}} の任意の同値類が {{mvar|X}} の閉集合であることである。
| |
| − | ** 商写像が[[開写像|開]]であるときには、{{math|''X''/~}} が[[ハウスドルフ空間]]となることと、関係 {{math|~}} が[[直積位相空間]] {{math|''X'' × ''X''}} の閉集合となることとが同値である。
| |
| − | * [[連結空間|連結性]]
| |
| − | ** 位相空間が連結または[[弧状連結空間|弧状連結]]ならば、その任意の商空間もおなじ性質を持つ。
| |
| − | ** [[単連結空間|単連結]]または[[可縮空間|可縮]]な空間の商空間は、必ずしもおなじ性質を持つわけはない。
| |
| − | * [[コンパクト空間|コンパクト性]]
| |
| − | ** 位相空間がコンパクトならば任意の商空間もそうである。
| |
| − | ** [[局所コンパクト空間]]の商空間は必ずしもそうではない。
| |
| − | * [[位相次元|次元]]
| |
| − | ** 商空間の[[位相次元]]はもとの空間のそれよりも増加しうる（もちろん減少することもある）。このような例は[[空間充填曲線]]から得られる。
| |
| − | | |
| − | == 関連項目 ==
| |
| − | === 位相空間論 ===
| |
| − | * [[部分位相空間]]
| |
| − | * [[直積位相空間]]
| |
| − | * [[位相的直和]]
| |
| − | * {{仮リンク|終位相|en|final topology}}
| |
| − | * {{仮リンク|写像錐 (位相幾何学)|en|Mapping cone (topology)}}
| |
| − | | |
| − | === 代数学 ===
| |
| − | * [[剰余群]]
| |
| − | * [[剰余線型空間]]
| |
| − | * {{仮リンク|商圏 (数学)|en|quotient category}}
| |
| − | * {{仮リンク|写像錐 (ホモロジー代数)|en|Mapping cone (homological algebra)}}
| |
| − | | |
| − | == 参考文献==
| |
| − | *{{Cite book |first=Stephen |last=Willard |title=General Topology |year=1970 |publisher=Addison-Wesley |location=Reading, MA |isbn=0486434796 }}
| |
| − | * {{planetmath reference|id=2930|title=Quotient space}}
| |
| − | | |
| − | == 外部リンク ==
| |
| − | * {{MathWorld|urlname=QuotientSpace|title=Quotient Space}}
| |
| − | | |
| − | {{DEFAULTSORT:しよういそうくうかん}}
| |
| − | [[Category:位相空間]]
| |
| − | [[Category:位相空間論]]
| |
| − | [[Category:群作用]]
| |
| − | [[Category:数学に関する記事]]
| |