No label defined (Q4236342)

Boolean valued analysis is a technique for studying properties of an arbitrary mathematical object by comparing its representations in two different set-theoretic models whose construction utilizes principally distinct Boolean algebras. Usage of two models for studying a single object is a family feature of the so-called nonstandard methods of analysis. Application of Boolean valued models to problems of analysis rests ultimately on the procedures of ascending and descending, the two natural functors acting between a new Boolean valued universe and the von Neumann universe. The book demonstrates the main advantages of Boolean valued analysis which provides the tools for transforming function spaces to subsets of the reals, operators to functionals, vector valued functions to numerical mappings, etc. Thoroughly examined are the Boolean valued representations of algebraic systems, Banach spaces, and involutive algebras. Boolean valued analysis has revealed the particular role of Dedekind complete vector lattices as lawful and impeccable models of the reals. The book is intended for classical analysts seeking for new powerful tools and to model theorists in search of challenging applications of nonstandard models. To construct a Boolean valued model, the authors start with a complete Boolean algebra \(B\), a cornerstone of a special Boolean valued universe \({\mathbf V}^{(B)}\) consisting of ``\(B\)-valued sets'' that are defined recursively as \(B\)-valued functions over available \(B\)-valued sets. This \({\mathbf V}^{(B)}\) will serve as a universe of discourse for ZFC. Also, \(B\) is appointed as the target of the truth value sending each formula of ZFC to a member of \(B\). More explicitly, to each formula \(\varphi\) of ZFC whose every variable ranges now over \({\mathbf V}^{(B)}\), some element \([[\varphi]]\) of the parental Boolean algebra \(B\) is put in correspondence. The quantity \([[\varphi]]\) is the truth value of \(\varphi\). Truth values are used for validating formulas of ZFC. In particular, every theorem \(\varphi\) of ZFC acquires the greatest truth value \(\mathbf{1}_B\), and \(\varphi\) is declared holding inside the model \({\mathbf V}^{(B)}\). This construction is elaborated in Chapters 1-3. Preliminaries to the axiomatics of Zermelo-Fraenkel set theory are gathered in the Appendix in order to alleviate the burden of the reader. This Appendix also contains preliminaries to category theory. Thorough examination of the Boolean valued representations of algebraic systems is started in Chapter 4. The theory of algebraic systems, propounded in the works by A. I. Maltsev and A. Tarski, ranks among the most vital mathematical achievements of general importance. A profusion of algebraic systems makes information on their Boolean valued representation a must for meaningful application to every section of the present-day mathematics. Of the same high relevance are the constructions of Chapter 5. Mathematics, in any case mathematics as the Science of Infinity, is inconceivable without the reals. Boolean valued analysis has revealed the particular role of a universally complete Kantorovich space. It turns out that each of these spaces serves as a lawful and impeccable model of the reals. Recall that L. V. Kantorovich was the first who introduced Dedekind complete (that is, boundedly order complete) vector lattices as fruitful abstraction of the reals in the thirties. These spaces are also called K-spaces or Kantorovich spaces in memory of Leonid Vital'evich Kantorovich, a great mathematician and a Nobel Laureate in economics. Considering the new objects, L. V. Kantorovich propounded the heuristic transfer principle. Kantorovich's principle claims that the members of a K-space are analogs of real numbers and to each theorem about functionals there corresponds a similar theorem about operators taking values in a K-space. Time enables us to ascribe a clear and rigorous meaning to this heuristic transfer principle. The relevant tools, including the fundamental theorem by E. I. Gordon, comprise the bulk of Chapter 5. Here the authors also expatiate upon the problem of Boolean valued representation for Banach space, the central object of classical functional analysis. It miraculously turns out that the so-called lattice normed spaces, discovered at the cradle of K-space theory, depict the conventional normed spaces. Chapter 6 deals with the theory of operator algebras. Boolean valued analysis of these algebras is the direction of research originated with the pioneer works by G. Takeuti. Study in this direction is very intensive in the recent decades. The exposition leans upon the results of Chapter 5 about Boolean valued representation of lattice normed spaces. This approach makes it possible to treat in a unified fashion various analytical objects such as involutive Banach algebras, Banach modules, Jordan-Banach algebras, algebras of unbounded operators, etc.