Mobius strip - Revision history

Vipul: 2 revisions

2008-05-11T19:54:16Z

2 revisions

← Older revision	Revision as of 19:54, 11 May 2008
(No difference)

Vipul at 22:06, 9 November 2007

2007-11-09T22:06:53Z

← Older revision		Revision as of 22:06, 9 November 2007
Line 18:		Line 18:
	The Mobius strip is equivalent to the set of all undirected lines in the plane. To achieve this identification, fix an porigin and a choice of coordinate axes. Now, for any line in the plane, associate the following two quantities: its direction, and the signed distance from the origin. The direction can be sent t othe <math>x</math>-coordinate in the Mobius strip and the signed distance, to the <math>y</math>-coordinate.		The Mobius strip is equivalent to the set of all undirected lines in the plane. To achieve this identification, fix an porigin and a choice of coordinate axes. Now, for any line in the plane, associate the following two quantities: its direction, and the signed distance from the origin. The direction can be sent t othe <math>x</math>-coordinate in the Mobius strip and the signed distance, to the <math>y</math>-coordinate.

	==~~Constructs~~==		==Application of constructs==

	===~~Fundamental group and covering space~~===		===Compactifications===

	~~{{fundamentalgroupis\|cyclic~~ of ~~order two}}~~		* The [[one-point compactification]] of the Mobius strip is the [[real projective plane]]
			* If we view the Mobius strip as a fibre bundle over <math>S^1</math> with fibres <math>\R</math>, then the [[fibre-wise compactification]] is the [[Klein bottle]] (this is a fibre bundle of <math>S^1</math> over <math>S^1</math>).

	~~{{coveringspaceis\|<math>\R \times S^1</math>}}~~		===Covering spaces===

	The Mobius strip is set-theoretically a direct product of <math>\R</math> and the projective plane <math>\mathbb{P}^1</math> (which is the same as <math>S^1</math>). However, it is not ~~group-theoretically~~ a direct product. Intuitively we can explain this as follows -- the identification of the two ends of the strip with opposite orientations means that one can start with a point, and keep going around with the same <math>y</math>-coordinate locally to end up at a point whose <math>y</math>-coordinate is the negative of the original.		The cylinder <math>\R \times S^1</math> is a double cover of the Mobius strip.

			The Mobius strip is set-theoretically a direct product of <math>\R</math> and the projective plane <math>\mathbb{P}^1</math> (which is the same as <math>S^1</math>). However, it is not topologically a direct product. Intuitively we can explain this as follows -- the identification of the two ends of the strip with opposite orientations means that one can start with a point, and keep going around with the same <math>y</math>-coordinate locally to end up at a point whose <math>y</math>-coordinate is the negative of the original.

	However, if we go around twice, we end up at the original point. This is essentially because the double cover of the Mobius strip is <math>\R \times S^1</math>.		However, if we go around twice, we end up at the original point. This is essentially because the double cover of the Mobius strip is <math>\R \times S^1</math>.

			==Invariants==

			===Fundamental group===

			The fundamental group of the Mobius strip is <math>\mathbb{Z}</math>. The generator for this is the loop that goes once around the Mobius strip.

			{{further\|[[Fundamental group of Mobius strip]]}}

			===Homology===

			{{further\|[[homology of Mobius strip]]}}

Vipul at 19:15, 10 May 2007

2007-05-10T19:15:07Z

New page

{{particular topospace}}

==Definition==
===Verbal definition===

The '''infinite Mobius strip'''or '''open Mobius strip''' is obtained by taking an infinite rectangular strip and identifying the opposite sides of the rectangular strip, with opposite orientations.

For the closed Mobius strip, we replace the infinite rectangular strip with a rectangular strip of finite height.

===Coordinate definition===

The '''infinite Mobius strip''' or '''open Mobius strip''' is the quotient of the rectangular strip <math>|x| \le 1</math> in the real Euclidean plane, by the relation:

<math>(1,y) \simeq (-1,-y)</math>

===Alternate descriptions===

The Mobius strip is equivalent to the set of all undirected lines in the plane. To achieve this identification, fix an porigin and a choice of coordinate axes. Now, for any line in the plane, associate the following two quantities: its direction, and the signed distance from the origin. The direction can be sent t othe <math>x</math>-coordinate in the Mobius strip and the signed distance, to the <math>y</math>-coordinate.

==Constructs==

===Fundamental group and covering space===

{{fundamentalgroupis|cyclic of order two}}

{{coveringspaceis|<math>\R \times S^1</math>}}

The Mobius strip is set-theoretically a direct product of <math>\R</math> and the projective plane <math>\mathbb{P}^1</math> (which is the same as <math>S^1</math>). However, it is not group-theoretically a direct product. Intuitively we can explain this as follows -- the identification of the two ends of the strip with opposite orientations means that one can start with a point, and keep going around with the same <math>y</math>-coordinate locally to end up at a point whose <math>y</math>-coordinate is the negative of the original.

However, if we go around twice, we end up at the original point. This is essentially because the double cover of the Mobius strip is <math>\R \times S^1</math>.