편집을 취소할 수 있습니다. 이 편집을 되돌리려면 아래의 바뀐 내용을 확인한 후 게시해주세요.
최신판 | 당신의 편집 | ||
35번째 줄: | 35번째 줄: | ||
{{숨기기|Proof|<math>A</math>를 <math>X</math>의 부분공간이라 하고, <math>T_X</math>를 <math>X</math>의 여유한위상, <math>\mathcal{T}_A</math>를 <math>T_X</math>에 의해 결정되는 부분공간 위상, <math>\mathcal{T}_f</math>를 <math>A</math> 위의 여유한위상이라 하자. <math>U\in T_A</math>를 고르면, <math>U=O\cap A</math>인 <math>O\in T_X</math>가 존재한다. 그러면 <math>X\setminus O</math>는 유한집합이고, <math>A\setminus U=A\setminus (O\cap A)=A\setminus O \subset X\setminus O</math>이므로 <math>A\setminus U</math>는 유한집합이다. 즉, <math>U\in T_f</math>이고 따라서 <math>T_A\subset T_f</math>이다. 이제 <math>V\in T_f</math>를 고르자. 그러면 <math>V\subset A</math>이고 <math>A\setminus V</math>는 유한집합이다. <math>V=(V\cup (X\setminus A))\cap A</math>이고 <math>X\setminus (V\cup (X\setminus A))=(X\setminus V)\cap A=A\setminus V</math>이므로 <math>V\cup (X\setminus A)\in T_X</math>이다. 즉, <math>V\in T_A</math>이고 따라서 <math>T_f \subset T_A</math>이다. 결국 <math>T_A=T_f</math>임을 알 수 있다.}} | {{숨기기|Proof|<math>A</math>를 <math>X</math>의 부분공간이라 하고, <math>T_X</math>를 <math>X</math>의 여유한위상, <math>\mathcal{T}_A</math>를 <math>T_X</math>에 의해 결정되는 부분공간 위상, <math>\mathcal{T}_f</math>를 <math>A</math> 위의 여유한위상이라 하자. <math>U\in T_A</math>를 고르면, <math>U=O\cap A</math>인 <math>O\in T_X</math>가 존재한다. 그러면 <math>X\setminus O</math>는 유한집합이고, <math>A\setminus U=A\setminus (O\cap A)=A\setminus O \subset X\setminus O</math>이므로 <math>A\setminus U</math>는 유한집합이다. 즉, <math>U\in T_f</math>이고 따라서 <math>T_A\subset T_f</math>이다. 이제 <math>V\in T_f</math>를 고르자. 그러면 <math>V\subset A</math>이고 <math>A\setminus V</math>는 유한집합이다. <math>V=(V\cup (X\setminus A))\cap A</math>이고 <math>X\setminus (V\cup (X\setminus A))=(X\setminus V)\cap A=A\setminus V</math>이므로 <math>V\cup (X\setminus A)\in T_X</math>이다. 즉, <math>V\in T_A</math>이고 따라서 <math>T_f \subset T_A</math>이다. 결국 <math>T_A=T_f</math>임을 알 수 있다.}} | ||
* <math>X</math>가 [[연결공간]]일 필요충분조건은 <math>X</math>가 한원소집합이거나 무한집합인 것이다. | * <math>X</math>가 [[연결공간]]일 필요충분조건은 <math>X</math>가 한원소집합이거나 무한집합인 것이다. | ||
* <math>X</math>가 한원소집합이 아닌 가산집합이면 경로연결공간이 아니다. <math>|X|\ge |\mathbb{R}|</math>이면 <math>X</math>는 경로연결공간이다. | |||
* <math>X</math>가 한원소집합이 아닌 가산집합이면 경로연결공간이 아니다. | |||
* <math>X</math>의 임의의 부분공간은 [[콤팩트공간]]이다. | * <math>X</math>의 임의의 부분공간은 [[콤팩트공간]]이다. | ||
{{숨기기|Proof|<math>X</math>의 열린덮개를 <math>\mathcal{O}</math>라 하자. <math>\mathcal{O}</math>의 원소 <math>O</math>를 하나 고르면 <math>X\setminus O</math>는 유한집합이고, 따라서 <math>X\setminus O=\{x_1,\dots, x_n\}</math>로 쓸 수 있다. 즉, <math>O</math>는 <math>x_1,\dots, x_n</math>을 제외한 <math>X</math>의 모든 원소를 포함한다. 한편 각 <math>x_i</math>에 대해 <math>x_i \in O_i</math>인 <math>O_i\in \mathcal{O}</math>가 존재한다. 그러면 <math>X=O \cup \bigcup_{i=1}^n O_i</math>이므로 <math>\{O,O_1,\dots, O_n\}</math>이 <math>X</math>의 유한 열린덮개임을 알 수 있다.}} | {{숨기기|Proof|<math>X</math>의 열린덮개를 <math>\mathcal{O}</math>라 하자. <math>\mathcal{O}</math>의 원소 <math>O</math>를 하나 고르면 <math>X\setminus O</math>는 유한집합이고, 따라서 <math>X\setminus O=\{x_1,\dots, x_n\}</math>로 쓸 수 있다. 즉, <math>O</math>는 <math>x_1,\dots, x_n</math>을 제외한 <math>X</math>의 모든 원소를 포함한다. 한편 각 <math>x_i</math>에 대해 <math>x_i \in O_i</math>인 <math>O_i\in \mathcal{O}</math>가 존재한다. 그러면 <math>X=O \cup \bigcup_{i=1}^n O_i</math>이므로 <math>\{O,O_1,\dots, O_n\}</math>이 <math>X</math>의 유한 열린덮개임을 알 수 있다.}} |