For faster navigation, this Iframe is preloading the Wikiwand page for 位相同型.

位相同型

この記事は検証可能参考文献や出典が全く示されていないか、不十分です。 出典を追加して記事の信頼性向上にご協力ください。(このテンプレートの使い方)出典検索?"位相同型" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL (2015年10月)
位相同型の例。ドーナツとマグカップは同相である。

位相同型 (いそうどうけい、: homeomorphic)、あるいは同相(どうそう)とは、2つの位相空間が位相空間として等しいことを表す概念である。

例えば、表面湯飲みの表面とはある「連続」な双方向の移し方で互いに移し合うことができるので同相であり、また穴が1つ開いたドーナツの表面 (トーラス) と持ち手がひとつあるマグカップの表面も同じく同相である。よって球の表面と湯のみの表面は位相幾何学的に全く同一の性質を持ち、ドーナツの表面とマグカップの表面も同一の性質を持つ。しかし、球面とトーラスとはこのような写し方が存在しないので同相とはならない。(直観的には、連続的な変形によって穴の個数が変化することはないということである。)

ここで連続な写し方とは、直観的には近いところを近いところに写すような写し方を意味する。

定義

[編集]

位相空間 A, B の間の写像 f: AB連続かつ全単射で、その逆写像もまた連続であるとき、f同相写像 (homeomorphism)、あるいは単に同相という。同相写像の逆写像は明らかに同相である。AB との間に同相写像が存在するとき、AB は同相、あるいは位相同型であるという。

  • 平面内の閉円板 D2 と平面内の正方形 I × I(ただし I = [0, 1])とは同相である。一般に平面内の多角形とも同相である。
  • 円周 S1 から一点を取り除いてできる空間と実直線は同相である。
  • リー群 SO(3) は三次元球体 D3 = {( x , y , z ) | x2 + y2 + z2 ≦ 1} の商空間 D3/R と同相である。ここで同値関係 xRy を、x = y、または、x = −y かつ ||x|| = 1, で定める。
  • 定義において、逆写像の連続性は本質的である。直観的に同相でない二つの空間、半開区間 [0,2π) と平面内の円周 S1 において、前者から後者への写像 t → (cos t, sin t) は連続写像で逆を持つが、逆写像は連続でない。

性質

[編集]
  • 明らかに、同相写像の逆写像は同相写像であり、同相写像の合成も同相写像である。よって、ある空間の自己同相写像全体はをなす。
  • 同相は位相空間全体の空間に同値関係を定める。
  • 同相写像は開集合を開集合に、閉集合を閉集合に写し、位相的構造を保つ。つまり、位相空間としての性質(コンパクト性、連結性など)を一切変えない。
  • 同相写像は、位相空間のにおける同型射である。

位相空間論における同値関係

[編集]
  • 連続変形による同値関係。位相同型よりも強い。
  • ホモトピー同値による同値関係。
  • 2つの多様体の間には微分同相という概念を考えることができる。 多様体間の同相写像 fCn 級で、その逆写像も Cn 級である時、f Cn 級微分同相写像)(diffeomorphism of class n) という。

関連項目

[編集]
{{bottomLinkPreText}} {{bottomLinkText}}
位相同型
Listen to this article

This browser is not supported by Wikiwand :(
Wikiwand requires a browser with modern capabilities in order to provide you with the best reading experience.
Please download and use one of the following browsers:

This article was just edited, click to reload
This article has been deleted on Wikipedia (Why?)

Back to homepage

Please click Add in the dialog above
Please click Allow in the top-left corner,
then click Install Now in the dialog
Please click Open in the download dialog,
then click Install
Please click the "Downloads" icon in the Safari toolbar, open the first download in the list,
then click Install
{{::$root.activation.text}}

Install Wikiwand

Install on Chrome Install on Firefox
Don't forget to rate us

Tell your friends about Wikiwand!

Gmail Facebook Twitter Link

Enjoying Wikiwand?

Tell your friends and spread the love:
Share on Gmail Share on Facebook Share on Twitter Share on Buffer

Our magic isn't perfect

You can help our automatic cover photo selection by reporting an unsuitable photo.

This photo is visually disturbing This photo is not a good choice

Thank you for helping!


Your input will affect cover photo selection, along with input from other users.

X

Get ready for Wikiwand 2.0 🎉! the new version arrives on September 1st! Don't want to wait?