Definition (sequence)

A sequence on a topological space ${\displaystyle X}$ is a function ${\displaystyle f:\mathbb {N} \to X}$. Alternatively, it is a list ${\displaystyle x_{1},x_{2},x_{3},\ldots }$ where ${\displaystyle x_{i}\in X}$ for all ${\displaystyle i}$. The sequence is often denoted as ${\displaystyle \{x_{n}\}}$

Definition (limit of a sequence)

The point ${\displaystyle x\in X}$ is a limit of the sequence ${\displaystyle \{x_{n}\}}$ if for every neighborhood ${\displaystyle N\ni x}$, there is ${\displaystyle K\in \mathbb {N} }$ such that ${\displaystyle x_{n}\in N}$ for all ${\displaystyle n\geq K}$. In this case, we write ${\displaystyle x_{n}\to x}$ and say that ${\displaystyle \{x_{n}\}}$ converges to ${\displaystyle x}$.

Note that a sequence might have multiple limits. For example, in any space with the indiscrete topology, every sequence converges to every point of the space!

Example

Let ${\displaystyle X=\mathbb {Z} }$ be the set of integers with the topology where ${\displaystyle U\subset X}$ is open if ${\displaystyle |U^{c}|<\infty }$ (called the finite complement topology). Let ${\displaystyle x_{n}=n}$. Then we see that ${\displaystyle x_{n}\to x}$ for any ${\displaystyle x\in X}$. Indeed, note that given any neighborhood ${\displaystyle N\ni x}$, ${\displaystyle N}$ contains all but finitely many points of ${\displaystyle X}$. Let ${\displaystyle K}$ be the maximum of all of the numbers not contained in ${\displaystyle N}$. Then for all ${\displaystyle n>K}$, we see that ${\displaystyle x_{n}=n\in N}$, hence ${\displaystyle x_{n}\to x}$.

Theorem

If a space ${\displaystyle X}$ is Hausdorff and the sequence ${\displaystyle \{x_{n}\}}$ in ${\displaystyle X}$ has a limit, then that limit is unique.

The proof of this theorem is left as an exercise to the student. The hint is to assume that there are two distinct limits and show that this leads to a contradiction.

Theorem

If ${\displaystyle f:X\to Y}$ is a continuous function and ${\displaystyle x_{n}\to x}$ in ${\displaystyle X}$ then ${\displaystyle f(x_{n})\to f(x)}$ in Y.