This volume deals with the theory of finite topological spaces and its relationship with the homotopy and simple homotopy theory of polyhedra. The interaction between their intrinsic combinatorial and topological structures makes finite spaces a useful tool for studying problems in Topology, Algebra and Geometry from a new perspective. In particular, the methods developed in this manuscript are used to study Quillen's conjecture on the poset of p-subgroups of a finite group and the Andrews-Curtis conjecture on the 3-deformability of contractible two-dimensional complexes. This self-contained work constitutes the first detailed exposition on the algebraic topology of finite spaces. It is intended for topologists and combinatorialists, but it is also recommended for advanced undergraduate students and graduate students with a modest knowledge of Algebraic Topology.

Algebraic topology is a basic part of modern mathematics, and some knowledge of this area is indispensable for any advanced work relating to geometry, including topology itself, differential geometry, algebraic geometry, and Lie groups. This book provides a detailed treatment of algebraic topology both for teachers of the subject and for advanced graduate students in mathematics either specializing in this area or continuing on to other fields. J. Peter May's approach reflects the enormous internal developments within algebraic topology over the past several decades, most of which are largely unknown to mathematicians in other fields. But he also retains the classical presentations of various topics where appropriate. Most chapters end with problems that further explore and refine the concepts presented. The final four chapters provide sketches of substantial areas of algebraic topology that are normally omitted from introductory texts, and the book concludes with a list of suggested readings for those interested in delving further into the field.

This volume is the first comprehensive treatment of combinatorial algebraic topology in book form. The first part of the book constitutes a swift walk through the main tools of algebraic topology. Readers - graduate students and working mathematicians alike - will probably find particularly useful the second part, which contains an in-depth discussion of the major research techniques of combinatorial algebraic topology. Although applications are sprinkled throughout the second part, they are principal focus of the third part, which is entirely devoted to developing the topological structure theory for graph homomorphisms.

This monograph is based, in part, upon lectures given in the Princeton School of Engineering and Applied Science. It presupposes mainly an elementary knowledge of linear algebra and of topology. In topology the limit is dimension two mainly in the latter chapters and questions of topological invariance are carefully avoided. From the technical viewpoint graphs is our only requirement. However, later, questions notably related to Kuratowski's classical theorem have demanded an easily provided treatment of 2-complexes and surfaces. January 1972 Solomon Lefschetz 4 INTRODUCTION The study of electrical networks rests upon preliminary theory of graphs. In the literature this theory has always been dealt with by special ad hoc methods. My purpose here is to show that actually this theory is nothing else than the first chapter of classical algebraic topology and may be very advantageously treated as such by the well known methods of that science. Part I of this volume covers the following ground: The first two chapters present, mainly in outline, the needed basic elements of linear algebra. In this part duality is dealt with somewhat more extensively. In Chapter III the merest elements of general topology are discussed. Graph theory proper is covered in Chapters IV and v, first structurally and then as algebra. Chapter VI discusses the applications to networks. In Chapters VII and VIII the elements of the theory of 2-dimensional complexes and surfaces are presented.

The amount of algebraic topology a graduate student specializing in topology must learn can be intimidating. Moreover, by their second year of graduate studies, students must make the transition from understanding simple proofs line-by-line to understanding the overall structure of proofs of difficult theorems. To help students make this transition, the material in this book is presented in an increasingly sophisticated manner. It is intended to bridge the gap between algebraic and geometric topology, both by providing the algebraic tools that a geometric topologist needs and by concentrating on those areas of algebraic topology that are geometrically motivated. Prerequisites for using this book include basic set-theoretic topology, the definition of CW-complexes, some knowledge of the fundamental group/covering space theory, and the construction of singular homology. Most of this material is briefly reviewed at the beginning of the book. The topics discussed by the authors include typical material for first- and second-year graduate courses. The core of the exposition consists of chapters on homotopy groups and on spectral sequences. There is also material that would interest students of geometric topology (homology with local coefficients and obstruction theory) and algebraic topology (spectra and generalized homology), as well as preparation for more advanced topics such as algebraic $K$-theory and the s-cobordism theorem. A unique feature of the book is the inclusion, at the end of each chapter, of several projects that require students to present proofs of substantial theorems and to write notes accompanying their explanations. Working on these projects allows students to grapple with the “big picture”, teaches them how to give mathematical lectures, and prepares them for participating in research seminars. The book is designed as a textbook for graduate students studying algebraic and geometric topology and homotopy theory. It will also be useful for students from other fields such as differential geometry, algebraic geometry, and homological algebra. The exposition in the text is clear; special cases are presented over complex general statements.

Learn the basics of point-set topology with the understanding of its real-world application to a variety of other subjects including science, economics, engineering, and other areas of mathematics. Introduces topology as an important and fascinating mathematics discipline to retain the readers interest in the subject. Is written in an accessible way for readers to understand the usefulness and importance of the application of topology to other fields. Introduces topology concepts combined with their real-world application to subjects such DNA, heart stimulation, population modeling, cosmology, and computer graphics. Covers topics including knot theory, degree theory, dynamical systems and chaos, graph theory, metric spaces, connectedness, and compactness. A useful reference for readers wanting an intuitive introduction to topology.

This book constitutes the proceedings of the 17th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2018, held in Groningen, The Netherlands, in October/November 2018. The 21 full papers and 1 invited paper presented together with 2 invited abstracts and 1 abstract of a tutorial were carefully selected from 31 submissions. The papers are organized in the following topics: Theoretical foundations; reasoning about computations and programs; and applications and tools.

This textbook is intended for a course in algebraic topology at the beginning graduate level. The main topics covered are the classification of compact 2-manifolds, the fundamental group, covering spaces, singular homology theory, and singular cohomology theory. These topics are developed systematically, avoiding all unnecessary definitions, terminology, and technical machinery. The text consists of material from the first five chapters of the author's earlier book, Algebraic Topology; an Introduction (GTM 56) together with almost all of his book, Singular Homology Theory (GTM 70). The material from the two earlier books has been substantially revised, corrected, and brought up to date.

Ever since the literary works of Capek and Asimov, mankind has been fascinated by the idea of robots. Modern research in robotics reveals that along with many other branches of mathematics, topology has a fundamental role to play in making these grand ideas a reality. This volume summarizes recent progress in the field of topological robotics--a new discipline at the crossroads of topology, engineering and computer science. Currently, topological robotics is developing in two main directions. On one hand, it studies pure topological problems inspired by robotics and engineering. On the other hand, it uses topological ideas, topological language, topological philosophy, and specially developed tools of algebraic topology to solve problems of engineering and computer science. Examples of research in both these directions are given by articles in this volume, which is designed to be a mixture of various interesting topics of pure mathematics and practical engineering.

Pattern Recognition on Oriented Matroids covers a range of innovative problems in combinatorics, poset and graph theories, optimization, and number theory that constitute a far-reaching extension of the arsenal of committee methods in pattern recognition. The groundwork for the modern committee theory was laid in the mid-1960s, when it was shown that the familiar notion of solution to a feasible system of linear inequalities has ingenious analogues which can serve as collective solutions to infeasible systems. A hierarchy of dialects in the language of mathematics, for instance, open cones in the context of linear inequality systems, regions of hyperplane arrangements, and maximal covectors (or topes) of oriented matroids, provides an excellent opportunity to take a fresh look at the infeasible system of homogeneous strict linear inequalities – the standard working model for the contradictory two-class pattern recognition problem in its geometric setting. The universal language of oriented matroid theory considerably simplifies a structural and enumerative analysis of applied aspects of the infeasibility phenomenon. The present book is devoted to several selected topics in the emerging theory of pattern recognition on oriented matroids: the questions of existence and applicability of matroidal generalizations of committee decision rules and related graph-theoretic constructions to oriented matroids with very weak restrictions on their structural properties; a study (in which, in particular, interesting subsequences of the Farey sequence appear naturally) of the hierarchy of the corresponding tope committees; a description of the three-tope committees that are the most attractive approximation to the notion of solution to an infeasible system of linear constraints; an application of convexity in oriented matroids as well as blocker constructions in combinatorial optimization and in poset theory to enumerative problems on tope committees; an attempt to clarify how elementary changes (one-element reorientations) in an oriented matroid affect the family of its tope committees; a discrete Fourier analysis of the important family of critical tope committees through rank and distance relations in the tope poset and the tope graph; the characterization of a key combinatorial role played by the symmetric cycles in hypercube graphs. Contents Oriented Matroids, the Pattern Recognition Problem, and Tope Committees Boolean Intervals Dehn–Sommerville Type Relations Farey Subsequences Blocking Sets of Set Families, and Absolute Blocking Constructions in Posets Committees of Set Families, and Relative Blocking Constructions in Posets Layers of Tope Committees Three-Tope Committees Halfspaces, Convex Sets, and Tope Committees Tope Committees and Reorientations of Oriented Matroids Topes and Critical Committees Critical Committees and Distance Signals Symmetric Cycles in the Hypercube Graphs