Inverse limits provide a powerful tool for constructing complicated spaces from simple ones. Theyalso turn the study of a dynamical system consisting of a space and a self-map into a study of a (likely more complicated) space and a self-homeomorphism. In four chapters along with an appendix containing background material the authors develop the theory of inverse limits. The bookbegins with an introduction through inverse limits on 0,1] before moving to a general treatment of the subject. Special topics in continuum theory complete thebook. Although it is not a book on dynamics, the influence of dynamics can be seen throughout; for instance, it includes studies of inverse limits with maps from families of maps that are of interest to dynamicists such as the logistic and the tent families.

This book will serve as a useful reference to graduate students and researchers in continuum theory and dynamical systems. Researchers working in applied areas who are discovering inverse limits in their work will also benefit from this book. "

The theory presented in this book is developed constructively, is based on a few axioms encapsulating the notion of objects (points and sets) being apart, and encompasses both point-set topology and the theory of uniform spaces. While the classical-logic-based theory of proximity spaces provides some guidance for the theory of apartness, the notion of nearness/proximity does not embody enough algorithmic information for a deep constructive development. The use of constructive (intuitionistic) logic in this book requires much more technical ingenuity than one finds in classical proximity theory -- algorithmic information does not come cheaply -- but it often reveals distinctions that are rendered invisible by classical logic. In the first chapter the authors outline informal constructive logic and set theory, and, briefly, the basic notions and notations for metric and topological spaces. In the second they introduce axioms for a point-set apartness and then explore some of the consequences of those axioms. In particular, they examine a natural topology associated with an apartness space, and relations between various types of continuity of mappings. In the third chapter the authors extend the notion of point-set (pre-)apartness axiomatically to one of (pre-)apartness between subsets of an inhabited set. They then provide axioms for a quasiuniform space, perhaps the most important type of set-set apartness space. Quasiuniform spaces play a major role in the remainder of the chapter, which covers such topics as the connection between uniform and strong continuity (arguably the most technically difficult part of the book), apartness and convergence in function spaces, types of completeness, and neat compactness. Each chapter has a Notes section, in which are found comments on the definitions, results, and proofs, as well as occasional pointers to future work. The book ends with a Postlude that refers to other constructive approaches to topology, with emphasis on the relation between apartness spaces and formal topology. Largely an exposition of the authors' own research, this is the first book dealing with the apartness approach to constructive topology, and is a valuable addition to the literature on constructive mathematics and on topology in computer science. It is aimed at graduate students and advanced researchers in theoretical computer science, mathematics, and logic who are interested in constructive/algorithmic aspects of topology.

L.E.J. Brouwer (1881-1966) is best known for his revolutionary ideas on topology and foundations of mathematics (intuitionism). The present collection contains a mixture of letters; university and faculty correspondence has been included, some of which shed light on the student years, and in particular on the exchange of letters with his PhD adviser, Korteweg. Acting as the natural sequel to the publication of Brouwer's biography, this book provides instrumental reading for those wishing to gain a deeper understanding of Brouwer and his role in the twentieth century. Striking a good balance of biographical and scientific information, the latter deals with innovations in topology (Cantor-Schoenflies style and the new topology) and foundations. The topological period in his research is well represented in correspondence with Hilbert, Schoenflies, Poincare, Blumenthal, Lebesgue, Baire, Koebe, and foundational topics are discussed in letters exchanged with Weyl, Fraenkel, Heyting, van Dantzig and others. There is also a large part of correspondence on matters related to the interbellum scientific politics. This book will appeal to both graduate students and researchers with an interest in topology, the history of mathematics, the foundations of mathematics, philosophy and general science.

The biennial meetings at Sao Carlos have helped create a worldwide community of experts and young researchers working on singularity theory, with a special focus on applications to a wide variety of topics in both pure and applied mathematics. The tenth meeting, celebrating the 60th birthdays of Terence Gaffney and Maria Aparecida Soares Ruas, was a special occasion attracting the best known names in the area. This volume contains contributions by the attendees, including three articles written or co-authored by Gaffney himself, and survey articles on the existence of Milnor fibrations, global classifications and graphs, pairs of foliations on surfaces, and Gaffney's work on equisingularity.

The classical story - of the hypergeometric functions, the configuration space of 4 points on the projective line, elliptic curves, elliptic modular functions and the theta functions - now evolves, in this book, to the story of hypergeometric funktions in 4 variables, the configuration space of 6 points in the projective plane, K3 surfaces, theta functions in 4 variables.
This modern theory has been established by the author and his collaborators in the 1990's; further development to different aspects is expected.
It leads the reader to a fascinating 4-dimensional world.
The author tells the story casually and visually in a plain language, starting form elementary level such as equivalence relations, the exponential function, ... Undergraduate students should be able to enjoy the text.

Symmetries in dynamical systems, "KAM theory and other perturbation theories," "Infinite dimensional systems," "Time series analysis" and "Numerical continuation and bifurcation analysis" were the main topics of the December 1995 Dynamical Systems Conference held in Groningen in honour of Johann Bernoulli. They now form the core of this work which seeks to present the state of the art in various branches of the theory of dynamical systems. A number of articles have a survey character whereas others deal with recent results in current research. It contains interesting material for all members of the dynamical systems community, ranging from geometric and analytic aspects from a mathematical point of view to applications in various sciences.

I. The topics of this book The concept of a matroid has been known for more than five decades. Whitney (1935) introduced it as a common generalization of graphs and matrices. In the last two decades, it has become clear how important the concept is, for the following reasons: (1) Combinatorics (or discrete mathematics) was considered by many to be a collection of interesting, sometimes deep, but mostly unrelated ideas. However, like other branches of mathematics, combinatorics also encompasses some gen eral tools that can be learned and then applied, to various problems. Matroid theory is one of these tools. (2) Within combinatorics, the relative importance of algorithms has in creased with the spread of computers. Classical analysis did not even consider problems where "only" a finite number of cases were to be studied. Now such problems are not only considered, but their complexity is often analyzed in con siderable detail. Some questions of this type (for example, the determination of when the so called "greedy" algorithm is optimal) cannot even be answered without matroidal tools."

''Intended mainly for physicists and mathematicians...its high quality will definitely attract a wider audience.'' ---Computational Mathematics and Mathematical Physics This work acquaints the physicist with the mathematical principles of algebraic topology, group theory, and differential geometry, as applicable to research in field theory and the theory of condensed matter. Emphasis is placed on the topological structure of monopole and instanton solution to the Yang-Mills equations, the description of phases in superfluid 3He, and the topology of singular solutions in 3He and liquid crystals.

Geometric topology may roughly be described as the branch of the topology of manifolds which deals with questions of the existence of homeomorphisms. Only in fairly recent years has this sort of topology achieved a sufficiently high development to be given a name, but its beginnings are easy to identify. The first classic result was the SchOnflies theorem (1910), which asserts that every 1-sphere in the plane is the boundary of a 2-cell. In the next few decades, the most notable affirmative results were the "Schonflies theorem" for polyhedral 2-spheres in space, proved by J. W. Alexander [Ad, and the triangulation theorem for 2-manifolds, proved by T. Rad6 [Rd. But the most striking results of the 1920s were negative. In 1921 Louis Antoine [A ] published an extraordinary paper in which he 4 showed that a variety of plausible conjectures in the topology of 3-space were false. Thus, a (topological) Cantor set in 3-space need not have a simply connected complement; therefore a Cantor set can be imbedded in 3-space in at least two essentially different ways; a topological 2-sphere in 3-space need not be the boundary of a 3-cell; given two disjoint 2-spheres in 3-space, there is not necessarily any third 2-sphere which separates them from one another in 3-space; and so on and on. The well-known "horned sphere" of Alexander [A ] appeared soon thereafter.

The theory of function spaces endowed with the topology of point wise convergence, or Cp-theory, exists at the intersection of three important areas of mathematics: topological algebra, functional analysis, and general topology. Cp-theory has an important role in the classification and unification of heterogeneous results from each of these areas of research. Through over 500 carefully selected problems and exercises, this volume provides a self-contained introduction to Cp-theory and general topology. By systematically introducing each of the major topics in Cp-theory, this volume is designed to bring a dedicated reader from basic topological principles to the frontiers of modern research. Key features include: - A unique problem-based introduction to the theory of function spaces. - Detailed solutions to each of the presented problems and exercises. - A comprehensive bibliography reflecting the state-of-the-art in modern Cp-theory. - Numerous open problems and directions for further research. This volume can be used as a textbook for courses in both Cp-theory and general topology as well as a reference guide for specialists studying Cp-theory and related topics. This book also provides numerous topics for PhD specialization as well as a large variety of material suitable for graduate research.

In the preface to Volume One I promised a second volume which would contain the theory of linear mappings and special classes of spaces im portant in analysis. It took me nearly twenty years to fulfill this promise, at least to some extent. To the six chapters of Volume One I added two new chapters, one on linear mappings and duality (Chapter Seven), the second on spaces of linear mappings (Chapter Eight). A glance at the Contents and the short introductions to the two new chapters will give a fair impression of the material included in this volume. I regret that I had to give up my intention to write a third chapter on nuclear spaces. It seemed impossible to include the recent deep results in this field without creating a great further delay. A substantial part of this book grew out of lectures I held at the Mathematics Department of the University of Maryland. during the academic years 1963-1964, 1967-1968, and 1971-1972. I would like to express my gratitude to my colleagues J. BRACE, S. GOLDBERG, J. HORVATH, and G. MALTESE for many stimulating and helpful discussions during these years. I am particularly indebted to H. JARCHOW (Ziirich) and D. KEIM (Frankfurt) for many suggestions and corrections. Both have read the whole manuscript. N. ADASCH (Frankfurt), V. EBERHARDT (Miinchen), H. MEISE (Diisseldorf), and R. HOLLSTEIN (Paderborn) helped with important observations."

The present volume grew out of the Heidelberg Knot Theory Semester, organized by the editors in winter 2008/09 at Heidelberg University. The contributed papers bring the reader up to date on the currently most actively pursued areas of mathematical knot theory and its applications in mathematical physics and cell biology. Both original research and survey articles are presented; numerous illustrations support the text. The book will be of great interest to researchers in topology, geometry, and mathematical physics, graduate students specializing in knot theory, and cell biologists interested in the topology of DNA strands.

The work of Professor Eduard Cech had a si~ificant influence on the development of algebraic and general topology and differential geometry. This book, which appears on the occasion of the centenary of Cech's birth, contains some of his most important papers and traces the subsequent trends emerging from his ideas. The body of the book consists of four chapters devoted to algebraic topology, Cech-Stone compactification, dimension theory and differential geometry. Each of these includes a selection of Cech's papers, a brief summary of some results which followed from his work or constituted solutions to the problems he posed, and several selected papers by various authors concerning the areas of study he initiated. The book also contains a concise biography borrowed with minor changes from the book Topological papers of E. tech, a list of Cech's publications and a very brief note on his activity in the didactics of mathematics. The editors wish to express their sincere gratitude to all who contributed to the completion and publication of this book.

This work is suitable for undergraduate students as well as advanced students and research workers. It consists of ten chapters, the first six of which are meant for beginners and are therefore suitable for undergraduate students; Chapters VII-X are suitable for advanced students and research workers interested in functional analysis. This book has two special features: First, it contains generalizations of continuous maps on topological spaces, e. g. , almost continuous maps, nearly continuous maps, maps with closed graph, graphically continuous maps, w-continuous maps, and a-continuous maps, etc. and some of their properties. The treatment of these notions appears here, in Chapter VII, for the first time in book form. The second feature consists in some not-so-easily-available nuptial delights that grew out of the marriage of topology and functional analysis; they are topics mainly courted by functional analysts and seldom given in topology books. Specifically, one knows that the set C(X) of all real- or com plex-valued continuous functions on a completely regular space X forms a locally convex topological algebra, a fortiori a topological vector space, in the compact-open topology. A number of theorems are known: For example, C(X) is a Banach space iff X is compact, or C(X) is complete iff X is a kr-space, and so on. Chapters VIII and X include this material, which, to the regret of many interested readers has not previously been available in book form (a recent publication (Weir [\06]) does, however, contain some material of our Chapter X).

This volume contains reviewed papers from the 1997 IUTAM Symposium, presenting the latest results from leading scientists within the field of detection and simulation of organized flow structures. It describes various aspects of complex, organized flow motion, including topics from decomposition techniques to topological concepts.

1. Historical Remarks Convex Integration theory, first introduced by M. Gromov [17], is one of three general methods in immersion-theoretic topology for solving a broad range of problems in geometry and topology. The other methods are: (i) Removal of Singularities, introduced by M. Gromov and Y. Eliashberg [8]; (ii) the covering homotopy method which, following M. Gromov's thesis [16], is also referred to as the method of sheaves. The covering homotopy method is due originally to S. Smale [36] who proved a crucial covering homotopy result in order to solve the classification problem for immersions of spheres in Euclidean space. These general methods are not linearly related in the sense that succes sive methods subsumed the previous methods. Each method has its own distinct foundation, based on an independent geometrical or analytical insight. Conse quently, each method has a range of applications to problems in topology that are best suited to its particular insight. For example, a distinguishing feature of Convex Integration theory is that it applies to solve closed relations in jet spaces, including certain general classes of underdetermined non-linear systems of par tial differential equations. As a case of interest, the Nash-Kuiper Cl-isometrie immersion theorem ean be reformulated and proved using Convex Integration theory (cf. Gromov [18]). No such results on closed relations in jet spaees can be proved by means of the other two methods.

Geodesic flows of Riemannian metrics on manifolds are one of the classical objects in geometry. A particular place among them is occupied by integrable geodesic flows. We consider them in the context of the general theory of integrable Hamiltonian systems, and in particular, from the viewpoint of a new topological classification theory, which was recently developed for integrable Hamiltonian systems with two degrees of freedom. As a result, we will see that such a new approach is very useful for a deeper understanding of the topology and geometry of integrable geodesic flows. The main object to be studied in our paper is the class of integrable geodesic flows on two-dimensional surfaces. There are many such flows on surfaces of small genus, in particular, on the sphere and torus. On the contrary, on surfaces of genus 9 > 1, no such flows exist in the analytical case. One of the most important and interesting problems consists in the classification of integrable flows up to different equivalence relations such as (1) an isometry, (2) the Liouville equivalence, (3) the trajectory equivalence (smooth and continuous), and (4) the geodesic equivalence. In recent years, a new technique was developed, which gives, in particular, a possibility to classify integrable geodesic flows up to these kinds of equivalences. This technique is presented in our paper, together with various applications. The first part of our book, namely, Chaps.

Like any books on a subject as vast as this, this book has to have a point-of-view to guide the selection of topics. Naber takes the view that the rekindled interest that mathematics and physics have shown in each other of late should be fostered, and that this is best accomplished by allowing them to cohabit. The book weaves together rudimentary notions from the classical gauge theory of physics with the topological and geometrical concepts that became the mathematical models of these notions. The reader is asked to join the author on some vague notion of what an electromagnetic field might be, to be willing to accept a few of the more elementary pronouncements of quantum mechanics, and to have a solid background in real analysis and linear algebra and some of the vocabulary of modern algebra. In return, the book offers an excursion that begins with the definition of a topological space and finds its way eventually to the moduli space of anti-self-dual SU(2) connections on S4 with instanton number -1.

Visualization and mathematics have begun a fruitful relationship, establishing links between problems and solutions of both fields. In some areas of mathematics, like differential geometry and numerical mathematics, visualization techniques are applied with great success. However, visualization methods are relying heavily on mathematical concepts.
Applications of visualization in mathematical research and the use of mathematical methods in visualization have been topic of an international workshop in Berlin in June 1995. Selected contributions treat topics of particular interest in current research. Experts are reporting on their latest work, giving an overview on this fascinating new area. The reader will get insight to state-of-the-art techniques for solving visualization problems and mathematical questions.

From the reviews: "This is an excellent exposition about abelian Reidemeister torsions for three-manifolds." -Zentralblatt Math

"This monograph contains a wealth of information many topologists will find very handy. ...Many of the new points of view pioneered by Turaev are gradually becoming mainstream and are spreading beyond the pure topology world. This monograph is a timely and very useful addition to the scientific literature." -Mathematical Reviews

One service mathematics has rendered the 'Et moi, "0' si j'avait su oomment en revenir. human race. It has put common sense back je n'y serais point aile: ' Jules Verne where it belongs. on the topmost shelf next to the dusty canister labelled 'discarded n- sense'. The series is divergent; therefore we may be able to do something with it. Eric T. Bell O. Heaviside Mathematics is a tool for thought. A highly necessary tool in a world where both feedback and non linearities abound. Similarly, all kinds of parts of mathematics serve as tools for other parts and for other sciences. Applying a simple rewriting rule to the quote on the right above one finds such statements as: 'One service topology has rendered mathematical physics .. .'; 'One service logic has rendered com puter science .. .'; 'One service category theory has rendered mathematics .. .'. All arguably true. And all statements obtainable this way form part of the raison d'el: re of this series."

This book is an outgrowth of the Workshop on "Regulators in Analysis, Geom etry and Number Theory" held at the Edmund Landau Center for Research in Mathematical Analysis of The Hebrew University of Jerusalem in 1996. During the preparation and the holding of the workshop we were greatly helped by the director of the Landau Center: Lior Tsafriri during the time of the planning of the conference, and Hershel Farkas during the meeting itself. Organizing and running this workshop was a true pleasure, thanks to the expert technical help provided by the Landau Center in general, and by its secretary Simcha Kojman in particular. We would like to express our hearty thanks to all of them. However, the articles assembled in the present volume do not represent the proceedings of this workshop; neither could all contributors to the book make it to the meeting, nor do the contributions herein necessarily reflect talks given in Jerusalem. In the introduction, we outline our view of the theory to which this volume intends to contribute. The crucial objective of the present volume is to bring together concepts, methods, and results from analysis, differential as well as algebraic geometry, and number theory in order to work towards a deeper and more comprehensive understanding of regulators and secondary invariants. Our thanks go to all the participants of the workshop and authors of this volume. May the readers of this book enjoy and profit from the combination of mathematical ideas here documented."

The 20th Century brought the rise of General Topology. It arose from the effort to establish a solid base for Analysis and it is intimately related to the success of set theory. Many Valued Topology and Its Applications seeks to extend the field by taking the monadic axioms of general topology seriously and continuing the theory of topological spaces as topological space objects within an almost completely ordered monad in a given base category C. The richness of this theory is shown by the fundamental fact that the category of topological space objects in a complete and cocomplete (epi, extremal mono)-category C is topological over C in the sense of J. Adamek, H. Herrlich, and G.E. Strecker. Moreover, a careful, categorical study of the most important topological notions and concepts is given - e.g., density, closedness of extremal subobjects, Hausdorff's separation axiom, regularity, and compactness. An interpretation of these structures, not only by the ordinary filter monad, but also by many valued filter monads, underlines the richness of the explained theory and gives rise to new concrete concepts of topological spaces - so-called many valued topological spaces. Hence, many valued topological spaces play a significant role in various fields of mathematics - e.g., in the theory of locales, convergence spaces, stochastic processes, and smooth Borel probability measures. In its first part, the book develops the necessary categorical basis for general topology. In the second part, the previously given categorical concepts are applied to monadic settings determined by many valued filter monads. The third part comprises various applications of many valued topologies to probability theory and statistics as well as to non-classical model theory. These applications illustrate the significance of many valued topology for further research work in these important fields.