Frédéric Mynard – författare

This is a textbook for an undergraduate mathematics major transition course from technique-based mathematics (such as Algebra and Calculus) to proof-based mathematics. It motivates the introduction of the formal language of logic and set theory and develops the basics with examples, exercises with solutions and exercises without. It then moves to a discussion of proof structure and basic proof techniques, including proofs by induction with extensive examples. An in-depth treatment of relations, particularly equivalence and order relations completes the exposition of the basic language of mathematics. The last chapter treats infinite cardinalities. An appendix gives some complement on induction and order, and another provides full solutions of the in-text exercises. The primary audience is undergraduate mathematics major, but independent readers interested in mathematics can also use the book for self-study.

This textbook is an alternative to a classical introductory book in point-set topology. The approach, however, is radically different from the classical one. It is based on convergence rather than on open and closed sets. Convergence of filters is a natural generalization of the basic and well-known concept of convergence of sequences, so that convergence theory is more natural and intuitive to many, perhaps most, students than classical topology. On the other hand, the framework of convergence is easier, more powerful and far-reaching which highlights a need for a theory of convergence in various branches of analysis.Convergence theory for filters is gradually introduced and systematically developed. Topological spaces are presented as a special subclass of convergence spaces of particular interest, but a large part of the material usually developed in a topology textbook is treated in the larger realm of convergence spaces.