경고 : 최신판이 아닙니다. 이 문서의 오래된 판을 편집하고 있습니다. 이것을 저장하면, 이 판 이후로 바뀐 모든 편집이 사라집니다. 로그인하고 있지 않습니다. 편집하면 당신의 IP 주소가 공개적으로 기록됩니다. 계정을 만들고 로그인하면 편집 시 사용자 이름만 보이며, 위키 이용에 여러 가지 편의가 주어집니다.스팸 방지 검사입니다. 이것을 입력하지 마세요![[위상공간]] ''X''의 서로 다른 임의의 점 <math>a,b\in X</math>에 대해 [[서로소]]인 [[열린 집합]] <math>U,V\subseteq X</math>가 존재해 <math>a\in U, b\in V</math>이면 ''X''를 '''하우스도르프 공간(Hausdorff space)''', 또는 '''<math>T_2</math> 공간'''이라고 한다. == 예시 == * 모든 [[거리공간]]은 하우스도르프 공간이다. == 성질 == * 하우스도르프 공간에서 [[수열의 극한|수렴하는 점열]]의 극한값은 유일하다. 하우스도르프 공간 ''X''에서 수렴하는 점열 <math>(x_n)</math>의 서로 다른 극한값이 <math>a,b</math>라고 가정하자. 그러면 하우스도르프 공간의 정의에 의해 [[서로소]]인 <math>O_a,O_b\subseteq X</math>가 존재해 <math>a\in O_a , b\in O_b</math>이다. 그리고 <math>(x_n)</math>이 수렴하므로 <math>N_a,N_b\in\mathbb{N}</math>이 존재하여 임의의 자연수 <math>n > N_a , n > N_b </math>에 대해 <math>x_n \in O_a , x_n \in O_b</math>이므로 <math>n > \max\{N_a,N_b\}</math>에 대해 <math>x_n \in O_a \cap O_b</math>이다. 그런데 <math>O_a, O_b</math>가 서로소이므로 <math>O_a \cap O_b = \emptyset</math>이고, 원소가 [[공집합]]에 포함된다는 것은 [[모순]]이다. 따라서 <math>(x_n)</math>의 극한값이 둘 이상일 수는 없다. * 하우스도르프 공간이 되는 성질은 [[위상적 성질]]이다. 위상공간 \(X\)가 하우스도르프 공간이고 \(Y\)가 위상공간이며, \(f:X\to Y\)는 [[위상동형사상]]이라고 하자. 그러면 임의의 \(y_1,y_2\in Y\)에 대해 \(f^{-1}\)이 존재하므로 \(f^{-1}(y_1),f^{-1}(y_2)\in X\)가 존재한다. \(y_1\ne y_2\)이면 \(f^{-1}\)이 일대일 함수이기 때문에 \(f^{-1}(y_1)\ne f^{-1}(y_2)\)이므로 하우스도르프 공간의 정의에 의해 열린 집합 \(U,V\in X\)가 존재해 \(f^{-1}(y_1)\in U,f^{-1}(y_2)\in V\)이고 \(U \cap V=\emptyset\)이다. 그러면 \(y_1=f(f^{-1}(y_1))\in f(U)\)이고 \(y_2=f(f^{-1}(y_2))\in f(V)\)이다. \(f^{-1}\)이 연속이므로, \(f\)는 [[열린 사상]]이고 따라서 \(f(U),f(V)\)는 열린 집합이다. \(y'\in f(U)\cap f(V)\)인 \(y'\in Y\)가 존재한다고 가정하자. 그러면 \(y'\in f(U)\)이고 \(y'\in f(V)\)이므로 \(y'=f(x_U),y'=f(x_V)\)인 \(x_U\in U, x_V\in V\)가 존재하고, \(U,V\)가 서로소이므로 \(x_U\ne x_V\)이다. 즉 \(f\)가 일대일 함수라는 것에 모순이므로 \(f(U)\cap f(V)=\emptyset\)이어야 한다. 따라서 원하는 결론을 얻는다. * 하우스도르프 공간이 되는 성질은 [[계승적 성질]]이다. 하우스도르프 공간 \(X\)의 [[부분공간 위상|부분공간]]을 \(A\)라고 하자. 그러면 임의의 \(a,b\in A\)에 대해 서로소인 열린 집합 \(U,V\)가 존재해 \(a\in U,b\in V\)이다. 그러면 임의의 \(a,b\in A\)에 대해 \(U\cap A,V\cap A\)는 \(A\)에서 서로소인 열린 집합이고 \(a\in U\cap A,b\in V\cap A\)이다. 따라서 \(A\)는 하우스도르프 공간이다. [[분류:위상수학]] 요약: 리브레 위키에서의 모든 기여는 크리에이티브 커먼즈 저작자표시-동일조건변경허락 3.0 라이선스로 배포됩니다(자세한 내용에 대해서는 리브레 위키:저작권 문서를 읽어주세요). 만약 여기에 동의하지 않는다면 문서를 저장하지 말아 주세요. 글이 직접 작성되었거나 호환되는 라이선스인지 확인해주세요. 리그베다 위키, 나무위키, 오리위키, 구스위키, 디시위키 및 CCL 미적용 사이트 등에서 글을 가져오실 때는 본인이 문서의 유일한 기여자여야 하고, 만약 본인이 문서의 유일한 기여자라는 증거가 없다면 그 문서는 불시에 삭제될 수 있습니다. 취소 편집 도움말 (새 창에서 열림) | () [] [[]] {{}} {{{}}} · <!-- --> · [[분류:]] · [[파일:]] · [[미디어:]] · #넘겨주기 [[]] · {{ㅊ|}} · <onlyinclude></onlyinclude> · <includeonly></includeonly> · <noinclude></noinclude> · <br /> · <ref></ref> · {{각주}} · {|class="wikitable" · |- · rowspan=""| · colspan=""| · |} {{lang|}} · {{llang||}} · {{인용문|}} · {{인용문2|}} · {{유튜브|}} · {{다음팟|}} · {{니코|}} · {{토막글}} {{삭제|}} · {{특정판삭제|}}(이유를 적지 않을 경우 기각될 가능성이 높습니다. 반드시 이유를 적어주세요.) {{#expr:}} · {{#if:}} · {{#ifeq:}} · {{#iferror:}} · {{#ifexist:}} · {{#switch:}} · {{#time:}} · {{#timel:}} · {{#titleparts:}} __NOTOC__ · __FORCETOC__ · __TOC__ · {{PAGENAME}} · {{SITENAME}} · {{localurl:}} · {{fullurl:}} · {{ns:}} –(대시) ‘’(작은따옴표) “”(큰따옴표) ·(가운뎃점) …(말줄임표) ‽(물음느낌표) 〈〉(홑화살괄호) 《》(겹화살괄호) ± − × ÷ ≈ ≠ ∓ ≤ ≥ ∞ ¬ ¹ ² ³ ⁿ ¼ ½ ¾ § € £ ₩ ¥ ¢ † ‡ • ← → ↔ ‰ °C µ(마이크로) Å °(도) ′(분) ″(초) Α α Β β Γ γ Δ δ Ε ε Ζ ζ Η η Θ θ Ι ι Κ κ Λ λ Μ μ(뮤) Ν ν Ξ ξ Ο ο Π π Ρ ρ Σ σ ς Τ τ Υ υ Φ φ Χ χ Ψ ψ Ω ω · Ά ά Έ έ Ή ή Ί ί Ό ό Ύ ύ Ώ ώ · Ϊ ϊ Ϋ ϋ · ΐ ΰ Æ æ Đ(D with stroke) đ Ð(eth) ð ı Ł ł Ø ø Œ œ ß Þ þ · Á á Ć ć É é Í í Ĺ ĺ Ḿ ḿ Ń ń Ó ó Ŕ ŕ Ś ś Ú ú Ý ý Ź ź · À à È è Ì ì Ǹ ǹ Ò ò Ù ù · İ Ż ż ·  â Ĉ ĉ Ê ê Ĝ ĝ Ĥ ĥ Î î Ĵ ĵ Ô ô Ŝ ŝ Û û · Ä ä Ë ë Ï ï Ö ö Ü ü Ÿ ÿ · ǘ ǜ ǚ ǖ · caron/háček: Ǎ ǎ Č č Ď ď Ě ě Ǐ ǐ Ľ ľ Ň ň Ǒ ǒ Ř ř Š š Ť ť Ǔ ǔ Ž ž · breve: Ă ă Ğ ğ Ŏ ŏ Ŭ ŭ · Ā ā Ē ē Ī ī Ō ō Ū ū · à ã Ñ ñ Õ õ · Å å Ů ů · Ą ą Ę ę · Ç ç Ş ş Ţ ţ · Ő ő Ű ű · Ș ș Ț ț 이 문서에서 사용한 틀: 틀:분리공리 (편집)