Fundamentals of Functional Analysis

Transcription

1 Fundamentals of Functional Analysis

2 Kluwer Texts in the Mathematical Sciences VOLUME 12 A Graduate-Level Book Series The titles published in this series are listed at the end of this volume.

3 Fundamentals of Functional Analysis by S. S. Kutateladze Sobolev Institute of Mathematics, Siberian Branch of the Russian Academy of Sciences, Novosibirsk, Russia Springer-Science+Business Media, B.V.

4 A C.I.P. Catalogue record for this book is available from the Library of Congress ISBN ISBN (ebook) DOI / Translated from OCHOBbI Ij)YHK~HOHaJIl>HODO ahajihsa. J/IS;l\~ 2, ;l\oiiojihehhoe., Sobo1ev Institute of Mathematics, Novosibirsk, 1995 S. S. Kutate1adze Printed on acid-free paper All Rights Reserved 1996 Springer Science+Business Media Dordrecht Originally published by Kluwer Academic Publishers in Softcover reprint of the hardcover 1 st edition 1996 No part of the material protected by this copyright notice may be reproduced or utilized in any form or by any means, electronic or mechanical, including photocopying, recording or by any information storage and retrieval system, without written permission from the copyright owner.

5 Contents Preface to the English Translation Preface to the First Russian Edition Preface to the Second Russian Edition Chapter 1. An Excursion into Set Theory 1.1. Correspondences Ordered Sets Filters Exercises Chapter 2. Vector Spaces 2.1. Spaces and Subspaces Linear Operators Equations in Operators Exercises Chapter 3. Convex Analysis 3.1. Sets in Vector Spaces Ordered Vector Spaces Extension of Positive Functionals and Operators Convex Functions and Sublinear Functionals The Hahn-Banach Theorem The KreIn-Milman Theorem The Balanced Hahn-Banach Theorem The Minkowski Functional and Separation Exercises Chapter 4. An Excursion into Metric Spaces 4.1. The Uniformity and Topology of a Metric Space Continuity and Uniform Continuity Semicontinuity Compactness Completeness Compactness and Completeness Baire Spaces The Jordan Curve Theorem and Rough Drafts 54 Exercises ix x xii

6 VI Chapter 5. Multinormed and Banach Spaces 5.1. Seminorms and Multinorms The Uniformity and Topology of a Multinormed Space Comparison Between Topologies Metrizable and Normable Spaces Banach Spaces The Algebra of Bounded Operators Exercises Chapter 6. Hilbert Spaces 6.1. Hermitian Forms and Inner Products Orthoprojections A Hilbert Basis The Adjoint of an Operator Hermitian Operators Compact Hermitian Operators Exercises Chapter 7. Principles of Banach Spaces 7.1. Banach's Fundamental Principle Boundedness Principles The Ideal Correspondence Principle Open Mapping and Closed Graph Theorems The Automatic Continuity Principle Prime Principles Exercises Chapter 8. Operators in Banach Spaces 8.1. Holomorphic Functions and Contour Integrals The Holomorphic Functional Calculus The Approximation Property The Riesz-Schauder Theory Fredholm Operators Exercises Chapter 9. An Excursion into General Topology 9.1. Pretopologies and Topologies Continuity Types of Topological Spaces Compactness Uniform and Multimetric Spaces Covers, and Partitions of Unity Exercises

7 Vll Chapter 10. Duality and Its Applications Vector Topologies Locally Convex Topologies Duality Between Vector Spaces Topologies Compatible with Duality Polars Weakly Compact Convex Sets Reflexive Spaces The Space C(Q, R) Radon Measures The Spaces ~(n) and ~/(n) The Fourier Transform of a Distribution.... Exercises.... Chapter 11. Banach Algebras The Canonical Operator Representation The Spectrum of an Element of an Algebra The Holomorphic Functional Calculus in Algebras Ideals of Commutative Algebras Ideals of the Algebra C(Q, C) The Gelfand Transform The Spectrum of an Element of a C*-Algebra The Commutative Gelfand-Nalmark Theorem Operator *-Representations of a C*-Algebra Exercises.... References Notation Index Subject Index

8 Preface to the English Translation This is a concise guide to basic sections of modern functional analysis. Included are such topics as the principles of Banach and Hilbert spaces, the theory of multinormed and uniform spaces, the Riesz-Dunford holomorphic functional calculus, the Fredholm index theory, convex analysis and duality theory for locally convex spaces. With standard provisos the presentation is self-contained, exposing about a hundred famous "named" theorems furnished with complete proofs and culminating in the Gelfand-Nalmark-Segal construction for C*-algebras. The first Russian edition was printed by the Siberian Division of "Nauka" Publishers in Since then the monograph has served as the standard textbook on functional analysis at the University of Novosibirsk. This volume is translated from the second Russian edition printed by the Sobolev Institute of Mathematics of the Siberian Division of the Russian Academy of Sciences in It incorporates new sections on Radon measures, the Schwartz spaces of distributions, and a supplementary list of theoretical exercises and problems. This edition was typeset using AMS-'lEX, the American Mathematical Society's 'lex system. To clear my conscience completely, I also confess that := stands for the definor, the assignment operator, <J marks the beginning of a (possibly empty) proof, and [> signifies the end of the proof. s. K utateladze

9 Preface to the First Russian Edition As the title implies, this book treats functional analysis. At the turn of the century the term "functional analysis" was coined by J. Hadamard who is famous among mathematicians for the formula of the radius of convergence of a power series. The term "functional analysis" was universally accepted then as related to the calculus of variations, standing for a new direction of analysis which was intensively developed by V. Volterra, C. Arzela, S. Pincherle, P. Levy, and other representatives of the French and Italian mathematical schools. J. Hadamard's contribution to the present discipline should not be reduced to the invention of the word "functional" (or more precisely to the transformation of the adjective into a proper noun). J. Hadamard was fully aware of the relevance of the rising subject. Working hard, he constantly advertised problems, ideas, and methods just evolved. In particular, to one of his students, M. Frechet, he suggested the problem of inventing something that is now generally acclaimed as the theory of metric spaces. In this connection it is worth indicating that neighborhoods pertinent to functional analysis in the sense of Hadamard and Volterra served as precursors to Hausdorff's famous research, heralding the birth of general topology. Further, it is essential to emphasize that one of the most attractive, difficult, and important sections of classical analysis, the calculus of variations, became the first source of functional analysis. The second source of functional analysis was provided by the study directed to creating some algebraic theory for functional equations or, stated strictly, to simplifying and formalizing the manipulations of "equations in functions" and, in particular, linear integral equations. Ascending to H. Abel and J. Liouville, the theory of the latter was considerably expanded by works of I. Fredholm, K. Neumann, F. Noether,

10 xii Preface A. Poincare, et al. The efforts of these mathematicians fertilized soil for D. Hilbert's celebrated research into quadratic forms in infinitely many variables. His ideas, developed further by F. Riesz, E. Schmidt, et al., were the immediate predecessors of the axiomatic presentation of Hilbert space theory which was undertaken and implemented by J. von Neumann and M. Stone. The resulting section of mathematics h.as vigorously influenced theoretical physics, first of all, quantum mechanics. In this regard it is instructive as well as entertaining to mention that both terms, "quantum" and "functional," originated in the same year, The third major source of functional analysis encompassed Minkowski's geometric ideas. His invention, the apparatus for the finite-dimensional geometry of convex bodies, prepared the bulk of spatial notions ensuring the modern development of analysis. Elaborated by E. Helly, H. Hahn, C. Caratheodory, I. Radon, et al., the idea of convexity has eventually shaped the fundamentals of the theory of locally convex spaces. In turn, the latter has facilitated the spread of distributions and weak derivatives which were recognized by S. L. Sobolev as drastically changing all tools of mathematical physics. In the postwar years the geometric notion of convexity has conquered a new sphere of application for mathematics, viz., social sciences and especially economics. An exceptional role in this process was performed by linear programming discovered by L. V. Kantorovich. The above synopsis of the history of functional analysis is schematic, incomplete, and arbitrary (for instance, it casts aside the line of D. Bernoulli's superposition principle, the line of set functions and integration theory, the line of operational calculus, the line of finite differences and fractional derivation, the line of general analysis, and many others). These demerits notwithstanding, the three sources listed above reflect the main, and most principal, regularity: functional analysis has synthesized and promoted ideas, concepts, and methods from classical sections of mathematics: algebra, geometry, and analysis. Therefore, although functional analysis verbatim means analysis of functions and functionals, even a superficial glance at its history gives grounds to claim that functional analysis is algebra, geometry, and analysis of functions and functionals. A more viable and penetrating explanation for the notion of functional analysis is given by the Soviet Encyclopedic Dictionary: "Functional analysis is one of the principal branches of modern mathematics. It resulted from mutual interaction, unification, and generalization of the ideas and methods stemming from all parts of classical mathematical analysis. It is characterized by the use of concepts pertaining to various

11 Preface abstract spaces such as vector spaces, Hilbert spaces, etc. It finds diverse applications in modern physics, especially in quantum mechanics." The S. Banach treatise Theorie des Operationes Lineares, printed half a century ago, inaugurated functional analysis as an essential activity in mathematics. Its influence on the development of mathematics is seminal: Omnipresent, Banach's ideas, propounded in the book, captivate the realm of modern mathematics. An outstanding contribution toward progress in functional analysis was made by the renowned Soviet scientists: I. M. Gelfand, L. V. Kantorovich, M. V. Keldysh, A. N. Kolmogorov, M. G. KreIn, L. A. Lyusternik, and S. L. Sobolev. The characteristic feature of the Soviet school is that its research on functional analysis is always conducted in connection with profound applied problems. The research has expanded the scope of functional analysis which becomes the prevailing language of the applications of mathematics. The next fact is demonstrative: In 1948 even the title of Kantorovich's insightful article Functional Analysis and Applied Mathematics was considered paradoxical, but it provided a basis for the numerical mathematics of today. And in 1974 S. L. Sobolev stated that "to conceive the theory of calculations without Banach spaces is just as impossible as trying to conceive of it without the use of computers". The exponential accumulation of knowledge within functional analysis is now observed alongside a sharp rise in demand for the tools and concepts of the discipline. The resulting conspicuous gap widens permanently between the current level of analysis and the level fixed in the literature accessible to the reading community. To alter this ominous trend is the purpose of the present book. xiii Preface to the Second Russian Edition For more than a decade the monograph has served as a reference book for compulsory and optional courses in functional analysis at Novosibirsk State University. This time span proves that the principles of compiling the book are legitimate. The present edition is enlarged with sections addressing the fundamentals of distribution theory. Theoretical exercises are supplemented and the list of references is updated. Also, inaccuracies, mostly indicated by my colleagues, have been corrected. I seize the opportunity to express my gratitude to all those who helped me in the preparation of the book. My pleasant debt is to acknowledge the financial support of

12 xiv Preface the Sobolev Institute of Mathematics of the Siberian Division of the Russian Academy of Sciences, the Russian Foundation for Fundamental Research, the International Science Foundation and the American Mathematical Society during the compilation of the second edition. March, 1995 S. Kutateladze