위상군: 두 판 사이의 차이

G가 [[군 (수학)|군]]인 동시에 [[위상공간위상 공간 (수학)|위상공간위상 공간]]이라 하자. 이때 군의 연산 <math>G\times G \to G : (x,y)\mapsto xy</math>와 <math>G\to G : x \mapsto x^{-1}</math>이 [[연속함수연속 (위상수학)|연속함수함수]]일 경우 G를 '''위상군'''이라 한다. (여기에서 G × G는 [[곱 위상]]이 주어진 위상공간이다위상 공간이다.)