|
位相空間論およびそれに関連する数学の各分野において、等化空間（とうかくうかん、）または商位相空間（しょういそうくうかん、）あるいは単に商空間 とは、直観的には与えられた空間のある種の点の集まりを「貼合せ」("gluing together") あるいは同一視してしまうことによって得られる新しい空間である。ただし、ここで貼合わせられるべき点の集まりというのは、何らかの同値関係によって決定される。 このような商空間構成は、与えられた位相空間から新たな空間を構成する方法の一つとして広く用いられる。 == 定義 == ''X'' を位相空間とし、"~" を ''X'' 上の同値関係とする。~ に関する同値類全体の成す商集合 ''X''/~ 上に位相を以下のように定める。つまり、''X''/~ に属する同値類からなる ''X''/~ の部分集合が開集合であることを、その和集合が ''X'' における開集合となることとして定義する。これを商集合 ''X''/~ 上の商位相 と呼ぶ。 おなじことだが、商集合上の商位相を以下のように特徴付けることもできる。''q'': ''X'' → ''X''/~ を ''X'' の各元をそれが属する同値類へ写す標準射影とすれば、商集合 ''X''/~ 上の商位相とは ''q'' を連続にする最強の位相（最も細かい位相）である。 位相空間 ''X'' から集合 ''Y'' への全射 ''f'': ''X'' → ''Y'' が与えられたとき、''Y'' の上に ''f'' を連続にする最強の位相として商位相を定義することができる。これは、''Y'' の部分集合 ''V'' が開であることを ''f'' による逆像 ''f''−1(''V'') が ''X'' の開集合となることによって定めるといっても同じである。写像 ''f'' は : ''x''1 ~ ''x''2 ⇔ ''f''(''x''1) = ''f''(''x''2) と置くことによって ''X'' 上の同値関係を一意的に誘導するが、このときの商空間 ''X''/~ は ''Y'' に（それぞれの商位相を考えれば）同相である。この対応は ''x'' の属する同値類 を像 ''f''(''x'') に写すことで得られる。 一般に、連続な全射 ''f'': ''X'' → ''Y'' は、''Y'' の位相が ''f'' の定める商位相となっているとき、商写像 と呼ばれる。 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「商位相空間」の詳細全文を読む 英語版ウィキペディアに対照対訳語「 Quotient space (topology) 」があります。 スポンサード リンク
|