位相共役

数学において**位相共役**（いそうきょうやく、）とは、2つの写像の軌道が定性的に同じ関係であることを示す概念である。力学系理論における基礎的な概念の一つ。位相共役の関係によって、解析が容易な写像から他の写像の性質を導けるといった利点がある。他には、力学系の構造安定性の定義付けを与える。

位相共役の関係は、2つの写像を関係づける同相写像の存在によって定義される。もし2つの力学系が位相共役ならば、それぞれの力学系は同じ性質の軌道を同じ数持つ。連続力学系の場合は、時間の変数変換を許す位相同値という関係も用いられる。

## 定義
 と  を位相空間とし、 と  を連続写像とし、これらによって定義される力学系  と  を考える。このとき、 から  への同相写像  が存在して

を充たすとき、2つの力学系  と  は**位相共役**（）である、あるいは  と  が（ によって）**位相共役**であると言う。ほかには**位相的に共役**や単に**共役**であると言ったりすることもある。位相共役の関係を与える同相写像  を**位相共役写像**（）と言う。

ここで、上式 () の  は写像の合成を表し、 とすると  である。 が同相写像であるとは、 が全単射かつ連続写像で、なおかつ逆写像  も連続写像であることを言う。同値な定義だが、 と  が  によって位相共役であるとは

を充たす同相写像  が存在することを言う。ここで、 は  の逆写像を表す。位相共役の関係によって可換図式が成立する。

写像  が同相写像であることを要請せず、 と  が単に連続写像かつ全射である  によって式 () を充たすときは、 は  に**位相半共役**あるいは**半共役**（）と言う。半共役の関係を与える連続な全射  を**位相半共役写像**あるいは**半共役写像**（）と言う。

### 微分同相写像の場合
 と  が  によって位相共役であることは  が一般的に可微分であることまでは要求しないが、場合によっては  が可微分で、 も可微分であることも考えられる。このような同相写像を微分同相写像と言い、特に、同相写像が  回連続微分可能で、その逆写像も  回連続微分可能なときは  微分同相写像と言う。

 を実数全体の集合とし、写像  と  を  次元ユークリッド空間  上の  微分同相写像  と  とする。このとき、 微分同相写像  が存在し、
式 () を充たすとき、 と  は（ によって）** 共役**または**可微分共役**であると言う。

### 線型写像の場合
写像  と  が位相共役で、その位相共役写像  が線型写像であるとき  と  は**線型共役**（）であると言う。 上の場合、写像  が線型写像であるとは
*  ただし 
*  ただし 
を充たすことである。

 上の線型写像  は、実数を成分とする  行列  を用いて、

と表わされる。ここで、 は  の要素で、 列ベクトルである。一般的に、異なる正方行列  と  があって、

を充たすような正則行列  が存在するとき、 と  は相似であると言う。

 上の線型写像  と  が線型共役で、その位相共役写像を  で表すとする。このとき、式 () より

となるので、 上の線型写像  と  が線型共役であるとは、それらを定義する行列  と  が相似で、式 () を充たすような行列  が存在することとも言い換えられる。

### 連続力学系の場合
以上の説明は、反復合成から定義される離散力学系の場合であった。一方、力学系の時間を実数として、位相群  の位相空間  への作用として定まるのが連続力学系である。連続力学系は流れとも呼ばれ、連続写像  あるいは （）によって与えられる。流れを （）とも表し、全ての  と  で定義されていると仮定する。

 と  を位相空間とし、 と   を流れとする。 このとき、同相写像  が存在して

を充たすとき、 と  は**位相共役**であると言う。

流れは、典型的には微分方程式（あるいは微分方程式によって定義されるベクトル場）によって生成される。 を  級ベクトル場  によって生成される流れとし、 を  級ベクトル場  によって生成される流れとするとき、 微分同相写像  が式 () を充たすとき、 と  は** 共役**であると言う。

流れの位相共役は、時間  の変数変換も許さずに片方の軌道をもう片方の軌道に重ね合わせることができるというであり、制約が強い。そのため流れの場合には、制約がもう少し弱い位相同値という位相的分類がよく用いられる。流れ  と  について、同相写像  があって、 の各軌道が  の各軌道の上へ、向きが保たれながら  によって写されるとき、 と  は**位相同値**であると言う。また、このような同相写像  を**位相同値写像**と言う。 の軌道を  とし、 の軌道を  とする。正確には、すべての  に対して  が

を充たし、さらに  と  が定める軌道の向きを保つとき、 と  は位相同値であると言う。 が  微分同相写像で式 () を充たすときは、 と  は** 同値**であると言う。

時間の変数変換を明示的に使った位相同値の定義は次のようになる。時間の変数変換を表す連続関数を  とする。 と  が位相同値であるとは、同相写像  と連続関数  が存在して、すべての  と  について

を充たすときを言う。ただし、軌道の向きを保つという条件のために、 は  を固定したときに  に関して単調増加である。

## 基本的な性質
位相共役であることは同値関係に該当する。すなわち、写像  と  に対して を充たすようなある同相写像  が存在することを一つの二項関係として  と表せば、関係  は

* 反射律：
* 対称律： ならば 
* 推移律： かつ  ならば 

という同値律を充たす。したがって、位相空間  上の連続写像全体の集合を  と表すと、同値関係  による  の同値類は位相的には同じである力学系の集まりを意味する。

力学系理論の主な興味関心は、軌道の性質を理解することにある。もし2つの力学系が位相共役ならば、それぞれの力学系は同じ性質の軌道を同じ数持つ。具体的には  より、 であるから、任意の  について

および

が成り立つ。したがって、 の軌道を  とし、 の軌道を  とすれば、

 

が成り立ち、 は  の軌道を  の軌道の上へ写像する。したがって、位相共役写像  により、 の不動点、周期点、極限点、 極限点などは、 の同種の相空間上の点へ写される。 によって、 の不動点の全体集合、周期点の全体集合、極限集合、非遊走集合、鎖回帰集合などが、 の同種の集合へと写される。 が稠密な周期点の集合を持つならば、 も稠密な周期点の集合を持つ。 が位相推移的ならば  も位相推移的で、 が拡大的（分離的）ならば  も拡大的となる。最終的に周期的な軌道や漸近的な軌道が  に存在すれば、 はそれらを  の同種の軌道に写す。

離散力学系の周期軌道（周期点）は、位相共役写像によって同じ周期の軌道が対応する。 と  が  によって位相共役のとき、 が  の 周期  の周期点だとしたら、 は  の周期  の周期点である。連続力学系の場合も、位相共役写像によって同じ周期の軌道が対応する。流れ  と  が  によって位相共役のとき、 の 周期  の周期軌道は  によって の 周期  の周期軌道に写される。しかし、 と  が位相同値のときは、 の周期軌道は  によって の周期軌道に写るが、周期は一致するとは限らない。逆に言えば、このような周期が一致しなくてよいという性質によって、位相共役よりも位相同値の制約は弱く、流れの位相的分類では位相同値の方が使いやすいことが多い。

可微分共役の場合は、不動点および周期点でのヤコビ行列の固有値も一致する。写像  のヤコビ行列を  のように表す。 可微分写像  と  が、微分同相写像  によって位相共役であるとき、

 

が成立する。一般に、正方行列が式 () を充たすとき、行列  と  の固有値は同じとなる。したがって、式 () より、 と  の固有値は一致する。よって、可微分共役には不動点および周期点での微分の一致という要求が充たされる必要がある。これは、軌道の位相的特性を調べるには強過ぎる条件となる。そのため、力学系が定性的に同じことを表す位相共役の関係は、単なる同相写像の存在を条件としている。

位相的エントロピーについても位相共役であれば不変となる。 と  をコンパクトハウスドルフ空間 上の連続写像とし、同相写像  によって位相共役であるとする。それぞれの位相的エントロピーを  と  と表せば、 である。さらに、いくつかの制約のもと位相半共役でも位相的エントロピーは不変となる。 と  をコンパクト距離空間  上の連続写像とし、全射の連続写像  によって位相半共役であるとする。 が一様連続で有限対1であれば、 が充たされる。

## 例
2つの写像が与えられたとき、一般的に言って、それらの位相共役写像が具体的に得られることは少ない。例えば、実数直線上の2次関数

と

は

によって位相共役である。

全ての１変数２次関数同士の場合は、片方を適当に平行移動させれば、それらは線型共役になる。 を定数係数とすれば、 

と

は、

であれば、

によって位相共役である。

写像 () はロジスティック写像とも呼ばれ、テント写像と呼ばれる写像とも位相共役な関係にあることで知られる。すなわち、単位区間  上のテント写像を  とすると、

と

は、

によって位相共役である。写像 () は  から  への同相写像で  上の至る所で微分可能だが、その逆写像  は  と  で微分可能ではない。つまり、この例は、位相共役だが可微分共役ではない例となっている。このように多くの場合では単に同相な位相共役写像が存在する。それでも2つの力学系の軌道を対応付けるのに充分に役立つので、力学系理論では通常の位相共役の定義に微分同相写像までは要求しない。

力学系では、与えられた系を記号力学系で表現して調べるという手段が有効である。テント写像 () に対して、その  回反復合成が ならば  とし、  ならば  とし、 初期値  の軌道を  と  の無限列に置き換える。この置き換えを

という写像で表す。あらゆる  と  の無限列の全体の集合を  で表せば、 は  から  への写像となっている。列を一つずつ左にずらす  からそれ自身のシフト写像

を用意すると、テント写像  と  は  によって位相共役である。

位相半共役の関係の場合は次のような例がある。 を  で定義される複素平面上の単位円とし、 上の点を  で代表させる。このとき、 上の写像  

と、単位区間  上の2次写像 

は、余弦関数 

によって位相半共役である。ほとんどの  について  は2対1写像であり、 は同相写像ではない。

## 応用
### 構造安定性
位相共役の概念を使って、構造安定の概念が定式化できる。構造安定とは、ある力学系に小さい変化あるいは摂動が加わったとしても本質的に同じ挙動が保たれるという力学系自体の安定性の表すもので、数学以外での応用の点でも重要となる。例えば、物理学、生物学、工学で使われる微分方程式では係数が近似的にしか定まらないことが多い。よって、係数がわずかに異なった程度では解の挙動が本質的に変わらない（＝構造安定な）微分方程式が重要となる。

大雑把に言うと、ある力学系  が構造安定であるとは、 に充分近い力学系  は必ず  と位相共役であることをいう。正確に定義するためには、力学系の集合に  位相という位相を入れる必要がある。ここでは離散力学系の場合について述べる。多様体  上の  級可微分同相写像全体が成す集合を  と表すとする。  の 位相に関する近傍  を適当にとれば、 のすべての写像  が  と位相共役になるとき、 は  構造安定であると言う。

### 固定点周りの挙動
力学系理論では、与えられた系の軌道が定常状態に落ち着くのかという意味での安定性も関心の対象である。不動点および平衡点（以下まとめて固定点と呼ぶ）の近傍の軌道の様相を調べるために、固定点近傍で線型近似することが考えられる。このとき、固定点が双曲型であれば、固定点近傍で線型化した系は元の非線型系とある近傍内で位相共役な関係にあることが知られている。

すなわち、固定点周りの線型近似には、双曲型という条件によって数学的な正当性が与えられる。これを明確にしているのがハートマン・グロブマンの定理である。ここでは  上の離散力学系の場合についてを述べる。 級可微分同相写像  が双曲型不動点  を持つとする。 における  のヤコビ行列を  で表す。このとき、 の近傍  と  の近傍 、および同相写像   が存在し、すべての  について  が成り立つ。

### カオスの証明
2つの写像が位相共役のとき、周期点などと同様にカオスの性質も共有される。ある力学系がカオス的であることを数学的に証明する方法の一つが、位相共役の関係を利用したものである。位相共役の関係の利点は、解析が容易な写像から他の写像の性質を導ける点にある。

式 () でシフト写像による記号力学系を導入したが、カオス力学系を記号力学系に帰着させる方法は、そのカオス力学系を理解する有効な方法の一つである。記号空間  上のシフト写像  はカオスの性質——具体的には位相推移性、周期点の稠密性、初期値鋭敏性——を持つ。例で記したように、テント写像 () はシフト写像と位相共役であるので、テント写像はカオスであることが導ける。

２次元写像の古典的例である馬蹄形写像も、記号力学系によってその挙動が調べられる。馬蹄形写像  はカントール集合 &times; カントール集合という構造の不変集合  を持つ。 を、ここでは 0 と 1 から成る両側無限列の全体の集合とする。不変集合  上に制限した  はシフト写像  と位相共役であり、馬蹄形写像は  上でカオス的であることが分かる。 さらに一般的には、横断的なホモクリニック点の存在から記号力学系と位相共役な不変集合の存在を導ける。多様体  上の微分同相写像  が双曲型不動点  を持ち、 の横断的ホモクリニック点  が存在するとき、充分大きな自然数  と、 と  を含む  の不変集合  が存在して、 は  と位相共役である。

## 出典

## 参照文献
*
*
*
*
*
*
*
*
*
*
*
*

## 外部リンク
*topological conjugation - PlanetMath
*Topologically Conjugate - MathWorld