[Math] the topology of an infinite cylinder

algebraic-topologygeneral-topologygeometric-topology

Consider an infinitely long straw. This is a genus 1, orientable manifold.

It is not closed because it is infinitely long.

Is there a way I can describe the property that it is "partially closed" or "closed in one direction"?

I hope that this description would also apply to circles (closed) and modular arithmetic (closed).

Best Answer

As a smooth manifold, it's homeomorphic to $S^1 \times (-1, 1)$, with one homeomorphism being $$ (\theta, u) \mapsto \left(\cos \theta, \sin \theta, \tan \left(\frac{\pi}{2} u \right) \right). $$

It's also homotopy-equivalent to $S^1$, via the deformation-retraction

$$ H(\theta, t; s) = (\theta, st) $$ from $S^1 \times (-1, 1)$ onto the subset $S^1 \times \{0\}$.

The key points of these two observation are

  1. "not closed because it's infinitely long" really isn't right -- it's not closed because it's not closed, and this can happen in many ways.

  2. As for "topology" of the cylinder, there are several notions of equivalence in topology, with homeomorphism at one end, and homotopy equivalence being somewhat weaker. Since your shape is homotopy equivalent to a circle, but you regard your shape as "not closed" and the circle as "closed", you probably don't want to use the notion of homotopy equivalence -- it's too weak for your purposes.

Related Question