This site is devoted to mathematics and its applications. Created and run by Peter Saveliev.

# Cylinder

### From Mathematics Is A Science

## 1 As a quotient space

Represent the cylinder as a quotient space of a square.

One can glue the two opposite edges of the square to create a **cylinder**. Here

$$X = [0,1] \times [0,1] = \{(x,y): x \in [0,1], y \in [0,1] \}.$$

And the equivalence relation is given by

What happens to the topology? The preimage of an open disk under the quotient map is either a disk or the union of two half-disks at the edge.

The green arrows in the image above indicate how the two edges are attached to each other. If you reverse the orientation, you will get the Mobius band.

## 2 As a parametrized surface

Let's parametrize it. The idea is to take the plane (the input space) and roll it into the cylinder (the image).

We want:

To guarantee that we define $$f: \left| \begin{array}{} x_1 = f_1(x,y), x{\rm -axis \hspace{3pt} only} \\ x_2 = f_2(x,y), x{\rm -axis \hspace{3pt} only} \\ x_3 = f_3(x,y), {\rm \hspace{3pt} with \hspace{3pt}} f_3(x,y)=y. \end{array} \right|$$

So,

$$x_3 = f_3( x, y ) = f_3( 0, y ) = y.$$

($y = 0$, $x$-axis, it is rolled into a circle):

So we want to parametrize the circle $$f_1( x, y ) = \sin x$$

$$f( x, y ) = ( \sin x, \cos x, y ).$$

Further rolling will create a torus.

## 3 As a product

The cylinder is the product of the circle and the interval. Hence its homology can be computed via the Kunneth theorem.