可微流形/李群

定義（李群）:

李群是一個可微流形 $G$，其群律（此處用並置表示）具有以下性質

1. 函式 $G\times G\to G$，$(g,h)\mapsto gh$ 是可微的
2. 函式 $G\to G$，$h\mapsto h^{-1}$ 是可微的