대수적 위상수학에서, 호모토피 군 (homotopy群은 위상 공간의 위상적 불변량의 하나로, 공간 위에 존재하는 고차원 고리들의 호모토피 동치 불변 성질을 나타낸다. 기본군의 고차 일반화이다. 기호는 . 두 위상 공간 , 에 대하여, 는 연속 함수들의 호모토피류들의 집합이다. 마찬가지로, 점을 가진 공간 , 에 대하여, 는 점을 보존하는 연속 함수들의 호모토피류들의 집합이다. 임의의 점을 가진 공간 의 차 호모토피 군 () 은 다음과 같다. 여기서 은 (임의로 밑점을 준) 차원 초구이다. 아벨 군 및 양의 정수 에 대하여, 피터슨 공간 () 은 유일한 차원에서 주어진 축소 코호몰로지를 갖는 위상 공간이다. 만약 가 유한 생성 아벨 군이며 라면 피터슨 공간은 항상 존재하며, 추가로 이라면 그 호모토피 유형은 에 의하여 유일하게 결정된다. (그러나 가 유한 생성 아벨 군이 아니라면 피터슨 공간은 존재하지 않을 수 있다.) 에 임의로 밑점을 잡았을 때, 계수의 차 호모토피 군 () 는 다음과 같다. 초구 은 (일 경우) 피터슨 공간 이므로, 이다. 점을 보존하는 호모토피류의 집합 의 군의 구조는 H-군 () 및 H-쌍대군 ()의 개념을 통해 정의된다. (점을 가진) H-군 은 점을 가진 공간의 호모토피 범주 에서의 군 대상이며, H-쌍대군 은 그 반대 범주 에서의 군 대상이다. 보다 구체적으로, H-군 는 다음과 같은 데이터로 구성된다. 점을 가진 공간 점을 보존하는 연속 함수 . 이는 군의 이항 연산에 대응한다. 여기서 는 쐐기합이다. 점을 보존하는 연속 함수 . 이는 군의 역원에 대응한다. 이들은 군의 정의와 유사한 공리들을 만족시키지만, 모든 법칙은 "호모토피 아래" 성립한다. 예를 들어, 결합 법칙은 일반적으로 엄격히 성립하지 않지만, 다음과 같은 "호모토피 결합 법칙"이 성립한다. 마찬가지로, H-쌍대군 는 H-군의 정의에서 사상의 방향을 모두 뒤집은 것이다. 즉, 다음과 같은 데이터로 구성된다. 점을 가진 공간 점을 보존하는 연속 함수 . 이를 쌍대곱셈 ()이라고 한다. 점을 보존하는 연속 함수 예를 들어, 모든 위상군은 H-군을 이룬다. 초구의 경우, H-군을 이루는 것은 , , 밖에 없으며, 이들은 모두 리 군을 이룬다. (은 단위 팔원수의 집합으로 생각한다면 항등원을 갖는 마그마를 이루지만, 이는 H-군을 이루지 못한다.) 양의 정수 차원의 초구는 자연스럽게 H-쌍대군을 이룬다. 구체적으로, 일 경우 위에는 다음과 같은 CW 복합체 구조를 줄 수 있다. 0차원 세포 1개 . 이는 의 적도 위의 한 점이다. 차원 세포 1개. 즉, 차원 뼈대는 초구 이다. 이는 의 적도에 해당한다. 차원 세포 2개. 이들은 각각 의 북반구와 남반구에 대응한다. 그렇다면, 차원 세포 에 대한 몫공간 을 취하면 두 초구의 쐐기합을 얻는다. 이 몫공간 함수 을 쌍대곱셈으로 삼으면, 은 H-쌍대군을 이룬다. 보다 일반적으로, 임의의 점을 가진 공간 에 대하여, 그 축소 현수 는 H-군을 이루며, 마찬가지로 그 고리 공간 는 H-쌍대군을 이룬다. 구체적으로, 위의 곱셈은 다음과 같다. 여기서 이다. 마찬가지로, 임의의 점을 가진 공간 에 대하여, 축소 현수 위의 쌍대곱셈은 다음과 같다. 여기서 는 분쇄곱이며 는 쐐기합이다. 초구의 경우 이므로, 초구의 H-쌍대군 구조는 현수의 쌍대군 구조의 특수한 경우이다. 또다른 예로, 에일렌베르크-매클레인 공간 을 생각하자. 위 호모토피 동치에 의하여, 모든 아벨 군 및 자연수 에 대하여 에일렌베르크-매클레인 공간 은 H-군을 이룬다. 마찬가지로, 피터슨 공간 P(G,n)의 경우 이 성립한다. 따라서, 유한 생성 아벨 군 및 의 경우 피터슨 공간 은 항상 H-쌍대군을 이룬다. 호모토피 군들 위에는 다양한 대수적 구조들이 존재한다. 일반적으로, 만약 가 H-쌍대군의 구조를 가지거나, 가 H-군의 구조를 가진다면 호모토피류 집합 은 군의 구조를 가진다. 구체적으로, 만약 가 곱셈 에 대한 H-군이며, 라면, 위의 군 연산 는 의 호모토피류이다. 마찬가지로, 만약 가 쌍대곱셈 에 대한 H-쌍대군이며, 라면, 위의 군 연산 는 의 호모토피류이다. 특히, 축소 현수 와 고리 공간 는 서로 수반 함자를 이루므로 이며, 이 경우 의 H-군 구조를 통한 군 구조와 의 H-쌍대군 구조를 통한 군 구조는 서로 일치한다. 호모토피류 집합이 군을 이루는 특수한 경우는 다음과 같다. (정수 계수) 호모토피 군 의 경우 이라면 초구는 H-쌍대군을 이루므로 군의 구조를 가진다. (그러나 경로 연결 성분의 집합 은 가 H-군이 아니라면 일반적으로 군을 이루지 않는다.) 이 군 연산은 구체적으로 다음과 같다. 우선, 초구 은 하이퍼큐브 의 경계를 한 점으로 이어붙여 얻을 수 있다. 따라서, 연속 함수 의 호모토피류는 다음과 같은, 하이퍼큐브를 정의역으로 하는 함수들의 호모토피류로 나타낼 수 있다. 이러한 두 함수 가 주어졌을 때, 군의 이항 연산을 다음과 같이 정의하자. 이 연산은 호모토피 불변이며, 또한 군의 구조를 만족한다는 사실을 보일 수 있다. 인 경우 (기본군) 이는 아벨 군이 아닐 수 있지만, 일 경우 모든 호모토피 군은 아벨 군이다. 유한 생성 아벨 군 및 에 대하여, 피터슨 공간 은 H-쌍대군을 이루므로, 계수를 가진 호모토피 군 은 자연스럽게 군의 구조를 가진다. 만약 추가로 라면 이는 아벨 군을 이룬다. 아벨 군 계수의 축소 코호몰로지는 에일렌베르크-매클레인 공간 으로 표현된다. 에일렌베르크-매클레인 공간은 항상 H-아벨 군의 구조를 가지므로, 축소 코호몰로지는 항상 아벨 군을 이룬다. 프로이덴탈 현수 정리에 따르면, 만약 와 가 유한 CW 복합체의 호모토피 유형을 가지며, 의 호모토피 유형인 CW 복합체는 차원 이하의 세포만을 가지며, 가 -연결 공간이며, 이라면, 다음과 같은 표준적인 전단사 함수가 존재한다. 따라서, 이 경우 는 자연스럽게 군을 이룬다. 호모토피 군은 특이 호몰로지 과 관련이 있다. 후레비치 정리 ()에 의하여, 후레비치 준동형 ()이라는 자연스러운 함수 가 존재하며, 일 경우 이는 군 준동형을 이룬다. 후레비치 준동형은 함자 사이의 자연 변환 을 이룬다. (만약 일 경우, 함자의 공역을 아벨 군의 범주 대신 집합의 범주 로 놓아야 한다.) 따라서 축소 현수 에 대하여 : 가 가환한다. 세르 올뭉치 에서, 밑점 을 고르자. 또한, 가 경로 연결 공간이라고 하자. 그렇다면, 호모토피 군들에 대한 다음과 같은 긴 완전열이 존재한다. 여기서 에 대한 사상들은 군 준동형이 아니라 단순히 함수이지만, 이는 여전히 완전열을 이룬다 (즉, 상이 핵과 일치한다). 경로 연결 공간 의 호모토피 군들 위에는 화이트헤드 괄호 ()라는 다음과 같은 연산이 존재한다. 이는 다음과 같이 정의된다. 임의의 연속 함수 가 주어졌다고 하자. 초구의 곱공간 은 쐐기합 에 -세포룰 붙여 얻을 수 있다. 이 붙임 사상을 라고 하자. 만약 이라면 는 밑점을 보존하게 잡을 수 있다. 이를 와 의 쐐기합 과 합성하여 를 정의할 수 있다. 그렇다면, 와 의 화이트헤드 괄호는 다음과 같다. (의 경우, 경로 연결 공간을 가정하였으므로 자명하게 0으로 놓는다.) 화이트헤드 괄호는 반대칭이며, -쌍선형이며, 야코비 항등식을 만족시킨다. 그러나 화이트헤드 괄호는 일반적으로 교대 연산이 아니므로 (즉, 일 수 있다) 정수환 위의 리 대수를 이루지 않는다. 다만, 꼬임 부분군에 대하여 몫을 취하면 이는 정수환 위의 등급 리 대수를 이룬다. 이때, 의 등급을 로 잡아야 한다. 점을 가진 공간 의 기본군 은 고차 호모토피 군 () 위에 자연스럽게 작용하며, 따라서 고차 호모토피 군은 기본군의 가군을 이룬다. 구체적으로, 속의 두 점 및 이를 잇는 곡선 이 주어졌다고 하자. 구의 밑점의 포함 함수 는 닫힌 상을 가진 포함 함수이므로 공변올뭉치()를 이룬다. 즉, 호모토피 확대 성질을 만족시킨다. 따라서, 와 사이의 호모토피 를 에서 사이의 호모토피로 유일하게 확대할 수 있다. 이에 따라, 는 서로 다른 밑점에 대한 호모토피 군 사이의 동형 을 정의하며, 이는 의 호모토피류에만 의존한다. 특히, 일 경우, 가 되며, 따라서 는 위에 작용한다. 일 경우, 기본군의 스스로 위의 작용은 켤레 작용 이다. (기본군의 위의 작용은 자명하다.) 기본군의 모든 차수 호모토피 군에 대한 작용이 자명한 점을 가진 공간을 단순 공간 ()이라고 한다. 특히, 단순 공간의 기본군은 (켤레 작용이 자명하므로) 아벨 군이어야 한다. 호모토피 군은 호모토피 불변량이다. 즉, 같은 호모토피 유형을 가진 두 점을 가진 공간의 호모토피 군은 서로 동형이다. 0차 호모토피 "군" (사실 집합) 는 에 의존하지 않으며, 의 경로 연결 성분들의 집합과 같다. 만약 가 리 군의 구조를 갖는다면, 는 자연스럽게 군의 구조를 갖는다. 1차 호모토피 군은 기본군 이라고 부른다. 2차 이상의 호모토피 군은 항상 아벨 군이지만, 기본군은 일반적으로 아벨 군이 아니다. 호모토피 군은 일반적으로 원점에 의존하나, 만약 공간이 경로 연결 공간이라면 원점에 의존하지 않는다. 위상 공간 와 가 주어지면, 다음이 성립한다. 특이 호몰로지는 쐐기합과 같은 당김에 대하여 간단하지만, 밂에 대해서는 복잡하다. 반면 호모토피 군은 밂에 대하여 간단하지만 당김에 대하여 복잡하다. 특히, 공간들의 쐐기합의 호모토피 군은 일반적으로 복잡하다. 다만, 기본군의 경우, 쐐기합의 기본군은 군의 자유곱이다. 초구의 쐐기합의 기본군은 힐튼 정리 ()에 의하여 주어진다. 보다 일반적으로, 존 밀너는 힐튼 정리를 다음과 같이 힐튼-밀너 정리 ()로 일반화하였다. 이에 따르면, 연결 CW 복합체 이 주어졌을 때, 그 쐐기합 의 현수 의 고리 공간 은 들의 분쇄곱의 고리 공간들의 특정한 무한 곱공간과 호모토피 동치이다. 연결 매끄러운 다양체 에 리 군의 구조를 줄 수 있다면, 그 호모토피 군은 항상 다음과 같은 성질을 보인다. 는 유한 생성 아벨 군이다. 는 유한 생성 자유 아벨 군이다. 또한, 의 짝수 차수 호모토피 군은 모두 꼬임 성분밖에 없다. (즉, 짝수 차수 유리수 계수 호모토피 군은 0차원이다.) 이는 유리수 호모토피 이론을 사용하여 보일 수 있다. 리 군 의 극대 콤팩트 부분군 가 주어졌을 때, 는 로의 변형 수축을 가지며 (이와사와 겐키치 증명), 따라서 서로 호모토피 동치이다. (리 군은 여러 개의 극대 콤팩트 부분군을 가질 수 있지만, 이들은 모두 서로 호모토피 동치이다.) 따라서, 리 군의 호모토피 군의 계산은 콤팩트 리 군의 경우로 귀결된다. 콤팩트 리 군에 대하여, 이와 유리수 호모토피 동치인 초구들의 곱공간이 존재한다. 즉, 계수 의 콤팩트 리 군 에 대하여, 어떤 연속 함수 가 존재하여, 는 유리수 계수 호모토피 군의 동형을 유도한다. 따라서, 리 군의 호모토피 군의 계산은 초구의 호모토피 군의 계산으로 귀결된다. 후자는 일반적으로 매우 어렵다. 기본군은 자이페르트-판 캄펀 정리를 사용하여 쉽게 계산할 수 있는 반면, 고차 호모토피 군의 계산은 (심지어 초구와 같은 간단한 경우에도) 일반적으로 매우 어렵다. 한원소 공간 의 경우, 모든 호모토피 군은 자명군이다. (즉, 0차 호모토피 군은 한원소 집합이다.) 보다 일반적으로, 비이산 공간 에서 임의의 점을 밑점으로 잡자. 비이산 공간을 공역으로 하는 모든 함수는 연속 함수이며, 따라서 비이산 공간을 공역으로 하는, 같은 정의역을 갖는 모든 함수들은 같은 호모토피류에 속한다. 따라서, 비이산 공간의 호모토피 군은 모두 자명군이다. 이산 공간 에서 임의의 점 을 밑점으로 잡자. 이산 공간을 공역으로 하는 연속 함수는 국소 상수 함수 밖에 없다. 하이퍼큐브 은 연결 공간이므로, 이산 공간 위의 호모토피 군 은 다음과 같다. 즉, 는 와 표준적인 일대일 대응을 가지며, 고차 호모토피 군은 모두 자명군이다. 원환면 의 호모토피 군은 다음과 같다. (자명군) () 이와 같이, 2차 이상 호모토피 군이 자명한 공간을 비구면 공간 ()이라고 한다. 초구 의 호모토피 군들은 매우 복잡하며, 심지어 2차원 구의 경우도 아직 완전히 알려져 있지 않다. π1 π2 π3 π4 π5 π6 π7 π8 π9 π10 π11 π12 π13 π14 π15 S 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 S 1 ℤ 0 0 0 0 0 0 0 0 0 0 0 0 0 0 S 2 0 ℤ ℤ ℤ2 ℤ2 ℤ12 ℤ2 ℤ2 ℤ3 ℤ15 ℤ2 ℤ22 ℤ12×ℤ2 ℤ84×ℤ22 ℤ22 S 3 0 0 ℤ ℤ2 ℤ2 ℤ12 ℤ2 ℤ2 ℤ3 ℤ15 ℤ2 ℤ22 ℤ12×ℤ2 ℤ84×ℤ22 ℤ22 S 4 0 0 0 ℤ ℤ2 ℤ2 ℤ×ℤ12 ℤ22 ℤ22 ℤ24×ℤ3 ℤ15 ℤ2 ℤ23 ℤ120×ℤ12×ℤ2 ℤ84×ℤ25 S 5 0 0 0 0 ℤ ℤ2 ℤ2 ℤ24 ℤ2 ℤ2 ℤ2 ℤ30 ℤ2 ℤ23 ℤ72×ℤ2 S 6 0 0 0 0 0 ℤ ℤ2 ℤ2 ℤ24 0 ℤ ℤ2 ℤ60 ℤ24×ℤ2 ℤ23 S 7 0 0 0 0 0 0 ℤ ℤ2 ℤ2 ℤ24 0 0 ℤ2 ℤ120 ℤ23 S 8 0 0 0 0 0 0 0 ℤ ℤ2 ℤ2 ℤ24 0 0 ℤ2 ℤ×ℤ120 일반적으로, 연결 리 군 의 호모토피 군은 다음과 같다. (자명군) 는 유한 생성 아벨 군 (자명군) 는 자유 유한 생성 아벨 군 (즉, 의 꼴) 흔히 쓰이는 리 군의 호모토피 군은 다음과 같다. 굵은 선 아래는 보트 주기성에 의하여 일정하지만, 굵은 선 위에는 불규칙하다. 군 π0 π1 π2 π3 π4 π5 π6 π7 π8 π9 π10 π11 π12 U(1) 0 ℤ 0 0 0 0 0 0 0 0 0 0 0 U(2) 0 ℤ 0 ℤ ℤ2 ℤ2 ℤ12 ℤ2 ℤ2 ℤ3 ℤ15 ℤ2 (ℤ2)2 U(3) 0 ℤ 0 ℤ 0 ℤ ℤ6 U(4) 0 ℤ 0 ℤ 0 ℤ 0 ℤ U(5) 0 ℤ 0 ℤ 0 ℤ 0 ℤ 0 ℤ U(6) 0 ℤ 0 ℤ 0 ℤ 0 ℤ 0 ℤ 0 ℤ 군 π0 π1 π2 π3 π4 π5 π6 π7 π8 π9 O(1) ℤ2 0 0 0 0 0 0 0 0 0 O(2) ℤ2 ℤ 0 0 0 0 0 0 0 0 O(3) ℤ2 ℤ2 0 ℤ ℤ2 ℤ2 ℤ12 ℤ2 ℤ2 ℤ3 O(4) ℤ2 ℤ2 0 ℤ2 (ℤ2)2 (ℤ2)2 (ℤ12)2 (ℤ2)2 (ℤ2)2 (ℤ3)2 O(5) ℤ2 ℤ2 0 ℤ ℤ2 ℤ2 0 ℤ 0 0 O(6) ℤ2 ℤ2 0 ℤ 0 ℤ 0 ℤ ℤ24 ℤ2 O(7) ℤ2 ℤ2 0 ℤ 0 0 O(8) ℤ2 ℤ2 0 ℤ 0 0 0 O(9) ℤ2 ℤ2 0 ℤ 0 0 0 ℤ O(10) ℤ2 ℤ2 0 ℤ 0 0 0 ℤ ℤ2 O(11) ℤ2 ℤ2 0 ℤ 0 0 0 ℤ ℤ2 ℤ2 군 π0 π1 π2 π3 π4 π5 π6 π7 π8 π9 π10 π11 π12 π13 Sp(1) 0 0 0 ℤ ℤ2 ℤ2 ℤ12 ℤ2 ℤ2 ℤ3 ℤ15 ℤ2 (ℤ2)2 Sp(2) 0 0 0 ℤ ℤ2 ℤ2 0 ℤ 0 0 ℤ120 ℤ2 (ℤ2)2 Sp(3) 0 0 0 ℤ ℤ2 ℤ2 0 ℤ 0 0 0 ℤ ℤ2 ℤ2 1차 호모토피 군인 기본군은 앙리 푸앵카레가 1895년에 정의하였다. 에두아르트 체흐는 1932년 취리히 국제 수학자 대회에서 최초로 고차 호모토피 군을 정의하였으나, 고차 호모토피 군이 기본군과 달리 모두 아벨 군이라는 사실이 밝혀지면서 체흐는 이 개념의 연구를 포기하였다. 이후 폴란드의 비톨트 후레비치()가 1935년에 고차 호모토피 군의 개념을 재발견하였고, 후레비치 준동형을 정의하였다. 1941년에 존 헨리 콘스턴틴 화이트헤드는 호모토피 군 위의 화이트헤드 괄호를 정의하였다. 아벨 군 계수를 가진 호모토피 군은 프랭클린 폴 피터슨(, 1930~2000)이 1956년 박사 학위 논문에서 도입하였다. 기본군 약한 호모토피 동치 분류:호모토피 이론