Namespaces
Variants
Actions

Difference between revisions of "Two-dimensional manifold"

From Encyclopedia of Mathematics
Jump to: navigation, search
(Importing text file)
 
m (tex encoded by computer)
 
Line 1: Line 1:
 +
<!--
 +
t0945301.png
 +
$#A+1 = 120 n = 0
 +
$#C+1 = 120 : ~/encyclopedia/old_files/data/T094/T.0904530 Two\AAhdimensional manifold
 +
Automatically converted into TeX, above some diagnostics.
 +
Please remove this comment and the {{TEX|auto}} line below,
 +
if TeX found to be correct.
 +
-->
 +
 +
{{TEX|auto}}
 +
{{TEX|done}}
 +
 
A [[Topological space|topological space]] each point of which has a neighbourhood which is homeomorphic to a plane or a closed half-plane. It is the class of manifolds which are easiest to visualize; it includes the sphere, the disc, the Möbius strip, the projective plane, the Klein bottle, etc.
 
A [[Topological space|topological space]] each point of which has a neighbourhood which is homeomorphic to a plane or a closed half-plane. It is the class of manifolds which are easiest to visualize; it includes the sphere, the disc, the Möbius strip, the projective plane, the Klein bottle, etc.
  
 
Points with only neighbourhoods homeomorphic to a half-plane (if any) form the boundary of the manifold.
 
Points with only neighbourhoods homeomorphic to a half-plane (if any) form the boundary of the manifold.
  
The most important class of two-dimensional manifolds are closed orientable two-dimensional manifolds, or closed surfaces. The simplest of these, the sphere <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t094/t094530/t0945301.png" />, is a surface of genus zero (cf. [[Genus of a surface|Genus of a surface]]). A surface of genus <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t094/t094530/t0945302.png" /> is obtained from <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t094/t094530/t0945303.png" /> by removal of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t094/t094530/t0945304.png" /> pairs of non-intersecting discs and by identifying each pair of boundary circles with boundaries of a bent cylinder (Fig. a). This process is known as glueing of handles, while the closed surface of genus <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t094/t094530/t0945305.png" /> is known as a sphere with <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t094/t094530/t0945307.png" /> handles (Fig. b).
+
The most important class of two-dimensional manifolds are closed orientable two-dimensional manifolds, or closed surfaces. The simplest of these, the sphere $  S  ^ {2} $,  
 +
is a surface of genus zero (cf. [[Genus of a surface|Genus of a surface]]). A surface of genus $  g $
 +
is obtained from $  S  ^ {2} $
 +
by removal of $  2g $
 +
pairs of non-intersecting discs and by identifying each pair of boundary circles with boundaries of a bent cylinder (Fig. a). This process is known as glueing of handles, while the closed surface of genus $  g $
 +
is known as a sphere with $  g $
 +
handles (Fig. b).
  
 
<img style="border:1px solid;" src="https://www.encyclopediaofmath.org/legacyimages/common_img/t094530a.gif" />
 
<img style="border:1px solid;" src="https://www.encyclopediaofmath.org/legacyimages/common_img/t094530a.gif" />
Line 23: Line 41:
 
Figure: t094530d
 
Figure: t094530d
  
Another class of two-dimensional manifolds are the compact non-orientable two-dimensional manifolds. They can also be closed or have a boundary. The simplest such manifold is the [[Möbius strip|Möbius strip]] (Fig. d). It cannot be oriented, i.e. it is not possible to select on the strip a direction of rotation around each point at the same time so that these directions continuously pass into each other. Another example is the [[Projective plane|projective plane]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t094/t094530/t0945308.png" />. Each neighbourhood of any projective straight line in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t094/t094530/t0945309.png" /> contains the Möbius strip and for this reason <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t094/t094530/t09453010.png" /> is also non-orientable. In the general case, compact non-orientable two-dimensional manifolds can be obtained from closed surfaces by elimination of the interior points of non-intersecting discs and replacing some (or all) of them by Möbius strips (Fig. eshows a Möbius strip as a crossed covering, i.e. with a self-intersection on a segment). The projective plane <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t094/t094530/t09453011.png" /> can be obtained from a sphere by replacing one of the discs by the Möbius strip. If two discs are replaced by Möbius strips, a [[Klein surface|Klein surface]] is obtained (Fig. f), which can also conveniently be represented as a sphere with a non-orientable handle. In general, the glueing of two Möbius strips may be replaced by the glueing of one non-orientable handle, and vice versa. On the other hand, if one end of an ordinary handle is moved along the median line of a Möbius strip, the handle will become non-orientable (Fig. g). Thus, in a non-orientable two-dimensional manifold any handle can be replaced by two Möbius strips and vice versa.
+
Another class of two-dimensional manifolds are the compact non-orientable two-dimensional manifolds. They can also be closed or have a boundary. The simplest such manifold is the [[Möbius strip|Möbius strip]] (Fig. d). It cannot be oriented, i.e. it is not possible to select on the strip a direction of rotation around each point at the same time so that these directions continuously pass into each other. Another example is the [[Projective plane|projective plane]] $  \mathbf R P  ^ {2} $.  
 +
Each neighbourhood of any projective straight line in $  \mathbf R P  ^ {2} $
 +
contains the Möbius strip and for this reason $  \mathbf R P  ^ {2} $
 +
is also non-orientable. In the general case, compact non-orientable two-dimensional manifolds can be obtained from closed surfaces by elimination of the interior points of non-intersecting discs and replacing some (or all) of them by Möbius strips (Fig. eshows a Möbius strip as a crossed covering, i.e. with a self-intersection on a segment). The projective plane $  \mathbf R P  ^ {2} $
 +
can be obtained from a sphere by replacing one of the discs by the Möbius strip. If two discs are replaced by Möbius strips, a [[Klein surface|Klein surface]] is obtained (Fig. f), which can also conveniently be represented as a sphere with a non-orientable handle. In general, the glueing of two Möbius strips may be replaced by the glueing of one non-orientable handle, and vice versa. On the other hand, if one end of an ordinary handle is moved along the median line of a Möbius strip, the handle will become non-orientable (Fig. g). Thus, in a non-orientable two-dimensional manifold any handle can be replaced by two Möbius strips and vice versa.
  
 
<img style="border:1px solid;" src="https://www.encyclopediaofmath.org/legacyimages/common_img/t094530e.gif" />
 
<img style="border:1px solid;" src="https://www.encyclopediaofmath.org/legacyimages/common_img/t094530e.gif" />
Line 37: Line 59:
 
Figure: t094530g
 
Figure: t094530g
  
Spheres with handles or with Möbius strips and, possibly, also with discs removed, account for all compact connected (consisting of one piece) two-dimensional manifolds. Non-compact two-dimensional manifolds, e.g. the plane <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t094/t094530/t09453012.png" />, the half-plane <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t094/t094530/t09453013.png" /> and, generally, any open proper subset of an arbitrary compact two-dimensional manifold, may have a very complicated structure. Thus, if one takes an infinite number of discs in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t094/t094530/t09453014.png" /> which move away to infinity and replaces them by handles or Möbius strips, the resulting two-dimensional manifold will not be an open subset of any compact two-dimensional manifold (Fig. h). Non-compact two-dimensional manifolds without boundary are said to be open.
+
Spheres with handles or with Möbius strips and, possibly, also with discs removed, account for all compact connected (consisting of one piece) two-dimensional manifolds. Non-compact two-dimensional manifolds, e.g. the plane $  \mathbf R  ^ {2} $,  
 +
the half-plane $  \mathbf R _ {+}  ^ {2} $
 +
and, generally, any open proper subset of an arbitrary compact two-dimensional manifold, may have a very complicated structure. Thus, if one takes an infinite number of discs in $  \mathbf R  ^ {2} $
 +
which move away to infinity and replaces them by handles or Möbius strips, the resulting two-dimensional manifold will not be an open subset of any compact two-dimensional manifold (Fig. h). Non-compact two-dimensional manifolds without boundary are said to be open.
  
 
<img style="border:1px solid;" src="https://www.encyclopediaofmath.org/legacyimages/common_img/t094530h.gif" />
 
<img style="border:1px solid;" src="https://www.encyclopediaofmath.org/legacyimages/common_img/t094530h.gif" />
Line 49: Line 74:
 
Figure: t094530i
 
Figure: t094530i
  
Triangulation is a convenient method for introducing invariants, i.e. characteristics which are identical in combinatorially-equivalent two-dimensional manifolds. The most important invariant is the [[Euler characteristic|Euler characteristic]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t094/t094530/t09453015.png" /> which, for a given triangulation, is equal to the number <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t094/t094530/t09453016.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t094/t094530/t09453017.png" /> are the numbers of vertices, edges and faces of the triangulation, respectively. <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t094/t094530/t09453018.png" /> does not change under subdivision, and it follows that if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t094/t094530/t09453019.png" />, then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t094/t094530/t09453020.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t094/t094530/t09453021.png" /> are combinatorially non-equivalent. For a sphere with <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t094/t094530/t09453022.png" /> handles, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t094/t094530/t09453023.png" />; in particular, it is equal to 2 for spheres, to 0 for tori, to 1 for projective planes, to 0 for Klein bottles, and to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t094/t094530/t09453024.png" /> for spheres with <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t094/t094530/t09453025.png" /> Möbius strips. If the interiors of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t094/t094530/t09453026.png" /> discs are eliminated from a two-dimensional manifold <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t094/t094530/t09453027.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t094/t094530/t09453028.png" /> will decrease by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t094/t094530/t09453029.png" />. If one assigns to a compact connected two-dimensional manifold the three numbers
+
Triangulation is a convenient method for introducing invariants, i.e. characteristics which are identical in combinatorially-equivalent two-dimensional manifolds. The most important invariant is the [[Euler characteristic|Euler characteristic]] $  \chi ( M) $
 +
which, for a given triangulation, is equal to the number $  V - E + F $,  
 +
where $  V , E , F $
 +
are the numbers of vertices, edges and faces of the triangulation, respectively. $  \chi $
 +
does not change under subdivision, and it follows that if $  \chi ( M _ {1} ) \neq \chi ( M _ {2} ) $,  
 +
then $  M _ {1} $
 +
and $  M _ {2} $
 +
are combinatorially non-equivalent. For a sphere with $  g $
 +
handles, $  \chi ( M) = 2 - 2g $;  
 +
in particular, it is equal to 2 for spheres, to 0 for tori, to 1 for projective planes, to 0 for Klein bottles, and to $  2 - k $
 +
for spheres with $  k $
 +
Möbius strips. If the interiors of $  k $
 +
discs are eliminated from a two-dimensional manifold $  M $,  
 +
$  \chi ( M) $
 +
will decrease by $  k $.  
 +
If one assigns to a compact connected two-dimensional manifold the three numbers
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t094/t094530/t09453030.png" /></td> </tr></table>
+
$$
 +
\{ \epsilon , \chi , k \} ,
 +
$$
  
where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t094/t094530/t09453031.png" />, depending on the orientability, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t094/t094530/t09453032.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t094/t094530/t09453033.png" /> is the number of boundary components, one obtains a complete description of the two-dimensional compact manifold up to combinatorial equivalence. This is because these triplets are different for the two-dimensional manifolds described above (the sphere with handles, the sphere with Möbius strips and, possibly, with punctuations as well), while any compact connected two-dimensional manifold is combinatorially equivalent to one of these manifolds [[#References|[1]]], [[#References|[3]]]. A classification of open two-dimensional manifolds is also available, but it is much more involved, since the number of different surfaces in this case is uncountable [[#References|[5]]].
+
where $  \epsilon = \pm  1 $,  
 +
depending on the orientability, $  \chi = \chi ( M) $
 +
and $  k $
 +
is the number of boundary components, one obtains a complete description of the two-dimensional compact manifold up to combinatorial equivalence. This is because these triplets are different for the two-dimensional manifolds described above (the sphere with handles, the sphere with Möbius strips and, possibly, with punctuations as well), while any compact connected two-dimensional manifold is combinatorially equivalent to one of these manifolds [[#References|[1]]], [[#References|[3]]]. A classification of open two-dimensional manifolds is also available, but it is much more involved, since the number of different surfaces in this case is uncountable [[#References|[5]]].
  
For a purely topological study of two-dimensional manifolds the [[Jordan theorem|Jordan theorem]] is of fundamental importance. Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t094/t094530/t09453034.png" /> be a curve without self-intersections which connects two points on the boundary of the manifold <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t094/t094530/t09453035.png" />, or which is a closed curve; it is known as a section of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t094/t094530/t09453036.png" />. The section <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t094/t094530/t09453037.png" /> does not disconnect <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t094/t094530/t09453038.png" /> if any two points of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t094/t094530/t09453039.png" /> are connected by an arc which does not intersect <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t094/t094530/t09453040.png" />. The maximum number of sections which, together, do not disconnect <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t094/t094530/t09453041.png" />, plus one is known as the connectedness number of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t094/t094530/t09453042.png" />. Thus, according to Jordan's theorem, a sphere and a disc are simply connected. The connectedness number of a closed surface of genus <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t094/t094530/t09453043.png" /> is <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t094/t094530/t09453044.png" />. For such a surface, a selection of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t094/t094530/t09453045.png" /> sections is available, all sections issuing from one point and being subdivided into pairs so that each pair realizes the section of one handle. Such a selection is said to be a canonical section of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t094/t094530/t09453046.png" />: If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t094/t094530/t09453047.png" /> is cut along all these sections, a disc is obtained. The case of canonical sections of non-orientable two-dimensional manifolds (along median lines of Möbius strips) is similar. For a two-dimensional manifold with boundary, additional sections from a basic point to each component of the boundary are required. Conversely, a disc whose boundary is subdivided into segments yields a two-dimensional manifold if these segments are glued pairwise. If the glueing is effected as shown in Fig. j, an orientable two-dimensional manifold is obtained; if it is carried out as in Fig. k, the manifold will be non-orientable. (A segment <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t094/t094530/t09453048.png" /> should be glued together with a segment <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t094/t094530/t09453049.png" /> so that the directions of the arrows coincide.) If several segments remain unglued, a boundary is obtained.
+
For a purely topological study of two-dimensional manifolds the [[Jordan theorem|Jordan theorem]] is of fundamental importance. Let $  C $
 +
be a curve without self-intersections which connects two points on the boundary of the manifold $  M $,  
 +
or which is a closed curve; it is known as a section of $  M $.  
 +
The section $  C $
 +
does not disconnect $  M $
 +
if any two points of $  M $
 +
are connected by an arc which does not intersect $  C $.  
 +
The maximum number of sections which, together, do not disconnect $  M $,  
 +
plus one is known as the connectedness number of $  M $.  
 +
Thus, according to Jordan's theorem, a sphere and a disc are simply connected. The connectedness number of a closed surface of genus $  g $
 +
is $  2g + 1 = 3 - \chi $.  
 +
For such a surface, a selection of $  2g $
 +
sections is available, all sections issuing from one point and being subdivided into pairs so that each pair realizes the section of one handle. Such a selection is said to be a canonical section of $  M $:  
 +
If $  M $
 +
is cut along all these sections, a disc is obtained. The case of canonical sections of non-orientable two-dimensional manifolds (along median lines of Möbius strips) is similar. For a two-dimensional manifold with boundary, additional sections from a basic point to each component of the boundary are required. Conversely, a disc whose boundary is subdivided into segments yields a two-dimensional manifold if these segments are glued pairwise. If the glueing is effected as shown in Fig. j, an orientable two-dimensional manifold is obtained; if it is carried out as in Fig. k, the manifold will be non-orientable. (A segment $  x $
 +
should be glued together with a segment $  x  ^  \prime  $
 +
so that the directions of the arrows coincide.) If several segments remain unglued, a boundary is obtained.
  
 
<img style="border:1px solid;" src="https://www.encyclopediaofmath.org/legacyimages/common_img/t094530j.gif" />
 
<img style="border:1px solid;" src="https://www.encyclopediaofmath.org/legacyimages/common_img/t094530j.gif" />
Line 67: Line 128:
 
Jordan's theorem also makes it possible to give a topological characterization of two-dimensional manifolds. In particular, the sphere is the unique [[Locally connected continuum|locally connected continuum]] containing the topological image of a circle, which is disconnected by any image of a circle and is not disconnected by any pair of points. In general, two-dimensional manifolds are distinguished from other objects in the class of locally connected continua by the fact that they are not disconnected by any pair of points and are disconnected by a sufficiently small circle (Wilder's theorem, 1949).
 
Jordan's theorem also makes it possible to give a topological characterization of two-dimensional manifolds. In particular, the sphere is the unique [[Locally connected continuum|locally connected continuum]] containing the topological image of a circle, which is disconnected by any image of a circle and is not disconnected by any pair of points. In general, two-dimensional manifolds are distinguished from other objects in the class of locally connected continua by the fact that they are not disconnected by any pair of points and are disconnected by a sufficiently small circle (Wilder's theorem, 1949).
  
Since for homeomorphic two-dimensional manifolds any two triangulations are combinatorially equivalent, a combinatorial classification of two-dimensional manifolds is of a purely topological nature. While compact two-dimensional manifolds are uniquely characterized by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t094/t094530/t09453050.png" />, other topological invariants are also of importance in the study of properties of two-dimensional manifolds. These are, first of all, the one-dimensional [[Homology group|homology group]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t094/t094530/t09453051.png" /> and the [[Fundamental group|fundamental group]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t094/t094530/t09453052.png" />. For a closed surface of genus <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t094/t094530/t09453053.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t094/t094530/t09453054.png" /> is equal to the direct sum of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t094/t094530/t09453055.png" /> copies of the group of integers <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t094/t094530/t09453056.png" />; <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t094/t094530/t09453057.png" /> pairs of a canonical section are usually taken as generators. For a non-orientable closed two-dimensional manifold with connectedness number <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t094/t094530/t09453058.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t094/t094530/t09453059.png" /> is the sum of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t094/t094530/t09453060.png" /> copies of the group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t094/t094530/t09453061.png" /> and one copy of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t094/t094530/t09453062.png" />. The generating elements taken are sections of a canonical section (except one) and a path which is disoriented (after intersecting with some two-dimensional manifold this path becomes orientable). A [[Presentation|presentation]] for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t094/t094530/t09453063.png" /> is most conveniently obtained with the aid of a canonical section: Its sections are taken as the generating elements, while the relation is obtained by traversing the boundary of the disc which results from the section. In the orientable case, one arrives at the presentation
+
Since for homeomorphic two-dimensional manifolds any two triangulations are combinatorially equivalent, a combinatorial classification of two-dimensional manifolds is of a purely topological nature. While compact two-dimensional manifolds are uniquely characterized by $  \epsilon , \chi , k $,  
 +
other topological invariants are also of importance in the study of properties of two-dimensional manifolds. These are, first of all, the one-dimensional [[Homology group|homology group]] $  H _ {1} ( M) $
 +
and the [[Fundamental group|fundamental group]] $  \pi _ {1} ( M) $.  
 +
For a closed surface of genus $  g $,  
 +
$  H _ {1} ( M) $
 +
is equal to the direct sum of $  2g $
 +
copies of the group of integers $  \mathbf Z $;  
 +
$  g $
 +
pairs of a canonical section are usually taken as generators. For a non-orientable closed two-dimensional manifold with connectedness number $  s $,  
 +
$  H _ {1} ( M) $
 +
is the sum of $  s - 1 $
 +
copies of the group $  \mathbf Z $
 +
and one copy of $  \mathbf Z _ {2} $.  
 +
The generating elements taken are sections of a canonical section (except one) and a path which is disoriented (after intersecting with some two-dimensional manifold this path becomes orientable). A [[Presentation|presentation]] for $  \pi _ {1} ( M) $
 +
is most conveniently obtained with the aid of a canonical section: Its sections are taken as the generating elements, while the relation is obtained by traversing the boundary of the disc which results from the section. In the orientable case, one arrives at the presentation
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t094/t094530/t09453064.png" /></td> </tr></table>
+
$$
 +
\{ {a _ {1} , b _ {1} ; \dots ; a _ {g} , b _ {g} } : {
 +
a _ {1} b _ {1} a _ {1}  ^ {-} 1 b _ {1}  ^ {-} 1 \dots a _ {g} b _ {g} a _ {g}  ^ {-} 1 b _ {g}  ^ {-} 1 = 1 } \}
 +
,
 +
$$
  
 
while in the non-orientable case
 
while in the non-orientable case
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t094/t094530/t09453065.png" /></td> </tr></table>
+
$$
 +
\{ {a _ {1} \dots a _ {s} } : {a _ {1}  ^ {2} \dots
 +
a _ {s}  ^ {2} = 1 } \}
 +
$$
  
Note the important fact that the plane <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t094/t094530/t09453066.png" /> is the [[Universal covering|universal covering]] of any connected two-dimensional manifold without boundary (except for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t094/t094530/t09453067.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t094/t094530/t09453068.png" />), while the corresponding [[Monodromy group|monodromy group]] is realized by motions of the Euclidean or the Lobachevskii plane. Thus, a torus is obtained by identification of all points in the plane differing from one another by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t094/t094530/t09453069.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t094/t094530/t09453070.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t094/t094530/t09453071.png" /> are two given vectors and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t094/t094530/t09453072.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t094/t094530/t09453073.png" /> are integers. In applications, branched coverings are also of importance. Consider a mapping <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t094/t094530/t09453074.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t094/t094530/t09453075.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t094/t094530/t09453076.png" /> are closed triangulated two-dimensional manifolds, which linearly maps each face of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t094/t094530/t09453077.png" /> into some face <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t094/t094530/t09453078.png" />, and where for each edge <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t094/t094530/t09453079.png" /> in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t094/t094530/t09453080.png" /> the two adjacent faces are mapped into different faces adjacent to the edge <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t094/t094530/t09453081.png" /> in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t094/t094530/t09453082.png" />. For each point <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t094/t094530/t09453083.png" /> other than a vertex, it is possible to find a neighbourhood in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t094/t094530/t09453084.png" /> which is one-to-one transformed by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t094/t094530/t09453085.png" /> into a neighbourhood of the point <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t094/t094530/t09453086.png" /> in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t094/t094530/t09453087.png" />. If, for a vertex <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t094/t094530/t09453088.png" /> of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t094/t094530/t09453089.png" />, one cyclically traverses all the adjoining faces, the respective faces in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t094/t094530/t09453090.png" /> will cyclically traverse around <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t094/t094530/t09453091.png" /> in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t094/t094530/t09453092.png" /> an integral number, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t094/t094530/t09453093.png" />, of times. If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t094/t094530/t09453094.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t094/t094530/t09453095.png" /> is an ordinary point; if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t094/t094530/t09453096.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t094/t094530/t09453097.png" /> is a branch point, and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t094/t094530/t09453098.png" /> is the multiplicity of branching at <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t094/t094530/t09453099.png" />. If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t094/t094530/t094530100.png" /> for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t094/t094530/t094530101.png" /> contains no branch points, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t094/t094530/t094530102.png" /> is also called an ordinary point. Since the pre-images of nearby ordinary points in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t094/t094530/t094530103.png" /> consist of an equal number of points, by continuity this number will be the same for all ordinary points. It is called the number of covering sheets. This number <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t094/t094530/t094530104.png" /> is equal, for an orientable two-dimensional manifold, to the degree of the mapping (cf. [[Degree of a mapping|Degree of a mapping]]) <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t094/t094530/t094530105.png" /> (in the non-orientable case, it must be reduced modulo 2). If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t094/t094530/t094530106.png" /> contains branch points with multiplicities <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t094/t094530/t094530107.png" />, then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t094/t094530/t094530108.png" /> contains <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t094/t094530/t094530109.png" /> fewer points than for an ordinary point (here, the summation is over all the branch points in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t094/t094530/t094530110.png" />). Since the number of vertices, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t094/t094530/t094530111.png" />, is <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t094/t094530/t094530112.png" /> less than <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t094/t094530/t094530113.png" />, while the numbers of edges and faces are given by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t094/t094530/t094530114.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t094/t094530/t094530115.png" />, one has
+
Note the important fact that the plane $  \mathbf R  ^ {2} $
 +
is the [[Universal covering|universal covering]] of any connected two-dimensional manifold without boundary (except for $  S  ^ {2} $
 +
and $  \mathbf R P  ^ {2} $),  
 +
while the corresponding [[Monodromy group|monodromy group]] is realized by motions of the Euclidean or the Lobachevskii plane. Thus, a torus is obtained by identification of all points in the plane differing from one another by $  m \mathbf v _ {1} + n \mathbf v _ {2} $,  
 +
where $  \mathbf v _ {1} $
 +
and $  \mathbf v _ {2} $
 +
are two given vectors and $  m $
 +
and $  n $
 +
are integers. In applications, branched coverings are also of importance. Consider a mapping $  f: M _ {1} \rightarrow M _ {2} $,  
 +
where $  M _ {1} $
 +
and $  M _ {2} $
 +
are closed triangulated two-dimensional manifolds, which linearly maps each face of $  M _ {1} $
 +
into some face $  M _ {2} $,  
 +
and where for each edge $  l $
 +
in $  M _ {1} $
 +
the two adjacent faces are mapped into different faces adjacent to the edge $  f ( l) $
 +
in $  M _ {2} $.  
 +
For each point $  x \in M _ {1} $
 +
other than a vertex, it is possible to find a neighbourhood in $  M _ {1} $
 +
which is one-to-one transformed by $  f $
 +
into a neighbourhood of the point $  f ( x) $
 +
in $  M _ {2} $.  
 +
If, for a vertex $  v $
 +
of $  M _ {1} $,  
 +
one cyclically traverses all the adjoining faces, the respective faces in $  M _ {2} $
 +
will cyclically traverse around $  f ( v) $
 +
in $  M _ {2} $
 +
an integral number, $  k $,  
 +
of times. If $  k = 1 $,  
 +
$  v $
 +
is an ordinary point; if $  k > 1 $,  
 +
$  v $
 +
is a branch point, and $  k $
 +
is the multiplicity of branching at $  v $.  
 +
If $  f ^ { - 1 } ( w) $
 +
for $  w \in M _ {2} $
 +
contains no branch points, $  w $
 +
is also called an ordinary point. Since the pre-images of nearby ordinary points in $  M _ {2} $
 +
consist of an equal number of points, by continuity this number will be the same for all ordinary points. It is called the number of covering sheets. This number $  d $
 +
is equal, for an orientable two-dimensional manifold, to the degree of the mapping (cf. [[Degree of a mapping|Degree of a mapping]]) $  f $(
 +
in the non-orientable case, it must be reduced modulo 2). If $  f ^ { - 1 } ( w ) $
 +
contains branch points with multiplicities $  k _ {1} \dots k _ {t} $,  
 +
then $  f ^ { - 1 } ( w) $
 +
contains $  \sum ( k _ {i} - 1) $
 +
fewer points than for an ordinary point (here, the summation is over all the branch points in $  M _ {1} $).  
 +
Since the number of vertices, $  V ( M _ {1} ) $,  
 +
is $  \sum ( k _ {i} - 1 ) $
 +
less than $  d \cdot V ( M _ {2} ) $,  
 +
while the numbers of edges and faces are given by $  E ( M _ {1} ) = d \cdot E ( M _ {2} ) $
 +
and $  F ( M _ {1} ) = d \cdot F ( M _ {2} ) $,  
 +
one has
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t094/t094530/t094530116.png" /></td> </tr></table>
+
$$
 +
\chi ( M _ {1} )  = d \cdot \chi ( M _ {2} ) -
 +
\sum ( k _ {i} - 1 ) .
 +
$$
  
 
This is the Riemann–Hurwitz formula.
 
This is the Riemann–Hurwitz formula.
  
From the point of view of differential geometry, two-dimensional manifolds can be regarded as smooth manifolds with supplementary structures (e.g. metric, connections, etc.), or else as imbedded (possibly with self-intersections) into Euclidean spaces. A smooth two-dimensional manifold can be triangulated so that the edges are smooth arcs and all angles are non-zero (Cairns' theorem, 1934). Here, combinatorially-equivalent triangulations correspond to diffeomorphic two-dimensional manifolds, and vice versa. Thus, the classification of two-dimensional manifolds holds for smooth two-dimensional manifolds as well. An example of a theorem relating the topological characteristics of a two-dimensional manifold with its differential-geometric properties is the [[Gauss–Bonnet theorem|Gauss–Bonnet theorem]] [[#References|[3]]]: The integral of the curvature of a closed surface (more exactly, of the Gaussian curvature defined by some [[Riemannian connection|Riemannian connection]], which can always be defined on a smooth two-dimensional manifold) is equal to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t094/t094530/t094530117.png" />. This fact, as well as its interpretation using the so-called Gauss mapping (in particular, the [[Spherical map|spherical map]]) into a Grassmann manifold, if the manifold is immersed in a Euclidean space, is generalized in the theory of characteristic classes (cf. [[Characteristic class|Characteristic class]]). Another theorem, which is also one of the sources of this theory, states that the sum of the indices (cf. [[Index|Index]]) of the singular points of any vector field on a closed surface is equal to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t094/t094530/t094530118.png" />.
+
From the point of view of differential geometry, two-dimensional manifolds can be regarded as smooth manifolds with supplementary structures (e.g. metric, connections, etc.), or else as imbedded (possibly with self-intersections) into Euclidean spaces. A smooth two-dimensional manifold can be triangulated so that the edges are smooth arcs and all angles are non-zero (Cairns' theorem, 1934). Here, combinatorially-equivalent triangulations correspond to diffeomorphic two-dimensional manifolds, and vice versa. Thus, the classification of two-dimensional manifolds holds for smooth two-dimensional manifolds as well. An example of a theorem relating the topological characteristics of a two-dimensional manifold with its differential-geometric properties is the [[Gauss–Bonnet theorem|Gauss–Bonnet theorem]] [[#References|[3]]]: The integral of the curvature of a closed surface (more exactly, of the Gaussian curvature defined by some [[Riemannian connection|Riemannian connection]], which can always be defined on a smooth two-dimensional manifold) is equal to $  2 \pi \chi ( M) $.  
 +
This fact, as well as its interpretation using the so-called Gauss mapping (in particular, the [[Spherical map|spherical map]]) into a Grassmann manifold, if the manifold is immersed in a Euclidean space, is generalized in the theory of characteristic classes (cf. [[Characteristic class|Characteristic class]]). Another theorem, which is also one of the sources of this theory, states that the sum of the indices (cf. [[Index|Index]]) of the singular points of any vector field on a closed surface is equal to $  \chi ( M) $.
  
Two-dimensional manifolds play an important part in the theory of functions of a complex variable. Here, such manifolds have complex structures, i.e. the local coordinates in neighbourhoods of points are related by analytic functions, and are known as Riemann surfaces (cf. [[Riemann surface|Riemann surface]]) [[#References|[4]]]. They are all orientable. Closed Riemann surfaces are geometric models of complex algebraic curves (cf. [[Algebraic curve|Algebraic curve]]). A complex structure on a two-dimensional manifold is not uniquely defined by its differential-topological structure. For example, on a surface of genus <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t094/t094530/t094530119.png" /> the complex structures form a continuum of dimension <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t094/t094530/t094530120.png" /> (Teichmüller's theorem, 1940) if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t094/t094530/t094530121.png" /> (cf. [[Teichmüller space|Teichmüller space]]).
+
Two-dimensional manifolds play an important part in the theory of functions of a complex variable. Here, such manifolds have complex structures, i.e. the local coordinates in neighbourhoods of points are related by analytic functions, and are known as Riemann surfaces (cf. [[Riemann surface|Riemann surface]]) [[#References|[4]]]. They are all orientable. Closed Riemann surfaces are geometric models of complex algebraic curves (cf. [[Algebraic curve|Algebraic curve]]). A complex structure on a two-dimensional manifold is not uniquely defined by its differential-topological structure. For example, on a surface of genus $  g $
 +
the complex structures form a continuum of dimension $  6g - 6 $(
 +
Teichmüller's theorem, 1940) if $  g > 1 $(
 +
cf. [[Teichmüller space|Teichmüller space]]).
  
 
Special requirements are sometimes imposed on the definition of a two-dimensional manifold, viz., that as a topological space it be Hausdorff or that it have a countable base. The latter condition, in particular, is essential for the manifold to be triangulable: Non-triangulable two-dimensional Hausdorff manifolds exist (cf. [[Prüfer surface|Prüfer surface]]).
 
Special requirements are sometimes imposed on the definition of a two-dimensional manifold, viz., that as a topological space it be Hausdorff or that it have a countable base. The latter condition, in particular, is essential for the manifold to be triangulable: Non-triangulable two-dimensional Hausdorff manifolds exist (cf. [[Prüfer surface|Prüfer surface]]).
Line 89: Line 228:
 
====References====
 
====References====
 
<table><TR><TD valign="top">[1]</TD> <TD valign="top">  P.S. Aleksandrov,  V.A. Efremovich,  "Outline of fundamental concepts in topology" , Moscow-Leningrad  (1936)  (In Russian)</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top">  D. Hilbert,  S.E. Cohn-Vossen,  "Geometry and the imagination" , Chelsea  (1956)  (Translated from German)</TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top">  I.Ya. Bakel'man,  A.L. Verner,  B.E. Kantor,  "Introduction to geometry  "in the large" " , Moscow  (1973)  (In Russian)</TD></TR><TR><TD valign="top">[4]</TD> <TD valign="top">  G. Springer,  "Introduction to Riemann surfaces" , Addison-Wesley  (1957)  pp. Chapt.10</TD></TR><TR><TD valign="top">[5]</TD> <TD valign="top">  S. [S. Stoilov] Stoilow,  "Leçons sur les principes topologiques de la théorie des fonctions analytiques" , Gauthier-Villars  (1938)</TD></TR></table>
 
<table><TR><TD valign="top">[1]</TD> <TD valign="top">  P.S. Aleksandrov,  V.A. Efremovich,  "Outline of fundamental concepts in topology" , Moscow-Leningrad  (1936)  (In Russian)</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top">  D. Hilbert,  S.E. Cohn-Vossen,  "Geometry and the imagination" , Chelsea  (1956)  (Translated from German)</TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top">  I.Ya. Bakel'man,  A.L. Verner,  B.E. Kantor,  "Introduction to geometry  "in the large" " , Moscow  (1973)  (In Russian)</TD></TR><TR><TD valign="top">[4]</TD> <TD valign="top">  G. Springer,  "Introduction to Riemann surfaces" , Addison-Wesley  (1957)  pp. Chapt.10</TD></TR><TR><TD valign="top">[5]</TD> <TD valign="top">  S. [S. Stoilov] Stoilow,  "Leçons sur les principes topologiques de la théorie des fonctions analytiques" , Gauthier-Villars  (1938)</TD></TR></table>
 
 
  
 
====Comments====
 
====Comments====
 
  
 
====References====
 
====References====
 
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  M.W. Hirsch,  "Differential topology" , Springer  (1976)  pp. Chapt. 6</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top">  E.M. Moise,  "Geometric topology in dimensions 2 and 3" , Springer  (1977)</TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top">  O. Forster,  "Lectures on Riemann surfaces" , Springer  (1977)  (Translated from German)</TD></TR><TR><TD valign="top">[a4]</TD> <TD valign="top">  Yu. Borisovich,  N. Bliznyakov,  Ya. Izrailevich,  T. Fomenko,  "Introduction to topology" , Kluwer  (1993)  (Translated from Russian)</TD></TR><TR><TD valign="top">[a5]</TD> <TD valign="top">  R.S. Millman,  G.D. Parker,  "Elements of differential geometry" , Prentice-Hall  (1977)  pp. 26</TD></TR></table>
 
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  M.W. Hirsch,  "Differential topology" , Springer  (1976)  pp. Chapt. 6</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top">  E.M. Moise,  "Geometric topology in dimensions 2 and 3" , Springer  (1977)</TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top">  O. Forster,  "Lectures on Riemann surfaces" , Springer  (1977)  (Translated from German)</TD></TR><TR><TD valign="top">[a4]</TD> <TD valign="top">  Yu. Borisovich,  N. Bliznyakov,  Ya. Izrailevich,  T. Fomenko,  "Introduction to topology" , Kluwer  (1993)  (Translated from Russian)</TD></TR><TR><TD valign="top">[a5]</TD> <TD valign="top">  R.S. Millman,  G.D. Parker,  "Elements of differential geometry" , Prentice-Hall  (1977)  pp. 26</TD></TR></table>

Latest revision as of 08:26, 6 June 2020


A topological space each point of which has a neighbourhood which is homeomorphic to a plane or a closed half-plane. It is the class of manifolds which are easiest to visualize; it includes the sphere, the disc, the Möbius strip, the projective plane, the Klein bottle, etc.

Points with only neighbourhoods homeomorphic to a half-plane (if any) form the boundary of the manifold.

The most important class of two-dimensional manifolds are closed orientable two-dimensional manifolds, or closed surfaces. The simplest of these, the sphere $ S ^ {2} $, is a surface of genus zero (cf. Genus of a surface). A surface of genus $ g $ is obtained from $ S ^ {2} $ by removal of $ 2g $ pairs of non-intersecting discs and by identifying each pair of boundary circles with boundaries of a bent cylinder (Fig. a). This process is known as glueing of handles, while the closed surface of genus $ g $ is known as a sphere with $ g $ handles (Fig. b).

Figure: t094530a

Figure: t094530b

A wider class of two-dimensional manifolds is constituted by the compact orientable two-dimensional manifolds, or surfaces with boundary, which can be obtained from any closed surface by removing the interior points of a finite number of non-intersecting discs. Their boundaries form the boundary of the two-dimensional manifold thus generated. The genus of this manifold is considered to be the genus of the initial surface (Fig. c). A two-dimensional manifold of genus zero with boundary is a disc or a punctured disc.

Figure: t094530c

Figure: t094530d

Another class of two-dimensional manifolds are the compact non-orientable two-dimensional manifolds. They can also be closed or have a boundary. The simplest such manifold is the Möbius strip (Fig. d). It cannot be oriented, i.e. it is not possible to select on the strip a direction of rotation around each point at the same time so that these directions continuously pass into each other. Another example is the projective plane $ \mathbf R P ^ {2} $. Each neighbourhood of any projective straight line in $ \mathbf R P ^ {2} $ contains the Möbius strip and for this reason $ \mathbf R P ^ {2} $ is also non-orientable. In the general case, compact non-orientable two-dimensional manifolds can be obtained from closed surfaces by elimination of the interior points of non-intersecting discs and replacing some (or all) of them by Möbius strips (Fig. eshows a Möbius strip as a crossed covering, i.e. with a self-intersection on a segment). The projective plane $ \mathbf R P ^ {2} $ can be obtained from a sphere by replacing one of the discs by the Möbius strip. If two discs are replaced by Möbius strips, a Klein surface is obtained (Fig. f), which can also conveniently be represented as a sphere with a non-orientable handle. In general, the glueing of two Möbius strips may be replaced by the glueing of one non-orientable handle, and vice versa. On the other hand, if one end of an ordinary handle is moved along the median line of a Möbius strip, the handle will become non-orientable (Fig. g). Thus, in a non-orientable two-dimensional manifold any handle can be replaced by two Möbius strips and vice versa.

Figure: t094530e

Figure: t094530f

Figure: t094530g

Spheres with handles or with Möbius strips and, possibly, also with discs removed, account for all compact connected (consisting of one piece) two-dimensional manifolds. Non-compact two-dimensional manifolds, e.g. the plane $ \mathbf R ^ {2} $, the half-plane $ \mathbf R _ {+} ^ {2} $ and, generally, any open proper subset of an arbitrary compact two-dimensional manifold, may have a very complicated structure. Thus, if one takes an infinite number of discs in $ \mathbf R ^ {2} $ which move away to infinity and replaces them by handles or Möbius strips, the resulting two-dimensional manifold will not be an open subset of any compact two-dimensional manifold (Fig. h). Non-compact two-dimensional manifolds without boundary are said to be open.

Figure: t094530h

One method of studying two-dimensional manifolds is the combinatorial approach, in which the manifold is regarded as being built up from convex polygons (faces), adjacent to one another by way of common edges. Triangulations (cf. Triangulation) of two-dimensional manifolds, with triangles as faces, are especially important. If two two-dimensional manifolds are triangulated, their triangulations are referred to as combinatorially equivalent if they have isomorphic subdivisions for which it is possible to establish a one-to-one correspondence between the elements under which adjacency of respective faces is preserved. Among the two-dimensional complexes (cf. Complex) of a triangulated two-dimensional manifold those are singled out for which each edge has one adjacent face (for edges on the boundary) or two faces, and for which the faces form a cycle (star) of faces sequentially adjacent to one another around each triangulation vertex (Fig. i). The cycle is closed if the vertex does not lie on the boundary (a), and is not closed if it does (b). Compactness of a two-dimensional manifold is equivalent to finiteness of the number of faces of any triangulation, while connectedness is equivalent to the possibility of connecting any two vertices by a chain of edges. In a connected two-dimensional manifold any two faces are interconnected by a chain of faces in which two adjacent faces have a common edge. Non-orientability is equivalent to the presence of a chain which comprises a Möbius strip.

Figure: t094530i

Triangulation is a convenient method for introducing invariants, i.e. characteristics which are identical in combinatorially-equivalent two-dimensional manifolds. The most important invariant is the Euler characteristic $ \chi ( M) $ which, for a given triangulation, is equal to the number $ V - E + F $, where $ V , E , F $ are the numbers of vertices, edges and faces of the triangulation, respectively. $ \chi $ does not change under subdivision, and it follows that if $ \chi ( M _ {1} ) \neq \chi ( M _ {2} ) $, then $ M _ {1} $ and $ M _ {2} $ are combinatorially non-equivalent. For a sphere with $ g $ handles, $ \chi ( M) = 2 - 2g $; in particular, it is equal to 2 for spheres, to 0 for tori, to 1 for projective planes, to 0 for Klein bottles, and to $ 2 - k $ for spheres with $ k $ Möbius strips. If the interiors of $ k $ discs are eliminated from a two-dimensional manifold $ M $, $ \chi ( M) $ will decrease by $ k $. If one assigns to a compact connected two-dimensional manifold the three numbers

$$ \{ \epsilon , \chi , k \} , $$

where $ \epsilon = \pm 1 $, depending on the orientability, $ \chi = \chi ( M) $ and $ k $ is the number of boundary components, one obtains a complete description of the two-dimensional compact manifold up to combinatorial equivalence. This is because these triplets are different for the two-dimensional manifolds described above (the sphere with handles, the sphere with Möbius strips and, possibly, with punctuations as well), while any compact connected two-dimensional manifold is combinatorially equivalent to one of these manifolds [1], [3]. A classification of open two-dimensional manifolds is also available, but it is much more involved, since the number of different surfaces in this case is uncountable [5].

For a purely topological study of two-dimensional manifolds the Jordan theorem is of fundamental importance. Let $ C $ be a curve without self-intersections which connects two points on the boundary of the manifold $ M $, or which is a closed curve; it is known as a section of $ M $. The section $ C $ does not disconnect $ M $ if any two points of $ M $ are connected by an arc which does not intersect $ C $. The maximum number of sections which, together, do not disconnect $ M $, plus one is known as the connectedness number of $ M $. Thus, according to Jordan's theorem, a sphere and a disc are simply connected. The connectedness number of a closed surface of genus $ g $ is $ 2g + 1 = 3 - \chi $. For such a surface, a selection of $ 2g $ sections is available, all sections issuing from one point and being subdivided into pairs so that each pair realizes the section of one handle. Such a selection is said to be a canonical section of $ M $: If $ M $ is cut along all these sections, a disc is obtained. The case of canonical sections of non-orientable two-dimensional manifolds (along median lines of Möbius strips) is similar. For a two-dimensional manifold with boundary, additional sections from a basic point to each component of the boundary are required. Conversely, a disc whose boundary is subdivided into segments yields a two-dimensional manifold if these segments are glued pairwise. If the glueing is effected as shown in Fig. j, an orientable two-dimensional manifold is obtained; if it is carried out as in Fig. k, the manifold will be non-orientable. (A segment $ x $ should be glued together with a segment $ x ^ \prime $ so that the directions of the arrows coincide.) If several segments remain unglued, a boundary is obtained.

Figure: t094530j

Figure: t094530k

Jordan's theorem also makes it possible to give a topological characterization of two-dimensional manifolds. In particular, the sphere is the unique locally connected continuum containing the topological image of a circle, which is disconnected by any image of a circle and is not disconnected by any pair of points. In general, two-dimensional manifolds are distinguished from other objects in the class of locally connected continua by the fact that they are not disconnected by any pair of points and are disconnected by a sufficiently small circle (Wilder's theorem, 1949).

Since for homeomorphic two-dimensional manifolds any two triangulations are combinatorially equivalent, a combinatorial classification of two-dimensional manifolds is of a purely topological nature. While compact two-dimensional manifolds are uniquely characterized by $ \epsilon , \chi , k $, other topological invariants are also of importance in the study of properties of two-dimensional manifolds. These are, first of all, the one-dimensional homology group $ H _ {1} ( M) $ and the fundamental group $ \pi _ {1} ( M) $. For a closed surface of genus $ g $, $ H _ {1} ( M) $ is equal to the direct sum of $ 2g $ copies of the group of integers $ \mathbf Z $; $ g $ pairs of a canonical section are usually taken as generators. For a non-orientable closed two-dimensional manifold with connectedness number $ s $, $ H _ {1} ( M) $ is the sum of $ s - 1 $ copies of the group $ \mathbf Z $ and one copy of $ \mathbf Z _ {2} $. The generating elements taken are sections of a canonical section (except one) and a path which is disoriented (after intersecting with some two-dimensional manifold this path becomes orientable). A presentation for $ \pi _ {1} ( M) $ is most conveniently obtained with the aid of a canonical section: Its sections are taken as the generating elements, while the relation is obtained by traversing the boundary of the disc which results from the section. In the orientable case, one arrives at the presentation

$$ \{ {a _ {1} , b _ {1} ; \dots ; a _ {g} , b _ {g} } : { a _ {1} b _ {1} a _ {1} ^ {-} 1 b _ {1} ^ {-} 1 \dots a _ {g} b _ {g} a _ {g} ^ {-} 1 b _ {g} ^ {-} 1 = 1 } \} , $$

while in the non-orientable case

$$ \{ {a _ {1} \dots a _ {s} } : {a _ {1} ^ {2} \dots a _ {s} ^ {2} = 1 } \} $$

Note the important fact that the plane $ \mathbf R ^ {2} $ is the universal covering of any connected two-dimensional manifold without boundary (except for $ S ^ {2} $ and $ \mathbf R P ^ {2} $), while the corresponding monodromy group is realized by motions of the Euclidean or the Lobachevskii plane. Thus, a torus is obtained by identification of all points in the plane differing from one another by $ m \mathbf v _ {1} + n \mathbf v _ {2} $, where $ \mathbf v _ {1} $ and $ \mathbf v _ {2} $ are two given vectors and $ m $ and $ n $ are integers. In applications, branched coverings are also of importance. Consider a mapping $ f: M _ {1} \rightarrow M _ {2} $, where $ M _ {1} $ and $ M _ {2} $ are closed triangulated two-dimensional manifolds, which linearly maps each face of $ M _ {1} $ into some face $ M _ {2} $, and where for each edge $ l $ in $ M _ {1} $ the two adjacent faces are mapped into different faces adjacent to the edge $ f ( l) $ in $ M _ {2} $. For each point $ x \in M _ {1} $ other than a vertex, it is possible to find a neighbourhood in $ M _ {1} $ which is one-to-one transformed by $ f $ into a neighbourhood of the point $ f ( x) $ in $ M _ {2} $. If, for a vertex $ v $ of $ M _ {1} $, one cyclically traverses all the adjoining faces, the respective faces in $ M _ {2} $ will cyclically traverse around $ f ( v) $ in $ M _ {2} $ an integral number, $ k $, of times. If $ k = 1 $, $ v $ is an ordinary point; if $ k > 1 $, $ v $ is a branch point, and $ k $ is the multiplicity of branching at $ v $. If $ f ^ { - 1 } ( w) $ for $ w \in M _ {2} $ contains no branch points, $ w $ is also called an ordinary point. Since the pre-images of nearby ordinary points in $ M _ {2} $ consist of an equal number of points, by continuity this number will be the same for all ordinary points. It is called the number of covering sheets. This number $ d $ is equal, for an orientable two-dimensional manifold, to the degree of the mapping (cf. Degree of a mapping) $ f $( in the non-orientable case, it must be reduced modulo 2). If $ f ^ { - 1 } ( w ) $ contains branch points with multiplicities $ k _ {1} \dots k _ {t} $, then $ f ^ { - 1 } ( w) $ contains $ \sum ( k _ {i} - 1) $ fewer points than for an ordinary point (here, the summation is over all the branch points in $ M _ {1} $). Since the number of vertices, $ V ( M _ {1} ) $, is $ \sum ( k _ {i} - 1 ) $ less than $ d \cdot V ( M _ {2} ) $, while the numbers of edges and faces are given by $ E ( M _ {1} ) = d \cdot E ( M _ {2} ) $ and $ F ( M _ {1} ) = d \cdot F ( M _ {2} ) $, one has

$$ \chi ( M _ {1} ) = d \cdot \chi ( M _ {2} ) - \sum ( k _ {i} - 1 ) . $$

This is the Riemann–Hurwitz formula.

From the point of view of differential geometry, two-dimensional manifolds can be regarded as smooth manifolds with supplementary structures (e.g. metric, connections, etc.), or else as imbedded (possibly with self-intersections) into Euclidean spaces. A smooth two-dimensional manifold can be triangulated so that the edges are smooth arcs and all angles are non-zero (Cairns' theorem, 1934). Here, combinatorially-equivalent triangulations correspond to diffeomorphic two-dimensional manifolds, and vice versa. Thus, the classification of two-dimensional manifolds holds for smooth two-dimensional manifolds as well. An example of a theorem relating the topological characteristics of a two-dimensional manifold with its differential-geometric properties is the Gauss–Bonnet theorem [3]: The integral of the curvature of a closed surface (more exactly, of the Gaussian curvature defined by some Riemannian connection, which can always be defined on a smooth two-dimensional manifold) is equal to $ 2 \pi \chi ( M) $. This fact, as well as its interpretation using the so-called Gauss mapping (in particular, the spherical map) into a Grassmann manifold, if the manifold is immersed in a Euclidean space, is generalized in the theory of characteristic classes (cf. Characteristic class). Another theorem, which is also one of the sources of this theory, states that the sum of the indices (cf. Index) of the singular points of any vector field on a closed surface is equal to $ \chi ( M) $.

Two-dimensional manifolds play an important part in the theory of functions of a complex variable. Here, such manifolds have complex structures, i.e. the local coordinates in neighbourhoods of points are related by analytic functions, and are known as Riemann surfaces (cf. Riemann surface) [4]. They are all orientable. Closed Riemann surfaces are geometric models of complex algebraic curves (cf. Algebraic curve). A complex structure on a two-dimensional manifold is not uniquely defined by its differential-topological structure. For example, on a surface of genus $ g $ the complex structures form a continuum of dimension $ 6g - 6 $( Teichmüller's theorem, 1940) if $ g > 1 $( cf. Teichmüller space).

Special requirements are sometimes imposed on the definition of a two-dimensional manifold, viz., that as a topological space it be Hausdorff or that it have a countable base. The latter condition, in particular, is essential for the manifold to be triangulable: Non-triangulable two-dimensional Hausdorff manifolds exist (cf. Prüfer surface).

References

[1] P.S. Aleksandrov, V.A. Efremovich, "Outline of fundamental concepts in topology" , Moscow-Leningrad (1936) (In Russian)
[2] D. Hilbert, S.E. Cohn-Vossen, "Geometry and the imagination" , Chelsea (1956) (Translated from German)
[3] I.Ya. Bakel'man, A.L. Verner, B.E. Kantor, "Introduction to geometry "in the large" " , Moscow (1973) (In Russian)
[4] G. Springer, "Introduction to Riemann surfaces" , Addison-Wesley (1957) pp. Chapt.10
[5] S. [S. Stoilov] Stoilow, "Leçons sur les principes topologiques de la théorie des fonctions analytiques" , Gauthier-Villars (1938)

Comments

References

[a1] M.W. Hirsch, "Differential topology" , Springer (1976) pp. Chapt. 6
[a2] E.M. Moise, "Geometric topology in dimensions 2 and 3" , Springer (1977)
[a3] O. Forster, "Lectures on Riemann surfaces" , Springer (1977) (Translated from German)
[a4] Yu. Borisovich, N. Bliznyakov, Ya. Izrailevich, T. Fomenko, "Introduction to topology" , Kluwer (1993) (Translated from Russian)
[a5] R.S. Millman, G.D. Parker, "Elements of differential geometry" , Prentice-Hall (1977) pp. 26
How to Cite This Entry:
Two-dimensional manifold. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Two-dimensional_manifold&oldid=18443
This article was adapted from an original article by A.V. Chernavskii (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article