1. Open Sets Question

Let $\displaystyle x \in O$ where $\displaystyle O$ is open. Prove that if $\displaystyle x_{n} \rightarrow x$ then all but a finite number of terms of $\displaystyle (x_{n})$ must be contained in $\displaystyle O$.

2. Hello,

I suggest you go back to the topological definition of the convergence, and refer you to the fact that an open set is a neighbourhood.

By the way, you sure this is a discrete math question, and not rather an analysis question ?

3. Originally Posted by Janu42
Let $\displaystyle x \in O$ where $\displaystyle O$ is open. Prove that if $\displaystyle x_{n} \rightarrow x$ then all but a finite number of terms of $\displaystyle (x_{n})$ must be contained in $\displaystyle O$.
As Moo said that is literally the definition of $\displaystyle x_n\to x$. If this is a metric space and that is not how it's defined, merely note that since $\displaystyle x\in O$ there exists some $\displaystyle \varepsilon>0$ such that $\displaystyle B_{\varepsilon}(x)\subseteq O$. But, by definition there exists some $\displaystyle N\in\mathbb{N}$ such that $\displaystyle N\leqslant n\implies d(x_n,x)<\varepsilon\implies x\in B_{\varepsilon}(x)\implies x\in O$