Professional Documents
Culture Documents
I. M. Singer
J. A. Thorpe
Lecture Notes on
Elementary Topology
and Geometry
SPACE RIEMANNIAN GROUP THEORY COMPLEX ELEMENTARY
GEOMETRY (group of isometries) VARIABLES GEOMETRY
X,
S2 " K>0 Rotation group in Riemann sphere Spherical
• R3 geometry
(elliptic
geometry
on P2)
Advisory Board
C. DePrima
I. Herstein
J. Kiefer
W. LeVeque
Digitized by the Internet Archive
in 2019 with funding from
Kahle/Austin Foundation
https://archive.org/details/trent_0116301276808
I. M. Singer
J. A. Thorpe
Lecture Notes on
Elementary Topology
and Geometry
Springer-Verlag
New York Heidelberg Berlin
QR Coj
I. M. Singer J. A. Thorpe
Department of Mathematics Department of Mathematics
Massachusetts Institute of Technology SUNY at Stony Brook
Cambridge, Massachusetts 02139 Stony Brook, New York 11790
Editorial Board
F. W. Gehring P. R. Halmos
Department of Mathematics Department of Mathematics
University of Michigan University of California
Ann Arbor, Michigan 48104 Santa Barbara, California 93106
No part of this book may be translated or reproduced in any form without written
permission from Springer-Verlag.
v
Preface
These notes have been used at M.I.T. for a one-year course in topology and
geometry, with prerequisites of at least one semester of modern algebra and
one semester of advanced calculus “done right.” The class consisted of about
seventy students, mostly seniors. The ideas for such a course originated in one
of the author’s tour of duty for the Committee on the Undergraduate Pro¬
gram in Mathematics of the Mathematical Association of America. A
program along these lines, but more ambitious, can be found in the CUPM
pamphlet “Pregraduate Preparation of Research Mathematicians” (1963).
(See Outline III on surface theory, pp. 68-70.) The authors believe, however,
that in lecturing to a large class without a textbook, the material in these notes
was about as much as could be covered in a year.
vi
Contents
Chapter 1
Chapter 2
Chapter 3
vii
Contents
Chapter 4
Simplicial complexes 78
4.1 Geometry of simplicial complexes 79
4.2 Barycentric subdivisions 83
4.3 Simplicial approximation theorem 90
4.4 Fundamental group of a simplicial complex 94
Chapter 5
Manifolds 109
5.1 Differentiable manifolds 109
5.2 Differential forms 118
5.3 Miscellaneous facts 132
Chapter 6
Chapter 7
Chapter 8
Bibliography 230
Index 231
viii
Some point set topology
Notation. The empty set, that is, the set with no objects in it, is denoted
by 0.
Remark
(1) 0 <= A for all sets A.
(2) The empty set 0 is unique; that is, any two empty sets are equal. For if
0X and 02 are two empty sets, 0X <= 02 and 02c 0X.
(3) A <= A for all sets A.
Definition. Let A and B be sets. The union A u B of A and B is the set of all x
such that x e A or x e B, written
A u B = [x; x e A or x e B],
1
1: Some point set topology
A' = [x e B\ x $ A],
(1) A u B = B u A.
(2) A n B = B n A.
(3) (A u B) u C = A u (B u C).
(4) (A n B) n C = A n (B n C).
(5) Au(BnC) = (A uB)n (A u C).
(6) A n (Bu C) = (A n B)u (A n C).
(7) IfA^SandB^S then, (A u B)' = A' n B’.
(8) If A ^ S and B ez S, then (A n 5)' = A' U F'.
(9) If ffx and TA2 are two sets (collections) of sets, then
(U s)u (U s) = U s
'SeSC j ’ \se£C 2 SeSC1>jSe2
and
(n s) n (n s) - n
\SeSC1 / \SeSC2 / SeSf’1uSe2
2
1.1: Naive set topology
(3) either (5l9 s2) e R or (sa, ^i) e R for every pair s1} s2 e S.
3
1: Some point set topology
Theorem 2. If A = {ax,..., an} is a finite set of n elements, then the set of all
subsets of A has 2n elements.
Proof. Consider the set F of all functions mapping A to the set {YES, NO}
consisting of the two elements YES and NO. F has 2n elements. The set FF of
all subsets of A is in one-to-one correspondence with F. For let/: FF -> Fbe
defined as follows.
For BeFF, that is, for B <= A,f(B) is that element of F (that is.
given by
JYES if xeB,
(NO ifx$B.
and f(B) = g. □
Definition. Let/e BA. The inverse f~x of/is the function 2s -> 2A defined by
Z"1 e(2")2B.
4
1.2: Topological spaces
If the set W is not finite, this product is called an infinite product. Note that
this notion of the product of sets extends the notion of the product of two
sets Sx x St. For let W = {1, 2}, let = {Slt S2}, and let <p: W S? by
<p(J) = Sj, j = 1,2. Then Sx x S2 = [(j1} s2), s, e S,], and HLew Sw =
[/: {1, 21^-SjU S2',f(j) g Sj], which can be identified with [(/(l),/(2));
/O') g Sj], which can be identified with Sx x S2.
Remark, riioew Sw is a set of functions. One might ask whether there exist
any such functions; that is, is HOew Sw # 0 ? In other words, given infinitely
many nonempty sets, is it possible to make a choice of one element from each
set? It can be shown in axiomatic set theory that this question cannot be
answered by appealing to the usual axioms of set theory. We accept the
affirmative answer here as an axiom.
J Sw 7^ 0.
weW
5
1: Some point set topology
Given a point 50 in a metric space S and a real number a, the ball of radius
a about s0 is defined to be the set
Example. Let S be the plane, that is, the product of the set of the real num¬
bers with itself. We define three metrics on S as follows.
For P1 = (*!, yx) and P2 = (x2, y2) two points in S,
The ball of radius a about the point 0 = (0, 0) relative to each of these metrics
is indicated by the shaded areas in Figure 1.2. Note that a ball does not
necessarily have a circular, or even a smooth, boundary.
| §§|!
.
Figure 1.2
Remark. The three metrics defined above provide the plane with three
distinct structures as a metric space. Yet for studying certain properties of
these spaces, these metrics are equivalent. Thus, if we want to know, for
example, whether 0 is a limit point of a set T <= S, we ask whether there is a
sequence of points in T which converges to 0; that is, whether a sequence {sn}
of points in T exists such that given any e > 0, there exists an N such that
p(sn, 0) < £
for all n > N. It is not difficult to see that the answer to this question is
independent of whichever of the above metrics we use for p; that is, given
£ > 0, there exists such an N using px if and only if there exists such an N
using p2, etc. The answer does not depend on the shape of the ball of radius e,
but only on its “fatness” or “openness.” For this reason among others, it is
6
1.2: Topological spaces
(la) 0 e
(2a) If JJX,..., f/n e <?/ then P)"=1 Ut e °U.
(3a) Arbitrary unions of elements in lie in that is, if # <= °ll, then
Uce# Ue .
The elements of are called open sets in S. The collection °ll is called a
topology on S.
(U - M) n A ^ 0.
7
1: Some point set topology
implies A' <= (Jsejr Us and Us c= A' for each s implies Usei' Us^ A’. Thus
A' = UseZ' Us is a union of open sets and hence is open.
Now let s e A'. Then s is not a limit point of A, so there exists an open set
Us such that s e Us and (Us - {j}) n A = 0. Furthermore, s $ A because
s$A and hence, in fact, Us n A = 0. Since each element of Us is contained
in an open set, namely Us itself, whose intersection with A is 0, it follows that
Us contains no limit points of A and Us n A = 0 ; that is, Us <= A'. □
Proof. Assume A is closed. Then A' is open. If s <£ A, then A' is an open set
containing s such that (A' - {5}) n A — 0. Thus s is not a limit point of A.
Hence all limit points of A lie in A; that is, A = A.
Conversely, if A = A, then A is closed by the previous theorem. □
(lc) 0ei
(2c) fJBegg B = S.
(3c) If B± and B2 e 28, then Bx n B2 = (JB€$ B for some subset 28 <= 28.
Proof. We must verify that °Uss satisfies the three open-set axioms for a
topology on S.
By (lc) and (2c) in the definition of a basis, both 0 and S e so that
condition (la) in the definition of a topological space is satisfied.
Suppose 'V' c <%a. Then Uve-r V = Uve-r (Ube®v B) = {JBe$ B where
28v <= 28 for each Kef and J? = (J ve-r&v c Hence condition (3a) holds.
We prove condition (2a) by induction. We assume that the intersection of k
sets in lies in °llgg. (For k = 1, the statement is automatically true.) Sup¬
pose then Uu ..., Uk + 1e By the inductive hypothesis, Uxr\- • -n Uke
; that is, there exists a subset 28 28 such that U1 n ■ ■ • n Uk = {JBl£3g1 B±.
Since Uk+1 e there exists a subset 282<^ 28 such that Uk + 1 = {JB2e3g2 &2•
Hence
8
1.2: Topological spaces
Proof
To show that T is a union of elements of £8, it suffices to show that for each
seT there exists as > 0 such that Bs(as) c: T. For then T c User Bs(as) <= T.
The first inclusion follows because 5 e Bs(as) for each s e T, and the second
because Bs(as) <= T for each s. Thus T = User Bs(as) is a union of elements
of 38.
Now for s e T, let b, = p(s, s,) for j = 1,2. Then bx < a3- since s e BSj(ay).
Let as = min {ax — bu a2 — b2}. Then as > 0, and we claim that Bs(as) c T.
For suppose t e Bs(as). Then
so t e BSj(a,)J =1,2. □
Corollary. A metric space has the structure of a topological space in which the
open sets are unions of balls.
Definition. Let S be a set, and let 38x and 382 be bases for topologies on 5. 38x
and 382 are equivalent if they generate the same topology; that is, if
=°^ss2-
Theorem 5. Let S be a set, and let 38 x and 382 be bases for topologies on S. Then
38! and 382 are equivalent if and only if
(1) for each s e S and B1 e 38x with s e Bx, there exists B2 e 382 such that
s e B2 «= Bx, and
(2) for each s e S and B2 e 382 with s e B2, there exists Bx g 38x such that
se Bxcz B2.
Proof. Suppose 38x and 382 are equivalent, and let seBxe38x. Then
Bx g = ^2, so Bx = UB2eJ2 B2 for some subset 382 <= 382. Hence
s g B2 <= Bx for some B2 e 382 <= 382. Thus (1) is proved, and (2) is proved
similarly.
Conversely, suppose (1) and (2) are satisfied. We first show that
Let B e 38x. By (1) for each s e B there exists Bs e 382 such that s e Bs «= B.
Now B <= UseB Bs c: B, so B = UseB Bs G Thus C Similarly,
using (2), c and so = ^2. □
9
1: Some point set topology
Corollary. The three metrics pu p2, p3 on the plane S described earlier all
determine the same topology on S.
Proof. Conditions (1) and (2) of Theorem 5 are clearly satisfied. □
Remark. It is not true, however, that all metrics on a given space give the
same topology. For example, consider the space R of real numbers with the
following two metrics.
PiOi, r2) U ~ r2 |
Pz(ri, r2)
fO Oi = r2)
U (A ^ r2)
The open sets in the topology defined by p1 are the usual open sets (generated
by open intervals) in R, whereas the collection of open sets defined by p2 is the
set 2R of all subsets of R. For, in fact, relative to p2, Br(f) — {r} for each
r e R, so each “point” is an open set; and, hence, so is each union of “points,”
that is, each subset of R.
Definition. If (S, tft) is a topological space and = 2s, then S is said to have
the discrete topology.
Theorem 6. Let (S, °l() be a topological space and let A <= S. Let
= [A n U; U e
B = A-(A-B) = A- AnU=AnU'.
10
1.3: Connected and compact spaces
Theorem 8. Let S be a topological space and let Q <= S have the relative
topology. Let P be a subset of Q. Then the relative topology °UX on P regarded
as a subset of Q is the same as the relative topology '$/2 on P regarded as a
subset of S.
Examples. It is shown in real analysis that the following spaces are connected:
Remark. This theorem can be used to prove that Rn is connected, given the
fact that lines in Rn are connected. For, in fact, let T0 = {0} and {Tw}weW
denote the set of all lines through 0. (The indexing set W can be taken to be
the unit sphere in Rn.) Then Rn = T0VJ (U^ew Tw).
11
1: Some point set topology
(1) the compact subsets of Rn are the closed bounded subsets of Rn (Heine-
Borel theorem),
(2) Rn is not compact, and
(3) an open interval in R1 is not compact.
PjF=0<>UF=5.
That is, F is an open covering if and only if IF does not satisfy property (y3);
and F has a finite subcovering if and only if FF does not satisfy property (a).
□
Theorem 4. Every closed subset of a compact space is compact in its relative
topology.
12
1.4: Continuous functions
Proof. We show that if A <= S has no limit point, then A is finite. The proof
is in three steps.
Step (7). A is discrete; that is, its relative topology is the discrete topology.
For suppose a e A. Since a is not a limit point of A, there exists an open set
Ua <= S containing a such that (Ua - {a}) n A = 0; that is, Ua n A = {a}.
Thus each {a} is an open set in the relative topology of A and hence A is
discrete.
Step (2). A is compact. For in fact, since A has no limit points, A — A,
and hence A is closed. But, by Theorem 4, this implies A is compact.
Step (3). A is finite. For let Ua = {a} for each a e A. Then, by Step 1,
{UfacA is an open covering of A. By Step (2), A is compact, so there exists a
finite subcovering {Uai,..., UaJ.
Thus A = (J£=1 Uaj = {«!,..., ak} is finite. □
Theorem 1. Let S and T be topological spaces. Let 3Ss and 3ftT be bases for the
topologies on S and T respectively. Then f: S -> T is continuous if and only
if for each s e S and each V edST with f(s) e V, there exists a U e dSs such
that s e U and f(U) <= V.
Remark. For metric spaces, Theorem 1 shows that our definition of con¬
tinuity is equivalent to the usual e, S definition of continuity.
Proof. Assume /is continuous. If 5 e S and f(s) e VeddT, then /_1(F) is
open in S and so is a union of elements of 3&s. Since 5 e/_1(F), s must belong
to one of these basis elements. Call it U. Then U <= /_1(F), so f(U) <= V.
Conversely, suppose for each such s and V there exists such a U. Let V
be open in T. We must show that/_1(F) is open in S. Let s e f~1(V). Then
f(s) e V, so f(s) lies in some basis element Vs eddT with Vs <= V. Therefore,
there exists a basis element Us e&s such that s e Us and f(Us) <= Vs c V;
that is, Us <= f~1(V). Then/_1(F) = Usez-fiv) Us; so/-1(C) is open in S.
□
13
1: Some point set topology
Proof. Let T — f([a, 6]). Then T is connected by the corollary since [a, b] is
connected. But if 0 j T, then T — (i?_ n T) u (R+ n T) is the union of
nonempty disjoint open sets. Here R+ is the set of positive real numbers,
and the set of negative real numbers. Thus 0 e T; that is, 0 = f(x0) for
some x0. □
71+ 1
Sn = (x1,...,xn + 1)eRn + 1; J x,
i= l
/: Rn + 1 - {0}-^Sn
be defined by
*2 *n+l \
Vj'Xf’'"’ VYx?)'
Example 3. Let GL{n, R) and GL(n, C) denote respectively the sets of non¬
singular n x n matrices with real and complex entries. Then by stringing out
the rows of each matrix in a line, GL(n, R) may be regarded as a subset of
Rn2, and hence is a topological space as a subset of Rn2 with the relative
topology. Similarly GL(n, C) c C"2 is a topological space. (Note that com¬
plex n2-space C"2 has the topology of the product of R2 with itself n2 times.)
Now GL{n, R) is not connected. For let
A: R^-^R1 - {0}
15
1: Some point set topology
manner. This means that S and T are topologically the same; that is, any
topological property enjoyed by S is also enjoyed by T and conversely. Thus
if f: S —> T is a homeomorphism, then S is connected if and only if T is
connected; and S is compact if and only if T is compact.
is continuous.
Theorem 1. Let S be a set, and let iV~ <= 2s. Then there exists a weakest topology
°l/ on S such that iV <=- tyi.
Proof. Let
(2) If Ui,..., Uke °U, then Uu ..., Ukeir for each y e stf so fj> = i U,ei'r
for each y e sd and hence fjy= i U;- e °l/.
(3) If Uwe°l/ for each w e W, W some indexing set, then Uwey for each
w e W and each yestf so Uu>ew Uwey for each f and hence
LJioeW Uw £ .
rw r □
Remark. A basis for the weakest topology on S containing W is
16
1.5: Product spaces
^(/)=/(w), (feP).
/: S-
weW
such that /(w) e Sw for each w e W.) The product topology on P is the
weakest topology in which each ttw is continuous. This topology exists by
Theorem 2.
Remark. The function ttw(w e W) is projection onto the factor Sw. A basis
for the product topology is
SS -
n W1 a finite subset of W and Uw
.HIEWi
an open set in Sw for each w e W1
Let us take a closer look at these basic open sets. First, for each w0 e W and
each open set UWo <= SWo, -rrWo~\UWQ) is the “cylinder” Jflwew Tm where
T _ fSw (w A w0)
w \UW0 (w = w0).
n = ne»
weW i weW
17
1: Some point set topology
where
jSw (wtWJ
\ uw (weWJ.
Thus the basis & for the topology on P consists of products of open sets, one
in each factor Sw, with all but finitely many of these being the whole space Sw.
Example 1. Let / denote the open interval (0, 1). Then I x I is the open unit
square in R2. The projection maps are tt}: I x /-> I(j = 1,2), defined by
77^0, b) = a, tr2(a, b) = b.
For Ult an open interval in I, the cylinder t71-1(C/1) is the shaded vertical
strip in Figure 1.3. For U2, an open interval in /, v2~1(U2) is the shaded
Figure 1.4
horizontal strip in Figure 1.4. Thus 771-1(£/1) n tt2~\U2) is the open square
in Figure 1.5. Since the open intervals form a basis for the topology on /,
it follows that the open squares form a basis for the product topology on
I x I. That is, the product topology on I x I is the same as the topology
induced on I x I by the metric space topology on R2.
18
1.5: Product spaces
u*
Figure 1.5
Example 3. Let R+ denote the positive real numbers, and let Sn denote the
unit sphere in Rn + 1. Then there exists a one-to-one correspondence
tp: Rn + 1 - {0}->£+ x
given by
19
1: Some point set topology
Example 4. Let J+ = [«; n is a positive integer] and let /„ = [0, 1 /»]. Then
P = rine/+ 4 is a topological space in the product topology. We introduce a
metric on the point set of P as follows. If x = (xlt..., xn,...) and
y = (yi, ■ •yn,.. •) are in P, then
Exercise. Show that the series converges so that p is well-defined. Show that p
is a metric on P and the metric topology on P is the same as the product topology.
20
1.6: The Tychonoff theorem
[0, 1]; that is, we cannot, by adding one point, obtain a compact space on
which / can be continuously extended. But it turns out that if we “add”
sufficiently many points, we can obtain a compact space P; a continuous
function cp: S^P (cp will in fact turn out to be a homeomorphism onto
<p(S) c P); and a continuous function f:P-> R1, such that
Ax, y) = y,
then f ° <p = f.) Now P1 is compact, but <p(S) ^ Pi- However, if we set
then <p: S ->P. Now P, cp, and the restriction of / to P have the required
properties.
Figure 1.7
21
1: Some point set topology
In summary, we have replaced (0, 1] by the graph <p(S) of sin l/x (a homeo-
morphic copy of (0, 1] (see Figure 1.7). We have carried the function/over to
cp(S) through the homeomorphism 92_1. Then we have extended our function
to the compact set
-1
Figure 1.8
(1 )W) =p
(2) [fo<p;fe&] = W.
If, in addition, W separates points of S (that is, if, for each s± F s2e S, there
exists a w e W such that w^) F vv(.s-2)), then cp is injective.
<p(s)(w) = vv(^).
22
1.6: The Tychonoff theorem
Then <p is continuous. To prove this it suffices to show that inverse images of
basic open sets are open, because each open set is a union of such sets.
Suppose U is a basic open set in Px. Then
U = Pi 7Tw~1(Vw)
weWi
for some finite subset Wx c= w, where Vw is open in Iw for each w e Wx. Thus
cp-\U) = f5eS;95(5)G pi
= p w-\vwy
we ffi
then
[/cpj/eJF] = W.
23
1: Some point set topology
^ = MF);Fe&]
is a collection of closed sets in the compact space Sw with property (a) (and
hence each (~]Fe^ ttw(F) F 0)—one cannot hope to find a point in (~]Fe^ F
merely by selecting a point x such that vw(x) e f)Fs& ™W(F) for each w g IV.
For example, if P is a closed square in R2, let & be the following collection of
pairs of closed balls about two given points P1 = (x1? yx) andP2 = (*2, y^^P'-
& =
^ (p3) e n
and
, ^(Pa) e P) ^2(F)
Fe3?
24
1.6: The Tychonoff theorem
JT. = [7Tw{H);HejP].
Tw = TTW(H) 7^ 0
for all w e W. By the axiom of choice (see Section 1.1), HLew Tw + 0 ; that is,
there exists f e P such that f{w) e ^W(H) for each w e W.
It remains only to show that/6 (~]Fe^ F. To prove this it suffices to show
that if V is an open set in P containing/, then VeJF. For if V n H ^ 0 for
all H eJf, then in particular Fn F # 0 for all Fe That this is true for
each open V containing/implies that/e F; that is,/e F since Fis closed for
each F e FF. Thus/e C)Fe^ F, proving the theorem.
So suppose V is an open set containing /. Since V is a union of basis
elements, / e V <= V for some basis element V. Since Fisa basis element,
-i,
(K)
for some finite subset Wx «= W, where Vw is, for each w e Wx, an open set in
Sw. Since /e V, f(w) = vw(f) e Vw for each w e Wx. Furthermore, f(w) e
ttw(H) for each w e Wx and each H eJF, by our choice of /; that is, for each
w e Wx and H e 2FP, either f(w) e or f(w) is a limit point of In
either case, it follows that Vw n nw(H) ^ 0 for each w e Wx, where H e JF.
Therefore, ttw~1(Vw) n H / 0 for all w e Wu HeJF. By property (/3),
7rw~1( Vw) e JF for each w e Wx.
Now by property (a) for any H e JP,
25
More point set topology
26
2.1: Separation axioms
Proof. Suppose S is Tx. Let F — {sq} and consider F'. Since S is Tx, there
exists about each point 5 e F' an open set Us such that s0 f Us, that is, such
that Us <= F'. Thus F' = UseF' Us is open in S, and hence Fis closed.
Conversely, suppose points of S are closed. Let Ux = {.y2}' and let U2 =
{■sy}'. Then if sx A s2, sx e Uj and Uj are open. □
Proof. Let C be a compact subset of S’. To show that C' is open, and hence C
is closed, it suffices to show that for each s f C there exists an open set Us
containing s with Us n C = 0. Since 5 is Hausdorff, there exists for each
c e C disjoint open sets Uc and Vc such that s e Uc, c e Vc. The collection
{Vc n CjceC is then an open covering of C. (These are open sets in the relative
topology.) By compactness of C there exists a finite subcovering; that is,
there exists a finite subset Cx C such that Uceej. (Vc n C) = C. Thus
c <= UceCi ve. Let U„ = HceC! Uc. Then Us is open, s e U„ and
[/snCc Us n (UceCi Vc) = 0. This last equality holds because if
t e Usn (UceCi Pc), then t e Uc for all c e Cx and t e VCo for some c0e Cx;
hence t e UCo n Poo = 0, which is impossible. □
Proof. For each s e Cx there exist, according to the remark above, disjoint
open sets Us and Vs such that s e Us and C2 <= Vs. The collection {Us n C!}seCl
is an open covering of Cx. Since Cx is compact, there exists a finite subset
Dx <= Cx such that {Us n Cx}ssDl actually cover Cx; that is, Cx <= UseUi Us.
Let Ux — UseDi Us and U2 = (UseDi Vs. Then C2 c U2, and Ux n U2 = 0
since each Us n Vs = 0. □
27
2: More point set topology
Example. We shall construct a space which is Hausdorff, but not regular. Let
s = [x = (x1} x2) e R2; x2 > 0]; that is, S is the “closed” upper half-plane.
We define a topology on 5 by giving it a basis F8 as follows. Let R1 denote the
xx axis in R2. Let S+ = S — R1, so S+ is the “open” upper half-plane. Let
and
where the balls Bx(r) are defined relative to the usual metric on R2. Now let
& = u @2. Verification that 3S is a basis for a topology on S is left to the
student. The basis elements in ^ are illustrated in Figure 2.1.
28
2.1: Separation axioms
Figure 2.1
Note that the topology on S is not the topology induced from the usual
topology on R2. Now it is easy to check that S is T2. Hence points are closed.
Furthermore, the set R1 — {0} is closed in S since its complement S+ u {0} is
clearly open. However, the closed set R1 — {0} and the point 0 cannot be
separated by open sets: if Ux is open and 0 e Uly then some basis element
(B0(r) n S+) u {0} is contained in Ui (for some real number r). Thus any
open set containing (r/2, 0) must intersect Ux. Hence S is not regular. (We
shall later give an example of a regular space which is not normal.)
Remark. Every compact Hausdorff space is normal. This is a consequence
of Theorem 3 by the fact that closed subsets of a compact space are compact.
Remark. The open sets Ut and U2 whose existence is asserted in the defini¬
tion of a regular space (or of a normal space) might conceivably have the
property that their boundaries intersect; that is, Ux n U2 might be nonempty.
According to the following two theorems (Theorems 5 and 6), it is possible
to choose our sets Ut more judiciously.
Ux = Wx c Wl = W2 C Vx
and
u2 - v2 c vl = Vi
so that
Ux n U2 <=■ Vx n Vi = 0. □
29
2: More point set topology
Theorem 7. Let (S, p) be a metric space. Then S, with the associated metric
topology, is normal.
Proof. We have already seen that S is Hausdorff, hence Tx. For C any subset
of S, we consider the function dc: S -> R1 defined by
where g.l.b. denotes greatest lower bound. Now, for Fx and F2 disjoint closed
sets in S, let dx = dFl and d2 — dF2, and let
Then Ux n U2 = 0. We shall show that Fx <= Ux, F2 <= U2, and that Ux and
U2 are open, thereby proving that S is normal.
First, suppose 5 e Fx. Then dx(s) — 0. So to prove that s e Ux, we must
show that d2(s) > 0. But if d2(s) = 0, then for every e > 0 there exists
f2 e F2 such that f2 e Bff). Hence s e F2 = F2, contradicting the fact that
Fx n F2 = 0.
Thus Fx <= Ux. Similarly, F2 «= U2. It now remains only to show that Ux
and U2 are open.
To show that Ux is open, it suffices to show that each sx e Ux is contained
in a ball which is contained in Ux. (The proof for U2 is identical.) Let
a = d2(sx) - dx(sx). Then a > 0. We prove that BSl(a/3) <= Ux. In fact, let
5 e BSl(a/3). Then p(s, sx) < a/3, and we must show that dx(s) — d2(s) < 0.
But
or
30
2.2: Separation by continuous functions
so
or
Thus
Remark. Conversely, if a 7\ space S has the property that for each pair
A0, Ax of disjoint closed sets there exists such a function, then S is normal.
For let U0 =/-1([0,i)) and Ux =/"1((i, !])• Then A0 c= U0, Ax c= Ux,
and U0 O Ux = 0.
31
2: More point set topology
Second, consider the disjoint closed sets A0 and U[l2. By normality, there
exist disjoint open sets UVi and Vvi such that A0 <= Ulti and Ulj2 c Vvi.
The sets V'v2 and Ax are disjoint closed sets, so, by normality again, there exist
disjoint open sets U3li and V3li such that Vl/2 <=■ U314 and Ai c F3/4. Now we
have
Continuing by induction, we obtain open sets Ur and Vr, defined for each
dyadic r = A:/2n, with this property: for each n,
In particular, for each pair r4 and /-2 of dyadics with r4 < r2,
U c f' u c F'
c L'r2 K r2*
Now, since (c, d) — [0, d) n (c, 1], and hence /_1(c, d) = /_1([0, d)) n
1]), it suffices to show that/_1([0, d)) and/_1((c, 1]) are open for all
irrationals c and d.
But /_1([0, d)) is open because/-1([0> d)) = Ur<d Ur. For, if s e UTq for
some/-0 < /then/(s) < r0 < /so.ye/_1([0, d)). Conversely, if s £/-1([0, d)),
then f(s) < d, so there exists a dyadic r0 < d such that s e Uro Ur<d UT.
Similarly, 1]) is open because/_1((c, 1]) = Ur>c K- For if s e VTo
for some r0 > c, then 5 £ V'To, so s$ Uro, and f(s) > r0 > c. Conversely, if
.se/_1((c, 1])> then s$ Uro for some r0 > c. Since the dyadics are dense in
[0, 1], there exists a dyadic rx with c < rx < r0. Now s <£ Uro implies
■s' £ V'Tl <= Uro; that is, se Vn <= \Jr>c Vr. □
32
2.2: Separation by continuous functions
Example. One should not expect that, given any Sx c= S and/: Sx -> T, there
exists a continuous extension of/ to S. For example, let S be the disc
Let T = Si, and let f: SX-^T be the identity map. Then there exists no
extension g to/to all of S. (This fact will later be proved rigorously when we
have more machinery at our disposal.)
Intuitively, we can see why no extension exists: If g were a continuous
extension, consider the behaviour of g on the concentric circles Sr of radius
r (0 < r < 1). Since g is continuous, nearby points are mapped into nearby
points. Thus, any point s of Sr, for r close to 1, must be mapped close to the
point s/r on Sx. Letting s move around Sr, we see that g(j') must move around
Sx, and g must map Sr onto Sx. Now, as r gets smaller, the same argument
still shows that g must map Sr onto Sx for all r > 0. But, for small enough r,
the center 0 is close to every point on Sr. Hence g(0) must be close to every
point in the image of Sr; that is, g(0) must be close to every point of Sx. Of
course, this is impossible.
33
2: More point set topology
— 2n-1 2n~1
fn:S
3" ’ 3n
We may regard the/„ as functions fn\ [-1, 1] such that |/n(0| <
2n_1/3n. By the Weierstrass M-test, the series 2n=i/n converges uniformly to
a continuous function g: S [-1, 1], (We leave to the student the verifica¬
tion that these convergence properties, familiar from analysis on R1, are also
valid in the more general setting considered here.) Since
34
2.3: More separability
^ = (slt ...,sk)eS1 x • • • x Sk
'-V-'
(/r-fold product)
Exercise. We leave to the student the verification that &§ is in fact a basis for a
topology on S. Note that the relative topology on S as a subset of Sis the same as
the original topology on S.
Example 2. Let S = R2. Then S = R2 U {oo}, where the open sets about oo
are complements of compact sets in R2. In particular, each open set contain¬
ing oo must contain all points in the exterior of some sufficiently large ball.
S is homeomorphic to the 2-sphere S2. In fact, a homeomorphism <p: S2 —> S
is given by stereographic projection (Figure 2.2). We regard the sphere as
sitting on the xy plane with its south pole at the origin. Given a point s e S2,
<p(s) is the intersection with the xy plane (R2) of the line through the north
pole of S2 and s. It is clear that <p is a one-to-one correspondence mapping
S2 — {north pole} onto R2 and mapping the north pole to oo. That <p is, in
fact, a homeomorphism is easily checked.
35
2: More point set topology
= Pi = F;
Ve£x
that is, Uw0 is a closed subset of the compact set F, hence Uw0 is compact in S,
as claimed.
Since {Uw}weW covers S, {Uw n U„0}weW_{Wo) must be a covering of U^0
by open sets in £/^0. Since U^0 is compact, there exists a finite subcollection
36
2.3: More separability
{UWl n Uw0,..UWk n Uw0} which covers Uf0. Hence the finite collection
UW0, UWl,..., UWk must cover S. Thus S is compact.
Now assume S is Hausdorff. We must verify that S is Hausdorff and
locally compact. S is certainly Hausdorff, because every subset of a Hausdorff
space is Hausdorff in the relative topology. S is locally compact because, for
each s e S, there exist disjoint open sets Ux and U2 in S such that seUx and
oo e U2 (S is Hausdorff). Now U2 is compact (by the above argument that
shows Uf0 compact), and Ux <= U2 — U2, so Ux is compact by Theorem 4,
Section 1.3.
Conversely, suppose 5 is Hausdorff and locally compact. Let sx, s2 e S. If
both sx and s2 e S, then there exist disjoint open sets Ux and U2 in S such that
Si e Ux and 52 e U2. But Ux and U2 are also open in S, so sx and s2 can be
separated in 5. If sx e S and s2 = oo, then, since S is locally compact, there
exists an open set U in S such that sxe U and U is compact (and closed).
Then V — U' is open in S; and sx e U, s2e V, and U n V = 0. Thus S is
Hausdorff. □
37
2: More point set topology
38
2.3: More separability
Definition. A topological space 5 is first countable if, for each point s e S, there
exists a countable collection {t/s(rt)}nG{positlVeintegers> of open sets containing
s such that if U is any open set containing s, then there exists an n such
that Ufn) <= U.
Remark. Let (S, p) be a metric space. Then S is first countable because the
balls {Bs(\/n)} have the required property.
Theorem 5. For each real number r, let Ir = [0, 1]. Let P = Ores1 4- Then
P is not first countable. In particular, P is not metrizable; that is, there
exists no metric p on P such that the metric topology is the product
topology on P.
Proof. Let p e P be such that p(r) = 0 for all r e R1. Suppose there exists a
countable collection {Vn} of open sets containing p such that for each open
set U containing p, Vn c U for some n. We shall show that this assumption
leads to a contradiction, thereby proving that P is not first countable.
Now each Vn is open in P and hence contains a basis element Vn with
p e Vn. In particular, for each open set U containing p, there exists an n such
that Vn <=■ U. But, for each n, there exists a finite subset Fn of R1 such that
(r*FJ
(r e Fn)
and UnJ is, for each r e Fn, an open set in /r. Let C = U“= i Tn. Then C is a
countable union of finite sets, and hence is countable. In particular, C / R1,
so there exists an r0e R1 — C, and TnJo — Iro for each /?; that is, the r0-
coordinate is unrestricted in each Vn. Thus, if U0 g ITo, then U — rireKi Sr,
where
Ir 0 A r0)
Ur o (r = r0)
Definitions. Let (S, p) be a metric space. Recall that a sequence {.sn} of points
in S converges if there exists an s e S such that lim*-,* p(sn, s) = 0.
{sn} is a Cauchy sequence if lirn^^ p(sn, sm) = 0. S is called a complete
metric space if every Cauchy sequence converges.
Let (Si, Px) and (S2, p2) be two metric spaces. An isometric embedding of Sx
into S2 is a map f: Sx-+ S2 such that p2(f(s),f(t)) = px(s, t) for all s, t e Sx.
In particular, iff: Sx -> S2 is an isometric embedding, then/maps Sx homeo-
morphically onto f(Sx), where Sx and S2 are provided with the metric topology.
For any metric space (S', p), there exists an isometric embedding/of (S, p) into
a complete metric space, which is called a completion of (S, p) iff(S) is dense.
Remark. Unlike most other concepts we have thus far considered, the
notion of completeness is not a topological concept; that is, it is not invariant
under homeomorphisms. For example, if Sx = (—77-/2, 7t/2) and S2 — R1,
then Sx and S2 are both metric spaces in the usual way. S2 is complete, but Sx
is not. However, there is a homeomorphism/: Sx -> S2 given by f(s) — tan s.
We have discussed compactness for topological spaces in general. When
we restrict our attention to metric spaces, there are several equivalent ways of
saying that a space is compact.
Proof
40
2.4: Complete metric spaces
(3) => (4). s is complete because if {sn} is a Cauchy sequence, then by (3),
there exists a subsequence {snk} converging to some point s0. In fact, sn
converges to s0 because
Moreover, S is totally bounded. For otherwise there exists e > 0 such that no
finite collection of balls of radius e cover S. Let sx e S. Then BSl(e) # S so
there exists s2£BSl(e); that is, P(sx, s2) > e. Now BSl(e) u BS2(e) ^ S so
there exists 53 £ BSl(e) U BS20). Thus P(sm, sn) > e for m # n, {m, n}
c {1,2,3}. Continuing by induction, we obtain a sequence {sn} such that
p(sm, $n) ^ e for all m, n (m ^ n). By (3), there exists a convergent sub¬
sequence {s„}}. Let s0 = limy.,*, snj. Then there exists a j0 such that, for
> jo, sn, e BSo(e/2). For j\,j2 > j0 and .A + j2, this implies that
But nh ^ /7y2 implies /5(^nn> ^2) > This contradiction establishes (4).
(4) => (1). We shall prove this remaining implication in two steps:
(a) Let {5n} be a sequence. By (4), there exists a finite number of balls
Bx i,..., B1<kl of radius 1 that cover S. Thus for some jx, there exists an
infinite set Jx of positive integers such that n e Jx implies sn e B1Jv Let nx be
the first integer such that sni e BX Jl.
Now by (4) again, there exists a finite number of balls B21,..., B2k2 of
radius \ which cover S'. Hence for some j2, there exists an infinite subset J2
of Jx such that nej2 implies sn e B2j2. Let n2 be the first such integer with
n2 > nx.
Continuing by induction, we obtain a sequence {.ynJ such that for all
l > k, sni G BKh (a ball of radius 1 jk). Thus, for /, m > k,
41
2: More point set topology
of these balls has a convergent subsequence {snfc} by (3). Let Sq = linbc-oo snic.
Then s0 e V0 for some V0eir. Since V0 is open, there exists r > 0 such that
BSg(r) c Vo- Since snic s0, there exists a k0 such that snk e Bsfr/2) for all
k > k0. Let l > k0 be such that 1 /nt < r/2. Then Bs (1/ni) c BSQ(r) c V0.
But this is a contradiction. □
Un = S for n = 1,2,....
Then p|”=i Un / 0.
p(s, sx) < p(s, s2) + p(s2, sx) < r2 + p(sx, s2) < rx.
{.?„} is a Cauchy sequence. For, given e > 0, we can choose n0 such that
rno < e/2. Since sn e BSn(rn) <= BSnQ(rno) for all n > n0.
for all m,n> n0. Since S' is complete, {sn} converges to some point s0.
We must verify that s0 e Un for all n. But, for any n, sn+k e Bs (rn + 1) for
all k > 1. Since s0 — lim^o, sn+k.
as was to be shown. □
42
2.5: Applications
Exercise. Theorem 2 and its corollary are also true if the term “complete
metric” is replaced by “compact Hausdorff.” Can you prove it?
2.5 Applications
Definition. A normed linear space is a linear space (vector space) L, over the
reals or complexes, together with a real-valued function (denoted by || ||)
on L satisfying the following conditions for all vectors a and b and all
scalars A:
(1) ||a|| > 0 and ||a|| = 0oa — 0
(2) ||Ao|| = |A| ||a||
(3) jja + 61 < ||a|| + ||£||
43
2: More point set topology
Remark. More generally, if S is any compact Hausdorff space, the set of all
continuous real-valued functions on S is a Banach space, where ||/|| =
maxseS |/($)|.
We shall show that Cn is nowhere dense for each n. Since C([0, 1]) is a
complete metric space and hence is of the second category, it will then follow
that
that is, there exists a function/e C([0, 1]) such that/Cn for any n. This/is
the required function because f $ Cn means that
fit + h) -f(t)
> n
h
for all t e [0, 1] and some h (depending on t and «). Note that for each
fixed t, h 0 as n -> oo because given e > 0 the difference quotient
|(fit + h) -f(t))/h\ is bounded as a function of h for |/z| > e. Thus
fit + h)-fjt)
lim sup = oo.
ft-* o h
and the derivative of/at t fails to exist for each t e [0, 1],
To prove that Cn is nowhere dense, we must show that Cn contains no
nonempty open set. First we show that Cn is closed; that is, that Cn = Cn.
Note that since C([0, 1]) is a metric space, C([0, 1]) is first countable, and
hence any limit point of a set f c C([0, 1]) is in fact a limit of a countable
44
2.5: Applications
for all h. Since [0, 1] is compact, the sequence {4} has a convergent subse¬
quence, which we also denote by {4}. Let 4 = limfc_oo 4. Then
(D (2)
A(tfc) — /(4)
+ /c(4 + A) - /c(4) +
h h
+ /(4) -/(*«,)
Now fix h. For any e > 0, if k is large enough, (D and (D are smaller than e
because / is continuous and 4-^4; while Q) and @ are smaller than e
because fk converges uniformly to /. Because of the previous paragraph,
<3) < n. Hence
/(to + h) — /(4)
< n + 4e (any e > 0);
h
that is,
/(to + h) -7(4)
< n and /e Cn.
h
Thus each Cn is closed. Now we show that Cn is nowhere dense; that is,
given any g e Cn — Cn and any e > 0, there exists /eC[0, 1] such that
45
2: More point set topology
II/— g|| < e and f $ Cn. Now a typical example of a function in C[0, 1]
which is not in Cn is the “sawtooth” function (Figure 2.3). For any n we
can find such a function, whose norm is less than or equal to any prescribed
Figure 2.3
e > 0, and where the slope of each line segment is greater than n in absolute
value. To find a function f <£ Cn within £ of g, we need only construct a
sawtooth function close to g, as in Figure 2.4.
We leave this construction to the reader, but include the following hint.
Using the uniform continuity of the function g, we can find a continuous
function gu so that ||g — gi|| < e/2 and gx is piecewise linear; that is, gx
looks like the line segments in Figure 2.5. It suffices to find the appropriate
sawtooth function for each linear piece of g1 and then to patch. □
Figure 2.5
46
2.5: Applications
Example. Let S be the upper half-plane in R2 together with the x axis R1.
Let 38x be the usual open sets in the upper half-plane. Let
- -
r
Figure 2.6
Note that in the relative topology, Rl is discrete. In fact, for each p e R1,
R1 — {p} is closed in S because its complement is clearly a union of open sets.
Since F = Pjpe^-F (R1 — {/?}) for any subset F c: R\ it follows that every
subset of R1 is closed in S.
S is regular. Suppose Lis closed in S andp $ F. Ifp $ R1, there exists a ball
Bp(e) contained in the open set F'; and the open sets Bp(e/2) and (Bp(e/2)'
separate p and F. If p e R1, there exists a basic open set V containing p and
contained in the open set F'; that is, V n F = 0. Let Vx be a basic open set
containing p such that Vx <= V (Figure 2.7). Clearly each point in F (in fact,
each point in V') is contained in a basic open set disjoint from Vx. Let U be
the union of these. Then Vx and U separate p and F.
T =
1 n pcF2;f(p) > -
41
2: More point set topology
^ = (u4u(u{4
\
\n= 1 / qeF1 J
so we have expressed the set R1 as a countable union of sets Tn and {q}. Now
consider the usual topology on R1. Then R1 is a complete metric space, and
hence is of the second category. Since we have expressed R1 as a union of
countably many sets, not all of these sets can be nowhere dense in R1 (in the
usual topology). Each {q} is nowhere dense, so Tn must contain an open set
in R1 for some n. In particular, Tn must contain some interval /. Let q e 1 be
rational. Since q e Tn, there exists a sequence {pk} c Tn which converges to q.
But (Ufc=i Dp,c) n Dq <= Ux n U2 = 0. This is impossible since each DPk
has radius > \/n; that is, f(pk) does not tend to zero as k 00 and pk q.
This contradiction completes the proof. □
48
Fundamental group and
covering spaces
3.1 Homotopy
Notation. The letter / will henceforth denote the closed interval [0, 1]. A map
is a function; the two words will be used interchangeably.
0 )/-/,
(2) / ~ g implies g — f, and
(3) f ~ g and g ~ h implies f ~ h.
49
3: Fundamental group and covering spaces
Proof
(x e A)
(x g B).
Then g is continuous.
Proof of the Glueing Lemma. Assume A and B are both closed. We show
that inverse images of closed sets are closed. Let F be a closed subset of Y.
Then
g~\F) = g~\F)r\ {A v B)
= {g~\F) n A) u {g~\F) n B)
= f,-\F)yjf2~\F).
50
3.1: Homotopy
(a) go o/o ~ g0 °A
(b) go °/i - gi °/i-
K = Hofi: X x 7—>Z.
Definition. Two spaces X and Y are of the same homotopy type if there exist
continuous maps f:X^Y and g: Y—> X such that g°/~ ix and
/ ° g ~ iY, where ix and iY are the identity maps on X and Y respectively.
Proof. Suppose X is contractible. Then ix ~ c for some c: X -> {x0} (x0 e X).
Let / = c: Z->{x0} and let g: {x0} -> X be defined by g(x0) = x0. Then
clearly g °f = c ~ ix, and /° g = ilXo) ~ i{Xo), so X and {x0} have the same
homotopy type.
Conversely, suppose Y — {y} consists of a single point, and X has the
same homotopy type as Y. Then there exist continuous maps f:X^Y and
g:Y->X such that g°/~/x and /° g ~ iY. Let x0 = g(y), and let
c: X ^ {jt0}. Then c = g °/~ ix, so X is contractible. □
Remark. Both Theorem 3 and the example at the beginning of this section
show that Rn has the same homotopy type as a single point. Thus from the
viewpoint of homotopy theory, Rn is a trivial space.
51
3: Fundamental group and covering spaces
Remark. Note that a path is a function and not a set of points. A path is a
“parameterized curve.”
Definition. A space X is arcwise connected if, given any two points x0 and xx in
X, there exists a path with origin x0 and end xx.
Proof. Let Abe arcwise connected. Suppose U0 and U1 are nonempty disjoint
open sets with t/0 u Ux = X. Let x0 e U0 and xx e U1. Since X is arcwise
connected, there exists a path a from x0 to xx. Clearly a^1(U0) and a_1(C/1)
are disjoint open sets in /with a~1(U0) u a-1(t/1) = I. Moreover, 0 e a~1(U0)
and 1 so these sets are nonempty. But / is connected, so this is
impossible. □
52
3.2: Fundamental group
Figure 3.1
Definition. Let a be a path from x0 to xx and let p be a path from x1 to jc2. The
product of a and p is the path ap from x0 to x2 defined by
(0 < / < i)
(i<t< 1).
The inverse of a is the path a 1 from xx to x0 defined by a 1(t) = a(l — t).
53
3: Fundamental group and covering spaces
Theorem 2. Suppose a0 ~ and /S0 ~ /3X are paths such that a0l80 is defined.
Then is defined and ~ a0/?0.
Let F and G be homotopies from a0 to ax and from /30 to j8x respectively. Then
a homotopy H from a0/30 to is given by
tf) (0 <h< i)
H(t\, tf)
\G(2h - 1, t2) (i < h < 1).
H is continuous by the “glueing lemma.” □
Notation. Let <a> denote the ~ equivalence class of a; that is, <a> is the
set of all paths homotopic to a. Since homotopic paths have the same end
points, the origin and end of <a> are defined.
54
3.2: Fundamental group
Theorem 4. For each x e X, let ex: I X be the path defined by ex(t) = x for
all tel. Then:
Proof of Theorem 4
(1) We must show that eXoa ~ a. Thus we want to construct a continuous
mapping F: I x / -> X such that
-^l/xfO} = Ccoa>
F |/x{i> = a,
^1(0,x/ — Xo,
-f’lajx/ = = “(!)•
55
3: Fundamental group and covering spaces
We do this by defining Fon the triangle in Figure 3.3 to be the constant map
into jc0, and by requiring that F, restricted to each horizontal line segment
in the trapezoid of the figure, be equal to a (after suitably parameterizing the
line segment). Explicitly,
x0 (2 ti < 1 — t2\
F(ti, t2) 2tx — 1 + t2\
(l — t2 < 2tx).
1 + t2 /
(2) We must show that cceXl ~ a. The proof is similar to the proof of (1)
(see Figure 3.4).
a
Figure 3.4
(3) It suffices to prove that (aXa'1) = <e*0>, f°r then we may interchange
the roles of a and a-1. Thus we must show that aa_1 ~ eXo. We do this by
“pulling the end point in to x0 along the path a” (see Figure 3.5).
56
3.2: Fundamental group
a 0 y
a 13 y
Figure 3.6
57
3: Fundamental group and covering spaces
Figure 3.8
Proof. Let y be a path from x0 to xx. Let yf. ttx(X, x0) —> ttx(X, Xi) be defined
by
y# is a homomorphism because
y#«“»y#«£» = <y>~1<«><y><y>_1<^><y>
= <y>-1<«><^o><^><y>
= <y> -1<a)<^)<y>
= y#««)<j8»-
58
3.2: Fundamental group
Remark./*: 7rfX, x0) -> tt1( Y, f(x0)) is a homomorphism, because for <«>
and <£> e 7t^X, x0),
a(t) = F(x 0, 0-
59
3: Fundamental group and covering spaces
Remark. Part (2) of Theorem 6 says that homotopic maps induce the same
homomorphism on fundamental groups, up to an inner automorphism that
compensates for the fact that the two maps may send the base point in X into
different points in Y.
Proof of Theorem 6
, fi ° « - o 1(fo ° «)CT-
For this, consider the map G : I x /-> Y defined by
fi ° a fi ° a
60
3.2: Fundamental group
fi 0 a
Analytically, H is given by
F 2?o — 2 + 3\
A) — ‘ 5 t: < h <
312 F 1 4 j’
a(4h - 3) > □
4 /•
f*:"i(X,X0 )~>rri(Y,f(x0))
is an isomorphism. Now,
where (<?,)#: ^(T, y0) -> 77,( Y,f° gO0)) is an isomorphism. Thus/* is
surjective also, hence an isomorphism. □
61
3: Fundamental group and covering spaces
Corollary 2. If X is contractible, then -n-fX, x0) = (e); that is, the fundamental
group of X consists of the identity element only.
Figure 3.11
62
3.3: Covering spaces
Example 1. Let
Let X = R1, and let p: X—X be given by p(r) = e2nir. Then (X, p) is a
covering space of X. For x e X, let U be a small open arc containing x. Then
p~\U) is a disjoint union of open intervals, each a translate of every other
by some integer (Figure 3.12). X may be looked at as an infinite spiral over
S1, with p being ordinary projection (Figure 3.13).
Figure 3.12
o
Figure 3.13
Example 2. Let
p(x) = the line through the origin which passes through x (x e X).
63
3: Fundamental group and covering spaces
Figure 3.14
Figure 3.15
64
3.3: Covering spaces
Example 5 (A “nonexample”). Let A = S1, and let Abe a finite open spiral
over S1 with projection p: X —> X (Figure 3.16). (A, p) is not a covering space
of A because if x lies under an “end” of A, then there exists no open set U
about x satisfying (2) of the definition.
iO
Figure 3.16
.
Theorem 1 Let (A, p) be a covering space of A. Then p: X -> A is an open
mapping; that is, p{U) is open in X for each open set U <= A.
65
3: Fundamental group and covering spaces
map/: X such that p°f = f The map/is also said to coverf. The next
theorem (Theorem 2) shows that under certain mild conditions, any two such
maps (if they exist) either agree everywhere or agree nowhere. The following
theorem (Theorem 3) and its corollaries tell us that certain maps can, in fact,
be “lifted.”
Then a = /3.
Proof. Let
66
3.3: Covering spaces
where x = p(x). We want to show that <«> is the identity element in nfX, x),
that is, that a ~ e .
Let F: I x I X be a homotopy from p o « to ex. By the covering homo¬
topy theorem, with Y = I, there exists a homotopy G: I x I~^X with
pa G = F such that G(tu 0) = a^) for all t1 e I. Furthermore, since
F(0, t2) = x and F(l, t2) = x are constant for t2e I, G may be chosen so that
for all t2 e /. Sincep ° G = Fand since F(tx, 1) = ex(tx), the paths 4-^ (7(^,1)
and tx -> e^fx) are both mapped by p into ex. Moreover, G(0, 1) = x = e*(0),
so these paths agree at a point. Thus, by Theorem 2, G(c, 1) = c5(g) for all
tx e I, and G is a homotopy from a to ex. □
Let a: I^ X be defined by a(t) = G(y0, t). Then a has the required proper¬
ties. □
67
3: Fundamental group and covering spaces
Proof. We define c: 7tx(X, x) —> /?_1({x}) as follows. Letg e nfX, x). Suppose
a and p are two representations of g; that is, g = <ct> = <)8>. By Corollary 2,
a and p have unique lifts a and p to X, with origin x. Now a ± p, so by the
covering homotopy theorem, & ± p. In particular, a and P have the same end
point; that is, d(l) = /3(1). Thus we can define
c(g) = d(l),
Example 1. Consider the line R1 as a covering space for the circle S1, with
p(r) = e2nir. Take as base point in S1 the point z = 1. Thenp_1({l}) is the set
of integers. Since nfR1, 0) is trivial, p^fR1, 0) = (e), so n^S1, 1) is in
one-to-one correspondence with the integers. (We shall see later than this
correspondence is, in fact, a group isomorphism.)
68
3.3: Covering spaces
Example 2. Consider the plane R2 as a covering space for the torus S1 x S1,
with p(ru r2) = (e2niTi, e2niT2). Then ttx(R2, 0) is trivial so x S'1, (1, 1))
is in one-to-one correspondence withp~\( 1, 1)}, the Cartesian product of the
set of integers with itself. (This correspondence also turns out to be a group
isomorphism, of •n-1(5'1 x S1, (1, 1)) with the direct product of the integers
with itself.)
Later we shall prove that ttx(S2, north pole) = {e}. Assuming this fact for the
moment, we get from Corollary 3 that rrx{P2, n) has two elements; that is,
rrx{P2, n) = Z2, the cyclic group of order 2. In particular, there is a path a
in P2 which is not homotopic to a constant, but its square a2 is homotopic to
a constant. The curve in P2 defined by a thus has the property that the path
obtained by traveling around once cannot be shrunk to a point, and yet the
path obtained by traveling around twice can be shrunk to a point. Geo¬
metrically, given a great circle on S2 through the north and south poles, let
x(t) e S2 move along this great circle from the north to the south pole as t
varies from 0 to 1. Let a(t) be the line through the origin which passes through
x(t). Then a is a path in P2 with the above property. Note that the lift t -> x{t)
of a to S2 is not a closed path in S2, whereas the lift of a2 to S2 is closed. This
amounts to traveling all the way around the great circle.
By the glueing lemma for closed sets, G will be continuous, and, of course,
p o G = F.
By induction, assume the G{ have been defined for / < j so that they satisfy
(1), (2) (for i = 1 and (3) (for 7 = 11). We construct Gj+1.
69
3: Fundamental group and covering spaces
In order for (3) to be satisfied, Gj+1(y, tj) must equal Gj(y, tj). Let
G“+1: Va x [t,; tj+1] -> X be defined as follows. F(Va x [tu tj+1\) <= Uh an
admissible open set in X. Since Va is connected, the set G;(Fa x {t,}) is
connected. But
Hence, Gj{Va x {ty}) lies in one of the open sets W <= p~1(Ui) on which
p:W->Ul is a homeomorphism. Define G“+1 = (p|w)-10 F\v0Lx[tj,t, + 1-i-
Note that Gf+1 = Gj on Va x {tj}. To construct the continuous map Gj+1
on the topological space
Y x \tj, tj+1],
we paste the maps G“+1 defined on the open sets Va x \th tj+1\ of the space
Y x [th tj+x\. By the glueing lemma for open sets, we need only verify that
G“+i and Gj+1 agree on (Va n VB) x [t}, tj+1], which we can assume is not
empty.
Suppose Gj(Vy x {tj}) lies in the open set Wy (y = a, ft), with p: Wa —> Ux
and p: WB-> Um homeomorphisms. Since G]+1 = Gj on Vy x {tj} (y = a, j8),
then G“+ = GBj + x on (Fa n F5) x {fy}. Since any point of (Fa n F^) x [th tj+1\
j.
can be connected to (Fa n F^) x {tby an arc in (Va n F^) x [tj, tj+1\, we
must have
Remark. The line, the plane, and the sphere are universal covering spaces,
respectively, of the circle, the torus, and the projective plane. That the sphere
S2 is simply connected, however, remains to be shown.
70
3.3: Covering spaces
Proof. From the covering homotopy theorem and its corollaries, we know
that each a in X is the unique lift starting at 5(0) of the path p ° 5 in X; more¬
over, a is a closed path if and only if (p ° a) e p^rrfX, x) (Corollary 3). Hence
the point 5(1) in X is determined by <p ° 5). So it makes sense to try and
construct the points of X from paths in X.
Let Q denote the set of all paths in X beginning at x. We define an equiva¬
lence relation = on D by a = p if and only if a(l) — /3(1) and e H.
This is an equivalence relation:
H
SO a = y.
Let X be the set of all = equivalence classes. For aeQ, let [a] denote the
= equivalence class of a. Define p\ X —> X by p([a]) = a(l). p is surjective
because X is arcwise connected.
We define a topology on X as follows. For [a] e X, let U be an open set in
X containing a(l). Let (see Figure 3.18)
The collection of all such ([a], U), together with 0, forms a basis for the
topology on X. It is a basis because
71
3: Fundamental group and covering spaces
The topology on X is Hausdorff. For suppose [aj and [a2\ e X with [cti] ^
[a2], If <*2(1) + a2(l), then there exist disjoint open sets U1 and U2 in X with
0^(1) g Ui and a2(0 e U2 {X is Hausdorff), and clearly ([0^], £/) n [a2], U2)
= 0. So suppose ai(l) = a2(l). Since X is locally simply connected, there
exists an open set U containing ax(l) = a2(l) such that any closed path in U
is homotopic in X to the constant path. Then ([ai], U) n ([a2], U) — 0, for
otherwise there would exist paths and y in JJ starting at «i(l) = a2(l) with
[«iyS] = [a2y]; that is, with c^/S = a2y. Thus (a^y-1^-1) e H. But /3y_1 is
a closed path in U, so fiy~l ~ eai(1) and
< t2 <
m =
(0
where
and
where
and
72
3.3: Covering spaces
all t2eJ. Moreover, for t2eJ, <a(2> = <a^>, where t? is the path along a
from oj2(l) to ««2(1). Furthermore, since t2 e A, [cqj = [yp\ for some path p
in U from y(l) to aj2(l); that is, <«%,£“ V-1> e H. (Figure 3.19). But
Thus
««2 = y(^)>
K1 = [y(^)]e(M, U)
for all t2 e J. Hence J is an open set about t2, contained in A; and A is open.
Similarly B is open, and hence so is /-1([y], U). This proves that / is con¬
tinuous, thus completing the proof that X is arcwise connected.
(J?, p) is a covering space. For given xx e X, let U be an arcwise connected
open set containing x±, with the property that each path in U is homotopic in
X to a constant. As in the proof above that X is Hausdorff, we see that if
[«i] A [“2] is such that ^([aj) — p([a.2]), that is, «i(l) = a2(l), then
([«i], U) n ([«2], U) = 0. Also, since U is arcwise connected, />|([a]tC0:
([a], U)-^ U is surjective for any [a] with /?([a]) = xx. Moreover, is
injective. For suppose p([af3]) = p([uy]) for some paths p and y in U starting
at x1. Then p(l) = y(l), so Py~1 is a closed path in U and hence is homotopic
to the constant path eXl; that is,
73
3: Fundamental group and covering spaces
For this, suppose V is an open set in X. Since V is a union of basic open sets
U = ([a], U), it suffices to show thatp(U) is open for such U. So let xx ep(U);
say Xi — p([y3]) = /3(1) for [yS] e U. Let U1 be the set of all points in U which
can be joined to x± by paths in U. Since X is locally arcwise connected, it is
easy to verify that Ux is an open set. Clearly xx g Ux. We claim that Ux <= p(U),
implying that p(U) is open. In fact, Ux = p(W], Ux). Moreover, [y3] = [ay],
where y is a path contained in U. Thus any element [17] e ([yS], Ux) is of the
form
M = m = [«yS]6([«], U) = U,
O <a> e H.
Remark. Recall that, for a group G, two subgroups F/j and H2 are said to
be conjugate if
Projecting,
and (p o y) e x). □
Theorem 6. Let X be locally simply connected and let (X, p) be a covering space
of X. Suppose (X, p) is a covering space of X. Then (X, p ° p) is a covering
space of X.
74
3.3: Covering spaces
Theorem 7. Let X be locally simply connected and let (Xx, px) and (X2, p2) be
covering spaces of X. Suppose x] e Xj (j = 1, 2), with Pl(xx) = p2(x2), and
Then there exists a unique map p: Xx -> X2 with p(xx) = x2 such that (Xx, p)
is a covering space of X2. Furthermore, p2 ° p — px.
and hence px ° y^x-1 lifts to a closed path in X2; that is, y2(l) = yS2(l).
The proofs that p is continuous and unique and (Xx, p) is in fact a covering
space of X2 involve no new techniques and are left as exercises for the
student. □
Definition. Two covering spaces (Xx,px) and (X2,p2) of a space X are iso¬
morphic if there exists a homeomorphism h: Xx -> X2 such that p2° h = px.
Theorem 8. Let X be locally simply connected and let (Xx,px) and (X2,p2) be
covering spaces of X. Suppose xx e Xx (j — 1, 2), with px(xx) = p2(x2) and
Pi = P2 °P = Pi 0 (q°p)
75
3: Fundamental group and covering spaces
76
3.3: Covering spaces
<P««lXa2»([^]) = 93(<«l«2»([^])
= K«20]
= <p«al»([a2^])
= <P««1» ° <P««2»([/S])
for all [0] e X; that is, <?X«iX«2» = <K<«i» 0 <P««2» for all <«!>, <«2> e
1Ti(X, x).
<K«xm mow] = m
=
o a/3 = fi
o e H.
P ° (<Xa» = P° h = p
77
Simplicial complexes
The goal of this chapter is to develop some machinery which will enable us to
compute the fundamental group of a large class of spaces. These spaces are
the ones which can be obtained by piecing together in a nice way basic topo¬
logical building blocks called simplices. A O-dimensional simplex is a point,
a 1-dimensional simplex a line segment, a 2-dimensional simplex a triangle,
a 3-dimensional simplex a tetrahedron, and so on. All the spaces which will
occupy our attention in the coming chapters will be homeomorphic to spaces
built up from simplices.
Given a decomposition (triangulation) of two spaces into small enough
simplices, we shall show that any continuous map from one space to the
other can be approximated by a map which is linear on each simplex. More¬
over, this approximating map will be in the same homotopy class as the
original one. Thus we will have reduced difficult topological problems of
mappings to more accessible algebraic problems of “piecewise linear” maps
and spaces.
Figure 4.1 illustrates these ideas. It shows two triangulations of the unit
78
4.1: Geometry of simplicial complexes
f(x) = 4x — 4x2.
Example. In R2, {v0, vx, v2} is c-independent if and only if v0, vx, and v2 are
not collinear.
Theorem 1. Suppose {c0, vu ..., vk} is a c-independent set. Let C be the convex
set generated by {v0, vu ..., vk}; that is, C is the smallest convex set con¬
taining {v0, Pi,..., vk}. Then C consists of all vectors of the form ]> f=0 aivi,
where a, > 0 for all i and 2f= o ai — 1 • Furthermore, each v e C is uniquely
expressible in this form.
Proof. First note that the intersection of convex sets is a convex set, so C
exists; C is the intersection of all convex sets containing {v0, vly..., vk}.
Now let
n. n,
Ci = v; v = ^ aivu ai - 0, 2 = 1
{= 0 i=0
tv + (1 — 0^ = 2 \-tQi + (1 —
i=0
and
y [tat + (1 - t)bt] = t 2 + (1 ~ 0 2 bi = t + a “ 0 = !•
i=0 i=0 1=0
79
4: Simplicial complexes
Since
n— 1
for tel since C is convex. Let t = 1 — an. It follows that 2?=o e C; that
is, Ci <= C, and Cx =< C.
We proceed to show uniqueness. Suppose
k k
i=0 i=0
k
2 (ai _ t)i){Vi - U0).
i=0
Examples. For {u0, vx} vectors in R1, the simplex [p0, pj is the closed interval
[p0, Pi]- For {v0, vx, y2} c R2, [Po> vlt v2] is the triangle with vertices v0, vx, and
v2. The centroid of this triangle is the point with barycentric coordinates
(t> i). For V = Rn, the simplex [p0, vu ..., vk] is a compact metric space
(it is closed and bounded) in the relative topology. In fact, using barycentric
80
4.1: Geometry of simplicial complexes
is called an open simplex and is denoted by (v0, vu ..., vk). We shall also
denote an open simplex by (5) and the corresponding closed simplex by [5].
Let [5] = [y0, vk] be a closed simplex. The vertices of [5] are the
points v0, Vi,..., vk. The closed faces of [s] are the closed simplices
[vJo,v}l,...,vjh] where .. .,jh} is a nonempty subset of
{0, 1 ,...,k}. The open faces of the simplex [5] are the open simplices
(vjo, vh,..., vj.
Remarks
(1) A vertex is a 0-dimensional closed face. It is also an open face.
(2) An open simplex (5) is an open set in the closed simplex [5]. Its closure is
[si
(3) The closed simplex [s] is the union of its open faces.
(4) Distinct open faces of a simplex are disjoint.
(5) The open simplex (s) is the interior of the closed simplex [5]; that is, it is
the closed simplex minus its proper open faces (faces ^ (5)).
Remarks. If K is a simplicial complex, let [X] denote the point set union of
the open simplices of K. Then [Z] is compact, and [K] = (Jwe*: CO =
U(s)e£T CO-
If [.?] is a closed simplex, the collection of its open faces is a simplicial
complex which we denote by s.
Figure 4.2
81
4: Simplicial complexes
Figure 4.3
Figure 4.4
in Figure 4.3 are not simplicial complexes. By adding simplices, however, the
point sets in Figure 4.3 can be made into complexes (Figure 4.4). Note that a
complex is more than just a point set. It is a set with additional structure. It is
possible to have two different complexes with the same point set, as in
Figure 4.5.
Figure 4.5
82
4.2: Barycentric subdivisions
Examples The points and sets in the plane shown in Figure 4.6 are in general
position. Those shown in Figure 4.7 are not in general position. Note that if A
Figure 4.7
Definition. Let (v, A) be in general position. The cone with vertex v and base A
(or the join of v with A), denoted by v * A (Figure 4.8), is the set
Theorem 1. Let [s] = [y0, vu ..., vk] be a k-simplex. Let ve(s). Then
(v, [Ate-1 ]) is in general position, and v * [sfc-1] = [j].
Figure 4.8
83
4: Simplicial complexes
Proof. Let au a2 e [sk ~1]. Suppose there exists w e [v, oj n [v, a2] with
w / v. We must then show that a1 — a2. Consider the expressions for au a2,
and v in terms of barycentric coordinates in [s]:
k k k
Since (s) and a2 $ (s), aUl = 0 and a2iz = 0 for some ft and i2 < k. More¬
over, since v e (5), ft ^ 0 for all i. Since w e [u, aj, w = ftp + (1 — ft)#! for
some ft el. Thus w = 2?=o [ftft + (1 — ft)«u]ft-
Similarly, since we [v, a2], we have w = 0 [ftft + (1 — ftO^ilft for
some t2 e I. By the uniqueness of barycentric coordinates,
ft _ ft = 7T- (1 _ ft)a2i1 — 0.
ftl
Taking z = ft yields
ft — ft 0 ~ ft)ali2 < 0.
(1 ft)o:ij — (1 — ft)a2j
for all z. Now ft ^ 1 since vv ^ p, so this implies that alf = a2j for all z; hence
«i = «2, completing the proof that (v, [s*-1]) is in general position.
Now v * [5fc_1] c [5] because [5] is convex. Conversely, |>] c v * [s*-1].
For if w e [sk~1], then certainly wev * [s'*-1]. So suppose w e (s). We may
assume w ^ v. In barycentric coordinates,
k
w = 2 “‘ft’ V — (all «i5 ft > 0).
i=0
Since
-ft) i «< - i ft =1 -1 = 0,
i=0 i—0
and since at — ft ^ 0 for some ft ay — ft < 0 for some y. For each such y,
let///) = ft + /(ay - ft). Since //!) > 0 and ///) < 0 for large /, there
84
4.2: Barycentrie subdivisions
Figure 4.9
exists a t} > 1 such that fa + tj{af — fa) = 0. Choose i0 from among the
numbers j so that tlo < t„ for all such j. Then fa0 + tio(aio - fa0) = 0, and
A + ho(ai — fa) > 0 for all /'. Hence v + tio(w — v) = re[il_1] (see Figure
4.9). Also,
Exercise. Let [5] = [t>0, vlt..., vk]. Prove that (v, [5]) is in general position if
and only if vlt.. ., vk, t>} is c-independent, in which case
85
4: Simplicial complexes
Figure 4.10
A
Theorem 2. Let s be a k-simplex. Let Kf be a subdivision of sk~1. Let v e (5).
Then (v, [A^]) is in general position. Furthermore, v * [A^+] is the point set of a
complex K defined by K — K* U (Us+eK+ (5+> v)) u (v) (see Figure 4.11).
Here, for
Figure 4.11
86
4.2: Barycentric subdivisions
Ka) = [(i(j0), b(sx),. ..,b(sk)); s0 < s± < • • • < sk; s0, slt..sk e K].
So, • • •, sr s A
87
4: Simplicial complexes
s0 < Si <■■■< sr, and dim sr < n — 1, then {60o)> £>0i),..., 60r)} is c-
independent and gives an open simplex (b(s0), 60i),..60r)) in (^'l_1)(1).
Furthermore,
Now suppose s0, sx,..., sr e K (s0 <••• < 5>), and dim sr = n. Since
sr_ 1 < sr, dim iSr_] < n — 1, so that (b(s0), b(s1),..., 60r-i)) is a simplex
<= Or _ x), which is a face of sr. Since b(sr) e Or), Theorem 1 implies that
(b(sr), (b(s0),..., 60r-i))) is in general position. Hence (b(s0), 6O1),..., b(sr))
is an open simplex, the interior of the closed simplex
where Or-i) and 0,_ 1) are both faces of Or); hence (b(s0),..., 60r-i)) and
Wo),..., 60,- 0) g Since
This shows that X(1) is a simplicial complex. To complete the proof of the
induction step and of the theorem, we must show that [A^(1)] = [A^]. Clearly,
[Ka)] <= [AT]. Also, [*(1)] =3 [(/f"-0(1)] = [AT--1], using the induction
assumption. Hence we must show that
So suppose w g [AT] — [A^n_1], Then w must lie in some open simplex (j) of
dimension n. Thus
w g 0) c 0] = 60) * 0n_1].
Now O'1-1] <= [X71-1] = [(A^n_1)(1)] so w g 60) * 0i) for some
88
4.2: Barycentric subdivisions
Lemma. If s is a simplex in Rn, then diam [5] = p(vx, v2) for some pair vx, v2 of
vertices of s. If K is a simplicial complex, then mesh K = p(v1, v2), where vx
and v2 are vertices of some simplex of K.
Proof. Let s be a simplex and let vx, v2 e [5] be such that diam [5] = p(vx, v2).
Suppose, say, that v2 is not a vertex. Then v2 is in some open simplex of
dimension > 1. In particular, there exist wx, w2 e [s] with wx 7^ w2, such that
v2 = twx + (1 - t)w2
for some t with 0 < t < 1. But the convex function / defined on / by
has no maximum for 0 < t < 1, contradicting the maximality of p at (y1; v2).
The second statement of the lemma follows immediately from the defini¬
tion of mesh K. □
Proof. By the lemma, there exists a simplex (b(s0), b(sx),..., b(sr)) e Ka) such
that mesh Ka) = p(b(sk), b(sh)) with sk < sh. By renumbering vertices if
necessary, sk = (v0,..., vp), sh = (v0,..., vp, vp + 1,..., vq), and
89
4: Simplicial complexes
1 q + 1
q + 1 P + 11 i=o i=o
1 * /
q + 1 j=0 l/5
1 1
p + \ q -\- 1 life- •>,)
j = 0 i=0
<
1 1 ^a v
But \\vt - Vj\\ < diam OJ < mesh K. Moreover, whenever i - j, the (i,j)th
term in this summation is zero. There are p + 1 such terms. The number of
nonzero terms is therefore
(p + 1)(<7 + 1) — (P + 1) = (P + ^)<i-
Since each term in the summation is < mesh K, and since q < m,
9>(/0 = 2 awivi).
i=0
Remark. Condition (1) says that <p must map the 0-skeleton of K into the
0-skeleton of L. Condition (2) says that for each simplex (v0, vu ..., vk) e K,
the set cp(v0), <p(Vi),..., y(vk), with redundancies removed, is the set of vertices
of some simplex in L. Condition (3) says that the mapping cp is linear on each
simplex.
Since a simplicial map depends on K and L, not just [A] and [Lj, we will
denote it by <p: K -> L.
90
4.3: Simplicial approximation theorem
Remarks. With the glueing lemma, it is easy to check that a simplicial map
is continuous.
A simplicial map is, by Condition (3), determined by its effect on vertices.
Conversely, a vertex map K° -> L° from the vertices of K into the vertices of
L can be extended to a simplicial map K —> L if and only if Condition (2)
above is satisfied.
St(u) = (J (s)
vet s]
(s)eK
st (vy = U CO.
vi[s]
91
4: Simplicial complexes
Since v $ [5] implies v $ face of s, we have (5) c St (y)' implies [5] £ St (v)'.
Since [s] is compact, [s] is closed. Hence St(y)' = U(s)=sta>y is closed.
Next, v is the only vertex in St (v) because the only open simplex containing
a vertex is the 0-simplex consisting of that vertex alone.
Finally, (Jpe£:o St (v) = [K] because if p e [K], then p e (5) for some
(5) £ K, and hence p e St (y) for any vertex v of (s). □
Definition. Let K and L be simplicial complexes. Let /: [K\ -> [L] be con¬
tinuous. A simplicial map <p: K->L is a simplicial approximation to /if
/(St (y)) <=■ St (rp(v)) for each vertex v of K.
Proof. Let p e [K], Then p e (s) for some simplex (s) = (v0, vx,..vT) e K,
and
for all j £ {0, 1,..., r}. Now f(p) e (t) for some simplex (t) e L, so for (t),
(t) n St (c-p(Vj)) ^ 0 for all j. But, since L is a complex and St (<p(vx)) is a
union of open simplices, (t) <= St (<p(vy)) for all j; that is, 9o{vj) is a vertex of (t)
for all j. In terms of barycentric coordinates in s, p = 25 = 0 aivj> and
r
F does map into [L] because, by Theorem 2, f(p) and cp(p) lie in a common
simplex that, being convex, also contains the line joining them. It is easily
verified that F is continuous, and clearly F(p, 0) = f(p) and F(p, 1) = cp(p)
for all p £ [A].
92
4.3: Simplicial approximation theorem
Theorem 4. Let f: [/f] —> [L] be continuous and cp\ K° -> L° be a vertex map.
<p can be extended to a simplicial approximation to f if and only if /(St (f)) <=
St (cp(v)) for all v e K°.
Proof. The implication in one direction is obvious. For the other direction
we need only verify that <p can be extended to a simplicial map K-> L; that is,
we need only show that if (s) = (f0, fl5..., vr) is a simplex in K, then
cp(v0), yivx),..., cp{vr) are vertices of a common simplex of L. But, in fact,
/(CO) c /(St (v,)) c: St (<p(i/)) for ally e{0, 1,..., r} so p|5=o St =£ 0.
This implies there exists an open simplex (t) c St (<p(n,)) for all j. <p(vj) must
then be a vertex of (t) for all j. □
Theorem 5. Let f: [/f] —> [L] be continuous. Let {A'n} be a sequence of sub¬
divisions of K such that limn_oo mesh Kn — 0. Then, for n sufficiently large,
there exists a simplicial map <p: Kn-> L such that <y is a simplicial approxi¬
mation to f.
Corollary. Let /: [A"] -> [L] be continuous. Then, for any e > 0, there exist
subdivisions Kn of K and Lm of L, and a simplicial approximation 93: A"n -> Lm
to f such that d(f 9?) < e.
93
4: Simplicial complexes
are vertices of t.
w0 Wi W-1
K
Figure 4.14
Define simplicial maps <pu cp2, <p3: K -> L by prescribing them on vertices as
follows:
94
4.4: Fundamental group of a simplicial complex
Theorem 1. Let K and L be simplicial complexes and let f: [/v ] —> [L\. Suppose
<Pi, <p2: K L are both simplicial approximations to f. Then <px and <p2 are
contiguous.
/(CO)c/(St(y,))^ Stfa(i;y))
for all je {0,..., k} and ie{l, 2}. Thus
Theorem 2. Suppose 9^ and <p2: K^-L are contiguous simplicial maps. Then
9>i and cp2 are homotopic.
Proof. Note first that for each p e [A"], cpfip) and <p2(p) lie in a common
simplex of L. For p e (.s) with (s) = (v0,..., vk) e K. In barycentric coor¬
dinates, p = 2f=o Since 9and ?2 are contiguous, <px(v0),..., yfv^ and
<p2(v0),..., <p2(vk) are vertices of some simplex (t) e L. Then yfp) =
2i = o ai<Pj(Vi) e (/) fory e {1, 2}.
Now define F: [K] x /-> [L] by
Theorem 3. Let K be a simplicial complex. Let oc0 and a/ -> [A'] be paths in
[A']. Suppose a0 ± ax. Then there exists a subdivision F of I and simplicial
maps 9>0 and 9^: F —> K such that
(1) 9>y is a simplicial approximation to a( j e {0, 1}) and
(2) 9>0 ~ 951.
Moreover, the subdivision F can be chosen to be finer than any given simplicial
subdivision of I.
95
4: Simplicial complexes
are homotopic maps, then there exists a subdivision K' of K and simplicial
maps <p0, 9ox \ K' ->L satisfying Conditions (1) and (2) above. The proof of
this is a generalization of the following proof.
•AiOr) = MVr+l) = +
96
4.4: Fundamental group of a simplicial complex
/ l + 1 / / + 1
Q St => F^St (vr) x ) n F(st(vr + 1) x
u=o 2k’ 2k 2k’ 2k
11 + 1
= FI vr+1) x
2k’ 2k )■
which is not empty and hence contains a simplex (t) of K. Hence the four
vertices in question are vertices of (/). □
tu-1 = ek 1- • -ei1.
Figure 4.16
97
4: Simplicial complexes
Proof. Routine. □
98
4.4: Fundamental group of a simplicial complex
• • • |<p(4-iMhc)l
in if. Then /z(to) - <93) = <a>.
h is injective. For this we must show that if to is a route such that cpw ~ eVo,
E
then cj ~ |y0y0|. But, by Theorem 3, there exists a subdivision /' of I and
simplicial maps cp0, cp1:/' —> K such that y0 and cp1 are simplicial approxima-
Q
tions to <pa and eVo respectively, and such that 9>0 — <px. (This subdivision /'
can be chosen finer than the subdivision of / used to define Now, since
eVQ is a simplicial map and 9ox is a simplicial approximation to it, cp1 = eVo.
Then to show that
E
OJ ~ |p0t>o|,
Hence
But since 93 and </< are contiguous, ( -1), 93(4), </<4-i)> and ip(tk) are vertices
93 4
19>(4-i)9>(4)110(4)^(4-1)I ^ k(4-i)<A(4-i)|
and
~ |<p(4)<p(4)l • • • 19^(4-2)9?(4-1)11<p(4-i),A(4-1)110(4-i)*/'(^fc-2) 1
• • •|iA(4>/,(4)|-
Similarly, since 93 and </> are contiguous,
and
~ |9>(4)<p(4)| • • • |93(4—3)9,(4—2)119^(4-2)^(4-2)11*A(4-2)^(4-3)I
• • • |</'(4)i/'(4)l-
Continuing in this way we find, by induction, that
E
OW-1 - |<K4)!/'(4)| = K»o|.
Proof of (2). Since the restriction of ifj to the subcomplex of /' consisting of
the vertices {4, 4,..., 4} is a simplicial map, 9>(q) = <p(tt) for i e (0, 1,..., k}.
Moreover, since </<: /-» K is a simplicial map, (0(4, ti +1)) is a simplex (5) in K
of dimension 0 or 1.
Claim: For each vertex u of I' with tt < u < ti+1, 9?(«) is a vertex of (s).
For, in fact, since 93 is a simplicial approximation to 0,
Now consider the parts of 04 and 04 arising from the restrictions of 0 and
93 to [4 ti +1]. This part of 04 is just |</>(h)^(h + i)|- The corresponding part of
04 is
100
4.4: Fundamental group of a simplicial complex
Corollary. Let K be a simplicial complex, let v0 e K°, and let i: K2 -> K be the
injection of the 2-skeleton of K into K. Then i induces an isomorphism
Theorem 6. The n-sphere Sn is simply connected for n > 1; that is, ■n1(Sn,p)
— (e) for each p e Sn.
Remark. Every tree has an end. For otherwise we could build up a route by
starting at one vertex, moving to another vertex along a 1-simplex, moving
to a third vertex along a different 1-simplex, etc. The route never touches a
vertex twice because otherwise the 1-simplex which brings the route back to
that vertex could be removed without disconnecting the tree. If the route
never reaches an end, we will touch infinitely many vertices in this way
(induction). But a complex has only finitely many vertices.
101
4: Simplicial complexes
Figure 4.18
102
4.4: Fundamental group of a simplicial complex
vertices. Let L be the tree obtained in the proof of Theorem 7. Then L has n
vertices so X(L) = 1. But a0(T) = «0(L) + 1, and Ul(T) = afL) + 1, so
x(T) = X(^) = L □
n = 1 - x(K). □
(Note that the above formula implies that although the particular 1-
simplices which we delete are by no means unique, the number which must be
deleted to obtain a tree is independent of the particular method of deletion
employed.)
Remark. Recall the definition of the free group Fn on n generators. Consider
an alphabet consisting of n letters ol5 a2,..., an. Consider the symbols
a1~1,a2-1,...,an-1 and e.
Let S be the set of all “words” obtained by arranging these symbols in any
order in a row of finite length—repetitions are allowed. The “product” a/3
of two words a and /3 is defined by juxtaposition: /3 is attached to the end of a.
The “inverse” of a word is obtained by reversing the order of the arrange¬
ment and at the same time replacing ay by af1, af1 by ah and e by e. An
equivalence relation ~ is defined on S as follows. We decree that ee ~ e and
that for each j,
OjOj 1 ~ e. lai ~ e;
OjC ~ Qj, af1e ~ ai
eaj ~ fly, eafr ~ aj
Furthermore, any two words are ~ equivalent if one may be obtained from
the other through a sequence of such “elementary” equivalences. The set of
equivalence classes forms a group with multiplication and inverse as above,
and with identity the equivalence class of e. This group is Fn.
Example. The free group on one generator is isomorphic with the integers.
103
4: Simplicial complexes
■ Qj.*1) = Ka,yK
Moreover, this property characterizes the group Fn; that is, if H is a group
generated by n elements such that any map from these generators into an
arbitrary group extends to a group homomorphism, then H is isomorphic
with Fn.
Example. Let px and p2 be distinct points in R2. Then for p e R2 — [px, p2}>
■nx(R2 — {px, P2}, P) is the free group on two generators. For consider a graph
K as in Figure 4.19. (Note that px and p2 are not part of the graph.) Then
R2 — {px,p2} and [/f] are of the same homotopy type. In fact, the map
104
4.4: Fundamental group of a simplicial complex
— {Pu P2} -> [Ai] defined by projection, as in Figure 4.20, together with
the inclusion map [Ai] -> R2 — {px, p2} give a homotopy equivalence. Hence
such that hx ° h and h ° hx are identity maps. This will show that E(K, v0) is
isomorphic with Fn. The theorem is then a consequence of Theorem 5.
Construction of h. Let (sx), (s2),..., (j„) (n = 1 — x(X)) be open 1-
simplices of K such that T = K — {(5X), (s2),..., (^n)} is a tree (cf. Theorem 9).
Let Fn be the free group with generators (^x), (j2), • • •, (sn). For each
j e {1, 2,let 5;+ be the edge \vjv'j\ in K, where Vj and v) are the vertices
of Sj. (We are here implicitly choosing some ordering for the vertices of each
Sj.) Let Sj~ be the edge \v'jVj\. Then each route a> in K is of the form
w = PiSh*PaPta* ■ ■ ■pkSjk±pk+1,
where each pt is a route (possibly the trivial route |r>;,y;(|) in the tree T. Now set
Koi) = (Sj1yl(Sj2yl--fSjky\
We must check that h is well defined; that is, that h(o>) depends only on the
edge equivalence class of <0. For this, it suffices to show that if ojx and o>2 are
routes in K which differ by an elementary edge equivalence, then =
h(a>2). So suppose
COl = o\v1V2\\v2V3\t,
w2 = o\vxV2\t,
where o and r are routes in K, and vx, v2, v3 are vertices of a common simplex
in K. Since A" is a graph, and hence has no 2-simplices, either vx = v2 — v3,
Vl = v2, v2 = v3, or vx = v3. In each of the first three cases, at least one of the
simplices (vx, v2) and (v2, v3) is a 0-simplex, hence is not an (sf), and the other
is equal to (vu v3). Thus in each of the first three cases, /2(wx) = h(oj2). In the
fourth case,
<t>! — o\ViV2\\v2Vi\t
<jj2 -- cr\ViVi | r.
If (vx, v2) is not an (s}), then clearly h(o>x) = h(oj2). If (vx, v2) = (sf) for somey,
then
U)1 = OSj^Sj^T,
105
4: Simplicial complexes
Thus in all cases, h(a>*) = h(co2) as required, and h is well defined. Clearly, h
is a homomorphism.
Construction of hx. Since Fn is a free group, it suffices to define h1 on the
generators (sy) = (vy, vy). For this, let oy be a route in the tree T from v0 to vy,
and Tj be a route in T from v0 to v). Define hf{sf) to be the edge equivalence
class of the route ajsj + rj~1. This definition is independent of oy because any
other route in T from v0 to vy is edge equivalent to oy. (T is simply connected
by Theorem 7.) (Proceed similarly for ry.) Now hx extends uniquely to a
homomorphism Fn -> E(K, v0).
h o hx is identity because, for each generator (s,) of Fn,
hx ° h is identity because if
w = PlSh±P2S)2± ■ ‘ ■pkSile±Pk +1
is a route in K, then
= yhish±v'hVi2Sj2±'n'i2- ■ 'V/kM
where
But pi and Vh are both routes in T from v0 to the origin of hence they
are edge equivalent. (T is simply connected.) Similarly, p2 and r}'ji7]j2 are both
routes in T from the end of syi± to the origin hence they are edge
equivalent. Continuing by induction, we conclude that hx °h(u>) ~ cu; that
is, hi o h is identity. j-j
Proof. We may assume that K (and hence K1 also) is arcwise connected. Let
i: K1 K be injection. Then
W-E{K\ v0)->E(K,v0)
is surjective from the definition of the edge path group. Hence, by Theorem 5,
106
4.4: Fundamental group of a simplicial complex
is surjective. Let n — 1 — xC^1)- Then 771([A'1], v0) = Fn, the free group on n
generators, so
Corollary. Let D2 = {(x, y) e R2; x2 + y2 < 1} be the unit disc in R2. There
exists no continuous map f: D2 -» S1 such that/|si is the identity.
Corollary. Special case of Brouwer fixed point theorem.) Let D2 be the unit disc
in R2. Suppose f: D2 -> D2 is continuous. Then f has a fixed point; that is,
there exists an x e D2 such that f(x) — x.
Proof. Suppose there exists no fixed point. Then, for each x e D2,f{x) ^ x,
so that x — /(x) ^ 0 (vector addition in R2). Let g: D2 —> S1 be defined as
follows. For each xe D2, g(x) is the projection of f(x) onto S1 along the
vector x — f(x) (see Figure 4.21). Then g is continuous, and g|si is the
identity. This contradicts the previous corollary. □
gf)
107
4: Simplicial complexes
108
Manifolds
Remark. We may, if we wish, choose each cpx so that <px(x) = 0 and so that
the image of cpx is a ball i?0(Y). Given any (px homeomorphically mapping an
open set U about x onto an open set in Rn, let e > 0 be such that B^fe) <=
<Px(U). Let
Example 1. Rn is locally Euclidean. For each x e Rn, take cpx to be the identity
map.
Example 3. Projective space Pn; that is, the space of all lines through 0 in
Rn + 1, is locally Euclidean. For since Pn is covered by Sn, each xePn is
contained in an open set homeomorphic to an open set in Sn that itself
contains, about each of its points, an open set homeomo phic to an open set
in Rn.
109
5: Manifolds
110
5.1: Differentiable manifolds
U = (domain /)
is an open set in X containing x, and /e C\U, R1), where U has the Ck-
manifold structure as an open set in X.
111
5: Manifolds
Definition. Let (X1, ®x) and (X2, ®2) be Cfc-manifolds (not necessarily of the
same dimension). A mapping Y: X1 -> X2 is of class Cs (s < k), denoted
Y e Cs(Xx, X2), if, whenever/6 CS(X2, R1), then/«Te CS(X1, R1).
system with x e U = domain cp, then there exists an rc-tuple (al5 a2,..., an)
of real numbers with the following property. For each /e C”(Z, x, R1),
v(f) = 2 a* Jr(/0<P_1)Uw
i=1
(Note that if W = domain/, then cp and/are both defined on the open set
U n W containing x, so that /° 99_1 is a smooth function with domain
cp(U n W) c: Rn containing <p(x).)
<0= u,
i=x vr'
= 2 Qi Jk f° ( iA_10 ^0 <p_1)Uu)
i = 1 Fi
n 71 d
= 2ai 2 gr(/o^"i)i*<*)^i(^o9>~i)u*),
i=1 3=1 't
where Ju(ip 0 95”1) is the Jacobian matrix of the function if> ° cp"1. Lienee
112
5.1: Differentiable manifolds
Setting
n
bi = 2
i=1
aiJiM ° <P"1)U(x),
we obtain
K/>= 2 4,
i= 1 'i
~(f) =
for fe CCC(X, x, R1). Thus 8/8x,- corresponds, relative to the coordinate
system <p, to the «-tuple (0, 0,..1,..0), where the 1 is in the yth spot.
These three properties say that the map v: C™{X, x, R1) —> R1 is a derivation.
Moreover, these properties characterize tangent vectors; that is, we could
have defined a tangent vector to be a map v: Cco(A, x, R1) -» R1 satisfying
(l)-(3) above, and then proved that, relative to any coordinate system 95 about
x, v — 2i"=i ^(S/SXj) for some «-tuple (alf..an) of real numbers, where x(
is the ith coordinate function of <j>.
Remark 3. The set Xx of tangent vectors at x forms a vector space under the
following rules of addition and scalar multiplication:
113
5: Manifolds
To see that v1 + v2 and Xv± are tangent vectors at x, let <p be a coordinate
system about x, with coordinate functions (xi,..., xn). Then
n Jk
v± = V a^d/dXi) and v2 = bi(8f8Xi)
i= 1 i=1
for some (alt ...,an) and (bltbn). It is then easy to check that
n
_a_
t?i + V2 = 2 (°i + bi)
0X,’
i=1
2 (M> Sx/
i= 1
The map (alt..., an) -> Oi(d/dxt) gives a vector space isomorphism
Rn -> Xx, so has dimension n. Moreover, it is clear that {d/dxi}ie{1.n} is a
basis for Xx. The space Xx is called the tangent space to X at x. It is also
denoted by T(X)x or by T(T, x).
For (p and </« two coordinate systems at x, with coordinate functions
(x1}..., xn) and (^l5 ...,yn) respectively, the formula
_a_
8y(
merely expresses the vector d/dxj in terms of the basis ie{1.n}. Thus the
change of basis matrix from the basis {8/dy^ of Xx to the basis {8/8xJ is
precisely the Jacobian matrix ((0/9xy)(.yi))-
Remark 4. The tangent space T(Rn, a) to Rn at a point a e Rn is naturally
isomorphic with Rn itself. The isomorphism Rn T(Rn, a) is given by
(A,.An) —, j Ai S-.
j= 1 V’i
Notation. We shall henceforth omit the O from our notation for a differen¬
tiable manifold {X, <h). To be sure, a locally Euclidean space X may have two
or more distinct differentiable structures on it (or it may have none), but we
shall denote a manifold (X, ®) merely by X and shall assume that a definite
differentiable structure is given on it.
114
5.1: Differentiable manifolds
(Ti> • • •> Tm), then v = 2?=i Oi(d/dXi) for some real numbers a{\ and if
g e C”(y, Y(x), R1), then
ill ^ ^
W,(s) (y‘ °
n 171 r\ r\
= 2 2 a‘ a* T)
115
5: Manifolds
map. Indeed, fe C°°(A, R1) implies f\v e C°°(t7, R1). Furthermore, the
differential
(t > 0)
g(t) =
(t < 0).]
If fx e CX(U, w0, R1), use Exercise 1 to show that there exists a smaller open
set W and fe C°°(Z, R1) such thas f\w = fx |w.
Remark. Let X be a smooth manifold, and let /e C°°(Z, i?1). Let us com¬
pute df. For v e T(X, x), <77(y) e T(R1,f(x)). Since T(R1,f(x)) is 1-dimen-
sional, df(v) = A (d/dr) for some A e R1. To determine A, it suffices to evaluate
df(v) on the coordinate function r : R1 -> R1 as follows.
a: (a — e, b + e) X.
(Note that open intervals are open sets in jR1 and hence are smooth
manifolds.)
A broken Cx-curve in A is a continuous map a: [a, b] -> X together
with a subdivision of [a, b] on whose closed subintervals a is a C00 curve.
116
5.1: Differentiable manifolds
Example.
for all /e Cm(X, x, R1) (see Figure 5.2). We may use this equation to define
an equivalence relation on the set of all curves a with a(0) = x. Then we get a
one-to-one correspondence between equivalence classes of curves through x
and tangent vectors at x. Thus, we could have defined a tangent vector at x
to be such an equivalence class of curves through x.
Figure 5.2
117
5: Manifolds
T(X) is called the tangent bundle of X. T*(X) is called the cotangent bundle
of X.
T(X,x 0 T(X,x2)
(f//)(x) = V (x)/.
a>(F)eCco(JF, i?1).
Here o>(K) is defined by (co(K))(x) = w(x)(F(x)). We shall denote the set
of all smooth vector fields on X by C00(Ar, T(X)) and the set of all smooth
1-forms by C°°(X, T*(X)).
[Hint: For <p: [/—> i?n a local coordinate system on X, with coordinate func¬
tions (xi,..., xn), define <p: 7r-1((/) -> R2n by
118
5.2: Differential forms
Remark 2. CX(X, T(X)) and C®(A", T*(X)) are both vector spaces over
the reals under the operations of pointwise addition and scalar multiplication.
For example, if Vx and V2 e CX(X, T(X)\ then V1 + V2 is defined by
(yi + F2)(x) = Vx(x) + V2(x); and if A e R1, then AJ0 is defined by
(AFi)O) =
Remark 3. Let y be a coordinate system on X with domain U and coordi¬
nate functions (x1; x2,..., xn). Then the following hold.
(1) (d/dxi) 6 C°°(t/, T(U)) for ie{l,...,n}. d/dXi is smooth because if
o cp
(*);
that is,
(2) If Ve C°(U, T(U)), then there exist functions at e CW(U, R1) for
i e{l,..., «}, such that V = 2"=i a^d/dxf). These functions ax exist because
{(8/dXl)(x)}ie{1.n}
is a basis for T(X, x). They are smooth because (d/dx^x,) = 8Xj, so that
119
5: Manifolds
ai = ^2 dXj{jf) = df{dx)
ai = dXi
is a basis for Afc(F*). Hence the union of these sets over k e{l,..., n}, to¬
gether with 1 e A°(F*), is a basis for &(V*). It follows that the dimension of
&(V*) is 2n.
120
5.2: Differential forms
and let
As usual, we shall denote the projection maps from these spaces onto A by v.
These spaces can each be given the structure of a smooth manifold such that
7r is a smooth map.
where
121
5: Manifolds
is a basis for Ak(T*(X, x)) for each xe U. Thus, the restriction to U of each
A>form p on A can be expressed as
h< — <ilc
Remark. For the proof we need the following lemma, which asserts that
for any exterior differentiation operator d, (dco)(x) depends only on the
behavior of w in a small neighborhood of x.
Lemma. Let d: Ca>(X, &(X))—> C'X>(X, &(X)) be linear and satisfy the con¬
ditions of the theorem. Suppose to e C”(A, @(X)) is such that w\w = 0 for
some open set W <=- X. Then (da>)\w = 0. Hence, if u>, t e CX(X, &(X)) are
such that to|w = t\w for some open set W, then (da>)|w = (c/r)|w.
122
5.2: Differential forms
Proof of Theorem 1
Uniqueness. Suppose d: C°°(T, &(X)) -> C™(X, &(X)) satisfies the con¬
ditions of the theorem. Let x e X, and let 95 be a local coordinate system about
x with domain U and coordinate functions (x1?..., xn). Let oj e C °°(X, Ak(X)).
Then the restriction of a> to U can be expressed as
for some aiv..i]c e CC0(C/, R1). Now the right-hand side of this equation is not a
differential form on X, so we cannot apply d to it. However, let U± be an
open ball containing x with U1 compact and <= jj, and let g e C°°(T, R1) be
such that g(x) = lforxe £4 andg(x) = Oforx^ U. Then <5 e C°°(X, Ak(X)),
where
Here, by gh, for h e C “(£/, R1), is meant the smooth function on Xdefined by
, ,v v /g(x)h(x) (xeU)
te,I>W = to (xiU).
Furthermore, <l>\Ul = a>\Uv By the lemma, {d<X)\Ul = (d<l>)\Ul. Now
since each term of the second sum is zero by Properties (3) and (4). In par¬
ticular, since g is identically 1 on Uu and since (da>)\Ul = (Jcu)]^,
u 3
(^)k = 22^ K-i*) dxi A dxh A--- A dxik.
ii<-<lk i = l 0Xi
Thus if d exists, its value at x on &-forms must be given by this formula. Since
x was arbitrary in X, and since every differential form is a sum of &>forms,
k e{0, 1uniqueness is established.
Existence. We first define d locally. Let 95 be a local coordinate system on
X with domain U and coordinate functions (xl5..., xn). (Note that U is itself
a smooth manifold.) Define dv: C°°(£/, ^(£/))—> C°°(£/, @(U)) as follows.
For
123
5: Manifolds
define
Extend dv to C°°(t/, @(U)) by linearity. Then Properties (1) and (2) are
clearly satisfied. To verify (3) and (4), note first that each form in C °°(f/, U))
is a sum of forms of the type ah...ik dxh A • • • A dxik. By linearity of dv,
together with distributivity of exterior multiplication with respect to addition,
it suffices to check (3) and (4) on forms of this type.
Property (3). Suppose
=z r=1
3
Qx , (ahd" aH - ik
3
('fiii—ii)
(n 3 \
2 A dxil A A dxA
V 8
du2p — dL / . av ' A ^Xjj A • • • A
_r = i
z _8_
. Q = dxs
dxs A dxT A dxfl A • • • A dxjfc.
But certainly the terms in this expression with r = 5 are zero, since dxr A dxr
— 0. Moreover, for r ^ s, the equality of mixed partial derivatives on Rn
implies that
so that
_a_ 3 3 3
8xs ~Sxr (ah -0 dxs A dxr = — yyy -yy (aiv..ik) dxT A dxs\
8xr 8xs
thus the remaining terms match up in pairs which cancel each other.
124
5.2: Differential forms
— (du(a)\ t/))| Uv
Clearly, d has the required properties, since dv has them for each U. □
where {eu ..., en} is the basis for T dual to {<?!,..., <pn}.
125
5: Manifolds
Remark. Given an inner product < , > on a finite dimensional vector space
T, there exists a natural isomorphism g:T-^T* defined by
If {eu ..., en} is a basis for T, let gi} = (e{, cy>, (/,;e{l,..n}). Then in
terms of the dual basis {<pl5.. .,<pn} for T*,
n
g(ed = 2 SaVi
1=1
0‘6 {!»•••» «})•
g(e d = 9>i-
Relative to the usual coordinates (xu ..., xn) = (rly..., rn) on Rn,
curl V — (m o d° g)(F).
(3) Let vx and v2 be vectors in R3. Then g(vx) and g(v2) are 1-forms. Their
exterior product is a 2-form; its image under m is a vector, called the cross
product of Vx and v2.
Vx X v2 = m(g(px) A g(v2)).
126
5.2: Differential forms
d o Y* = Y* o d.
Proof
(1) If/e C"(7, A°( 7)), then for v e T(X, x),
[doY*(f)M=[d(foY))(v)
= [df o c/Y](y) (since d on functions is ordinary differential)
= [Y *(df)](v)
= [0^* ° d)(f)](v).
(2) For w a 1-form on 7 of the type oj — df
(d ° Y*)(w) = dQYfdf))
= dQY* o d(f))
= d(d o Y*(/)) (by (1))
= 0,
and
(Y* o d)(co) = Y*(dco) = Y*(ddf) = Y*(0) = 0.
127
5: Manifolds
(3) Using (1) and (2), together with the fact that Y* is an algebra homo¬
morphism, the result is established in general by checking it locally on k-
forms a> restricted to local coordinate neighborhoods:
0 = rf/= 2 fwdx,-,
i=i
that is, (d/dxi)(f) = 0 for all i. But this implies that/ is constant on U. Since
Xis connected, and since/is constant on each connected coordinate neighbor¬
hood in X, then / must be constant on X; that is, Z°(X, d) = [constant
functions on X] ^ R1.
Example 2. H1(S1, d) ^ R1, where S1 is the circle. For since there are no
nonzero £-forms on S1 for k > 1, Z\S\ d) = C00^1, AH-S1)). Moreover,
128
5.2: Differential forms
field on S1 and its dual 1-form dd is a nonzero 1-form on S1 (see Figure 5.4).
Furthermore, dd is not exact (in spite of the notation!)—but, given any 1-form
w — g(9) dd on S1, w — (c dd) is exact for some c e R1. Thus
Exercise. Verify the above facts. Take c = (l/2ir) jl" g(6) dd.
that is,
4>:Hk(Y,d)^Hk(X,d).
129
5: Manifolds
Lemma. Let X be a smooth manifold. Then, for each k, consider the maps
such that hk°d + d°hk_ 1 is the identity map on CX(X, Ak(X)). Then
Hk(X, d) = 0; that is, every closed k-form is exact.
Remark. If a sequence of such linear maps hj is defined for all j > 0, the
sequence h, is called a homotopy operator.
Theorem 3 (Poincare’s lemma). Let U = 50(1) <= Rn, Then Hk(U, d) = 0 for
all k > 0.
hk-i(oj)(x) = ^ tk~lg(tx)dt^p,
where
130
5.2: Differentia] forms
and
Thus,
Since d ° hk^1 + hk° d acts as identity on such a>, it acts by linearity as identity
on all A:-forms. □
Remark 1. The maps hk^1 and hk used in this proof were not just picked
out of the air. They were constructed as follows. Given a vector space T and
v e T, v defines a map i(v): Ak(T*) —> Ak~1(T*) by
Note that z is a bilinear map T 0 Ak(T*) -> Afc_1(r*). This map z* is called
interior multiplication. The map hk_x was obtained by applying i(x) to o> and
averaging over the line through the origin in the direction x.
Remark 2. Theorem 3 is a special case of a more general result. Let U be a
smooth manifold. Suppose there exists a smooth map 'F: U x Ie-> U, where
Ie = [re/?1; —e < r < 1 + e], such that T(u, 1) — u for all ueU, and
0) — u0 for all ue U; some u0e U (see Figure 5.5). Then Hk(U, d) = 0
for all k > 0. The map Y is a smooth homotopy. This theorem says that if U
is smoothly homotopic to a point, then the cohomology of U is that of a point.
In the case covered by Theorem 3, a smooth homotopy is given by
131
5: Manifolds
Note that the above proof of Poincare’s lemma works equally well for a
star-shaped region, that is, an open set U such that for some x0 e U, the line
segment joining x0 to any other point in U lies completely in U.
Proof. Let y0 e ifi(X). Then »/»_ 1(>’o) is a closed set in X. We shall show this
set is also open, hence = X since X is connected.
Suppose x0 e ifj~1(y0)- It is sufficient to find an open set U in X such that
x0e U and U ifi~1(y0). Let V be a coordinate neighborhood of y0> with
coordinate functions (j>l5..., ym). Take U to be any connected coordinate
neighborhood of x0 such that [/<= V). Let (xl5 ...,xn) denote the
coordinate functions in U. Then, for each x e U, the matrix for difi(x) relative
to the bases {3/<?x(} for T(X, x) and {d/dyi} for T(Y, ijj(x)) is
Now, difj = 0 implies (b/dx^iyi ° </>) = 0 on U for all i, j. But this implies that
y{ o ifj is constant on U for all i. Hence yt i/j(x) = yt° ^(x0) for all i and
°
all xe U; that is, </»(x) = t/<(xo) = To for all x e U, and U <=■ i/>-1(y0) as
required. □
132
5.3: Miscellaneous facts
4-,
8 8 8 8
Q 8x( 8xj 8Xj ^ 8xi (/)
Since a(8/8xi)(b) and b^d/dx^a) <= C”(Z, R1), [V, W] is indeed a smooth
vector field.
Remark. The bracket of vector fields has the following properties, each of
which is easily verified.
Property (4) is called the Jacobi identity. These four properties say that
Ca(X, T(X)) is a Lie algebra under bracket multiplication. Note that such an
algebra is non-associative.
Theorem 2. Let a> be a smooth \-form, and let V and W be smooth vector fields
on X. Then
Remark. In some texts, the fraction \ is missing from this formula. This is
due to a slightly different definition of exterior multiplication.
133
5: Manifolds
check it on forms of the type u> = f dg (since every 1-form is locally a sum
2 at dxi). For cu = f dg,
d<Kx0):T(X,x0)->T(Y,,p(x0))
Proof. Let <p2 be a coordinate system about jj{x0) with domain V and co¬
ordinate functions {yx,..., yn). Let <px be a coordinate system about x0 such
that
c > C
<PI
NK
d d 7 —>d d
Figure 5.6
134
5.3: Miscellaneous facts
Now transfer everything to Rn via <px and <p2. Let U = <pfU), F = <p2(F),
and iJ>: U —> Lbe defined by f = <p2 o jj o ^ -1 (see Figure 5.6). Then </<(x) =
OAiCrh • ■ • > W-’f)) for .x e 0, where i/y = o The Jacobian of >p at x0 =
<Pi(x0) is
Applications
(1) The n-sphere Sn is a smooth manifold whose topology is the induced
topology in Rn + 1. For let ifr. Rn+1 -> R1 be defined by
71+ 1
4>(ri,...,rn + 1) = ^ ri2.
i = 1
135
5: Manifolds
Hence
n
For each (i, j), the coefficient of dru in this sum is, up to sign, the determinant
of the cofactor of rtj in (rtj). These cannot all be zero at any point of «/»_1(l)
since det (riy) # 0 at such points. Since {drtj} is a linearly independent set, we
are done.
Note that this unimodular group has dimension n2 — 1.
(3) Let X = Rn2 as in (2). Let Y be the set of all symmetric n x n real
matrices. Y is a manifold, for it can be naturally identified with Rn<-n + 1'>'2:
merely string out in a row the entries on and below the main diagonal. Let
ip: X-> Y be defined by <p(x) — xxl where, for each x e X, xl denotes the
transpose of x. Note that ip is smooth, since each entry of >p(x) is a polynomial
in the entries of x. Let X0 = 0_1( 1). Thus X0 is the group of orthogonal
n x n matrices; that is, X0 is the orthogonal group.
To verify that X0 is a manifold, we must show that dip(x) is surjective for
each x e X0. For this, it suffices to show that dip(e) is surjective, where
e = (8iy) is the identity matrix. For assuming that dip(e) is surjective, let
x e X0. Then the map Rx: XX, defined by Rx(y) = yx (matrix multiplica¬
tion), is a smooth map with a smooth inverse, namely Rx-1, and hence dRx
is everywhere an isomorphism. Moreover, ip ° Rx = <p for all x 6 X0. For if
y e X, then
hence the entries in the matrix for dip(x), where 1 < k, l < n, and 1 < / <
j < n, are
136
5.3: Miscellaneous facts
In particular, the entries in the matrix for dip(e), where 1 < k, l < n, 1 < i <
j < n, are
(* = JX
where / is a nonsingular m x m matrix. Let <p: URn~m x Fbe defined by
P(x) = (Xi(x),..., xn_Jx), <P(x)) (x e U).
Then dp(x0) has matrix
137
5: Manifolds
V ° 'P 1|«t70nUi)-
Figure 5.8
138
5.3: Miscellaneous facts
manifold of Rn + 1, and each of the Lie groups discussed above are sub¬
manifolds of the space of all n x n real (complex in the case of the unitary
group) matrices.
Remark. Note that ip: XY being injective does not imply that dip is
injective at each point. For example, the smooth map <p: R1 R1 defined by
<p(x) = x3 is injective, and yet dip(0) = 0. Note also that (X, ip) being a sub¬
manifold of Y does not imply that tp is a homeomorphism of X onto *p(X)
with the relative topology.
a c
Figure 5.9
t-.X-^KX)
is a homeomorphism. Moreover, for each submanifold obtained by applying
the implicit function theorem, the inclusion map is a homeomorphism.
Proof. Since ip(X) is Hausdorff in the relative topology, the first statement is
proved. □
140
5.3: Miscellaneous facts
Theorem 6. Let W be an open set in Rn, let w0 e W, and let a{ e C°°(W, R1),
(1 < i < ri). Then there exists an open set W0 c W about w0, an interval
( —e, e) c R1, and a smooth map t/>: ( —e, e) x W0-> W such that, for each
w e WQ, 0|( - e,e) x<u,> is a solution of the equations
au ’■ ( ~ e, e) -> X
defined by a fit) = j(t, u) is the unique integral curve: ( — e, e) -> X of V,
with au(0) = u.
Furthermore, the smooth maps if>t: U X, defined for each t e ( — e, e) by
4>t(u) = ijj(t, u), have the properties
(1) iptl + t2 = o O on whenever tx, t2 and / + t2e (-e, e)
(2) i/r_t = on <pt(U) n Ufor each t e ( — s, e).
141
5: Manifolds
Remark. Properties (1) and (2) of Theorem 7 express the fact that ipt is a
local one-parameter group of transformations.
Remark. The previous theorem guarantees the existence locally of integral
curves for vector fields. However, it is not always possible to obtain integral
curves globally; that is, it is not possible in general to find a curve a: R1 -> X
through x0 such that a is an integral curve of a given vector field V. For
example, let X = R2 — {0} and let V = 8/dr^ Then the integral curve of V
through (—1,0) cannot be extended to values of t > 1 (see Figure 5.11).
->
-> ->
4 ->
—> ->
Figure 5.11
However, if X is compact, then every vector field admits through each point
integral curves defined on all of R1.
Remark. In studying the motion of a particle in R3 under the influence of
a force field F, Newton’s law tells us that the path of motion is a curve (xf(0)
such that
d2Xi(t)
m = Ft (1 < i < 3),
~dF~
But (x1; x2, x3. Pi, p2, pf) may be regarded as coordinate functions on the
cotangent bundle of R3. Hence the orbit of the particle is just the projection
onto R3 of the integral curve of a vector field on the cotangent bundle. In
fact, the cotangent bundle is the natural domain for the study of mechanics
on a manifold.
142
5.3: Miscellaneous facts
through x;
through x)
Figure 5.12
return to our starting point. As s -> 0, our end point will trace out a curve
through x0. The bracket [V, W](x0) is precisely the tangent vector to this
curve.
143
5: Manifolds
Figure 5.13
144
5.3: Miscellaneous facts
oj == f q, dx-y A • • ■ A dxn
for some smooth function f0: U -> R1. Since co is never zero, neither is fv.
Thus either f0> 0 everywhere, or/,, < 0 everywhere. Let
145
5: Manifolds
ip(x)
Figure 5.15
Proof of Theorem 10. Given a normal vector field V, consider the n-form p.
defined at points of >p(X) by
p = i(V) drx A • • • A drn + 1.
Let a) = 4>*p. Then o> is a smooth «-form on X. By Theorem 9, it suffices to
show oj is never zero on X. Suppose it were; that is, suppose w(x) = 0 for
some x e X. Then
0 = wOOOi, ...,vn)
= K^(*))(<#(g), • • •, difi(vn))
146
5.3: Miscellaneous facts
for all »n e T(X, x). Now each vector w e T(Rn + 1, 0(*)) is of the form
w = difi(v) + cV(x) for some veT(X, x), (c e R1). Thus, for arbitrary
vectors
we have
All other terms are zero since F(x) appears twice as an argument, and /u, is
skew symmetric. Moreover, the first term vanishes by the above discussion,
and each term of the sum is zero because
Since wl5..., wn e T(Rn + 1, ifj(x)) were arbitrary, this shows that K’KX)) = 0.
But
147
5: Manifolds
continuously along the center line, it would have to point in the opposite
direction after a full circuit.
->-
->-
Figure 5.16
[UeW; 17 n Wx ^ 0]
is a finite set.
Remark. It can be shown that all metric spaces are paracompact. Also,
every regular topological space whose topology has a countable basis is
paracompact.
148
5.3: Miscellaneous facts
[x e X;fv(x) A 0]
is contained in F, and
(3) 'fve'T fv = L
(Note that this sum makes sense since for each x e X,fv(x) = 0 for all but
finitely many V e'Y'.
Theorem 11. Let X be a paracompact manifold. Then, given any open covering
of X, there exists a smooth partition of unity (A’ ST) on X such that Y~ is
a refinement of
149
5: Manifolds
and gv > 0 on U n V since both cpv and <p are members of O'. Thus,
150
5.3: Miscellaneous facts
where (xl5..xn) are the coordinate functions on V. Then define <,) on Xby
O— 2 -/rOy- □
151
5: Manifolds
Figure 5.18
S1 x S1 c i?2 x R2 = R\
152
Homology theory and the
De Rham theory
and H\X, d) = Ker d/Im d. We saw that the dimension of H°(X, d) meas¬
ured the number of connected components of X, and we saw, at least for the
circle X = S1, that the dimension of H\X, d) measured the number of
“holes” in X. We shall now develop similar groups for simplicial complexes.
We shall study a sequence of maps
8 8
Ci-1 Ci cl+1,
where each Ck is an abelian group and where d2 = 0. Then homology groups
Hi will be defined by Hx — ZxIBh where Zx = Ker d: Ct -» C;_x and Bx =
Im 8: C; + i —> Ci. An element of Z; will geometrically be a “chain” of
/-simplices without boundary. An element of Bx will geometrically be a
boundary of a chain of (/ + l)-simplices. The boundary of a 1-simplex
(v0, yx) will be the sum of the 0-simplices v0 and vl with appropriate signs
attached. Similarly, the boundary of a 2-simplex (v0, vlf v2) will be an
appropriate linear combination of its edges (v0, vx), (vx, v2), and (v2, v0).
Definition. Let 5 be an /-simplex, with vertices v0, vlf..., v:. Two orderings
(vH, vj2,..., vu) and (vkl, vk2,..., vkl) of the vertices of j are equivalent if
(k1,...,kl) is an even permutation of (j\,.. This is clearly an
equivalence relation, and for / > 1, it partitions the orderings of v0,..., vx
into two equivalence classes. An oriented simplex is a simplex s together
153
6: Homology theory and the De Rham theory
with a choice of one of these equivalence classes. If v0, vx, ..., vt are the
vertices of 5, the oriented simplex determined by the ordering (v0,..., v,)
will be denoted by <v0, vu ..., v{).
;
0
<V ,Vi> /
Vi
Figure 6.1
some Rm. Orienting s by <t>0, vu ..., is the same as orienting the /-plane
containing s by means of the ordered basis {yx — v0, v2 — v0,..., vt — v0}.
2
s an 1-simplex
»«<J> (”.e S),
where, for each /-simplex s, <s) is some fixed orientation of 5, and where 5
with the opposite orientation is identified with — <5>.
subject to the identifications -gs<>o, vlf..t?,> = gs<pu v0,..., t?,>. (We are
writing the group operation in ^ additively.) In particular, Ct(K, is defined
154
6.1: Simplicial homology
for any field in which case Ci(K, #") is a vector space over whose dimen¬
sion equals the number of /-simplices of K. We shall only be interested in the
cases where ^ constitutes the integers the reals R, the complexes C, or the
integers J2 modulo 2; that is, the group of order 2.
Remark. Note that d<-?> is well defined and that Uyio iTo* v1}.. .,v},..
yJ+1], the union of the faces occurring in S<5>, is the topological boundary of
[si
Examples
Vi Vi
satisfy d2 = 8 ° 8 — 0.
<v0, v±,..., vl + 1y
155
6: Homology theory and the De Rham theory
as follows:
i +1
d(8(v0, ...,vl + 1}) = d 2 (-iyoo,..V),..ui+i>
-i = 0
l+1
= 2 (_1); a^°’ • • •» 0/» • • •» y/+i>
y=o
= 2 (-i)1+/<^o, vl+1y
i<]
= 2 K-!)1^ + (-i)i+5_1K^o,vl+1y
i<J
= 0. □
Definition. Given K and let
Remark. It turns out that the groups Ht(K, @) depend only on the topology
of [AT]. If f: [A][L] is a homeomorphism, then there is induced an
isomorphism
Exercise. Show that the vector space H0(K, R) has dimension equal to the
number of connected components in [A'].
156
6.1: Simplicial homology
»2
Figure 6.3
m3 — mx — 0, mx — m2 = 0, m2 — m3 = 0,
To compute H0(K, J), note that a typical cycle c0 e Z0(K, J) is of the form
m3 - mx = nx,
mx - m2 — n2,
m2 — m3 — n3.
It is easy to check that such a solution exists if and only if nx + n2 + n3 = 0.
Thus
157
6: Homology theory and the De Rham theory
H0(K, J) ~ J.
Moreover, as before,
tf2(tf, JO = 0.
Theorem. Let K be a simplicial complex. For each l with 0 < / < dim K, let
a, denote the number of l-simplices in K. Then
dim K
x(K)= 2 (-!)■“<;
1=0
that is, x(K) is equal to the number of vertices — the number of edges + the
number of 2-faces — • • • .
Proof. For each /, 0 < / < dim K, consider the linear map
158
6.1: Simplicial homology
where C_x is by definition the zero space. Then, by the rank and nullity
theorem of linear algebra,
X(K) = 2 (-l)'ft
1=0
dim K
= 2 (-i)' «!• □
1 = 0
or
ft = 2 - X(K).
Furthermore, ft is always even for such K. It can be shown that any such
surface is homeomorphic to a sphere with a certain number of “handles”
attached; ^ft is just the number of handles (see Figure 6.4).
Figure 6.4
159
6: Homology theory and the De Rham theory
where the map d raised dimension (degree). In order to compare these two
theories, it is convenient to define a simplicial cohomology theory. This is
done by passing to dual spaces.
Let 8*: C\K) -» Cl + 1(K) be the adjoint of the map 8: Cl + 1(K, R) ->
Ci(K, R). Thus 8* is defined by
ZW - [<pGCTO;g*<p = 0],
B\K) = [8*r,cpeCl-\K)],
H\K) = Z\K)/B\K).
160
6.2: De Rham’s theorem
Thus, if RiiX • • • > is a basis for C((X, R) (so that {5l5..., sm} is the set
of all /-simplices of K), then {<p<Sl>,..T<Sm>} is the dual basis for C\K).
Since d* is linear, we need only compute the effect of d* on these generators
<P<s>-
Lemma
where 2' denotes the sum over all vertices v e K such that (y, v0, yl5..., y,)
is an (/ + l)-simplex of K.
(8*<P<s>)«0) = <P<s>(8<t»
But each term of this sum is zero unless, for some j, (vv0,..., w>y,..., wi+1) = (s);
that is, unless (s’) is a face of (t). If (^) is a face of (t), then (t) = (y, v0,..y,)
for some vertex v e K, in which case either
Thus
= ^2 <p<».»o.
161
6: Homology theory and the De Rham theory
u
Figure 6.5
Definition. Let K be a simplicial complex and let vlf...,vm denote the vertices
of K. Suppose x e [!£]. For j e {1,..., m}, the y'th barycentric coordinate
b,(x) of x is defined as follows. If x ^ St(y;), then Z>y(x) = 0; if x e St(yy),
then xe(i) for some simplex s having as a vertex, and bj(x) is equal to
the barycentric coordinate of x in s relative to the vertex Vj.
162
6.2: De Rham’s theorem
Remarks
(1) For s = v a 0-simplex (i.e., a vertex) of K, St(» = St(y), as defined above.
(2) St(s) is an open set in [AT], (This is an elementary consequence of (3).)
(3) If (s') = (vi0,..., vu) and x e [K], then x e St(s) if and only if bu(x) A 0
for all 1 e {0,, /}.
(4) If (s) = (vi0,vh), then
(5) If sx and s are /-simplices of K with s± / s, then [sx] <= [A/] — St(s).
=f+iW =f+1(0) = 0.
Also f(Bl(X, d)) <= B\K), because to = dr (t e Cl~1(X, d)) implies that
f(oj) =f(dr) = e*(/,_1r)elma*.
Thus/; induces
f: H\X, d) = Z\X, d)/B\X, d) -> Z‘(K)/B‘(K) = H\K).
We now proceed to define such a sequence of linear maps
J\ C”(X, A‘(X))-^Cl(K).
163
6: Homology theory and the De Rham theory
oriented /-simplices <s>. To do this, consider the smooth map hs: UX.
Then h*{u>) is a smooth /-form on U, an open set in the plane of [5]; that is,
in an /-dimensional Euclidean space. We define (a»)«5>) to be the integral
of this /-form over <s>:
f («x<j» - f
Jl J <s>
hfn-
In other words, let (rl5..., rt) denote coordinates in the plane of [5] consistent
with the orientation of <.s>; so if <5) = <v0,. let (rl5 ...,/*,) be
coordinates relative to the ordered basis {v1 — v0,..., vt — y0}- Then
hf(aj) — gdrx A • • • A dr,
for some continuous function g on U, and
Claim:
This is just Stokes’s theorem. For given any smooth /-form a> and oriented
(/ + l)-simplex <5),
f ° d(co)]«sy) = f (hs)*(da>)
Jl +1 J<S>
=f J <S>
d(hf(w))
= <«>)(0<s»
= 8*°J, MW-
Thus Jl induces a homomorphism J(: Hl(X, d) H\K).
ji:H\X,d)^H\K)
164
6.2: De Rham’s theorem
(1) d ° a; = ai +1 o d*.
(2) j; o a, = identity.
(3) //" c° denotes the 0-cochain such that c°(v) = 1 for each vertex v in K,
then a0(c°) = 1; that is, a0(c°) is the 0-form equal to the constant
function 1.
(4) If (s ') is an oriented l-simplex of K, then the l-form a,(<p<s>) is identically
zero in a neighborhood of X — St (s).
of X. Let vlt...,vm denote the vertices of X. For each je{ 1,..., m), let
bj denote the yth barycentric coordinate function on [X] = X and let
1
x e X; bj(x) > (n = dim X),
n + 1
Then Fy and Gy are closed sets in X with the following properties (see Figure
6.6).
(1) F, c St (Vj).
(2) X - St (»,) c Gy.
(3) Fj r\ G) = 0 that is, Fy <=■ Gy.
(4) There exists a smooth function fi> 0 such that /y > 0 on Fy, and
/y — 0 on G;. (Fy is a closed set in the compact space X, hence is compact;
thus an /y > 0 can be found which is greater than 0 on Fy and equal to 0
outside the open set Gy => Fy.)
(5) The closed sets Fy cover X. (Given xe X, then x e (5) for some simplex
(5) = (vjo,..., vu) of dimension / < n. Now 6y(x) = 0 for j {j0,.. .,j\} and
2i=obu(x) = 1. Since/ + 1 < n + 1, bfcx) > 1 /(n + 1)for some;eO'0,.
Thus x e Fy for this j.) In particular, for each x e X, /y(x) + 0 for some j.
Furthermore, Gy is an open covering of X.
(6) From (5), 27=i/y > 0, so that gy = /y/2fe=1 A is defined and smooth
on X. Furthermore, {gy} is a smooth partition of unity on X subordinate to
{Gy}; that is, 27= 1 gy = 1, and gy vanishes outside G{. Since G) c St (v,), the
partition of unity {gy} is also subordinate to the open covering {St (uy)}.
Step 2. We shall now define a, in terms of the smooth functions {g,}
defined above. Since a, is to be linear, it suffices to specify the values of a, on
the generators <p<s> of Cl(K). For <s> = <Uy0,..., an oriented /-simplex,
we define a,(9J<s>) to be the /-form
166
6.2: De Rham’s theorem
Claim. If the vertices vk, v,0,..., vu are distinct and yet are not the vertices
of an (/ + l)-simplex of K, then
gk dgio A • • • A dgh = 0.
V=\yeXih,iy) < ~
since those terms on the right-hand side which do not appear on the left are
identically zero; and
2 C-iy
i= 0 kiVo
2 gu dgk A dgj° A • • • A dg]{ A • • • A dgh
l
2 (-!)' 2 Zh dgk A dgio A • • • A dgh A • • • A dgh
i=0 k*Jt
i-v s~rJ,
I
2 (.-tygiti-dgii) A dgio A • • • A dgh A • • • A
1=0
167
6: Homology theory and the De Rham theory
(m \ m
2 ^<«i>) = 2 & =
x=i / r=x
«i(<P<s>) = /! 2
;=l
dgjo A • • ■ A 4?;t A • • • A dgu.
Note that if x e X is such that &;;c(x) < l/(n + 2) for some k e {0,../},
then x e GJk, so that gjk and dgjk, and hence aj(<p<s>), are zero at Thus
ai(9,<s>) is identically zero on
168
6.2: De Rham’s theorem
We must show that this equals 1 if <s> = </>, and 0 if j # t. That this is zero
for 5 # tis a consequence of Property (4) since a,(<p<s>) is identically zero in a
neighborhood of X - St($)=> [f]. So we need only check that J<s) «;(<p<s>) = 1.
For this, let <r> = (vh,. and 5 - fvio, vh,vu). Then
J
f <S>
«i(0*9<r>) =fJ <S>
d[a, _1((p<r>)]
= JL
8(.S>
“«-!(?<'>)•
Butd<» = <r> plus an alternating sum of other oriented (/- l)-simplices, so
L v “l-lfoo) =
J8<s> J<r>
«I-l(?<r>) = 1
by induction. Hence
= “j(<□
J <S>
Remark. That the integral conditions are necessary in (ar) and (br) is a
consequence of Stokes’s theorem. For in (ar), if r exists, then
f --f .
Jd<s> J8<s>
f --f
J<s> J<s>
Proof of Lemma 3. Proof by induction. We shall first verify (a0) and then
establish that
169
6: Homology theory and the De Rham theory
(a0): to is a smooth 0-form; that is, a smooth function defined near [5-fc “1 ];
and dcj — 0. Hence co is constant on the components of its domain. If k > 1,
[s*-1] is connected, so w is a constant function c in a neighborhood of
[jfc-1]. Set t = c in a neighborhood of [5]. If k = 1, then <s> = <v0, vx)
for some pair of vertices v0, v1} and
0 = I co = — co(v0).
Je<s>
Thus the constant value of co near vx equals the constant value of co near u0;
that is, co is constant near [s*-1] as before. Once again, set r equal to this
constant function on a neighborhood of [5].
(ar-i) => (br) : co is a closed r-form (r > 1) defined on an open set con¬
taining [5]. By Poincare’s lemma (Section 5.2), co is exact near [5]; that is,
there exists a smooth (r — l)-form tx defined near [5] such that drx = co
near [5]. (To see that Poincare’s lemma applies here, we need only note that
any open set containing [s] must contain another open set about [5] which is
diffeomorphic (smoothly homeomorphic with a smooth inverse) to an open
ball. In fact, we can choose a star-shaped region containing [5].) Now in
general, rx will not be equal to t near [s'0-1]. Consider the difference — t
near [s*-1]. It is closed since, near [s*-1],
d(Ti — r) — co — co = 0.
Furthermore, if k = {r — 1) + 1 = r, then
= 0 (by hypothesis).
Thus we can apply (ar_x) to the form tx — There exists a smooth closed
r.
(r — l)-form n defined near [5] such that /u. = tx — r near [s*-1]. Let
T' = Ti — v- Then r' is a smooth (r — l)-form defined near [5] such that
t' = t\ — m = T near [ste-1], and dr' = drx - dp = co - 0 = co near [s].
(br) => (ar): <s> = <y0,..., vk} for some choice of vertices v0,..vk; let
<t) = <vx,..., vk}. LetF = [^'c“1] — (t). Since co is closed, Poincare’s lemma
asserts the existence of a smooth (r — l)-form ^ defined near F such that
dfj. = co near F. (F is star-shaped; hence any open set containing F contains
a star-shaped neighborhood U of F) (see Figure 6.7). In particular, d^ = co
near [t*-2].
170
6.2: De Rham’s theorem
If k > 1, we would like to apply (br) to the forms w and /x and the
(k — l)-simplex t. In order to do this we must check if k — 1 = r, then
J<t> w - Jg<{> n = 0. But, letting c = d(s} - <t> so that dc = -0<t>,
f
Jew
F = |
J<t>
« + 1
J u
,
+
3
II
\/d
A
,
= f
Jew
= 0 (by hypothesis).
Applying (br), there exists a form /a' defined near [/] such that n' — /x near
[,tk~2] and d\x = a> near [/]. Let /x2 be the form defined near [s^1] by glueing
together /x and /a' along their common domain, an open set where they agree
(Figure 6.8). Then dfx2 = near [sfc_1], since both fx and /z' have this property
in their domains of definition.
If k = 1, then [s*-1] consists of two vertices v0, vx. Since o> is closed,
Poincare’s lemma guarantees the existence of smooth (r — l)-forms ^ near vt
domain n'
171
6: Homology theory and the De Rham theory
(/ = o,1), with d^i = co. By shrinking domains, we can assume (domain /x0)
and (domain ^i) are disjoint (Figure 6.9). This defines /x2 near [sk x], with
d/c2 — co near [s'0-1] as before.
domain /u i
f (To)«^» = f To = T^).
JO J <v,>
Let cij — c(vj) — To(yy), and define t0 on the ball about v5 by r0 = t'0 +
Then dr0 = dr'0 = <o near [A0], and JQ (r0) — c as required.
172
6.2: De Rham’s theorem
Now assume that rk_1 has been constructed with Properties (l)-(4). To
construct rfc, note that if we can find, for each ^-simplex s, a smooth (/ — 1)-
form rk(s) defined in a neighborhood of [5] such that d(rk(s)) = w near [>],
and Tfc(5) = rk_1 near then glueing will yield a smooth (/ - l)-form
r'k satisfying (l)-(3).
To construct rk(s), we shall apply (b,) of Lemma 3. Note that w is a smooth
closed /-form defined near [5] and that rk_1 is a smooth (/ - l)-form defined
near [s'1'1] such that drk_1 = u> near [s*-1]. Furthermore, if k = /, then
- jfc-i
f Ofc-iXaO)) (by (4) since k — /)
-f J8<s>
Hence we can apply (/?,). There exists a smooth (/ - l)-form rfc(s) near [5]
such that t^) = rk_1 near 0fc-1] and d(rk(s)) = a> near [5].
This constructs r'k satisfying (l)-(3). If k ^ l — 1, set rfc = rk. If k = l — 1,
we have satisfying (1)—(3), and we want rl_1 such that J,_1(Ti-i) = c.
Let cx = c — J,_1 and define in a neighborhood of [A'-1] by
where a;_! is the linear map C'_1(^) -> Ca(X, A!_1(30) defined in Lemma 1.
For each r and each oriented /--simplex <$>, note that ur(cp<s>) is identically
zero on a neighborhood of X — St (,y). In particular, «r(q9<s>) is identically zero
near [Kr_1]. Since each ce Cr(K) is a linear combination of such <p<s>, we
have ar(c) identically zero near [A'r_1] for each r-cochain c.
Applying this first with r — /, then with r = l — 1, we find
near [Kl 2]. Thus r,_x satisfies (l)-(3) with k — l — 1. Property (4) is also
satisfied:
= (c - Cx) + Cx
= c. □
173
6: Homology Theory and the De Rham Theory
y@H'(X,d) =
l
y®{Z\X,d)IB\X,d))^^®(z\X,d) N®B\X,d)\
l 1 \ I l /
174
Intrinsic Riemannian
geometry of surfaces
The notation (m, v) for a point of T(M) {or S'(M)} is redundant since
v e T(M, m). Nevertheless, we use it to emphasize that v is a tangent vector
at m.
Remarks
(1) S(M) is a smooth manifold of dimension 3. The function/: T(M)—> R1,
given by f(m, v) = <[v, v), is smooth, and df ^ 0 whenever f — 1, so the
implicit function theorem applies.
(2) Note that the circle S1 = [z e C; |z| = 1] is a group under (complex)
multiplication. Since eiei-ewz = e*(0i+ea), the group S1 is just the group of
rotations of the oriented plane R2. This group acts on S(M): there exists a
smooth map
A: S1 x S(M)->S(M)
given by
A(g, (m, v)) = (m, gv) (g e S1; (m, v) e S(M)),
where gv is the image of the vector v under rotation by g in the oriented plane
T(M, m) (Figure 7.1). So, if g = ew, and {vl9 v2} is any oriented orthonormal
basis for T(M, m), then v = c1v1 + c2t>2 f°r some cl5 c2 e R1, and
gv = (cx cos 0 — c2 sin 9)v1 + (cx sin 9 + c2 cos 9)v2.
175
7: Intrinsic Riemannian geometry of surfaces
We shall often denote A(g, (m, v)) by g(ni, v). Then g: S(M) -> S(M) is a
smooth map for each g e S1.
(3) If it: S(M) M denotes projection, then -tt_1(m) is just the unit circle
in T(M, m). Moreover, if (m, vx) and (m, v2) are any two elements of 7r_1(m),
then there exists a unique g e S1 such that (m, v2) = g(m, vx). (Take g = ew,
where 6 is the positive angle of rotation from v1 to v2.)
(4) S(M) is locally a product space. For let U be a coordinate neighbor¬
hood in M, with coordinate functions (xl5 x2). Let ex be the vector field
(8/dx1)/\\8/dx1\\, where ||0/cbc1|| = <(S/dxi), (d/dxi)>1/2. Then e1 is a smooth
vector field on U, which is everywhere of length 1. Thus ex defines a smooth
map
Then it is easy to verify that B is smooth, injective, and surjective; and that
dB is everywhere nonsingular so that 2?-1 is also smooth.
(5) It is not true that S(M) is globally a product of S1 with M. If there
exists a smooth nonzero vector field on M, then the above argument shows
that S(M) is diffeomorphic with M x S1. However, there do not exist such
nonzero vector fields in general. (For example, M = S2.)
For M = R2, the notion of translating a tangent vector parallel to itself is
clear. We now propose to generalize it and introduce the concept of parallel
translation of tangent vectors on arbitrary 2-dimensional oriented Riemannian
manifolds. It will turn out that we will be able to parallel translate vectors
along curves from one point to another, but that the result will depend on the
curve. In particular, if we parallel translate around a closed curve, we may not
get back to our original vector. The new vector will differ from the original
vector by a rotation; i.e., by an element of S1. For M = R2, a “flat” space,
this rotation is zero. For arbitrary M, this rotation (or, more precisely, the
limit of it as the curve shrinks to a point m) will measure the “curvature” of
M at m.
We develop this notion of parallel translation in order to obtain an intrinsic
meaning for curvature of the Riemannian manifold M; that is, a meaning
independent of any ambient space in which M may lie. In Chapter 8 we will
interpret this curvature differently when M is a submanifold of R3.
176
7.1: Parallel translation and connections
vx e and vx = gv (geS1),
then the curve ax: [a, b] -> S(M), determined by parallel translating vlf will
be given by
<-7r '[Image a]
Recall that in the theory of covering spaces, each curve had a unique lift
because the fibers p_1(x) were discrete. However, here the fibers 77-_1(m) are
not discrete; they are circles. Hence lifts are not unique. In fact, we do not
even know in which direction to start moving. (There is a whole line of
vectors v e T(S(M), (m, v)) such that cItt(v) = a (a); each of these is a candi¬
date for a(a).) So given m e M and v e T(M, m), we need a way of determining,
for each curve a through m, an initial direction for a; that is, we need a way
of choosing, for each a(a) e T(M, m), a vector a (a) e T(S(M), (m, t>)) such
that dv(a(a)) = d(a). Choosing the vector &(a) is more primitive than finding
the lift a, but it will turn out that when the choice is made at every point of
77-_1(a([fl, 6])), the lift—hence the parallel translate—is determined.
A natural way of uniquely determining such a vector a(a) would be to
require that it lie in a given two-dimensional subspace of T(S(M), (m, v))
that is mapped isomorphically onto T(M, m) by cItt. Such a subspace will be
complementary to the vertical space
177
7: Intrinsic Riemannian geometry of surfaces
Remark. There exists a smooth vector field V on S(M) such that V spans
the vertical space <7tt-1(0) at each point of S(M). It is constructed as follows.
Let d/86 denote the usual unit tangent vector field on S1. Then 8/89 is
invariant under the action of g e S1 on S1; that is,
For (m, v) e S(M), consider the smooth map A1: S1 ->■ S(M) defined by
g) = g(m, v) = (m, gv).
Define (see Figure 7.3)
V(m, v) = dAx
Figure 7.3
178
7.1: Parallel translation and connections
In particular, note that V is smooth and never zero, that drr( V) = 0, and that
dh{V) = V for each h e S1.
be the projection map. For t e T(S(M), (m, v)), set cp(t) = A, where A is
the real number such that q(t) = A V(m, v).
t = XV + tx (A eR; LeJf),
and
(g*9>)(0 = ° dg(t)
= g>(A dg(V) + dg(tf))
= A
= <p(0-
Lemma. Suppose <p is any smooth \-form on S(M) such that ifj(V) = 1 and
g*f = ip. Then 3^ = <A_1(0) is a connection on S(M) with the property that
its connection l-form is tp.
Proof. For each (m,v)eS(M), <p(m, v): T(S(M), (m, v)) -> R is a linear
functional. Since dim T(S(M), (m, v)) = 3, 0_1(0) has dimension 2. V^ <A_1(0),
so <A_1(0) is a complement to the vertical space. dg(tp~1(0)) = j/» _ 1(0) because
g* <A = D
179
7: Intrinsic Riemannian geometry of surfaces
For me M, let
■u
Figure 7.4
In terms of the product representation 7r_1(f/) = U x S'1 given by c,
m, u) is just the tangent space at (m, t>) to the submanifold U x {r>} (Figure
7.4). More precisely, letting B: U x S'1 7r-1(t/) be the isomorphism de¬
fined by B(m, g) = gc(m) = (m, ge^m)),
v) = dB(T(U x {g}, (m, g))),
where g e S1 is such that gex(m) = v. The 1-form 9^ of this connection is
<Pi = (B-')*(d9),
wherep: U x S'1 -* S'1 is projection, dd is the 1-form on S1 dual to d/86, and
de = P*(dd).
Note that dcpr — 0 for this special connection, for
dcPl = </[(£-x)* o p*(d0)] = d[(p o I?_1)*(c/0)]
= (p o B~1)*(d(d9)) = 0.
180
7.1: Parallel translation and connections
Lemma 1. Let ^ and 2T2 be two connections on S(M) with connection \-forms
9>! and <p2. Then
Also, t(v) is independent of the point {m, vf) chosen in 77_1(m) because if
(m, v2) e 77_1(m),
then v2 — gvx for some g e S1. Moreover, if w e T(S(M), (m, vf) satisfies
dn(w) = v, then dg{w) e T{S{M), (m, v2)) satisfies dn(dg(w)) = v, and
0|(.n,v2)(dg{w)) = i/j\g(m,vo(dg(w))
= = *P\
t is smooth because in a coordinate neighborhood U, r{v) = i/> ° dc{v), where
c: U->tt-\U)
is defined by c(m) = (m, ^(m)). □
181
7: Intrinsic Riemannian geometry of surfaces
Figure 7.6
182
7.1: Parallel translation and connections
iiO = ip ° 0)(t)
.(to) = = f• a
Proof of the Theorem. Note that it suffices to prove the theorem for a
smooth curve a. For then we can uniquely lift each smooth portion of any
broken curve.
Local existence. Let U be a coordinate neighborhood in M. We shall
show the existence of unique horizontal lifts in 7r_1(t/) — S(U). Let c: £/ ->
S(U) be as usual: c(m) — (m, ex{m)) for me U. We shall first show that if 3^
is the special connection ^ on 7t-1((7), constructed via the product structure,
then a has a unique horizontal lift 5X such that a^a) = c(a(a)). Indeed, let
5X: [a, b] —> 77-_1(t/) be defined by 5X = c ° a. Then 77°51 = 77-°c°a = a
and ai(t) = dc{a{t)) e <?f[(c(t)), so 5X is a horizontal lift. Moreover, a± is the
unique J^-horizontal lift such that
«i id) = c(a{a)).
For if a2 were another such lift, then, by Lemma 2,
52(t) = e'°«\it)
for some smooth function 9 with 0(a) = 0; and <Pi(a2(0) = d9/dt, where <px
is the connection 1-form of Now 52 is ^-horizontal if and only if
183
7: Intrinsic Riemannian geometry of surfaces
<Pi(«2(0) = 0; that is, dd/dt = 0. Hence 0(0 must be constant. Since 6(a) = 0,
6(t) = 0; that is, d2(t) = ax(t) for all t; that is, «2 = dx.
Thus a admits a unique ^-horizontal lift ax with dx(a) = c(a(a)). Now
consider our original connection with connection 1-form <p. Then, by
Lemma 1,
<px — (p = 77*T
for some smooth 1-form t on [/. Let & be any curve in n~1(U) such that
■n o a — a. Then, by Lemma 2, 5(0 = eJ0(t)al(t) and 93i(d(0) = dd/dt. Thus a
is an Jf-horizontal lift of a if and only if cp(d(t)) = 0; that is, if and only if
For each unit vector v in T(U, a(a)), there is precisely one d0 with 0 < d0 < 2-u
and (a(a), v) = eie°(a.(a), ex). The above formula, with this value of d0, then
gives the unique ^-horizontal lift a with d(a) = (a(a), v).
Global existence. To establish global existence, let a: [a, b] -> M and let
t0 = sup [t e [a, b]; a|[aj6} has a (unique) lift a].
We shall show that t0 = b. Suppose t0 + b. Then consider the restriction of
a to the interval [/0 — e, t0 + e]. By local existence, this has a unique lift 5
for some sufficiently small e > 0, say with a(t0) = (a(L>X w) e S(M). Then
a(t0 — e) = ga(t0 — e) for some g e S1, and ga is a horizontal lift with
ga(t0 — e) = a(t0 — e). By uniqueness, ga = d on the interval [t0 — e, t0).
Hence ga extends a beyond t0, contradicting the definition of t0. □
184
7.2: Structural equations and curvature
Remark 1. Thus o>x(t) and uj2(t) are the components of d-n(t) relative to
the orthonormal basis {v, iv} for T(M, m); that is,
Proof. Since dim T*(S(M), (nr, v)) = 3, it suffices to show that there exists
no nonzero t e T(S(M), (m, v)) that is simultaneously annihilated by these
three forms—for then these forms are linearly independent. But if w1(t) =
o»a(0 = 0, then = 0, so tis vertical; that is, / = XVfor some A. Further¬
more, if <p(t) = 0, then A = <p(AF) = <p(t) = 0, so t = 0. □
Similarly,
g*cD2(t) = —(sin 9)qji(t) + (cos 9)oj2(t). □
g*(co1 A co2) = g*CD1 A g*co2 = (cos2 9 + sin2 9)u)x A C02 = u)x A C02.
that is, for vx, v2 e T(M, m), vol (vx, v2) - A <^>2|(m,u)(^i, *4) f°r anY
(m, y) e v~1(m) <= 5(M) and i?i, i4 g T(S(M), (m, v))
185
7: Intrinsic Riemannian geometry of surfaces
Now let a>i = TT*a)'t (i = 1,2). Then wj and d>2 are smooth 1-forms on
tt~\U) ^ S(M) and
<jjx A d>2 = TT*0>\ A 77*CU2 = TT*(a>'x A Cl>2) = 7T*(V0l) = A 0>2.
teT(S(M),(m, ej),
then
wi(Oei + w2(O0’^i) =
= w’x(d'TT(t))e1 + oj’2(dTr{t ))(iex)
= 6>i(t)ex + a>2(t)(iex).
Note further that, for g — ew e S1,
g*&i — g* o TT*(X)\ = (jt o g)*COj = = d>i.
Similarly,
In particular, the above formulae show that a>x and co2 are smooth.
Remark 6. For higher dimensional Riemannian manifolds, the volume
element is obtained similarly. If U is a coordinate neighborhood in the
oriented Riemannian manifold M, with coordinate functions (jcl5..., x„)
186
7.2: Structural equations and curvature
such that dxx A • • • A dxn gives the orientation of U, consider the vector
fields 8/8xx, ..., 8/8xn. Using the Gram-Schmidt orthogonalization process,
we obtain smooth vector fields ex,..., en on U which form an orthonormal
basis for the tangent space at each point. Let a/1;..., u'n be the dual 1-forms.
Then the n-form vol| v = o>i A • • • A wj, is independent of the (oriented)
coordinate system on U and thus defines a global nonzero «-form vol.
Given an oriented Riemannian 2-manifold M and a connection on S{M)
with connection 1-form <p, the 1-forms cp, wx, o»2 form a basis for the cotangent
space at each point of S(M). Hence the 2-forms oq a o>2, a>x a cp, o>2 a <p
form a basis for the 2-forms at each point of S(M). Hence dcp, dcox, dw2 can
be expressed in terms of this basis. The resulting formulae are called the
Cartan structural equations. We now derive them, beginning with the second
structural equation.
Second structural equation. On for a coordinate neighborhood U,
let <px denote the connection 1-form of the special connection JFX. Then
dcpx — 0 so that
or
dcp = — (K ° 77)aq A a>2.
If is the special connection ^ on tr_1(C7), then <px = d9, thus for this
special connection,
187
7: Intrinsic Riemannian geometry of surfaces
= flwl + f2u>2
for some smooth functions fx,f2 on 7t_1({7), since oh, o>2 span the same
space at each point as a>l5 a>2. Thus
where /j1} h2 are smooth functions on S(M). Note that although these
equations were derived over a coordinate neighborhood, they are independent
of coordinates. Thus they are valid globally.
Although one might expect that by choosing an appropriate connection <p
on S(M), the coefficients of d<x>{ relative to the basis {93 A o^, <p a o>2, a*! a co2}
could be prescribed fairly arbitrarily, this is not the case. In fact, dw1 never
has a component in the <p A <a1 direction, and d<o2 never has a component
in the <p A oj2 direction. Moreover, the components of duj1 and du>2 in the
<p a w2 and <p A co1 directions, respectively, must always be +1 and —1.
It is natural to ask whether the first structural equations can be made
simpler by an appropriate choice of connection on S(M). In particular, can
cp be chosen such that hx = 0 and h2 = 0? The answer is yes, and the choice
is unique.
188
7.2: Structural equations and curvature
Proof. Let <p be any connection on S(M). If if> is any other connection on
S(M), then, as above,
for some x1 and x2. Solving for cp and substituting in the first structural
equations for cp, we obtain
Thus
if and only if x1 = —hx, x2 = —h2. This gives both existence and unique¬
ness. □
so E^m, v) is the unique horizontal vector at (m, v) whose image under d-n is
v. Similarly, dTr(E2(m, v)) = iv. The structural equations then become
[K Ex\ = e2,
[V,E2] =-Elt
[Eu E2\ = (Ko tt)V - hxEx - h2E2.
[Ei,E2] = (K on)V.
189
7: Intrinsic Riemannian geometry of surfaces
[Ex,E2\ = (Kott)V.
But [Eu E2](m, v) is just the tangent vector to the curve through (m, v)
obtained by following the integral curves of E1 and E2 forward and then
backward through parameter distances of Vs (Figure 7.7; see Section 5.3).
190
7.3: Interpretation of curvature
(m,gv) -^
(m,v)
tt 1(m)
Figure 7.9
Remark. Note that this result contains the result discussed above. To
obtain K{m), take the limit of J<s> h*(K vol)/J<s> h*(vol) as <s> shrinks to
zero and A«j)) shrinks to m. However, the theorem says more. For example,
it is possible to have K > 0 on /?([s]) and still get a trivial rotation upon
parallel translating around a, namely when the total angle of rotation
J<s> h*(K vol) is an integer multiple of 2tt.
Proof of Theorem 1. Let <s> = fv0, vu vf) for some vertices v0, vu v2, and
let vv0 e T(M, h(v0)) be a unit vector. The lines in [s] through vx cover [5];
their images under h are curves in M which cover /j([s]). Let h\ [5] —> S(M)
be obtained by mapping each of these curves into its horizontal lift in S(M)
through
(/*0h), wx) e S(M),
191
7: Intrinsic Riemannian geometry of surfaces
0 Oi),wi)
= -fJ <s>
d(h\)
- -LAS{*))*
192
7.3: Interpretation of curvature
(h(vi),wt)
(h(v0),w o)
Figure 7.11
j?(0 = e</(t)a(t).
But a is the horizontal lift of a, so that a(v0) is the parallel translate of w0
around a. On the other hand, /?(v0) = vv0. Hence eif(vo) is just the rotation
mapping the parallel translate of w0 around a into vv0; that is, e~if(vo) rotates
vv0 into its parallel translate around a. By the second statement of Lemma 2,
Section 7.1,
for t e <v2, v0}. Moreover, <p{d$(djdt)) = 0 on <v0, vx) and (vx, v2) since £ is
horizontal there. Thus since d<s> = (v0, vx)> + <pl5 v2) + <v2, t>0>,
= ~f(v 0)
= the angle of rotation from w0 to its parallel
translate around a. □
193
7: Intrinsic Riemannian geometry of surfaces
Definitions. Let a: [a, b]-+ M be a smooth curve. The length 1(a) of a is the
real number
/(«) = KOIdL
The arc length along a is the function s: [a, b] -> R given by
Remark. Given any curve a: [a, b] M with ||a(0|| ^ 0 for all t e [a, b],
a new curve a1: [0, /(a)] -> M, parameterized by arc length, is obtained by
setting
ax = a ° S _1.
Remark. The concept of arc length extends to broken C00 curves a since
||«(/) || is defined at all but a finite number of points.
194
7.3: Interpretation of curvature
where / is an integer.
195
7: Intrinsic Riemannian geometry of surfaces
This is independent of the partition of unity used, for if {Vk, gk} is another
such partition, then
X = »0 - «i + n2
= n0 - (3m2/2) + n2
-no - (n2/2).
196
7.3: Interpretation of curvature
K vol
277 Jm
“sj?L**(jcvo1)
= 2“ 2 + 2 0nteri°r angles of /t[s]) — 77 j
But Sc = 0, and 2s (2 interior angles of h[s]) equals the sum over all vertices
v in M of the sum of the interior angles at v of all 2-simplices with v as a
vertex. Taking a coordinate neighborhood of V contained in St (c), we see
that for each v, the sum of these interior angles at v is exactly 2tt (Figure 7.13).
Hence
= ^ (277«0 — n2v)
2tt
= »o - J = x(M). □
Remark. Note that this theorem holds for any connection on S(M), since
only the second structural equation was used in the proof.
197
7: Intrinsic Riemannian geometry of surfaces
Proof. Let X be such a vector field and let Y = Ar/||A'’||. Then Y is smooth,
and || Y(m) || = 1 for all me M, so Y is a smooth map M -> S(M). On S(M),
df = — A w2 = — 7r*(AT vol).
Hence
= -(770 7)*(/:voi)
= — K vol,
is well defined and is smooth. Since for each g e S1, the curve t -> p,(t, g) in
S(M) is horizontal with tangent vector Elf the curve t —> 7T o p(t,g) is a
geodesic starting at m0 with tangent vector dfiEfmo, gv0)) = gv0 at m0 (see
Figure 7.14).
Let De denote the open disc of radius e about the origin in R2, and let
P: [0, e) x S1 De (P for polar map) be given by
P(t, g) = tg.
[0, e) x S1 S(M)
Db -> M
198
7.4: Geodesic coordinate systems
Exercise. Verify that this map G is smooth and that dG(0) is an isomorphism,
so that G maps De diffeomorphically onto an open set of M for e sufficiently
small. (Note that G(0) = m0 and that G maps radial straight lines in De into
geodesics through m0; see Figure 7.15.)
Remark. Let d/dr and d/dd denote the natural vector fields on (0, e) x S1.
Then dP{d/dr) and dP(d/dd) are the tangent vectors to the polar coordinate
curves in De — {0}. Note that dP(d/dd) can be smoothly extended to De by
setting dP(d/dd)\0 = 0. The following lemma asserts that these orthogonal
vector fields dP(d/dr) and dP(d/dd) are mapped by geodesic coordinate systems
into orthogonal vector fields; that is, that the orthogonal curves r — constant
199
7: Intrinsic Riemannian geometry of surfaces
Thus
<{da°dp{^)’da°dp{re)y=° ^
0 = ^<v,(|4)
_0 _0
= 1/1 '
2 \0r 0? 00 }•
But
«,i(£i) = 1,
0_
= 0,
dr
200
7.4: Geodesic coordinate systems
"•‘"’(I>)>
Thus
d{dr, b() |
so that
d(n*oj2)
= i/l
2 \dr
0x*W2) G**<*>a) - -Ill
dr' dd\I)
18_
(/x*cu2)
~ 2 8r
since
(M*w2)^lj = w2 = "2(^1) = 0
201
7: Intrinsic Riemannian geometry of surfaces
a r / a \i „ * d\
dr = ^(sej-
Thus,
\0r’ 00/
1
= (K ° IT ° fl)
1
= -^(KoGoP)(h*W2)
(»«)’
as before. Finally,
d_
= i/i
2 \dr ^(A) 86 y»(A)] - A])
- 1JL
2 dr ^(A)
since
_0 _0'
0**«(|:) = = «£i) = 0 and = 0.
dr’ 86
Thus
a r / a \l / a \.
= -(KoGoP)(^2)If
dr L
<^y
\ / J yC/(7/
Differentiating the first boxed equation above and substituting into the
second, we obtain
o>*(V) = 0,
= “’HA)) r=0
=
202
7.4: Geodesic coordinate systems
r=0
0 (*(£)) r=0
KV) = i.
In particular, (/a*o>2)(5/d0) > 0 (at least for small values of r), and so
(n*w2)(d/dd) is indeed equal to the length of dG ° dP(d/d9).
Thus we have shown the following theorem.
d2f
■jp; + (K o Go P)f = 0 (Jacobi's equation)
for some g0 e S1. Let p’:DE — {0} -> De be the map which rotates each point
of De onto the radial line through g0; that is, p' is defined by p'(rg) = rg0.
Figure 7.16
203
7: Intrinsic Riemannian geometry of surfaces
= =
"•"(I)
= = ||<«?(0)I = 0.
It follows that the magnitude of dp(v) equals the magnitude of the orthogonal
projection of v onto dG ° dP(8j8r), which is less than or equal to ||u||.
Figure 7.17
Now let ft [a, ft —s- M be any broken C ” curve from m0 to a(e). Let
Then p(c) $ U, but p(t) e U for all t < c. Let ft = j8|[a>cj (Figure 7.17). Then
l(Pi) < l(P). Now consider the curve p ° ft: [a, ft M. Then
= Ja II““/(Oil dt
=£ K/tO)ll/'(OI *
a J' IK/M)II/'W * = £ IKt)|| dr
= ^(a|[0.s])- □
204
7.4: Geodesic coordinate systems
Then
p(pii, mz) < l(a) + l(fi) < p(tnu m2) + p{m2, m3) + e.
The remaining requirement p(mx, m2) = 0 o mx = m2 for a metric is also
satisfied because if mx ^ m2, let G: De —>■ M be a geodesic coordinate
system about mx not containing m2. Then every curve from mx to m2 has
length at least e, so p(mx, m2) > e.
The two topologies on M agree because for each m0 e M, there exists
e0(m0) > 0 and a geodesic coordinate system G : Deo(mo)-+M about m0. Then
G(De) = Bmo(e) for all e < e0(m0). □
205
7: Intrinsic Riemannian geometry of surfaces
p + (K,. G, . P)f, - 0,
Figure 7.18
Corollary. If M has constant curvature K, then given any pair ml5 m2 of points
in M and ul5 v2 of unit tangent vectors (vt e T(M, mf), there exists an
isometry <J> mapping a neighborhood of m1 onto a neighborhood of m2 such
that <!>(/«!) = m2 and JO0x) = v2.
206
7.5: Isometries and spaces of constant curvature
and if r is any 2-form giving the orientation of M2, then f*r gives the orienta¬
tion of Mx. Note that since / preserves the Riemannian structure and the
orientation,/preserves everything defined in terms of these; for example, the
curvature, the Riemannian connection, and the parallel translation. Five
explicit statements follow.
This map is smooth and has a smooth inverse, namely/_1 = f~1. Note that
ti-2 °/ = f° ”1-
ni w2
Y
f Y
Mx —> M2
v)) = gf(mx, v)
for all (mx, v) e S(MX) and g e S1; that is, f° g = g °f for each g e S1.
(2) / preserves the forms a>x, w2 and </< the 1-form of the Riemannian
connection). For, if t e T(S(MX), (mx, v)), then
<J*o>xM>)(t) = a>xM<dftt))
= <df(v), dn2(df(t))y
= <df(v), df(drrx{t))y
= <», dirx{t)y
= a*-1(0;
207
7: Intrinsic Riemannian geometry of surfaces
that is.
f*a>1M2 . cu1Mi.
Similarly,
f*OJ2M2 — a>2Ml.
To check that the connection is preserved, we use the uniqueness of the
Riemannian connection. Note that f*ifj is a connection form on S(MX) since
M2
da)2M2 = A cv1M 2,
so that
= (/VM2) A C2M1,
= -(Z*^2) A «XM1.
Thus the connection form f*4>M2 satisfies the simplified form of the structural
equations. By uniqueness,
7*^2 = lfjM 1.
hence
O 77-1 = XM2 °f T,
01 1
that is,
208
7.5: Isometries and spaces of constant curvature
/o a =/o a,
where a is the horizontal lift of a through (a(a), v). The reason is that
Proof. Let m0 e M. Then for any me M, there exists he 34k such that
h(m0) = m. Thus K(m0) = (h*K)(m0) = K(h(m0)) = K(m). □
Definition. Let 34k denote the group of isometries of M. For m0 e M, let 3fmo
denote the subgroup of 3%* leaving m0 fixed; that is,
•^mo = [heJf; h(m0) = m0].
34kmQ is called the isotropy group of M at m0.
Remark. Note that for k e JTmo, dk: T(M, m0) T(M, m0) is an orienta¬
tion-preserving isometry; that is, dk is a rotation of T(M, m0). Thus for each
k e Jfmo, there exists g e S1 such that dk{v) = gv for all v e T(M, m0). More¬
over, since d{kx ° k2) = dkx ° dk2, the map O: Jf~mo -> 51 defined by k ->
dk(m0) is a homomorphism.
209
7: Intrinsic Riemannian geometry of surfaces
Proof. Suppose h e JF. By transitivity of JFX, there exists h1 e JF1 such that
h\h{mjj) = m0.
Since ® is injective (by the lemma), k1 = hxh; that is, h = k1{hx)~x eJFx.
Thus FF c FFX\ that is, FF = #FX. □
210
7.5: Isometries and spaces of constant curvature
Example 1. Consider the plane R2 with the usual Riemannian structure. Since
\\d/8fi\\ = 1, the map c: R2 -> S(R2) given by c(m) = (m, ex) = (m, (d/drj)
is globally defined, so the special connection is defined on all of S(R2).
Moreover, ex = d/dr1 and iex = d/dr2, so a>'x = drx and w2 = dr2. Thus, by
Remark 5, Section 7.2,
wx = (cos 9)d>x + (sin d)u>2
= (cos 6)v* drx + (sin 6)ir* dr2.
Similarly,
u>2 = — (sin 9)it* drx + (cos 0)t7* dr2.
= <Pi A o)2,
and, similarly,
du>2 = — A
Thus the structural equations are in the simplified form, and, by uniqueness,
the special connection on S(R2) is the Riemannian connection. Moreover, as
we have seen for the special connection, d<px = 0, so the curvature K of R2 is
identically zero.
Clearly, each translation and each rotation of R2 is an isometry. Let be
the group generated by rotations and translations of R2. Then J^1 is transitive
(in fact, the group of translations is transitive), and d>: JTq1 S1 is surjective
(Jfo1 the group of rotations about 0 in R2); so, by Theorem 2, Jt?1 is the full
group of isometries of R2.
For m0 e R2, Jfmo is the group of rotations of R2 about m0. Since the orbits
of Jfmo are circles about m0, the geodesics through m0 are straight lines by
Theorem 3.
Example 2. Let S2 denote the sphere of radius r about the origin in R3, with
the induced Riemannian structure. Note that the group of rotations about
the origin in R3 is a group of isometries of S'2. It is the full group of isometries
of S2 by Theorem 2. Since Jf? is transitive on S2, the curvature K of S2 is
constant by Theorem 1. By the Gauss-Bonnet theorem,
2;J>vol = xOT = 2;
211
7: Intrinsic Riemannian geometry of surfaces
that is,
Kvol(S2) = 4„, = ^ = i
The geodesics through min S2 are the orthogonal trajectories of the orbits of
the group of rotations of R3 that leave m fixed. These orbits are circles about
m, so the geodesics through m are the great circles through m (Figure 7.20).
where v1-v2 denotes the usual inner product (dot product) on T(D, p) and p
is the complex conjugate of p, so that pp = r2, where r is the Euclidean
distance from p to the origin. Thus,
8 8 1
8rx p 8r2 p " 1 ~ PP
and <(3/3^), (3/3r2)) = 0. Note that the radial lines in D through the origin
have infinite length. For, if a: [0, 1) -a- D is given by a(t) = teiB for some 9,
then
Let
212
7.5: Isometries and spaces of constant curvature
Since vectors at z which are unit vectors in the Poincare metric have Euclidean
length 1 - zz, this implies that df{z) is a rotation which maps unit vectors
(in the Poincare metric) into unit vectors; that is, df(z) is an isometry for each
z, so/: D -> D is an isometry.
Thus % is a group of isometries of D. % is transitive because, for p e D,
(z ~ P)
fp-z
(1 - zp)
maps p onto the origin, hence for each pair py, p2 e D, /P2_1 °/Pl maps
Pi onto p2. Moreover, the isotropy subgroup of # at the origin is given by
that is, is the group of rotations in R2. Hence d>: Jf0 S1 is surjective,
so, by Theorem 2, ^ is the full group of isometries of D. In particular, since
is transitive, the curvature K of D is constant by Theorem 1.
Since the isotropy group JT0 at 0 is the rotation group, whose orbits are
circles about 0, Theorem 3 tells us that the geodesics through 0 are the radial
lines (suitably parameterized). Since isometries map geodesics into geodesics,
and since the image of a radial straight line under a conformal transformation
of D is either a radial straight line or a circle which meets the boundary of D
at right angles, we see (Figure 7.21) that such lines and circles are the geodesics
Figure 7.21
213
7: Intrinsic Riemannian geometry of surfaces
Exercise. Find the constant value of K. [Hint : K can be found either by com¬
puting the area of a geodesic triangle and applying the Gauss-Bonnet theorem or
by use of Jacobi’s equation.]
Figure 7.22
Table 7.1
Group theory
Riemannian (group of Complex Elementary
Space geometry isometries) variables geometry
214
7.5: Isometries and spaces of constant curvature
Relative to the last column in particular, these three examples are the only
“elementary” geometries. Under the replacements points —>points, straight
lines -> geodesics, length -> arc length, angles —> angles, and congruence ->
isometry, most of the axioms for Euclidean geometry are satisfied by these
examples. The most noteworthy exception is that Euclid’s fifth postulate, the
parallel postulate, fails to hold on D: given a “straight line” / and a pointp
not on /, there are infinitely many “straight lines” through p which never
meet / (see Figure 7.23).
215
8 Imbedded manifolds in R3
Definition. Given (M,f), the spherical map on M is the map 5: M^-S2 defined
as follows. For me M, let s(m) e T(R3, f(m)) be the unit vector perpen¬
dicular to df(T(M, m)) that is consistent with the orientations of T(M, m)
and T(R3, f(m)); that is, if v is a unit vector in T(M, m), then s(m) is the
(unique) unit vector in T(R3, firrij) such that {df(v), df(iv), s(m)} is an
oriented orthonormal basis for T(R3, f(m)). Identifying T(R3,f(m)) with
R3 in the usual way, we may regard s(m) as a point in S2. (Figure 8.1).
s(m) s(m)
Figure 8.1
216
8: Imbedded manifolds in R3
the usual identification of the tangent spaces to R3 with R3, we shall identify
T(M, m) and T(S2, s(m)). Then
so Gfc(m) is a linear transformation from T(M, m) into itself. The main result
of this chapter is the theorem of Gauss: The curvature K(m) of M at m is
equal to the determinant of ds(m). In fact. Gauss originally defined K (for
imbedded manifolds) to be this determinant, and he was surprised to discover
that K was in fact intrinsic; that is, K depends only on the Riemannian
structure on M and not on the particular imbedding /.
Let us first note what manifolds in R3 look like in local coordinates in
terms of the spherical map. For/: M R3, letf = r} °/(y = 1,2, 3), so that
for all m e M. Here rf are the coordinate functions on R3. Let p.\ UM be
a smooth injective map from an open set U <= R2 onto an open set in M such
that /x_1 is smooth, and such that if r is a 2-form on M which gives the
orientation of M, then /x*r is a positive multiple of drx A dr2. Thus /x_1 is
an oriented coordinate system on /x(£/). Let xt = r, ° /x_1 (i = 1,2) denote
the coordinate functions on /j-(U). Then d/cbq = d^{8j8rb) and
8_ g(A ° /-0 g
df = d(fo n) (i = 1, 2),
dx i (D -1 dri 8rk
so that the matrix for df, relative to the bases {d/Sx(} for T{M, m) and {d/drj}
for T(R3, f(ni)), is
\ a/-! Sr2
/x(t7) is then given t
_ df(8/dXl) x dfiojdxf
Sm \\df(8J8xi) x df(8/8x2)\\
1 l d(/i ° I1) a(/2 0 f) Z(f3 0 /x) \ v j 8{f1 o /x) 8{f2 o /x) b(f3 o /x)^ ^
“a\ a/-x ’ ’ ar, / \ ar2 ’ ar2 ’ ar2 J
217
8: Imbedded manifolds in R3
rz
maps T(M, m0) isomorphically onto T(R2, 0). By the inverse function theo¬
rem, there exists a neighborhood U of 0 in R2 such that (p °/)_1 is defined
and is smooth on U. Let p = (p of)-1: UM. Then p-1 is a local coordi¬
nate system about m0. Moreover, since p of o p = iUf
\ 8g_ ?g_ I
\ drx dr 2 )
218
8: Imbedded manifolds in R3
that is.
8g_
dr i
*')■
where a = V(8g/8rx)2 + (8gj8r2f + 1. Note that at m0 = ^(0), s(mQ) _L
df(T(M, m0)) = i?2 implies that (dg/d/qXO) = (8g/8r2)(0) = 0 and a(0) = 1.
Now under our identification of T(M, m0) with df(T{M, ra0)), (8/8xi)(m0)
becomes identified with (8/8ri)(0) (z = 1, 2), so that the entries b{j for the
matrix for
bn = < ds ±\°\
8x i 1 8x
=
aF,(r’ °" ^
Thus
8 ( 1 5g\ 1 8a 8g 1 82g d2g
=
8r1 \ a 8rJ 0 a2 8r1 8r1 o a 8rx2 '8ri2
and, similarly,
S2g
*12 — — *21?
*/*i 8r2
*2g
*22 _ er22
that is,
a2g 82g
dzy fiz-! dr2 dzq
ds(m0)
a2g *2g
d/q 8r2 8r2 dr2 / 0
In particular, assuming Gauss’s theorem (which still remains to be proved)
that K is the determinant of ds, we obtain a qualitative description of the
219
8: Imbedded manifolds in R3
behavior of f(M) near the point f(m0) under various assumptions on the
curvature K(m0). For from the critical point theory of functions of two
variables, we know that the function g will have a maximum at the critical
point 0, provided that the eigenvalues of the matrix
are both negative and that g will have a minimum if the eigenvalues are both
positive. Thus if K(m0) > 0, then near 0, f(M) lies either completely above
or completely below the i?2-plane. On the other hand, if K(m0) < 0, then
ds(m0) has one positive and one negative eigenvalue, and g has a saddle point
at 0. If K(m0) = 0, the behavior of /(M) near 0 is undetermined (see Figure
8.3).
In order to prove Gauss’s theorem, we need an explicit description of the
local geometry of imbedded manifolds.
K(mo) < 0
Figure 8.3
220
8: Imbedded manifolds in R3
Theorem 1. Let (A/,/) be an oriented 2-manifold in R3. Let ex, e2: S(M) -> R3
be defined by
efm, v) = df(v),
efm, v) = df(iv).
= (dex, ef)\
that is, for (m, v) e S(M) and t e T(S(M), (m, v)), deft) e T(R3, efm, v))
= R3, and
Proof
Invariance. For g = eiB e S1,
so
Thus
so that fidex, ef) = (de2, e2> = 0, and <el5 def> = -{dex, e2y. Hence
221
8: Imbedded manifolds in R3
Hence
But
so that
and
>KV{m, v)) = 1.
"i(0 = <dn(t), v> = (df° dir(t), df(v)y = (d(f° rr)(t), ex(m, v)\
so
But
since ex{m, v) and e2(m, v) form an orthonormal basis for df(T(M, m)) for
each (m, v) e S(M). Thus
d(f°v) = + <o2e2,
222
8: Imbedded manifolds in R3
dw1 - —(wiei + oj2e2, del) — — a>2 A (e2, dexy = — co2 a */> = */» A oj2,
dw2 — —(u>1e1 + w2e2, de2y = —wx a (ex, de2y = a)1 a = — </» A a>1. □
Let ojx, a>2 and if/ be the structural 1-forms on S(M), and let o>l5 a>2, and ip be
the corresponding forms on SOS2). Then
(I)
For
But
is the matrix for ds(m) relative to the basis {v, iv} for T(M, m).
223
8: Imbedded manifolds in R3
(5*Wl)(0 = O
= (dir(ds(t)), df(v)') (since s(m, v) = (s{m), #(f)))
= ° s)(t), df(v)>
= <</($ ° w)(0, #(*>)>
= <ds(dn{t)), J/(y)>
= + oj2(t)(iv)), df(v)>
= <ds(v), y)w!(?) + (ds(iv), v}oj2(t),
since d/fy) is identified with v. Similarly,
(i*o>2)(r) = (ds(v), ivyw^t) + <ds(iv), iv}a>2(t),
completing the proof of (II).
For
-(K°tt)o>1 A W2 = di/j = d(s*f) - s*(df)
= £*(—afi A a>2) (since S2 has constant curvature 1)
= —5*60! A S*CO2
so that
(£?ii ^12\
1 = det ds{m), □
#21 #22' (m,u)
/ g2g \
I 8rf dr2 8r1 \
I 82g 82g I
\ 8rx 8r2 8r2 /
Proof. Consider intuitively any sphere with M inside. Shrink this sphere until
it just touches M at some point m0. Then the curvature of M at m0 is greater
than the curvature of this sphere.
Consider more precisely the function r2 of on M, where r is the distance
from the origin in R3. Let m0 e M be a point where r2 of assumes its maxi¬
mum. By rotating about the origin in R3 if necessary, we may assume that
224
8: Imbedded manifolds in R3
f(m0) is on the r3 axis; that is, that f(m0) = (0,0, c) for some c. Then r3 of also
has an extremum at m0 since |r3 ° /1 (m0) = r» f(m0) > r ° /(m) > |r3 ° f | (/rz)
for all m e M. Hence for v e T(M, m0),
that is, df(T(M, m0)) is perpendicular to the r3 axis. We may assume that the
orientation of df(T(M, m0)) agrees with the orientation on the ru r2 plane.
(Otherwise, a rotation through an angle of v about the rx axis will accomplish
this.) We may further assume, by rotating about the r3 axis if necessary, that
d/dr1 and d/dr2 are eigenvectors of ds(m0). Then since f(m0) = (0, 0, c), the
special coordinates are valid on the translate if /(A/) by (0, 0, — c); that is,
there exists g: U -> M, U R2 such that
dg_
= 0.
drx o dr2
Then, since d/8r1 and d/dr2 are eigenvectors of ds(m0), ds(m0) has matrix
d2g
0
dr2
d2g
0
dr.2
2/0
then
2 + 2
0 > J-s (r2ofof)
(t;) + 3/y2
g2g 1 , 32g
< — and < —>
e/-,2 c dr2 o c
so that
Corollary. The torus S1 x S'1 with its Riemannian product structure cannot
be imbedded as a submanifold of R3.
225
8: Imbedded manifolds in R3
Proof. The first statement is a consequence of the previous theorem. For the
second statement, consider the map v os mapping M into the projective plane
P2, where v. S2 P2 is projection. We show that tt o s is a covering map.
First, since det ds = K > 0, ds is everywhere nonsingular, hence so is
d-n o ds = d(v o s). By the inverse function theorem, tt o s is locally one-to-one
and is an open map. Moreover, -tt ° s is onto. For if p eP2—say p — tt(P),
p e S2—consider the plane in R3 perpendicular to p. Moving this plane out
in the direction of p toward infinity and then back until it just touches M at
m0, we find that s(m0) = ±p, so that tt ° s(mj) = p. More precisely, let
m0 e M be such that the function m -» <f(m), pj assumes its maximum at
m0. Then p _L df(T(M, m0)) because, for v e T(M, m0),
other hand, each point in v■~1(p) is open in the relative topology, since tt is
locally one-to-one.) Hence for U a sufficiently small open set about p,
(tt o 5)_1([/) is a union of disjoint open sets each mapped homeomorphically
Theorem 5. Let (Mu fj) and (M2,f2) be oriented 2-manifolds in R3. Suppose
Mx and M2 are tangent along a curve a in R3; that is, suppose there exist
curves at: [a, b] -> Mt(i = 1, 2) such that
fi ° «i = h ° «2 = «,
and
for all t e [a, b]. Then parallel translation along a is the same in both mani¬
folds; if v1 e T(Mi, afa)) and v2 e T(M2, a2(a)) with dffvf = df2(v2), then
226
8: Imbedded manifolds in R3
Proof. Let s^Mi-^S2 denote the spherical map (/= 1,2), and let
Si'. S(Mt) -> S(S2) denote the corresponding map on the circle bundles. Since
^ *4> = 4>i,
where ifjt is the connection form on Let at: [a, b] -> S(Mt) denote the
horizontal lift of through (a^a), vt). Then
227
8: Imbedded manifolds in R3
Sketch of Proof. Choose a point (m0, v0) e S(M) and a rigid motion d>
carrying g(m0) into f(m0), dg(v0) into df(v0), and dg(T(M, m0)) onto
df(T{M, m0)). Let /i - / and f2 = O ° g; then ffm0) = /2(m0), dffv0) =
dfzipo), and
st: S(M)^S(SZ)
has the following property: sffp) — s2*(f) and iy*^) = i2*(<;i>i), i = 1,2.
Note also that S(S2) can be identified with the space of 3 x 3 orthogonal
matrices of determinant one, for a point of S(S2) consists of a pair (u, h),
where u is a unit vector in R3, and v is a unit vector perpendicular to u. The
matrix corresponding to (u, v) is the one whose columns are u, v, and u x v.
228
8: Imbedded manifolds in R3
Lemma. Let ax, a2 be two curves [0, 1] -> S(S2) such that aflf) = a2*(f) and
ai*(^i) = «2*(<5i) (* = 1, 2). Let p be the curve P(t) = a2(t)-1 -aft), where
inverse is matrix inverse and the dot indicates matrix multiplication. Then
P*$) = P*(&d = 0.
Proof. We leave the proof of this lemma to the student. It involves computing
d^ in terms of dax and da2.
Proof. Since ajl5 a>2, f span the cotangent space at each point of S(S2), the
lemma implies that dp is identically 0, so that p is a constant map. Since
«i(0) = a2(0), P(0) is the identity matrix, and, therefore, so is p(t) for all
t e [0, 1], Hence aft) — a2(t) for all t e [0, 1],
229
Bibliography
Topology
1. Alexandroff, P. and Hopf, H. Topologie. Berlin: Springer-Verlag, 1935.
2. Bourbaki, N. Topologie Generate. Paris: Hermann, 1953.
3. Eilenberg, S. and Steenrod, N. E. Foundations of Algebraic Topology. Prince¬
ton, N.J.: Princeton University Press, 1952.
4. Greenberg, M., Lectures on Algebraic Topology. New York: Benjamin, 1967.
5. Hocking, J. G. and Young, G. S. Topology. Reading, Mass.: Addison-Wesley,
1961.
6. Hu, S. T. Elements of General Topology. San Francisco: Holden-Day, 1964.
7. Kelley, J. L. General Topology. New York: Van Nostrand, 1955; Springer-
Verlag, 1975.
8. Lefschetz, S. Introduction to Topology. Princeton, N.J.: Princeton University
Press, 1949.
9. Pontryagin, L. S. Foundations of Combinatorial Topology. Rochester, N.Y.:
Graylock, 1952.
10. Seifert, H. and Threlfall, W. Lehrbuch der Topologie. Leipzig: Teubner, 1934.
11. Sierpinski, W. Introduction to General Topology. Toronto, Ontario: University
of Toronto Press, 1934.
12. Spanier, E. H. Algebraic Topology. New York: McGraw-Hill, 1966.
13. Wallace, A. H. Introduction to Algebraic Topology. New York: Pergamon,
1957.
Geometry
1. Auslander, L. and Mackenzie, R. E. Introduction to Differentiable Manifolds.
New York: McGraw-Hill, 1963.
2. Bishop, R. L. and Crittenden, R. J. Geometry of Manifolds. New York:
Academic, 1964.
3. De Rham, G. Varietes Dijferentiables. Paris: Hermann, 1960.
4. DoCarmo, M. Differential Geometry of Curves and Surfaces. Englewood
Cliffs, N.J.: Prentice-Hall, 1976.
5. Flanders, H. Differential Forms, with Applications to the Physical Sciences.
New York: Academic, 1963.
6. Guggenheimer, H. W. Differential Geometry. New York: McGraw-Hill, 1963.
7. Hicks, N. J. Notes on Differential Geometry. Princeton, N.J.: Van Nostrand,
1965.
8. Kobayashi, S. and Nomizu, K. Foundations of Differential Geometry, Vol. I.
New York: Interscience (Wiley), 1963.
9. Laugwitz, D. Differential and Riemannian Geometry. New York: Academic,
1965.
10. O’Neill, B. Elementary Differential Geometry. New York: Academic, 1966.
11. Sternberg, S. Lectures on Differential Geometry. Englewood Cliffs, N.J.:
Prentice-Hall, 1964.
12. Warner, F. Foundations of Differentiable Manifolds and Lie Groups. Glenview,
Ill.: Scott, Foresman, 1971.
13. Whitney, H. Geometric Integration Theory. Princeton, N.J.: Princeton Uni¬
versity Press, 1957.
230
Index
23]
Index
232
Date Due
AUG 3 t 19BG
l» rt \ f e
«
° r -'.fi
C fIAN
r• ■' ' iqqn
31 IjOU
. - n nfl in
A Z “ 20 JU
J6
J QA 611 .S498 1976
Singer, I. M. (Isadore Ma 010101 000
Lecture notes on elementary to
II 1 IIIMlII 1 HI
0 1163 01276 30 8
TRENT UNIVERSITY
<
DATE
ISSUED TO j (.1
From the Preface: