후레비치 준동형

대수적 위상수학에서, 후레비치 준동형(Hurewicz準同型, 영어: Hurewicz homomorphism)은 어떤 위상 공간호모토피 군에서 호몰로지 군으로 가는 군 준동형이다. 특수한 경우, 이 군 준동형후레비치 정리(영어: Hurewicz theorem)에 따라 군의 동형을 이룬다.

정의편집

점을 가진 공간   및 밑점을 보존하는 연속 함수

 

가 주어졌을 때,  기본류  특이 호몰로지에 따라 밀어서 다음 호몰로지류를 얻는다.

 

이 때 이 호몰로지류와  호모토피류  를 대응하는 함수  를 정의할 수 있다.

 
 

이 함수를 후레비치 준동형이라고 한다.

성질편집

준동형성편집

 일 경우, 후레비치 준동형  군 준동형을 이룬다.

 일 경우  는 일반적으로 군의 구조를 갖지 않으며, 만약  위상군이라도 이는 일반적으로 군 준동형을 이루지 않는다. (예를 들어,  가 이산 유한군일 때,  군환으로 가는 단사 함수  에 대응하며, 이는 군 준동형이 아니다.)

함자성편집

 일 경우, 후레비치 준동형은 함자

 
 

사이의 자연 변환  을 이룬다.

따라서 축소 현수 함자  에 대하여 다음 사각형이 가환한다.

 

  또는  인 경우에는 호모토피 군이 아벨 군이 아니므로 함자의 공역  대신 각각   또는  로 놓아야 한다.

낮은 차수의 후레비치 준동형편집

 일 경우,   경로 연결 성분집합이며,   경로 연결 성분들의 집합으로부터 생성되는 자유 아벨 군이다. 따라서, 0차 후레비치 사상은 집합에서 그 집합으로 생성되는 자유 아벨 군으로 가는 표준적인 포함 함수이다. 따라서 이 경우 후레비치 준동형은 단사 함수이다.

 이고  가 경로 연결 공간인 경우, 후레비치 준동형은 아벨화이다. 즉,  기본군  아벨화이다. 따라서 이 경우 후레비치 준동형은 전사 함수이다.

 일 경우, 후레비치 준동형은 일반적으로 전사 함수도, 단사 함수도 아니다.

n-연결 공간 위의 후레비치 준동형편집

후레비치 정리에 따르면, 임의의 위상 공간   위의 후레베치 준동형

 

에 대하여, 다음이 성립한다.

  • 만약  경로 연결 공간(즉, 0-연결 공간)이며  이라면,  아벨화 준동형이다.
  • 만약   -연결 공간이며  이라면,  아벨 군끼리의 동형 사상이다.
  • 만약   -연결 공간이며  라면,  아벨 군끼리의 단사 군 준동형이다. 그러므로,   몫군이다.

편집

 개의 원들의 쐐기합  을 생각하자.

  •  기본군자유군  이며, 그 생성원  는 모두  개이며 각 원에 대응한다.
  •  의 1차 호몰로지 군자유 아벨 군  이며, 그  개의 생성원 역시 각 원에 대응한다.

이 경우, 후레비치 준동형  아벨화 사상이며, 각 원에 대응하는 자유군의 생성원을 같은 원에 대응하는 자유 아벨 군 생성원에 대등시킨다.

역사편집

1935년 비톨트 후레비치가 후레비치 준동형을 정의하였다.[1][2][3][4]

참고 문헌편집

  1. Hurewicz, Witold (1935). “Beiträge zur Topologie der Deformationen Ⅰ. Höherdimensionale Homotopiegruppen”. 《Proceedings of the Section of Sciences, Koninklijke Akademie van Wetenschappen te Amsterdam》 (독일어) 38: 112–119. JFM 61.0618.01. Zbl 0010.37801. 
  2. Hurewicz, Witold (1935). “Beiträge zur Topologie der Deformationen Ⅱ. Homotopie- und Homologiegruppen”. 《Proceedings of the Section of Sciences, Koninklijke Akademie van Wetenschappen te Amsterdam》 (독일어) 38: 521–528. JFM 61.0619.01. Zbl 0011.37101. 
  3. Hurewicz, Witold (1936). “Beiträge zur Topologie der Deformationen Ⅲ. Klassen und Homologietypen von Abbildungen”. 《Proceedings of the Section of Sciences, Koninklijke Akademie van Wetenschappen te Amsterdam》 (독일어) 39: 117–126. JFM 62.0678.02. Zbl 0013.22903. 
  4. Hurewicz, Witold (1936). “Beiträge zur Topologie der Deformationen Ⅳ. Asphärische Räume”. 《Proceedings of the Section of Sciences, Koninklijke Akademie van Wetenschappen te Amsterdam》 (독일어) 39: 215–224. Zbl 0013.28303. 

외부 링크편집