2. Some Definitions

The formal definition of a manifold can be quite cumbersome and beyond the reach of most undergraduates. However, informal definitions of 2- and 3-manifolds can be used in our discussion with little loss (many of our "informal definitions" are from Weeks 1985). A 2-manifold (also called a surface) is a space which is locally 2-dimensional. A 3-manifold is a space which is locally 3-dimensional. Strictly speaking, a manifold does not have an edge (or boundary). Therefore the surface of a sphere is a 2-manifold (called the 2-sphere), but the interior of a sphere is not a manifold, since it has a boundary. From here on, we restrict our attention to 2- and 3-manifolds. We will concentrate on 2-manifolds when we are trying to visualize things clearly, and we will concentrate on 3-manifolds when we consider the shape of our universe, since our universe is 3 dimensional.

The properties of a manifold that do not change under continuous deformations make up the manifold's topology. For example, connectedness is a topological property. See Figure 2. The properties of a manifold that do change under continuous deformations make up a manifold's geometry. For example, curvature, area, distance, and angles are geometric properties. See Figure 3. Again informally, a local property of a manifold is one which is observable in a small region of the manifold (such as the type of geometry). A global property of a manifold is one which requires consideration of the manifold as a whole to determine (such as the type of connectedness of the manifold). We will give classifications of 2- and 3-manifolds according to their global topology. The question we wish to address can be worded as: "What is the global topology of the universe?"


Figure 2. A coffee mug and a torus share the same topology since one can be continuously stretched into the other (if one was made of clay, it could be molded into the other without tearing or introducing new connections). A torus and a sphere are topologically different since, crudely put, a torus has a hole and a sphere doesn't. Finally, a sphere is topologically equivalent to the lump on the right.


Figure 3. The sphere and the flattened sphere are topologically equivalent since we can continuously transform the upper hemisphere into a flat disc. However, in making this transformation, the curvature of the surface changes and the area, angles, and lengths of the sides of the triangle change. Therefore these are geometric properties.


Go to Section 3.