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.

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.

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.

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.