Continuous Function
# Definition 1
Let $(X, \tau), (Y, \rho)$ be Topological Spaces and let $f: X \to Y$ be a Function. Then $f$ is a Continuous Function if $\forall V \in \rho$ $$f^{-1}(V) \in \tau$$
# Remarks
- Sometimes we refer to the Set of Continuous Functions as $C(X, Y)$. If $Y$ is omitted, it is usually understood to be $\mathbb{R}$.
- We may also refer to the Set as $C^{0}(X)$ if we are working in the context of Differentiation
# Properties
- A Function is Continuous iff it preserves Net Convergence
- A Function is Continuous iff it takes Basis Sets back to Open Sets
- A Function is Continuous iff it takes Closed Sets back to Closed Sets
- Continuous Functions Preserve Connectedness
- Continuous Functions Preserve Compactness
- Continuous Functions Preserve Limit Points
- Continuous Functions Preserve Sequence Limits
- Continuous Functions to Hausdorff Spaces are Determined on Dense Sets
# Definition 2
Let $(X, d_{X})$, $(Y, d_{Y})$ be Metric Spaces. Then a Function $f: X \to Y$ is a Continuous Function if for all convergent sequences $x_{n} \to x$ in $X$, $f(x_{n}) \to f(x)$.
# TODO
- Connect together all the different criteria defining Continuous Functions over