This book offers a detailed presentation of results needed to prove the Morse Homology Theorem using classical techniques from algebraic topology and homotopy theory. The text presents results that were formerly scattered in the mathematical literature, in a single reference with complete and detailed proofs. The core material includes CW-complexes, Morse theory, hyperbolic dynamical systems (the Lamba-Lemma, the Stable/Unstable Manifold Theorem), transversality theory, the Morse-Smale-Witten boundary operator, and Conley index theory.

This book is written in a pedagogical style intelligible for graduate students. It reviews recent progress in black-hole and wormhole theory and in mathematical cosmology within the framework of Einstein's field equations and beyond, including quantum effects. This collection of essays, written by leading scientists of long standing reputation, should become an indispensable source for future research.

In the last few years the use of geometrie methods has permeated many more branehes of mathematies and the seiences. Briefly its role may be eharaeterized as folIows. Whereas methods of mathematieal analysis deseribe phenomena 'in the sm all " geometrie methods eontribute to giving the picture 'in the large'. A seeond no less important property of geometrie methods is the eonvenienee of using its language to deseribe and give qualitative explanations for diverse mathematieal phenomena and patterns. From this point of view, the theory of veetor bundles together with mathematieal analysis on manifolds (global anal- ysis and differential geometry) has provided a major stimulus. Its language turned out to be extremely fruitful: connections on prineipal veetor bundles (in terms of whieh various field theories are deseribed), transformation groups including the various symmetry groups that arise in eonneetion with physieal problems, in asymptotie methods of partial differential equations with small parameter, in elliptie operator theory, in mathematieal methods of classieal meehanies and in mathematieal methods in eeonomies. There are other eur- rently less signifieant applieations in other fields. Over a similar period, uni- versity edueation has ehanged eonsiderably with the appearanee of new courses on differential geometry and topology. New textbooks have been published but 'geometry and topology' has not, in our opinion, been wen eovered from a prae- tieal applieations point of view.

Fixed point theory in probabilistic metric spaces can be considered as a part of Probabilistic Analysis, which is a very dynamic area of mathematical research. A primary aim of this monograph is to stimulate interest among scientists and students in this fascinating field. The text is self-contained for a reader with a modest knowledge of the metric fixed point theory. Several themes run through this book. The first is the theory of triangular norms (t-norms), which is closely related to fixed point theory in probabilistic metric spaces. Its recent development has had a strong influence upon the fixed point theory in probabilistic metric spaces. In Chapter 1 some basic properties of t-norms are presented and several special classes of t-norms are investigated. Chapter 2 is an overview of some basic definitions and examples from the theory of probabilistic metric spaces. Chapters 3, 4, and 5 deal with some single-valued and multi-valued probabilistic versions of the Banach contraction principle. In Chapter 6, some basic results in locally convex topological vector spaces are used and applied to fixed point theory in vector spaces. Audience: The book will be of value to graduate students, researchers, and applied mathematicians working in nonlinear analysis and probabilistic metric spaces.

While in classical (abelian) homological algebra additive functors from abelian (or additive) categories to abelian categories are investigated , non- abelian homological algebra deals with non-additive functors and their homological properties , in particular with functors having values in non-abelian categories. Such functors haveimportant applications in algebra, algebraic topology, functional analysis, algebraic geometry and other principal areas of mathematics. To study homological properties of non-additive functors it is necessary to define and investigate their derived functors and satellites. It will be the aim of this book based on the results of researchers of A. Razmadze Mathematical Institute of the Georgian Academy of Sciences devoted to non-abelian homological algebra. The most important considered cases will be functors from arbitrary categories to the category of modules, group valued functors and commutative semigroup valued functors. In Chapter I universal sequences of functors are defined and in- vestigated with respect to (co)presheaves of categories, extending in a natural way the satellites of additive functors to the non-additive case and generalizing the classical relative homological algebra in additive categories to arbitrary categories. Applications are given in the furth- coming chapters. Chapter II is devoted to the non-abelian derived functors of group valued functors with respect to projective classes using projective pseu- dosimplicial resolutions. Their functorial properties (exactness, Milnor exact sequence, relationship with cotriple derived functors, satellites and Grothendieck cohomology, spectral sequence of an epimorphism, degree of an arbitrary functor) are established and applications to ho- mology and cohomology of groups are given.

This up-to-date survey of the whole field of topology is the flagship of the topology subseries of the Encyclopaedia. The book gives an overview of various subfields, beginning with the elements and proceeding right up to the present frontiers of research.

One service mathematics has rendered the human race. It has put common sense back where it belongs. It has put common sense back where it belongs, on the topmost shelf next to the dusty canister labelled discarded nonsense. Eric TBell Every picture tells a story. Advenisement for for Sloan's backache and kidney oils, 1907 The book you have in your hands as you are reading this, is a text on3-dimensional topology. It can serve as a pretty comprehensive text book on the subject. On the other hand, it frequently gets to the frontiers of current research in the topic. If pressed, I would initially classify it as a monograph, but, thanks to the over three hundred illustrations of the geometrical ideas involved, as a rather accessible one, and hence suitable for advanced classes. The style is somewhat informal; more or less like orally presented lectures, and the illustrations more than make up for all the visual aids and handwaving one has at one's command during an actual presentation.

From the 28th of February through the 3rd of March, 2001, the Department of Math ematics of the University of Florida hosted a conference on the many aspects of the field of Ordered Algebraic Structures. Officially, the title was "Conference on Lattice Ordered Groups and I-Rings," but its subject matter evolved beyond the limitations one might associate with such a label. This volume is officially the proceedings of that conference, although, likewise, it is more accurate to view it as a complement to that event. The conference was the fourth in wh at has turned into aseries of similar conferences, on Ordered Algebraic Structures, held in consecutive years. The first, held at the University of Florida in Spring, 1998, was a modest and informal affair. The fifth is in the final planning stages at this writing, for March 7-9, 2002, at Vanderbilt University. And although these events remain modest and reasonably informal, their scope has broadened, as they have succeeded in attracting mathematicians from other, related fields, as weIl as from more distant lands."

This book is a course in general topology, intended for students in the first year of the second cycle (in other words, students in their third univer sity year). The course was taught during the first semester of the 1979-80 academic year (three hours a week of lecture, four hours a week of guided work). Topology is the study of the notions of limit and continuity and thus is, in principle, very ancient. However, we shall limit ourselves to the origins of the theory since the nineteenth century. One of the sources of topology is the effort to clarify the theory of real-valued functions of a real variable: uniform continuity, uniform convergence, equicontinuity, Bolzano-Weierstrass theorem (this work is historically inseparable from the attempts to define with precision what the real numbers are). Cauchy was one of the pioneers in this direction, but the errors that slip into his work prove how hard it was to isolate the right concepts. Cantor came along a bit later; his researches into trigonometric series led him to study in detail sets of points of R (whence the concepts of open set and closed set in R, which in his work are intermingled with much subtler concepts). The foregoing alone does not justify the very general framework in which this course is set. The fact is that the concepts mentioned above have shown themselves to be useful for objects other than the real numbers."

A systematic survey of all the basic results on the theory of discrete subgroups of Lie groups, presented in a convenient form for users. The book makes the theory accessible to a wide audience, and will be a standard reference for many years to come.

General equilibrium In this book we try to cope with the challenging task of reviewing the so called general equilibrium model and of discussing one specific aspect of the approach underlying it, namely, market completeness. With the denomination "general equilibrium" (from now on in short GE) we shall mainly refer to two different things. On one hand, in particular when using the expression "GE approach", we shall refer to a long established methodolog ical tradition in building and developing economic models, which includes, as of today, an enormous amount of contributions, ranging in number by several 1 thousands * On the other hand, in particular when using the expression "stan dard differentiable GE model", we refer to a very specific version of economic model of exchange and production, to be presented in Chapters 8 and 9, and to be modified in Chapters 10 to 15. Such a version is certainly formulated within the GE approach, but it is generated by making several quite restrictive 2 assumptions * Even to list and review very shortly all the collective work which can be ascribed to the GE approach would be a formidable task for several coauthors in a lifetime perspective. The book instead intends to address just a single issue. Before providing an illustration of its main topic, we feel the obligation to say a word on the controversial character of GE. First of all, we should say that we identify the GE approach as being based 3 on three principles .

This book is dedicated to the theory of continuous selections of multi valued mappings, a classical area of mathematics (as far as the formulation of its fundamental problems and methods of solutions are concerned) as well as 'J-n area which has been intensively developing in recent decades and has found various applications in general topology, theory of absolute retracts and infinite-dimensional manifolds, geometric topology, fixed-point theory, functional and convex analysis, game theory, mathematical economics, and other branches of modern mathematics. The fundamental results in this the ory were laid down in the mid 1950's by E. Michael. The book consists of (relatively independent) three parts - Part A: Theory, Part B: Results, and Part C: Applications. (We shall refer to these parts simply by their names). The target audience for the first part are students of mathematics (in their senior year or in their first year of graduate school) who wish to get familiar with the foundations of this theory. The goal of the second part is to give a comprehensive survey of the existing results on continuous selections of multivalued mappings. It is intended for specialists in this area as well as for those who have mastered the material of the first part of the book. In the third part we present important examples of applications of continuous selections. We have chosen examples which are sufficiently interesting and have played in some sense key role in the corresponding areas of mathematics."

Helmut Koch's classic is now available in English. Competently translated by Franz Lemmermeyer, it introduces the theory of pro-p groups and their cohomology. The book contains a postscript on the recent development of the field written by H. Koch and F. Lemmermeyer, along with many additional recent references.

Group cohomology has a rich history that goes back a century or more. Its origins are rooted in investigations of group theory and num ber theory, and it grew into an integral component of algebraic topology. In the last thirty years, group cohomology has developed a powerful con nection with finite group representations. Unlike the early applications which were primarily concerned with cohomology in low degrees, the in teractions with representation theory involve cohomology rings and the geometry of spectra over these rings. It is this connection to represen tation theory that we take as our primary motivation for this book. The book consists of two separate pieces. Chronologically, the first part was the computer calculations of the mod-2 cohomology rings of the groups whose orders divide 64. The ideas and the programs for the calculations were developed over the last 10 years. Several new features were added over the course of that time. We had originally planned to include only a brief introduction to the calculations. However, we were persuaded to produce a more substantial text that would include in greater detail the concepts that are the subject of the calculations and are the source of some of the motivating conjectures for the com putations. We have gathered together many of the results and ideas that are the focus of the calculations from throughout the mathematical literature."

Topology as a subject, in our opinion, plays a central role in university education. It is not really possible to design courses in differential geometry, mathematical analysis, differential equations, mechanics, functional analysis that correspond to the temporary state of these disciplines without involving topological concepts. Therefore, it is essential to acquaint students with topo logical research methods already in the first university courses. This textbook is one possible version of an introductory course in topo logy and elements of differential geometry, and it absolutely reflects both the authors' personal preferences and experience as lecturers and researchers. It deals with those areas of topology and geometry that are most closely related to fundamental courses in general mathematics. The educational material leaves a lecturer a free choice in designing his own course or his own seminar. We draw attention to a number of particularities in our book. The first chap ter, according to the authors' intention, should acquaint readers with topolo gical problems and concepts which arise from problems in geometry, analysis, and physics. Here, general topology (Ch. 2) is presented by introducing con structions, for example, related to the concept of quotient spaces, much earlier than various other notions of general topology thus making it possible for students to study important examples of manifolds (two-dimensional surfaces, projective spaces, orbit spaces, etc.) as topological spaces, immediately."

Surfaces in 4-Space, written by leading specialists in the field, discusses knotted surfaces in 4-dimensional space and surveys many of the known results in the area. Results on knotted surface diagrams, constructions of knotted surfaces, classically defined invariants, and new invariants defined via quandle homology theory are presented. The last chapter comprises many recent results, and techniques for computation are presented. New tables of quandles with a few elements and the homology groups thereof are included.

This book contains many new illustrations of knotted surface diagrams. The reader of the book will become intimately aware of the subtleties in going from the classical case of knotted circles in 3-space to this higher dimensional case.

As a survey, the book is a guide book to the extensive literature on knotted surfaces and will become a useful reference for graduate students and researchers in mathematics and physics.

A NATO Advanced Study Institute entitled "Algebraic K-theory and Algebraic Topology" was held at Chateau Lake Louise, Lake Louise, Alberta, Canada from December 12 to December 16 of 1991. This book is the volume of proceedings for this meeting. The papers that appear here are representative of most of the lectures that were given at the conference, and therefore present a "snapshot" of the state ofthe K-theoretic art at the end of 1991. The underlying objective of the meeting was to discuss recent work related to the Lichtenbaum-Quillen complex of conjectures, fro both the algebraic and topological points of view. The papers in this volume deal with a range of topics, including motivic cohomology theories, cyclic homology, intersection homology, higher class field theory, and the former telescope conjecture. This meeting was jointly funded by grants from NATO and the National Science Foun dation in the United States. I would like to take this opportunity to thank these agencies for their support. I would also like to thank the other members of the organizing com mittee, namely Paul Goerss, Bruno Kahn and Chuck Weibel, for their help in making the conference successful. This was the second NATO Advanced Study Institute to be held in this venue; the first was in 1987. The success of both conferences owes much to the professionalism and helpfulness of the administration and staff of Chateau Lake Louise."

In the summer of 1991 the Department of Mathematics and Statistics of the Universite de Montreal was fortunate to host the NATO Advanced Study Institute "Algebras and Orders" as its 30th Seminaire de mathematiques superieures (SMS), a summer school with a long tradition and well-established reputation. This book contains the contributions of the invited speakers. Universal algebra- which established itself only in the 1930's- grew from traditional algebra (e.g., groups, modules, rings and lattices) and logic (e.g., propositional calculus, model theory and the theory of relations). It started by extending results from these fields but by now it is a well-established and dynamic discipline in its own right. One of the objectives of the ASI was to cover a broad spectrum of topics in this field, and to put in evidence the natural links to, and interactions with, boolean algebra, lattice theory, topology, graphs, relations, automata, theoretical computer science and (partial) orders. The theory of orders is a relatively young and vigorous discipline sharing certain topics as well as many researchers and meetings with universal algebra and lattice theory. W. Taylor surveyed the abstract clone theory which formalizes the process of compos ing operations (i.e., the formation of term operations) of an algebra as a special category with countably many objects, and leading naturally to the interpretation and equivalence of varieties."

This book is devoted to some results from the classical Point Set Theory and their applications to certain problems in mathematical analysis of the real line. Notice that various topics from this theory are presented in several books and surveys. From among the most important works devoted to Point Set Theory, let us first of all mention the excellent book by Oxtoby [83] in which a deep analogy between measure and category is discussed in detail. Further, an interesting general approach to problems concerning measure and category is developed in the well-known monograph by Morgan [79] where a fundamental concept of a category base is introduced and investigated. We also wish to mention that the monograph by Cichon, W";glorz and the author [19] has recently been published. In that book, certain classes of subsets of the real line are studied and various cardinal valued functions (characteristics) closely connected with those classes are investigated. Obviously, the IT-ideal of all Lebesgue measure zero subsets of the real line and the IT-ideal of all first category subsets of the same line are extensively studied in [19], and several relatively new results concerning this topic are presented. Finally, it is reasonable to notice here that some special sets of points, the so-called singular spaces, are considered in the classi

Author is well-known and established book author (all Serge Lang books are now published by Springer); Presents a brief introduction to the subject; All manifolds are assumed finite dimensional in order not to frighten some readers; Complete proofs are given; Use of manifolds cuts across disciplines and includes physics, engineering and economics

In 1961 Smale established the generalized Poincare Conjecture in dimensions greater than or equal to 5 [129] and proceeded to prove the h-cobordism theorem [130]. This result inaugurated a major effort to classify all possible smooth and topological structures on manifolds of dimension at least 5. By the mid 1970's the main outlines of this theory were complete, and explicit answers (especially concerning simply connected manifolds) as well as general qualitative results had been obtained. As an example of such a qualitative result, a closed, simply connected manifold of dimension 2: 5 is determined up to finitely many diffeomorphism possibilities by its homotopy type and its Pontrjagin classes. There are similar results for self-diffeomorphisms, which, at least in the simply connected case, say that the group of self-diffeomorphisms of a closed manifold M of dimension at least 5 is commensurate with an arithmetic subgroup of the linear algebraic group of all automorphisms of its so-called rational minimal model which preserve the Pontrjagin classes [131]. Once the high dimensional theory was in good shape, attention shifted to the remaining, and seemingly exceptional, dimensions 3 and 4. The theory behind the results for manifolds of dimension at least 5 does not carryover to manifolds of these low dimensions, essentially because there is no longer enough room to maneuver. Thus new ideas are necessary to study manifolds of these "low" dimensions.

In recent years, the fixed point theory of Lipschitzian-type mappings has rapidly grown into an important field of study in both pure and applied mathematics. It has become one of the most essential tools in nonlinear functional analysis. This self-contained book provides the first systematic presentation of Lipschitzian-type mappings in metric and Banach spaces. The first chapter covers some basic properties of metric and Banach spaces. Geometric considerations of underlying spaces play a prominent role in developing and understanding the theory. The next two chapters provide background in terms of convexity, smoothness and geometric coefficients of Banach spaces including duality mappings and metric projection mappings. This is followed by results on existence of fixed points, approximation of fixed points by iterative methods and strong convergence theorems. The final chapter explores several applicable problems arising in related fields. This book can be used as a textbook and as a reference for graduate students, researchers and applied mathematicians working in nonlinear functional analysis, operator theory, approximations by iteration theory, convexity and related geometric topics, and best approximation theory.

This book examines an abstract mathematical theory, placing special emphasis on results applicable to formal logic. If a theory is especially abstract, it may find a natural home within several of the more familiar branches of mathematics. This is the case with the theory of closure spaces. It might be considered part of topology, lattice theory, universal algebra or, no doubt, one of several other branches of mathematics as well. In our development we have treated it, conceptually and methodologically, as part of topology, partly because we first thought ofthe basic structure involved (closure space), as a generalization of Frechet's concept V-space. V-spaces have been used in some developments of general topology as a generalization of topological space. Indeed, when in the early '50s, one of us started thinking about closure spaces, we thought ofit as the generalization of Frechet V space which comes from not requiring the null set to be CLOSURE SPACES ANDLOGIC XlI closed(as it is in V-spaces). This generalization has an extreme advantage in connection with application to logic, since the most important closure notion in logic, deductive closure, in most cases does not generate a V-space, since the closure of the null set typically consists of the "logical truths" of the logic being examined."

A description of the global properties of simply-connected spaces that are non-positively curved in the sense of A. D. Alexandrov, and the structure of groups which act on such spaces by isometries. The theory of these objects is developed in a manner accessible to anyone familiar with the rudiments of topology and group theory: non-trivial theorems are proved by concatenating elementary geometric arguments, and many examples are given. Part I provides an introduction to the geometry of geodesic spaces, while Part II develops the basic theory of spaces with upper curvature bounds. More specialized topics, such as complexes of groups, are covered in Part III.

Preface to the English Edition The present monograph is a revised and enlarged alternative of the author's monograph 19] which was devoted to the development of a unified approach to studying differential inclusions, whose values of the right hand sides are compact, not necessarily convex subsets of a Banach space. This approach relies on ideas and methods of modem functional analysis, general topology, the theory of multi-valued mappings and continuous selectors. Although the basic content of the previous monograph has been remained the same this monograph has been partly re-organized and the author's recent results have been added. The contents of the present book are divided into five Chapters and an Appendix. The first Chapter of the J>ook has been left without changes and deals with multi-valued differential equations generated by a differential inclusion. The second Chapter has been significantly revised and extended. Here the au thor's recent results concerning extreme continuous selectors of multi-functions with decomposable values, multi-valued selectors ofmulti-functions generated by a differential inclusion, the existence of solutions of a differential inclusion, whose right hand side has different properties of semicontinuity at different points, have been included. Some of these results made it possible to simplify schemes for proofs concerning the existence of solutions of differential inclu sions with semicontinuous right hand side a.nd to obtain new results. In this Chapter the existence of solutions of different types are considered."