위상 K이론: 두 판 사이의 차이
내용 삭제됨 내용 추가됨
Osteologia (토론 | 기여) |
Osteologia (토론 | 기여) |
||
41번째 줄:
연속함수 <math>X\to Y</math>가 주어지면, 이에 따라 [[선형변환]] <math>K_n(Y)\to K_n(X)</math>가 존재한다. 이는 점 갖춘 위상공간의 [[호모토피]] 범주에서 [[아벨 군]]의 범주로 가는 [[반변펑터]]를 이룬다.
보다 일반적으로, 위상 K이론은 [[코호몰로지]]에 대한 [[에일렌베르크-스틴로드 공리]]들을 차원 공리를 제외하고 모두 만족시킨다. 따라서, 위상 K이론은 특수(extraordinary) 코호몰로지 이론을 이룬다. (차원 공리에 따르면 <math>H^n(\{\bullet0\})=0\forall n>0</math>이어야 하지만, K이론에서는 <math>K^{2n}(\{\bullet0\})=\mathbb Z</math>이다.) 특히, 위상 K이론은 [[호모토피]] 불변량이다. 즉, 서로 [[호모토피 동치]]인 공간들의 K군들은 동형이다.
=== 분류 공간 ===
| |||