Definition:Möbius Strip/Formal Construction
Jump to navigation
Jump to search
Definition
Let $T$ be the square embedded in the Cartesian plane defined as:
- $T = \closedint 0 1 \times \closedint 0 1$
Let $T'$ be the quotient space formed from $T$ using the identification mapping $p: T \to T'$ as follows:
- $\forall \tuple {x, y} \in T: \map p {x, y} = \begin {cases} \tuple {1, 1 - y} & : x = 0 \\ \paren {x, y} & : x \ne 0 \end {cases}$
Then $T'$ is a Möbius strip.
Thus each point $\tuple {0, y}$ is mapped together with the point $\tuple {1, 1 - y}$ into the same point such that the set $\set 0 \times \closedint 0 1$ is mapped to $\set 1 \times \closedint 0 1$ but such that they are in the opposite direction.
Sources
- 1975: W.A. Sutherland: Introduction to Metric and Topological Spaces ... (previous) ... (next): $3$: Continuity generalized: topological spaces: $3.8$: Quotient spaces