This monograph considers several well-known mathematical theorems and asks the question, "Why prove it again?" while examining alternative proofs. It explores the different rationales mathematicians may have for pursuing and presenting new proofs of previously established results, as well as how they judge whether two proofs of a given result are different. While a number of books have examined alternative proofs of individual theorems, this is the first that presents comparative case studies of other methods for a variety of different theorems. The author begins by laying out the criteria for distinguishing among proofs and enumerates reasons why new proofs have, for so long, played a prominent role in mathematical practice. He then outlines various purposes that alternative proofs may serve. Each chapter that follows provides a detailed case study of alternative proofs for particular theorems, including the Pythagorean Theorem, the Fundamental Theorem of Arithmetic, Desargues' Theorem, the Prime Number Theorem, and the proof of the irreducibility of cyclotomic polynomials. Why Prove It Again? will appeal to a broad range of readers, including historians and philosophers of mathematics, students, and practicing mathematicians. Additionally, teachers will find it to be a useful source of alternative methods of presenting material to their students.

Visualization research aims to provide insight into large, complicated data sets and the phenomena behind them. While there are di?erent methods of reaching this goal, topological methods stand out for their solid mathem- ical foundation, which guides the algorithmic analysis and its presentation. Topology-based methods in visualization have been around since the beg- ning of visualization as a scienti?c discipline, but they initially played only a minor role. In recent years,interest in topology-basedvisualization has grown andsigni?cantinnovationhasledto newconceptsandsuccessfulapplications. The latest trends adapt basic topological concepts to precisely express user interests in topological properties of the data. This book is the outcome of the second workshop on Topological Methods in Visualization, which was held March 4-6, 2007 in Kloster Nimbschen near Leipzig,Germany.Theworkshopbroughttogethermorethan40international researchers to present and discuss the state of the art and new trends in the ?eld of topology-based visualization. Two inspiring invited talks by George Haller, MIT, and Nelson Max, LLNL, were accompanied by 14 presentations by participants and two panel discussions on current and future trends in visualization research. This book contains thirteen research papers that have been peer-reviewed in a two-stage review process. In the ?rst phase, submitted papers where peer-reviewed by the international program committee. After the workshop accepted papers went through a revision and a second review process taking into account comments from the ?rst round and discussions at the workshop. Abouthalfthepapersconcerntopology-basedanalysisandvisualizationof ?uid?owsimulations;twopapersconcernmoregeneraltopologicalalgorithms, while the remaining papers discuss topology-based visualization methods in application areas like biology, medical imaging and electromagnetism.

Combinatorics plays a prominent role in contemporary mathematics, due to the vibrant development it has experienced in the last two decades and its many interactions with other subjects. This book arises from the INdAM conference "CoMeTA 2013 - Combinatorial Methods in Topology and Algebra,'' which was held in Cortona in September 2013. The event brought together emerging and leading researchers at the crossroads of Combinatorics, Topology and Algebra, with a particular focus on new trends in subjects such as: hyperplane arrangements; discrete geometry and combinatorial topology; polytope theory and triangulations of manifolds; combinatorial algebraic geometry and commutative algebra; algebraic combinatorics; and combinatorial representation theory. The book is divided into two parts. The first expands on the topics discussed at the conference by providing additional background and explanations, while the second presents original contributions on new trends in the topics addressed by the conference.

Classical in its approach, this textbook is thoughtfully designed and composed in two parts. Part I is meant for a one-semester beginning graduate course in measure theory, proposing an "abstract" approach to measure and integration, where the classical concrete cases of Lebesgue measure and Lebesgue integral are presented as an important particular case of general theory. Part II of the text is more advanced and is addressed to a more experienced reader. The material is designed to cover another one-semester graduate course subsequent to a first course, dealing with measure and integration in topological spaces. The final section of each chapter in Part I presents problems that are integral to each chapter, the majority of which consist of auxiliary results, extensions of the theory, examples, and counterexamples. Problems which are highly theoretical have accompanying hints. The last section of each chapter of Part II consists of Additional Propositions containing auxiliary and complementary results. The entire book contains collections of suggested readings at the end of each chapter in order to highlight alternate approaches, proofs, and routes toward additional results. With modest prerequisites, this text is intended to meet the needs of a contemporary course in measure theory for mathematics students and is also accessible to a wider student audience, namely those in statistics, economics, engineering, and physics. Part I may be also accessible to advanced undergraduates who fulfill the prerequisites which include an introductory course in analysis, linear algebra (Chapter 5 only), and elementary set theory.

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.

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.

As many readers will know, the 20th century was a time when the fields of mathematics and the sciences were seen as two separate entities. Caused by the rapid growth of the physical sciences and an increasing abstraction in mathematical research, each party, physicists and mathematicians alike, suffered a misconception; not only of the opposition's theoretical underpinning, but of how the two subjects could be intertwined and effectively utilized. One sub-discipline that played a part in the union of the two subjects is Theoretical Physics. Breaking it down further came the fundamental theories, Relativity and Quantum theory, and later on Yang-Mills theory. Other areas to emerge in this area are those derived from the works of Donaldson, Chern-Simons, Floer-Fukaya, and Seiberg-Witten. Aimed at a wide audience, Physical Topics in Mathematics demonstrates how various physical theories have played a crucial role in the developments of Mathematics and in particular, Geometric Topology. Issues are studied in great detail, and the book steadfastly covers the background of both Mathematics and Theoretical Physics in an effort to bring the reader to a deeper understanding of their interaction. Whilst the world of Theoretical Physics and Mathematics is boundless; it is not the intention of this book to cover its enormity. Instead, it seeks to lead the reader through the world of Physical Mathematics; leaving them with a choice of which realm they wish to visit next.

This book provides a concise introduction to topology and is necessary for courses in differential geometry, functional analysis, algebraic topology, etc. Topology is a fundamental tool in most branches of pure mathematics and is also omnipresent in more applied parts of mathematics. Therefore students will need fundamental topological notions already at an early stage in their bachelor programs. While there are already many excellent monographs on general topology, most of them are too large for a first bachelor course. Topology fills this gap and can be either used for self-study or as the basis of a topology course.

The aim of this book is to present the fundamental concepts and properties of the geodesic flow of a closed Riemannian manifold. The topics covered are close to my research interests. An important goal here is to describe properties of the geodesic flow which do not require curvature assumptions. A typical example of such a property and a central result in this work is Mane's formula that relates the topological entropy of the geodesic flow with the exponential growth rate of the average numbers of geodesic arcs between two points in the manifold. The material here can be reasonably covered in a one-semester course. I have in mind an audience with prior exposure to the fundamentals of Riemannian geometry and dynamical systems. I am very grateful for the assistance and criticism of several people in preparing the text. In particular, I wish to thank Leonardo Macarini and Nelson Moller who helped me with the writing of the first two chapters and the figures. Gonzalo Tomaria caught several errors and contributed with helpful suggestions. Pablo Spallanzani wrote solutions to several of the exercises. I have used his solutions to write many of the hints and answers. I also wish to thank the referee for a very careful reading of the manuscript and for a large number of comments with corrections and suggestions for improvement.

This monograph presents a short course in computational geometry and topology. In the first part the book covers Voronoi diagrams and Delaunay triangulations, then it presents the theory of alpha complexes which play a crucial role in biology. The central part of the book is the homology theory and their computation, including the theory of persistence which is indispensable for applications, e.g. shape reconstruction. The target audience comprises researchers and practitioners in mathematics, biology, neuroscience and computer science, but the book may also be beneficial to graduate students of these fields.

Certain noises, many aspects of turbulence, and almost all aspects of finance exhibit a level of temporal and spatial variability whose "wildness" impressed itself vividly upon the author, Benoit Mandelbrot, in the early 1960's. He soon realized that those phenomena cannot be described by simply adapting the statistical techniques of earlier physics, or even extending those techniques slightly. It appeared that the study of finance and turbulence could not move forward without the recognition that those phenomena represented a new second stage of indeterminism. Altogether new mathematical tools were needed. The papers in this Selecta volume reflect that realization and the work that Dr. Mandelbrot did toward the development of those new tools.

This second of the three-volume book is targeted as a basic course in topology for undergraduate and graduate students of mathematics. It focuses on many variants of topology and its applications in modern analysis, geometry, algebra, and the theory of numbers. Offering a proper background on topology, analysis, and algebra, this volume discusses the topological groups and topological vector spaces that provide many interesting geometrical objects which relate algebra with geometry and analysis. This volume follows a systematic and comprehensive elementary approach to the topology related to manifolds, emphasizing differential topology. It further communicates the history of the emergence of the concepts leading to the development of topological groups, manifolds, and also Lie groups as mathematical topics with their motivations. This book will promote the scope, power, and active learning of the subject while covering a wide range of theories and applications in a balanced unified way.

An asymmetric norm is a positive definite sublinear functional "p" on a real vector space "X." The topology generated by the asymmetric norm "p" is translation invariant so that the addition is continuous, but the asymmetry of the norm implies that the multiplication by scalars is continuous only when restricted to non-negative entries in the first argument. The asymmetric dual of "X," meaning the set of all real-valued upper semi-continuous linear functionals on "X," is merely a convex cone in the vector space of all linear functionals on "X." In spite of these differences, many results from classical functional analysis have their counterparts in the asymmetric case, by taking care of the interplay between the asymmetric norm p and its conjugate. Among the positive results one can mention: Hahn Banach type theorems and separation results for convex sets, Krein Milman type theorems, analogs of the fundamental principles open mapping, closed graph and uniform boundedness theorems an analog of the Schauder s theorem on the compactness of the conjugate mapping. Applications are given to best approximation problems and, as relevant examples, one considers normed lattices equipped with asymmetric norms and spaces of semi-Lipschitz functions on quasi-metric spaces. Since the basic topological tools come from quasi-metric spaces and quasi-uniform spaces, the first chapter of the book contains a detailed presentation of some basic results from the theory of these spaces. The focus is on results which are most used in functional analysis completeness, compactness and Baire category which drastically differ from those in metric or uniform spaces. The book is fairly self-contained, the prerequisites being the acquaintance with the basic results in topology and functional analysis, so it may be used for an introduction to the subject. Since new results, in the focus of current research, are also included, researchers in the area can use it as a reference text."

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.

This book discusses a famous problem that helped to define the field now known as topology: What is the minimum number of colors required to print a map so that no two adjoining countries have the same color? This problem remained unsolved until the 1950s, when it was finally cracked using a computer. This book discusses the history and mathematics of the problem, as well as the philosophical debate which ensued, regarding the validity of computer generated proofs.

The main purpose of the present work is to present to the reader a particularly nice category for the study of homotopy, namely the homo topic category (IV). This category is, in fact, - according to Chapter VII and a well-known theorem of J. H. C. WHITEHEAD - equivalent to the category of CW-complexes modulo homotopy, i.e. the category whose objects are spaces of the homotopy type of a CW-complex and whose morphisms are homotopy classes of continuous mappings between such spaces. It is also equivalent (I, 1.3) to a category of fractions of the category of topological spaces modulo homotopy, and to the category of Kan complexes modulo homotopy (IV). In order to define our homotopic category, it appears useful to follow as closely as possible methods which have proved efficacious in homo logical algebra. Our category is thus the" topological" analogue of the derived category of an abelian category (VERDIER). The algebraic machinery upon which this work is essentially based includes the usual grounding in category theory - summarized in the Dictionary - and the theory of categories of fractions which forms the subject of the first chapter of the book. The merely topological machinery reduces to a few properties of Kelley spaces (Chapters I and III). The starting point of our study is the category,10 Iff of simplicial sets (C.S.S. complexes or semi-simplicial sets in a former terminology)."

The theory of Fixed Points is one of the most powerful tools of modern mathematics. This book contains a clear, detailed and well-organized presentation of the major results, together with an entertaining set of historical notes and an extensive bibliography describing further developments and applications.

From the reviews: "I recommend this excellent volume on fixed point theory to anyone interested in this core subject of nonlinear analysis." --MATHEMATICAL REVIEWS

The series is aimed specifically at publishing peer reviewed reviews and contributions presented at workshops and conferences. Each volume is associated with a particular conference, symposium or workshop. These events cover various topics within pure and applied mathematics and provide up-to-date coverage of new developments, methods and applications.

Geometry and topology are strongly motivated by the visualization of ideal objects that have certain special characteristics. A clear formulation of a specific property or a logically consistent proof of a theorem often comes only after the mathematician has correctly "seen" what is going on. These pictures which are meant to serve as signposts leading to mathematical understanding, frequently also contain a beauty of their own. The principal aim of this book is to narrate, in an accessible and fairly visual language, about some classical and modern achievements of geometry and topology in both intrinsic mathematical problems and applications to mathematical physics. The book starts from classical notions of topology and ends with remarkable new results in Hamiltonian geometry. Fomenko lays special emphasis upon visual explanations of the problems and results and downplays the abstract logical aspects of calculations. As an example, readers can very quickly penetrate into the new theory of topological descriptions of integrable Hamiltonian differential equations. The book includes numerous graphical sheets drawn by the author, which are presented in special sections of "Visual material." These pictures illustrate the mathematical ideas and results contained in the book. Using these pictures, the reader can understand many modern mathematical ideas and methods. Although "Visual Geometry and Topology" is about mathematics, Fomenko has written and illustrated this book so that students and researchers from all the natural sciences and also artists and art students will find something of interest within its pages.

This is the second revised and extendededition of the successful book on the algebraic structure of the Stone-Cech compactification of a discrete semigroup and its combinatorial applications, primarily in the field known as Ramsey Theory. There has been very active research in the subject dealt with by the book in the 12 years which is now included in this edition. This book is a self-contained exposition of the theory of compact right semigroupsfor discrete semigroups and the algebraic properties of these objects. The methods applied in the book constitute a mosaic of infinite combinatorics, algebra, and topology. The reader will find numerous combinatorial applications of the theory, including the central sets theorem, partition regularity of matrices, multidimensional Ramsey theory, and many more.

"The art of structure is where to put the holes" Robert Le Ricolais, 1894-1977 This is a completely revised, updated and expanded version of the book titled "Optimization of Structural Topology, Shape and Material" (Bends0e 1995). The field has since then developed rapidly with many new contributions to theory, computational methods and applications. This has that a simple editing of Bends0e (1995) had to be superseded by what meant is to a large extent a completely new book, now by two authors. This work is an attempt to provide a unified presentation of methods for the optimal design of topology, shape and material for continuum and discrete structures. The emphasis is on the now matured techniques for the topology design of continuum structures and its many applications that have seen the light of the day since the first monograph appeared. The technology is now well established and designs obtained with the use of topology optimization methods are in production on a daily basis. The efficient use of materials is important in many different settings. The aerospace industry and the automotive industry, for example, apply sizing and shape optimization to the design of structures and mechanical elements.

Until the mid-twentieth century, topological studies were focused on the theory of suitable structures on sets of points. The concept of open set exploited since the twenties offered an expression of the geometric intuition of a "realistic" place (spot, grain) of non-trivial extent.

Imitating the behaviour of open sets and their relations led to a new approach to topology flourishing since the end of the fifties.It has proved to be beneficial in many respects. Neglecting points, only little information was lost, while deeper insights have been gained; moreover, many results previously dependent onchoice principles became constructive. The result is often a smoother, rather than a more entangled, theory.

No monograph of this nature has appeared since Johnstone's celebrated "Stone Spaces" in 1983. The present book is intended as a bridge from that time to the present. Most of the material appears here in book form for the first time or is presented from new points of view. Two appendices provide an introduction to some requisite concepts from order and category theories."

These notes, based on lectures delivered in Saint Flour, provide an easy introduction to the authors' 2007 Springer monograph "Random Fields and Geometry." While not as exhaustive as the full monograph, they are also less exhausting, while still covering the basic material, typically at a more intuitive and less technical level. They also cover some more recent material relating to random algebraic topology and statistical applications. The notes include an introduction to the general theory of Gaussian random fields, treating classical topics such as continuity and boundedness. This is followed by a quick review of geometry, both integral and Riemannian, with an emphasis on tube formulae, to provide the reader with the material needed to understand and use the Gaussian kinematic formula, the main result of the notes. This is followed by chapters on topological inference and random algebraic topology, both of which provide applications of the main results.

This book brings the most important aspects of modern topology within reach of a second-year undergraduate student. It successfully unites the most exciting aspects of modern topology with those that are most useful for research, leaving readers prepared and motivated for further study. Written from a thoroughly modern perspective, every topic is introduced with an explanation of why it is being studied, and a huge number of examples provide further motivation. The book is ideal for self-study and assumes only a familiarity with the notion of continuity and basic algebra.

Since its introduction by Friedhelm Waldhausen in the 1970s, the algebraic K-theory of spaces has been recognized as the main tool for studying parametrized phenomena in the theory of manifolds. However, a full proof of the equivalence relating the two areas has not appeared until now. This book presents such a proof, essentially completing Waldhausen's program from more than thirty years ago.

The main result is a stable parametrized h-cobordism theorem, derived from a homotopy equivalence between a space of PL h-cobordisms on a space X and the classifying space of a category of simple maps of spaces having X as deformation retract. The smooth and topological results then follow by smoothing and triangulation theory.

The proof has two main parts. The essence of the first part is a "desingularization," improving arbitrary finite simplicial sets to polyhedra. The second part compares polyhedra with PL manifolds by a thickening procedure. Many of the techniques and results developed should be useful in other connections.