Winding Around AMS
Winding Around AMS
Volume 76
Winding Around
The Winding Number
in Topology, Geometry,
and Analysis
John Roe
HEMATICS
MAT
STUDY
ADV
ANCED
SEM
ESTERS
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
Winding Around
The Winding Number
in Topology, Geometry,
and Analysis
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
http://dx.doi.org/10.1090/stml/076
S T U D E N T M AT H E M AT I C A L L I B R A RY
Volume 76
Winding Around
The Winding Number
in Topology, Geometry,
and Analysis
John Roe
HEMATICS
MAT
STUDY
ADV
A N CED
SE M
E ST ERS
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
Editorial Board
Satyan L. Devadoss John Stillwell (Chair)
Erica Flapan Serge Tabachnikov
2015
c by the author. All rights reserved.
Printed in the United States of America.
∞ The paper used in this book is acid-free and falls within the guidelines
established to ensure permanence and durability.
Visit the AMS home page at http://www.ams.org/
10 9 8 7 6 5 4 3 2 1 20 19 18 17 16 15
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
Contents
Preface xi
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
vi Contents
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
Contents vii
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
viii Contents
Bibliography 261
Index 265
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
Foreword: MASS and
REU at Penn State
University
ix
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
x Foreword: MASS and REU at Penn State University
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
Preface
∂u ∂v
=
∂y ∂x
must be satisfied.
Is this necessary condition always sufficient? For functions de-
fined on a disc, the answer is yes (“every irrotational vector field is
the gradient of a potential”). On more general domains, though, the
xi
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
xii Preface
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
Preface xiii
John Roe
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
http://dx.doi.org/10.1090/stml/076/01
Chapter 1
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
2 1. Prelude: Love, Hate, and Exponentials
roads that join them: the “low road” and the “high
road”.
In A dwell two lovers, Maelon and Dwynwen,
who must travel to B: M by the high road, and D
by the low. So great is the force of their love that
if at any instant they are separated by ten miles
or more, they will surely die.
As well as a pair of lovers, our story contains a
pair of sworn enemies, Llewelyn and John. As our
story begins, L is in A, J is in B, and they must
exchange places, L traveling from A to B via the
high road while J travels from B to A via the low
road. So great is the force of their hatred that if
at any instant they are separated by ten miles or
less, they will surely die.
Prove that tragedy is inevitable. At least two
people will end up dead.
Remark 1.1.1. The point about this story is that we are given no
specific information about the travels of D, M, L, and J: how fast
they go, whether they halt on the journey, whether they speed up or
slow down or even backtrack. Any mathematical tool effective enough
to solve the problem must not care about these kind of “geometri-
cal” specifics: must not care, in fact, about the difference between
the donut and the coffee mug. It is wrong to suppose that topology,
because it does not care about such distinctions, is somehow impre-
cise. On the contrary! Only a truly powerful theory can draw precise,
specific conclusions from such unspecific initial data.
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
1.1. Two sets of travelers 3
Lovers’ path
Low road
Haters’ path
High road
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
4 1. Prelude: Love, Hate, and Exponentials
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
1.2. Winding around 5
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
6 1. Prelude: Love, Hate, and Exponentials
beautiful way the winding number enters into Cauchy’s residue theo-
rem, which allows one to compute certain integrals of a function f (z)
in terms of the behavior of f at certain special points, its so-called
poles or singularities, and the winding numbers of loops around these
singularities. That powerful subject is not emphasized here, however
(in particular, one does not need any prior acquaintance with com-
plex analysis in order to read this book). Why? Because important
as complex analysis is (with its applications throughout mathemat-
ics, physics, and engineering), the notion of winding number turns
out to have ramifications far beyond even that field. In fact, it’s
not really too much of a stretch to see the winding number as the
golden cord which guides the student through the labyrinth of clas-
sical mathematics: connecting algebra and analysis, potential theory
and cohomology, complex numbers and just about everything.
In this book, we will look at some of the many ways that winding
numbers show up in mathematics. The settings are quite diverse:
topology, geometry, functional analysis, complex analysis, algebraic
systems, and even Lie groups. However, underneath it all is a simple
idea: winding around.
Let’s get started.
z2 z3
exp(z) = 1 + z + + + ··· .
2! 3!
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
1.3. The most important function in mathematics 7
Rudin [34] begins his classic book Real and Complex Analysis with
the statement “This is the most important function in mathematics.”
Before we can start looking at its properties, though, we need to
remind ourselves what kind of thing z is here.
Remember that a complex number is a formal expression of the
sort
z = x + yi
where x and y are real numbers and i2 = −1. (We call x the real
part of z and y the imaginary part, and we use the notation x = Re z,
y = Im z.) We’ll think of x + yi as represented by the point (x, y) of
the plane (sometimes called the complex plane or the Argand diagram
in this context).
There is no problem in adding, subtracting, or multiplying com-
plex numbers by the usual rules. However, the following is a nontrivial
fact.
Theorem 1.3.1. The complex numbers form a field; i.e., every non-
zero complex number has a multiplicative inverse.
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
8 1. Prelude: Love, Hate, and Exponentials
of 1 and i). The possible R-bases (z, w) of C fall into two classes,
right-handed like (1, i) and left-handed like (1, −i). Formally we may
say that (z, w) is a right-handed basis if Im(z̄w) > 0 and a left-handed
basis if Im(z̄w) < 0. (If Im(z̄w) = 0, then z and w do not form a
basis.)
∞
eiz + e−iz (−1)n z 2n
cos z = = .
2 n=0
(2n)!
The exponential, sine, and cosine functions are real-valued for real
arguments, and we have
eiz = cos z + i sin z
for all z. Moreover, since the power series for the exponential function
has real coefficients, ez̄ = ez . It follows that
|ez |2 = ez ez = ez+z̄ = e2 Re z
so |ez | = eRe z , for all complex numbers z. In particular, |eiy | = 1 for
all real y.
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
1.3. The most important function in mathematics 9
The addition law for the exponential function yields the corre-
sponding laws for sine and cosine,
sin(z + w) = sin z cos w + cos z sin w,
cos(z + w) = cos z cos w − sin z sin w.
In particular sin2 z + cos2 z = 1 — the special case w = −z of the
second identity. One sees by computation that cos has a positive real
zero; define π by letting π/2 be the smallest positive real zero of cos.
We have cos(π/2) = 0 and sin(π/2) = 1. The identities now give
sin(z + π/2) = cos(z), cos(z + π/2) = − sin(z).
Iterating these we find that cos and sin are 2π-periodic, so the ex-
ponential function is 2πi-periodic. In particular we get the famous
formulae
e2πi = 1, eπi = −1.
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
10 1. Prelude: Love, Hate, and Exponentials
x
y
Proof. This follows from the formula | exp(z)| = eRe z which we ob-
served before: | exp(z)| = 1 if and only if Re z = 0, which is to say
that z is purely imaginary.
1
Unfortunately for this illustration, mathematical convention is that the positive
direction of rotation is counterclockwise, so you should think of the clock as running
backwards.
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
1.3. The most important function in mathematics 11
as “wrapping up” the imaginary axis into a spiral that projects to the
unit circle, as shown in Figure 1.3.
It is fundamentally important that, although each point w on the
unit circle corresponds to many different t-values, there is no way
to choose those t-values for the whole unit circle in a “continuous”
manner. More precisely,
Lemma 1.3.5. There is no continuous function θ : S 1 → R such
that w = exp(iθ(w)) for all w ∈ S 1 . In fact, there is no continuous
function s : S 1 → S 1 such that s(w)2 = w for all w ∈ S 1 .
Proof. The second statement clearly implies the first since if we could
find a function θ having the required properties, we could then define
s(w) = exp(iθ(w)/2)
and we would have s(w)2 = w.
Suppose then that a continuous function s exists having s(w)2 =
w. Consider the function
u(t) = s(eit )s(e−it ), t ∈ R.
This is a continuous function on R. We have
u(t)2 = s(eit )2 s(e−it )2 = eit e−it = 1.
Thus u(t) = ±1 for each t. A continuous integer-valued function on
R is constant, so u is constant. But then
−1 = s(−1)2 = u(π) = u(0) = s(0)2 = 1,
which is an obvious contradiction2 .
Remark 1.3.6. It’s interesting to contrast the situation for square
roots of complex numbers, revealed by Lemma 1.3.5, with the corre-
sponding situation for real numbers. When we look in the real field,
we find two problems: an existence problem (some numbers, the neg-
ative ones, don’t have any square roots) and a uniqueness problem
(other numbers, the positive ones, have more than one, so the sym-
√
bol x can be ambiguous). In the real case it’s easy to resolve the
uniqueness problem by executive order: we just decree, as is done
2
This argument is adapted from Beardon’s book [8].
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
12 1. Prelude: Love, Hate, and Exponentials
√
in high school algebra, that for x > 0, the symbol x should stand
for the positive square root of x. Lemma 1.3.5 tells us that the in-
troduction of complex numbers, which fixes the existence problem
(every complex number has a square root), at the same time makes
it impossible to come up with any sort of “executive order” which
resolves the uniqueness problem (the ambiguity of square roots) in a
reasonable (read: continuous) way.
Lemma 1.3.7. Let S = C\R− be the complex plane with the negative
real axis removed (this is sometimes called a “slit plane”). There
exists a continuous function : S → C such that exp((z)) = z for all
z ∈ S.
1.4. Exercises
Exercise 1.4.1. Calculate the quotient (3 + 2i)/(1 − 2i). Find two
complex roots of the quadratic equation
2z 2 − 3z − 5i = 0.
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
1.4. Exercises 13
Exercise 1.4.2. Show that the modulus obeys the triangle inequality
|z ± w| |z| + |w|.
This allows us to make the complex plane into a metric space (see
later, Definition B.1.1) and thus to introduce topological notions such
as open and closed sets, continuity, etc.
√
Exercise 1.4.3. Let a = 1 + i and b = 3 − i. Express each of the
complex numbers
a + b, a − b, ab, a/b
in the form x + yi and in the form reiθ , simplifying your answers as
much as possible.
Exercise 1.4.4. Let z = eiθ where θ = 2π/5. Prove that 1 + z +
z 2 + z 3 + z 4 = 0. By considering the real part of this expression prove
that √
−1 + 5
cos θ = .
4
Exercise 1.4.5. (a) Show that the mapping z → 1/z sends the circle
|z − 1| = 1 (in the complex plane) into a straight line.
(b) Let A, B, C, and D be four points on a circle in the (Euclidean)
plane, and let the symbol d(X, Y ) denote the Euclidean distance
between two points X and Y . Let p = d(A, B)d(C, D), let q =
d(A, C)d(B, D), and let r = d(A, D)d(B, C). Show that one of
p, q, r is equal to the sum of the other two. (This result is due to
Ptolemy of Alexandria, nearly 2,000 years ago. To prove it using
complex numbers, take the circle to be the one in the first part of
the question, and take A to be the origin. Use the transformation
z → 1/z to relate the theorem to the distances between points on
a straight line.)
Exercise 1.4.6. In the 1840s, William Rowan Hamilton spent much
effort trying to find a 3-dimensional field of “hypercomplex” numbers,
i.e., of symbols of the form x + yi + zj, with x, y, z ∈ R, which can
be added, subtracted, multiplied, and divided in the same way that
complex numbers can. Show that his quest was hopeless: no matter
how we define i2 and j 2 , we will not obtain a 3-dimensional system
of the desired sort. (Hint: Use linear algebra. Let V denote the
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
14 1. Prelude: Love, Hate, and Exponentials
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
http://dx.doi.org/10.1090/stml/076/02
Chapter 2
1
See Section G.1.
15
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
16 2. Paths and Homotopies
2
This follows from the “gluing lemma”, Proposition B.4.2.
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
2.1. Path connectedness 17
Example 2.1.6. We will spend a lot of time working with paths. It’s
important to understand, therefore, that the behavior of paths can be
very far from the “smoothness” that one becomes accustomed to by
drawing pictures in the plane. A famous example of Peano [30] gives
a path in the plane whose image is the whole unit square. In other
words, continuous maps can raise dimension! Peano’s construction is
quite explicit and we’ll review it below.
We consider real numbers between zero and one as represented
by ternary (base-3) expansions; that is, the digits allowed are 0, 1,
and 2, and a sequence
0 · a1 a2 a3 . . .
of digits represents the real number ∞ −j
j=1 aj 3 . Most numbers be-
tween 0 and 1 have a unique expansion of this form, the only excep-
tions being triadic rational numbers (those whose denominator is a
power of 3), which have two expansions, one ending in all 0s and one
ending in all 2s.
For a digit a let κ(a) denote the complement of a; that is,
κ(0) = 2, κ(1) = 1, κ(2) = 0.
We let κn (a) denote the result of applying κ n times to a: this is κ(a)
if n is odd and a if n is even. Given a number x = 0 · a1 a2 a3 . . ., we
define two new numbers y = 0 · b1 b2 b3 . . . and z = 0 · c1 c2 c3 by the
relations
bn = κa2 +···+a2n−2 (a2n−1 ), cn = κa1 +a3 +···+a2n−1 (a2n ).
One checks that this process is well-defined : two different representa-
tions of the same x (if such exist, that is, when x is a triadic rational)
give rise to different representations of the same y and z. It is also
continuous. To see this, notice that given any x and any n, there is
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
18 2. Paths and Homotopies
δ > 0 such that if |x − x| < δ, then the first n digits of (suitably cho-
sen) expansions of x and x agree. Thus, given x and ε > 0, choose
m such that 3−m < ε; then take n = 2m and δ chosen as above in
terms of n. If |x − x | < δ and if y , z are defined in terms of x as
above, then y agrees with y up to m digits (and similarly for z and
z ), so
|y − y | < ε, |z − z | < ε.
Therefore x → (y, z) is a continuous map of the unit interval to the
unit square. This map is surjective. For consider expansions of y, z
as above; we can find an x that maps to them by writing
a2n−1 = κc1 +c2 +···+cn−1 (bn ), a2n = κb1 +b2 +···+bn (cn ).
This completes the construction of a path whose image is the unit
square, usually called the Peano space-filling curve.
Remark 2.1.7. The Peano map from the interval to the unit square
is not injective (see Exercise 2.4.3) and therefore is not a homeomor-
phism. Nevertheless, the existence of such a strange example might
lead one to worry about whether some more complicated construction
might produce a homeomorphism from the interval to the unit square.
If that were to happen, it would mean that the notion of “dimension”
— in the intuitive sense of “how many parameters are needed” to
describe something — would not belong to topology. In the early
twentieth century, Brouwer and others showed that dimension is, in
fact, a topological notion: Rn and Rm are not homeomorphic unless
n = m. The general proof is quite delicate. We’ll use the winding
number to address some cases of this question later in the book (see
Exercise 4.5.9 for example).
2.2. Homotopy
Let X and Y be metric spaces, with X compact. We recall (see Defini-
tion B.4.1 and the following discussion) that the collection of all con-
tinuous maps f : X → Y is itself a metric space (denoted Maps(X, Y ))
under the uniform distance
d(f0 , f1 ) = sup{d(f0 (x), f1 (x)) : x ∈ X}.
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
2.2. Homotopy 19
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
20 2. Paths and Homotopies
Note that h(s, 0) = γ(0) and h(s, 1) = γ(1) for all s. That is what we
mean by “fixing the endpoints”: all of the curves h(s, ·) making up
the homotopy have the same starting and ending points.
Remark 2.2.5. As is suggested by the above discussion of homo-
topies of paths “with endpoints fixed”, we are often interested only
in those maps from a space X to Y which have some special behavior
on a subspace of X (in the example, the subset {0, 1} consisting of
the endpoints of the unit interval [0, 1]). For example, if A is a subset
of X and B a subset of Y , the maps f : X → Y such that f (A) ⊆ B
are called maps of pairs (X, A) → (Y, B). We’ll denote the space
of such maps by Maps((X, A), (Y, B)). A particularly important ex-
ample occurs when each of A and B consists of a single point which
we may call the “basepoint” of X or Y , respectively. In that case
Maps((X, A), (Y, B)) is the space of basepoint-preserving maps from
X to Y , which we may also denote
Maps• (X, Y )
if the choice of basepoint is clear from the context.
Example 2.2.6. Let Y be a metric space, and let y0 ∈ Y . The path
space of Y based at y0 is the space
Py0 (Y ) = Maps(([0, 1], {0}), (Y, {y0 }));
in other words, it is the space of paths in Y with initial point {y0 }.
Example 2.2.7. Let Y be a metric space, and let y0 ∈ Y . A loop
in Y based at y0 is a path whose initial and final points are y0 . The
space of such paths
Ωy0 (Y ) = Maps(([0, 1], {0, 1}), (Y, {y0 }))
is called the based loop space of Y with basepoint x0 .
Example 2.2.8. The free loop space Ω(Y ) is the space of all maps
f : [0, 1] → Y such that f (0) = f (1).
Each of these mapping spaces comes equipped with its own notion
of homotopy, which is a path joining two maps in the relevant mapping
space. For example, if f0 , f1 belong to Maps((X, A), (Y, B)), we can
consider a path joining them in the space Maps((X, A), (Y, B)); we
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
2.2. Homotopy 21
[0, 1]
CC
CCf
η CC
CC
!
S 1 g
/Y
is commutative.
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
22 2. Paths and Homotopies
It follows that the free loop space Ω(Y ) can be identified with the
space Maps(S 1 , Y ) of maps from S 1 to Y . Similarly, the based loop
space Ωy0 (Y ) can be identified with Maps• (S 1 , Y ).
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
2.3. Homotopies and simple-connectivity 23
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
24 2. Paths and Homotopies
N = (0, 1)
P = (x, y)
ϕ(P ) = y/(1 − x)
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
2.4. Exercises 25
tk+1 − t t − tk
+s ϕk (γ(tk )) + ϕk (γ(tk+1 )) .
tk+1 − tk tk+1 − tk
Then γ0 = γ, and γ1 is the piecewise straight path with vertices
γ(t0 ), . . . , γ(tn ).
Now the points of a piecewise straight path are contained in the
union of finitely many 2-dimensional planes in Rn . Thus, if n 3, a
piecewise straight path cannot fill up all of S n−1 . By stereographic
projection, as noted above, it follows that a piecewise straight loop in
S n−1 is homotopic to a constant loop. Since every loop is homotopic
to a piecewise straight loop, the proof is completed.
2.4. Exercises
Exercise 2.4.1. Find the path components of the rational numbers
Q with their usual metric.
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
26 2. Paths and Homotopies
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
http://dx.doi.org/10.1090/stml/076/03
Chapter 3
;C
xxx
x
xx
g
xx
exp
x
x f
X / C \ {0}
commutes. (Because of the way this picture looks, one also expresses
this by saying that f lifts through the exponential map.)
1
By our convention, the words “map” and “mapping” refer to continuous func-
tions; see Definition B.2.1.
27
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
28 3. The Winding Number
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
3.2. The winding number 29
Thus when |s − s | < δ the maps hs (x) = h(s, x) and hs (x) = hs (x)
satisfy
|hs (x) − hs (x)| < ε < |hs (x)| + |hs (x)|.
By Rouché’s theorem, hs /hs is an exponential. Choose a finite se-
quence sj with s0 = 0, sm = 1, and |sj − sj+1 | < δ. Then
m−1
f1 /f0 = hsj+1 /hsj
j=0
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
30 3. The Winding Number
2πi γ
g
1
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
3.2. The winding number 31
SO 1 H
ψ
/C
H
H ϕ
η H exp
H
H#
[0, 1] / C \ {0}.
γ
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
32 3. The Winding Number
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
3.3. Computing winding numbers 33
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
34 3. The Winding Number
with |p| > R) are path connected to each other outside the ball and
are therefore in the same component of C \ γ ∗ . This is called the
unbounded component of C \ γ ∗ . If |p| > R, then the loop t → γ(t) − p
is contained in a half-plane. A half-plane is star-shaped (see Remark
2.3.4) so this loop is homotopic (by a linear homotopy) to a constant
and has winding number zero.
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
3.3. Computing winding numbers 35
(ii) Path θ
p0
a
a+b p1 a+b
p0 p0
(i) a (iii) a
p1 p1
Path γ a−b
Path γ a−b
3
Details: Parameterize both γ and θ with a − 34 b as the base point, so that
γ(0) = γ(1) = θ(0) = θ(1) = a − 34 b. Then the concatenation θ ∗ γ travels around
the semicircular arc of θ, then back down the straight line segment, out along the
straight line segment again (exactly reversing the previous section), and then around
the rest of γ. The two opposite copies of the straight line segment can be deformed
by a linear homotopy to a constant path at a + 34 b. The result of this homotopy is a
parameterization of γ̃.
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
36 3. The Winding Number
(Since ek and R are both straight, they can meet in at most one
point. The notion of “right” and “left” is defined as in our discussion
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
3.3. Computing winding numbers 37
⊕
⊕
Proof. This follows immediately from Lemma 3.3.2: trace along the
ray R, from the unbounded component inward to p, keeping track
of the changes in the winding number. There is one small issue to
deal with: our definition of a “polygonal loop” allows for different
edges to overlap (for instance a polygonal loop with 6 edges that goes
around the same triangle twice). Lemma 3.3.2 does not apply directly
in such a case. However, it is easy to see that any polygonal loop is
homotopic to a nearby one that does not have overlapping edges.
So, if necessary, we may adjust the loop by a preliminary homotopy
to ensure that its edges do not overlap, and then we may apply the
preceding argument to the adjusted loop.
Remark 3.3.6. This gives us, “in principle”, a way to compute wind-
ing numbers for any loop. Let γ be a loop in C\{0}, say. By compact-
ness, there is ε > 0 such that |γ(t)| > ε for all parameter values t; and
then by uniform continuity there is δ > 0 such that if |t − t | < δ, then
|γ(t) − γ(t )| < ε. It follows that the portion of γ between parameter
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
38 3. The Winding Number
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
3.4. Smooth paths and loops 39
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
40 3. The Winding Number
Notice that this definition is consistent with the one we gave for
polygonal paths (equation (3.3.4)). We are going to prove a result
expressing winding numbers in terms of smooth intersection numbers,
which will be a counterpart of Proposition 3.3.5 in the polygonal case.
Proposition 3.4.4. Let γ be a smooth loop in C \ {p} and let R
be a ray from p to ∞, transverse to γ. Then there are only finitely
many parameter values t = t1 , . . . , tk where γ(t) intersects R and the
winding number of γ around p is equal to the sum of its intersection
numbers with R, that is
k
wn(γ, p) = itj (γ, R).
j=1
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
3.4. Smooth paths and loops 41
that is, the straight line path tangent to γ at the intersection point
τ . Let ϕ be a “bump function” for which ϕ(t) = 1 for |t − τ | < ε/3
and ϕ(t) = 0 for |t − τ | > 2ε/3. The homotopy
4
Notice that the rays through a fixed point are parameterized by a copy of the cir-
cle, S 1 . The notion of a measure zero set of rays is defined according to Remark D.1.8.
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
42 3. The Winding Number
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
3.5. Counting roots via winding numbers 43
quite subtle (Gauss: “no-one has ever doubted it. . . but, if anyone
desires, on another occasion I intend to give a demonstration which
will leave no doubt.” Apparently he never did.) Gauss’s proof also
assumes the topological lemma about paths in the unit square that
already appeared in our discussion of the “lovers and haters” problem.
Nowadays there are proofs of the fundamental theorem based on
analysis, proofs based on algebra, and proofs based on topology. We
will give a topological proof. Moreover, the proof will generalize to
give another, quite different, “in principle” calculation of the winding
number for any loop, this one based on approximating by rational
functions and counting zeroes and singularities.
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
44 3. The Winding Number
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
3.5. Counting roots via winding numbers 45
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
46 3. The Winding Number
3.6. Exercises
Exercise 3.6.1. Let f (z) = z + 1/z. Determine the winding number
of the loop f ◦ γk about 0 in the following cases (k = 1, 2, 3):
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
3.6. Exercises 47
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
48 3. The Winding Number
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
http://dx.doi.org/10.1090/stml/076/04
Chapter 4
ht (eiθ ) = f (teiθ ).
49
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
50 4. Topology of the Plane
f (x)
S n−1
x
Bn
g(x)
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
4.1. Some classic theorems 51
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
52 4. Topology of the Plane
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
4.1. Some classic theorems 53
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
54 4. Topology of the Plane
1
This continuity is one of those details that we ought to sweat over. In fact, it
is a nontrivial point: see the discussion in [6]. Exercise 4.5.5 will indicate one way of
filling in the details here.
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
4.2. The Jordan curve theorem I 55
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
56 4. Topology of the Plane
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
4.2. The Jordan curve theorem I 57
U
γr K
p W
? f
K /C
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
58 4. Topology of the Plane
[0, 1] × K
H /K f
/X
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
4.3. The Jordan curve theorem II 59
We will also need the “lovers and haters” lemma (Exercise 3.6.5).
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
60 4. Topology of the Plane
Arc J1
P Q
Arc J2
Proof. We want to find a point which we can prove does not lie in
the unbounded component of the complement of J. Here’s how we
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
4.3. The Jordan curve theorem II 61
A
K
α Arc J1
P Q
L
W
Arc J2
M
β
N
B
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
62 4. Topology of the Plane
AK ∗ α ∗ LW ∗ Γ
Δ = AK ∗ α ∗ LM ∗ β ∗ N B.
Observe that the points of Δ all lie in either J itself, the unbounded
component of the complement of J, or the bounded component of
the complement that contains W . Let ε > 0 be small enough that
B(P ; ε) and B(Q; ε) don’t meet the arc Δ.
Suppose that U is another component of C \ J, bounded, but
not containing W . By Proposition 4.3.1, ∂U = J. In particular,
there are points P and Q of U belonging to B(P ; ε) and B(Q; ε),
respectively. These points are inside R (everything outside belongs to
the unbounded component). Moreover, there is a path Λ in U joining
P to Q. Notice that, by construction, the path Δ contains no points
on U , so Λ cannot meet Δ. (See Figure 4.7.)
Now we contradict the lovers and haters lemma using the paths
Δ and Λ = P P ∗ Λ ∗ QQ . This completes the proof.
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
4.4. Inside the Jordan curve 63
A
K
α
P
Q
L
W
M
β
N
B
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
64 4. Topology of the Plane
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
4.4. Inside the Jordan curve 65
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
66 4. Topology of the Plane
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
4.5. Exercises 67
flatness” which rules out such wild behavior. The classic reference
on the Alexander horned sphere is [10, page 38] (many interesting
drawings and animations can now be found online also), and for the
“locally flat” version of the higher-dimensional Schoenflies theorem,
see [12].
However, a “stabilized” version of the Schoenflies theorem is true
(and easy to prove) in any dimension. The statement is:
Lemma 4.4.8. Let A and B be homeomorphic closed subsets of Rn ,
and let h : A → B be a homeomorphism between them. Embed Rn
in R2n as a hyperplane. Then the homeomorphism h : A → B can
be extended to a homeomorphism h̃ from R2n → R2n . In particular,
R2n \ A is homeomorphic to R2n \ B.
4.5. Exercises
Exercise 4.5.1. Give an example of a compact connected metric
space X and a continuous map f : X → X that has no fixed point.
Also, give such examples where f has a specified number n ∈ N of
fixed points.
Exercise 4.5.2. Let m ∈ N. Suppose that a map f : S 1 → S 1 has
the property that f (z) = f (e2πi/m z) for all z ∈ S 1 . What can you
say about the degree of f ? (Note that Proposition 4.1.5 covers the
case m = 2.)
Exercise 4.5.3. It is a consequence of Lemma 4.1.4 that, for maps f
and g from S 1 to itself, f ◦ g is always homotopic to g ◦ f . Investigate
whether this is always true for maps from a compact metric space X
to itself.
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
68 4. Topology of the Plane
from Δ to itself.
Exercise 4.5.5. This exercise indicates one way to resolve the con-
tinuity question in the proof of the ham sandwich theorem. We will
consider each of the three bodies A, B, and C to be Lebesgue mea-
surable subsets of R3 , having positive Lebesgue measure and each
contained in the ball B(0; R) of center 0 and radius R in R3 . Let
H = [−3R, 3R] × S 2 . To each (t, v) ∈ H assign the half-space
Ω(t, v) = {x ∈ R3 : x · v > t}.
Notice that B(0; 2R) is a subset of Ω(t, v) for all t < −R and all v and
is disjoint from Ω(t, v) for all t > R and all v. Let λ denote Lebesgue
measure.
(i) Let f ∈ L1 (B(0; 2R), λ) be an integrable function and define
Φf (t, v) = f dλ.
Ω(t,v)
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
4.5. Exercises 69
(a) Let γ be a polygonal Jordan curve and let ε > 0. For each
straight line segment of γ draw two parallel segments, at distance
ε either side of γ, and join these segments at suitable points to
form polygonal curves γ1 and γ2 , which if ε is sufficiently small
will be disjoint from γ.
(b) Now let U be the union of all those cells of γ for which the winding
number wn(γ, p) is even, and let V be the union of all those cells
for which the winding number is odd. Show that γ1 is contained
in one of these sets, say U , and γ2 is contained in the other, say V .
(c) Show that U and V are path connected; this will finish the proof.
Suppose that p, q ∈ U and draw the straight line path from p to
q. If this doesn’t meet γ, we are done. If it does, there is a first
point at which it meets γ. Show that just before the first point
at which it meets γ, it must meet γ1 , say at a point p . By the
same argument, just after the last point at which it meets γ it
must meet γ1 , say at a point q . But now we get a path from p to
q in U by traveling first straight to p , then along γ1 to q , then
straight along γ to q.
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
70 4. Topology of the Plane
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
4.5. Exercises 71
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
72 4. Topology of the Plane
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
http://dx.doi.org/10.1090/stml/076/05
Chapter 5
Integrals and
the Winding Number
73
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
74 5. Integrals and the Winding Number
d
df (x)[v] = f (x + tv)
dt t=0
for vectors v ∈ V .
1
To help keep track of the various dependencies, I will use square brackets in
this chapter to indicate a linear dependence, and round brackets to indicate a more
general functional dependence. See Convention E.2.6 for more about this.
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
5.1. Differential forms and integration 75
Proof. We’ll prove the product rule (the sum rule is easier). By
definition
d
d(f g)(x)[v] = f (x + tv)g(x + tv)
dt t=0
d d
= f (x + tv) g(x + tv) + g(x + tv) f (x + tv)
dt dt t=0
= f (x) dg(x)[v] + g(x) df (x)[v]
Dϕ(x) β(ϕ(x))
α(x) : V /W /R.
In symbols, α(x)[v] = β(ϕ(x)) Dϕ(x)[v] .
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
76 5. Integrals and the Winding Number
and therefore
ϕ∗ ( df )(x)[v] = Df (ϕ(x)) Dϕ(x)(v)
= Df (ϕ(x)) ◦ Dϕ(x) [v] (definition of composite map)
= D(f ◦ ϕ)(x)[v] (by the chain rule, Proposition E.3.2)
= d(f ◦ ϕ)(x)[v] as required.
Example 5.1.8. Consider the special case where both V and W are
1-dimensional vector spaces. In that case they are both isomorphic
to R; fix isomorphisms x : V → R and y : W → R. The function
y = ϕ(x) is now a real-valued function of a real variable, and its
derivative Dϕ(x) is a 1 × 1 matrix, that is, a scalar Dϕ(x) = ϕ (x).
The most general 1-form β on W is given by β = f (y) dy for some
smooth function f , and Definition 5.1.5 gives
(5.1.9) ϕ∗ (f (y) dy) = f (ϕ(x))ϕ (x) dx.
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
5.1. Differential forms and integration 77
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
78 5. Integrals and the Winding Number
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
5.2. Closed and exact forms 79
Therefore,
α= γ1∗ α = β= ∗
ϕ β= γ2∗ α = α
γ1 [0,1] [0,1] [0,1] [0,1] γ2
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
80 5. Integrals and the Winding Number
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
5.2. Closed and exact forms 81
can measure the difference2 between closed and exact forms by the
quotient space
H 1 (Ω) := Z 1 (Ω)/B 1 (Ω),
known as the first de Rham cohomology of Ω. This is a topological
invariant of Ω and is not always zero.
2
Making this definition is an example of the process described in the Preface,
whereby mathematicians turn lemons into lemonade. In place of an inconvenience —
closed and exact are not always the same — we now have an interesting and useful
invariant — the de Rham cohomology.
3
See Exercise 5.7.1.
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
82 5. Integrals and the Winding Number
(0, b) γ3 (a, b)
γ4 γ2
(0, 0) γ1 (a, 0)
The next lemma gives the crucial step in understanding the rela-
tionship between closed and exact forms.
Lemma 5.2.7. Let γ be a piecewise smooth path traversing the bound-
ary of a rectangle R, whose sides are parallel to the coordinate axes.
Let α be a closed 1-form defined on R. Then γ α = 0.
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
5.2. Closed and exact forms 83
a
− x=0 g(x, b)dx, the minus sign arising because γ3 is traversed in
the backward direction. Thus
a
α+ α= (g(x, 0) − g(x, b)) dx
γ1 γ3 x=0
a b
=− g2 (x, y)dydx
x=0 y=0
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
84 5. Integrals and the Winding Number
and the integrals along the horizontal sides cancel because of the loop
property h(s, 0) = h(s, 1). Thus we find that
α= α,
γ1 γ0
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
5.3. The winding number via integration 85
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
86 5. Integrals and the Winding Number
where, on the right-hand side, the real and imaginary parts of the
complex expression f (γ(t))γ (t) are integrated independently.
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
5.4. Homology 87
and
1 1
ν(γ1 γ2 ) = d(f g).
2πi γ f g
Thus the desired additivity follows from (5.3.6).
For homotopy (b), consider the integrand (z − p)−1 dz. Since
p∈/ Ω, the function z → (z − p)−1 is holomorphic on Ω. Thus, by
Lemma 5.3.3, the 1-form (z−p)−1 dz is closed. The desired homotopy
invariance follows from Theorem 5.2.8.
As noted above, properties (a) and (b) show that ν is a multiple
of the winding number. To show that this multiple is 1 and thus that
ν is equal to the winding number, we compute a single example (c).
Consider the standard path γ(t) = e2πit with winding number 1. For
this path
1 1
1 γ (t) 1
ν(γ) = dt = 2πi dt = 1,
2πi 0 γ(t) 2πi 0
which agrees with the winding number. This completes the proof.
Remark 5.3.7. Notice that this theorem provides us with a fun-
damental example of a closed 1-form (on the non-simply-connected
region C \ {p}) that is not exact. Indeed, (z − p)−1 dz is closed as
we observed above; but if it were exact, then its integral around any
loop would vanish, by the fundamental theorem of calculus (Proposi-
tion 5.1.14).
5.4. Homology
As we further develop the theory of integration along paths, we are
going to run across situations where we need to employ the following
device. Let γ be a piecewise smooth loop in some region Ω ⊆ C. It
may be possible to express γ as the concatenation of finitely many
paths, say γ1 , . . . , γn . Then, of course, we will have
n
α= α
γ k=1 γk
for any 1-form α (in fact, this is how we defined the integral along
a piecewise smooth path; see (5.1.17)). Now it is quite possible that
concatenating the paths γk in a different order, such as γσ(1) , . . . , γσ(n)
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
88 5. Integrals and the Winding Number
even though the loops γ and δ may be quite different from the point
of view of the topological tools we have developed thus far — for
instance, they need not be homotopic (Exercise 5.7.15).
It is convenient to formalize this idea by means of the notions
of chains, cycles, and homology. This machinery is called homology
theory and is one of many things described in this book whose de-
velopments and generalizations are vital tools in higher-dimensional
topology.
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
5.4. Homology 89
n
Definition 5.4.2. Let Γ = k=1 mk [γk ] be a 1-chain in Ω, and let
α be a 1-form on Ω. Then the integral of α along Γ is defined by
n
α= mk α.
Γ k=1 γk
5
See Remark G.1.4.
6
See Proposition 2.1.2.
7
See Example 2.2.3.
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
90 5. Integrals and the Winding Number
Thus the result holds for simple cycles, and it extends to all cycles by
linearity.
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
5.4. Homology 91
The integral formula for the winding number, Theorem 5.3.4, extends
by linearity to give
1 1
wn(Γ, p) = dz.
2πi Γ z − p
Theorem 5.4.9 (Artin’s criterion). Let Ω ⊆ C be an open subset,
and let Γ be a cycle in Ω. Then Γ is a boundary in Ω if and only if
wn(Γ, p) = 0 for all p ∈ C \ Ω. Consequently, two cycles in Ω are
homologous in Ω if and only if they have the same winding numbers
around all p ∈ C \ Ω.
8
For definiteness, let us say that each edge is oriented in the direction of increasing
the appropriate coordinate, x for horizontal edges and y for vertical ones.
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
92 5. Integrals and the Winding Number
+1 −1
+2
Figure 5.2. A grid, a grid cycle, and some grid winding numbers.
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
5.4. Homology 93
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
94 5. Integrals and the Winding Number
This proof is adapted from Ahlfors’ book [2] (which is also the
source of the attribution to Artin).
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
5.6. A glimpse at higher dimensions 95
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
96 5. Integrals and the Winding Number
Ω0 (U )
d / Ω1 (U ) d / Ω2 (U ) d / ··· d / Ωn (U ) ,
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
5.7. Exercises 97
5.7. Exercises
Exercise 5.7.1. Suppose that V = Rn and that x1 , . . . , xn : V → R
are the standard coordinate functions. Show that for any point x,
the elements dx1 (x), . . . , dxn (x) ∈ V ∗ form a basis for V ∗ . Deduce
that any 1-form α on V can be written α = f1 dx1 + · · · + fn dxn
for suitably chosen smooth functions fi : V → R.
Exercise 5.7.2. Suppose that V = Rn with coordinate functions
x1 , . . . , xn : V → R as in the previous exercise. Let f : V → R be a
smooth function. Show that
n
∂f
df = dxi .
j=1
∂x i
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
98 5. Integrals and the Winding Number
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
5.7. Exercises 99
where γ is a circular path around the origin (of any given radius).
Deduce that no nonconstant entire function can be bounded (Liou-
ville’s theorem: note that the example of sin x = x−x3 /3!+· · · shows
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
100 5. Integrals and the Winding Number
−1 1
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
http://dx.doi.org/10.1090/stml/076/06
Chapter 6
The rotation number thus measures the number of times that the
tangent vector to γ turns around 0. That is not necessarily the same
as the number of times that γ itself turns around 0 — see Figure 6.1
for an illustrative example.
When studying the rotation number it is often convenient to con-
sider the unit tangent vectors to γ. Recall (Remark 3.2.8) that, for
any nonzero complex number w, the symbol υ(w) denotes w/|w|, the
unit vector in the direction of w. (It is sometimes convenient to think
of υ(w) as “measuring the angle” between w and 1.) The map υ
sends C \ {0} continuously onto the unit circle S 1 , and we noted in
Remark 3.2.8 that for any loop γ in C \ {0}, the winding numbers
(around 0) of the loops γ and υ ◦ γ are the same. In particular we can
101
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
102 6. Vector Fields and the Rotation Number
(and often will find it convenient to) think of the rotation number of
γ as the winding number of t → υ(γ (t)).
The winding number and rotation number are not the same, as
we have seen; but there are important special cases where they agree.
Recall from Section 4.2 that a Jordan curve is a loop that does
not intersect itself: the points γ(t) and γ(t ), for t < t, must always
be distinct (except when t = 0 and t = 1). The beautiful proof of
the following result about the rotation number of a Jordan curve is
due to Heinz Hopf.
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
6.1. The rotation number 103
Expressed in words, this means that σ(t , t) is the unit vector in the
direction from γ(t ) to γ(t) (well-defined because the curve does not
intersect itself), with appropriate interpretation when t = t (as the
unit tangent vector at t) and when t = 0, t = 1 (now γ(t ) = γ(t)
as we have gone “all the way around” the loop and the appropriate
interpretation is minus the unit tangent vector at 0). I claim that σ
is a continuous function on the closed triangle 0 t t 1. Let us
grant that claim for a moment, finish the proof, then come back to
the claim.
We construct a homotopy of loops in S 1 as follows:
σ((1−s)t,(1+s)t) (0 t 12 ),
h(s, t) =
σ((1−s)(1−t)+(2t−1),(1+s)(1−t)+(2t−1)) ( 21 t 1).
This homotopy is illustrated in Figure 6.2: as t runs from 0 to 1, it
follows the values of σ along the line segment from (0, 0) when t = 0
to ( 12 (1 − s), 12 (1 + s)) when t = 12 and then along the line segment
from there to (1, 1) when t = 1. When s = 0, this is the loop of unit
tangent vectors to γ, so its winding number is precisely rot(γ). When
s = 1, we are traversing the two line segments from (0, 0) to (0, 1)
and then to (1, 1).
Now use the fact that γ lies in the upper half-plane and γ(0) = 0.
This tells us first of all that γ (0) is real, so that h(1, 0) = h(1, 1) =
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
104 6. Vector Fields and the Rotation Number
(0, 1)
(1, 1)
( 12 (1 − s), 12 (1 + s))
(0, 0)
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
6.2. Curvature and the rotation number 105
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
106 6. Vector Fields and the Rotation Number
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
6.3. Vector fields and singularities 107
The first term in the second display is real, so when we take imaginary
parts it vanishes and we get
2 2
d γ dγ d γ dγ
Im dt = Im dt ,
dt2 dt dt 2 dt
which shows that the definition of ω is independent of the parame-
terization. For the second part of the lemma, consider a unit speed
parameterization with γ (s) = eiθ(s) ; then γ = ieiθ θ and the defini-
tion of ω becomes ω = Im(iθ ) ds = κ ds, as required.
Proof. Since the right-hand side does not depend on the choice of
parameterization, by Lemma 6.2.7, we may assume that the loop γ
is parameterized by arc length. Then the right side is (2π)−1 κ ds,
which equals the rotation number by Proposition 6.2.5. For an alter-
native proof see Exercise 6.5.10.
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
108 6. Vector Fields and the Rotation Number
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
6.3. Vector fields and singularities 109
Definition 6.3.4. The above winding number is called the index (or
degree) of the isolated singularity at a and is denoted ind(X, a).
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
110 6. Vector Fields and the Rotation Number
where the error term e(t) has the property that ε−1
e(t)
→ 0 as
ε → 0. Since M is an invertible matrix, the first term on the right-
hand side has norm greater than Cε for all t, ε, where C is a constant
(actually the norm of the matrix M −1 ). Thus for ε small enough
the norm of the first term on the right-hand side is strictly greater
than that of the second one, and so by Rouché’s theorem (Proposition
3.1.4) the index is equal to the winding number of the path
cos 2πt
t → M .
sin 2πt
But this is just an ellipse, traversed in the positive or negative di-
rection according to the sign of the determinant of M , and so has
winding number ±1.
Remark 6.3.6. In fact one can recover the index from the infinites-
imal data at any isolated singularity, even one where the Jacobian is
singular. The remarkable algebraic formula which allows one to do
this was discovered only in the 1970s. See [17].
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
6.3. Vector fields and singularities 111
1
See Section 5.4 for the language of cycles and homology.
2
But it need not be exact! See Exercise 5.7.9.
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
112 6. Vector Fields and the Rotation Number
Then
rot(X; Γ) = wn(Γ; pk ) ind(X; pk ),
k
where the sum is taken over all singularities pk .
Just for fun, let’s use this to prove the Brouwer fixed-point the-
orem again.
Theorem 6.3.11. Let D denote the closed unit disc {z ∈ C : |a| 1}.
Any continuous map f : D → D must have a fixed point, that is, a
point z0 such that f (z0 ) = z0 .
3
Extend it to the exterior of the disc by setting X(reiθ ) = X(eiθ ) for r > 1.
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
6.4. Vector fields and surfaces 113
χ(S) = V − E + F,
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
114 6. Vector Fields and the Rotation Number
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
6.4. Vector fields and surfaces 115
It is not too hard to see how one should resolve obstacle (a). Suppose
that we consider regular piecewise smooth loops: a loop γ : [0, 1] → is
regular piecewise smooth if it is continuous and if there exist finitely
many parameter values 0 = a0 < a1 < · · · < am = 1 such that
(i) the map γ is smooth on each subinterval [ai , ai+1 ], and its de-
rivative γ is nonzero there;
(ii) (no cusps) at each breakpoint ai the tangent vectors
γ (a−
i ) := lim γ (ai + u), γ (a+
i ) := lim γ (ai + u)
u→0,u<0 u→0,u>0
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
116 6. Vector Fields and the Rotation Number
rate of change of the angle between γ (t) and X(γ(t)) (rather than the
rate of change of either of these quantities individually). This makes
sense provided that all the singularities of X are in the interiors of
faces (which can easily be arranged by perturbing the subdivision a
bit); however, it now introduces a further change into (6.4.2). By
integrating the relative curvature, we will obtain, not the absolute
rotation number +1 of a boundary curve γ, but the difference between
this quantity and the rotation number of X around γ as computed in
Corollary 6.3.10. In other words, we will have for each γ that bounds
a face F (considered as a regular piecewise smooth curve),
⎛ ⎞
1 ⎝
(6.4.3) 1 − ind(X; pk ) = ωγX + θj ⎠ ,
2π γ|[a ,a
pk ∈F i ] j i i+1
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
6.5. Exercises 117
6.5. Exercises
Exercise 6.5.1. Give a construction that produces, for each m, n ∈
Z, a regular smooth loop in C \ {0} with winding number m around
0 and rotation number n.
Exercise 6.5.2. Generalize Proposition 6.1.3 by proving that the
difference
wn(γ, p) − rot(γ)
is in general equal to the number of rays through p that are tangent to
γ, counted with appropriate signs. (“In general” refers to a suitable
transversality hypothesis.)
Exercise 6.5.3. Let γ0 and γ1 be regular smooth loops in Ω (an
open subset of C). A homotopy h between them is called a regular
homotopy if, for each s ∈ [0, 1], the loop γs defined by
γs (t) = h(s, t)
is also regular and smooth. Give an example of two loops that are
homotopic but not regularly homotopic.
Exercise 6.5.4. Show that two regular smooth loops in C are reg-
ularly homotopic if and only if they have the same rotation number.
This is the Whitney-Graustein theorem; see [39]. To prove the “if”
part, try to integrate a homotopy on the level of derivatives (γ ) to a
homotopy on the level of the curves themselves (γ).
Exercise 6.5.5. In the proof of Proposition 6.1.4 we left to the reader
the verification that the secant map is continuous at (0, 1). Here is
one way to approach this. Define a new smooth path θ by
γ(s + 12 ) (0 s 12 ),
θ(s) =
γ(s − 12 ) ( 21 < s 1)
(smoothness at s = 12 follows from the regular loop condition for γ at
t = 0). Then define for t > 12 and t < 12 ,
⎧
⎨ θ(t− 12 )−θ(t + 12 )
t−t −1 (t − t < 1),
h(t , t) =
⎩γ (0) (t = 1, t = 0).
Show that h is continuous and that υ(h(t , t)) = −σ(t , t) for all t, t .
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
118 6. Vector Fields and the Rotation Number
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
6.5. Exercises 119
where the sum runs over the self-intersections and q , q are points in
the two cells of C \ γ ∗ that are adjacent to the base point γ(0) = γ(1).
(Use an induction argument on the number of self-intersections.)
Exercise 6.5.9. Show that if a path in the plane has constant cur-
vature 1/r, it is (part of) a circle of radius r.
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
120 6. Vector Fields and the Rotation Number
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
http://dx.doi.org/10.1090/stml/076/07
Chapter 7
121
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
122 7. The Winding Number in Functional Analysis
basis for U . That is, the dimension of U is the smallest n for which
we can find u1 , . . . , un ∈ U such that every u ∈ U can be written
u = ni=1 λi ui for some scalars λi ∈ C.
We will also need the notion of codimension. By definition, the
codimension (Definition A.3.10) of the subspace U of V is the dimen-
sion of an algebraic complement to U , that is, the smallest number n
for which there exist v1 , . . . , vn ∈ V such that, for every v ∈ V , one
can write
n
v= μi vi + u, μi ∈ C, u ∈ U.
i=1
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
7.1. The Fredholm index 123
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
124 7. The Winding Number in Functional Analysis
T ∗ (a0 , a1 , a2 , a3 , . . .) = (a1 , a2 , a3 , a4 , . . .)
The next result gives the key properties of the Fredholm index.
These properties should remind you very strongly of the key prop-
erties of the winding number, Theorem 3.2.7. We’ll prove the first two
statements (the Fredholm operators form an open set and the index
is constant on path components) in the next section. As for the final
statement (all integers can be obtained), we have already seen exam-
ples of Fredholm operators of index ±1 (the unilateral shift and its
adjoint), and by taking powers of these we can obtain Fredholm op-
erators of any integer index. We’re not going to prove in detail that
two Fredholm operators having the same index are in the same path
component, as the argument requires more Hilbert space technology
than I want to develop. But I wanted to state the full result (Theo-
rem 7.1.6) so you can see the closeness of the parallel to the winding
number.
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
7.2. Atkinson’s theorem 125
If
S
= s < 1, then
S n
sn , and so simple estimates show that
the partial sums of the above series form a Cauchy sequence in the
normed vector space B(H). Since B(H) is complete, this Cauchy
sequence converges to a bounded operator R. We have
∞
SR = RS = Sn = R − I
n=1
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
126 7. The Winding Number in Functional Analysis
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
7.2. Atkinson’s theorem 127
The index of this diagonal matrix is clearly the sum of the indices
of the diagonal entries. But the first diagonal entry is just a linear
transformation between finite-dimensional vector spaces, so its index
is dim V0 − dim W0 = Index(T ), and the second entry is invertible so
it has index zero. Thus T + L is Fredholm and has the same index as
T , completing the proof.
(a) T is Fredholm.
(b) T is invertible modulo finite-rank operators: there is a bounded
operator S such that I − ST and I − T S are of finite rank.
(c) T is invertible modulo compact operators: there is a bounded op-
erator S such that I − ST and I − T S are compact operators.
See Definition F.3.3 for the definitions of “finite rank” and “com-
pact” operators. For those who are familiar with the terminology,
Atkinson’s theorem can be expressed as follows: an operator T is
Fredholm if and only if its image in the quotient algebra B(H)/K(H)
is invertible. This quotient (called the Calkin algebra Q(H)) is an
important object in operator algebra theory.
1
This projection exists by Theorem F.2.4.
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
128 7. The Winding Number in Functional Analysis
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
7.3. Toeplitz operators 129
T2 cos(πs/2) I sin(πs/2)
Vs = , s ∈ [0, 1].
−I sin(πs/2) S2 cos(πs/2)
T2 0 0 I
V0 = , V1 = .
0 S2 −I 0
T1 0
Ws = Vs .
0 I
This is also a continuous path of Fredholm operators with
T 1 T2 0 0 T1
W0 = , W1 = .
0 S2 −I 0
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
130 7. The Winding Number in Functional Analysis
Mg (f ) = gf ∀f ∈ H = L2 (S 1 ).
N
g(t) = cn eint ,
n=−N
N
Mg eikt = cn ei(k+n)t .
n=−N
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
7.3. Toeplitz operators 131
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
132 7. The Winding Number in Functional Analysis
From our discussion above we can see that the matrix of a Toeplitz
operator with symbol g is the truncation of the matrix given in Propo-
sition 7.3.3 for the corresponding multiplication operator. That is,
⎡ ⎤
c0 c−1 c−2 · · ·
⎢ c1 c0 c−1 ⎥
⎢ ⎥
(7.3.7) ⎢ c2 c1 c0 ⎥.
⎣ ⎦
.. ..
. .
Whereas the diagonals of the “multiplication matrix” of Proposi-
tion 7.3.3 were “two-way infinite”, the diagonals of the corresponding
“Toeplitz matrix” (7.3.7) are only “one-way infinite”. This gives rise
to some edge effects when we multiply Toeplitz matrices. It turns out
that these “edge effects” are represented by compact operators:
Proposition 7.3.8 (Symbolic calculus). Let g1 and g2 be contin-
uous functions on S 1 . Then
Tg1 g2 − Tg1 Tg2 ∈ K;
in other words, the assignment g → Tg is a homomorphism modulo
compact operators.
Proof. Let P denote the Hardy projection. I claim that for any
continuous g the commutator
[P, Mg ] := P Mg − Mg P
is compact. This will be enough since then
Tg1 Tg2 = P Mg1 P Mg2 ∼ P P Mg1 Mg2 = P Mg1 g2 = Tg1 g2 ,
where the notation ∼ denotes “equality modulo compacts”.
To prove the claim, consider the collection C of all continuous
functions g that satisfy it. Clearly C is a vector space, and the identity
[P, AB] = [P, A]B + A[P, B]
shows that it is closed under multiplication. A direct computation
shows that [P, Mg ] is a rank-one operator when g(t) = e±it . It follows
that C contains all trigonometric polynomials. Now for a general g let
gn be a sequence of trigonometric polynomials converging uniformly
to g (the existence of such a sequence is guaranteed by the Weierstrass
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
7.4. The Toeplitz index theorem 133
Proof. Since g does not vanish, the function g −1 is defined and con-
tinuous everywhere. By the symbolic calculus of Proposition 7.3.8,
Tg Tg−1 and Tg−1 Tg are equal modulo compacts to T1 = I. Thus Tg is
invertible modulo compacts, so it is Fredholm by Atkinson’s theorem
(Proposition 7.2.4).
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
134 7. The Winding Number in Functional Analysis
(b) Show that the index is multiplicative: Index Tg1 g2 = Index Tg1 +
Index Tg2 .
(c) Deduce that the index is a multiple of the winding number; fix
the multiple by computing one example.
To prove (a), we notice that Tg “depends continuously on g”:
specifically, if sup{|g1 (x) − g2 (x)|} < ε, then
Mg1 − Mg2
=
Mg1 −g2
< ε
Tg1 − Tg2
=
P (Mg1 − Mg2 )
P
Mg1 − Mg2
=
Mg1 −g2
< ε
since
P
= 1. It follows that if s → gs is a homotopy of maps S 1 →
C\{0}, then s → Tgs is a continuous path of Fredholm operators, and
therefore that Index Tgs does not depend on s by Proposition 7.2.3.
To prove item (b), notice that Tg1 g2 is equal modulo compacts
to Tg1 Tg2 , by the symbolic calculus of Proposition 7.3.8, and these
two operators therefore have the same index by Corollary 7.2.5. By
Proposition 7.2.6, Index(Tg1 Tg2 ) = Index(Tg1 ) + Index(Tg2 ).
Now Theorem 3.2.7 and Lemma 3.2.6 tell us that loops in C \ {0}
are classified up to homotopy by their winding numbers, with the
pointwise product of loops corresponding to the addition of winding
numbers and each loop being homotopic to some power of the basic
loop z → z. It follows that any integer-valued, multiplicative homo-
topy invariant of loops in C \ {0} is of the form g → k wn(g, 0), where
the constant k is the value of the invariant on the basic loop. In the
case of the Toeplitz index, we have already carried out the calculation
of k in Example 7.4.3 above.
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
7.4. The Toeplitz index theorem 135
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
136 7. The Winding Number in Functional Analysis
7.5. Exercises
Exercise 7.5.1. Let H be a Hilbert space and suppose that E and
F are closed subspaces with E ⊆ F . Show that F ⊥ ⊆ E ⊥ and that
the codimension of E in F is the same as the codimension of F ⊥ in
E ⊥.
Exercise 7.5.2. If T is a Fredholm operator on Hilbert space, show
that its adjoint T ∗ is a Fredholm operator also and Index(T ∗ ) =
− Index(T ).
Exercise 7.5.3. An operator T on a Hilbert space is normal if it
commutes with is adjoint, T T ∗ = T ∗ T .
(i) If T is a normal Fredholm operator, show that its index is zero.
(ii) An operator T is essentially normal if the difference T T ∗ − T ∗ T
is compact. Show that the sum of a normal operator and a
compact operator is essentially normal.
(iii) Show that there exist essentially normal operators that cannot
be expressed as the sum of a normal operator and a compact
operator.
Elucidating the phenomenon in (iii) above leads one to the Brown-
Douglas-Fillmore theory [11], an important link between operator
theory and topology.
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
7.5. Exercises 137
and
/ H S / H / H /0
0
Ker(S) + Im(T ) Im(ST ) Im(S)
are exact. (See Definition A.3.17 for the terminology.)
(ii) Count dimensions in these exact sequences (Theorem A.3.18)
and use the “second isomorphism theorem”
Ker(S) + Im(T ) ∼ Ker(S)
=
Im(T ) Ker(S) ∩ Im(T )
to complete the proof of the desired result.
Exercise 7.5.5. Fredholm was originally interested in solutions to
integral equations of the form f (x) − k(x, y)f (x) = g(x): for our
purposes these can be written (I + K)f = g, where I is the iden-
tity and K a compact operator (on some Hilbert space). In these
circumstances he formulated what came to be called The Fredholm
Alternative 3 , namely the statement that the following conditions are
equivalent:
• Solutions always exist to the inhomogeneous problem; i.e.,
for every g there exists f such that (I + K)f = g.
• Solutions to the homogeneous problem are unique; i.e., the
only f such that (I + K)f = 0 is f = 0.
Prove the Fredholm alternative as a consequence of our general results
on Fredholm operators.
3
This really should have been the title of a book by Robert Ludlum.
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
138 7. The Winding Number in Functional Analysis
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
http://dx.doi.org/10.1090/stml/076/08
Chapter 8
Coverings and
the Fundamental Group
139
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
140 8. Coverings and the Fundamental Group
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
8.1. The fundamental group 141
Remark 8.1.7. How does the group π1 (X, x0 ) depend on the choice
of basepoint? We need to assume that X is path connected to answer
this question. Assuming this, let x0 and x1 be two basepoints and
let ϕ : [0, 1] → X be a path connecting them, with ϕ(0) = x0 and
ϕ(1) = x1 ; let ϕ be the reversed path (ϕ (t) = ϕ(1 − t)). If γ is a
loop based at x0 , then ϕ ∗ γ ∗ ϕ is a loop based at x1 , and this process
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
142 8. Coverings and the Fundamental Group
Suppose that (X, x0 ) and (Y, y0 ) are spaces with basepoint and
that f : X → Y is a based map — that is, a continuous map with
f (x0 ) = y0 . Then, for any loop γ : [0, 1] → X in X, the composite
f ◦ γ : [0, 1] → Y is a loop in Y . Moreover, this construction passes
to homotopy classes and so it gives rise to a map f∗ : π1 (X, x0 ) →
π1 (Y, y0 ). It is clear that for g1 , g2 ∈ π1 (X, x0 ),
f∗ (g1 ∗ g2 ) = f∗ (g1 ) ∗ f∗ (g2 );
that is, f∗ is a homomorphism of groups (Definition G.3.1). It is
called the induced homomorphism associated to the map f .
The construction has the following obvious properties.
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
8.2. Covering and lifting 143
into problems in another theory (say, algebra). This is the basic idea
of “algebraic topology”.
Example 8.1.9. Let’s use these ideas to prove the Brouwer fixed-
point theorem yet once more. As we observed before, this is equivalent
to the no-retraction theorem (Theorem 4.1.2): there is no retraction
of the closed disc D2 onto its boundary S 1 .
Well, suppose there was. Such a retraction would amount to a
commutative diagram of spaces and maps
S1 B / S1
BB ||>
BB ||
BB ||
B! ||
D2
where the horizontal map is the identity, the downward diagonal is the
inclusion map, and the upward diagonal is the supposed retraction.
Applying the fundamental group functor would give us a commutative
diagram of groups and homomorphisms
Z> /Z
>> ?
>>
>>
>
0
where the horizontal map is the identity. But clearly no such diagram
exists (the identity map Z → Z cannot factor through a trivial group
or else it would itself be trivial).
Remark 8.1.10. Let f : (X, x0 ) → (Y, y0 ) be a based map. If there
is a map g : (Y, y0 ) → (X, x0 ) such that f ◦ g is homotopic to the iden-
tity map on Y and g ◦ f is homotopic to the identity map on X, then
we say that f is a homotopy equivalence. From the functorial proper-
ties of the induced homomorphism it follows that if f is a homotopy
equivalence, then f∗ : π1 (X, x0 ) → π1 (Y, y0 ) is an isomorphism.
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
144 8. Coverings and the Fundamental Group
X1 A
h / X2
AA }}
AA }}
A }}
f1 AA
~}} f2
Y
commutes.
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
8.2. Covering and lifting 145
x
y
map”, are unrelated, but both are part of the standard terminology
of the subject.
Consider the exponential map e(t) = exp(2πit), from R to S 1 ,
a familiar friend from earlier chapters. It is a local homeomorphism
but not a global homeomorphism. In fact,
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
146 8. Coverings and the Fundamental Group
X × {0} /E
_ v:
v
v p
v
v
X × [0, 1] / B.
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
8.2. Covering and lifting 147
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
148 8. Coverings and the Fundamental Group
numbers t ∈ [0, 1] such that f (s) = f (s) for all s ∈ [0, t]. By
hypothesis, T is a nonempty interval with left endpoint 0. Let t0 =
sup T . There is ε > 0 such that V = (t0 −ε, t0 +ε)∩[0, 1] is contained in
f −1 (U ) for some trivializing set U . Now using the local trivialization,
we may identify p−1 (U ) ⊆ E with U × F , where F is some discrete
space, and under this identification f and f become maps of the
form
Since g (s) = g (s) for some s ∈ V , this identity must hold for all
s ∈ V (a continuous map from an interval to a discrete space must be
constant). If t0 < 1, then V contains s > t0 , which is a contradiction;
so t0 = 1 and moreover 1 ∈ V , and this is the desired uniqueness
statement.
Step (c). Next we will prove the existence statement under the
assumption that X itself is modest. The proof is quite similar to the
proof of uniqueness. Let now T be the collection of all those numbers
t ∈ [0, 1] for which a continuous lift f˜ of f , starting at the given
f˜0 , exists on X × [0, t]. Clearly T is a nonempty interval with left
endpoint 0. Let t0 = sup T . By the assumption that X is modest,
there is ε > 0 such that if V = (t0 − ε, t0 + ε) ∩ [0, 1], then X × V
is contained in f −1 (U ) for some trivializing set U . Now using the
local trivialization, we may identify p−1 (U ) ⊆ E with U × F , where
F is some discrete space, and under this identification the lifting f˜
becomes a map of the form
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
8.2. Covering and lifting 149
over each of these modest balls. By Step (b), whenever two modest
balls overlap, the corresponding liftings agree. By the gluing lemma
(Proposition B.4.2), the liftings over modest balls fit together to define
a continuous lifting on all of X × [0, 1], as required.
(E, e0 )
u:
g u
u p
u
u f
(Y, y0 ) / (B, b0 )
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
150 8. Coverings and the Fundamental Group
S 1 × {0}
θ /E
_ v:
v
v p
v
v
S 1 × [0, 1]
h / B.
The existence of the lifting (the diagonal map in the diagram) shows
in particular that γ ∗ γ lifts to a loop in E and therefore that the
endpoints of the lifts of γ and γ are the same.
The local connectedness hypothesis comes in when we try to
prove that the map g that we have defined is continuous. Suppose
that U is an open neighborhood of g(y) in E. Then p(U ) is open
in B, and, without loss of generality, we may take U so small that
p−1 (p(U )) ∼
= U × F where F is the (discrete) fiber. By the local con-
nectedness, there is a path-connected open neighborhood V of y such
that f (V ) ⊆ p(U ). For y ∈ V , a path from y0 to y may be defined
as the concatenation of γ with a path that remains entirely within V
(because V is path connected). A lift of this path may be defined by
concatenating a lift of γ with a path that lies entirely in p(V ) × F
where the fiber component remains constant, i.e., which lies entirely
in U . Thus g(V ) ⊆ U . This proves g is continuous at y.
Finally, the uniqueness claim follows from the uniqueness part of
Theorem 8.2.6.
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
8.3. Group actions 151
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
152 8. Coverings and the Fundamental Group
and this will contradict the FPD condition for n, m sufficiently large.
Thus the distance between distinct orbits is strictly positive.
To prove the triangle inequality, consider three orbits Ω, Ω , Ω
equal to Gx, Gx , Gx , respectively. By definition of the infimum, for
any ε > 0 there exist g , g ∈ G such that
d(x, g x ) < d(Ω, Ω ) + ε, d(x , g x ) < d(Ω , Ω ) + ε.
Then
d(Ω, Ω ) d(x, g g x ) d(x, g x ) + d(g x , g g x )
= d(x, g x ) + d(x , g x ) d(Ω, Ω ) + d(Ω , Ω ) + 2ε.
Letting ε → 0 we obtain the triangle inequality.
Proposition 8.3.7. Suppose that G acts on the metric space X by
an FPD isometric action. Then the natural map p : X → G\X is a
covering map with fiber G (equipped with a discrete metric).
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
8.4. Examples 153
8.4. Examples
In the previous section we proved that if a group G acts freely and
properly discontinuously on a simply connected space X, then the
quotient space G\X has fundamental group G. We will give several
examples.
Example 8.4.1. Considering the FPD action of Z on R by transla-
tions recovers for us the calculation π1 (S 1 ) = Z which underlies the
notion of winding number.
Example 8.4.2. Letting Z2 act on R2 by translations, we get the
calculation π1 (T 2 ) = Z2 , where T 2 is the torus. This also can be
deduced from the case of the circle using Exercise 8.7.1.
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
154 8. Coverings and the Fundamental Group
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
8.4. Examples 155
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
156 8. Coverings and the Fundamental Group
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
8.5. The Nielsen-Schreier theorem 157
It was proved by Novikov that there exist groups for which there
is no solution to the word problem — there is no algorithm to decide
whether or not a given word represents the identity. Combining these
ideas with topological constructions, it can be shown that there is no
algorithm to decide whether or not two explicitly given 4-dimensional
manifolds are homeomorphic to one another.
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
158 8. Coverings and the Fundamental Group
Figure 8.3. Part of the Cayley graph of the free group. All
edges have length 1.
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
8.5. The Nielsen-Schreier theorem 159
This result is also true for infinite graphs, but to keep things
simple we will prove only the finite case.
Proof. A basic (and easy) theorem of graph theory says that a con-
nected graph has a spanning tree, that is, a subgraph which contains
all the vertices and has no circuits (see Lemma G.4.4). The spanning
tree of our finite graph contains all V vertices and V − 1 edges, so
there are n = E − V + 1 edges of the graph that do not belong to the
spanning tree.
Let (Y, y0 ) be a bouquet of n circles. Define a map f : X → Y
by sending every point of the spanning tree to y0 and sending the
n remaining edges linearly to the n circles of the bouquet. Define
a map g : Y → X by sending each circle of the bouquet linearly to
the loop in X obtained by following the spanning tree outward to the
beginning of the corresponding edge, traversing that edge, and then
following the spanning tree inward again to the basepoint. It is not
hard to see that f ◦ g and g ◦ f are homotopic to their respective
identity maps.
Thus the graph X is homotopy equivalent (Remark 8.1.10) to
a bouquet of n circles, which means that its fundamental group is
isomorphic to the fundamental group of such a bouquet — that is, to
the free group Fn .
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
160 8. Coverings and the Fundamental Group
1
See Remark G.2.9.
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
8.6. An application to nonassociative algebra 161
as asserted.
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
162 8. Coverings and the Fundamental Group
m−1
a
b
a · b
m
a
for all a, b ∈ A.
Proof. Let S n−1 denote the unit sphere in Rn . Consider the set
S = {
a · b
: (a, b) ∈ S n−1 × S n−1 } ⊆ R+ . Since S n−1 × S n−1 is
compact, S is a compact set of strictly positive real numbers, so it is
bounded above and below. Choose m = max{sup(S), inf(S)−1 } and
use bilinearity to complete the proof.
q(x) − q(a) = x · x − a · a = (x − a) · (x + a)
which shows, since there are no zero-divisors, that if q(x) = q(a), then
x = ±a. Note that this factorization depends on the commutative
and bilinear properties of multiplication only; it does not require the
associative law.
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
8.6. An application to nonassociative algebra 163
At this point we have split the proof of Theorem 8.6.1 into two
cases:
(i) A is 1-dimensional: in this case it is easily seen that A ∼
= R as
an algebra.
(ii) A is higher-dimensional: in this case we now know that q maps
A \ {0} onto A \ {0}. We’ll continue the analysis to show that
in this second case dim A = 2.
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
164 8. Coverings and the Fundamental Group
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
8.7. Exercises 165
8.7. Exercises
Exercise 8.7.1. Let X and Y be metric spaces (compact, if you
like) with basepoints x0 and y0 . Let Z = X × Y with basepoint
z0 = (x0 , y0 ). Show that there is an isomorphism
∼ π1 (X, x0 ) × π1 (Y, y0 ).
π1 (Z, z0 ) =
Exercise 8.7.2. Suppose that X is path connected and π1 (X, x0 )
is abelian. Show that, in this case, the isomorphisms π1 (X, x)0 ) →
π1 (X, x1 ) associated to different paths from x0 to x1 are all the same.
Exercise 8.7.3. Prove that homotopy equivalence is an equivalence
relation (on the class of compact metric spaces with basepoint).
Exercise 8.7.4. Show that the real projective plane can be obtained
by gluing a disc to a Möbius band along their boundary circles, and
that in terms of this identification the generator of the fundamental
group of RP2 is the “core” circle of the Möbius band.
Exercise 8.7.5. Show that there is no retraction of the Möbius band
onto its boundary circle.
Exercise 8.7.6. Regard the 3-sphere S 3 as the space {(z1 , z2 ) :
z1 , z2 ∈ C, |z1 |2 + |z2 |2 = 1}. Let p, q be natural numbers with p
prime, q < p. Let T be the transformation S 3 → S 3 defined by
T (z1 , z2 ) = (e2πi/p z1 , e2πiq/p z2 ).
Describe a metric on S 3 for which T is an isometry.
An action of Z on S 3 is defined by n · x = T n (x). The orbit
space of this action is called the lens space L(p, q). Compute the
fundamental group of L(p, q).
Exercise 8.7.7. Consider the group G of isometries of R2 generated
by the two transformations a(x, y) = (x + 1, y) (a translation) and
b(x, y) = (−x, y + 1) (a glide reflection). Verify that ba = a−1 b
(equivalently, aba = b). Deduce that any g ∈ G can be written as
am bn and the multiplication law is
n
m n+n
(am bn )(am bn ) = am+(−1) b .
Show that G is a nonabelian group and that its action on the plane
is FPD. (The quotient G\R2 is called the Klein bottle.)
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
166 8. Coverings and the Fundamental Group
Exercise 8.7.8. (a) Show that every continuous map from the real
projective plane to the torus is nullhomotopic.
(b) Must every continuous map from the torus to the real projective
plane be nullhomotopic?
Exercise 8.7.9. Implement Algorithm 1 in your favorite program-
ming language and check that it really works.
Exercise 8.7.10. Verify the “not hard to see” statement in the proof
of Proposition 8.5.2.
Exercise 8.7.11. Let G = F2 be the free group on two generators
x and y. Let C(x) denote the set of all g ∈ G whose reduced word
begins with a strictly positive power of x, and let C(x−1 ) denote
those whose reduced word begins with a strictly negative power of x.
Similarly define C(y) and C(y −1 ). Show that
G = {e} ∪ C(x) ∪ C(x−1 ) ∪ C(y) ∪ C(y −1 )
but also
G = xC(x−1 ) ∪ C(x), G = yC(y −1 ) ∪ C(y).
Deduce that there is no way to assign “probabilities” to subsets of
G that satisfy the ordinary laws of probability theory (probabilities
are real numbers between 0 and 1, the probability of all of G is 1,
the probability of the empty set is 0, the probability of A ∪ B is the
probability of A plus the probability of B minus the probability of
the intersection), which is also translation invariant (the probability
of A equals the probability of gA, for all g ∈ G).
(This question produces a paradoxical decomposition: G is de-
composed into four pieces which can be reassembled to make two
copies of G. The underlying idea can be used in more complicated
paradoxical decompositions such as the Banach-Tarski paradox, de-
composing a solid ball in R3 into finitely many pieces which can be
reassembled to make two equal-size balls. See [38].)
Exercise 8.7.12. Show that C \ {−1, 1} is homotopy equivalent to
the bouquet of two circles. Use this and our computations for the free
group to verify that the loop in C\{−1, 1} described in Exercise 5.7.15
is not homotopic to a constant loop.
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
8.7. Exercises 167
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
http://dx.doi.org/10.1090/stml/076/09
Chapter 9
169
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
170 9. Coda: The Bott Periodicity Theorem
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
9.1. Homotopy groups 171
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
172 9. Coda: The Bott Periodicity Theorem
π1 (S 1 ) = Z → π2 (S 2 ) → π3 (S 3 ) → · · ·
the first map is an epimorphism and all the subsequent maps are
isomorphisms. But the suspension map is clearly compatible with
the degree, so that degree gives a right inverse to the epimorphism
π1 (S 1 ) → π2 (S 2 ). Thus all suspension maps are isomorphisms in this
case, and πn (S n ) = Z.
Example 9.1.7. The existence of the degree allows one to prove the
general case of the no-retraction theorem (Theorem 4.1.2) and there-
fore of the Brouwer fixed-point theorem. Indeed, we can mimic the
proof given in Chapter 4 for the 2-dimensional case of Theorem 4.1.2,
using the degree of a map S n−1 → S n−1 in place of the winding
number of a map S 1 → S 1 .
1 2 3 4
1 Z 0 0 0
2 0 Z ? ?
3 0 0 Z ?
4 0 0 0 Z
This evidence is compatible with the idea that the whole table is full
of zeroes except for Z’s down the diagonal. What makes homotopy
theory fascinating (and difficult) is that this is very far from being
the case. The first “?” in the table, π3 (S 2 ), provides an example.
It turns out that this group is not zero, but Z. The generator is the
Hopf map. (See [24] for a more detailed introduction.)
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
9.1. Homotopy groups 173
Compare this with Theorem 8.2.6 for covering spaces. The dif-
ference is that in the definition of fibration, we do not assert that the
lift (the diagonal map) is uniquely determined by the given data. For
example, any product projection B × F → B is a fibration, whether
or not F is discrete.
If p : E → B is a fibration and B is path connected, then all of the
fibers p−1 {x}, x ∈ B, are homotopy equivalent. (Exercise: Prove
this!) One usually picks one, e.g., the inverse image of the basepoint,
and calls it “the” fiber F of the fibration.
If G is a Lie group acting transitively by diffeomorphisms on a
manifold X, then the map G → X defined by g → g·x0 (x0 being some
fixed point in X) is a fibration whose fiber is the stabilizer subgroup
Gx0 = {g ∈ G : g · x0 = x0 }.
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
174 9. Coda: The Bott Periodicity Theorem
In particular this covers the case of the Hopf fibration, which is given
by an action of the Lie group S 3 = SU (2) (2 × 2 complex unitary
matrices with determinant 1) on S 2 by rotations.
Another important example is the path space fibration. Let B
be any pointed space and let P B be the path space (Example 2.2.6)
of B, that is, the collection of all maps [0, 1] → B that start at the
basepoint. There is then a natural map p : P B → B sending each
path in P B to its “free” end. A tautological argument shows that
this map is a fibration. Its fiber is the loop space ΩB.
Theorem 9.1.10. Let p : E → B be a fibration with fiber F . There
is a long exact sequence of homotopy groups
· · · → πk+1 (E) → πk+1 (B) → πk (F ) → πk (E) → πk (B) → · · · .
When you see something like this, the most important question
to ask is, how is the connecting homomorphism defined—that is, the
one which shifts dimension, from πk+1 (B) → πk (F )? This homomor-
phism is just a generalized version of our definition of the winding
number! For instance if k = 0, we start with a loop in B, lift it to a
path in E starting at the basepoint, and ask where in F it ends up
(π0 (F ) = F when F is discrete). The general case is just a version
“with parameters” of the same argument.
Example 9.1.11. For the Hopf fibration we obtain isomorphisms
πk (S 3 ) = πk (S 2 ) for k 3, and also π2 (S 2 ) = π1 (S 1 ) via the con-
necting map (this is an alternative way to compute π2 (S 2 )).
Example 9.1.12. The path space P B is always contractible, as we
discussed a while ago, so the connecting map gives isomorphisms
πk (B) = πk−1 (ΩB) for all k. The k = 1 case of this is our origi-
nal definition of the fundamental group (as path components of the
loop space).
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
9.2. The topology of the general linear group 175
and the associated long exact sequence of homotopy groups gives the
result.
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
176 9. Coda: The Bott Periodicity Theorem
GL → E → Fred0 ,
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
9.2. The topology of the general linear group 177
W = U ⊕ (U −1 ⊕ U ) ⊕ (U −1 ⊕ U ) ⊕ · · · .
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
178 9. Coda: The Bott Periodicity Theorem
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
9.2. The topology of the general linear group 179
0 |x|ϕ(x/|x|)
Φ(x) = .
|x|ϕ(x/|x|)−1 0
In other words, we have first extended ϕ homogeneously from the
unit sphere to the whole of Euclidean space, and then we have “dou-
bled” it to act on Cm ⊕ Cm . A vector space which is split into two
“halves” in this way is sometimes called a super vector space, and
linear transformations on it are classified as odd or even according to
whether they preserve or reverse the two factors in the decomposition.
The map Φ is what is called a homogeneous supersymmetry; in other
words, it is odd and satisfies
Φ(x)2 = |x|2 I.
The homotopy classes of such homogeneous supersymmetries on Rk
can be organized into a group K(Rk ), which is of course isomorphic
to πk−1 (GL) — all we have done is rewrite things in a different way.
The advantage of this approach though is that it makes evident a
multiplicative structure which we might not have seen before. There
is a product K(Rk1 ) × K(Rk2 ) → K(Rk1 +k2 ) defined by
Φ = Φ1 ⊗1( + 1⊗Φ( 2,
)
and this makes the direct sum K = k
k K(R ) into a graded ring.
What we have to prove is that this graded ring is actually a polynomial
ring on b ∈ K(R2 ), where b is the Bott generator
0 z
b(z) = ,
z̄ 0
where we have identified R2 with C.
The map α : πk+1 (GL) → πk−1 (GL) defined by Toeplitz index
theory now becomes a map of degree −2, α : K → K.
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
180 9. Coda: The Bott Periodicity Theorem
K(X × R2 )
b / K(X × R2 × R2 )
α α
K(X)
b / K(X × R2 )
commutes.
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
http://dx.doi.org/10.1090/stml/076/10
Appendix A
Linear Algebra
181
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
182 A. Linear Algebra
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
A.1. Vector spaces 183
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
184 A. Linear Algebra
V2
V2
V2
V1
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
A.2. Basis and dimension 185
k
nontrivial linear relation i=1 μi si = 0, some μj = 0, among
its members.)
(ii) If the map ΦS is surjective, we say that S is a spanning set for
V , or spans V . (That is to say, every vector in V is a linear
combination of members of S.)
(iii) If the map ΦS is bijective, we say that S is a basis for V . (That
is, a basis is a linearly independent spanning set.)
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
186 A. Linear Algebra
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
A.2. Basis and dimension 187
j
m−j
tj+1 = λ i ti + μi s i .
i=1 i=1
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
188 A. Linear Algebra
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
A.3. Linear transformations 189
x = y + w, y ∈ Y, w ∈ W.
y = x + (−w), x ∈ X, (−w) ∈ W,
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
190 A. Linear Algebra
f = (f − f (0)1) + (f (0)1)
* +, - * +, -
∈W ∈X
shows that W + X = V .
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
A.3. Linear transformations 191
V W
Complement Complement
to Ker T ∼
= to Im T
Ker T T Im T
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
192 A. Linear Algebra
Proof. This follows immediately from Theorem A.3.14 and the def-
inition of codimension.
A.4. Duality
Let V be a vector space with scalar field K. A linear map ϕ : V → K
is called a linear functional on V .
Suppose that ϕ1 , ϕ2 are linear functionals. We can define their
sum to be the linear functional ϕ given by
ϕ(v) = ϕ1 (v) + ϕ2 (v).
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
A.4. Duality 193
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
194 A. Linear Algebra
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
A.5. Norms and inner products 195
Lemma A.5.2. Let V be an inner product space. Then for all vectors
u, v ∈ V we have the Cauchy-Schwarz inequality
|
u, v|
u
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
196 A. Linear Algebra
v
.
The right side is (
u
+
v
)2 , and taking square roots gives the
result.
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
A.6. Matrices and determinants 197
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
198 A. Linear Algebra
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
A.6. Matrices and determinants 199
Proof. We have
[T ]B C C B
B = [id]B [T ]C [id]C ,
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
200 A. Linear Algebra
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
A.6. Matrices and determinants 201
a transposition τ . Then
det(N ) = sign(σ)m1,τ σ(1) m2,τ σ(2) · · · mn,τ σ(n)
σ∈Sn
= (− sign(τ σ)) m1,τ σ(1) m2,τ σ(2) · · · mn,τ σ(n) = − det(M )
σ∈Sn
as required.
Proposition A.6.9. For square matrices M and N (of the same
size) we have
det(M N ) = det(M ) det(N ).
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
202 A. Linear Algebra
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
http://dx.doi.org/10.1090/stml/076/11
Appendix B
Metric Spaces
203
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
204 B. Metric Spaces
and then defining the distance between two vectors x and x by
d(x , x ) =
x − x
. The same formula also makes Cn into a met-
ric space. (These definitions come from the standard inner products
on Rn and Cn , respectively, so that the triangle inequality is a con-
sequence of Corollary A.5.3.) These examples are called Euclidean
spaces.
d(x, y) = #{i : 1 i n, xi = yi },
in other words, the number of positions in which the two words differ.
(The reader should check that the triangle inequality holds, so this
formulation does define a metric.) This so-called Hamming metric
was introduced in 1950 to give a technical foundation to the theory
of error-correcting codes [21].
is contained in U .
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
B.1. Metric spaces 205
Note carefully that “closed” does not mean the same as “not
open”. Many subsets of X are neither open nor closed, and some
may be both.
Example B.1.9. In a space with the metric of Example B.1.3, every
subset is open (and, therefore, every subset is also closed). A space
that has this property is called a discrete space. It is easy to see that a
metric space X is discrete if and only if, for every x ∈ X, the infimum
inf{d(x, y) : y ∈ X, y = x}
is strictly positive.
Lemma B.1.10. In any metric space, the union of any collection of
open subsets is an open subset. The intersection of a finite collection
of open subsets is open. The empty set ∅ and the entire metric space
X are open subsets of X.
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
206 B. Metric Spaces
Then B(x; ε) ⊆ Ui for all i, and thus B(x; ε) ⊆ U . Thus for any
x ∈ U there exists ε > 0 such that B(x; ε) ⊆ U , which is to say that
U is open.
Remark B.1.11. Mathematicians frequently say “U is open” as a
shorthand for “U is an open subset of whatever metric space X is
natural in the context”, but it is important to realize that openness
depends on X as well as on U . For example, the interval (0, 1) is an
open subset of R, but it is not an open subset of R2 (where we think
of R as the x-axis in R2 ).
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
B.2. Continuous functions 207
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
208 B. Metric Spaces
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
B.3. Compact spaces 209
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
210 B. Metric Spaces
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
B.3. Compact spaces 211
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
212 B. Metric Spaces
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
B.4. Function spaces 213
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
214 B. Metric Spaces
Maps(B, Y ) / Maps(A ∩ B, Y )
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
B.4. Function spaces 215
B(x; ε) ⊆ BA (x; ε) ∪ (X \ A) ⊆ U = X \ F.
In either case B(x; ε) ⊆ U . Thus U is open in X, so F is closed in
X, as required.
Now for the proof of the proposition. Let G be an arbitrary
−1
closed subset of Y . Since f|A is continuous, f|A (G) = f −1 (G) ∩ A is
a closed subset of A, and therefore a closed subset of X by the lemma.
Similarly, f −1 (G) ∩ B is a closed subset of X. But then
fx (y) = F (x, y) : Y → Z
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
216 B. Metric Spaces
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
http://dx.doi.org/10.1090/stml/076/12
Appendix C
Extension and
Approximation
Theorems
In this brief section we will prove two significant results about real-
valued functions on compact metric spaces, the Stone-Weierstrass the-
orem and the Tietze extension theorem. These results are important
in many parts of analysis: in this book, they will be involved in our
proof of the Jordan curve theorem (Chapter 4) and in our discussion
of Fredholm operators (Chapter 7).
217
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
218 C. Extension and Approximation Theorems
These sets are open, and x ∈ Vx , so they cover X. Take a finite
subcover and let gx be the (pointwise) maximum of the corresponding
functions fxx ∈ L. Because L is a lattice, gx ∈ L and by construction,
Again these form an open cover of X; take a finite subcover and let
g be the (pointwise) minimum of the corresponding gx . Then g ∈ L
and by construction h − ε < g < h + ε, as required.
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
C.1. The Stone-Weierstrass theorem 219
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
220 C. Extension and Approximation Theorems
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
C.2. The Tietze extension theorem 221
function spaces
Maps(X, Y ) → Maps(A, Y )
which is in a natural sense “dual” to the inclusion map A → X.
Must the restriction map Maps(X, Y ) → Maps(A, Y ) be surjective?
In other words, can every continuous map A → Y be extended to a
continuous map X → Y ? In general the answer is “no”, but it is
“yes” when the range space Y is R, the space of real numbers.
Proposition C.2.1 (Tietze extension theorem). Let A be a com-
pact subspace of a metric space X. Any continuous function A → R
can be extended to a continuous function X → R.
? f
A /R
with a continuous g to make it commutative.
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
222 C. Extension and Approximation Theorems
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
http://dx.doi.org/10.1090/stml/076/13
Appendix D
Measure Zero
The notion of set of measure zero (in the real line) is important in the
proof of Sard’s theorem (the 1-dimensional version, Proposition 3.4.6)
and the “general position” results that follow from it. In this section
we’ll review the basic definitions here.
is less than ε.
Example D.1.2. Clearly, any subset of a set of measure zero also has
measure zero. The union of two sets of measure zero also has measure
zero. A translate of a set of measure zero also has measure zero.
223
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
224 D. Measure Zero
n
(Ik ) b − β.
k=2
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
D.1. Measure zero subsets of R and of S 1 225
that is, the total length of the open intervals that comprise S is less
than or equal to the length of [a, b].
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
226 D. Measure Zero
Note that E itself might not have measure zero — for instance,
f might be a constant function!
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
D.1. Measure zero subsets of R and of S 1 227
(2/m) (dn − cn ) 2/m. Since f (E) ⊆ f (Em ) for every m, this
completes the proof.
Remark D.1.8. When we apply this idea in Chapter 3, we will need
to talk about measure zero for subsets of the unit circle S 1 , the set
of “directions of rays” through the origin in the complex plane. To
do this, let X be a subset of S 1 . Choose an interval (a, b) ⊆ R such
that b − a > 1, so that the map η : t → e2πit sends (a, b) onto S 1 , and
define X to have measure zero in S 1 if and only if η −1 (X) ∩ (a, b) has
measure zero in R. (It is not hard to see that the notion so defined
is independent of (a, b): increasing the size of the parameter interval
may lead to the same point of S 1 being “counted” multiple times,
but using the properties noted in Example D.1.2, one proves that the
notion of “measure zero” is not affected by this.)
Using Proposition D.1.4, one sees that the whole circle S 1 does
not have measure zero. Thus, the complement of a measure zero
subset of the circle is nonempty. That is the crucial fact we will
need in applying Sard’s theorem to show that there exist “transverse”
intersections of a smooth path with a generic ray.
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
http://dx.doi.org/10.1090/stml/076/14
Appendix E
Calculus on
Normed Spaces
For greater detail about these ideas, the best reference is still Dieudonné
[14, Chapter 8].
Let V be a (real or complex) vector space. Recall from Re-
mark A.5.5 the following definition.
229
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
230 E. Calculus on Normed Spaces
The triangle inequality (iii) above implies that a norm gives rise
to a metric via the expression d(u, v) =
u − v
.
Example E.1.2. Let V be a finite-dimensional vector space and
choose a basis {v1 , . . . , vn } for V . Each v ∈ V can then be written
uniquely as a sum nj=1 λj vj . The expression
⎛ ⎞1
2
n
v
= ⎝ |λj | 2⎠
j=1
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
E.2. The derivative 231
Proof. Once we have decrypted the o notation, we see that the equa-
tion in the proposition tells us that
f (x + h) − f (x)
− t → 0 as h → 0;
h
that is, by definition, f (x) exists and equals t.
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
232 E. Calculus on Normed Spaces
The underlying idea here is that the derivative Df (x) gives the
best linear approximation to f near x. Lemma E.2.3 shows that the
derivative (if it exists) is uniquely determined by (E.2.5).
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
E.3. Properties of the derivative 233
To reconcile this with Definition E.2.4 we need only rewrite the dis-
played equation as
Comparing with Definition E.2.4 we see that Df (x) is the linear map
R → W that sends h to f (x)h. In fact, every linear map R → W is
of the form h → ch, where c is a constant vector, so the two versions
of the definition contain exactly the same information.
Thus
d
Df (x)[v] = f (x + tv) ,
dt t=0
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
234 E. Calculus on Normed Spaces
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
E.3. Properties of the derivative 235
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
236 E. Calculus on Normed Spaces
This result is familiar in Calculus III under the form “the mixed
partial derivatives are symmetric” — that is, ∂ 2 f /∂x∂y = ∂ 2 f /∂y∂x.
x
o(
x
+
y
) o((
x
+
y
)2 ).
x
) o((
x
+
y
)2 ).
Putting these together,
f (x + y) − f (x) − f (y) − D2 f (0)[y, x]
o((
x
+
y
)2 )
and therefore, using the symmetry,
D2 f (0)[x, y] − D2 f (0)[y, x]
o((
x
+
y
)2 ).
A rescaling argument (as in the proof of Lemma E.2.3) now completes
the proof.
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
E.4. The inverse function theorem 237
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
http://dx.doi.org/10.1090/stml/076/15
Appendix F
Hilbert Space
239
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
240 F. Hilbert Space
∞
a, b = ān bn
n=1
One can think of the inner product in Example F.1.2 as being the
most direct “infinite-dimensional” generalization of the dot product
a · b = a1 b1 + a2 b2 + a3 b3
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
F.1. Definition and examples 241
a Hilbert space in this way? In other words, is this inner product space
complete? The answer is no:
Example F.1.4. Let {un } be the sequence of continuous functions
on [0, 2π] defined by
⎧
⎪
⎪nt (0 t 1/n),
⎪
⎪
⎨1 (1/n t 1),
un (t) =
⎪1 − n(t − 1)
⎪ (1 t 1 + 1/n),
⎪
⎪
⎩
0 (1 + 1/n t 2π).
Then it is easy to see that (un ) is a Cauchy sequence (in the norm
arising from the inner product(F.1.3)), but that it does not converge
in this norm to any continuous function.
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
242 F. Hilbert Space
The two basic examples that we have described above (2 and L2 )
are even more closely related than they may at first appear. In fact,
let H = L2 (S 1 ) be the Hilbert space of square-integrable functions
on the circle. The functions en (t) = eint , n ∈ Z, form an orthonormal
set in H: that is,
en , em equals 1 if n = m and equals 0 if n = m.
Definition F.1.6. Let f ∈ L2 (S 1 ) be a square-integrable function.
The Fourier coefficients of f are the inner products
2π
1
cn =
en , f = f (t)e−int dt.
2π 0
(Some
√ textbooks may have definitions that differ by a factor of
2π or 2π.) Now we have
Proposition F.1.7. The map that sends a function f to the sequence
{cn :=
en , f } of its Fourier coefficients is an isometric isomorphism
from L2 (S 1 ) to 2 (Z). The inverse map is defined as follows: for a
sequence {cn } in 2 (Z), the series cn en converges in L2 (S 1 ) to a
function f whose Fourier coefficients are the given sequence.
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
F.2. Orthogonality 243
N
say f = n=−N cn en , then one easily checks that
ek , f = ck for |k| N , = 0 otherwise,
f
2 = |cn |2 .
It follows from the Stone-Weierstrass theorem (Theorem C.1.5) that
every continuous function is a uniform limit of trigonometric poly-
nomials and therefore that every L2 function is a limit (in L2 ) of
trigonometric polynomials. The equality above may therefore be ex-
tended to all L2 functions by passing to the limit.
F.2. Orthogonality
Two vectors u and v in an inner product space are called orthogonal
if
u, v = 0.
Lemma F.2.1 (Pythagoras’s theorem). If u, v ∈ H are orthogo-
nal, then
u + v
2 =
u
2 +
v
2 .
Proof. Write
u + v
2 =
u + v, u + v =
u
2 +
u, v +
v, u +
v
2 .
Since
u, v =
v, u, this gives the result.
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
244 F. Hilbert Space
v
E
x
x
(the “cross terms” cancel out). Geometrically, this states that the
sum of the squares on the two diagonals of a parallelogram is equal
to the sum of the squares on all four edges.
Let u be a vector in some Hilbert space H. The collection u⊥ of
all vectors orthogonal to u is a closed subspace of H because it is the
kernel of the continuous linear map
v →
v, u
from H to C. It follows that for any S ⊆ H, the collection
4
S ⊥ := u⊥
u∈S
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
F.2. Orthogonality 245
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
246 F. Hilbert Space
holds for all v ∈ K ⊥ , and it also holds for all v ∈ K since both sides
are zero, so it holds for all v ∈ K ⊕ K ⊥ = H.
F.3. Operators
Let H and K be Hilbert spaces and let T : H → K be a linear map.
One says that T is bounded if the quantity
(F.3.1)
T
:= sup{
T x
:
x
1}
is finite. In that case,
T
is called the norm of T . The bounded
linear maps are exactly those which are continuous when we consider
H and K as metric spaces. In functional analysis we usually restrict
our attention to such maps. The collection of all bounded linear
maps from H to K, denoted B(H; K) (or just B(H) if H = K) then
becomes a normed vector space, and the completeness of K easily
implies that B(H; K) is also complete. A bounded linear map is also
called a linear operator.
Linear maps can be composed (multiplied) as well as added; that
is, B(H) is not only a normed vector space but also a ring. Notice
the inequality relating the norm to the composition of linear maps
ST
S
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
F.3. Operators 247
Proof. The expression for the norm follows from the equation
T
= sup{|
T x, y| :
x
,
y
1},
which in turn is a consequence of the Cauchy-Schwarz inequality.
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
http://dx.doi.org/10.1090/stml/076/16
Appendix G
√
−b ± b2 − 4ac
x=
2a
249
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
250 G. Groups and Graphs
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
G.2. Groups 251
G.2. Groups
Let S be a set. A binary operation on S is a mapping S × S → S,
in other words, a well-defined process which takes two members of
S as “input” and produces another as “output”. We are familiar
with many examples. The usual arithmetical operations are binary
operations on appropriate sets S: for instance, addition is a binary
operation on the natural numbers N, subtraction is a binary oper-
ation on the integers Z, multiplication is a binary operation on the
rational numbers Q, division is a binary operation on the nonzero
real numbers R \ {0} (division by zero is not defined!). Addition of
vectors in a vector space is a binary operation, composition of linear
transformations is a binary operation, concatenation of paths is a bi-
nary operation. A group is a set with a binary operation that obeys
various “symmetry” properties.
Definition G.2.1. A group is a set G equipped with a binary oper-
ation (here denoted by ∗) which has the following properties:
(a) (Associative law) For all g1 , g2 , g2 ∈ G we have
(g1 ∗ g2 ) ∗ g3 = g1 ∗ (g2 ∗ g3 ).
(b) (Existence of identity) There is an element e ∈ G, called the
identity, which has the property that for all g ∈ G,
e ∗ g = g = g ∗ e.
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
252 G. Groups and Graphs
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
G.2. Groups 253
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
254 G. Groups and Graphs
G.3. Homomorphisms
Let G and H be groups.
Definition G.3.1. A homomorphism from G to H is a map ϕ : G →
H such that
ϕ(g1 g2 ) = ϕ(g1 )ϕ(g2 )
for all g1 , g2 ∈ G.
Proof. The identity of a group G is the only element that satisfies the
equation g 2 = g (proof: multiply by g −1 ). Thus ϕ(eG )2 = ϕ(e2G ) =
ϕ(eG ) implies that ϕ(eG ) = eH .
Now ϕ(g)ϕ(g −1 ) = ϕ(gg −1 ) = ϕ(eG ) = eH . This implies that
ϕ(g) and ϕ(g −1 ) are inverses in H, as asserted.
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
G.3. Homomorphisms 255
Example G.3.5. Fix n. The map which assigns to each integer its
residue class modulo n is a homomorphism Z → Zn .
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
256 G. Groups and Graphs
This is not at all an obvious fact. To prove it, we will make use
of the concept of transposition: a transposition is a permutation that
interchanges just two elements of X, leaving the others fixed.
Proof. This is just a calculation. The first case occurs when the two
elements that τ interchanges belong to the same orbit of σ, and the
second case occurs when the two elements that τ interchanges belong
to different orbits of σ. In either case the other orbits (those that do
not involve the elements interchanged by τ ) are unaffected.
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
G.4. Graphs 257
G.4. Graphs
Definition G.4.1. A graph is a set V together with a relation E
on V which is nonreflexive and symmetric; that is, for all x, y ∈ V ,
(x, x) ∈
/ E, and (x, y) ∈ E if and only if (y, x) ∈ E.
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
258 G. Groups and Graphs
D E
A B C
Proof. Start with the given graph and, so long as this is possible,
keep removing edges while preserving connectedness. When this is
no longer possible — that is, when removal of any additional edge
will disconnect the graph — then you have, by definition, arrived at
a minimal connected graph, that is, a tree.
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
G.4. Graphs 259
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
260 G. Groups and Graphs
In other words, the distance between the points x and y in the path
metric is the length of the shortest path in |G| joining x and y. The
normalization factor 2−1/2 is put in so that the edges all have length 1.
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
Bibliography
261
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
262 Bibliography
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
Bibliography 263
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
Index
265
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
266 Index
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
Index 267
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
268 Index
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
Index 269
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
Selected Published Titles in This Series
76 John Roe, Winding Around: The Winding Number in Topology,
Geometry, and Analysis, 2015
73 Bruce M. Landman and Aaron Robertson, Ramsey Theory on the
Integers, Second Edition, 2014
72 Mark Kot, A First Course in the Calculus of Variations, 2014
71 Joel Spencer, Asymptopia, 2014
70 Lasse Rempe-Gillen and Rebecca Waldecker, Primality Testing for
Beginners, 2014
69 Mark Levi, Classical Mechanics with Calculus of Variations and Optimal
Control, 2014
68 Samuel S. Wagstaff, Jr., The Joy of Factoring, 2013
67 Emily H. Moore and Harriet S. Pollatsek, Difference Sets, 2013
66 Thomas Garrity, Richard Belshoff, Lynette Boos, Ryan Brown,
Carl Lienert, David Murphy, Junalyn Navarra-Madsen, Pedro
Poitevin, Shawn Robinson, Brian Snyder, and Caryn Werner,
Algebraic Geometry, 2013
65 Victor H. Moll, Numbers and Functions, 2012
64 A. B. Sossinsky, Geometries, 2012
63 Marı́a Cristina Pereyra and Lesley A. Ward, Harmonic Analysis,
2012
62 Rebecca Weber, Computability Theory, 2012
61 Anthony Bonato and Richard J. Nowakowski, The Game of Cops
and Robbers on Graphs, 2011
60 Richard Evan Schwartz, Mostly Surfaces, 2011
59 Pavel Etingof, Oleg Golberg, Sebastian Hensel, Tiankai Liu, Alex
Schwendner, Dmitry Vaintrob, and Elena Yudovina, Introduction to
Representation Theory, 2011
58 Álvaro Lozano-Robledo, Elliptic Curves, Modular Forms, and Their
L-functions, 2011
57 Charles M. Grinstead, William P. Peterson, and J. Laurie Snell,
Probability Tales, 2011
56 Julia Garibaldi, Alex Iosevich, and Steven Senger, The Erdős
Distance Problem, 2011
55 Gregory F. Lawler, Random Walk and the Heat Equation, 2010
54 Alex Kasman, Glimpses of Soliton Theory, 2010
53 Jiřı́ Matoušek, Thirty-three Miniatures, 2010
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms
The winding number is one of the most basic invariants in
topology. It measures the number of times a moving point
P goes around a fixed point Q, provided that P travels on a
path that never goes through Q and that the final position of
P is the same as its starting position. This simple idea has far-
reaching applications. The reader of this book will learn how
the winding number can
• help us show that every polynomial equation has a root (the fundamental
theorem of algebra),
• guarantee a fair division of three objects in space by a single planar cut (the
ham sandwich theorem),
• explain why every simple closed curve has an inside and an outside (the
Jordan curve theorem),
• relate calculus to curvature and the singularities of vector fields (the Hopf
index theorem),
• allow one to subtract infinity from infinity and get a finite answer (Toeplitz
operators),
• generalize to give a fundamental and beautiful insight into the topology of
matrix groups (the Bott periodicity theorem).
All these subjects and more are developed starting only from mathematics
that is common in final-year undergraduate courses.
Licensed to Penn St Univ, University Park. Prepared on Tue Mar 12 18:04:19 EDT 2019for download from IP 132.174.254.159.
License or copyright restrictions may apply to redistribution; see https://www.ams.org/publications/ebooks/terms