Lie群

定義

位相群の演算が$C_{\infty }$級写像になるとき$G$をLie群と呼ぶ.

例

• 一般線形群 $\mathrm{GL}({\mathbb{R}}^n)$ はLie群

参考文献

• 2022-01-25 https://arxiv.org/pdf/2201.09397.pdf
• 2021-02-20 ゆるふわリー群論入門（３）多様体 - 何だって、したしむ