A topological surface can be pretty strange (consider, for instance, covers of $S^{2}-K$, where $K$ is a Cantor set.) Can every orientable topological surface be topologically embedded in $\mathbb{R}^{3}$?



Does every orientable surface embed in $\mathbb{R}^{3}$
Expanding slightly on my comment above: here is how one can get the embedding theorem from the classification theorem.


The classification theorem for non-compact surfaces (theorem 3 in <http://www.ams.org/journals/tran/1963-106-02/S0002-9947-1963-0143186-0/S0002-9947-1963-0143186-0.pdf>; by the way, the comment links to a version that tries to charge one $30 unless one's reading this from a university account; sorry about that; this has been fixed now) states that


Every surface is homeomorphic to a surface formed from a sphere $\Sigma$ by first removing a closed totally disconnected set $X$ from $\Sigma$, then removing the interiors of a finite or infinite sequence $D\_1,D\_2,\ldots$ of nonoverlapping closed discs in $\Sigma - X$, and finally suitably identifying the boundaries of these discs in pairs. (It may be necessary to identify the boundary of one disc with itself to produce an odd "cross cap.'')[...]


To get a proper embedding in $\mathbb{R}^3$ first note that one may assume that $X$ is non-empty; otherwise the surface will be compact (since we are throwing away something open and then identifying something), in which case everything is clear. Let $f:\Sigma\to [0,\infty)$ be a smooth function such that $f^{-1}(0)=X$.


Take an $x\_0\in X$ and identify $\Sigma\setminus \{x\_0\}=S^2\setminus \{x\_0\}$ with $\mathbb{R}^2\subset\mathbb{R}^3$. First we properly embed $\Sigma-X=\mathbb{R}^2\setminus X$ in $\mathbb{R}^3$ as the graph of the function $\frac{1}{f}$.


Let $D\_i,D\_j$ be two disks whose boundaries are to be identified. There is an $\varepsilon(D\_i,D\_j)>0$ such that one can join $D\_i$ and $D\_j$ with a curve $\gamma(D\_i,D\_j)\subset \Sigma$ that misses $f^{-1}([0,\varepsilon(D\_i,D\_j)))$. Now delete the portion of the graph over the interiors of $D\_i$ and $D\_j$, attach vertical tubes ("chimneys") that reach at least as high as $1/\varepsilon(D\_i,D\_j)$ to the resulting boundaries, and then connect the tops of the chimneys with a horizontal tube along $\gamma(D\_i,D\_j)$.


If $D\_k,D\_l$ are two other disks that we must throw away and then glue the boundaries we proceed in a similar way but this time we may have to make the chimneys higher so that they miss the first tube. And so on. It is not hard to see that each ball centered at the origin intersects only finitely many tubes.


