In this edition, a set of Supplementary Notes and Remarks has been added at the end, grouped according to chapter. Some of these call attention to subsequent developments, others add further explanation or additional remarks. Most of the remarks are accompanied by a briefly indicated proof, which is sometimes different from the one given in the reference cited. The list of references has been expanded to include many recent contributions, but it is still not intended to be exhaustive. John C. Oxtoby Bryn Mawr, April 1980 Preface to the First Edition This book has two main themes: the Baire category theorem as a method for proving existence, and the "duality" between measure and category. The category method is illustrated by a variety of typical applications, and the analogy between measure and category is explored in all of its ramifications. To this end, the elements of metric topology are reviewed and the principal properties of Lebesgue measure are derived. It turns out that Lebesgue integration is not essential for present purposes-the Riemann integral is sufficient. Concepts of general measure theory and topology are introduced, but not just for the sake of generality. Needless to say, the term "category" refers always to Baire category; it has nothing to do with the term as it is used in homological algebra.

This book develops some of the extraordinary richness, beauty, and power of geometry in two and three dimensions, and the strong connection of geometry with topology. Hyperbolic geometry is the star. A strong effort has been made to convey not just denatured formal reasoning (definitions, theorems, and proofs), but a living feeling for the subject. There are many figures, examples, and exercises of varying difficulty.

This book was the origin of a grand scheme developed by Thurston that is now coming to fruition. In the 1920s and 1930s the mathematics of two-dimensional spaces was formalized. It was Thurston's goal to do the same for three-dimensional spaces. To do this, he had to establish the strong connection of geometry to topology--the study of qualitative questions about geometrical structures. The author created a new set of concepts, and the expression "Thurston-type geometry" has become a commonplace.

"Three-Dimensional Geometry and Topology" had its origins in the form of notes for a graduate course the author taught at Princeton University between 1978 and 1980. Thurston shared his notes, duplicating and sending them to whoever requested them. Eventually, the mailing list grew to more than one thousand names. The book is the culmination of two decades of research and has become the most important and influential text in the field. Its content also provided the methods needed to solve one of mathematics' oldest unsolved problems--the Poincare Conjecture.

In 2005 Thurston won the first AMS Book Prize, for "Three-dimensional Geometry and Topology." The prize recognizes an outstanding research book that makes a seminal contribution to the research literature. Thurston received the Fields Medal, the mathematical equivalent of the Nobel Prize, in 1982 for the depth and originality of his contributions to mathematics. In 1979 he was awarded the Alan T. Waterman Award, which recognizes an outstanding young researcher in any field of science or engineering supported by the National Science Foundation."

As the title suggests, this book is concerned with the elementary portion of the subject of homotopy theory. It is assumed that the reader is familiar with the fundamental group and with singular homology theory, including the Universal Coefficient and Kiinneth Theorems. Some acquaintance with manifolds and Poincare duality is desirable, but not essential. Anyone who has taught a course in algebraic topology is familiar with the fact that a formidable amount of technical machinery must be introduced and mastered before the simplest applications can be made. This phenomenon is also observable in the more advanced parts of the subject. I have attempted to short-circuit it by making maximal use of elementary methods. This approach entails a leisurely exposition in which brevity and perhaps elegance are sacrificed in favor of concreteness and ease of application. It is my hope that this approach will make homotopy theory accessible to workers in a wide range of other subjects-subjects in which its impact is beginning to be felt. It is a consequence of this approach that the order of development is to a certain extent historical. Indeed, if the order in which the results presented here does not strictly correspond to that in which they were discovered, it nevertheless does correspond to an order in which they might have been discovered had those of us who were working in the area been a little more perspicacious.

In recent years, many students have been introduced to topology in high school mathematics. Having met the Mobius band, the seven bridges of Konigsberg, Euler's polyhedron formula, and knots, the student is led to expect that these picturesque ideas will come to full flower in university topology courses. What a disappointment "undergraduate topology" proves to be! In most institutions it is either a service course for analysts, on abstract spaces, or else an introduction to homological algebra in which the only geometric activity is the completion of commutative diagrams. Pictures are kept to a minimum, and at the end the student still does nr~ understand the simplest topological facts, such as the rcason why knots exist. In my opinion, a well-balanced introduction to topology should stress its intuitive geometric aspect, while admitting the legitimate interest that analysts and algebraists have in the subject. At any rate, this is the aim of the present book. In support of this view, I have followed the historical development where practicable, since it clearly shows the influence of geometric thought at all stages. This is not to claim that topology received its main impetus from geometric recreations like the seven bridges; rather, it resulted from the l'isualization of problems from other parts of mathematics-complex analysis (Riemann), mechanics (Poincare), and group theory (Dehn). It is these connec tions to other parts of mathematics which make topology an important as well as a beautiful subject.

This book examines in detail approximate fixed point theory in different classes of topological spaces for general classes of maps. It offers a comprehensive treatment of the subject that is up-to-date, self-contained, and rich in methods, for a wide variety of topologies and maps. Content includes known and recent results in topology (with proofs), as well as recent results in approximate fixed point theory. This work starts with a set of basic notions in topological spaces. Special attention is given to topological vector spaces, locally convex spaces, Banach spaces, and ultrametric spaces. Sequences and function spaces-and fundamental properties of their topologies-are also covered. The reader will find discussions on fundamental principles, namely the Hahn-Banach theorem on extensions of linear (bounded) functionals; the Banach open mapping theorem; the Banach-Steinhaus uniform boundedness principle; and Baire categories, including some applications. Also included are weak topologies and their properties, in particular the theorems of Eberlein-Smulian, Goldstine, Kakutani, James and Grothendieck, reflexive Banach spaces, l_{1}- sequences, Rosenthal's theorem, sequential properties of the weak topology in a Banach space and weak* topology of its dual, and the Frechet-Urysohn property. The subsequent chapters cover various almost fixed point results, discussing how to reach or approximate the unique fixed point of a strictly contractive mapping of a spherically complete ultrametric space. They also introduce synthetic approaches to fixed point problems involving regular-global-inf functions. The book finishes with a study of problems involving approximate fixed point property on an ambient space with different topologies. By providing appropriate background and up-to-date research results, this book can greatly benefit graduate students and mathematicians seeking to advance in topology and fixed point theory.

William Thurston (1946-2012) was one of the great mathematicians of the twentieth century. He was a visionary whose extraordinary ideas revolutionized a broad range of areas of mathematics, from foliations, contact structures, and Teichmuller theory to automorphisms of surfaces, hyperbolic geometry, geometrization of 3-manifolds, geometric group theory, and rational maps. In addition, he discovered connections between disciplines that led to astonishing breakthroughs in mathematical understanding as well as the creation of entirely new fields. His far-reaching questions and conjectures led to enormous progress by other researchers. In What's Next?, many of today's leading mathematicians describe recent advances and future directions inspired by Thurston's transformative ideas. This book brings together papers delivered by his colleagues and former students at "What's Next? The Mathematical Legacy of Bill Thurston," a conference held in June 2014 at Cornell University. It discusses Thurston's fundamental contributions to topology, geometry, and dynamical systems and includes many deep and original contributions to the field. Incisive and wide-ranging, the book explores how he introduced new ways of thinking about and doing mathematics-innovations that have had a profound and lasting impact on the mathematical community as a whole-and also features two papers based on Thurston's unfinished work in dynamics.

Banach spaces and algebras are a key topic of pure mathematics. Graham Allan's careful and detailed introductory account will prove essential reading for anyone wishing to specialise in functional analysis and is aimed at final year undergraduates or masters level students. Based on the author's lectures to fourth year students at Cambridge University, the book assumes knowledge typical of first degrees in mathematics, including metric spaces, analytic topology, and complex analysis. However, readers are not expected to be familiar with the Lebesgue theory of measure and integration.
The text begins by giving the basic theory of Banach spaces, including dual spaces and bounded linear operators. It establishes forms of the theorems that are the pillars of functional analysis, including the Banach-Alaoglu, Hahn-Banach, uniform boundedness, open mapping, and closed graph theorems. There are applications to Fourier series and operators on Hilbert spaces.
The main body of the text is an introduction to the theory of Banach algebras. A particular feature is the detailed account of the holomorphic functional calculus in one and several variables; all necessary background theory in one and several complex variables is fully explained, with many examples and applications considered. Throughout, exercises at sections ends help readers test their understanding, while extensive notes point to more advanced topics and sources.
The book was edited for publication by Professor H. G. Dales of Leeds University, following the death of the author in August, 2007.

Trace and determinant functionals on operator algebras provide a means of constructing invariants in analysis, topology, differential geometry, analytic number theory, and quantum field theory. The consequent developments around such invariants have led to significant advances both in pure mathematics and theoretical physics. As the fundamental tools of trace theory have become well understood and clear general structures have emerged, so the need for specialist texts which explain the basic theoretical principles and computational techniques has become increasingly urgent. Providing a broad account of the theory of traces and determinants on algebras of differential and pseudodifferential operators over compact manifolds, this text is the first to deal with trace theory in general, encompassing a number of the principle applications and backed up by specific computations which set out in detail the nuts-and-bolts of the basic theory. Both the microanalytic approach to traces and determinants via pseudodifferential operator theory and the more computational approach directed by applications in geometric analysis, are developed in a general framework that will be of interest to mathematicians and physicists in a number of different fields.

This book provides an introduction to deformation quantization and its relation to quantum field theory, with a focus on the constructions of Kontsevich and Cattaneo & Felder. This subject originated from an attempt to understand the mathematical structure when passing from a commutative classical algebra of observables to a non-commutative quantum algebra of observables. Developing deformation quantization as a semi-classical limit of the expectation value for a certain observable with respect to a special sigma model, the book carefully describes the relationship between the involved algebraic and field-theoretic methods. The connection to quantum field theory leads to the study of important new field theories and to insights in other parts of mathematics such as symplectic and Poisson geometry, and integrable systems. Based on lectures given by the author at the University of Zurich, the book will be of interest to graduate students in mathematics or theoretical physics. Readers will be able to begin the first chapter after a basic course in Analysis, Linear Algebra and Topology, and references are provided for more advanced prerequisites.

This book introduces the notion of an effective Kan fibration, a new mathematical structure which can be used to study simplicial homotopy theory. The main motivation is to make simplicial homotopy theory suitable for homotopy type theory. Effective Kan fibrations are maps of simplicial sets equipped with a structured collection of chosen lifts that satisfy certain non-trivial properties. Here it is revealed that fundamental properties of ordinary Kan fibrations can be extended to explicit constructions on effective Kan fibrations. In particular, a constructive (explicit) proof is given that effective Kan fibrations are stable under push forward, or fibred exponentials. Further, it is shown that effective Kan fibrations are local, or completely determined by their fibres above representables, and the maps which can be equipped with the structure of an effective Kan fibration are precisely the ordinary Kan fibrations. Hence implicitly, both notions still describe the same homotopy theory. These new results solve an open problem in homotopy type theory and provide the first step toward giving a constructive account of Voevodsky's model of univalent type theory in simplicial sets.

A topological embedding is a homeomorphism of one space onto a subspace of another. The book analyzes how and when objects like polyhedra or manifolds embed in a given higher-dimensional manifold. The main problem is to determine when two topological embeddings of the same object are equivalent in the sense of differing only by a homeomorphism of the ambient manifold. Knot theory is the special case of spheres smoothly embedded in spheres; in this book, much more general spaces and much more general embeddings are considered. A key aspect of the main problem is taming: when is a topological embedding of a polyhedron equivalent to a piecewise linear embedding? A central theme of the book is the fundamental role played by local homotopy properties of the complement in answering this taming question. The book begins with a fresh description of the various classic examples of wild embeddings (i.e., embeddings inequivalent to piecewise linear embeddings). Engulfing, the fundamental tool of the subject, is developed next. After that, the study of embeddings is organized by codimension (the difference between the ambient dimension and the dimension of the embedded space). In all codimensions greater than two, topological embeddings of compacta are approximated by nicer embeddings, nice embeddings of polyhedra are tamed, topological embeddings of polyhedra are approximated by piecewise linear embeddings, and piecewise linear embeddings are locally unknotted. Complete details of the codimension-three proofs, including the requisite piecewise linear tools, are provided. The treatment of codimension-two embeddings includes a self-contained, elementary exposition of the algebraic invariants needed to construct counterexamples to the approximation and existence of embeddings. The treatment of codimension-one embeddings includes the locally flat approximation theorem for manifolds as well as the characterization of local flatness in terms of local homotopy properties.

The new student in differential and low-dimensional topology is faced with a bewildering array of tools and loosely connected theories. This short book presents the essential parts of each, enabling the reader to become 'literate' in the field and begin research as quickly as possible. The only prerequisite assumed is an undergraduate algebraic topology course. The first half of the text reviews basic notions of differential topology and culminates with the classification of exotic seven-spheres. It then dives into dimension three and knot theory. There then follows an introduction to Heegaard Floer homology, a powerful collection of modern invariants of three- and four-manifolds, and of knots, that has not before appeared in an introductory textbook. The book concludes with a glimpse of four-manifold theory. Students will find it an exhilarating and authoritative guide to a broad swathe of the most important topics in modern topology.

The new student in differential and low-dimensional topology is faced with a bewildering array of tools and loosely connected theories. This short book presents the essential parts of each, enabling the reader to become 'literate' in the field and begin research as quickly as possible. The only prerequisite assumed is an undergraduate algebraic topology course. The first half of the text reviews basic notions of differential topology and culminates with the classification of exotic seven-spheres. It then dives into dimension three and knot theory. There then follows an introduction to Heegaard Floer homology, a powerful collection of modern invariants of three- and four-manifolds, and of knots, that has not before appeared in an introductory textbook. The book concludes with a glimpse of four-manifold theory. Students will find it an exhilarating and authoritative guide to a broad swathe of the most important topics in modern topology.

This book serves as a textbook in real analysis. It focuses on the fundamentals of the structural properties of metric spaces and analytical properties of functions defined between such spaces. Topics include sets, functions and cardinality, real numbers, analysis on R, topology of the real line, metric spaces, continuity and differentiability, sequences and series, Lebesgue integration, and Fourier series. It is primarily focused on the applications of analytical methods to solving partial differential equations rooted in many important problems in mathematics, physics, engineering, and related fields. Both the presentation and treatment of topics are fashioned to meet the expectations of interested readers working in any branch of science and technology. Senior undergraduates in mathematics and engineering are the targeted student readership, and the topical focus with applications to real-world examples will promote higher-level mathematical understanding for undergraduates in sciences and engineering.

Groups as abstract structures were first recognized by mathematicians in the nineteenth century. Groups are, of course, sets given with appropriate "multiplications," and they are often given together with actions on interesting geometric objects. But groups are also interesting geometric objects by themselves. More precisely, a finitely-generated group can be seen as a metric space, the distance between two points being defined "up to quasi-isometry" by some "word length," and this gives rise to a very fruitful approach to group theory.
In this book, Pierre de la Harpe provides a concise and engaging introduction to this approach, a new method for studying infinite groups via their intrinsic geometry that has played a major role in mathematics over the past two decades. A recognized expert in the field, de la Harpe uses a hands-on presentation style, illustrating key concepts of geometric group theory with numerous concrete examples.
The first five chapters present basic combinatorial and geometric group theory in a unique way, with an emphasis on finitely-generated versus finitely-presented groups. In the final three chapters, de la Harpe discusses new material on the growth of groups, including a detailed treatment of the "Grigorchuk group," an infinite finitely-generated torsion group of intermediate growth which is becoming more and more important in group theory. Most sections are followed by exercises and a list of problems and complements, enhancing the book's value for students; problems range from slightly more difficult exercises to open research questions in the field. An extensive list of references directs readers to more advanced results as well as connectionswith other subjects.

This is the only book on the topic of geometric configurations of points and lines. It presents in detail the history of the topic, with its surges and declines since its beginning in 1876. It covers all the advances in the field since the revival of interest in geometric configurations some 20 years ago. The author's contributions are central to this revival. In particular, he initiated the study of 4-configurations (that is, those that contain four points on each line, and four lines through each point); the results are fully described in the text. The main novelty in the approach to all geometric configurations is the concentration on their symmetries, which make it possible to deal with configurations of rather large sizes. The book brings the readers to the limits of present knowledge in a leisurely way, enabling them to enjoy the material as well as entice them to try their hand at expanding it.

This book presents the theory of optimal and critical regularities of groups of diffeomorphisms, from the classical work of Denjoy and Herman, up through recent advances. Beginning with an investigation of regularity phenomena for single diffeomorphisms, the book goes on to describes a circle of ideas surrounding Filipkiewicz's Theorem, which recovers the smooth structure of a manifold from its full diffeomorphism group. Topics covered include the simplicity of homeomorphism groups, differentiability of continuous Lie group actions, smooth conjugation of diffeomorphism groups, and the reconstruction of spaces from group actions. Various classical and modern tools are developed for controlling the dynamics of general finitely generated group actions on one-dimensional manifolds, subject to regularity bounds, including material on Thompson's group F, nilpotent groups, right-angled Artin groups, chain groups, finitely generated groups with prescribed critical regularities, and applications to foliation theory and the study of mapping class groups. The book will be of interest to researchers in geometric group theory.

The Routledge Companion to Intelligence Studies provides a broad overview of the growing field of intelligence studies. The recent growth of interest in intelligence and security studies has led to an increased demand for popular depictions of intelligence and reference works to explain the architecture and underpinnings of intelligence activity. Divided into five comprehensive sections, this Companion provides a strong survey of the cutting-edge research in the field of intelligence studies: Part I: The evolution of intelligence studies; Part II: Abstract approaches to intelligence; Part III: Historical approaches to intelligence; Part IV: Systems of intelligence; Part V: Contemporary challenges. With a broad focus on the origins, practices and nature of intelligence, the book not only addresses classical issues, but also examines topics of recent interest in security studies. The overarching aim is to reveal the rich tapestry of intelligence studies in both a sophisticated and accessible way. This Companion will be essential reading for students of intelligence studies and strategic studies, and highly recommended for students of defence studies, foreign policy, Cold War studies, diplomacy and international relations in general.

Starting from the foundations, the author presents an almost entirely
self-contained treatment of differentiable spaces of nonpositive
curvature, focusing on the symmetric spaces in which every geodesic lies
in a flat Euclidean space of dimension at least two. The book builds to
a discussion of the Mostow Rigidity Theorem and its generalizations, and
concludes by exploring the relationship in nonpositively curved spaces
between geometric and algebraic properties of the fundamental group.
This introduction to the geometry of symmetric spaces of non-compact
type will serve as an excellent guide for graduate students new to the
material, and will also be a useful reference text for mathematicians
already familiar with the subject.

This introductory textbook puts forth a clear and focused point of view on the differential geometry of curves and surfaces. Following the modern point of view on differential geometry, the book emphasizes the global aspects of the subject. The excellent collection of examples and exercises (with hints) will help students in learning the material. Advanced undergraduates and graduate students will find this a nice entry point to differential geometry. In order to study the global properties of curves and surfaces, it is necessary to have more sophisticated tools than are usually found in textbooks on the topic. In particular, students must have a firm grasp on certain topological theories. Indeed, this monograph treats the Gauss - Bonnet theorem and discusses the Euler characteristic. The authors also cover Alexandrov's theorem on embedded compact surfaces in R3 with constant mean curvature. The last chapter addresses the global geometry of curves, including periodic space curves and the four-vertices theorem for plane curves that are not necessarily convex. Besides being an introduction to the lively subject of curves and surfaces, this book can also be used as an entry to a wider study of differential geometry. It is suitable as the text for a first-year graduate course or an advanced undergraduate course.

This book outlines a vast array of techniques and methods regarding model categories, without focussing on the intricacies of the proofs. Quillen model categories are a fundamental tool for the understanding of homotopy theory. While many introductions to model categories fall back on the same handful of canonical examples, the present book highlights a large, self-contained collection of other examples which appear throughout the literature. In particular, it collects a highly scattered literature into a single volume. The book is aimed at anyone who uses, or is interested in using, model categories to study homotopy theory. It is written in such a way that it can be used as a reference guide for those who are already experts in the field. However, it can also be used as an introduction to the theory for novices.

This book gives a clear introductory account of equivariant cohomology, a central topic in algebraic topology. Equivariant cohomology is concerned with the algebraic topology of spaces with a group action, or in other words, with symmetries of spaces. First defined in the 1950s, it has been introduced into K-theory and algebraic geometry, but it is in algebraic topology that the concepts are the most transparent and the proofs are the simplest. One of the most useful applications of equivariant cohomology is the equivariant localization theorem of Atiyah-Bott and Berline-Vergne, which converts the integral of an equivariant differential form into a finite sum over the fixed point set of the group action, providing a powerful tool for computing integrals over a manifold. Because integrals and symmetries are ubiquitous, equivariant cohomology has found applications in diverse areas of mathematics and physics. Assuming readers have taken one semester of manifold theory and a year of algebraic topology, Loring Tu begins with the topological construction of equivariant cohomology, then develops the theory for smooth manifolds with the aid of differential forms. To keep the exposition simple, the equivariant localization theorem is proven only for a circle action. An appendix gives a proof of the equivariant de Rham theorem, demonstrating that equivariant cohomology can be computed using equivariant differential forms. Examples and calculations illustrate new concepts. Exercises include hints or solutions, making this book suitable for self-study.

This book provides an introduction to some key subjects in algebra and topology. It consists of comprehensive texts of some hours courses on the preliminaries for several advanced theories in (categorical) algebra and topology. Often, this kind of presentations is not so easy to find in the literature, where one begins articles by assuming a lot of knowledge in the field. This volume can both help young researchers to quickly get into the subject by offering a kind of " roadmap " and also help master students to be aware of the basics of other research directions in these fields before deciding to specialize in one of them. Furthermore, it can be used by established researchers who need a particular result for their own research and do not want to go through several research papers in order to understand a single proof. Although the chapters can be read as " self-contained " chapters, the authors have tried to coordinate the texts in order to make them complementary. The seven chapters of this volume correspond to the seven courses taught in two Summer Schools that took place in Louvain-la-Neuve in the frame of the project Fonds d'Appui a l'Internationalisation of the Universite catholique de Louvain to strengthen the collaborations with the universities of Coimbra, Padova and Poitiers, within the Coimbra Group.

This book pursues optimal design from the perspective of mechanical properties and resistance to failure caused by cracks and fatigue. The book abandons the scale separation hypothesis and takes up phase-field modeling, which is at the cutting edge of research and is of high industrial and practical relevance. Part 1 starts by testing the limits of the homogenization-based approach when the size of the representative volume element is non-negligible compared to the structure. The book then introduces a non-local homogenization scheme to take into account the strain gradient effects. Using a phase field method, Part 2 offers three significant contributions concerning optimal placement of the inclusion phases. Respectively, these contributions take into account fractures in quasi-brittle materials, interface cracks and periodic composites. The topology optimization proposed has significantly increased the fracture resistance of the composites studied.

If mathematics is a language, then taking a topology course at the undergraduate level is cramming vocabulary and memorizing irregular verbs: a necessary, but not always exciting exercise one has to go through before one can read great works of literature in the original language.The present book grew out of notes for an introductory topology course at the University of Alberta. It provides a concise introduction to set theoretic topology (and to a tiny little bit of algebraic topology). It is accessible to undergraduates from the second year on, but even beginning graduate students canbenefit from some parts.Great care has been devoted to the selection of examples that are not self-serving, but already accessible for students who have a background in calculus and elementary algebra, but not necessarily in real or complex analysis.In some points, the book treats its material differently than other texts on the subject: