Namespaces
Variants
Actions

One-sided and two-sided surfaces

From Encyclopedia of Mathematics
Revision as of 17:03, 7 February 2011 by 127.0.0.1 (talk) (Importing text file)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

Two types of surfaces, differing in the way in which they are situated in the ambient space (one-sided position and two-sided position). For example, the cylinder is a two-sided surface, while the Möbius strip is a one-sided surface. A characteristic distinction between these surfaces is that the boundary of the cylinder consists of two curves, while the boundary of the Möbius strip is a single curve. Among the closed surfaces the sphere and the torus are two-sided, while the Klein surface is one-sided. As examples of two-sided and one-sided situations one may cite imbeddings of the circle in the Möbius strip. Thus, the cycle (see Fig.) is a one-sided curve, while the cycle is two-sided (in general, any desorienting path lies in the surface one-sidedly).

Figure: o068230a

More precisely, one- and two-sided surfaces are two types of manifolds differing in the way in which they are imbedded in the ambient space (of dimension higher by one). Two-sidedness and one-sidedness are related to orientability and non-orientability (see Orientation), but unlike these, are not intrinsic properties of the surface and depend on the ambient space. For example, there exist orientable two-sided surfaces: , ; non-orientable two-sided surfaces: ; orientable one-sided surfaces: ; non-orientable one-sided surfaces: (here is the sphere, the torus, the projective plane, projective space, and a desorienting path on ).

In an orientable space (e.g. in ) a hypersurface is orientable if and only if it is two-sided.

Suppose that a normal vector is moved along a closed curve on a smooth surface immersed in some space in such a way that it remains normal. If upon return to the starting point the direction of the normal is the same as it was originally, independently of the choice of curve, then the surface is called two-sided; in the opposite case it is called one-sided. More generally, a surface is situated two-sidedly if and only if its normal bundle is trivial (there exists a non-zero section in this bundle). Conversely, the normal bundle of a one-sided surface is non-trivial: There exists a curve on over which the bundle is a Möbius strip.

Locally every (hyper) surface in a space divides into two parts, that is, a point has a neighbourhood such that consists of two components and and belongs to their common boundary. On the other hand, a sufficiently small neighbourhood of in (if is closed in ) has either one or two components the boundaries of which contain . In the first case, the (hyper) surface is also called one-sided, and in the second case, two-sided. Thus, although the surface locally has two sides, globally it may be one-sided, while, in contrast, a two-sided surface need not divide its neighbourhood in the space.

For a two-sided surface lying in , the intersection index (in homology) in of any closed curve in satisfies the equation . But if is one-sided, then for some curve . This fact can also be taken as the definition of one- and two-sidedness (along with the movement of a normal vector and the division of a neighbourhood).

References

[1] D. Hilbert, S.E. Cohn-Vossen, "Geometry and the imagination" , Chelsea (1952) (Translated from German)
[2] H. Seifert, W. Threlfall, "A textbook of topology" , Acad. Press (1980) (Translated from German)
[3] D.B. Fuks, A.T. Fomenko, V.L. Gutenmakher, "Homotopic topology" , Moscow (1969) (In Russian)
How to Cite This Entry:
One-sided and two-sided surfaces. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=One-sided_and_two-sided_surfaces&oldid=13217
This article was adapted from an original article by M.I. Voitsekhovskii (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article