You will notice very quickly that from day one at university, lecturers will be very thorough with their explanations. Proofs of settheoretic relations and equalities among sets are among the simplest types of proofs and therefore present an excellent opportunity to familiarize. Transitive closures, epsiloninduction and epsilonrecursion. An introduction to independence proofs offers an introduction to relative consistency proofs in axiomatic set theory, including combinatorics, sets, trees, and forcing. Until proven though, the statement is never accepted as a true one. Proofs of graphtheoretic results and methods are usually not given in a completely rigorous. In order to eliminate such problems, an axiomatic basis was developed for the theory of sets analogous to. If the axioms of set theory are consistent, then it is impossible to prove or disprove the continuum hypothesis from these axioms. Before we look at these examples, please recall the following implications as they are fundamentally important for writing up our proofs. Although any type of object can be collected into a set, set theory is applied most often to objects that are relevant to mathematics. The book first tackles the foundations of set theory and infinitary combinatorics. Introduction to mathematical arguments background handout for courses requiring proofs by michael hutchings a mathematical proof is an argument which convinces other people that something is true.
It is designed for a onesemester course in set theory at the advanced undergraduate or beginning. At just that time, however, several contradictions in socalled naive set theory were discovered. About elementwise proofs in set theory an elementwise proof is a method for showing that one set is a subset of another set. Ling 310, adapted from umass ling 409, partee lecture notes march 1, 2006 p. Writing proofs is the essence of mathematics studies. Proving that one set is a subset of another introduces a new variable. I have retained most of the formal definitions, theorems and proofs, with nothing. An overview of logic, proofs, set theory, and functions. Questions are bound to come up in any set theory course that cannot be answered mathematically, for example with a formal proof. It is quite clear that most of these laws resemble or, in fact, are analogues of laws in basic algebra and the algebra of propositions.
The theorem belongs to ergodic theory 181, 100, 374. Studies in logic and the foundations of mathematics, volume 102. Proving set theorems examples 1 we will now look at some more examples of proving set theorems. Set theory a bijection is a map from xto y which is injective. Introduction to logic and set theory 202014 general course notes december 2, 20 these notes were prepared as an aid to the student. What are the best books on mathematical logic and set theory. You should be familiar with the basic settheoretic operations and relations and know their precise definitions. Chapter 4 set theory nanyang technological university. Continued since each set is a subset of the other, we have established the equality of the two sets so a b c a b \a c. Proof is, however, the central tool of mathematics. Algebraic proofs of sets set theory mustafa jarrar.
By 1900, set theory was recognized as a distinct branch of mathematics. These notes were prepared using notes from the course taught by uri avraham, assaf hasson, and of course, matti rubin. Proof theory was created early in the 20th century by david hilbert to prove the consistency of the ordinary methods of reasoning used in mathematics in arithmetic number theory, analysis and set theory. Already in his famous \mathematical problems of 1900 hilbert, 1900 he raised, as the second. Set theory is a branch of mathematical logic that studies sets, which informally are collections of objects. The authors start with an exposition of set theory and the axiom of choice as used in everyday mathematics. Y have the same cardinality, if there exists a bijection from x to y.
This chapter introduces set theory, mathematical in. The simple theorems in the algebra of sets are some of the elementary properties of the algebra of union infix. I wrote it in the rm belief that set theory is good not just for set theorists, but for many mathematicians, and that the earlier a student sees the particular point of view that we call modern set theory, the better. S is the set of vertices at even distance, t of odd. Proof, sets, and logic department of mathematics boise state. They are not guaranteed to be comprehensive of the material covered in the course. Similarly, although there is no variable x in the original theorem, proving that theorem requires us to reason about elements of the sets.
The notions of set theory, and the ideas behind many of the proofs, present. List of theorems mat 416, introduction to graph theory. The following table summarizes the key definitions. In set theory, the concept of a \ set and the relation \is an element of, or \2. In earlier versions of our logic style manual, we tended to. Set theory is also the most philosophical of all disciplines in mathematics. Chapter 1 logic and set theory to criticize mathematics for its abstraction is to miss the point entirely. We also demonstrate how to work with families of sets. Math isnt a court of law, so a preponderance of the evidence or beyond any reasonable doubt isnt good enough.
The first law states that the complement of the union of two sets is the intersection of the. Once this new environment is defined it can be used normally within the document, delimited it with the marks \begin theorem and \end theorem. This text is for a course that is a students formal introduction to tools and methods of proof. Axioms and set theory mathematics university of waterloo. Chapter 4 set theory \a set is a many that allows itself to be thought of as a one. We discuss the basics of elementary set theory including set operations such as unions, intersections, complements, and cartesian products. Elementary set theory proofs mathematics stack exchange. Basic theorems from set or number theory used in the proof are enumerated. Famous theorems of mathematicsset theory wikibooks. Its only about 100 pages and a lot of the details are left as exercises for the reader, but in my opion the.
As you go deeper into mathematics, you will encounter more and more ideas, theorems and proofs that involve sets. Discussion in most of the mathematics classes that are prerequisites to this course, such. Fixed point theorems on soft metric spaces article pdf available in journal of fixed point theory and applications 192. In standard introductory classes in algebra, trigonometry, and calculus there is currently very little emphasis on the discipline of proof. If you have some experience in proof writing, i would say read naive set theory by paul halmos. Isabelle, set theory, generic theorem proving, ramseys theorem. This alone assures the subject of a place prominent in human culture. The command \newtheorem theorem theorem has two parameters, the first one is the name of the environment that is defined, the second one is the word that will be printed, in boldface font, at the beginning of the environment. Given a set x, the power set 2x is the set of all subsets of x. These properties assume the existence of at least two sets. But even more, set theory is the milieu in which mathematics takes place today. Set theory is the axiomatization of mathematics, and without ac noone seriously doubts its truth, or at least consistency. Sets we discussed in class how to formally show that one set is a subset of another and how to show two sets are equal.
25 394 390 1187 1501 1542 356 1399 1392 81 414 494 990 783 1425 664 955 1249 1261 724 247 141 938 1308 973 360 114 1562 620 588 945 382 1232 1436 1292 573 776 223 1011 782 1195 1296 404 840