| r22 vs r23 | ||
|---|---|---|
| ... | ... | |
| 57 | 57 | === 위상공간 === |
| 58 | 58 | 실수체계의 모든 열린집합들은 [math(\mathbb{R})]의 부분집합이다. 이것 그리고 열린집합의 성질을 --퍼가요~♡-- 따와서 일반적인 집합으로 다루는 범위를 넓힌다. {{{#gray 미지수나 변수를 흔히 [math(x)], [math(y)]로 적는 것처럼}}} 다룰 집합을 [math(X)], [math(Y)] 등으로 적는다. |
| 59 | 59 | |
| 60 | 집합 [math(X)]가 있으면 {{{#gray 집합 [math(X)]의 모든 부분집합들을 원소로 가지는 집합인}}} 멱집합 [math(\mathcal{P}\left(X\right))]이 있는데, 몇 열린집합의 성질을 포함한 일정 규칙을 만족하도록 해당 멱집합의 부분집합을 일종의 구조(집합)로서 가져오고, 그런 구조(집합)의 요소(원소)를 열린집합으로 둔다. (당연히 구조가 다르면 그 구성요소도 다르다.) 여기에서 실수체계의 열린집합과 비교해볼 수 있다. | |
| 61 | ||
| 60 | 집합 [math(X)]가 있으면 {{{#gray 집합 [math(X)]의 모든 부분집합들을 원소로 가지는 집합인}}} 멱집합 [math(\mathcal{P}\left(X\right))]이 있는데, 몇 열린집합의 성질을 포함한 일정 규칙을 만족하도록 해당 멱집합의 부분집합을 일종의 구조(집합)로서 가져오고, 그런 구조(집합)의 요소(원소)를 열린집합으로 둔다. (당연히 구조가 다르면 그 구성요소도 다르다.) 여기에서 상기의 실수체계의 열린집합과 비교해볼 수 있다. | |
| 61 | || 실수집합 (비교할 대상) || 일반적인 집합 || | |
| 62 | ||실수집합 [math(\mathbb{R})]과 그 멱집합 [math(\mathcal{P}\left(\mathbb{R}\right))]||집합 [math(X)]와 그 멱집합 [math(\mathcal{P}\left(X\right))]|| | |
| 63 | ||{{{#!wiki | |
| 64 | [math(\mathcal{P}\left(\mathbb{R}\right))]의 부분집합 [math(\mathcal{U})]가 존재하여 다음을 만족한다. | |
| 65 | 1. [math(\emptyset,\ \mathbb{R} \in \mathcal{U})]}}}||{{{#!wiki | |
| 66 | [math(\mathcal{P}\left(X\right))]의 부분집합 [math(T)]가 존재하여 다음을 만족한다. | |
| 67 | 1. [math(\emptyset,\ X \in T)]}}}|| |