This textbook presents the theory of Metric Spaces necessary for studying analysis beyond one real variable. Rich in examples, exercises and motivation, it provides a careful and clear exposition at a pace appropriate to the material. The book covers the main topics of metric space theory that the student of analysis is likely to need. Starting with an overview defining the principal examples of metric spaces in analysis (chapter 1), it turns to the basic theory (chapter 2) covering open and closed sets, convergence, completeness and continuity (including a treatment of continuous linear mappings). There is also a brief dive into general topology, showing how metric spaces fit into a wider theory. The following chapter is devoted to proving the completeness of the classical spaces. The text then embarks on a study of spaces with important special properties. Compact spaces, separable spaces, complete spaces and connected spaces each have a chapter devoted to them. A particular feature of the book is the occasional excursion into analysis. Examples include the Mazur-Ulam theorem, Picard's theorem on existence of solutions to ordinary differential equations, and space filling curves. This text will be useful to all undergraduate students of mathematics, especially those who require metric space concepts for topics such as multivariate analysis, differential equations, complex analysis, functional analysis, and topology. It includes a large number of exercises, varying from routine to challenging. The prerequisites are a first course in real analysis of one real variable, an acquaintance with set theory, and some experience with rigorous proofs.

The emerging field of computational topology utilizes theory from topology and the power of computing to solve problems in diverse fields. Recent applications include computer graphics, computer-aided design (CAD), and structural biology, all of which involve understanding the intrinsic shape of some real or abstract space. A primary goal of this book is to present basic concepts from topology and Morse theory to enable a non-specialist to grasp and participate in current research in computational topology. The author gives a self-contained presentation of the mathematical concepts from a computer scientist's point of view, combining point set topology, algebraic topology, group theory, differential manifolds, and Morse theory. He also presents some recent advances in the area, including topological persistence and hierarchical Morse complexes. Throughout, the focus is on computational challenges and on presenting algorithms and data structures when appropriate.

This book consists of 16 surveys on Thurston's work and its later development. The authors are mathematicians who were strongly influenced by Thurston's publications and ideas. The subjects discussed include, among others, knot theory, the topology of 3-manifolds, circle packings, complex projective structures, hyperbolic geometry, Kleinian groups, foliations, mapping class groups, Teichmuller theory, anti-de Sitter geometry, and co-Minkowski geometry. The book is addressed to researchers and students who want to learn about Thurston's wide-ranging mathematical ideas and their impact. At the same time, it is a tribute to Thurston, one of the greatest geometers of all time, whose work extended over many fields in mathematics and who had a unique way of perceiving forms and patterns, and of communicating and writing mathematics.

This book comprises an overview of twelve months of intense activity of the research group Geometry, Topology, Algebra, and Applications (GEOMVAP) at the Universitat Politecnica de Catalunya (UPC). Namely, it contains extended abstracts of the group meeting in Cardona and of the international Workshop of Women in Geometry and Topology aligned with a series of workshops in the topic. As such, it includes a panoramic view of the main research interests of the group which focus on varieties and manifolds from the algebraic, topological and differential perspective with a view towards applications. The GEOMVAP group has a long tradition working on various interfaces of algebra, geometry and topology. In the last decade, the group has become active contributor in interdisciplinary science and it is now focused on both a theoretical point of view and the transversal applications to several disciplines including Robotics, Machine Learning, Phylogenetics, Physics and Celestial Mechanics. The increasing interdisciplinarity of modern research and the fact that the boundaries between different areas of mathematics are vanishing, with a constant transfer of problems and techniques between them, makes it difficult to progress without a multidisciplinary approach. GEOMVAP gathers together experts in Algebraic, Symplectic and Arithmetic Geometry to stimulate the interaction between them and to allow the study of each object from different points of view. The book aims at established researchers, as well as at PhD and postdoctoral students who want to learn more about the latest advances in pure and applied Geometry and Topology.

This book delivers stimulating input for a broad range of researchers, from geographers and ecologists to psychologists interested in spatial perception and physicists researching in complex systems. How can one decide whether one surface or spatial object is more complex than another? What does it require to measure the spatial complexity of small maps, and why does this matter for nature, science and technology? Drawing from algorithmics, geometry, topology, probability and informatics, and with examples from everyday life, the reader is invited to cross the borders into the bewildering realm of spatial complexity, as it emerges from the study of geographic maps, landscapes, surfaces, knots, 3D and 4D objects. The mathematical and cartographic experiments described in this book lead to hypotheses and enigmas with ramifications in aesthetics and epistemology.

The book addresses the minimization of special lower semicontinuous functionals over closed balls in metric spaces, called the approximate variation. The new notion of approximate variation contains more information about the bounded variation functional and has the following features: the infimum in the definition of approximate variation is not attained in general and the total Jordan variation of a function is obtained by a limiting procedure as a parameter tends to zero. By means of the approximate variation, we are able to characterize regulated functions in a generalized sense and provide powerful compactness tools in the topology of pointwise convergence, conventionally called pointwise selection principles. The book presents a thorough, self-contained study of the approximate variation and results which were not published previously in book form. The approximate variation is illustrated by a large number of examples designed specifically for this study. The discussion elaborates on the state-of-the-art pointwise selection principles applied to functions with values in metric spaces, normed spaces, reflexive Banach spaces, and Hilbert spaces. The highlighted feature includes a deep study of special type of lower semicontinuous functionals though the applied methods are of a general nature. The content is accessible to students with some background in real analysis, general topology, and measure theory. Among the new results presented are properties of the approximate variation: semi-additivity, change of variable formula, subtle behavior with respect to uniformly and pointwise convergent sequences of functions, and the behavior on improper metric spaces. These properties are crucial for pointwise selection principles in which the key role is played by the limit superior of the approximate variation. Interestingly, pointwise selection principles may be regular, treating regulated limit functions, and irregular, treating highly irregular functions (e.g., Dirichlet-type functions), in which a significant role is played by Ramsey's Theorem from formal logic.

This elegant book by distinguished mathematician John Milnor, provides a clear and succinct introduction to one of the most important subjects in modern mathematics. Beginning with basic concepts such as diffeomorphisms and smooth manifolds, he goes on to examine tangent spaces, oriented manifolds, and vector fields. Key concepts such as homotopy, the index number of a map, and the Pontryagin construction are discussed. The author presents proofs of Sard's theorem and the Hopf theorem.

The first five chapters of this book form an introductory course in piece wise-linear topology in which no assumptions are made other than basic topological notions. This course would be suitable as a second course in topology with a geometric flavour, to follow a first course in point-set topology, andi)erhaps to be given as a final year undergraduate course. The whole book gives an account of handle theory in a piecewise linear setting and could be the basis of a first year postgraduate lecture or reading course. Some results from algebraic topology are needed for handle theory and these are collected in an appendix. In a second appen dix are listed the properties of Whitehead torsion which are used in the s-cobordism theorem. These appendices should enable a reader with only basic knowledge to complete the book. The book is also intended to form an introduction to modern geo metric topology as a research subject, a bibliography of research papers being included. We have omitted acknowledgements and references from the main text and have collected these in a set of "historical notes" to be found after the appendices."

This book gives a systematic presentation of real algebraic varieties. Real algebraic varieties are ubiquitous.They are the first objects encountered when learning of coordinates, then equations, but the systematic study of these objects, however elementary they may be, is formidable. This book is intended for two kinds of audiences: it accompanies the reader, familiar with algebra and geometry at the masters level, in learning the basics of this rich theory, as much as it brings to the most advanced reader many fundamental results often missing from the available literature, the "folklore". In particular, the introduction of topological methods of the theory to non-specialists is one of the original features of the book. The first three chapters introduce the basis and classical methods of real and complex algebraic geometry. The last three chapters each focus on one more specific aspect of real algebraic varieties. A panorama of classical knowledge is presented, as well as major developments of the last twenty years in the topology and geometry of varieties of dimension two and three, without forgetting curves, the central subject of Hilbert's famous sixteenth problem. Various levels of exercises are given, and the solutions of many of them are provided at the end of each chapter.

Celebrating a century of geometry and geometry teaching, this volume includes popular articles on Pythagoras, the golden ratio and recreational geometry. Thirty "Desert Island Theorems" from distinguished mathematicians and educators disclose surprising results. (Contributors include a Nobel Laureate and a Pulitzer Prize winner.) Co-published with The Mathematical Association of America.

This volume consists of ten articles which provide an in-depth and reader-friendly survey of some of the foundational aspects of singularity theory. Authored by world experts, the various contributions deal with both classical material and modern developments, covering a wide range of topics which are linked to each other in fundamental ways. Singularities are ubiquitous in mathematics and science in general. Singularity theory interacts energetically with the rest of mathematics, acting as a crucible where different types of mathematical problems interact, surprising connections are born and simple questions lead to ideas which resonate in other parts of the subject. This is the first volume in a series which aims to provide an accessible account of the state-of-the-art of the subject, its frontiers, and its interactions with other areas of research. The book is addressed to graduate students and newcomers to the theory, as well as to specialists who can use it as a guidebook.

This book presents few novel Discrete-time Sliding Mode (DSM) protocols for leader-following consensus of Discrete Multi-Agent Systems (DMASs). The protocols intend to achieve the consensus in finite time steps and also tackle the corresponding uncertainties. Based on the communication graph topology of multi-agent systems, the protocols are divided into two groups, namely (i) Fixed graph topology and (ii) Switching graph topology. The coverage begins with the design of Discrete-time Sliding Mode (DSM) protocols using Gao's reaching law and power rate reaching law for the synchronization of linear DMASs by using the exchange of information between the agents and the leader to achieve a common goal. Then, in a subsequent chapter, analysis for no. of fixed-time steps required for the leader-following consensus is presented. The book also includes chapters on the design of Discrete-time Higher-order Sliding Mode (DHSM) protocols, Event-triggered DSM protocols for the leader-following consensus of DMASs. A chapter is also included on the design of DHSM protocols for leader-following consensus of heterogeneous DMASs. Special emphasis is given to the practical implementation of each proposed DSM protocol for achieving leader-following consensus of helicopter systems, flexible joint robotic arms, and rigid joint robotic arms. This book offers a ready reference guide for graduate students and researchers working in the areas of control, automation, and communication engineering, and in particular the cooperative control of multi-agent systems. It will also benefit professional engineers working to design and implement robust controllers for power systems, autonomous vehicles, military surveillance, smartgrids/microgrids, vehicle traffic management, robotic teams, and aerial robots.

This volume highlights the mathematical research presented at the 2019 Association for Women in Mathematics (AWM) Research Symposium held at Rice University, April 6-7, 2019. The symposium showcased research from women across the mathematical sciences working in academia, government, and industry, as well as featured women across the career spectrum: undergraduates, graduate students, postdocs, and professionals. The book is divided into eight parts, opening with a plenary talk and followed by a combination of research paper contributions and survey papers in the different areas of mathematics represented at the symposium: algebraic combinatorics and graph theory algebraic biology commutative algebra analysis, probability, and PDEs topology applied mathematics mathematics education

Since the notion was introduced by Gromov in the 1980s, hyperbolicity of groups and spaces has played a significant role in geometric group theory; hyperbolic groups have good geometric properties that allow us to prove strong results. However, many classes of interest in our exploration of the universe of finitely generated groups contain examples that are not hyperbolic. Thus we wish to go 'beyond hyperbolicity' to find good generalisations that nevertheless permit similarly strong results. This book is the ideal resource for researchers wishing to contribute to this rich and active field. The first two parts are devoted to mini-courses and expository articles on coarse median spaces, semihyperbolicity, acylindrical hyperbolicity, Morse boundaries, and hierarchical hyperbolicity. These serve as an introduction for students and a reference for experts. The topics of the surveys (and more) re-appear in the research articles that make up Part III, presenting the latest results beyond hyperbolicity.

This introduction treats the classical isoperimetric inequality in Euclidean space and contrasting rough inequalities in noncompact Riemannian manifolds. In Euclidean space the emphasis is on a most general form of the inequality sufficiently precise to characterize the case of equality, and in Riemannian manifolds the emphasis is on those qualitiative features of the inequality that provide insight into the coarse geometry at infinity of Riemannian manifolds. The treatment in Euclidean space features a number of proofs of the classical inequality in increasing generality, providing in the process a transition from the methods of classical differential geometry to those of modern geometric measure theory; and the treatment in Riemannian manifolds features discretization techniques, and applications to upper bounds of large time heat diffusion in Riemannian manifolds. The result is an introduction to the rich tapestry of ideas and techniques of isoperimetric inequalities, a subject that has its beginnings in classical antiquity and which continues to inspire fresh ideas in geometry and analysis to this very day--and beyond!

Here is a genuine introduction to the differential geometry of plane curves for undergraduates in mathematics, or postgraduates and researchers in the engineering and physical sciences. This well-illustrated text contains several hundred worked examples and exercises, making it suitable for adoption as a course text. Key concepts are illustrated by named curves, of historical and scientific significance, leading to the central idea of curvature. The author introduces the core material of classical kinematics, developing the geometry of trajectories via the ideas of roulettes and centrodes, and culminating in the inflexion circle and cubic of stationary curvature.

This book discusses basic topics in the spectral theory of dynamical systems. It also includes two advanced theorems, one by H. Helson and W. Parry, and another by B. Host. Moreover, Ornstein's family of mixing rank-one automorphisms is given with construction and proof. Systems of imprimitivity and their relevance to ergodic theory are also examined. Baire category theorems of ergodic theory, scattered in literature, are discussed in a unified way in the book. Riesz products are introduced and applied to describe the spectral types and eigenvalues of rank-one automorphisms. Lastly, the second edition includes a new chapter "Calculus of Generalized Riesz Products", which discusses the recent work connecting generalized Riesz products, Hardy classes, Banach's problem of simple Lebesgue spectrum in ergodic theory and flat polynomials.

This book presents the complete proof of the Bloch-Kato conjecture and several related conjectures of Beilinson and Lichtenbaum in algebraic geometry. Brought together here for the first time, these conjectures describe the structure of etale cohomology and its relation to motivic cohomology and Chow groups. Although the proof relies on the work of several people, it is credited primarily to Vladimir Voevodsky. The authors draw on a multitude of published and unpublished sources to explain the large-scale structure of Voevodsky's proof and introduce the key figures behind its development. They proceed to describe the highly innovative geometric constructions of Markus Rost, including the construction of norm varieties, which play a crucial role in the proof. The book then addresses symmetric powers of motives and motivic cohomology operations. Comprehensive and self-contained, The Norm Residue Theorem in Motivic Cohomology unites various components of the proof that until now were scattered across many sources of varying accessibility, often with differing hypotheses, definitions, and language.

This book is devoted to computing the index of elliptic PDEs on non-compact Riemannian manifolds in the presence of local singularities and zeros, as well as polynomial growth at infinity. The classical Riemann-Roch theorem and its generalizations to elliptic equations on bounded domains and compact manifolds, due to Maz'ya, Plameneskii, Nadirashvilli, Gromov and Shubin, account for the contribution to the index due to a divisor of zeros and singularities. On the other hand, the Liouville theorems of Avellaneda, Lin, Li, Moser, Struwe, Kuchment and Pinchover provide the index of periodic elliptic equations on abelian coverings of compact manifolds with polynomial growth at infinity, i.e. in the presence of a "divisor" at infinity. A natural question is whether one can combine the Riemann-Roch and Liouville type results. This monograph shows that this can indeed be done, however the answers are more intricate than one might initially expect. Namely, the interaction between the finite divisor and the point at infinity is non-trivial. The text is targeted towards researchers in PDEs, geometric analysis, and mathematical physics.

Following their introduction in the early 1980s, o-minimal structures have provided an elegant and surprisingly efficient generalization of semialgebraic and subanalytic geometry. This book gives a self-contained treatment of the theory of o-minimal structures from a geometric and topological viewpoint, assuming only rudimentary algebra and analysis. It starts with an introduction and overview of the subject. Later chapters cover the monotonicity theorem, cell decomposition, and the Euler characteristic in the o-minimal setting and show how these notions are easier to handle than in ordinary topology. The remarkable combinatorial property of o-minimal structures, the Vapnik-Chervonenkis property, is also covered. This book should be of interest to model theorists, analytic geometers and topologists.

Den beiden Autoren ist es auf hervorragende Weise gelungen, das Ziel ihres Buches zu verwirklichen und dem interessierten Nichtmathematiker einen tiefen Einblick in das Wesen der Mathematik, ihre SchAnheit und Tiefe zu ermAglichen. So werden in 26 in sich abgeschlossenen Kapiteln ausgewAhlte Themen der klassischen Mathematik - unter anderem Probleme der Zahlentheorie, der analytischen Geometrie und der Topologie - in fesselnder Form vorgetragen. Der Schwerpunkt liegt dabei aber nicht auf der mathematisch-stofflichen Tatsache, sondern auf dem Ablauf des Geschehens, auf der Methode der Fragestellung und auf der Methode, gestellte Fragen zu lAsen. Dieses Buch fA1/4r Liebhaber der Mathematik hat seit seinem Erscheinen im Jahre 1930 nichts von seiner Frische und Faszination verloren.

The aim of these lecture notes is to propose a systematic framework for geometry and analysis on metric spaces. The central notion is a partition (an iterated decomposition) of a compact metric space. Via a partition, a compact metric space is associated with an infinite graph whose boundary is the original space. Metrics and measures on the space are then studied from an integrated point of view as weights of the partition. In the course of the text: It is shown that a weight corresponds to a metric if and only if the associated weighted graph is Gromov hyperbolic. Various relations between metrics and measures such as bilipschitz equivalence, quasisymmetry, Ahlfors regularity, and the volume doubling property are translated to relations between weights. In particular, it is shown that the volume doubling property between a metric and a measure corresponds to a quasisymmetry between two metrics in the language of weights. The Ahlfors regular conformal dimension of a compact metric space is characterized as the critical index of p-energies associated with the partition and the weight function corresponding to the metric. These notes should interest researchers and PhD students working in conformal geometry, analysis on metric spaces, and related areas.

Now in paperback, Topology via Logic is an advanced textbook on topology for computer scientists. Based on a course given by the author to postgraduate students of computer science at Imperial College, it has three unusual features. First, the introduction is from the locale viewpoint, motivated by the logic of finite observations: this provides a more direct approach than the traditional one based on abstracting properties of open sets in the real line. Second, the methods of locale theory are freely exploited. Third, there is substantial discussion of some computer science applications. Although books on topology aimed at mathematics exist, no book has been written specifically for computer scientists. As computer scientists become more aware of the mathematical foundations of their discipline, it is appropriate that such topics are presented in a form of direct relevance and applicability. This book goes some way towards bridging the gap.

This book is an outcome of two Conferences on Ulam Type Stability (CUTS) organized in 2016 (July 4-9, Cluj-Napoca, Romania) and in 2018 (October 8-13, 2018, Timisoara, Romania). It presents up-to-date insightful perspective and very resent research results on Ulam type stability of various classes of linear and nonlinear operators; in particular on the stability of many functional equations in a single and several variables (also in the lattice environments, Orlicz spaces, quasi-b-Banach spaces, and 2-Banach spaces) and some orthogonality relations (e.g., of Birkhoff-James). A variety of approaches are presented, but a particular emphasis is given to that of fixed points, with some new fixed point results and their applications provided. Besides these several other topics are considered that are somehow related to the Ulam stability such as: invariant means, geometry of Banach function modules, queueing systems, semi-inner products and parapreseminorms, subdominant eigenvalue location of a bordered diagonal matrix and optimal forward contract design for inventory. New directions and several open problems regarding stability and non-stability concepts are included. Ideal for use as a reference or in a seminar, this book is aimed toward graduate students, scientists and engineers working in functional equations, difference equations, operator theory, functional analysis, approximation theory, optimization theory, and fixed point theory who wish to be introduced to a wide spectrum of relevant theories, methods and applications leading to interdisciplinary research. It advances the possibilities for future research through an extensive bibliography and a large spectrum of techniques, methods and applications.

This book covers the fundamental results of the dimension theory of metrizable spaces, especially in the separable case. Its distinctive feature is the emphasis on the negative results for more general spaces, presenting a readable account of numerous counterexamples to well-known conjectures that have not been discussed in existing books. Moreover, it includes three new general methods for constructing spaces: Mrowka's psi-spaces, van Douwen's technique of assigning limit points to carefully selected sequences, and Fedorchuk's method of resolutions. Accessible to readers familiar with the standard facts of general topology, the book is written in a reader-friendly style suitable for self-study. It contains enough material for one or more graduate courses in dimension theory and/or general topology. More than half of the contents do not appear in existing books, making it also a good reference for libraries and researchers.