Böcker i Graduate Texts in Mathematics-serien

This book constructs the mathematical apparatus of classical mechanics from the beginning, examining basic problems in dynamics like the theory of oscillations and the Hamiltonian formalism. Discussion includes qualitative methods of the theory of dynamical systems and of asymptotic methods like averaging and adiabatic invariance.

This book introduces the main ideas of quantum mechanics in language familiar to mathematicians. Readers with little prior exposure to physics will enjoy the book's conversational tone as they delve into key topics.

A new edition of a classical treatment of elliptic and modular functions with some of their number-theoretic applications, this text offers an updated bibliography and an alternative treatment of the transformation formula for the Dedekind eta function.

The fourth edition of this standard textbook of modern graph theory has been revised, updated, and substantially extended. Covering all major recent developments, it can be used both as a reliable textbook for an introductory course and as a graduate text.

This textbook introduces readers to the fundamental notions of modern probability theory. The only prerequisite is a working knowledge in real analysis. Highlighting the connections between martingales and Markov chains on one hand, and Brownian motion and harmonic functions on the other, this book provides an introduction to the rich interplay between probability and other areas of analysis.Arranged into three parts, the book begins with a rigorous treatment of measure theory, with applications to probability in mind. The second part of the book focuses on the basic concepts of probability theory such as random variables, independence, conditional expectation, and the different types of convergence of random variables. In the third part, in which all chapters can be read independently, the reader will encounter three important classes of stochastic processes: discrete-time martingales, countable state-space Markov chains, and Brownian motion. Each chapter ends with a selection of illuminating exercises of varying difficulty. Some basic facts from functional analysis, in particular on Hilbert and Banach spaces, are included in the appendix. Measure Theory, Probability, and Stochastic Processes is an ideal text for readers seeking a thorough understanding of basic probability theory. Students interested in learning more about Brownian motion, and other continuous-time stochastic processes, may continue reading the author's more advanced textbook in the same series (GTM 274).

This text presents the basic theory of random walks on infinite, finitely generated groups, along with certain background material in measure-theoretic probability. The main objective is to show how structural features of a group, such as amenability/nonamenability, affect qualitative aspects of symmetric random walks on the group, such as transience/recurrence, speed, entropy, and existence or nonexistence of nonconstant, bounded harmonic functions. The book will be suitable as a textbook for beginning graduate-level courses or independent study by graduate students and advanced undergraduate students in mathematics with a solid grounding in measure theory and a basic familiarity with the elements of group theory. The first seven chapters could also be used as the basis for a short course covering the main results regarding transience/recurrence, decay of return probabilities, and speed. The book has been organized and written so as to be accessible not only to students in probability theory, but also to students whose primary interests are in geometry, ergodic theory, or geometric group theory.

Advanced maths students have been waiting for this, the third edition of a text that deals with one of the fundamentals of their field. This book contains a systematic treatment of probability from the ground up, starting with intuitive ideas and gradually developing more sophisticated subjects, such as random walks and the Kalman-Bucy filter. Examples are discussed in detail, and there are a large number of exercises. This third edition contains new problems and exercises, new proofs, expanded material on financial mathematics, financial engineering, and mathematical statistics, and a final chapter on the history of probability theory.

Categories for the Working Mathematician provides an array of general ideas useful in a wide variety of fields. Starting from the foundations, this book illuminates the concepts of category, functor, natural transformation, and duality. The book then turns to adjoint functors, which provide a description of universal constructions, an analysis of the representations of functors by sets of morphisms, and a means of manipulating direct and inverse limits. These categorical concepts are extensively illustrated in the remaining chapters, which include many applications of the basic existence theorem for adjoint functors. The categories of algebraic systems are constructed from certain adjoint-like data and characterized by Beck's theorem. After considering a variety of applications, the book continues with the construction and exploitation of Kan extensions. This second edition includes a number of revisions and additions, including two new chapters on topics of active interest. One is on symmetric monoidal categories and braided monoidal categories and the coherence theorems for them. The second describes 2-categories and the higher dimensional categories which have recently come into prominence. The bibliography has also been expanded to cover some of the many other recent advances concerning categories.

This textbook introduces enumerative combinatorics through the framework of formal languages and bijections. By starting with elementary operations on words and languages, the authors paint an insightful, unified picture for readers entering the field. Numerous concrete examples and illustrative metaphors motivate the theory throughout, while the overall approach illuminates the important connections between discrete mathematics and theoretical computer science.Beginning with the basics of formal languages, the first chapter quickly establishes a common setting for modeling and counting classical combinatorial objects and constructing bijective proofs. From here, topics are modular and offer substantial flexibility when designing a course. Chapters on generating functions and partitions build further fundamental tools for enumeration and include applications such as a combinatorial proof of the Lagrange inversion formula. Connections to linear algebra emerge in chapters studying Cayley trees, determinantal formulas, and the combinatorics that lie behind the classical Cayley¿Hamilton theorem. The remaining chapters range across the Inclusion-Exclusion Principle, graph theory and coloring, exponential structures, matching and distinct representatives, with each topic opening many doors to further study. Generous exercise sets complement all chapters, and miscellaneous sections explore additional applications.Lessons in Enumerative Combinatorics captures the authors' distinctive style and flair for introducing newcomers to combinatorics. The conversational yet rigorous presentation suits students in mathematics and computer science at the graduate, or advanced undergraduate level. Knowledge of single-variable calculus and the basics of discrete mathematics is assumed; familiarity with linear algebra will enhance the study of certain chapters.

Readers interested in complex analysis will appreciate the unique combination of topics and connections collected in this book. Beginning with a review of the main tools of complex analysis, harmonic analysis, and functional analysis, the authors go on to present multiple different, self-contained avenues to proceed.

It plays a key role in many mathematical fields, including functional analysis, optimization, probability theory, and stochastic geometry.Paving the way to the more advanced and specialized literature, the material will be accessible to students in the third year and can be covered in one semester.

This book gives an introduction to fiber spaces and differential operators on smooth manifolds. Over the last 20 years, the authors developed an algebraic approach to the subject and they explain in this book why differential calculus on manifolds can be considered as an aspect of commutative algebra.

It covers proving the four most fundamental theorems relating curvature and topology: the Gauss-Bonnet Theorem, the Cartan-Hadamard Theorem, Bonnet's Theorem, and a special case of the Cartan-Ambrose-Hicks Theorem.

This textbook introduces enumerative combinatorics through the framework of formal languages and bijections. Connections to linear algebra emerge in chapters studying Cayley trees, determinantal formulas, and the combinatorics that lie behind the classical Cayley-Hamilton theorem.

This textbook offers an approachable introduction to stochastic processes that explores the four pillars of random walk, branching processes, Brownian motion, and martingales. Themes span Poisson processes, branching processes, the Kolmogorov-Chentsov theorem, martingales, renewal theory, and Brownian motion.

This textbook introduces first-order logic and its role in the foundations of mathematics by examining fundamental questions. What is a mathematical proof? How can mathematical proofs be justified? Are there limitations to provability? To what extent can machines carry out mathematical proofs? In answering these questions, this textbook explores the capabilities and limitations of algorithms and proof methods in mathematics and computer science.The chapters are carefully organized, featuring complete proofs and numerous examples throughout. Beginning with motivating examples, the book goes on to present the syntax and semantics of first-order logic. After providing a sequent calculus for this logic, a Henkin-type proof of the completeness theorem is given. These introductory chapters prepare the reader for the advanced topics that follow, such as Gödel's Incompleteness Theorems, Trakhtenbrot's undecidability theorem, Lindström's theorems on the maximality of first-order logic, and results linking logic with automata theory. This new edition features many modernizations, as well as two additional important results: The decidability of Presburger arithmetic, and the decidability of the weak monadic theory of the successor function.Mathematical Logic is ideal for students beginning their studies in logic and the foundations of mathematics. Although the primary audience for this textbook will be graduate students or advanced undergraduates in mathematics or computer science, in fact the book has few formal prerequisites. It demands of the reader only mathematical maturity and experience with basic abstract structures, such as those encountered in discrete mathematics or algebra.

This textbook provides a gentle introduction to intersection homology and perverse sheaves, where concrete examples and geometric applications motivate concepts throughout.

This heavily class-tested book is an exposition of the theoretical foundations of hyperbolic manifolds. The first part is concerned with hyperbolic geometry and discrete groups. The second part is devoted to the theory of hyperbolic manifolds. The third part integrates the first two parts in a development of the theory of hyperbolic orbifolds.

This new edition contains a completely rewritten chapter on spherical harmonics, a new section on extensions of Bochers Theorem, new exercises and proofs, as well as revisions throughout to improve the text. A unique software package supplements the text for readers who wish to explore harmonic function theory on a computer.

SL2(R) gives the student an introduction to the infinite dimensional representation theory of semisimple Lie groups by concentrating on one example - SL2(R). The rapid development of representation theory over the past 40 years has made it increasingly difficult for a student to enter the field.

Modern and classical applications complement the theory on topics ranging from financial fraud to virus dynamics, offering numerous avenues for further inquiry.Starting with several simple examples of dynamical systems, the book begins by establishing the basics of measurable dynamical systems, attractors, and the ergodic theorems.