r103 vs r104 | ||
---|---|---|
... | ... | |
234 | 234 | == 다른 공간에서 극한의 정의 == |
235 | 235 | === 위상공간에서 극한의 정의 === |
236 | 236 | 위상수학에서는 위상에 따른 열린집합(개집합)을 두고 집적점(극한점)을 정의하게 된다. |
237 | ====# 변환 과정 #==== | |
237 | ====# 보통위상[*보통위상]에서 변환하는 과정 #==== | |
238 | 238 | 앞의 [[#엡실론-델타법 정의|엡실론-델타법]]에서 다루는 부등호 식은 바꿔보면 일종의 열린집합과 원소의 포함관계로 표시된다. ([math(A)] 초과 [math(B)] 미만의 모든 점의 집합을 [math(\left( A,\ B\right))]과 같이 열린구간을 표시한다.) |
239 | 239 | |
240 | 240 | ---- |
... | ... | |
285 | 285 | > [math(a)]를 포함하는 열린집합 [math(O_{\delta})]가 존재하여 [math(x \in O_{\delta} \backslash \left\{ a \right\})] 이면 [math(f\left(x\right) \in O_{\epsilon})]일 경우 |
286 | 286 | > 함수 [math(f)]는 [math(x=a)]에서 극한을 가진다고 말한다. |
287 | 287 | |
288 | 여기에서 위상수학에서 다루는 부분으로 넘어가서 정의를 해보자면 몇 가지의 제약조건이 더 생기게 된다. 앞의 [[#엡실론 델타법|엡실론 델타법]]이 집합 [math(\mathbb{R})] | |
288 | 여기에서 위상수학에서 다루는 부분으로 넘어가서 정의를 해보자면 몇 가지의 제약조건이 더 생기게 된다. 앞의 [[#엡실론 델타법|엡실론 델타법]]은 정의역이 보통위상의 집합 [math(\mathbb{R})]이고 공역이 보통위상의 집합 [math(\mathbb{R})]인 함수에 대해서 다뤘다면, 위상공간에서는 일반적으로 위상이 있는 정의역 집합에서 위상이 있는 공역 집합으로 가는 함수에 대해서 다루어야 하며 정의역과 공역은 그 위상이나 집합이 서로 다를 수 있기 때문이다. | |
289 | 289 | |
290 | 290 | 가지는 극한은 위상에 따라 다를 수 있으며 또 유일하지 않을 수 있다. ([math(\mathbb{R})]의 유한여집합위상 등) |
291 | 291 | |
... | ... |