로그인하고 있지 않습니다. 편집하면 당신의 IP 주소가 공개적으로 기록됩니다. 계정을 만들고 로그인하면 편집 시 사용자 이름만 보이며, 위키 이용에 여러 가지 편의가 주어집니다.스팸 방지 검사입니다. 이것을 입력하지 마세요!====이게 대체 뭘까?==== 컴팩트(긴밀, compact)라는 단어는 빽빽하다는 뜻인데, 수학적으로 빽빽하다는 것을 어떻게 표현할지 고민하다가 나온 정의다. 덕분에 정의만 봐서 그 의미를 제대로 이해하기가 쉽지 않다. 하지만, 거리공간 <math>X</math>에 한정해서, <math>X</math>가 컴팩트함은 ''<math>S \subset X </math>가 무한 부분집합이면, S는 집적점 (limit point)를 갖는다''와 동치이다(볼차노-바이어슈트라스 정리). 즉, 집합 안에서 열심히 뛰어다녀봤자 어떤 점에는 무한히 가까이 다가간다는 것이다. 다른말로 "부처님 손바닥 안"이라는 것! 이 조건이 의미하는 바를 설명하기 위해 두 가지 예를 들어보겠다. 예를 들어서, 2차원 평면에 있는 단위원 <math> D = \{ (x,y)\in \mathbb R^2 | x^2+y^2<1\}</math> 의 경우, <math> S= \{ (0,0), (\frac12, 0), (\frac23,0), (\frac 34,0) , \cdots\}</math>라는 수열을 생각해보자. 이 수열을 <math> \mathbb R^2</math>에서 보면 <math> (1,0)</math>이라는 집적점 (limit point)가 있다는 것이 명백하다. 하지만 <math> D </math>에서만 생각을 한다면 <math> S </math>라는 수열은 그 어느 점에도 무한히 가까이 가지 않는다. <math> D </math>는 거리공간이기 때문에 (2차원에서 원래 거리를 재듯이 똑같이 거리함수를 주면 된다) 위에서 말한 동치조건 때문에 <math> D</math>는 컴팩트하지 않음을 알 수 있다. (물론, <math> D</math>에 통상적인 위상을 줬을 때만을 이야기하는 것이다. <math> D </math>에 indiscrete topology를 주면 컴팩트해진다. 위상을 처음 공부하는 사람들은 "통상적으로 다루는 위상"이 있다는 것에 익숙해지자.) 한편 <math> \bar D = \{ (x,y)\in \mathbb R^2 | x^2+y^2\leq 1\}</math>을 생각하자. 여기 위에서 수열을 잡으면 항상 집적점이 생기기 마련이다. 그 직관을 이야기하자면, 유한 집합 안에 무한집합을 우겨넣었을 때 서로 무한히 가까워지기 때문에 "바깥"으로 도망가는 길만이 집적점을 만들지 않는 것이지만, 밖으로 도망가봤자 <math> \bar D</math>에는 <math> D</math>와는 달리 울타리 (단위원!)이 길을 가로막고 있으므로 어느 수열을 잡아도 어떤 점에는 무한히 가까워질 수밖에 없는 것이다. 물론 이상은 직관을 설명한 것이고, 엄밀하게 다루는 것은 또 다르다. 심심하면 혼자 힘으로 <math> \bar D</math>의 모든 무한 부분집합은 집적점이 생길 수밖에 없음을 증명해보아라. 이렇게, 컴팩트하다는 건 점들이 서로 빽빽하게 모여 있으며 넘쳐흐르지 않는다고 생각할 수 있다. 위의 직관적인 성질, 즉 ''<math>S \subset X </math>가 무한 부분집합이면, S는 집적점 (limit point)를 갖는다''에는 따로 이름이 붙어 있다: 집적점 컴팩트함 (limit point compactness)이라고 한다. 위에서 말했듯이, 거리공간에서는 컴팩트함과 집적점 컴팩트함이 동치이다. 일반적인 공간에서는 모든 컴팩트 집합이 집적점-컴팩트 집합이긴 하지만 역은 성립하지 않는다. 집적점 컴팩트함의 직관적인 정의를 두고 열린 덮개에 대한 원래 정의를 고수하는 것은 원래대로 정의했을 때 더 활용도가 많기 때문이다. ([http://arxiv.org/pdf/1006.4131.pdf 컴팩트 정의의 역사]) 결국 수학을 심도있게 공부하려면 컴팩트함의 원래 정의를 제대로 곱씹을 필요가 있기에 열린 덮개에 대해서 골머리 썩이는 건 보통 불가피하지만, 이상의 <math> D</math>와 <math> \bar D</math>를 생각하며 직관이라도 알아두면 많이 편리할 것이다. 요약: 리브레 위키에서의 모든 기여는 크리에이티브 커먼즈 저작자표시-동일조건변경허락 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: Ă ă Ğ ğ Ŏ ŏ Ŭ ŭ · Ā ā Ē ē Ī ī Ō ō Ū ū · à ã Ñ ñ Õ õ · Å å Ů ů · Ą ą Ę ę · Ç ç Ş ş Ţ ţ · Ő ő Ű ű · Ș ș Ț ț