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 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.

This is a collection of surveys on important mathematical ideas, their origin, their evolution and their impact in current research. The authors are mathematicians who are leading experts in their fields. The book is addressed to all mathematicians, from undergraduate students to senior researchers, regardless of the specialty.

Topology is a large subject with several branches, broadly categorized as algebraic topology, point-set topology, and geometric topology. Point-set topology is the main language for a broad range of mathematical disciplines, while algebraic topology offers as a powerful tool for studying problems in geometry and numerous other areas of mathematics. This book presents the basic concepts of topology, including virtually all of the traditional topics in point-set topology, as well as elementary topics in algebraic topology such as fundamental groups and covering spaces. It also discusses topological groups and transformation groups. When combined with a working knowledge of analysis and algebra, this book offers a valuable resource for advanced undergraduate and beginning graduate students of mathematics specializing in algebraic topology and harmonic analysis.

Graduate students and researchers in applied mathematics, optimization, engineering, computer science, and management science will find this book a useful reference which provides an introduction to applications and fundamental theories in nonlinear combinatorial optimization. Nonlinear combinatorial optimization is a new research area within combinatorial optimization and includes numerous applications to technological developments, such as wireless communication, cloud computing, data science, and social networks. Theoretical developments including discrete Newton methods, primal-dual methods with convex relaxation, submodular optimization, discrete DC program, along with several applications are discussed and explored in this book through articles by leading experts.

This book is the result of a meeting on Topology and Functional Analysis, and is dedicated to Professor Manuel Lopez-Pellicer's mathematical research. Covering topics in descriptive topology and functional analysis, including topological groups and Banach space theory, fuzzy topology, differentiability and renorming, tensor products of Banach spaces and aspects of Cp-theory, this volume is particularly useful to young researchers wanting to learn about the latest developments in these areas.

This proceedings volume presents a diverse collection of high-quality, state-of-the-art research and survey articles written by top experts in low-dimensional topology and its applications. The focal topics include the wide range of historical and contemporary invariants of knots and links and related topics such as three- and four-dimensional manifolds, braids, virtual knot theory, quantum invariants, braids, skein modules and knot algebras, link homology, quandles and their homology; hyperbolic knots and geometric structures of three-dimensional manifolds; the mechanism of topological surgery in physical processes, knots in Nature in the sense of physical knots with applications to polymers, DNA enzyme mechanisms, and protein structure and function. The contents is based on contributions presented at the International Conference on Knots, Low-Dimensional Topology and Applications - Knots in Hellas 2016, which was held at the International Olympic Academy in Greece in July 2016. The goal of the international conference was to promote the exchange of methods and ideas across disciplines and generations, from graduate students to senior researchers, and to explore fundamental research problems in the broad fields of knot theory and low-dimensional topology. This book will benefit all researchers who wish to take their research in new directions, to learn about new tools and methods, and to discover relevant and recent literature for future study.

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.

This book is designed for graduate students to acquire knowledge of dimension theory, ANR theory (theory of retracts), and related topics. These two theories are connected with various fields in geometric topology and in general topology as well. Hence, for students who wish to research subjects in general and geometric topology, understanding these theories will be valuable. Many proofs are illustrated by figures or diagrams, making it easier to understand the ideas of those proofs. Although exercises as such are not included, some results are given with only a sketch of their proofs. Completing the proofs in detail provides good exercise and training for graduate students and will be useful in graduate classes or seminars. Researchers should also find this book very helpful, because it contains many subjects that are not presented in usual textbooks, e.g., dim X x I = dim X + 1 for a metrizable space X; the difference between the small and large inductive dimensions; a hereditarily infinite-dimensional space; the ANR-ness of locally contractible countable-dimensional metrizable spaces; an infinite-dimensional space with finite cohomological dimension; a dimension raising cell-like map; and a non-AR metric linear space. The final chapter enables students to understand how deeply related the two theories are. Simplicial complexes are very useful in topology and are indispensable for studying the theories of both dimension and ANRs. There are many textbooks from which some knowledge of these subjects can be obtained, but no textbook discusses non-locally finite simplicial complexes in detail. So, when we encounter them, we have to refer to the original papers. For instance, J.H.C. Whitehead's theorem on small subdivisions is very important, but its proof cannot be found in any textbook. The homotopy type of simplicial complexes is discussed in textbooks on algebraic topology using CW complexes, but geometrical arguments using simplicial complexes are rather easy.

An introduction to fixed point theory, a body of mathematical techniques for proposing conditions under which sets of assumptions (underlying economic models) have solutions.

Plastics, films, and synthetic fibers are among typical examples of polymer materials fabricated industrially in massive quantities as the basis of modern social life. By comparison, polymers from biological resources, including proteins, DNAs, and cotton fibers, are essential in various processes in living systems. Such polymers are molecular substances, constituted by the linking of hundreds to tens of thousands of small chemical unit (monomer) components. Thus, the form of polymer molecules is frequently expressed by line geometries, and their linear and non-linear forms are believed to constitute the fundamental basis for their properties and functions. In the field of polymer chemistry and polymer materials science, the choice of macromolecules has continuously been extended from linear or randomly branched forms toward a variety of precisely controlled topologies by the introduction of intriguing synthetic techniques. Moreover, during the first decade of this century, a number of impressive breakthroughs have been achieved to produce an important class of polymers having a variety of cyclic and multicyclic topologies. These developments now offer unique opportunities in polymer materials design to create unique properties and functions based on the form, i.e., topology, of polymer molecules. The introduction and application of topological geometry (soft geometry) to polymer molecules is a crucial requirement to account for the basic geometrical properties of polymer chains uniquely flexible in nature, in contrast to small chemical compounds conceived upon Euclidian geometry (hard geometry) principles. Topological geometry and graph theory are introduced for the systematic classification and notation of the non-linear constructions of polymer molecules, including not only branched but also single cyclic and multicyclic polymer topologies. On that basis, the geometrical-topological relationship between different polymers having distinctive constructions is discussed. A unique conception of topological isomerism is thus formed, which contrasts with that of conventional constitutional and stereoisomerism occurring in small chemical compounds. Through the close collaboration of topology experts Shimokawa and Ishihara and the polymer chemist Tezuka, this monograph covers the fundamentals and selected current topics of topology applied in polymers and topological polymer chemistry. In particular, the aim is to provide novel insights jointly revealed through a unique interaction between mathematics (topology) and polymer materials science.

Hurwitz theory, the study of analytic functions among Riemann surfaces, is a classical field and active research area in algebraic geometry. The subject's interplay between algebra, geometry, topology and analysis is a beautiful example of the interconnectedness of mathematics. This book introduces students to this increasingly important field, covering key topics such as manifolds, monodromy representations and the Hurwitz potential. Designed for undergraduate study, this classroom-tested text includes over 100 exercises to provide motivation for the reader. Also included are short essays by guest writers on how they use Hurwitz theory in their work, which ranges from string theory to non-Archimedean geometry. Whether used in a course or as a self-contained reference for graduate students, this book will provide an exciting glimpse at mathematics beyond the standard university classes.

This volume provides a broad and uniform introduction of PDE-constrained optimization as well as to document a number of interesting and challenging applications. Many science and engineering applications necessitate the solution of optimization problems constrained by physical laws that are described by systems of partial differential equations (PDEs) . As a result, PDE-constrained optimization problems arise in a variety of disciplines including geophysics, earth and climate science, material science, chemical and mechanical engineering, medical imaging and physics. This volume is divided into two parts. The first part provides a comprehensive treatment of PDE-constrained optimization including discussions of problems constrained by PDEs with uncertain inputs and problems constrained by variational inequalities. Special emphasis is placed on algorithm development and numerical computation. In addition, a comprehensive treatment of inverse problems arising in the oil and gas industry is provided. The second part of this volume focuses on the application of PDE-constrained optimization, including problems in optimal control, optimal design, and inverse problems, among other topics.

Combining theoretical and practical aspects of topology, this book provides a comprehensive and self-contained introduction to topological methods for the analysis and visualization of scientific data. Theoretical concepts are presented in a painstaking but intuitive manner, with numerous high-quality color illustrations. Key algorithms for the computation and simplification of topological data representations are described in detail, and their application is carefully demonstrated in a chapter dedicated to concrete use cases. With its fine balance between theory and practice, "Topological Data Analysis for Scientific Visualization" constitutes an appealing introduction to the increasingly important topic of topological data analysis for lecturers, students and researchers.

The second edition of this book updates and expands upon a historically important collection of mathematical problems first published in the United States by Birkhauser in 1981. These problems serve as a record of the informal discussions held by a group of mathematicians at the Scottish Cafe in Lwow, Poland, between the two world wars. Many of them were leaders in the development of such areas as functional and real analysis, group theory, measure and set theory, probability, and topology. Finding solutions to the problems they proposed has been ongoing since World War II, with prizes offered in many cases to those who are successful. In the 35 years since the first edition published, several more problems have been fully or partially solved, but even today many still remain unsolved and several prizes remain unclaimed. In view of this, the editor has gathered new and updated commentaries on the original 193 problems. Some problems are solved for the first time in this edition. Included again in full are transcripts of lectures given by Stanislaw Ulam, Mark Kac, Antoni Zygmund, Paul Erdoes, and Andrzej Granas that provide amazing insights into the mathematical environment of Lwow before World War II and the development of The Scottish Book. Also new in this edition are a brief history of the University of Wroclaw's New Scottish Book, created to revive the tradition of the original, and some selected problems from it. The Scottish Book offers a unique opportunity to communicate with the people and ideas of a time and place that had an enormous influence on the development of mathematics and try their hand on the unsolved problems. Anyone in the general mathematical community with an interest in the history of modern mathematics will find this to be an insightful and fascinating read.

Topological surgery is a mathematical technique used for creating new manifolds out of known ones. In this book the authors observe that it also occurs in natural phenomena of all scales: 1-dimensional surgery happens during DNA recombination and when cosmic magnetic lines reconnect; 2-dimensional surgery happens during tornado formation and cell mitosis; and they conjecture that 3-dimensional surgery happens during the formation of black holes from cosmic strings, offering an explanation for the existence of a black hole's singularity. Inspired by such phenomena, the authors present a new topological model that extends the formal definition to a continuous process caused by local forces. Lastly, they describe an intrinsic connection between topological surgery and a chaotic dynamical system exhibiting a "hole drilling" behavior. The authors' model indicates where to look for the forces causing surgery and what deformations should be observed in the local submanifolds involved. These predictions are significant for the study of phenomena exhibiting surgery and they also open new research directions. This novel study enables readers to gain a better understanding of the topology and dynamics of various natural phenomena, as well as topological surgery itself and serves as a basis for many more insightful observations and new physical implications.

This book, intended for postgraduate students and researchers, presents many results of historical importance on pseudocompact spaces. In 1948, E. Hewitt introduced the concept of pseudocompactness which generalizes a property of compact subsets of the real line. A topological space is pseudocompact if the range of any real-valued, continuous function defined on the space is a bounded subset of the real line. Pseudocompact spaces constitute a natural and fundamental class of objects in General Topology and research into their properties has important repercussions in diverse branches of Mathematics, such as Functional Analysis, Dynamical Systems, Set Theory and Topological-Algebraic structures. The collection of authors of this volume include pioneers in their fields who have written a comprehensive explanation on this subject. In addition, the text examines new lines of research that have been at the forefront of mathematics. There is, as yet, no text that systematically compiles and develops the extensive theory of pseudocompact spaces, making this book an essential asset for anyone in the field of topology.

This book is a significant companion text to the existing literature on continuum theory. It opens with background information of continuum theory, so often missing from the preceding publications, and then explores the following topics: inverse limits, the Jones set function T, homogenous continua, and n-fold hyperspaces. In this new edition of the book, the author builds on the aforementioned topics, including the unprecedented presentation of n-fold hyperspace suspensions and induced maps on n-fold hyperspaces. The first edition of the book has had a remarkable impact on the continuum theory community. After twelve years, this updated version will also prove to be an excellent resource within the field of topology.

A consistent and near complete survey of the important progress made in the field over the last few years, with the main emphasis on the rigidity method and its applications. Among others, this monograph presents the most successful existence theorems known and construction methods for Galois extensions as well as solutions for embedding problems combined with a collection of the existing Galois realizations.

This book examines and explores Jacques Lacan's controversial topologisation of psychoanalysis, and seeks to persuade the reader that this enterprise was necessary and important. In providing both an introduction to a fundamental component of Lacan's theories, as well as readings of texts that have been largely ignored, it provides a thorough critical interpretation of his work. Will Greenshields argues that Lacan achieved his most pedagogically clear and successful presentations of his most essential and notoriously complex concepts - such as structure, the subject and the real - through the deployment of topology. The book will help readers to better understand Lacan, and also those concepts that have become prevalent in various intellectual discourses such as contemporary continental philosophy, politics and the study of ideology, and literary or cultural criticism.

This volume contains selected papers authored by speakers and participants of the 2013 Arbeitstagung, held at the Max Planck Institute for Mathematics in Bonn, Germany, from May 22-28. The 2013 meeting (and this resulting proceedings) was dedicated to the memory of Friedrich Hirzebruch, who passed away on May 27, 2012. Hirzebruch organized the first Arbeitstagung in 1957 with a unique concept that would become its most distinctive feature: the program was not determined beforehand by the organizers, but during the meeting by all participants in an open discussion. This ensured that the talks would be on the latest developments in mathematics and that many important results were presented at the conference for the first time. Written by leading mathematicians, the papers in this volume cover various topics from algebraic geometry, topology, analysis, operator theory, and representation theory and display the breadth and depth of pure mathematics that has always been characteristic of the Arbeitstagung.

This book provides an introduction to the topological classification of smooth structurally stable diffeomorphisms on closed orientable 2- and 3-manifolds.The topological classification is one of the main problems of the theory of dynamical systems and the results presented in this book are mostly for dynamical systems satisfying Smale's Axiom A. The main results on the topological classification of discrete dynamical systems are widely scattered among many papers and surveys. This book presents these results fluidly, systematically, and for the first time in one publication. Additionally, this book discusses the recent results on the topological classification of Axiom A diffeomorphisms focusing on the nontrivial effects of the dynamical systems on 2- and 3-manifolds. The classical methods and approaches which are considered to be promising for the further research are also discussed.< The reader needs to be familiar with the basic concepts of the qualitative theory of dynamical systems which are presented in Part 1 for convenience. The book is accessible to ambitious undergraduates, graduates, and researchers in dynamical systems and low dimensional topology. This volume consists of 10 chapters; each chapter contains its own set of references and a section on further reading. Proofs are presented with the exact statements of the results. In Chapter 10 the authors briefly state the necessary definitions and results from algebra, geometry and topology. When stating ancillary results at the beginning of each part, the authors refer to other sources which are readily available.

Featuring the work of twenty-three internationally-recognized experts, this volume explores the trace formula, spectra of locally symmetric spaces, p-adic families, and other recent techniques from harmonic analysis and representation theory. Each peer-reviewed submission in this volume, based on the Simons Foundation symposium on families of automorphic forms and the trace formula held in Puerto Rico in January-February 2014, is the product of intensive research collaboration by the participants over the course of the seven-day workshop. The goal of each session in the symposium was to bring together researchers with diverse specialties in order to identify key difficulties as well as fruitful approaches being explored in the field. The respective themes were counting cohomological forms, p-adic trace formulas, Hecke fields, slopes of modular forms, and orbital integrals.

This 4-th edition of the leading reference volume on distance metrics is characterized by updated and rewritten sections on some items suggested by experts and readers, as well a general streamlining of content and the addition of essential new topics. Though the structure remains unchanged, the new edition also explores recent advances in the use of distances and metrics for e.g. generalized distances, probability theory, graph theory, coding theory, data analysis. New topics in the purely mathematical sections include e.g. the Vitanyi multiset-metric, algebraic point-conic distance, triangular ratio metric, Rossi-Hamming metric, Taneja distance, spectral semimetric between graphs, channel metrization, and Maryland bridge distance. The multidisciplinary sections have also been supplemented with new topics, including: dynamic time wrapping distance, memory distance, allometry, atmospheric depth, elliptic orbit distance, VLBI distance measurements, the astronomical system of units, and walkability distance. Leaving aside the practical questions that arise during the selection of a 'good' distance function, this work focuses on providing the research community with an invaluable comprehensive listing of the main available distances. As well as providing standalone introductions and definitions, the encyclopedia facilitates swift cross-referencing with easily navigable bold-faced textual links to core entries. In addition to distances themselves, the authors have collated numerous fascinating curiosities in their Who's Who of metrics, including distance-related notions and paradigms that enable applied mathematicians in other sectors to deploy research tools that non-specialists justly view as arcane. In expanding access to these techniques, and in many cases enriching the context of distances themselves, this peerless volume is certain to stimulate fresh research.

This second of two Exercises in Analysis volumes covers problems in five core topics of mathematical analysis: Function Spaces, Nonlinear and Multivalued Maps, Smooth and Nonsmooth Calculus, Degree Theory and Fixed Point Theory, and Variational and Topological Methods. Each of five topics corresponds to a different chapter with inclusion of the basic theory and accompanying main definitions and results,followed by suitable comments and remarks for better understanding of the material. Exercises/problems are presented for each topic, with solutions available at the end of each chapter. The entire collection of exercises offers a balanced and useful picture for the application surrounding each topic. This nearly encyclopedic coverage of exercises in mathematical analysis is the first of its kind and is accessible to a wide readership. Graduate students will find the collection of problems valuable in preparation for their preliminary or qualifying exams as well as for testing their deeper understanding of the material. Exercises are denoted by degree of difficulty. Instructors teaching courses that include one or all of the above-mentioned topics will find the exercises of great help in course preparation. Researchers in analysis may find this Work useful as a summary of analytic theories published in one accessible volume.