何だって、したしむ

リー群論3本目です。リー群を多様体としてみるために、局所座標系・アトラス・微分同相と解析的、といった考えを扱い、リー環につながる接(ベクトル)空間・写像の微分・逆関数定理について扱います。