위상군: 두 판 사이의 차이

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

 

 

위상 공간과 [[연속 함수|연속]] [[군 준동형]]들의 [[범주 (수학)|범주]]는 <math>\operatorname{TopGrp}</math>라고 한다.