位相群
数学における位相群（いそうぐん、）は、位相の定められた群であって、そのすべての群演算が与えられた位相に関して連続となるという意味において代数構造と位相構造が両立する。したがって位相群に関して、群としての代数的操作を行ったり、位相空間として連続写像について扱ったりすることができる。位相群のは、連続対称性を調べるのに利用でき、例えば物理学などにも多くの応用を持つ。
文献によっては、本項に言うところの位相群を連続群と呼び、単に「位相群」と言えば位相空間として T（ハウスドルフの分離公理）を満たす連続群すなわちハウスドルフ位相群を意味するものがある。
位相空間 に群演算（乗法あるいは積とよばれる二項演算と逆元をとる単項演算）が定義されているとき、 において群構造と位相構造とが両立する（あるいは可換である、うまくいっている、compatible）とは、条件
がともに成り立つことを言う（ここで乗法演算の連続性は、 に直積位相を与えて位相空間と見たときの連続性（二変数の連続性）であり、各因子それぞれに関して連続（偏連続）というよりも強い）。この定義では入れていないけれども、多くの文献で 上の位相がハウスドルフであることを仮定する。これは単位元 が において閉集合を成すと仮定することと同値になる。その理由およびいくつか同値な条件は後述する。いずれにせよ、任意の位相群は適当な商をとることでハウスドルフにすることができる。
圏論の言葉で言えば、位相群とは位相空間の圏におけるとしてちょうど定義できる。これは通常の群が集合の圏における群対象であると言うのと同じ仕方である。群の定義が射（二項の積、単項の反転、零項の単位元）によって与えられているという意味で圏論的定義となっていることに注意せよ。
位相群 に対し、写像 が位相群の準同型であるとは、それが連続な群準同型となるときに言う。位相群の同型は、群同型であって、なおかつ台となる位相空間の間の同相でもある。これは単に連続な群同型であるという条件よりも強く、逆写像もまた連続でなければならない。代数的な群同型だが位相群としては同型でないという位相群の例が存在する。実際、任意の非離散位相群に対し、その位相を離散位相に取り換えた位相群を考えれば、台となる群は同じ（特に同型）だが、位相群としては同型にならない。
すべての位相群と、それらの間のすべての準同型を併せたものは、ひとつの圏を成す。
位相群とリー群との間の関係について、いくつか強力な結果が存在する。まず、リー群の間の任意の連続準同型 は滑らかになる。これにより、位相群がリー群の構造を持つならば、その構造は一意に決まる。また、は、リー群の任意の閉部分群がリー部分群、特に滑らかな部分多様体となることを述べる。
は、位相多様体の構造を持つ位相群 がリー群となるか（つまり、滑らかな多様体の構造が入り、群演算が滑らかであるようにできるか）を問うものである。この問題はGleason, Montgomery, Zippinらによって肯定的に解決された。実は はを持つ。この可微分構造を用いて、 のリー環を定義することができる（これは被覆空間の違いを除いて連結群 を決定する線型代数学的な対象である）。結果として、ヒルベルトの第五問題の解は、位相多様体であるような位相群の分類という代数的な問題に帰着されたが、一般には複雑な問題である。
この定理は位相群の広範なクラスに対しても帰結を持つ。まず、任意のコンパクト群（ハウスドルフと仮定する）はコンパクトリー群の射影極限である。その重要な場合の一つが射有限群と呼ばれる有限群の射影極限で、例えば -進整数全体の成す加法群 や、体のは射有限群である。さらに任意の連結局所コンパクト群が、連結リー群の射影極限になる。他の極端な例で、完全不連結局所コンパクト群（TDLC群）は常にコンパクト開部分群を含み、それは射有限群である必要がある。例えば、局所コンパクト群 はコンパクト開部分群 （これは有限群 の の射影極限）を含む。
位相群 の位相空間 への（連続）作用は、 の への群作用であって、対応する写像 が連続となるものをいう。同様に、位相群 の実または複素線型空間 における表現（線型表現）は、 の への連続作用であって、各 に対する写像 が 上の線型変換となるものを言う。
群作用および表現論は特にコンパクト群に対してはよくわかっており、それはの内容を一般化するものになっている。例えば、コンパクト群の任意の有限次元表現は既約表現の直和である。また、コンパクト群の無限次元ユニタリ表現は、ヒルベルト空間として既約表現（これらはすべて有限次元）の直和に分解することができる。これはの一部である。例えば、フーリエ級数論が述べるのは、円周群 の複素ヒルベルト空間 におけるユニタリ表現の分解である。 の既約表現はすべて一次元であり、適当な整数 に対する の形をしている（ここで は非零複素数の成す乗法群 の部分群と見ている）。これら既約表現は に各々重複度 で現れる。
全てのコンパクト連結リー群の既約表現は、分類が済んでいる。特に各既約表現の指標はワイルの指標公式で与えられる。
より一般に、局所コンパクト群は、ハール測度によって与えられる自然な測度および積分の概念が入り、調和解析の豊かな理論を含む。局所コンパクト群の任意のユニタリ表現は、既約ユニタリ表現のとして記述できる。この分解は がI-型（アーベル群や半単純リー群などの重要な例の大部分がこれに含まれる）ならば本質的に一意である。基本的な例はフーリエ変換で、これは実数の加法群 のヒルベルト空間 への作用を の既約ユニタリ表現の直積分に分解する。 の既約ユニタリ表現はすべて一次元で、適当な に対する の形をしている。
局所コンパクト群の既約ユニタリ表現は無限次元となり得る。表現論の大きな目標は、（許容表現）のに関係して、半単純リー群に対するユニタリ双対（既約ユニタリ表現全体の成す空間）を求めることである。ユニタリ双対は、など多くの場合について知られているが、全てではない。
局所コンパクトアーベル群 に対しては、任意の既約ユニタリ表現は一次元である。この場合、ユニタリ双対 は群となり、実は局所コンパクトアーベル群になる。ポントリャーギン双対性とは、局所コンパクトアーベル群 に対して のユニタリ双対がもとの群 に等しいことを述べるものである。例えば、整数の加法群 の双対群は円周群 であり、実数の加法群 の双対群は に同型である。
任意の局所コンパクト群 は十分多くの既約ユニタリ表現を持ち、例えば の任意の点を区別することができる （）。対照的に、局所コンパクトでない位相群の表現論は、特別な場合を除きほとんど発展しておらず、おそらく一般論を期待するのは妥当でない。例えば、アーベルなでそのヒルベルト空間上の任意の表現が自明となるものはたくさんある。
位相群はすべての位相空間の中でも特別のものだが、それはそれらのホモトピー型の意味でもそうである。基本となるのは、位相群 が弧状連結な位相空間である分類空間 を決定することである（分類空間は、緩やかな仮定の下で位相空間上の主 -束を分類する）。群 はにおいて のに同型である。これは のホモトピー型に様々な制約があることを意味する。これら制約の中にはの広い文脈で満足されるものもある。
例えば、位相群 の基本群はアーベル群である（より一般に、 のホモトピー群のは零になる）。また、任意の体 に対するコホモロジー環 はホップ代数の構造を持つ。とアルマン・ボレルによるホップ代数の構造定理の観点から、これは位相群の取りうるコホモロジー環に強い制約をかけるものになっている。特に、 が弧状連結な位相群でその有理係数コホモロジー環 が各次数で有限次元となるならば、この環は 上の自由次数付き可換環でなければならない。これはすなわち、偶数次生成元上の多項式環と奇数次生成元上の外積代数との代数のテンソル積である。
特に、連結リー群 に対し、 の有理係数コホモロジー環は奇数時の生成元上の外積代数である。さらには、連結リー群 は を（共軛を除いて一意に）持ち、 の への包含はホモトピー同値になる。したがって、リー群のホモトピー型を記述することは、コンパクトリー群のそれに帰着される。例えば、 の極大コンパクト部分群は円周群 で、その等質空間 はに同一視できる。双曲平面は可縮であるから、円周群の への包含写像はホモトピー同値になる。
最後に、コンパクト連結リー群は、カルタン、ヴァイルによって分類がされた。結果として、リー群の取りうるホモトピー型の本質的に完全な記述ができる。例えば、高々三次元のコンパクト連結リー群は、トーラス、二次特殊ユニタリ群 SU(2)（三次元球面 に微分同相）、その剰余群 （三次元 に微分同相）の何れかである。
位相群の様々な一般化が、連続性条件を緩めることによって得られる。