Lie group
李群形成最好一類拓撲群，而緊李群有特別良好開發的理論。緊李群的基本例子包括