by Behnam Esmayli
In posts 1-3 we were able to reduce all of the geometry of a curve in 3-space to an interval [a,b]\subset \mathbb{R} along with two or three real-valued functions. We also discussed when two sets of such data give equivalent (overlapping) curves. This enabled us to patch tog (full story below)

by Behnam Esmayli

In posts 1-3 we were able to reduce all of the geometry of a curve in 3-space to an interval [a,b]\subset \mathbb{R} along with two or three real-valued functions. We also discussed when two sets of such data give equivalent (overlapping) curves. This enabled us to patch together a collection of such sets of data into one unified spatial curve.

We then studied the specific example of re-defining the metric on the plane so that its geometry is precisely that of a 2-sphere. We saw that for measurements of angles, lengths, and areas, all we need is a dot-product on vectors. Given an open domain in the plane, once we have a dot-product, we will be able to make such measurements. Our goal in this post is to make the following definition of a manifold more tangible.

Begin with a topological space X. (Note we cannot talk about any structure other than continuous maps from or to this space.) Assume that for every x \in X, there is an open neighborhood N_x of x homeomorphic to an open domain U_x in the plane: \phi _x : N_x \longrightarrow U_x . These are called “charts”, or coordinate maps.

Given this the question now is: How do we make sense of the notions of C^1-ness and length for a curve C\subset N_x\subset X? One way we might hope to do this is by using our coordinate maps. That is we say that C is C^1 if \phi_x(C) is C1
C1
and we define the length of C
C
to be the length of \phi_x(C).

As illustrated in a picture in the previous post, this definition of C^1-ness is not a satisfactory one because some curves will lie simultaneously in two neighborhoods, say U_x and U_y, and there is no guarantee that if its image in U_x is C^1, it must also be C^1 in U_y.

However, the two images are transformed to one another by the map \phi _x \circ \phi _y^{-1} : U_y \longrightarrow U_x (See the previous article for the reason.) Therefore, if these “transition maps” between subsets of \mathbb{R}^2 are C^1, then without ambiguity, we can define a subset of X to be a C^1 curve if its image under any (and hence all) of the chart maps is a C^1 curve in \mathbb{R}^2.

The space X together with the data of coordinate charts with the properties above is a 2-dimensional C^1 manifold.

As sketched above, for such manifolds, it is meaningful to talk about C^1 curves, or C^1 functions f: X \longrightarrow \mathbb{R}. In the latter case, we say f is C^1 if f \circ \phi _x^{-1} is C^1 for all x.

Hopefully, now, the idea is starting to make sense. A C^2 manifold is a topological space with charts whose transition maps are C^2. For these manifolds, we can talk about second derivative of functions. A smooth manifold is one with smooth, i.e. C^\infty, transition maps… Well, as is noted in [1, pg. 9], “Usually additional technical assumptions on the topological space are made to exclude pathological cases. It is customary to require that the space be Hausdorff and second countable.”

Definition: “A C^r n-manifold” is a Hausdorff and second countable topological space, with charts that map into open domains of \mathbb{R}^n such that the transition maps are C^r.

Where did the metric go?! How do we measure lengths?

Remember I said we might try to define the length of a curve C\subset N_x by saying it is equal to the length of the curve \phi_x(C) lying in U_x? Well, this begs the question: How do we compute the length of \phi_x(C), because U_x might have a metric other than the usual Euclidean one. For example, recall the metric on the plane from our example in the fourth post in this series. This means we run into a problem similar to the one we had when defining C^1-ness. If each U_x has its own metric, then a curve on the manifold may have different lengths, depending on the chart we use for the measurement. This will make the length undefinable by looking at charts, unless, some very intricate compatibility assumptions are imposed on the metrics of the U_x‘s.

The good news is that one usually takes a different approach: A metric is built on the manifold upfront, rather than pieced together from collection of metrics on various U_x‘s that happen to magically be compatible in an complex manner. The key thing that makes this direct construction on the metric on a manifold possible, is the existence of “the tangent space”.

Fix a point x \in X, a C^1 manifold. In a chart \phi _1, the point x is represented by \phi _1 (x). Since \phi _2 \circ \phi _1^{-1} is bijective and C^1, its derivative at the point \phi _1 (x) existences, and is a 2\times2 invertible matrix, mapping vectors centered at \phi _1 (x) to vectors centered at \phi _2 (x). Thus, if we fix a vector v_1 at \phi _1 (x), then in any other chart \phi_\gamma there is a corresponding vector v_\gamma centered at \phi_\gamma (x). We call this collection of vectors, one from each chart, “a tangent vector to X at x.” By varying v_1 in U_1, we see that the collection of all tangent vectors to X at x is in one-to-one relation with the vector space of all vectors centered at \phi _1(x), which in turn is a copy of the vector space \mathbb{R}^2. Thus, this collection is naturally a vector space. We denote it by T_xX. The key feature is that the tangent spaces were constructed from charts and not from an ambient space in which X sits in.

- See more at: http://blogs.ams.org/mathgradblog/2017/04/27/manifold-66/#more-31553

Florida Coastal Law's Practitioner Clinics Florida Coastal Law's Practitioner Clinic is an innovative course offering students a chance
to work closely on pro bono cases with a practicing lawyer. Students are often invited to
work on these cases in the practitioner's office off campus, and the Clinics are offered as
two credits with an evening classroom component.

Florida Coastal Law Offers LLM & Certificate in Logistics & Transportation Florida Coastal Law is the first law school in the U.S. to offer an onlineLL.M. Degree or
Certificate in Logistics & Transportation. Students in the 24-credit LL.M. or 12-credit
Certificate program gain expertise in global logistics and transportation law through
cutting-edge courses taught by attorneys and industry professionals online.