This book gives a detailed treatment of functional interpretations of arithmetic, analysis, and set theory. The subject goes back to G del's Dialectica interpretation of Heyting arithmetic which replaces nested quantification by higher type operations and thus reduces the consistency problem for arithmetic to the problem of computability of primitive recursive functionals of finite types. Regular functional interpretations, i.e. Dialectica and Diller Nahm interpretation as well as Kreisel's modified realization, together with their Troelstra-style hybrids, are applied to constructive as well as classical systems of arithmetic, analysis, and set theory. They yield relative consistency and conservativity results and closure under relevant rules of the theories in question as well as axiomatic characterizations of the functional translations. Prerequisites are: familiarity with classical and intuitionistic predicate logic, basics of computability theory, G del's incompleteness theorems.

Even the simplest mathematical abstraction of the phenomena of reality the real line-can be regarded from different points of view by different mathematical disciplines. For example, the algebraic approach to the study of the real line involves describing its properties as a set to whose elements we can apply" operations," and obtaining an algebraic model of it on the basis of these properties, without regard for the topological properties. On the other hand, we can focus on the topology of the real line and construct a formal model of it by singling out its" continuity" as a basis for the model. Analysis regards the line, and the functions on it, in the unity of the whole system of their algebraic and topological properties, with the fundamental deductions about them obtained by using the interplay between the algebraic and topological structures. The same picture is observed at higher stages of abstraction. Algebra studies linear spaces, groups, rings, modules, and so on. Topology studies structures of a different kind on arbitrary sets, structures that give mathe matical meaning to the concepts of a limit, continuity, a neighborhood, and so on. Functional analysis takes up topological linear spaces, topological groups, normed rings, modules of representations of topological groups in topological linear spaces, and so on. Thus, the basic object of study in functional analysis consists of objects equipped with compatible algebraic and topological structures.

Introductory text covers basic structures of mathematical analysis (linear spaces, metric spaces, normed linear spaces, etc.), differential equations, orthogonal expansions, Fourier transforms, and more. Includes problems with hints and answers. Bibliography. 1974 edition.

The book is based on courses taught by the author at Moscow State University. Compared to many other books on the subject, it is unique in that the exposition is based on extensive use of the language and elementary constructions of category theory. Among topics featured in the book are the theory of Banach and Hilbert tensor products, the theory of distributions and weak topologies, and Borel operator calculus. The book contains many examples illustrating the general theory presented, as well as multiple exercises that help the reader to learn the subject. It can be used as a textbook on selected topics of functional analysis and operator theory. Prerequisites include linear algebra, elements of real analysis, and elements of the theory of metric spaces.

topics. However, only a modest preliminary knowledge is needed. In the first chapter, where we introduce an important topological concept, the so-called topological degree for continuous maps from subsets ofRn into Rn, you need not know anything about functional analysis. Starting with Chapter 2, where infinite dimensions first appear, one should be familiar with the essential step of consider ing a sequence or a function of some sort as a point in the corresponding vector space of all such sequences or functions, whenever this abstraction is worthwhile. One should also work out the things which are proved in § 7 and accept certain basic principles of linear functional analysis quoted there for easier references, until they are applied in later chapters. In other words, even the 'completely linear' sections which we have included for your convenience serve only as a vehicle for progress in nonlinearity. Another point that makes the text introductory is the use of an essentially uniform mathematical language and way of thinking, one which is no doubt familiar from elementary lectures in analysis that did not worry much about its connections with algebra and topology. Of course we shall use some elementary topological concepts, which may be new, but in fact only a few remarks here and there pertain to algebraic or differential topological concepts and methods.

"The book contains an enormous amount of information — mathematical, bibliographical and historical — interwoven with some outstanding heuristic discussions." — Mathematical Reviews. In this massive graduate-level study, Emeritus Professor Edwards (Australian National University, Canberra) presents a balanced account of both the abstract theory and the applications of linear functional analysis. Written for readers with a basic knowledge of set theory, general topology, and vector spaces, the book includes an abundance of carefully chosen illustrative examples and excellent exercises at the end of each chapter. Beginning with a chapter of preliminaries on set theory and topology, Dr. Edwards then presents detailed, in-depth discussions of vector spaces and topological vector spaces, the Hahn-Banach theorem (including applications to potential theory, approximation theory, game theory, and other fields) and fixed-point theorems. Subsequent chapters focus on topological duals of certain spaces: radon measures, distribution and linear partial differential equations, open mapping and closed graph theorems, boundedness principles, duality theory, the theory of compact operators and the Krein-Milman theorem and its applications to commutative harmonic analysis. Clearly and concisely written, Dr. Edwards's book offers rewarding reading to mathematicians and physicists with an interest in the important field of functional analysis. Because of the broad scope of its coverage, this volume will be especially valuable to the reader with a basic knowledge of functional analysis who wishes to learn about parts of the subject other than his own specialties. A comprehensive 32-page bibliography supplies a rich source of references to the basic literature.

Includes sections on the spectral resolution and spectral representation of self adjoint operators, invariant subspaces, strongly continuous one-parameter semigroups, the index of operators, the trace formula of Lidskii, the Fredholm determinant, and more. Assumes prior knowledge of Naive set theory, linear algebra, point set topology, basic complex variable, and real variables. Includes an appendix on the Riesz representation theorem.