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