# Homework 02
## Exercise 1
Let $\left\{ x_n \right\}$ be a real sequence with the limit $a$.
Prove that $\left\{ x_n \right\}$ converges to $a$ **iff**
*every* subsequence of $\left\{ x_n \right\}$ also converges to $a$.
### Proof of $\rightarrow$
Suppose that $\left\{ x_n \right\}$ converges to $a$.
Let $\left\{ x_{n_k} \right\}$ be a subsequence of $\left\{ x_n \right\}$.
Assume that $\varepsilon > 0$.
There exists a positive integer $N$ such that
$\forall n \in \mathbb{N} \ \left( n \ge N
\rightarrow \left| x_n - a \right| < \varepsilon \right)$.
Suppose that $k \ge N$.
Since $\left\{ n_k \right\}$ is a strictly increasing real sequence,
it follows that $n_k \ge k \ge N$. Therefore
$\left| x_{n_k} - a \right| < \varepsilon$.
### Proof of $\leftarrow$
Suppose that every subsequence of $\left\{ x_n \right\}$ converges to $a$.
Since $\left\{ x_n \right\}$ is a subsequence of itself,
we conclude that it converges to $a$.
레이테흐(LaTeX) 수식이 들어간 마크다운(Markdown) 문서를 작성했어요. VS 코드의 Markdown+Math(확장 ID: goessner.mdmath) 확장을 이용하면 이 문서를 HTML 문서로 변환할 수 있습니다.
정말감사합니다. 이 글 예시포함 조언해주신분들 모두 공통적으로 if,for을 남용하면 문장 끝이 어딘지모르겠는 문제가 생기므로 해당표현은 자제하고 문장을 끊어쓰는 연습을 하라고 하시네요.
네, 그러면 글이 더 분명해질 듯해요. 지금 기운이 너무 빠져서 제가 쓴 증명을 한국어로 못 옮기겠네요. 나중에 다른 문제의 한국어 풀이를 한 번 더 보여 주세요!
너무 수고스러운 일을해주시는것같습니다.. 그런데 말씀하신 한국어 풀이란 이미 영어로 써진 제 풀이를 한국어로 그대로 옮긴 버전을 말씀하시는건가요? 아니면 처음부터 한국어로 적은 풀이를 말씀하시는건가요?
아, 처음부터 한국어로 적은 풀이요!
감사합니다
https://m.dcinside.com/board/math/35750
말씀하신 다른 문제의 풀이입니다. 과제땜에 조금 바빠서 이제 올려드리네요ㅠㅠ
Assume that ε > 0 부분은 좀 이상하다고 생각함. suppose와 assume이 미묘하게 다르고 ε이 이전에 나오지 않았으니 어떻게든 선언해주는게 맞지 않나 싶어.
'Let ε > 0.'처럼? 내가 참고한 해석학 교재에서는 'let'을 썼더라. 근데 'let'을 쓴다면 "Let ε be a positive real number."라고 말하는 편이 낫다고 생각했어.
그리고 난 'suppose'와 'assume'가 교환 가능한 단어라고 판단하고 윗글을 썼는데, 둘의 미묘한 차이점이 뭔지는 잘 모르겠어....
Suppose와 assume은
https://faculty.math.illinois.edu/~west/grammar.html#suppose
를 참조
이 글을 책갈피에 저장해 놓기만 하고 살펴보지 않았네. 알려 줘서 고마워! 근데 이 글에 따르면 'suppose'를 써야 할 자리에 'assume'을 쓴 사례가 내 해석학 교재에 약간 있더라. 그래도 이제 둘을 어느 정도 구별해서 쓸게.