Principles of Functional Analysis Second Edition Martin Schechter
Principles of Functional Analysis Second Edition Martin Schechter
Principles of Functional Analysis Second Edition Martin Schechter
com
https://ebookgate.com/product/principles-of-
functional-analysis-second-edition-martin-
schechter/
https://ebookgate.com/product/principles-of-functional-
verification-1st-edition-andreas-meyer/
https://ebookgate.com/product/hydrology-principles-analysis-and-
design-second-edition-h-m-raghunath/
https://ebookgate.com/product/obstinate-hebrews-ronald-schechter/
https://ebookgate.com/product/the-functional-analysis-of-
english-3rd-edition-thomas-bloor/
Functional Analysis 2nd Edition Balmohan Vishnu Limaye
https://ebookgate.com/product/functional-analysis-2nd-edition-
balmohan-vishnu-limaye/
https://ebookgate.com/product/principles-of-insurance-second-
edition-loma/
https://ebookgate.com/product/phonological-analysis-a-functional-
approach-donald-a-burquest/
https://ebookgate.com/product/principles-of-mathematical-
analysis-3rd-edition-walter-rudin/
https://ebookgate.com/product/trace-environmental-quantitative-
analysis-principles-techniques-and-applications-second-edition-
paul-r-loconto-author/
Principles of
Functional Analysis
SECOND EDITION
Martin Schechter
Graduate Studies
in Mathematics
Volume 36
Martin Schechter
Graduate Studies
in Mathematics
Volume 36
2000 Mathematics Subject Classification. Primary 46–01, 47–01, 46B20, 46B25, 46C05,
47A05, 47A07, 47A12, 47A53, 47A55.
Abstract. The book is intended for a one-year course for beginning graduate or senior under-
graduate students. However, it can be used at any level where the students have the prerequisites
mentioned below. Because of the crucial role played by functional analysis in the applied sciences
as well as in mathematics, the author attempted to make this book accessible to as wide a spec-
trum of beginning students as possible. Much of the book can be understood by a student having
taken a course in advanced calculus. However, in several chapters an elementary knowledge of
functions of a complex variable is required. These include Chapters 6, 9, and 11. Only rudimen-
tary topological or algebraic concepts are used. They are introduced and proved as needed. No
measure theory is employed or mentioned.
Copying and reprinting. Individual readers of this publication, and nonprofit libraries
acting for them, are permitted to make fair use of the material, such as to copy a chapter for use
in teaching or research. Permission is granted to quote brief passages from this publication in
reviews, provided the customary acknowledgment of the source is given.
Republication, systematic copying, or multiple reproduction of any material in this publication
is permitted only under license from the American Mathematical Society. Requests for such
permission should be addressed to the Assistant to the Publisher, American Mathematical Society,
P. O. Box 6248, Providence, Rhode Island 02940-6248. Requests can also be made by e-mail to
[email protected].
c 2002 by the American Mathematical Society. All rights reserved.
The American Mathematical Society retains all rights
except those granted to the United States Government.
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 URL: http://www.ams.org/
10 9 8 7 6 5 4 3 2 17 16 15 14 13 12
BS D
Chapter 2. DUALITY 29
§2.1. The Riesz representation theorem 29
§2.2. The Hahn-Banach theorem 33
§2.3. Consequences of the Hahn-Banach theorem 36
§2.4. Examples of dual spaces 39
§2.5. Problems 51
Chapter 3. LINEAR OPERATORS 55
§3.1. Basic properties 55
§3.2. The adjoint operator 57
§3.3. Annihilators 59
§3.4. The inverse operator 60
§3.5. Operators with closed ranges 66
§3.6. The uniform boundedness principle 71
ix
x Contents
xv
xvi PREFACE TO THE REVISED EDITION
We went through the entire text with a fine toothed comb. The presen-
tation was clarified and simplified whenever necessary, and misprints were
corrected. Existing lemmas, theorems, corollaries and proofs were expanded
when more elaboration was deemed beneficial. New lemmas, theorems and
corollaries (with proofs) were introduced as well. Many new problems were
added.
The author would like to thank Richard Jasiewicz for installing LATEX 2ε
into his computer. He would also like to thank the editors and staff of the
AMS for helpful suggestions.
Irvine, California
March, 2001
T V SLB O
PREFACE TO THE REVISED EDITION xvii
The following are a few excerpts from a review of the original edition by
Einar Hille in the American Scientist.1
1From Hille, Einar, Review of Principles of Functional Analysis, American Scientist {Vol.
60}, No. 3, 1972, 390.
FROM THE
PREFACE TO THE
FIRST EDITION
Because of the crucial role played by functional analysis in the applied sci-
ences as well as in mathematics, I have attempted to make this book ac-
cessible to as wide a spectrum of beginning students as possible. Much of
the book can be understood by a student having taken a course in advanced
calculus. However, in several chapters an elementary knowledge of functions
of a complex variable is required. These include Chapters 6, 9, and 11. Only
rudimentary topological or algebraic concepts are used. They are introduced
and proved as needed. No measure theory is employed or mentioned.
xix
xx FROM THE PREFACE TO THE FIRST EDITION
I have also included some topics which are not usually found in textbooks
on functional analysis. A fairly comprehensive treatment of Fredholm op-
erators is given in Chapters 5 and 7. I consider their study elementary.
Moreover, they are natural extensions of operators of the form I − K, K
compact. They also blend naturally with other topics. Additional top-
ics include unbounded semi-Fredholm operators and the essential spectrum
considered in Chapter 7. Hyponormal and seminormal operators are treated
in Chapter 11, and the numerical range of an unbounded operator is studied
in Chapter 12. The last chapter is devoted to the study of three types of
operators on the space L2 (−∞, ∞).
One will notice that there are few applications given in the book other
than those treated in the last chapter. In general, I used as many illus-
trations as I could without assuming more mathematical knowledge than is
needed to follow the text. Moreover, one of the basic philosophies of the
book is that the theory of functional analysis is a beautiful subject which
can be motivated and studied for its own sake. On the other hand, I have
devoted a full chapter to applications that use a minimum of additional
knowledge.
The approach of this book differs substantially from that of most other
mathematics books. In general one uses a “tree” or “catalog” structure, in
which all foundations are developed in the beginning chapters, with later
chapters branching out in different directions. Moreover, each topic is in-
troduced in a logical and indexed place, and all the material concerning
that topic is discussed there complete with examples, applications, refer-
ences to the literature and descriptions of related topics not covered. Then
one proceeds to the next topic in a carefully planned program. A descriptive
introduction to each chapter tells the reader exactly what will be done there.
In addition, we are warned when an important theorem is approaching. We
are even told which results are of “fundamental importance.” There is much
to be said for this approach. However, I have embarked upon a different
path. After introducing the first topic, I try to follow a trend of thought
wherever it may lead without stopping to fill in details. I do not try to de-
scribe a subject fully at the place it is introduced. Instead, I continue with
my trend of thought until further information is needed. Then I introduce
the required concept or theorem and continue with the discussion.
BASIC NOTIONS
1
2 1. BASIC NOTIONS
under the initial conditions (1.2). Here σ(x) is a given function continuous
in the closed interval. One thing is certain. Any solution of (1.6) satisfies
x
(1.7) f (x) = cos(x − a) + sin(x − t)σ(t)f (t) dt.
a
Thus, by what was just shown, a function f (x) is a solution of (1.6), (1.2) if,
and only if, it is a solution of (1.7). Do not believe that this has improved
the situation much. It has merely transformed a differential problem into
one of solving the integral equation (1.7).
A more disturbing fact is that equation (1.7) is rather complicated, and
matters appear to be getting worse unless taken in hand. We must introduce
some shorthand. If we write
x
(1.8) Kh = sin(x − t)σ(t)h(t) dt, u(x) = cos(x − a),
a
then (1.7) takes on the more manageable form
(1.9) f = u + Kf.
The “object” K is called an “operator” or “transformation,” since it acts on
continuous functions and transforms them into other continuous functions.
(We will give a more precise definition in Chapter 3.) Thus, we are looking
for a continuous function f such that Kf added to u gives back f.
Now that (1.7) has been simplified to (1.9), we can think about it a bit
more clearly. It really does seem like a difficult equation to solve. To be sure,
if one takes an arbitrary function f0 and plugs it into the right hand side of
(1.9), one would have to be extremely lucky if u + Kf0 turned out to be f0 .
In general, we would only get some other function f1 , which is probably no
closer to an actual solution (should one exist) than f0 . On second thought,
perhaps it is, in some way. After all, it is obtained by means of the right
hand side of (1.9). Well, if this is the case, let us plug in f1 . This gives
another function f2 = u + Kf1 . Continuation of the procedure leads to a
sequence {fn } of continuous functions defined by
(1.10) fn = u + Kfn−1 ,
where it is hoped that fn is “closer” to a solution than fn−1 . This suggests
that the sequence {fn } might even converge to some limit function f. Would
such an f be a solution? Well, if f is continuous and Kfn converges to Kf,
we then have that (1.9) holds, showing that f is indeed a solution. Thus,
the big question: is our operator K such that these things will happen?
Now before we go further, we must consider what type of convergence we
want. Since we want the limit function to be continuous, it is quite natural
to consider uniform convergence. (Here you are expected to know that the
uniform limit of continuous functions is continuous, and to suspect that it
4 1. BASIC NOTIONS
may not be so if the convergence is otherwise.) Now you may recall that a
continuous function has a maximum on a closed interval and that a sequence
{fn (x)} of continuous functions converges uniformly if and only if
max |fn (x) − fm (x)|
a≤x≤b
This is the most appealing to me, so we shall use it. So we now want
(1.12) fn − fm −→ 0 as m, n −→ ∞.
Now let us carry out our program. By (1.10),
f1 = u + Kf0
f2 = u + Kf1
= u + K(u + Kf0 )
= u + Ku + K 2 f0 ,
where K 2 h = K(Kh), and we have used the property
(1.13) K(v + w) = Kv + Kw.
If we define
K n h = K(K n−1 h)
by induction, we have
f3 = u + Kf2 = u + Ku + K 2 u + K 3 f0 ,
(1.14) fn = u + Ku + · · · + K n−1 u + K n f0 .
Thus, for say n > m,
fn − fm = K m u + · · · + K n−1 u + K n f0 − K m f0 .
Now we want (1.12) to hold. Since
(1.15) fn − fm ≤ K m u + · · · + K n−1 u + K n f0 + K m f0 ,
the limit (1.12) would be guaranteed if the right hand side of (1.15) went to
zero as m, n → ∞. Note that we have used the properties
(1.16) v + w ≤ v + w,
(1.17) − v = v,
1.1. A problem from differential equations 5
which are obvious consequences of (1.11). Now the right hand side of (1.15)
converges to zero as m, n → ∞ if for each continuous function v
∞
(1.18) K n v < ∞,
0
where we defined K 0v = v. This follows from the fact that
K m u + · · · + K n−1 u
is contained in the tail end of such a series, and K n f0 is the n-th term of
another such series (perhaps a review of convergent series is in order).
Now before attempting to verify (1.18), we note that it implies that
{fn (x)} is a uniformly convergent Cauchy sequence and hence has a contin-
uous limit f (x). Thus, all we need is
(1.19) Kfn − Kf −→ 0 as n −→ ∞.
Now an examination of (1.8) reveals that there is a constant M such that
(1.20) Kh ≤ M h
for all continuous functions h. In fact, we can take M = (b − a)σ. This
coupled with the further property
(1.21) K(−h) = −Kh,
shows that
Kfn − Kf = K(fn − f ) ≤ M fn − f −→ 0
as n → ∞. This gives (1.19). Thus, we are in business if we can verify (1.18).
As it happens, (1.18) is an easy consequence of (1.8). In fact, we have
x
|Kv| ≤ σ |v(t)| dt ≤ σ v(x − a)
a
for all x in the interval [a, b]. Thus,
x x
|K v| ≤ σ
2
|Kv| dt ≤ σ v
2
(t − a) dt
a a
= σ v(x − a) /2,
2 2
x x
1
|K 3 v| ≤ σ |K 2 v| dt ≤ σ3 v (t − a)2 dt
a 2 a
1
= σ v(x − a) ,
3 3
3!
and by induction
1
|K n v| ≤ σn v(x − a)n .
n!
Thus,
1
K n v ≤ σn v(b − a)n ,
n!
6 1. BASIC NOTIONS
and
∞
∞
1
K v ≤ v
n
σn (b − a)n = veσ(b−a) ,
n!
0 0
giving (1.18).
Now we tie the loose ends together. From property (1.18), we see by
(1.15) that the sequence {fn } defined by (1.10) is a Cauchy sequence con-
verging uniformly. Thus, the limit f is continuous in [a, b]. Moreover, by
(1.20) and (1.21) we see that (1.19) holds, showing that f is a solution of
(1.9), i.e., of (1.7). Differentiation now shows that f is a solution of (1.6),
(1.2). Note that the choice of f0 did not play a role, and we did not have to
know anything about the functions σ or u other than the fact that they are
continuous.
Those of you who are familiar with the Picard iteration method that is
used to solve differential equations will notice a similarity to the presentation
given here.
Let k(x, t) be a function continuous in the triangle a ≤ t ≤ x ≤ b. Then
the method above gives a solution of the integral equation
x
f (x) = u(x) + k(x, t)f (t) dt.
a
This is known as a Volterra equation.
Note that we haven’t used all of the properties (1)–(14) in solving our prob-
lem, but all of the properties used are among them.
Now for some definitions. A collection of objects which satisfies state-
ments (1)–(9) and the additional statement
(15) 1h = h
is called a vector space (VS) or linear space. We will be using real scalars
until we reach a point where we will be forced to allow complex scalars. A
set of objects satisfying statements (1)–(13) is called a normed vector space
(NVS), and the number h is called the norm of h. Although statement (15)
is not implied by statements (1)–(9), it is implied by statements (1)–(13).
A sequence satisfying
hn − hm → 0 as m, n → ∞,
is called a Cauchy sequence. Property (14) states that every Cauchy se-
quence converges in norm to a limit. Property (14) is called completeness,
and a normed vector space satisfying it is called a complete normed vector
space or a Banach space. Thus, we have proved the following
Theorem 1.1. Let X be a Banach space, and assume that K is an operator
on X (i.e., maps X into itself ) such that
a) K(v + w) = Kv + Kw,
b) K(−v) = −Kv,
8 1. BASIC NOTIONS
c) Kv ≤ M v,
d) ∞ 0 K v < ∞
n
Thus,
fj − f −→ 0 as j −→ ∞.
Now for the triangle inequality. If it is to hold, we must have
f + g2 ≤ (f + g)2 = f 2 + g2 + 2f g.
In other words, we want to prove
1 1
(αi2 + 2αi βi + βi2 ) ≤ αi2 + βi2 + 2( αi2 ) 2 ( βi2 ) 2 ,
or
1 1
(1.26) αi βi ≤ ( αi2 ) 2 ( βi2 ) 2 .
Now, before things become more complicated, set
n
(1.27) (f, g) = αi βi .
1
This expression has the following obvious properties:
i. (αf, g) = α(f, g)
ii. (f + g, h) = (f, h) + (g, h)
iii. (f, g) = (g, f )
iv. (f, f ) > 0 unless f = 0,
Returning to Rn , we see that (1.26) holds and hence, the triangle in-
equality is valid. Thus, Rn is a Banach space.
An expression (f, g) that assigns a real number to each pair of elements
of a vector space and satisfies the aforementioned properties is called a scalar
(or inner) product. We have essentially proved
Lemma 1.3. If a vector space X has a scalar product (f, g), then it is a
1
normed vector space with norm f = (f, f ) 2 .
Proof. Again, the only thing that is not immediate is the triangle inequality.
This follows from (1.28) since
f + g2 = f 2 + g2 + 2(f, g)
≤ f 2 + g2 + 2f g = (f + g)2 .
This gives the desired result.
A vector space which has a scalar product and is complete with respect to
the induced norm is called a Hilbert space. By Lemma 1.3, every Hilbert
space is a Banach space, but we shall soon see that the converse is not true.
Inequalities (1.26) and (1.28) are known as the Cauchy-Schwarz inequalities.
1
Kf = (α2 , · · · , αn , 0).
2
As another application of Theorem 1.1, consider the system of equations
n
(1.29) xj − ajk xk = bj , j = 1, · · · , n.
k=1
We are given the coefficients ajk and the constants bj , and we wish to solve
for the xj . One way of solving is to take b = (b1 , · · · , bn ), x = (x1 , · · · , xn ) ∈
Rn and
n
n
Kx = ( a1k xk , · · · , ank xk ).
k=1 k=1
12 1. BASIC NOTIONS
Then,
n 2
n
Kx2 = ajk xk
j=1 k=1
n
n
n
≤ a2jk x2k
j=1 k=1 k=1
⎛ ⎞
n
≤⎝ a2jk ⎠ x2 .
j,k=1
If we assume that
n
a2jk ≤ θ < 1,
j,k=1
then we can apply Theorem 1.1 to conclude that for every b ∈ Rn there is a
unique x ∈ Rn such that x = b + Kx. This solves (1.29).
Example 2. Another example is given by the space l∞ (the reason for
the odd notation will be given later). It consists of infinite sequences of real
numbers
(1.30) f = (α1 , · · · , αn , · · · )
for which
sup |αi | < ∞.
i
(The sup of any set of real numbers is the least upper bound, i.e., the
smallest number, which may be +∞, that is an upper bound for the set. An
important property of the real numbers is that every set of real numbers has
a least upper bound.) If we define addition and multiplication by a scalar
as in the case of Rn , we come up with a vector space. But we want more.
We want l∞ to be a Banach space with norm
f = sup |αi |.
i
As one will find in most examples, the only properties which are not imme-
diately obvious are the triangle inequality and completeness. In this case
the triangle inequality is not far from it, since
sup |αi + βi | ≤ sup(|αi | + |βi |) ≤ sup |αi | + sup |βi |.
i i i i
It remains to prove completeness. Suppose
(j) (j)
fj = (α1 , · · · , αi , · · · )
is a Cauchy sequence in l∞ . Then for each ε > 0 there is an N so large that
fj − fk < ε when j, k > N.
1.3. Examples of Banach spaces 13
Thus,
(j) (j)
|αi | ≤ |αi − αi | + |αi | ≤ ε + fj
for j > N. This shows that f ∈ l∞ . But this is not enough. We want
fj − f −→ 0 as j −→ ∞.
As before, we are given the coefficients ajk and the constants bj , and we
wish to solve for the xj . One way of solving is to take b = (b1 , · · · ), x =
(x1 , · · · ) ∈ l∞ and
n
Kx = ( a1k xk , · · · ).
k=1
14 1. BASIC NOTIONS
Then,
∞
Kx = sup ajk xk
j
k=1
∞
≤ sup |ajk | · |xk |
j
k=1
≤ sup |ajk | · x∞ .
j
k
If we assume that
∞
sup |ajk | ≤ θ < 1,
j
k=1
then we can apply Theorem 1.1 to conclude that for every b ∈ l∞ there is a
unique x ∈ l∞ such that x = b + Kx. This solves (1.32).
Example 3. A similar example is the space l2 . (Recall the remark con-
cerning l∞ .) It consists of all sequences of the form (1.30) for which
∞
αi2 < ∞.
1
Here we are not immediately sure that the sum of two elements of l2 is in l2 .
Looking ahead a moment, we intend to investigate whether l2 is a Banach
space. Now the candidate most likely to succeed as a norm is
∞ 1
2
f = αi2 .
1
Thus, if we can verify the triangle inequality, we will also have shown that
the sum of two elements of l2 is in l2 . Now, since the triangle inequality
holds in Rn , we have
n 1 1
(αi + βi )2 ≤ αi2 + βi2 + 2( αi2 ) 2 ( βi2 ) 2
1
In particular, (1.31) holds for each i, and hence, there is a number αi which
(j)
is the limit of αi as j → ∞. Now by (1.33), for each n
n
(j) (k)
(1.34) (αi − αi )2 < ε2 for j, k > N.
i=1
Set
(j) (j)
hj = (α1 − α1 , · · · , αi − αi , · · · ).
By (1.35), hj ∈ l2 and hj ≤ ε when j > N. Hence,
f = fj − hj = (α1 , · · · , αi , · · · )
is in l2 , and
fj − f = hj ≤ ε for j > N.
This means that
fj − f −→ 0 as j −→ ∞.
Thus, l2 is a Banach space.
Since Rn is a Hilbert space, one might wonder whether the same is true
of l2 . The scalar product for Rn is given by (1.27), so that the natural
counterpart for l2 should be
∞
(1.36) (f, g) = αi βi ,
1
showing that the series in (1.36) converges absolutely. Thus, (f, g) is defined
for all f, g ∈ l2 , and satisfies i.– iv. (and hence (1.28)). Since (f, f ) = f 2 ,
we see that l2 is a Hilbert space.
16 1. BASIC NOTIONS
If we assume that
∞
a2jk ≤ θ < 1,
j,k=1
then we can apply Theorem 1.1 to conclude that for every b ∈ l2 there is a
unique x ∈ l2 such that x = b + Kx. This solves (1.32) for this case.
Example 4. Our last example is the set B = B[a, b] of bounded real
valued functions on an interval [a, b]. The norm is
ϕ = sup |ϕ(x)|.
a≤x≤b
Figure 1.1
and
f − g2 = f 2 − 2(f, g) + g2 ,
giving
(1.38) f + g2 + f − g2 = 2f 2 + 2g2 .
This is known as the parallelogram law. The name comes from the special
case which states that the sum of the squares of the lengths of the sides
of a parallelogram is equal to the sum of the squares of the lengths of the
diagonals. Thus, it follows that in any Hilbert space, (1.38) must hold for
all elements f, g. This gives us a convenient way of checking whether a given
Banach space is a Hilbert space as well. If one can exhibit two elements f, g
of the Banach space which violate (1.38), then it clearly cannot be a Hilbert
space.
Recall the spaces C and B from Section 1.2 and Example 4. Let us show
that they are not Hilbert spaces. For simplicity take a = 0, b = 3. Define f
to be 1 from 0 to 1, to vanish from 2 to 3 and to be linear from 1 to 2 (see
Figure 1.1). Similarly, let g vanish from 0 to 1, equal 1 from 2 to 3 and be
linear from 1 to 2. Both f and g are continuous in the closed interval [0,3]
and hence are elements of B and C. But
f = g = f + g = f − g = 1,
violating (1.38). Thus, B and C are not Hilbert spaces. In Section 9.1 we
shall show that every Banach space whose elements satisfy (1.38) is also a
Hilbert space.
derivative may have jumps at the endpoints of the periods. Then according
to the theory of Fourier series
∞ ∞
a0
(1.39) f (x) = + an cos nx + bn sin nx,
2
1 1
where
2π 2π
1 1
(1.40) an = f (x) cos nx dx, bn = f (x) sin nx dx,
π 0 π 0
and the convergence of (1.39) is uniform. Now our first reaction to all this
is that formulas (1.39) and (1.40) are very complicated. So we recommend
the following simplifications. Set
ϕ0 (x) = (2π)− 2 ,
1 1
α0 = (π/2) 2 a0 ,
ϕ2k (x) = π −1/2 cos kx, ϕ2k+1 (x) = π −1/2 sin kx,
α2k = π 1/2 ak , α2k+1 = π 1/2 bk .
With these definitions, (1.39) and (1.40) become
∞
2π
(1.41) f (x) = αn ϕn , αn = f (x)ϕn (x) dx.
0 0
where
n
(1.43) fn (x) = αj ϕj (x).
0
Since the Fourier series converges uniformly to f (x) and fn (x) is just a
partial sum, we have
n 2π
αj −→
2
f (x)2 dx as n −→ ∞.
0 0
Figure 1.2
Hence for each f ∈ C 1 (the set of functions with period 2π having continuous
first derivatives), there is a unique sequence (α0 , α1 , · · · ) in l2 such that
∞ 2π
(1.44) αj2 = f (x)2 dx,
0 0
and (1.41) holds. (In general, the symbol C 1 refers to all continuously
differentiable functions. At this point we use it to refer only to periodic
functions having period 2π.)
One might ask if we can go back. If we are given a sequence in l2 , does
there exist a function f ∈ C 1 such that (1.41) and (1.44) hold? The answer
is a resounding no. The reason is simple. Since l2 is complete, every Cauchy
sequence in l2 has a limit in l2 . But does every sequence {fj } of functions
in C 1 such that
2π
(1.45) [fj (x) − fk (x)]2 dx −→ 0 as j, k −→ ∞
0
have a limit in 1
C ? We can see quite easily that this is not the case. In fact
one can easily find a discontinuous function g(x) which can be approximated
by a smooth function h(x) in such a way that
2π
[g(x) − h(x)]2 dx
0
is as small as we like (see Figure 1.2). Another way of looking at it is that
2π 1/2
(1.46) f = 2
f (x) dx
0
is a norm on the vector space C 1 , but C 1 (or even C) is not complete with
respect to this norm. What does one do in the situation when one has a
normed vector space V which is not complete? In general one can complete
the space by inventing fictitious or “ideal” elements and adding them to
the space. This may be done as follows. Consider any Cauchy sequence of
elements of V. If it has a limit in V, fine. Otherwise, we plug the “hole” by
20 1. BASIC NOTIONS
inventing a limit for it. One has to check that the resulting enlarged space
satisfies all of the stipulations of a Banach space.
This can be done as follows: Let Ṽ denote the set of all Cauchy sequences
in V. If
G = {gk }, H = {hk }
are members of Ṽ , we define
G + H = {gk + hk }, αG = {αgk }, G = lim gk .
k→∞
We consider a Cauchy sequence equal to 0 if it converges to 0. With these
definitions, Ṽ becomes a normed vector space. Moreover, it is complete. To
see this, let Gn = ({gnk }) be a Cauchy sequence in Ṽ . Then for each n, there
is an Nn such that
1
gnk − gnl ≤ , k, l ≥ Nn .
n
Pick an element gnl with l ≥ Nn and call it fn . Then
1
fn − gnk ≤ , k ≥ Nn .
n
Let Fn be the element in Ṽ given by the constant sequence (fn , fn , · · · ). (It
qualifies as a Cauchy sequence.) Then
1
Gn − Fn ≤ .
n
Finally, let F = {fn }. Then
Gn − F ≤ Gn − Fn + Fn − F → 0 as n → ∞.
We note that in order to be logically precise, we had to consider equiv-
alence classes of Cauchy sequences. If this sounds artificial, just remember
that it is precisely the way we obtain the real numbers from the rationals.
In Section 8.6 we shall give an “easy” proof of the fact that we can always
complete a normed vector space to make it into a Banach space (without
considering equivalence classes of Cauchy sequences).
In our present case, however, it turns out that we do not have to invent
ideal elements. In fact, for each sequence satisfying (1.45) there is a bona
fide, function f (x) such that
2π
(1.47) [fj (x) − f (x)]2 dx −→ 0 as j −→ ∞.
0
It may be that this function is very discontinuous, but its square is integrable
in a generalized sense. No claim concerning pointwise convergence of the
sequence {fj } is intended, but just that (1.47) holds. To summarize: the
completion of C 1 with respect to the norm (1.46) consists of those functions
having squares integrable in a generalized sense. We denote this space by
1.4. Fourier series 21
Set
∞
(1.55) f˜ = αj ϕj .
0
Hence,
n
αi2 ≤ f 2 .
1
Letting n → ∞, we have
∞
(1.60) αi2 ≤ f 2 .
1
Theorem 1.6 has a trivial converse. If (1.62) holds for all f in a Hilbert
space H, then the orthonormal sequence {ϕn } is complete. This follows
immediately from (1.59). We also have
we have
n
n
(f, g) = lim ( αj ϕj , g) = lim αj (ϕj , g).
n→∞ n→∞
1 1
1.5. Problems
(3) Show that an orthonormal sequence {ϕk } is complete if, and only
if, 0 is the only element orthogonal to all of them.
(4) Let c denote the set of all elements (α1 , · · · ) ∈ l∞ such that {αn } is
a convergent sequence, and let c0 be the set of all such elements for
which αn → 0 as n → ∞. Show that c and c0 are Banach spaces.
(5) Show that the operator given at the end of Section 1.1 satisfies the
hypotheses of Theorem 1.1.
(6) Carry out the details of completing a normed vector space by the
method described in Section 1.4.
(7) Prove Theorem 1.4 with L2 replaced by any Hilbert space with a
complete orthonormal sequence.
(13) Let H be a Hilbert space, and let {ϕν } be any collection of or-
thonormal elements in H (not necessary denumerable). If x ∈ H,
show that there is at most a denumerable number of the ϕν such
that (x, ϕν ) = 0.
f 0 = max |αk |
k
and
n
f 1 = |αk |
k=1
are norms. Is Rn complete with respect to either of them?
(18) Calculate
2
n
n
n
a2k b2k − ak bk
1 1 1
(20) Show that the shortest distance between two points in a Hilbert
space is along a straight line. Is this true in all Banach spaces?
1.5. Problems 27
(21) Define
f ∗ = inf{t > 0 : f < t}, f ∈ Rn .
Is this a norm on Rn ?
“Thus much from authentic sources of the nature of the Black Death. The
descriptions which have been communicated contain, with a few unimportant
exceptions, all the symptoms of the Oriental plague, which have been observed in
more modern times. No doubt can obtain on this point. The facts are placed clearly
before our eyes. We must, however, bear in mind that this violent disease does not
always appear in the same form; and that, while the essence of the poison which it
produces, and which is separated so abundantly from the body of the patient,
remains unchanged, it is proteoform in its varieties, from the almost imperceptible
vesicle, unaccompanied by fever, which exists for some time before it extends its
poison inwardly, and then excites fevers and buboes, to the fatal form in which
carbuncular inflammations fall upon the most important viscera.
“Such was the form which the plague assumed in the fourteenth century, for the
accompanying chest affection, which appeared in all the countries whereof we have
received any account, cannot, on a comparison with similar and familiar
symptoms, be considered as any other than the inflammation in the lungs of
modern medicine, a disease which at present only appears sporadically, and owing
to a putrid decomposition of the fluids is probably combined with hemorrhages
from the vessels of the lungs. Now as every carbuncle, whether it be cutaneous or
internal, generates in abundance the matter of contagion which has given rise to it,
so therefore must the breaths of the affected have been poisonous in this plague,
and on this account its power of contagion wonderfully increased; wherefore the
opinion appears incontrovertible that, owing to the accumulated numbers of the
diseased, not only individual chambers and houses, but whole cities, were infected;
which, moreover, in the middle ages, were, with few exceptions, narrowly built,
kept in a filthy state, and surrounded with stagnant ditches. Flight was in
consequence of no avail to the timid; for some, though they had sedulously avoided
all communication with the diseased and the suspected, yet their clothes were
saturated with the pestifierous atmosphere, and every inspiration imparted to
them the seeds of the destructive malady which, in the greater number of cases,
germinated with but too much fertility. Add to which the usual propagation of the
plague through clothes, beds, and a thousand other things to which the pestilential
poison adheres,—a propagation which, from want of caution, must have been
infinitely multiplied; and since articles of this kind, removed from the access of air,
not only retain the matter of contagion for an indefinite period, but also increase
its activity, and engender it like a living being, frightful ill consequences followed
for many years after the first fury of the pestilence was passed.”
“The noble and the mean fearlessly bound themselves by an oath to extirpate the
Jews by fire and sword, and to snatch them from their protectors, of whom the
number was so small, that throughout all Germany but few places can be
mentioned where these unfortunate people were not regarded as outlaws, and
martyred and burnt. Solemn summonses were issued from Berne, to the towns of
Basle, Freyburg, and Strasburg, to pursue the Jews as prisoners. The burgomasters
and senators, indeed, opposed this requisition; but in Basle the populace obliged
them to bind themselves by an oath to burn the Jews, and to forbid persons of that
community from entering their city for the space of two hundred years. Upon this
all the Jews in Basle, whose number could not be inconsiderable, were enclosed in
a wooden building, constructed for the purpose, and burnt together with it, upon
the mere outcry of the people, without sentence or trial, which indeed would have
availed them nothing. Soon after the same thing took place at Freyburg. A regular
diet was held at Bennefeeld, in Alsace, where the bishops, lords, and barons, as
also deputies of the counties and towns, consulted how they should proceed with
regard to the Jews: and when the deputies of Strasburg—not, indeed, the bishop of
this town, who proved himself a violent fanatic—spoke in favour of the persecuted,
as nothing criminal was substantiated against them, a great outcry was raised, and
it was vehemently asked why, if so, they had covered their wells and removed their
buckets?” [The wells were not used in the mere suspicion that they were poisoned,
and then the covering of them up became a proof with these reasoners that they
had been poisoned]. “A sanguinary decree was resolved upon, of which the
populace, who obeyed here the call of the nobles and superior clergy, became but
the too willing executioners. Wherever the Jews were not burnt they were at least
banished, and so being compelled to wander about, they fell into the hands of the
country people, who without humanity, and regardless of all laws, persecuted them
with fire and sword. At Spires the Jews, driven to despair, assembled in their own
habitations, which they set on fire, and thus consumed themselves with their
families.”
“After the cessation of the Black Plague, a greater fecundity in women was
everywhere remarkable—a grand phenomenon, which, from its occurrence after
every destructive pestilence, proves to conviction, if any occurrence can do so, the
prevalence of a higher power in the direction of general organic life. Marriages
were, almost without exception, prolific, and double and treble births were more
frequent than at other times; under which head we should remember the strange
remark, that after the ‘great mortality’ the children were said to have got fewer
teeth than before; at which contemporaries were mightily shocked, and even later
writers have felt surprise.
“If we examine the grounds of this oft-repeated assertion, we shall find that they
were astonished to see children cut twenty, or at most twenty-two teeth, under the
supposition that a greater number had formerly fallen to their share. Some writers
of authority, as, for example, the physician Savonarola, at Ferrara, who probably
looked for twenty-eight teeth in children, published their opinions on this subject.
Others copied from them without seeing for themselves, as often happens in other
matters which are equally evident; and thus the world believed in a miracle of an
imperfection in the human body, which had been caused by the Black Plague.”
“The effects of the Black Death,” writes Dr Hecker (whose account of the
disorder we cannot do better than give, with some abridgments), “had not yet
subsided, when a strange delusion arose in Germany. It was a convulsion which in
the most extraordinary manner infuriated the human frame, and excited the
astonishment of contemporaries for more than two centuries, since which time it
has never reappeared. It was called the Dance of St John, or of St Vitus, on account
of the Bacchantic leaps by which it was characterised, and which gave to those
affected, whilst performing their wild dance, and screaming and foaming with fury,
all the appearance of persons possessed. It did not remain confined to particular
localities, but was propagated by the sight of the sufferers, like a demoniacal
epidemic, over the whole of Germany and the neighbouring countries to the north-
west, which were already prepared for its reception by the prevailing opinions of
the times.
“So early as the year 1374, assemblages of men and women were seen at Aix-la-
Chapelle, who had come out of Germany, and who, united by one common
delusion, exhibited to the public, both in the streets and in the churches, the
following strange spectacle. They formed circles hand in hand, and, appearing to
have lost all control over their senses, continued dancing, regardless of the
bystanders, for hours together, in wild delirium, until at length they fell to the
ground in a state of exhaustion. They then complained of extreme oppression, and
groaned as if in the agonies of death, until they were swathed in clothes, bound
tightly round their waists, upon which they again recovered, and remained free
from complaint until the next attack. This practice of swathing was resorted to on
account of the tympany which followed these spasmodic ravings; but the
bystanders frequently relieved patients in a less artificial manner, by thumping or
trampling upon the parts affected. While dancing, they neither saw nor heard,
being insensible to external impressions through the senses, but were haunted by
visions, their fancies conjuring up spirits, whose names they shrieked out; and
some of them afterwards asserted that they felt as if they had been immersed in a
stream of blood, which obliged them to leap so high. Others, during the paroxysm,
saw the heavens open, and the Saviour enthroned with the Virgin Mary, according
as the religious notions of the age were strangely and variously reflected in their
imaginations.”
“The connection,” he says, “which John the Baptist had with the dancing mania
of the fourteenth century, was of a totally different character. He was originally far
from being a protecting saint to those who were attacked, or one who would be
likely to give them relief from a malady considered as the work of the devil. On the
contrary, the manner in which he was worshipped afforded an important and very
evident cause for its development. From the remotest period, perhaps even so far
back as the fourth century, St John’s day was solemnised with all sorts of strange
and rude customs, of which the original mystical meaning was variously disfigured
among different nations by superadded relics of heathenism. Thus the Germans
transferred to the festival of St John’s day an ancient heathen usage—the kindling
of the ‘hodfyr,’ which was forbidden them by St Boniface; and the belief subsists
even to the present day, that people and animals that have leaped through these
flames, or their smoke, are protected for a whole year from fevers and other
diseases, as if by a kind of baptism by fire. Bacchanalian dances, which have
originated from similar causes among all the rude nations of the earth, and the
wild extravagancies of a heated imagination, were the constant accompaniments of
this half-heathen, half-christian festival.”
“The St Vitus’s dance attacked people of all stations, especially those who led a
sedentary life, such as shoemakers and tailors; but even the most robust peasants
abandoned their labours in the fields, as if they were possessed by evil spirits; and
thus those affected were seen assembling indiscriminately, from time to time, at
certain appointed places, and, unless prevented by the lookers-on, continuing to
dance without intermission, until their very last breath was expended. Their fury
and extravagance of demeanour so completely deprived them of their senses, that
many of them dashed their brains out against the walls and corners of buildings, or
rushed headlong into rapid rivers, where they found a watery grave. Roaring and
foaming as they were, the bystanders could only succeed in restraining them by
placing benches and chairs in their way, so that, by the high leaps they were
tempted to take, their strength might be exhausted.”
Does the learned doctor insinuate that the Italians owed their
natural taste for music to this invasion of Tarantism?
“At the close of the fifteenth century we find that Tarantism had spread beyond
the boundaries of Apulia, and that the fear of being bitten by venomous spiders
had increased. Nothing short of death itself was expected from the wound which
these insects inflicted; and if those who were bitten escaped with their lives, they
were said to be pining away in a desponding state of lassitude. Many became weak-
sighted or hard of hearing; some lost the power of speech; and all were insensible
to ordinary causes of excitement. Nothing but the flute or the cithern afforded
them relief. At the sound of these instruments they awoke as if by enchantment,
opened their eyes, and moving slowly at first, according to the measure of the
music, were, as the time quickened, gradually hurried on to the most passionate
dance. It was generally observable that country people, who were rude and
ignorant of music, evinced on these occasions an unusual degree of grace, as if
they had been well practised in elegant movements of the body; for it is a
peculiarity in nervous disorders of this kind that the organs of motion are in an
altered condition, and are completely under the control of the overstrained spirits.”
“Cities and villages alike resounded throughout the summer season with the
notes of fifes, clarinets, and Turkish drums; and patients were everywhere to be
met with who looked to dancing as their only remedy. Alexander ab Alexandro,
who gives this account, saw a young man in a remote village who was seized with a
violent attack of Tarantism. He listened with eagerness and a fixed stare to the
sound of a drum, and his graceful movements gradually became more and more
violent, until his dancing was converted into a succession of frantic leaps, which
required the utmost exertion of his whole strength. In the midst of this
overstrained exertion of mind and body the music suddenly ceased, and he
immediately fell powerless to the ground, where he lay senseless and motionless
until its magical effect again aroused him to a renewal of his impassioned
performances.”
“The number of those affected by it increased beyond belief, for whoever had
actually been, or even fancied that he had been once bitten by a poisonous spider
or scorpion, made his appearance annually whenever the merry notes of the
Tarantella resounded. Inquisitive females joined the throng and caught the disease
—not indeed from the poison of the spider, but from the mental poison which they
eagerly received through the eye; and thus the cure of the Tarantati gradually
became established as a regular festival of the populace.”
It was customary for whole bands of musicians to traverse Italy
during the summer months, and the cure of the disordered was
undertaken on a grand scale. This season of dancing and music was
called “The women’s little carnival,” for it was women more
especially who conducted the arrangements. It was they, too, it
seems, who paid the musicians their fee. The music itself received its
due share of study and attention. There were different kinds of the
Tarantella (as the curative melody was called) suited to every variety
of the ailment.
One very curious circumstance connected with this disease must
not pass unnoticed—the passion excited by certain colours. Amongst
the Germans, those afflicted by St Vitus’s dance were enraged by any
garment of the colour of red. Amongst the Italians, on the contrary,
red colours were generally liked. Some preferred one colour, some
another, but the devotion to the chosen colour was one of the most
extraordinary symptoms which the disease manifested in Italy. The
colour that pleased the patient he was enamoured of; the colour that
displeased excited his utmost fury.
“Some preferred yellow, others were enraptured with green; and eyewitnesses
describe this rage for colours as so extraordinary that they can scarcely find words
with which to express their astonishment. No sooner did the patients obtain a sight
of their favourite colour than they rushed like infuriated animals towards the
object, devoured it with their eager looks, kissed and caressed it in every possible
way, and, gradually resigning themselves to softer sensations, adopted the
languishing expression of enamoured lovers, and embraced the handkerchief, or
whatever article it might be which was presented to them, with the most intense
ardour, while the tears streamed from their eyes as if they were completely
overwhelmed by the inebriating impression on their senses.
“The dancing fits of a certain Capuchin friar in Tarentum excited so much
curiosity that Cardinal Cajetano proceeded to the monastery that he might see with
his own eyes what was going on. As soon as the monk, who was in the midst of his
dance, perceived the spiritual prince clothed in his red garments, he no longer
listened to the tarantella of the musicians, but with strange gestures endeavoured
to approach the cardinal, as if he wished to count the very threads of his scarlet
robe, and to allay his intense longing by its odour. The interference of the
spectators, and his own respect, prevented his touching it, and thus, the irritation
of his senses not being appeased, he fell into a state of such anguish and
disquietude that he presently sunk down in a swoon, from which he did not recover
until the cardinal compassionately gave him his cape. This he immediately seized
in the greatest ecstasy, and pressed, now to his breast, now to his forehead and
cheeks, and then again commenced his dance as if in the frenzy of a love fit.”
“I could not have ventured to write this from hearsay, nor could I conceive it
possible until I was obliged to put this remedy in practice upon my own wife, who
was seized with the same disorder. I at first thought that a whip would be of some
service, and one day attempted a few strokes when unnoticed by any person, we
being by ourselves, and I having a strong suspicion that this ailment sprang from
the weak minds of women, who were encouraged in it for the sake of the grandeur,
rich dress, and music which accompany the cure. But how much was I surprised,
the moment I struck a light blow, thinking to do good, to find that she became like
a corpse; and even the joints of her fingers became so stiff that I could not
straighten them. Indeed, I really thought that she was dead, and immediately made
it known to the people in the house that she had fainted, but did not tell them the
cause; upon which they immediately brought music, which I had for many days
denied them, and which soon revived her; and I then left the house to her relations,
to cure her at my expense. One day I went privately with a companion to see my
wife dance, and kept at a short distance, as I was ashamed to go near the crowd. In
looking steadfastly upon her, while dancing or jumping, more like a deer than a
human being, I said that it certainly was not my wife; at which my companion
burst into a fit of laughter, from which he could scarcely refrain all the way home.”
“The physicians could do little or nothing for the people in this extremity. They
are nowhere alluded to throughout this epidemic, and even those who might have
come forward to succour their fellow-citizen, had fallen into the errors of Galen,
and their dialectic minds sank under this appalling phenomenon. This holds good
even of the famous Thomas Linacre, subsequently physician in ordinary to two
monarchs, and founder of the College of Physicians in 1518. In the prime of his
youth he had been an eyewitness of the events at Oxford, and survived even the
second and third eruption of the sweating sickness; but in none of his writings do
we find a single word respecting this disease, which is of such permanent
importance. In fact, the restorers of the medical science of ancient Greece, who
were followed by all the most enlightened men in Europe, with the single exception
of Linacre, occupied themselves rather with the ancient terms of art than with
actual observation, and in their critical researches overlooked the important events
that were passing before their eyes. This reminds us of the later Greek physicians,
who for four hundred years paid no attention to the smallpox, because they could
find no description of it in the immortal works of Galen!”
Who shall say, in reading such passages, that the New Philosophy
of Bacon, which reads now like old common-sense, was not sadly
wanted, if the learned physician, while feeling his patient’s pulse,
could see only with the eyes of Galen? In the fourteenth century we
see the physician busied with his astrology, and laboriously fixing the
day when Saturn, Jupiter, and Mars, did battle with the sun over the
great Indian Ocean; in the sixteenth we find him, with quite dialectic
mind, absorbed in the study of his classical authorities; at the
present time we may truly say that there are no inquiries conducted
with a more philosophical spirit, or with greater zeal and energy,
than those which relate to the human frame, its functions and its
diseases. The extreme complexity of the subject renders our progress
slow. And yet progress can hardly be said to have been slow. Let any
one take up that admirable little manual on The Nervous System, by
Dr Herbert Mayo, and compare it with any work a hundred years old:
it is a new science; and that not only from the new facts which a
Robert Bell and a Marshall Hall, and other distinguished men in
France and Germany, have added to our knowledge, but from the
fine spirit of philosophical inquiry which presides over the whole. We
have not only left astrology behind, we have not only left behind the
undue reverence to classical authority, but we have thrown aside that
dislike and depreciation of physiology which the metaphysician had
done his part to encourage, and have entered, as with a fresh eye and
a beating heart, upon the study of the wonders of the human frame.
THE SONG OF METRODORUS.
1.
They may rail at this world, and say that the devil
Rules o’er it, usurping the mace of the Lord;
In my soul I detest all such impious cavil,
While I sit as a guest at life’s bountiful board.
I was young; I am old, and my temples are hoary,
On Time’s rocking tide I have gallantly oared;
This wisdom I learned, ’tis the sum of my story,
With blessings God’s earth like a garner is stored.
2.
You blame your condition; by Jove I was never
So placed that I could not with pride be a man;
At rest or afloat on life’s far-sounding river,
Content was my watchword, enjoyment my plan.
Where busy men bustle, to elbow and jostle
What sport! then at home how delightful repose!
What comfort and pleasure your body to measure
At large in the elbow-chair, toasting your toes!
3.
A soldier? how gallant through smoke and through thunder
To ride like the lightning, when Jupiter roars;
A farmer? to gaze on the green leafy wonder
Of April how sweet, and to think on the stores
Of golden-sheaved autumn!—to dash through the billow
Is dear to the merchant who carries his gains;
How sweet to the poet on green grassy pillow,
To lie when spring zephyrs are fanning his brains!
4.
When you find a good wife, Nature urges to marry;
But art thou a bachelor, never complain;
Less sail you display, but less burden you carry,
And over yourself like a king you may reign.
’Tis pleasant to hear children prattling around you,
Thank Heaven you’ve arrows enough for your bow;
But if you love quiet, they’ll only confound you,
So if now you have none—may it ever be so!
5.
Art young? then rejoice in thy youth,—give the pinion
Of passion free play—love and hate like a man;
And gather around thee a mighty dominion
Of venturous thoughts, like the crest-waving van
Of a conquering host. Art old? reputation
And honour shall find thee and pleasures serene,
And a power like to Jove’s, when the fate of the nation
Shall wait on thy word in the hall of the queen.
6.
Blow hot or blow cold, with hearty endeavour
Still witch out a virtue from all that you see;
Use well what you get, giving thanks to the Giver,
And think everything good in its place and degree.
I’ve told you my thoughts, and I think you’re my debtor,
And if you don’t think so, I wish you were dead;
The sooner you rot on a dunghill the better,
You’re not worth the straw that they shake for your bed.