편집을 취소할 수 있습니다. 이 편집을 되돌리려면 아래의 바뀐 내용을 확인한 후 게시해주세요.
최신판 | 당신의 편집 | ||
38번째 줄: | 38번째 줄: | ||
<math>\mathcal{T}= \left\{ U \subset X | X \setminus U \right\} \cup \left\{ \emptyset \right\} </math>이라 하고 <math>X \setminus U</math>를 유한집합이라 하면 [[여유한위상]](cofinite topology, finite complement topology)가 되고 가산집합이라 하면 [[여가산위상]](cocountable topology, countable complement topology)라 한다. 여유한 위상은 여집합이 유한집합이면 열린집합, 여가산위상은 가산집합이면 열린집합이라 보겠다는 것이다. 기묘하게 보이는 정의겠지만 위상의 정의에 의해 조건을 맞춰보면 다 성립한다. | <math>\mathcal{T}= \left\{ U \subset X | X \setminus U \right\} \cup \left\{ \emptyset \right\} </math>이라 하고 <math>X \setminus U</math>를 유한집합이라 하면 [[여유한위상]](cofinite topology, finite complement topology)가 되고 가산집합이라 하면 [[여가산위상]](cocountable topology, countable complement topology)라 한다. 여유한 위상은 여집합이 유한집합이면 열린집합, 여가산위상은 가산집합이면 열린집합이라 보겠다는 것이다. 기묘하게 보이는 정의겠지만 위상의 정의에 의해 조건을 맞춰보면 다 성립한다. | ||
https://www.youtube.com/watch?v=SyD4p8_y8Kw | |||
==위상공간의 모델: 거리공간== | ==위상공간의 모델: 거리공간== |