位相群

数学における**位相群**（いそうぐん、）は、位相の定められた群であって、そのすべての群演算が与えられた位相に関して連続となるという意味において代数構造と位相構造が両立する。したがって位相群に関して、群としての代数的操作を行ったり、位相空間として連続写像について扱ったりすることができる。位相群のは、連続対称性を調べるのに利用でき、例えば物理学などにも多くの応用を持つ。

文献によっては、本項に言うところの位相群を**連続群**と呼び、単に「位相群」と言えば位相空間として T<sub>2</sub>（ハウスドルフの分離公理）を満たす連続群すなわち**ハウスドルフ位相群**を意味するものがある。

## 定義
位相空間  に群演算（乗法あるいは積とよばれる二項演算と逆元をとる単項演算）が定義されているとき、 において群構造と位相構造とが**両立**する（あるいは**可換**である、うまくいっている、compatible）とは、条件
# 乗法  は連続である。
# 反転  は連続である。
がともに成り立つことを言う（ここで乗法演算の連続性は、 に直積位相を与えて位相空間と見たときの連続性（二変数の連続性）であり、各因子それぞれに関して連続（偏連続）というよりも強い）。

;定義: 両立する群構造と位相構造を持つ集合  は**位相群**であるという。すなわち位相群は、すべての群演算が連続な群を言う。

この定義では入れていないけれども、多くの文献で  上の位相がハウスドルフであることを仮定する。これは単位元  が  において閉集合を成すと仮定することと同値になる。その理由およびいくつか同値な条件は後述する。いずれにせよ、任意の位相群は適当な商をとることでハウスドルフにすることができる。

圏論の言葉で言えば、位相群とは位相空間の圏におけるとしてちょうど定義できる。これは通常の群が集合の圏における群対象であると言うのと同じ仕方である。群の定義が射（二項の積、単項の反転、零項の単位元）によって与えられているという意味で圏論的定義となっていることに注意せよ。

### 準同型
位相群  に対し、写像  が位相群の**準同型**であるとは、それが連続な群準同型となるときに言う。位相群の**同型**は、群同型であって、なおかつ台となる位相空間の間の同相でもある。これは単に連続な群同型であるという条件よりも強く、逆写像もまた連続でなければならない。代数的な群同型だが位相群としては同型でないという位相群の例が存在する。実際、任意の非離散位相群に対し、その位相を離散位相に取り換えた位相群を考えれば、台となる群は同じ（特に同型）だが、位相群としては同型にならない。

すべての位相群と、それらの間のすべての準同型を併せたものは、ひとつの圏を成す。

## 例
* 任意の群は離散位相を考えることにより、自明に位相群と考えることができる（そのような群は離散群と呼ばれる）。この意味で位相群論は通常の群論に含まれる。
* 実数の全体  に通常の位相を入れたものは、加法に関する位相群となる。より一般に、-次元ユークリッド空間  は加法に関して位相群である。位相アーベル群の他の例として、円周群  や自然数  に対する  が挙げられる。
* は非アーベル位相群の重要な例である。例えば、成分が実数の  可逆行列全体の成す一般線型群  は、ユークリッド空間 の部分空間としての位相を入れて位相群とみることができる。他の古典群として、直交群  は、 上の線型変換で、任意のベクトルの長さを変えないもの全体の成す群である。直交群は位相空間としてコンパクトになる。ユークリッド幾何学の大部分は、直交群あるいはそれと近い関係を持つ  の対称性の群  の構造の研究と見なすことができる。
* ここまでに挙げた群はすべてリー群、すなわち滑らかな多様体であって、群演算が連続なだけでなく滑らかな写像となるようなものになっている。リー群はよくわかっている位相群である。つまり、リー群に関する多くの問題がリー環に関する準代数的な問題に読み替えられ、そして解決されている。
* リー群でない位相群の例として、有理数の加法群  に  から遺伝する位相を入れたものを考える。これは可算な空間であって、かつ離散位相とは異なる位相を持つ。数論において重要な例に、素数  に対する  -進整数の加法群  は、有限群  の  の逆極限である。この群  は、コンパクト（実はカントール集合に同相）である点でよく振る舞うが、（実）リー群と異なり完全不連結である。より一般に、の理論があって、それには  のようなコンパクト群も、 のような局所コンパクト群も含まれる。ここに、 は -進数の成す局所コンパクト位相体である。
* ある種の位相群はと見なせる（このような呼び方は砕けた言い方だが、そのような例となる群の様々な族を表すのに、ちょうどよい）。例えば、バナッハ空間やヒルベルト空間のような位相線型空間は加法に関して位相アーベル群になる。他にも研究されている無限次元群として、、カッツ–ムーディ群、自己微分同相群、、ゲージ群などが挙げられる。
* 任意の乗法単位元を持つバナッハ代数において、その可逆元全体の成す集合（単元群）は乗法に関して位相群を成す。例えば、ヒルベルト空間上の可逆有界作用素の群はこの方法で生じる。

## 性質
* 位相群  の反転演算は  上の自己同相である。同様に、各元  の左乗および右乗は  の自己同相を与える。
* 任意の位相空間は、二通りの仕方で、一様空間と見ることができる。**左一様性**は各元の左乗を一様連続写像とする一様構造を言い、**右一様性**は右乗を一様連続写像とする一様構造を言う。 が非アーベルならば、これら二つが一致する必要はない。この一様構造により、や一様連続性あるいは一様収束性を位相群上で述べることができる。
* 一様空間として、任意の位相群はである。これにより、単位元（のみからなる一点集合）が  において閉（これは （コルモゴロフ）条件）ならば、 は （ハウスドルフ）、さらに （）にさえなる。 がハウスドルフでないときには、単位元の閉包  による剰余群  によってハウスドルフ位相群を得ることができる。これは  のコルモゴロフ商をとることと同値である。
*; 定理 (Birkhoff–Kakutani) : 以下の三つは同値
*:* 単位元  が  において閉であり、 において  の可算基本近傍系が存在する。
*:*  は位相空間として距離付け可能である。
*:*  上に左不変距離が存在して、それによる距離位相がもともとの位相に一致する。ただし、 上の距離が左不変であるとは、各元  の左乗  が  上の等距変換となるものをいう。）
* 位相群の任意の部分群は、相対位相に関してそれ自身が位相群になる。 の部分群  に対し、左剰余類全体の成す集合  に商位相を入れたものは  の等質空間と呼ばれる。商写像  は常に開になる。例えば、正整数  に対し、超球面  は、 の回転群  の等質空間で、実際  が成り立つ。等質空間  がハウスドルフとなるための必要十分条件は、 が  において閉となることである。半ばこれを理由に、位相群の研究において部分群としては閉部分群を主に考えるのが自然である。
* 任意の開部分群  は  において閉である。これは  の補集合が、開集合  の合併に等しいことからわかる。
*  の正規部分群  に対し、剰余群  は商位相に関して位相群を成す。この剰余群がハウスドルフとなるための必要十分条件は、 が  において閉となることである。例えば、剰余群  は円周群  に同型である。
*  の部分群  に対し、 の閉包もまた部分群となる。同様に、 が  の正規部分群ならば、 の閉包も  において正規になる。
* 任意の位相群において、（すなわち、単位元を含む連結成分）は閉部分群を成す。単位成分  と任意の点  に対し、左剰余類  は  の  を含む連結成分となる。したがって、 における  の左剰余類全体の成す集合、あるいは右剰余類全体の成す集合は、 の連結成分全体の成す集合に等しい。これにより、剰余群  は完全不連結であることが従う
* 通常の群論における代数的な群の同型定理は、位相群に対しては必ずしも正しくない（これは全単射な準同型が必ずしも位相群の同型でないことによる）。それでも、定理に現れる写像を適切に制限すれば、定理は成り立つ。例えば、第一同型定理の主張「 が準同型ならば、それが誘導する写像  は同型」が成り立つための必要十分条件は、 がその像の上への開写像となることである。

## ヒルベルトの第五問題
位相群とリー群との間の関係について、いくつか強力な結果が存在する。まず、リー群の間の任意の連続準同型  は滑らかになる。これにより、位相群がリー群の構造を持つならば、その構造は一意に決まる。また、は、リー群の任意の閉部分群がリー部分群、特に滑らかな部分多様体となることを述べる。

***'は、[[位相多様体]]の構造を持つ位相群  がリー群となるか（つまり、滑らかな多様体の構造が入り、群演算が滑らかであるようにできるか）を問うものである。この問題は[[Andrew Gleason|Gleason]], [[Deane Montgomery|Montgomery]], [[Leo Zippin|Zippin]]らによって肯定的に解決された。実は  はを持つ。この可微分構造を用いて、 のリー環を定義することができる（これは[[被覆空間]]の違いを除いて[[連結空間|連結]]群  を決定する[[線型代数学]]的な対象である）。結果として、ヒルベルトの第五問題の解は、位相多様体であるような位相群の分類という代数的な問題に帰着されたが、一般には複雑な問題である。

この定理は位相群の広範なクラスに対しても帰結を持つ。まず、任意の[[コンパクト群]]（ハウスドルフと仮定する）はコンパクトリー群の射影極限である。その重要な場合の一つが[[射有限群]]と呼ばれる有限群の射影極限で、例えば -進整数全体の成す加法群  や、体の[[絶対ガロワ群]]は射有限群である。さらに任意の連結局所コンパクト群が、連結リー群の射影極限になる。他の極端な例で、完全不連結局所コンパクト群（TDLC群）は常にコンパクト開部分群を含み、それは射有限群である必要がある。例えば、局所コンパクト群  はコンパクト開部分群 （これは有限群  の  の射影極限）を含む。

== （局所）コンパクト群の表現 ==
位相群  の位相空間  への（連続）'''作用'''は、 の  への[[群作用]]であって、対応する写像  が連続となるものをいう。同様に、位相群  の実または複素線型空間  における'''[[群の表現論|表現]]（線型表現）'''は、 の  への連続作用であって、各  に対する写像  が  上の線型変換となるものを言う。

群作用および表現論は特にコンパクト群に対してはよくわかっており、それはの内容を一般化するものになっている。例えば、コンパクト群の任意の有限次元表現は[[既約表現]]の[[加群の直和|直和]]である。また、コンパクト群の無限次元[[ユニタリ表現]]は、ヒルベルト空間として既約表現（これらはすべて有限次元）の直和に分解することができる。これはの一部である。例えば、[[フーリエ級数]]論が述べるのは、円周群  の複素ヒルベルト空間  におけるユニタリ表現の分解である。 の既約表現はすべて一次元であり、適当な整数  に対する  の形をしている（ここで  は非零複素数の成す乗法群  の部分群と見ている）。これら既約表現は  に各々重複度  で現れる。

全てのコンパクト連結リー群の既約表現は、分類が済んでいる。特に各既約表現の[[指標理論|指標]]は[[ワイルの指標公式]]で与えられる。

より一般に、局所コンパクト群は、[[ハール測度]]によって与えられる自然な[[測度]]および[[積分]]の概念が入り、[[調和解析]]の豊かな理論を含む。局所コンパクト群の任意のユニタリ表現は、既約ユニタリ表現のとして記述できる。この分解は  が[[C*-環|I-型]]（アーベル群や[[半単純リー群]]などの重要な例の大部分がこれに含まれる）ならば本質的に一意である。基本的な例は[[フーリエ変換]]で、これは実数の加法群  のヒルベルト空間  への作用を  の既約ユニタリ表現の直積分に分解する。 の既約ユニタリ表現はすべて一次元で、適当な  に対する  の形をしている。

局所コンパクト群の既約ユニタリ表現は無限次元となり得る。表現論の大きな目標は、（許容表現）のに関係して、半単純リー群に対する[[ユニタリ双対]]（既約ユニタリ表現全体の成す空間）を求めることである。ユニタリ双対は、など多くの場合について知られているが、全てではない。

局所コンパクトアーベル群  に対しては、任意の既約ユニタリ表現は一次元である。この場合、ユニタリ双対  は群となり、実は局所コンパクトアーベル群になる。[[ポントリャーギン双対性]]とは、局所コンパクトアーベル群  に対して  のユニタリ双対がもとの群  に等しいことを述べるものである。例えば、整数の加法群  の双対群は円周群  であり、実数の加法群  の双対群は  に同型である。

任意の局所コンパクト群  は十分多くの既約ユニタリ表現を持ち、例えば  の任意の点を区別することができる （）。対照的に、局所コンパクトでない位相群の表現論は、特別な場合を除きほとんど発展しておらず、おそらく一般論を期待するのは妥当でない。例えば、アーベルなでそのヒルベルト空間上の任意の表現が自明となるものはたくさんある。

== 位相群のホモトピー論 ==
位相群はすべての位相空間の中でも特別のものだが、それはそれらの[[ホモトピー型]]の意味でもそうである。基本となるのは、位相群  が弧状連結な位相空間である[[分類空間]]  を決定することである（分類空間は、緩やかな仮定の下で位相空間上の[[主束|主 -束]]を分類する）。群  はにおいて  のに同型である。これは  のホモトピー型に様々な制約があることを意味する。これら制約の中にはの広い文脈で満足されるものもある。

例えば、位相群  の[[基本群]]はアーベル群である（より一般に、 のホモトピー群のは零になる）。また、任意の体  に対する[[コホモロジー]]環  は[[ホップ代数]]の構造を持つ。と[[アルマン・ボレル]]によるホップ代数の構造定理の観点から、これは位相群の取りうるコホモロジー環に強い制約をかけるものになっている。特に、 が弧状連結な位相群でその有理係数コホモロジー環  が各次数で有限次元となるならば、この環は  上の自由[[次数付き可換環]]でなければならない。これはすなわち、偶数次生成元上の[[多項式環]]と奇数次生成元上の[[外積代数]]との[[代数のテンソル積]]である。

特に、連結リー群  に対し、 の有理係数コホモロジー環は奇数時の生成元上の外積代数である。さらには、連結リー群  は  を（[[違いを除いて|共軛を除いて]]一意に）持ち、 の  への包含は[[ホモトピー同値]]になる。したがって、リー群のホモトピー型を記述することは、コンパクトリー群のそれに帰着される。例えば、 の極大コンパクト部分群は円周群  で、その等質空間  はに同一視できる。双曲平面は[[可縮空間|可縮]]であるから、円周群の  への包含写像はホモトピー同値になる。

最後に、コンパクト連結リー群は[[ヴィルヘルム・キリング|キリング]]、[[エリ・カルタン|カルタン]]、[[ヘルマン・ヴァイル|ヴァイル]]によって分類がされた。結果として、リー群の取りうるホモトピー型の本質的に完全な記述ができる。例えば、高々三次元のコンパクト連結リー群は、トーラス、二次特殊ユニタリ群 [[SU(2)]]（三次元球面  に[[微分同相]]）、その剰余群 （三次元  に微分同相）の何れかである。

== 一般化 ==
位相群の様々な一般化が、連続性条件を緩めることによって得られる。
* '''半位相群''' (''semi&shy;topological group'') は、群の乗法が偏連続となる位相を持つ群。すなわち、半位相群  は各元  の定める二つの写像  および  が連続になる。
* '''準位相群''' (''quasi&shy;topological group'') は、反転演算も連続となるような半位相群を言う。
* ***' (*para&shy;topological group*) は、群の乗法が連続となる位相を持つ群（反転は連続とは限らない）、すなわち台となる半群構造が群となるようなを言う。

## 脚注

### 出典

## 参考文献
* 
* 
* 
* 
* 
* 
* 
* 
* 

* Nathan Jacobson: *Lie Algebras*, Dover Publications, ISBN 0-486-63832-4 (1962).
* Johan G. F. Belinfante, and Bernard Kolman: *A Survey of Lie Groups and Lie Algebras with Applications and Computational Methods*, SIAM, ISBN 0-89871-243-2 (1972).
* Morton Hamermesh: *Group Theory and Its Application to Physical Problems*, Dover Publications, ISBN 0-486-66181-4 (1962).

和書：
* ポントリャーギン：「連続群論 上」、岩波書店（1957年10月31日).
* ポントリャーギン：「連続群論 下」、岩波書店（1958年5月19日).
* 山内恭彦、杉浦光夫：「連続群論入門」、培風館（1960年10月30日).
* 横田一郎：「群と位相」、裳華房、ISBN 4-7853-1105-3 (1971年2月25日).
* 村上信吾：「連続群論の基礎」、朝倉書店 (1973年6月30日).
* 竹内勝：「現代の球関数」、岩波書店、(1975年5月10日).
* 壬生雅道：「位相群論概説」、岩波書店（1976年10月8日).
* 犬井鉄郎、田辺行人、小野寺嘉孝：「応用群論：群表現と物理学」第2版、裳華房 (1977年4月1日). ※初版は1976年11月20日.
* 大森英樹：「無限次元リー群論」、紀伊國屋書店 (1978年11月).
* 戸田宏、三村護：「リー群の位相 上：線型代数からKO-群の周期性へ」、紀伊國屋書店、ISBN 4-31400237-9 (1978年12月).
* 戸田宏、三村護：「リー群の位相 下：コンパクトリー群の理論から例外群へ」、紀伊國屋書店、ISBN 4-31400238-7 (1979年8月).
* 岡本清郷：「等質空間上の解析学：リー群論的方法による序説」、紀伊國屋書店、ISBN 978-4-31470122-8（1980年8月).
* 佐武一郎：「リー群の話」、日本評論社 (1982年5月10日).
* 東郷重明：「リー代数」、槇書店 (1983年10月30日).
* 川久保勝夫：「変換群論」、岩波書店、ISBN 4-00-005975-0 (1987年1月20日).
* 伊勢幹夫、竹内勝：「リー群論」、岩波書店、ISBN 4-00-006140-2 (1992年5月21日).
* 杉浦光夫：「リー群論」、共立出版、ISBN 978-4-320-01637-8 (2000年3月1日).
* H. ワイル(著)、蟹江幸博(訳)：「古典群：不変式と表現」、シュプリンガー・フェアラーク東京、ISBN 4-431-71125-2 (2004年12月8日).
* クロード・シュヴァレー(著)、齋藤正彦(訳)：「シュヴァレー リー群論」、筑摩書房、ISBN 978-4-480-09451-3 (2012年6月6日).

## 関連項目
* 代数群
* 位相環

## 外部リンク
* 
* 
* 
* 
*