폰트랴긴 쌍대성: 두 판 사이의 차이

내용 삭제됨 내용 추가됨
잔글편집 요약 없음
5번째 줄:
 
== 정의 ==
''G''가 [[국소 콤팩트]] [[아벨 군|아벨]] [[위상군]]이라고 하자. ''G''의 '''지표'''({{llang|en|character}})는 [[원군]](circle group) U(1)으로의 연속 [[군 준동형사상준동형]] <math>G\to U(1)</math>이다. ''G''의 지표들은 모든 점에서의 곱셈(pointwise product)을 통해 [[군 (수학)|군]]을 이루는데, 이를 ''G''의 '''지표군'''({{llang|en|character group}}) <math>\hat G</math>라고 한다. 지표군은 [[아벨 군]]이며, 여기에 [[콤팩트-열린 집합 위상]](compact-open topology)을 줄 수 있다. 이렇게 하면 <math>\hat G</math>는 [[국소 콤팩트]] 아벨 [[위상군]]을 이룬다.
 
지표군의 지표군 <math>\hat{\hat G}\cong G</math>은 원래 군과 [[동형]]임을 보일 수 있다. 구체적인 동형사상 <math>\iota\colon G\to\hat{\hat G}</math>은 다음과 같다.