As its title indicates, this book is about logic, sets and mathematical proofs. It is a careful, patient and rigorous introduction for readers with very limited mathematical maturity. It teaches the reader not only how to read a mathematical proof, but also how to write one. To achieve this, we carefully lay out all the various proof methods encountered in mathematical discourse, give their logical justifications, and apply them to the study of topics [such as real numbers, relations, functions, sequences, fine sets, infinite sets, countable sets, uncountable sets and transfinite numbers] whose mastery is important for anyone contemplating advanced studies in mathematics. The book is completely self-contained; since the prerequisites for reading it are only a sound background in high school algebra. Though this book is meant to be a companion specifically for senior high school pupils and college undergraduate students, it will also be of immense value to anyone interested in acquiring the tools and way of thinking of the mathematician.

Author: David Ruelle
Publisher: Cambridge University Press
ISBN: 1139455281
Release Date: 2004-11-25
Genre: Science

Reissued in the Cambridge Mathematical Library this classic book outlines the theory of thermodynamic formalism which was developed to describe the properties of certain physical systems consisting of a large number of subunits. It is aimed at mathematicians interested in ergodic theory, topological dynamics, constructive quantum field theory, the study of certain differentiable dynamical systems, notably Anosov diffeomorphisms and flows. It is also of interest to theoretical physicists concerned with the conceptual basis of equilibrium statistical mechanics. The level of the presentation is generally advanced, the objective being to provide an efficient research tool and a text for use in graduate teaching. Background material on mathematics has been collected in appendices to help the reader. Extra material is given in the form of updates of problems that were open at the original time of writing and as a new preface specially written for this new edition by the author.

A Second Course in Mathematical Analysis makes an in-depth study of Infinite series, Double sequences and series, power series, sequences and series of functions, Functions of bounded variation, Riemann - Stieltjes integrals, Lebesgue integrals, Fourier series, Multivariable differential calculus, Implicit functions and Extremum problems.

Author: G. H. Hardy
Publisher: Cambridge University Press
ISBN: 0521092272
Release Date: 1952
Genre: Mathematics

There can be few textbooks of mathematics as well-known as Hardy's Pure Mathematics. Since its publication in 1908, it has been a classic work to which successive generations of budding mathematicians have turned at the beginning of their undergraduate courses. In its pages, Hardy combines the enthusiasm of a missionary with the rigor of a purist in his exposition of the fundamental ideas of the differential and integral calculus, of the properties of infinite series and of other topics involving the notion of limit.

Author: E. T. Whittaker
Publisher: Cambridge University Press
ISBN: 0521588073
Release Date: 1996-09-13
Genre: Mathematics

This classic text has entered and held the field as the standard book on the applications of analysis to the transcendental functions. The authors explain the methods of modern analysis in the first part of the book and then proceed to a detailed discussion of the transcendental function, unhampered by the necessity of continually proving new theorems for special applications. In this way the authors have succeeded in being rigorous without imposing on the reader the mass of detail that so often tends to make a rigorous demonstration tedious. Researchers and students will find this book as valuable as ever.

Author: Georgi E. Shilov
Publisher: Courier Corporation
ISBN: 9780486135007
Release Date: 2012-07-31
Genre: Mathematics

DIVExcellent undergraduate-level text offers coverage of real numbers, sets, metric spaces, limits, continuous functions, much more. Each chapter contains a problem set with hints and answers. 1973 edition. /div

Author: John B. Conway
Publisher: Cambridge University Press
ISBN: 9781107173149
Release Date: 2017-07-31
Genre: Mathematics

This rigorous textbook is intended for a year-long analysis or advanced calculus course for advanced undergraduate or beginning graduate students. Starting with detailed, slow-paced proofs that allow students to acquire facility in reading and writing proofs, it clearly and concisely explains the basics of differentiation and integration of functions of one and several variables, and covers the theorems of Green, Gauss, and Stokes. Minimal prerequisites are assumed, and relevant linear algebra topics are reviewed right before they are needed, making the material accessible to students from diverse backgrounds. Abstract topics are preceded by concrete examples to facilitate understanding, for example, before introducing differential forms, the text examines low-dimensional examples. The meaning and importance of results are thoroughly discussed, and numerous exercises of varying difficulty give students ample opportunity to test and improve their knowledge of this difficult yet vital subject.

This book is intended to serve as an introduction to the theory of semistable sheaves and at the same time to provide a survey of recent research results on the geometry of moduli spaces. The first part introduces the basic concepts in the theory: Hilbert polynomial, slope, stability, Harder-Narasimhan filtration, Grothendieck's Quot-scheme. It presents detailed proofs of the Grauert-Mülich Theorem, the Bogomolov Inequality, the semistability of tensor products, and the boundedness of the family of semistable sheaves. It also gives a self-contained account of the construction of moduli spaces of semistable sheaves on a projective variety à la Gieseker, Maruyama, and Simpson. The second part presents some of the recent results of the geometry of moduli spaces of sheaves on an algebraic surface, following work of Mukai, O'Grady, Gieseker, Li and many others. In particular, moduli spaces of sheaves on K3 surfaces and determinant line bundles on the moduli spaces are treated in some detail. Other topics include the Serre correspondence, restriction of stable bundles to curves, symplectic structures, irreducibility and Kodaira-dimension of moduli spaces.