＜#代数学の参考書＞

「連続群論の基礎」(朝倉書店1973村上)
https://www.hmv.co.jp/artist_%...

p136より引用:
『#集合 G が次の条件を満たす時，
これを #リー群 という.

① G は #群 である.
② G は #実解析多様体 である.
③ G の #群演算 は #実解析的 である.』

＜#代数学の参考書＞

「連続群論の基礎」(朝倉書店1973村上)

p20より引用:
『#集合 Gが次の条件を満たす時
Gを #位相群 という.

① Gは #群 である.
② Gは T_1 空間である. ※
③ Gの #群演算 は #連続 である.』

※p16より:
T_1 #分離公理 をみたす #位相空間 を T_1 空間という.