일반위상수학에서, '''티호노프 )는 임의의 수의 콤팩트 공간들의 곱공간이 콤팩트 공간이라는 정리다. 우리손 보조정리와 함께 일반위상수학에서 가장 중요한 결과 하나로 꼽힌다. == 정의 == '''티호노프 정리'''에 따르면, 콤팩트 공간들의 집합 곱공간 콤팩트 공간이다. 체르멜로-프렝켈 집합론의 공리들을 가정하면, 티호노프 정리는 선택 공리와 동치이다. === 선택 공리와의 관계 === 체르멜로-프렝켈 집합론에서 다음 명제들 역시 서로 동치이다. 콤팩트 하우스도르프 공간들의 곱공간은 콤팩트 공간이다. 모든 필터는 극대 필터에 포함된다. 모든 그물은 극대 부분 그물을 가진다. 아이디얼 정리(BPI) ZF+BPI는 ZF보다 강하고 ZFC보다 약한 이론이다. 티호노프 정리를 여러 종류의 공간에 제한시켰을 얼마나 강력한가는 집합론적 위상수학에서 활발히 연구되는 문제이다. === 장소 === 장소에 대한 티호노프 정리는 선택 공리나 아이디얼 정리를 가정하지 않아도 성립한다. == 증명 == 티호노프 정리는 여러 방법으로 증명할 있다. 물론 모든 증명은 선택 공리의 형태를 사용한다. === 부분 기저를 통한 증명 === 알렉산더 부분 기저 정리를 알면 티호노프 정리가 필터나 그물의 개념 없이 쉽게 따라나온다. 알렉산더 부분 기저 정리에 따르면 부분 기저가 주어진 위상 공간이 콤팩트 공간일 필요충분조건은 부분 기저 속의 열린집합들로 구성된 모든 덮개가 유한 부분 덮개를 갖는 것이다. 하지만 알렉산더 부분 기저 정리 자체의 증명은 보통 필터를 사용한다. 곱공간 표준적인 부분 기저 갖는다. 여기서 곱공간에서 번째 성분으로 가는 사영 함수이다. 이제, 부분 기저의 부분 집합 덮개를 이루는 유한 부분 집합을 갖지 않는다고 가정하자. 그렇다면 덮개가 아님을 보이는 것으로 족하다. 임의의 대하여, 모든 유한 부분 집합은 덮개가 아니며, 콤팩트 공간이므로 덮개가 아니다. 선택 공리에 따라 이다. 즉, 덮개가 아니다. === 극대 필터를 통한 증명 === 보다 현대적인 증명으로, 앙리 카르탕이 제시하고 부르바키가 발전시킨 필터의 수렴 이론을 사용하는 것이 있다. 어느 위상 공간이 콤팩트 공간임은 공간의 모든 극대 필터가 수렴함과 동치이다. 극대 필터에 연속 함수를 가한 필터는 다시 극대 필터이며, 특히 연속 함수는 곱공간에서 성분 공간으로 가는 사영으로 취할 있다. 마지막으로 곱공간 위의 필터가 수렴하는 것은 성분으로 사영한 필터들이 모두 수렴하는 것과 동치이다. 결과들로부터 티호노프 정리를 비교적 짧게 증명할 있다. 제임스 멍크레스의 위상수학 교과서에는 카르탕의 증명을 필터 이론의 용어를 사용하지 않도록 수정한 증명이 나와 있다. 곱공간 위의 임의의 극대 필터 수렴함을 보이는 것으로 족하다. 임의의 대하여, 위의 극대 필터이며 (는 상폐포), 콤팩트 공간이므로 이는 어떤 수렴한다. (의 극한은 유일하지 않을 있으며, 대하여 하나의 극한 취하는 것은 선택 공리를 필요로 한다.) 따라서 수렴한다. === 극대 그물을 통한 증명 === 필터와 그물의 대응 관계에 따라 극대 필터를 통한 증명을 그물의 언어로 번역할 있다. 임의의 극대 그물 수렴함을 보이는 것으로 족하다. 임의의 대하여, 위의 극대 그물이며, 콤팩트 공간이므로 존재한다. (각 그물 극한 취하는 데에는 선택 공리가 필요하다.) 따라서 이다. === 그물의 집적점을 통한 증명 === 다음은 처노프가 1992년에 발표한 증명이다. 그물의 개념을 사용하지만 극대 그물은 사용하지 않는다. 증명은 먼저 그물의 부분 집적점()의 개념을 도입하여 극대 부분 집적점의 존재를 보인 극대 부분 집적점이 사실 그물의 집적점임을 보인다. 곱공간 위의 임의의 그물 집적점을 가짐을 보이는 것으로 족하다. 꼴의 그물들의 집적점 들의 집합이라고 하자. 위에 다음과 같은 부분 순서를 있다. 임의의 사슬 대하여, 이며, 이는 사슬의 상계를 이룬다. 초른 보조정리에 따라, 극대 원소 갖는다. 이제, 임을 보이면 충분하다. 귀류법을 사용하여, 라고 가정하자. 콤팩트 공간이므로 그물 집적점 갖는다. 그렇다면 집적점이다. 따라서 이며 이다. 즉, 극대 원소가 아니며, 이는 모순이다. === 완비 집적점을 통한 증명 === 티호노프가 1930년에 발표한 증명은 완비 집적점의 개념과 초한 귀납법을 사용한다. 콤팩트 공간은 모든 무한 집합이 완비 집적점을 가지는 공간과 동치라는 사실을 사용한다. 정렬 정리에 따라, 편의상 어떤 순서수 대하여 꼴의 집합이라고 하자. 임의의 무한 집합 완비 집적점을 가짐을 보이는 것으로 족하다. 임의의 대하여, 다음 조건을 만족시키는 찾으면 충분하다. 임의의 근방 대하여, 초한 귀납법에 따라, 이며, 조건을 만족시킬 때, 조건을 만족시키는 찾을 있음을 보이면 충분하다. 귀류법을 사용하여 임의의 대하여, 유한 집합 근방 존재한다고 가정하자. 그렇다면 유한 부분 덮개 갖는다. 라고 하자. 그렇다면 근방이며 이다. 즉, 조건을 만족시키지 않으며, 이는 모순이다. === 티호노프 정리가 선택 공리를 함의함의 증명 === 1950년에 켈리는 체르멜로-프렝켈 집합론에서 티호노프 정리가 선택 공리를 함의함을 보였다. 티호노프 정리는 모든 벡터 공간이 기저를 가진다는 명제처럼 선택 공리와 동치인 여러 기본적 명제 하나이다. 티호노프 정리를 사용해, 공집합이 아닌 집합들의 곱집합은 공집합이 아님을 보일 있다. 명제는 물론 선택 공리와 동치이다. 증명에서 가장 어려운 부분은 집합을 콤팩트하게 만드는 적당한 위상을 찾는 것인데, 여유한 위상을 약간 수정한 위상이 바로 역할을 한다. 티호노프 정리에 따라 곱공간도 콤팩트 공간이 되고, 콤팩트 공간이 유한 교차성을 갖는다는 사실을 이용하면 증명이 끝난다. 다음 증명은 리로이 켈리가 제시한 것이다. {''Ai''}가 공아닌 집합들의 첨수집합족이라고 하자. 이때 ''i''는 첨수집합 ''I''에 속한다. 집합들의 곱이 공집합이 아님을 보이려고 한다. ''i''에 대해, 집합 ''Ai''에 ''i''를 더한 집합을 ''Xi''라 하자. (이때 첨수를 적당히 바꿔서 ''i''가 ''Ai''의 원소가 아니게 있다. 그러면 단순히 ''Xi'' ''Ai'' {''i''}이라고 생각하면 된다.) 이제 곱집합 ''X''를 다음과 같이 정의하고, ''X''의 원소를 ''i''번째 성분에 대응시키는 정사영 ''πi''를 정의하자. ''Xi''에 위상을 주는데, ''Xi''의 여유한 부분집합, 공집합, 그리고 한원소집합 {''i''}만이 열린집합이 되도록 한다. 그러면 ''Xi''는 콤팩트하고, 티호노프 정리에 따라 ''X''도 콤팩트하다. 정사영 ''πi''는 연속이고, ''Ai''는 {''i''}의 여집합으로서 ''Xi''에서 닫힌집합이므로, 역상 ''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년에 티호노프는 정리가 일반적인 경우에도 성립하며 증명은 단위 구간의 경우와 똑같다고 적었다. == 각주 == == 참고 문헌 == == 외부 링크 == 분류:일반위상수학 분류:위상수학 정리 분류:선택 공리