Use mathematical induction to prove that a connected sum of projective planes is homeomorphic to the connected sum of tori in connected sum with either a projective plane or a klein bottle. Assume the theorem is true for a connected sum of g copies of projective. Manifolds and surfaces city university of new york. A 2manifold with boundary can be derived by removing an open disk from a 2manifold without boundary. Every surface is a connected sum of tori andor projective planes. List of fundamental groups of common spaces mathonline. Given two surfaces m and n, we move an open disk d on both of them. Thus, the connected sum of three real projective planes is homeomorphic to the connected. Two more exotic surfaces are the projective plane and the klein bottle fig. Two tori glued along a slit the empty set the menger sponge the connected sum. It can be shown that connected sum does not depend on the choice of. I got as far as showing that it must be equivalent to a connected sum of projective planes, how can i argue though that i need precisely three projective.
The sphere and the torus are what we call orientable surfaces because they have a distinct inside and outside, while the klein bottle and projective plane are nonorientable. Adding a handle turns out to be the same as taking the connected sum with a torus. The connected sum of n projective planes is home omorphic with the connected sum of a torus with a projective plane if n is odd or with a klein bottle if n is even. T 0 we see that adding a handle decreases the euler characteristic of any surface by 2. Believe it or not, we have almost all the topological ingredients for making any surface whatsoever.
What is the general pattern for an n torus, the connected sum of n tori. Visual proof that the connected sum of a real projective plane represented here as a moebius strip, but remember that glueing a disc to the border of a moebius strip produces a real projective. The rest of this article will assume, unless specified otherwise, that a surface is nonempty, hausdorff, second countable, and connected. The sphere is an identity for the connected sum operation. Connected sums of real projective plane and torus or klein bottle.
Connect sum a 1holed torus to a 2holed torus, and you get a 3holed torus. It can be shown that connected sum does not depend on the choice of disks that are cut out from each surface, and so it. Visual proof that the connected sum of a real projective plane represented here as a moebius strip, but remember that glueing a disc to the border of a moebius strip produces a real projective plane and a torus, and the connected sum of a real projective plane and a klein bottle are homeomorphic. A connected sum of ntori is called the nfold torus. Connected sum of two complex projective planes with same. The classi cation of closed compact surfaces every closed compact connected surface is homeomorphic to a sphere or a connected sum of tori or a connected sum of projective planes. After the great success of thurstons geometrisation of 3manifolds, the classi. To connect sum two surfaces you pull out a disc from each, creating holes, and then sew the two surfaces together along the boundaries of the holes.
Question if you make a connected sum of two spaces, what is the dimension of the resulting space equal to. The connected sum of the real projective plane and the klein bottle is homeomorphic to the connected sum of the real projective plane with the torus. A sphere, klein bottle and projective plane can be constructed in the three following. A connected sum of mprojective planes is called the mfold projective plane. Algorithmical determination of the topology of a real. Klein bottle and projectiveplane can be constructed in the three. This is easily proved by induction on the number of faces determined by g, starting with a tree as the base case.
Second of all, the connected sum of a torus and a projective plane is. For n 1, the nhole torus is the connected sum of n tori, denoted by nt2. The picture below shows each object with a disk removed. Homotopy type of connected sum depends on choice of gluing map. Pictures of the projective plane by benno artmann pdf. Then figure out what you get when you glue two of these together. Every closed 2manifold that cannot be embedded in r3 is homeomorphic to the connected sum of n projective planes for some n 1. Apply the above propostition iteratively until you get either a single projective plane nodd or two projective planes, i. Emille davie lawrences favorite theorem scientific. Then s is homeomorphic to exactly one of the following.
In geometry, a torus plural tori is a surface of revolution generated by revolving a circle in threedimensional space about an axis that is coplanar with the circle if the axis of revolution does not touch the circle, the surface has a ring shape and is called a torus of revolution. Only one very important surface remains to be explored and of course we need a way to put surfaces together to make new surfaces. The euler characteristic can be defined for connected plane graphs by the same. Show that the connected sum of the torus and the projective plane is. Theorem 1 let s be a compact connected 2dimensional manifold, formed from a polygon in the plane by gluing corresponding sides of the boundary together. For example joining a torus and a projective plane gives a nonorientable surface with. Relaxing sleep, instant quiet calm and stress relief dream relaxing, peaceful energy music. Prove that the connected sum of a torus with the projective plane is homeomorphic to the connected sum of 3 projective planes. Any triangulated surface is homeomorphic to either the sphere or a connected sum of tori and projective planes. However, it is not obvious that all real surfaces are obtained by connected sums starting only with the sphere, the torus and the real projective plane.
More generally, a topological surface with boundary is a hausdorff topological space in which every point has an open neighbourhood homeomorphic to some open subset of the closure of the upper half plane h. Introduction to computational topology notes stanford graphics. The simplest nonorientable surface is the real projective plane. The fundamental group of the projective plane is isomorphic to z2 by corollary 60. Since the connected sum of two projective planes is obtained by removing a disc from each and gluing the resulting spaces together along the boundary circles and since the result of removing a disc from the projective plane is the m obius band proposition 1. The projective plane rp2 is the quotient of the unit square q 0,12. What surface in our catalog do we obtain from the connected sum of a torus and a projective plane. Connected sums of real projective plane and torus or klein. Again if the manifold is not orientable this is not true. So in this section, we will give an idea of how to. This topological space is defined as the connected sum of two copies of the complex projective plane, where they are glued with the same orientation related facts. For instance, if you view real projective space as the connected sum of itself and a small sphere then the bounding circle is not homologous to zero over z in the plane minus the disc. Recall that topology, like euclidean geometry, is a study of the properties of spaces that.
Such a diagram is called a polygonal presentation of a surface. The problem of the algorithmic determination of the topological type of a nonsingular real projective algebraic surface has already been solved in fortuna et al. The sphere and the torus are what we call orientable surfaces because they have a distinct inside and outside, while the klein bottle and projective plane. If the axis of revolution is tangent to the circle, the surface is a horn torus. The only closed prime surfaces are the torus, the projective plane and the sphere. First of all, the klein bottle is the connected sum of two projective planes. Show that the projective plane p is the union of a mobius strip and a disk. We therefore get another representation of it by adjoining two open crosscaps. Give two proofs that the klein bottle k is the union of two mobius strips. Orientable and nonorientable surfaces cornell university. The nonorientable surface n 3 of euler characteristic 1 can be described as the connected sum of a sphere with three crosscaps the sphere model, or as the connected sum of a torus and one crosscap the torus model. So, we can eliminate any klein bottles from the description.
The connected sum of two surfaces if constructed by cutting a circle out of. In particular, this connected sum is of a different homotopy type than the connected sum of two complex projective planes with opposite orientation. Topology and geometry of 2 and 3 dimensional manifolds. Hard show that the connected sum of a torus and a projective plane is the same as the connected sum of a klein bottle and a projective plane.
588 98 761 1332 913 1284 963 942 1607 27 471 1572 610 984 1149 469 1528 1643 1434 906 26 790 556 1415 1400 1117 988 1354 1265 458 598 735 253 722 218 1350 401 461 77 16 708 173 529 957 941