클라인의 병(Klein bottle)은 수학, 특히 위상수학(topology)에서 다루는 곡면(surface)의 한 예이다. 1882년 독일의 수학자 펠릭스 클라인(Felix Klein)에 의해 처음으로 기술되었다.
정의 및 성질
클라인의 병은 경계(boundary)가 없고, 내부와 외부의 구분이 없는 일면(one-sided) 곡면이다. 즉, 이 곡면 위를 따라 이동하면 출발점으로 되돌아올 수 있으며, 이동 중에 관찰자는 뒤집힌 상태가 된다. 보다 형식적으로는, 클라인의 병은 비가향적(non-orientable)인 2차원 다양체(manifold)의 한 예이다. 이는 곡면 전체에 걸쳐 연속적으로 변하는 일관된 법선 벡터(normal vector)를 정의할 수 없는 곡면을 의미한다.
클라인의 병은 뫼비우스의 띠(Möbius strip)와 유사하게 비가향적이지만, 뫼비우스의 띠와 달리 경계가 없다는 점에서 차이가 있다. 뫼비우스의 띠는 하나의 경계를 가지나, 클라인의 병은 구(sphere)나 원환면(torus)처럼 경계가 없는 폐곡면(closed surface)이다.
구성 방법
클라인의 병은 정사각형 [0,1] × [0,1]의 변들을 다음과 같이 동일시(identification)하여 얻는 몫공간(quotient space)으로 정의된다.
- (0, y) ~ (1, y) (0 ≤ y ≤ 1): 좌우 변을 같은 방향으로 붙여 원통을 만든다.
- (x, 0) ~ (1 − x, 1) (0 ≤ x ≤ 1): 원통의 위아래 변을 반대 방향(비틀어서)으로 붙인다.
이 과정을 3차원 유클리드 공간에서 실제로 수행하려고 하면 곡면이 자기 자신과 교차(self-intersection)하게 된다. 따라서 3차원 공간에서 볼 수 있는 클라인의 병 모형은 실제 클라인의 병이 아니라 3차원 공간에 담근(immersion) 표현일 뿐이다. 자기 교차 없이 완전히 매립(embedding)되려면 4차원 공간이 필요하다.
위상수학적 성질
- 오일러 지표(Euler characteristic)는 0이다.
- 기본군(fundamental group)은 정수군 Z와 Z/2Z의 반직접곱으로 표현된다.
- 호몰로지 군(homology groups)은 H₀(K, Z) = Z, H₁(K, Z) = Z × (Z/2Z), n > 1에 대해 Hₙ(K, Z) = 0이다.
- 원환면(torus)에서 클라인의 병으로의 2겹 피복 사상(2-1 covering map)이 존재한다.
- 원환면과 클라인의 병의 보편 피복(universal cover)은 모두 평면 R²이다.
어원
"클라인의 병"이라는 명칭은 독일어 "Kleinsche Fläche"(클라인 곡면)에서 유래한 것으로 알려져 있다. 초기에 이를 "Kleinsche Flasche"(클라인 병)로 잘못 해석한 데에서 현재의 명칭이 굳어졌다는 설이 널리 퍼져 있으나, 이에 대한 정확한 역사적 확인은 제한적이다. 어원에 관계없이 현재는 위상수학의 표준 용어로 자리잡고 있다.
