Professional Documents
Culture Documents
Analysis
Advanced Functional
Analysis
Eberhard Malkowsky
Vladimir Rakočević
CRC Press
Taylor & Francis Group
6000 Broken Sound Parkway NW, Suite 300
Boca Raton, FL 33487-2742
This book contains information obtained from authentic and highly regarded sources. Reasonable efforts
have been made to publish reliable data and information, but the author and publisher cannot assume
responsibility for the validity of all materials or the consequences of their use. The authors and publishers
have attempted to trace the copyright holders of all material reproduced in this publication and apologize
to copyright holders if permission to publish in this form has not been obtained. If any copyright material
has not been acknowledged please write and let us know so we may rectify in any future reprint.
Except as permitted under U.S. Copyright Law, no part of this book may be reprinted, reproduced, trans-
mitted, or utilized in any form by any electronic, mechanical, or other means, now known or hereafter
invented, including photocopying, microfilming, and recording, or in any information storage or retrieval
system, without written permission from the publishers.
For permission to photocopy or use material electronically from this work, please access www.copyright.com
(http://www.copyright.com/) or contact the Copyright Clearance Center, Inc. (CCC), 222 Rosewood Drive,
Danvers, MA 01923, 978-750-8400. CCC is a not-for-profit organization that provides licenses and regis-
tration for a variety of users. For organizations that have been granted a photocopy license by the CCC, a
separate system of payment has been arranged.
Trademark Notice: Product or corporate names may be trademarks or registered trademarks, and are
used only for identification and explanation without intent to infringe.
Preface ix
Authors xiii
Symbol Description xv
1.1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.2 Partially ordered sets and Zorn’s lemma . . . . . . . . . . . . . . . . . . . . 2
1.3 Important notations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
1.4 Inequalities . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
1.5 Linear spaces, algebraic bases and dimension . . . . . . . . . . . . . . . . . 5
1.6 Linear maps . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
1.7 Semimetric and metric spaces . . . . . . . . . . . . . . . . . . . . . . . . . 9
1.8 Seminormed and normed spaces . . . . . . . . . . . . . . . . . . . . . . . . 11
1.9 Topological spaces . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
1.10 Net convergence . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
1.11 Subnets . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
1.12 Compact sets . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22
2.1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25
2.2 Set arithmetic and convexity . . . . . . . . . . . . . . . . . . . . . . . . . . 26
2.3 Convex and affine sets . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30
2.4 Balloons and cones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34
2.5 Quotient spaces . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36
2.6 Supremum and weak topologies . . . . . . . . . . . . . . . . . . . . . . . . 37
2.7 Product topology . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44
2.8 Properties of linear topological spaces . . . . . . . . . . . . . . . . . . . . . 46
2.9 Closed maps . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 56
2.10 Baire’s category theorem . . . . . . . . . . . . . . . . . . . . . . . . . . . . 59
2.11 Locally convex spaces . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 62
2.12 Quotient topologies . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 63
3.1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 67
3.2 Paranormed spaces . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 68
3.3 Properties of paranormed and seminormed spaces . . . . . . . . . . . . . . 70
3.4 Schauder basis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 75
v
vi Contents
4 Banach Spaces 99
4.1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 99
4.2 Some basic properties . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 100
4.3 Examples . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 102
4.4 Bounded linear operators . . . . . . . . . . . . . . . . . . . . . . . . . . . . 104
4.5 The Hahn–Banach theorem . . . . . . . . . . . . . . . . . . . . . . . . . . . 108
4.6 Important theorems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 117
4.7 Representation theorems . . . . . . . . . . . . . . . . . . . . . . . . . . . . 121
4.8 Reflexivity . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 128
4.9 Adjoint operators . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 130
4.10 Quotient spaces . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 132
4.11 Cauchy nets, summable families . . . . . . . . . . . . . . . . . . . . . . . . 134
4.12 Equivalent norms . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 137
4.13 Compactness and the Riesz lemma . . . . . . . . . . . . . . . . . . . . . . . 138
4.14 Compact operators . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 139
4.15 Operators with closed range . . . . . . . . . . . . . . . . . . . . . . . . . . 142
Bibliography 423
Index 437
Preface
Several books have been devoted to functional analysis and its applications. This volume,
however, is special in comparison to the previous ones. It contains topics and recent research
results in the fields of linear and nonlinear functional analysis and operator theory with a
special emphasis on Fredholm theory, measures of noncompactness, summability, sequence
spaces, and fixed point theory.
In order to make the book self–contained and comprehensive and of interest for a larger
mathematical community, it also presents the necessary concepts and results for the covered
advanced research topics. This book is based on several of the authors’ lectures at interna-
tional conferences and courses at universities in Australia, Germany, India, Jordan, Mexico,
Serbia, Turkey, the USA, and South Africa.
In view of its original approach, the book differs from other existing ones in those areas.
The book contains ten chapters with a great number of illustrating examples and remarks
concerning related results. It can be used as a textbook for graduate and post–graduate
courses in advanced functional analysis, and also as a basis for research in the fields above,
and is intended to address students, teachers, and researchers alike.
Chapter 1 provides a survey of useful notations, important inequalities, and fundamental
concepts and results concerning linear and topological spaces which are essential throughout
the book. It also deals with the concepts of semimetric and seminormed spaces. Detailed
studies are dedicated to net convergence, subnets, and compactness in topological spaces,
and the proofs are given for those results which are regarded as less familiar by the authors.
Preference was given to net convergence over filter convergence, since net convergence seems
to be the more natural extension to topological spaces of convergence of sequences in semi-
metric spaces.
Chapter 2 is dedicated to the study of linear topological spaces. Concerning purely al-
gebraic concepts, thorough treatments are presented of convex and affine sets, balloons
and cones, and quotient spaces. The studies of purely topological concepts concentrate on
supremum, weak, and product topologies. The notion of linear topological spaces arises
from combining the concepts of linearity and topology in a natural way by demanding that
the algebraic operations of linear spaces are continuous in the topology. Various important
properties of linear topological spaces are established and a characterization of linear topolo-
gies is given in terms of their open sets. Furthermore, the chapter deals with properties of
closed maps, and presents the closed graph lemma in linear topological spaces, and Baire’s
category theorem in complete metric spaces.
Chapter 3 deals with linear metric and linear semimetric spaces, the concepts of para-
normed spaces and Schauder bases, and their most important properties. The highlights of
the chapter are the open mapping theorem, the closed graph theorem, the uniform bound-
edness principle and the Banach–Steinhaus theorem. Furthermore, the chapter contains
studies of useful properties of seminorms, the concept of local convexity, and the Minkowski
functional and its role in defining a seminorm or norm on a linear space. Finally, a sufficient
condition is established for the metrizability of a linear topology, and also a criterion is
given for a linear topology to be generated by a seminorm.
ix
x Preface
Chapter 4 deals mainly with the studies of Banach spaces. It contains the most important
examples of Banach spaces and results on the bounded linear operators between normed
and Banach spaces. The first highlight is the fundamental Hahn–Banach extension theorem
which is of vital importance in the proof of many results in functional analysis; also many
of its corollaries are given. Furthermore, the versions in Banach spaces are given of the
open mapping and closed graph theorems, Banach’s theorem of the bounded inverse, and
the Banach–Steinhaus theorem, an alternative proof of which is added that does not use
Baire’s theorem. Two important applications of the closed graph theorem are the criterion
for a closed subspace in a Banach space to have a topological complement, and the Eni–
Karauš theorem. Further applications of the Hahn–Banach and Banach–Steinhaus theorems
are the classical representation theorems for the continuous linear functionals on the classical
sequence spaces, including the representation theorem in the case of the space of bounded
real sequences, and the Riesz representation theorem for the continuous linear functionals
on the space of continuous real functions on the unit interval. The other topics focus on
the reflexivity of spaces, the studies of adjoint operators, quotient spaces, Cauchy nets, the
equivalence of norms, compactness and the Riesz lemma, compact operators and operators
with closed range.
Chapter 5 contains the study of Hilbert spaces. Apart from the standard examples and
more familiar results such as the P. Jordan–J. von Neumann theorem, the concepts of or-
thogonality and orthonormality, the theorem of the elements of minimal norm, the theorem
on the orthogonal decomposition, the Riesz representation theorem, Bessel’s inequality,
Fourier coefficients, Parseval’s equality and the Gram–Schmidt orthogonalization process,
the topics of Hilbert adjoint and Hermitian, normal, positive and unitary operators are
also discussed. Finally, the chapter contains a detailed study of projectors and orthogonal
projectors, and formulas and results on the norm of idempotent operators.
Chapter 6 is dedicated to the study of Banach algebras. The introduction of the con-
cept of a Banach algebra is followed by a great number of examples and a study of the
invertibility of elements in a complex Banach algebra with identity, and of the spectrum,
resolvent and spectral radius. Also the concept of the topological divisor of zero is intro-
duced and several results related to this concept are established. Further highlights include
the study of subalgebras, one theorem by Hochwald–Morell and two theorems by Harte
for regular elements in Banach algebras, conditions for the invertibility of operators in the
Banach algebra of bounded linear operators from a Banach space into itself, and detailed
studies of the spectra of adjoint, normal, and compact operators. Finally, the concept of
C ∗ –algebras is introduced, their most important properties are established and conditions
for the invertibility of the difference of projections are given.
Chapter 7 deals with measures of noncompactness, their properties and some applica-
tions. Measures of noncompactness are very useful tools in functional analysis—for instance
in metric fixed point theory and the theory of operator equations in Banach spaces, and
in the characterizations of compact operators between Banach spaces. After a motivation,
results from fixed point theory and the discussion of compact operators and the Hausdorff
distance, an axiomatic introduction of measures of noncompactness in complete metric
spaces is given, and their most important properties are established, such as monotonic-
ity and the generalized Cantor intersection property. There also are detailed studies of the
most important properties of the Kuratowski and Hausdorff measures of noncompactness
on bounded sets of Banach spaces related to the linear structure of Banach spaces—in par-
ticular, the invariance under the passage to the convex hull, which is crucial in the proof
of Darbo’s fixed point theorem. Furthermore, the famous Goldenštein–Goh’berg–Markus
theorem is proved which gives a very useful estimate for the Hausdorff measure of noncom-
pactness of bounded sets in Banach spaces with a Schauder basis. Finally, the notion of
Preface xi
measures of noncompactness of operators and some of their properties are considered, and
Fredholm’s alternative is proved.
Chapter 8 is focused on the Fredholm theory and Fredholm operators, which are gener-
alizations of operators that are the difference of the identity and a compact linear operator
on a Banach space. Fredholm operators play a very important role in the spectral theory of
operators. The chapter presents a study of Fredholm and semi–Fredholm operators, the in-
dex and Atkinson’s theorems and Yood’s results for all upper semi–Fredholm operators with
nonpositive index, lower semi–Fredholm operators with nonnegative index, and properties
of right and left Fredholm operators. It also establishes the openness of the set of proper
semi–Fredholm operators in the space of bounded linear operators between Banach spaces,
and gives the proofs of the punctured neighborhood theorem and the Kato decomposition
theorem. Finally, it provides detailed studies of the ascent and descent of operators, the
properties of Browder and semi–Browder operators, essential spectra, and essential type
subsets of the spectrum.
Chapter 9 presents useful and interesting applications of the results of the preceding
chapters to modern topics in the large field of summability—in particular, in the char-
acterizations of (infinite) matrix transformations and of compact linear operators between
sequence spaces. The chapter contains an introduction to the theory of F K and BK spaces,
which is a very powerful tool for the characterization of classes of matrix transformations
because of the fundamental result that matrix maps between F K spaces are continuous.
Further topics are the studies and determinations of multiplier spaces and β–, γ–, functional
and continuous duals, and relations between them, of properties of transposes of matrices
and the complete known characterizations of matrix transformation between the classical
sequence spaces of bounded, convergent, and null sequences and of p–summable series for
1 ≤ p < ∞ in terms of conditions on the entries of the matrices. Finally, the focus is on
the study of compact matrix operators, the representation of compact operators on the
space of convergent sequences, an estimate of the Hausdorff measure of noncompactness
and the characterization of such operators, and the characterizations of compact matrix op-
erators between the classical sequence spaces by the application of the Hausdorff measure
of noncompactness.
Chapter 10 deals with a great number of the most important results in fixed point theory,
starting with Banach’s classical contraction principle for which several different proofs are
presented, as well as various corollaries and examples. Furthermore, it presents results by
Edelstein and Rakotch, the concept of nonlinear contraction by Boyd and Wong, and theo-
rems by Meir–Keeler, Kannan, Chatterjee, and Zamfirescu. It also deals with results related
to the concepts of Ćirić’s generalized contractions and quasi–contractions, and establishes
the theorems by Reich, Hardy–Rogers, Caristi, and Bollenbacher and Hicks. The chapter
closes with studies of the Mann iteration and fixed point theorems by Mann, Reinermann,
Franks, and Marzec for real functions on compact intervals of the real line.
Finally, the authors express their sincere gratitude to A. Aasma, M. Abbas, J. Banaś,
M. Cvetković, A. Dajić, I. Djolović, R. Harte, A. Jeribi, E. Karapınar, M. A. Khamsi, J. J.
Koliha, R. T. Mısırlıoǧlu, R. P. Pant, V. Pavlović, M. Petrović, and M. A. Sofi for carefully
reading the manuscript and for their valuable comments and suggestions. The authors are
particularly grateful to J. Banaś for his encouragement and support to finish work on the
book.
Authors
xiii
Symbol Description
xv
xvi Symbol Description
re (A) essential spectral radius of σed (A) the essential approximate de-
π(A), where π : B(X) → C(X) fect spectrum of the operator
is the natural homomorphism A ∈ B(X)
an (A) = dim(N (A)/[N (A) ∩ R(An )]) σab (A) the Browder essential approxi-
bn (A) = dim([R(A) + N (An )]/R(A)) mate point spectrum of the op-
Φ± (A) = {λ ∈ C : A − λ ∈ Φ+ (X) ∪ erator A ∈ B(X)
Φ− (X)}, semi–Fredholm do- σdb (A) the Browder defect spectrum
main of A ∈ B(X) of the operator A ∈ B(X)
Φ(A) = {λ ∈ C : A − λ ∈ Φ(X)}, clY (E) the closure of a subset E in a
Fredholm domain of A ∈ B(X) topological space Y
Pm
ju(A) the jump of a semi–Fredholm x[m] = k=0 xk e(k) , the m–section
operator A of a sequence x = (xk )∞ k=0
B(X) the class of Browder operators An = (ank )∞ , the sequence in
k=0
in B(X) the nth row of the infinite ma-
B+ (X) the class of all upper semi– trix A = (ank )∞ n,k=0
Browder operators P∞ th
An x = k=0 ank xk , the n A
B− (X) the class of all lower semi–
transform of the sequence x
Browder operators
Ax = (An x)∞ n=0 , the A transform
σef (A) the Fredholm (Wolf, or Calkin)
of the sequence x
essential spectrum of the oper-
XA the matrix domain of A in X
ator A ∈ B(X)
cA the convergence domain of A
σew (A) the Weyl (Schechter) essential
spectrum of the operator A ∈ (X, Y ) the class of all matrix transfor-
B(X) mations from X into Y
σeb (A) the Browder essential spec- cs the set of all convergent series
trum of the operator A ∈ B(X) bs the set of all bounded series
σek (A) the Kato essential spectrum of M (X, Y ) the multiplier space of X in Y
the operator A ∈ B(X) Xα the α–dual of the set X of se-
σeα (A) the upper semi–Fredholm or quences
Gustafson essential spectrum Xβ the β–dual of the set X of se-
of the operator A ∈ B(X) quences
σeβ (A) the lower semi–Fredholm or Xγ the γ–dual of the set X of se-
Gustafson essential spectrum quences
of the operator A ∈ B(X) Xf the functional dual of the set
σea (A) the essential approximate point X of sequences
spectrum of the operator A ∈ AT transpose of the infinite ma-
B(X) trix A
Chapter 1
Fundamentals of Linear and Topological
Spaces
Chapter 1 provides a survey of useful fundamental notations and concepts such as par-
tially ordered and directed sets, and Zorn’s lemma, as well as important inequalities, such
as the Hölder, Minkowski and Jensen inequalities. It also contains a review of fundamen-
tal well–known concepts and results from linear algebra concerning linear spaces, linear
maps, which are essential throughout the book. Furthermore, it revises the concepts of
semimetric, seminormed and topological spaces, open and closed sets and neighborhoods,
continuity of functions between topological spaces, bases and subbases of topological spaces,
and separation axioms. Finally, detailed studies are dedicated to net convergence, subnets
and compactness in topological spaces, and the proofs are given for those results which the
authors regard as being less familiar. Preference was given to net convergence over filter
convergence, since net convergence seems to be the more natural extension to topological
spaces of convergence of sequences in semimetric, metric and normed spaces.
1.1 Introduction
In this chapter, we present and revise the fundamental concepts, results and notations
that are needed throughout the book, such as partially ordered and directed sets, and
Zorn’s lemma, as well as important inequalities, such as the Hölder, Minkowski and Jensen
inequalities. It also contains a review of fundamental well–known concepts and results from
linear algebra concerning linear spaces, linear maps, which are essential throughout the
book. Furthermore it revises the concepts of semimetric, seminormed and topological spaces,
open and closed sets and neighborhoods, continuity of functions between topological spaces,
bases and subbases of topological spaces, and separation axioms. Finally, detailed studies
are dedicated to net convergence, subnets and compactness in topological spaces, and the
proofs are given for those results which the authors regard as being less familiar. Preference
was given to net convergence over filter convergence, since net convergence seems to be
the more natural extension to topological spaces of convergence of sequences in semimetric,
metric and normed spaces.
The material of this chapter can be found in many books on linear algebra and topology.
We use the standard notations N, Z, Q, R and C for the sets of all natural numbers,
integers, rational, real and complex numbers.
1
2 Advanced Functional Analysis
aa (reflexivity)
a b and b c imply a c (transitivity).
A set A with a partial order is called a partially ordered set, or poset, for short.
Elements a and b of a partially ordered set are called comparable, if a b or b a; otherwise
they are said to be incomparable. We write a b to mean b a.
(b) A directed set D is a partially ordered set which satisfies the following condition:
for all a, b ∈ D there exists c ∈ D such that a c and b c.
(c) A partially ordered set is called totally ordered, if all elements are comparable and the
ordering also satisfies the condition that
(d) A chain is a totally ordered subset of a partially ordered set. A maximal chain is a chain
which is not properly included in any chain.
The most familiar example for a totally ordered set is (R, ≤) where ≤ denotes the usual
ordering on R.
Example 1.2.3 Let S be a non–empty finite subset of a directed set D. Then there is an
element d ∈ D such that d ≥ s for all s ∈ S.