الصفحة 1
الصفحة 1
Homotopy Methods in Topological Fixed and Periodic Points Theory
The notion of a fixed point plays a crucial role in numerous branches of mat- maticsand its applications. Informationabout the existence of such pointsis often the crucial argument in solving a problem. In particular, topological methods of fixed point theory have been an increasing focus of interest over the last century. These topological methods of fixed point theory are divided, roughly speaking, into two types. The ?rst type includes such as the Banach Contraction Principle where the assumptions on the space can be very mild but a small change of the map can remove the fixed point. The second type, on the other hand, such as the Brouwer and Lefschetz Fixed Point Theorems, give the existence of a fixed point not only for a given map but also for any its deformations. This book is an exposition of a part of the topological fixed and periodic point theory, of this second type, based on the notions of Lefschetz and Nielsen numbers. Since both notions are homotopyinvariants, the deformationis used as an essential method, and the assertions of theorems typically state the existence of fixed or periodic points for every map of the whole homotopy class, we refer to them as homotopy methods of the topological fixed and periodic point theory.
Handbook of topological fixed point theory
This book is the first in the world literature presenting all new trends in topological fixed point theory. Until now all books connected to the topological fixed point theory were devoted only to some parts of this theory. The content is also likely to stimulate the interest of mathematical economists, population dynamics experts as well as theoretical physicists exploring the topological dynamics.
Fixed point theory for decomposable sets
This book attempts to show the present stage of "decomposable analysis" from the point of view of fixed point theory. The book is split into three parts, beginning with the background of functional analysis, proceeding to the theory of multifunctions and lastly, the decomposability property.Mathematicians and students working in functional, convex and nonlinear analysis, differential inclusions and optimal control should find this book of interest. A good background in fixed point theory is assumed as is a background in topology.
Applied Proof Theory : Proof Interpretations and Their Use in Mathematics
Ulrich Kohlenbach presents an applied form of proof theory that has led in recent years to new results in number theory, approximation theory, nonlinear analysis, geodesic geometry and ergodic theory (among others). This applied approach is based on logical transformations (so-called proof interpretations) and concerns the extraction of effective data (such as bounds) from prima facie ineffective proofs as well as new qualitative results such as independence of solutions from certain parameters, generalizations of proofs by elimination of premises. The book first develops the necessary logical machinery emphasizing novel forms of Gödel's famous functional ('Dialectica') interpretation. It then establishes general logical metatheorems that connect these techniques with concrete mathematics. Finally, two extended case studies (one in approximation theory and one in fixed point theory) show in detail how this machinery can be applied to concrete proofs in different areas of mathematics.
