Series:

Mathematics and its Applications

4 primary works

Book 291

Cover of Nonstandard Methods of Analysis
Nonstandard Methods of Analysis is concerned with the main trends in this field; infinitesimal analysis and Boolean-valued analysis. The methods that have been developed in the last twenty-five years are explained in detail, and are collected in book form for the first time. Special attention is paid to general principles and fundamentals of formalisms for infinitesimals as well as to the technique of descents and ascents in a Boolean-valued universe. The book also includes various novel applications of nonstandard methods to ordered algebraic systems, vector lattices, subdifferentials, convex programming etc. that have been developed in recent years.
For graduate students, postgraduates and all researchers interested in applying nonstandard methods in their work.

Book 323

Cover of Subdifferentials
Presenting the most important results of a new branch of functional analysis - subdifferential calculus and its applications - this monograph details new tools and techniques of convex and non-smooth analysis, such as Kantorovich spaces, vector duality, Boolean-valued and infinitesimal versions of non-standard analysis, covering a wide range of topics. The book aims to fill the gap between the theoretical core of modern functional analysis and its applicable sections, such as optimization, optimal control, mathematical programming, economics and related subjects. The material is intended for theoretical mathematicians looking for possible new applications, and applied mathematicians seeking powerful contemporary theoretical methods.

Book 494

Cover of Boolean Valued Analysis
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 utilises principally distinct Boolean algebras. The use of two models for studying a single object is a characteristic of the so-called non-standard 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. This book demonstrates the main advantages of Boolean valued analysis which provides the tools for transforming, for example, function spaces to subsets of the reals, operators to functionals, and vector-functions to numerical mappings. Boolean valued representations of algebraic systems, Banach spaces, and involutive algebras are examined thoroughly. Audience: This volume is intended for classical analysts seeking new tools, and for model theorists in search of challenging applications of nonstandard models.

Book 544

Cover of Infinitesimal Analysis

Infinitesimal analysis, once a synonym for calculus, is now viewed as a technique for studying the properties of an arbitrary mathematical object by discriminating between its standard and nonstandard constituents. Resurrected by A. Robinson in the early 1960's with the epithet 'nonstandard', infinitesimal analysis not only has revived the methods of infinitely small and infinitely large quantities, which go back to the very beginning of calculus, but also has suggested many powerful tools for research in every branch of modern mathematics.

The book sets forth the basics of the theory, as well as the most recent applications in, for example, functional analysis, optimization, and harmonic analysis. The concentric style of exposition enables this work to serve as an elementary introduction to one of the most promising mathematical technologies, while revealing up-to-date methods of monadology and hyperapproximation.

This is a companion volume to the earlier works on nonstandard methods of analysis by A.G. Kusraev and S.S. Kutateladze (1999), ISBN 0-7923-5921-6 and Nonstandard Analysis and Vector Lattices edited by S.S. Kutateladze (2000), ISBN 0-7923-6619-0