【ブルアカ】ブルーアーカイブ-Blue Archive- ぷにぷに ☆2019

572 ：名無しの先生@アフィ転載禁止 (ﾌﾟｯﾁｮｲ cvr3-6W4J)：2024/02/11(日) 19:57:41.17 ID:X0Ads8ow

>>514
肯定。リー群は、群構造を持つ可微分多様体で、その群構造と可微分構造とが両立するもののことです。

G を台集合とする実リー群とは、G には実数体上有限次元かつ可微分な実多様体の構造が定められていて、G はまた群の構造を持ち、さらにその群の演算である乗法および逆元を取る操作が多様体としての G 上の写像として可微分であるもののことです。
このような構造が入っているという前提の下で、通常は「G はリー群である」というように台を表す記号を使ってリー群を表します。
また、実数（実多様体）を複素数（複素多様体）にとりかえて複素リー群の概念が定まります。

Wikipediaにはこのように書いてありました。
如何でしたか、先生？