극한(비교)

 r81 vs r85
 ...
 || 1 ||[math(x \in D)]이고 [math(x \neq a)], [math(a-\delta < x < a+\delta)]이다. ||[math(x \in D)]이고 [math(x \in \left(a-\delta ,\ a+\delta \right) \backslash \left\{a \right\})]이다. ||
 || 2 ||아무 [math(\epsilon > 0)] 인 [math(\epsilon)]을 잡더라도 [math(L-\epsilon< f\left(x\right) < L+\epsilon)]이다. ||아무 [math(\epsilon > 0)] 인 [math(\epsilon)]을 잡더라도  [math(f\left(x\right) \in \left(L‐\epsilon ,\ L+\epsilon \right))]이다.||
-여기에서 열린구간을 어떤 한 지점을 포함하는 열린집합으로 바꿔 표현할 수 있다.  보통위상에서 어떤 한 지점 [math(p)]을 포함하는 열린집합 [math(O)]를 아무 거나 가져와도 그 지점 [math(p)]는 그 열린집합 [math(O)]의 내점(interior point)이므로 적당한 양수 [math(d)]를 가져오면 [math(p \in \left(p-d,\ p+d \right) \subset O)]가 되기 때문이다.
+여기에서 열린구간을 어떤 한 지점을 포함하는 열린집합으로 바꿔 표현할 수 있다.  보통위상에서 어떤 한 지점 [math(a)]을 포함하는 열린집합 [math(O)]를 아무 거나 가져와도 그 지점 [math(a)]는 그 열린집합 [math(O)]의 내점(interior point)이므로 적당한 양수 [math(\delta)]를 가져오면 [math(a \in \left(a-\delta,\ a+\delta \right) \subset O)]가 되기 때문이다.
+앞에서 [math(x=a)]가 [math(D)]의 집적점(극한점)이라는 조건이 있으니 [math(x=a)]를 포함하는 열린집합 [math(O)]를 아무거나 가져와도 집적점의 정의에 따라 다음을 만족한다.
+||[math(\left( O \backslash \left\{ a \right\} \right) \cap D \neq \emptyset)] ||
+따라서 다음을 만족함을 알 수 있다.
+||[math(O \backslash \left\{ a \right\} \neq \emptyset)] ||
-번 식의 집합식을 다음과 같이 표현할 수 있다.
+이를 이용하여 상기 표의 1번 식의 집합식을 다음과 같이 표현할 수 있다.
 ||[math(x \in D)]이고 열린집합 [math(O_{\delta})]가 존재하여 [math(a \in O_{\delta})]이고 [math(x \in O_{\delta} \backslash \left\{ a \right\})] 이다. ||
-앞에서 [math(x=a)]가 [math(D)]의 집적점(극한점)이라는 조건이 있으니 [math(x=a)]를 포함하는 열린집합 [math(O)]를 아무거나 가져와도 [math(O \backslash \left\{ a \right\} \neq \emptyset)]이다. 다음을 만족함을 알 수 있다.
-||[math(O_{\delta} \backslash \left\{ a \right\} \neq \emptyset)] 이다. ||
+{{{#gray ([math(O_{\delta} \backslash \left\{ a \right\} \neq \emptyset)] 가 된다.  물론 [math(a \in \left(a-\delta,\ a+\delta \right))] 자체가 [math(O_{\delta})]로 될 수 있어 위 식을 [math(O_{\delta})]로 표기하지 않고 [math(O)]로 표기할 수 있겠으나, 델타를 다루는 부분에서 변형되었음을 이해할 수 있도록 편의상 [math(O)] 아래 [math(\delta)]를 붙여둔다.)}}}
+번 식을 보자.  {{{#gray ([math(f\left(x\right))]의 범위를 다루는 부분인데, 변수 하나의 함수는 [math(y=f\left(x\right))] 식으로 나타내기 때문에 여기에서 집합의 지점이나 범위를 언급할 때 편의상 [math(y)]를 들어서 설명한다.)}}} [math(y=L)] 지점을 포함하는 아무 열린집합 [math(O_{\epsilon})]을 가져온다고 하자.
+이 때 [math(O_{\epsilon}\cap\left(L-\epsilon,\ L+\epsilon\right))]은 [math(\left(L-\epsilon,\ L+\epsilon\right))]의 부분집합이 된다. {{{#gray (델타를 언급하는 부분과 같이 여기에서는 엡실론을 언급하므로 [math(O)]에 [math(\epsilon)]을 첨자로 달아놓았다.)}}}
 가지는 극한은 위상에 따라 다를 수 있으며 또 유일하지 않을 수 있다. ([math(\mathbb{R})]의 유한여집합위상 등)
 === 변수가 2개 이상인 경우 ===
 ...