Jump to content

Klein bottle

From Wikipedia, the free encyclopedia
A two-dimensional representation of the Klein bottleimmersedin three-dimensional space

Inmathematics,theKlein bottle(/ˈkln/) is an example of anon-orientablesurface;that is, informally, a one-sided surface which, if traveled upon, could be followed back to the point of origin while flipping the traveler upside down. More formally, the Klein bottle is atwo-dimensionalmanifoldon which one cannot define anormal vectorat each point that variescontinuouslyover the whole manifold. Other related non-orientable surfaces include theMöbius stripand thereal projective plane.While a Möbius strip is a surface with aboundary,a Klein bottle has no boundary. For comparison, asphereis an orientable surface with no boundary.

The Klein bottle was first described in 1882 by the mathematicianFelix Klein.[1]

Construction[edit]

The following square is afundamental polygonof the Klein bottle. The idea is to 'glue' together the corresponding red and blue edges with the arrows matching, as in the diagrams below. Note that this is an "abstract" gluing in the sense that trying to realize this in three dimensions results in a self-intersecting Klein bottle.[2]

To construct the Klein bottle, glue the red arrows of the square together (left and right sides), resulting in a cylinder. To glue the ends of the cylinder together so that the arrows on the circles match, one would pass one end through the side of the cylinder. This creates a curve of self-intersection; this is thus animmersionof the Klein bottle in thethree-dimensional space.

This immersion is useful for visualizing many properties of the Klein bottle. For example, the Klein bottle has noboundary,where the surface stops abruptly, and it isnon-orientable,as reflected in the one-sidedness of the immersion.

Immersed Klein bottles in theScience Museum in London
A hand-blown Klein Bottle

The common physical model of a Klein bottle is a similar construction. TheScience Museum in Londonhas a collection of hand-blown glass Klein bottles on display, exhibiting many variations on this topological theme. The bottles date from 1995 and were made for the museum by Alan Bennett.[3]

The Klein bottle, proper, does not self-intersect. Nonetheless, there is a way to visualize the Klein bottle as being contained in four dimensions. By adding a fourth dimension to the three-dimensional space, the self-intersection can be eliminated. Gently push a piece of the tube containing the intersection along the fourth dimension, out of the original three-dimensional space. A useful analogy is to consider a self-intersecting curve on the plane; self-intersections can be eliminated by lifting one strand off the plane.[4]

Time evolutionof a Klein figure inxyzt-space

Suppose for clarification that we adopt time as that fourth dimension. Consider how the figure could be constructed inxyzt-space. The accompanying illustration ( "Time evolution..." ) shows one useful evolution of the figure. Att= 0the wall sprouts from a bud somewhere near the "intersection" point. After the figure has grown for a while, the earliest section of the wall begins to recede, disappearing like theCheshire Catbut leaving its ever-expanding smile behind. By the time the growth front gets to where the bud had been, there is nothing there to intersect and the growth completes without piercing existing structure. The 4-figure as defined cannot exist in 3-space but is easily understood in 4-space.[4]

More formally, the Klein bottle is thequotient spacedescribed as thesquare[0,1] × [0,1] with sides identified by the relations(0,y) ~ (1,y)for0 ≤y≤ 1and(x,0) ~ (1 −x,1)for0 ≤x≤ 1.

Properties[edit]

Like theMöbius strip,the Klein bottle is a two-dimensionalmanifoldwhich is notorientable.Unlike the Möbius strip, it is aclosedmanifold, meaning it is acompactmanifold without boundary. While the Möbius strip can be embedded in three-dimensionalEuclidean spaceR3,the Klein bottle cannot. It can be embedded inR4,however.[4]

Continuing this sequence, for example creating a 3-manifold which cannot be embedded inR4but can be inR5,is possible; in this case, connecting two ends of aspherinderto each other in the same manner as the two ends of a cylinder for a Klein bottle, creates a figure, referred to as a "spherinder Klein bottle", that cannot fully be embedded inR4.[5]

The Klein bottle can be seen as afiber bundleover thecircleS1,with fibreS1,as follows: one takes the square (modulo the edge identifying equivalence relation) from above to beE,the total space, while the base spaceBis given by the unit interval iny,modulo1~0.The projection π:EBis then given byπ([x,y]) = [y].

The Klein bottle can be constructed (in a four dimensional space, because in three dimensional space it cannot be done without allowing the surface to intersect itself) by joining the edges of two Möbius strips, as described in the followinglimerickbyLeo Moser:[6]

A mathematician namedKlein
Thought the Möbius band was divine.
Said he: "If you glue
The edges of two,
You'll get a weird bottle like mine. "

The initial construction of the Klein bottle by identifying opposite edges of a square shows that the Klein bottle can be given aCW complexstructure with one 0-cellP,two 1-cellsC1,C2and one 2-cellD.ItsEuler characteristicis therefore1 − 2 + 1 = 0.The boundary homomorphism is given byD= 2C1andC1= ∂C2= 0,yielding thehomology groupsof the Klein bottleKto beH0(K,Z) =Z,H1(K,Z) =Z×(Z/2Z)andHn(K,Z) = 0forn> 1.

There is a 2-1covering mapfrom thetorusto the Klein bottle, because two copies of thefundamental regionof the Klein bottle, one being placed next to the mirror image of the other, yield a fundamental region of the torus. Theuniversal coverof both the torus and the Klein bottle is the planeR2.

Thefundamental groupof the Klein bottle can be determined as thegroup of deck transformationsof the universal cover and has thepresentationa,b|ab=b−1a.It follows that it is isomorphic to,the only nontrivial semidirect product of the additive group of integerswith itself.

A 6-colored Klein bottle, the only exception to the Heawood conjecture

Six colors suffice to color any map on the surface of a Klein bottle; this is the only exception to theHeawood conjecture,a generalization of thefour color theorem,which would require seven.

A Klein bottle is homeomorphic to theconnected sumof twoprojective planes.[7]It is also homeomorphic to a sphere plus twocross-caps.

When embedded in Euclidean space, the Klein bottle is one-sided. However, there are other topological 3-spaces, and in some of the non-orientable examples a Klein bottle can be embedded such that it is two-sided, though due to the nature of the space it remains non-orientable.[2]

Dissection[edit]

Dissecting the Klein bottle results in Möbius strips.

Dissecting a Klein bottle into halves along itsplane of symmetryresults in two mirror imageMöbius strips,i.e. one with a left-handed half-twist and the other with a right-handed half-twist (one of these is pictured on the right). Remember that the intersection pictured is not really there.[8]

Simple-closed curves[edit]

One description of the types of simple-closed curves that may appear on the surface of the Klein bottle is given by the use of the first homology group of the Klein bottle calculated with integer coefficients. This group is isomorphic toZ×Z2.Up to reversal of orientation, the only homology classes which contain simple-closed curves are as follows: (0,0), (1,0), (1,1), (2,0), (0,1). Up to reversal of the orientation of a simple closed curve, if it lies within one of the two cross-caps that make up the Klein bottle, then it is in homology class (1,0) or (1,1); if it cuts the Klein bottle into two Möbius strips, then it is in homology class (2,0); if it cuts the Klein bottle into an annulus, then it is in homology class (0,1); and if bounds a disk, then it is in homology class (0,0).[4]

Parametrization[edit]

The "figure 8" immersion of the Klein bottle.
Klein bagel cross section, showing a figure eight curve (thelemniscate of Gerono).

The figure 8 immersion[edit]

To make the "figure 8" or "bagel"immersionof the Klein bottle, one can start with aMöbius stripand curl it to bring the edge to the midline; since there is only one edge, it will meet itself there, passing through the midline. It has a particularly simple parametrization as a "figure-8" torus with a half-twist:[4]

for 0 ≤θ< 2π, 0 ≤v< 2π andr> 2.

In this immersion, the self-intersection circle (where sin(v) is zero) is a geometriccirclein thexyplane. The positive constantris the radius of this circle. The parameterθgives the angle in thexyplane as well as the rotation of the figure 8, andvspecifies the position around the 8-shaped cross section. With the above parametrization the cross section is a 2:1Lissajous curve.

4-D non-intersecting[edit]

A non-intersecting 4-D parametrization can be modeled after that of theflat torus:

whereRandPare constants that determine aspect ratio,θandvare similar to as defined above.vdetermines the position around the figure-8 as well as the position in the x-y plane.θdetermines the rotational angle of the figure-8 as well and the position around the z-w plane.εis any small constant andεsinvis a smallvdependent bump inz-wspace to avoid self intersection. Thevbump causes the self intersecting 2-D/planar figure-8 to spread out into a 3-D stylized "potato chip" or saddle shape in the x-y-w and x-y-z space viewed edge on. Whenε=0the self intersection is a circle in the z-w plane <0, 0, cosθ,sinθ>.[4]

3D pinched torus / 4D Möbius tube[edit]

The pinched torus immersion of the Klein bottle.

The pinched torus is perhaps the simplest parametrization of the klein bottle in both three and four dimensions. It's a torus that, in three dimensions, flattens and passes through itself on one side. Unfortunately, in three dimensions this parametrization has twopinch points,which makes it undesirable for some applications. In four dimensions thezamplitude rotates into thewamplitude and there are no self intersections or pinch points.[4]

One can view this as a tube or cylinder that wraps around, as in a torus, but its circular cross section flips over in four dimensions, presenting its "backside" as it reconnects, just as a Möbius strip cross section rotates before it reconnects. The 3D orthogonal projection of this is the pinched torus shown above. Just as a Möbius strip is a subset of a solid torus, the Möbius tube is a subset of a toroidally closedspherinder(solidspheritorus).

Bottle shape[edit]

The parametrization of the 3-dimensional immersion of the bottle itself is much more complicated.

Klein Bottle with slight transparency

for 0 ≤u< π and 0 ≤v< 2π.[4]

Homotopy classes[edit]

Regular 3D immersions of the Klein bottle fall into threeregular homotopyclasses.[9] The three are represented by:

  • the "traditional" Klein bottle;
  • the left-handed figure-8 Klein bottle;
  • the right-handed figure-8 Klein bottle.

The traditional Klein bottle immersion isachiral.The figure-8 immersion is chiral. (The pinched torus immersion above is not regular, as it has pinch points, so it is not relevant to this section.)

If the traditional Klein bottle is cut in its plane of symmetry it breaks into two Möbius strips of opposite chirality. A figure-8 Klein bottle can be cut into two Möbius strips of thesamechirality, and cannot be regularly deformed into its mirror image.[4]

Generalizations[edit]

The generalization of the Klein bottle to highergenusis given in the article on thefundamental polygon.[10]

In another order of ideas, constructing3-manifolds,it is known that asolid Klein bottleishomeomorphicto theCartesian productof aMöbius stripand a closed interval. Thesolid Klein bottleis the non-orientable version of thesolid torus,equivalent to

Klein surface[edit]

AKlein surfaceis, as forRiemann surfaces,a surface with an atlas allowing thetransition mapsto be composed usingcomplex conjugation.One can obtain the so-calleddianalytic structureof the space and has only one side.[11]

See also[edit]

References[edit]

Citations[edit]

  1. ^Stillwell 1993,p. 65, 1.2.3 The Klein Bottle.
  2. ^abWeeks, Jeffrey (2020).The Shape of Space, 3rd Edn.CRC Press.ISBN978-1138061217.
  3. ^"Strange Surfaces: New Ideas".Science Museum London. Archived fromthe originalon 2006-11-28.
  4. ^abcdefghiAlling & Greenleaf 1969.
  5. ^Marc ten Bosch-https://marctenbosch /news/2021/12/4d-toys-version-1-7-klein-bottles/
  6. ^David Darling (11 August 2004).The Universal Book of Mathematics: From Abracadabra to Zeno's Paradoxes.John Wiley & Sons. p. 176.ISBN978-0-471-27047-8.
  7. ^Shick, Paul (2007).Topology: Point-Set and Geometric.Wiley-Interscience. pp. 191–192.ISBN9780470096055.
  8. ^Cutting a Klein Bottle in Half – Numberphile on YouTube
  9. ^Séquin, Carlo H (1 June 2013). "On the number of Klein bottle types".Journal of Mathematics and the Arts.7(2): 51–63.CiteSeerX10.1.1.637.4811.doi:10.1080/17513472.2013.795883.S2CID16444067.
  10. ^Day, Adam (17 February 2014)."Quantum gravity on a Klein bottle".CQG+.
  11. ^Bitetto, Dr Marco (2020-02-14).Hyperspatial Dynamics.Dr. Marco A. V. Bitetto.

Sources[edit]

External links[edit]