티호노프 정리

일반위상수학에서 티호노프 정리(Тихонов定理, )는 임의의 수의 콤팩트 공간들의 곱공간이 콤팩트 공간이라는 정리다. 우리손 보조정리와 함께 일반위상수학에서 가장 중요한 결과 중 하나로 꼽힌다.
정의.
티호노프 정리에 따르면, 콤팩트 공간들의 집합 formula_1의 곱공간
는 콤팩트 공간이다.
체르멜로-프렝켈 집합론의 공리들을 가정하면, 티호노프 정리는 선택 공리와 동치이다.
선택 공리와의 관계.
체르멜로-프렝켈 집합론에서 다음 명제들 역시 서로 동치이다.
ZF+BPI는 ZF보다 강하고 ZFC보다 약한 이론이다. 티호노프 정리를 여러 종류의 공간에 제한시켰을 때 얼마나 강력한가는 집합론적 위상수학에서 활발히 연구되는 문제이다.
장소.
장소에 대한 티호노프 정리는 선택 공리나 불 소 아이디얼 정리를 가정하지 않아도 성립한다.
증명.
티호노프 정리는 여러 방법으로 증명할 수 있다. 물론 모든 증명은 선택 공리의 한 형태를 사용한다.
부분 기저를 통한 증명.
알렉산더 부분 기저 정리를 알면 티호노프 정리가 필터나 그물의 개념 없이 쉽게 따라나온다. 알렉산더 부분 기저 정리에 따르면 부분 기저가 주어진 위상 공간이 콤팩트 공간일 필요충분조건은 부분 기저 속의 열린집합들로 구성된 모든 덮개가 유한 부분 덮개를 갖는 것이다. 하지만 알렉산더 부분 기저 정리 자체의 증명은 보통 필터를 사용한다.
곱공간 formula_2는 표준적인 부분 기저
를 갖는다. 여기서
는 곱공간에서 그 formula_6번째 성분으로 가는 사영 함수이다.
이제, 이 부분 기저의 부분 집합 formula_7가 formula_2의 덮개를 이루는 유한 부분 집합을 갖지 않는다고 가정하자. 그렇다면 formula_9가 formula_2의 덮개가 아님을 보이는 것으로 족하다. 임의의 formula_11에 대하여,
의 모든 유한 부분 집합은 formula_13의 덮개가 아니며, formula_13가 콤팩트 공간이므로 formula_15는 formula_13의 덮개가 아니다. 선택 공리에 따라
이다. 즉, formula_9는 formula_2의 덮개가 아니다.
극대 필터를 통한 증명.
보다 현대적인 증명으로, 앙리 카르탕이 제시하고 부르바키가 발전시킨 필터의 수렴 이론을 사용하는 것이 있다. 어느 위상 공간이 콤팩트 공간임은 그 공간의 모든 극대 필터가 수렴함과 동치이다. 극대 필터에 연속 함수를 가한 필터는 다시 극대 필터이며, 특히 이 연속 함수는 곱공간에서 성분 공간으로 가는 사영으로 취할 수 있다. 마지막으로 곱공간 위의 필터가 수렴하는 것은 각 성분으로 사영한 필터들이 모두 수렴하는 것과 동치이다. 위 결과들로부터 티호노프 정리를 비교적 짧게 증명할 수 있다. 제임스 멍크레스의 위상수학 교과서에는 카르탕의 증명을 필터 이론의 용어를 사용하지 않도록 수정한 증명이 나와 있다.
곱공간 formula_2 위의 임의의 극대 필터 formula_21가 수렴함을 보이는 것으로 족하다. 임의의 formula_11에 대하여,
는 formula_13 위의 극대 필터이며 (formula_25는 상폐포), formula_13가 콤팩트 공간이므로 이는 어떤 점 formula_27로 수렴한다. (formula_28의 극한은 유일하지 않을 수 있으며, 각 formula_11에 대하여 하나의 극한 formula_30를 취하는 것은 선택 공리를 필요로 한다.) 따라서 formula_21는
로 수렴한다.
극대 그물을 통한 증명.
필터와 그물의 대응 관계에 따라 극대 필터를 통한 증명을 그물의 언어로 번역할 수 있다.
임의의 극대 그물 formula_33가 수렴함을 보이는 것으로 족하다. 임의의 formula_11에 대하여, formula_35는 formula_13 위의 극대 그물이며, formula_13가 콤팩트 공간이므로 formula_38인 formula_27가 존재한다. (각 그물 formula_35의 극한 formula_30를 취하는 데에는 선택 공리가 필요하다.) 따라서 formula_42이다.
그물의 집적점을 통한 증명.
다음은 폴 처노프가 1992년에 발표한 증명이다. 그물의 개념을 사용하지만 극대 그물은 사용하지 않는다. 이 증명은 먼저 그물의 부분 집적점()의 개념을 도입하여 극대 부분 집적점의 존재를 보인 뒤 이 극대 부분 집적점이 사실 그물의 집적점임을 보인다.
곱공간 formula_2 위의 임의의 그물 formula_44가 집적점을 가짐을 보이는 것으로 족하다. formula_45가
꼴의 그물들의 집적점
들의 집합이라고 하자. formula_45 위에 다음과 같은 부분 순서를 줄 수 있다.
임의의 사슬
에 대하여, formula_52이며, 이는 사슬의 상계를 이룬다. 초른 보조정리에 따라, formula_45는 극대 원소 formula_54를 갖는다.
이제, formula_55임을 보이면 충분하다. 귀류법을 사용하여, formula_56라고 가정하자. formula_57가 콤팩트 공간이므로 그물 formula_58는 집적점 formula_59를 갖는다. 그렇다면 formula_60는 formula_61의 집적점이다. 따라서 formula_62이며 formula_63이다. 즉, formula_64는 극대 원소가 아니며, 이는 모순이다.
완비 집적점을 통한 증명.
티호노프가 1930년에 발표한 증명은 완비 집적점의 개념과 초한 귀납법을 사용한다. 콤팩트 공간은 모든 무한 집합이 완비 집적점을 가지는 공간과 동치라는 사실을 사용한다.
정렬 정리에 따라, 편의상 어떤 순서수 formula_65에 대하여 formula_66가 formula_67 꼴의 집합이라고 하자. 임의의 무한 집합 formula_68가 완비 집적점을 가짐을 보이는 것으로 족하다. 임의의 formula_69에 대하여, 다음 조건을 만족시키는 formula_70를 찾으면 충분하다.
초한 귀납법에 따라, formula_69이며, formula_74가 위 조건을 만족시킬 때, 위 조건을 만족시키는 formula_70를 찾을 수 있음을 보이면 충분하다. 귀류법을 사용하여 임의의 formula_76에 대하여,
인 유한 집합 formula_78 및 근방
가 존재한다고 가정하자. 그렇다면 formula_81는 유한 부분 덮개 formula_82를 갖는다.
라고 하자. 그렇다면
는 formula_85의 근방이며
이다. 즉, formula_87는 위 조건을 만족시키지 않으며, 이는 모순이다.
티호노프 정리가 선택 공리를 함의함의 증명.
1950년에 켈리는 체르멜로-프렝켈 집합론에서 티호노프 정리가 선택 공리를 함의함을 보였다. 즉 티호노프 정리는 모든 벡터 공간이 기저를 가진다는 명제처럼 선택 공리와 동치인 여러 기본적 명제 중 하나이다.
티호노프 정리를 사용해, 공집합이 아닌 집합들의 곱집합은 공집합이 아님을 보일 수 있다. 이 명제는 물론 선택 공리와 동치이다. 증명에서 가장 어려운 부분은 각 집합을 콤팩트하게 만드는 적당한 위상을 찾는 것인데, 여유한 위상을 약간 수정한 위상이 바로 그 역할을 한다. 티호노프 정리에 따라 곱공간도 콤팩트 공간이 되고, 콤팩트 공간이 유한 교차성을 갖는다는 사실을 이용하면 증명이 끝난다. 다음 증명은 존 리로이 켈리가 제시한 것이다.
이제 곱집합 "X"를 다음과 같이 정의하고,
"X"의 각 원소를 그 "i"번째 성분에 대응시키는 정사영 "πi"를 정의하자.
각 "Xi"에 위상을 주는데, "Xi"의 여유한 부분집합, 공집합, 그리고 한원소집합 {"i"}만이 열린집합이 되도록 한다. 그러면 "Xi"는 콤팩트하고, 티호노프 정리에 따라 "X"도 콤팩트하다. 정사영 "πi"는 연속이고, "Ai"는 {"i"}의 여집합으로서 "Xi"에서 닫힌집합이므로, 역상 "πi"-1("Ai")도 "X"에서 닫힌집합이다. 이때
이다. 이제 각 역상이 공집합이 아니고 유한 교차성을 지님을 보인다. "i1", ..., "iN"이 "I"에 속한 유한 개의 첨수라 하자. 그러면 유한 곱 "Ai1" × ... × "AiN"은 공집합이 아니다. (유한 곱이므로 선택 공리는 불필요하다.) "a" = ("a"1, ..., "aN")가 이 곱집합의 원소라 하자. 이제 "a"를 전체 첨수집합으로 확장하여 함수 "f"를 다음과 같이 정의한다. "f"("j") = "ak" ("j" = "ik"일 때), "f"("j") = "j" (그렇지 않을 때). (각 성분 공간에 한 점을 더한 이유가 바로 여기에 있다. "Xj"에서 점 "j"를 고르는 데는 선택 공리가 필요없으므로, "X"의 한 점 "f"를 선택 공리 없이 구성할 수 있는 것이다.) "πik"("f") = "ak"는 물론 각 "Aik"의 원소이므로, "f"는 각 역상에 모두 속한다. 따라서, 다음을 얻는다.
"X"는 콤팩트 공간으로서 유한 교차성을 지니므로, "I" 전체에서 교집합을 취해도 공집합이 아니다. 이것으로 증명이 끝난다.
응용.
티호노프 정리는 다른 여러 정리의 증명에 쓰인다. 그 중에는 노름 공간의 쌍대 공간의 단위공이 약한-* 위상에서 콤팩트하다는 바나흐-앨러오글루 정리나, 함수열이 균등수렴하는 부분열을 가질 조건을 말하는 아르첼라-아스콜리 정리처럼 특정 공간의 콤팩트성에 관한 정리들이 있다. 또한 겉보기에 콤팩트성과 거리가 멀어 보이는 정리, 이를테면 모든 임계 그래프가 유한 그래프라는 더브라윈-에르되시 정리나 세포 자동자의 위상적 특징에 관한 커티스-헤들런드-린든 정리도 있다.
일반적으로, 단순한 대수적·대수위상적인 대상들을 가지고 콤팩트 공간을 구성할 때는 티호노프 정리가 쓰일 가능성이 크다. 예를 들어 가환 C* 대수의 극대 아이디얼들이 이루는 겔판트 공간, 불 대수의 극대 아이디얼들이 이루는 스톤 공간, 가환 바나흐 환의 베르코비치 스펙트럼 따위가 그렇다.
역사.
1930년에 안드레이 니콜라예비치 티호노프가 닫힌 단위 구간의 곱에 대하여 증명하였다. 그 후 1935년에 티호노프는 정리가 일반적인 경우에도 성립하며 그 증명은 단위 구간의 경우와 똑같다고 적었다.