Introduction Russell s Paradox Basic Set Theory Operations on Sets. 6. Sets. Terence Sim


 Dominick Lucas
 1 years ago
 Views:
Transcription
1 6. Sets Terence Sim
2 6.1. Introduction A set is a Many that allows itself to be thought of as a One. Georg Cantor Reading Section of Epp. Section of Campbell.
3 Familiar concepts Sets can be defined in extension, by explicitly listing its members: {1, 2, 3}, {apple, orange, red, unicorn}. Membership: 1 {1, {1, 2}}. nonmembership: 3 / {1, 2}. No duplicates: {1, 1, 2, 2, 2} = {1, 2} Order does not matter: {1, 2} = {2, 1}. A set can also be defined in intention, by specifying a property that characterizes its members: {X X N 1 < X X < 5}.
4 Definition S is a subset of T (or S is contained in T, or T contains S, or T is a superset of S) if all the elements of S are elements of T. We write S T. 1 Examples: {1, 2} {1, 2, 3} {1, 2, 3} {1, 2, 3}. A set is a subset of itself. {3, 4} {1, 2, 3} Warning Do not confuse S T with S T! Example: Let S = {1, 2, {3, 4}}, then {3, 4} S, but {3, 4} S. {4} S, and 4 S. 1 Some authors use X Y.
5 Note that the definition of subset allows a set to be a subset of itself. Sometimes we speak of a proper subset: A set S is a proper subset, of T, denoted S T, iff S T and there is at least one element in T that is not in S. Example: {1, 2} {1, 2, 3}. Therefore, a set cannot be a proper subset of itself.
6 Venn diagrams and set operations Intersection: A B Union: A B Difference: B\A or B A
7 Most of the time, these intuitive concepts of sets serve us well. But they can run into trouble. Within 10 years after Cantor s naïve set theory, problems arose. One of these is the famous Russell s Paradox.
8 Russell s Paradox In a certain town, there is only one barber. The barber is a man. The barber shaves all and only those men who do not shave themselves. Does the barber shave himself?
9 Russell s Paradox Mathematically, let U be the set that contains all sets (the Universal set), and M = {A U A / A}. Then, is M M? Well, suppose M M. Then M / M. On the other hand, if M / M, then we conclude that M M.
10 Set theory needed a firmer foundation. Intuition alone was not enough. This foundation is called the ZermeloFraenkel Set Theory with the Axiom of Choice, or ZFC, in honor of its inventors. Ernest Zermelo Abraham Fraenkel ZFC theory is outside the scope of CS1231. Suffice to say that ZFC has an axiom that prevents Russell s paradox.
11 6.3. Basic Set Theory Instead of ZFC, we will study basic set theory. Definition (Empty set) An empty set has no element, and is denoted as or {}. Mathematically, is such that: (1) Y (Y ). Theorem (Epp) An Empty Set is a Subset of all Sets X Z (( Y (Y X )) (X Z))
12 Proof Sketch This is a proof by contradiction. If there exists a set that does not contain the empty set, then the empty set is not empty. Proof: 1. Let X be an empty set. Y (Y X ) 2. Suppose there exists a set in which X is not contained.... Z (X Z)
13 cont d 3. Then 3.1 There exists an element that belongs to X and does not belong to Z by Definition Y (Y X (Y Z)) 3.2 Therefore there exists an element that belongs to X. Y (Y X ) 3.3 This a contradiction since no element belongs to X by Equation (1) We should prove it.
14 cont d 4. Therefore there is no set in which X is not contained. ( Z (X Z)) 5. Therefore X is a subset of all sets. Z (X Z)
15 Definition (Set Equality) Two sets are equal if and only if they have the same elements. X Y (( Z (Z X Z Y )) X = Y ) Examples: {1, 2, 3} = {2, 1, 3, 2}. {} {{}}.
16 Proposition For any two sets X and Y, X is a subset of Y and Y is a subset of X if, and only if, X = Y. X Y ((X Y Y X ) X = Y ) Proof omitted. You try! Note that this gives us a way to check if two sets are equal: by checking if one is a subset of the other, and vice versa.
17 Corollary (Epp) The Empty Set is Unique X 1 X 2 (( Y ( (Y X 1 )) ( Y (Y X 2 ))) X 1 = X 2 ) Proof: 1. Let X 1 and X 2 be two empty sets. 2. Therefore X 1 X 2 by Theorem (Epp). 3. Therefore X 2 X 1 by Theorem (Epp). 4. Therefore X 1 = X 2 by Proposition
18 Definition (Power Set) Given any set S, the power set of S, denoted by P(S), or 2 S, is the set whose elements are all the subsets of S, nothing less and nothing more. That is, given set S, if T = P(S), then: X ((X T ) (X S)) Examples: P({x, y}) = {, {x}, {y}, {x, y}}. P( ) = { }. If S has n elements, then 2 S has 2 n elements.
19 Definition (Union) 6.4. Operation on Sets Let S be a set of sets, then we say that T is the union of the sets in S, and write: T = S = X S X iff each element of T belongs to some set in S, nothing less and nothing more. That is, given S, the set T is such that: Y ((Y T ) Z((Z S) (Y Z))) For two sets A, B, we may simply write T = A B. Examples: Let {1, 2} {3, 1} = {1, 2, 3}. Let S = {{1, 2}, {3}, {1, {2}}}. Then T = {1, 2, 3, {2}}.
20 Proposition (Some easy propositions) Let A, B, C be sets. Then, = A A = {A} = A A = A A B = B A A (B C) = (A B) C A A = A A B A B = B All are easy to prove. You try!
21 Definition (Intersection) Let S be a nonempty set of sets. The intersection of the sets in S is the set T whose elements belong to all the sets in S, nothing less and nothing more. That is, given S, the set T is such that: Y ((Y T ) Z ((Z S) (Y Z))) We write: T = S = X S X For two sets A, B, we may simply write T = A B. Examples: {1, 2, 3} {1, 4, 2, 5} = {1, 2}. Let S = {{1, 2}, {3}, {{1}, {2}}}. Then T =.
22 Proposition (Some easy propositions) Let A, B, C be sets. Then, A = A B = B A A (B C) = (A B) C A B A B = A Distributivity laws: A (B C) = (A B) (A C) A (B C) = (A B) (A C) Proofs omitted. You try!
23 Definition (Disjoint) Let S and T be two sets. S and T are disjoint iff S T =. Definition (Mutually disjoint) Let V be a set of sets. The sets T V are mutually disjoint iff every two distinct sets are disjoint.. X, Y V (X Y X Y = ) Example: The sets in V = {{1, 2}, {3}, {{1}, {2}}} are mutually disjoint.
24 Definition (Partition) Let S be a set, and let V be a set of nonempty subsets of S. Then V is called a partition of S iff (i) The sets in V are mutually disjoint. (ii) The union of the sets in V equals S. S The Venn diagram shows {S 1,..., S 6 } is a partition of S. S 5 S 1 S 3 S 4 S 2 S 6
25 Definition (Nonsymmetric Difference) Let S and T be two sets. The (nonsymmetric) difference (or relative complement) of S and T, denoted S T 3 is the set whose elements belong to S and do not belong to T, nothing less and nothing more. X (X S T (X S (X T ))) Examples: {1, 2, 3, 5, 8} {1, 2, 4, 8, 16, 32} = {3, 5}. {1, 2, 4, 8, 16, 32} {1, 2, 3, 5, 8} = {4, 16, 32}. 3 Some authors use S \ T.
26 Definition (Symmetric Difference) Let S and T be two sets. The symmetric difference of S and T, denoted S T 4 is the set whose elements belong to S or T but not both, nothing less and nothing more. X (X S T (X S X T )) Example: {1, 2, 3, 5, 8} {1, 2, 4, 8, 16, 32} = {3, 4, 5, 16, 32}. 4 Some authors use S T.
27 Definition (Set Complement) Let U be the Universal set (or the Universe of Discourse). 5 And let A be a subset of U. Then, the complement (or absolute complement) of A, denoted A c, is U A. Example: U = N, and A = {positive even numbers}. Then A c = {positive odd numbers} {0}. 5 This set contains all objects under discussion, eg. the set of integers if we are doing Number Theory.
28 There are many useful identities and theorems in set theory, many of which are already familiar to you. Please read Theorems to (Epp), and their proofs. You may use and cite them as needed. Example: For all sets A, B : (A B) c = A c B c. This is De Morgan s law on sets. Let s prove this.
29 Proof: 1. Take any two sets: A, B. 2. (Need to show that (A B) c A c B c ) 3. For any x (A B) c : 4. x (A B), by definition of complement. 5. So (x A x B), by definition of union. 6. Thus x A x B, by De Morgan s laws. 7. Thus x A c x B c, by definition of complement. 8. Thus x A c B c, by definition of intersection. 9. Thus (A B) c A c B c, by definition of subset.
30 Proof cont d: 10. (Now, need to show that A c B c (A B) c ) 11. For any x A c B c : 12. x A c x B c, by definition of intersection. 13. Thus x A x B, by definition of complement. 14. Thus (x A x B), by De Morgan s laws. 15. Thus x A B, by definition of union. 16. Thus x (A B) c, by definition of complement. 17. Thus A c B c (A B) c, by definition of subset. 18. Hence (A B) c = A c B c, by Proposition
31 Summary Sets may be defined in extension or in intention. Set membership, subset, and set equality are basic properties. ZFC puts set theory on a firm axiomatic foundation. Operations on sets include: union, intersection, difference, complement. Set identities mirror those of logic equivalences. Set complement is like logical negation. Set union is like logical or. Set intersection is like logical and. De Morgan s laws apply to sets too.
Applications of Methods of Proof
CHAPTER 4 Applications of Methods of Proof 1. Set Operations 1.1. Set Operations. The settheoretic operations, intersection, union, and complementation, defined in Chapter 1.1 Introduction to Sets are
More informationCmSc 175 Discrete Mathematics Lesson 10: SETS A B, A B
CmSc 175 Discrete Mathematics Lesson 10: SETS Sets: finite, infinite, : empty set, U : universal set Describing a set: Enumeration = {a, b, c} Predicates = {x P(x)} Recursive definition, e.g. sequences
More informationAnnouncements. CompSci 230 Discrete Math for Computer Science Sets. Introduction to Sets. Sets
CompSci 230 Discrete Math for Computer Science Sets September 12, 2013 Prof. Rodger Slides modified from Rosen 1 nnouncements Read for next time Chap. 2.32.6 Homework 2 due Tuesday Recitation 3 on Friday
More informationSets and set operations
CS 441 Discrete Mathematics for CS Lecture 7 Sets and set operations Milos Hauskrecht milos@cs.pitt.edu 5329 Sennott Square asic discrete structures Discrete math = study of the discrete structures used
More informationThe Language of Mathematics
CHPTER 2 The Language of Mathematics 2.1. Set Theory 2.1.1. Sets. set is a collection of objects, called elements of the set. set can be represented by listing its elements between braces: = {1, 2, 3,
More informationSections 2.1, 2.2 and 2.4
SETS Sections 2.1, 2.2 and 2.4 Chapter Summary Sets The Language of Sets Set Operations Set Identities Introduction Sets are one of the basic building blocks for the types of objects considered in discrete
More information4.1. Definitions. A set may be viewed as any well defined collection of objects, called elements or members of the set.
Section 4. Set Theory 4.1. Definitions A set may be viewed as any well defined collection of objects, called elements or members of the set. Sets are usually denoted with upper case letters, A, B, X, Y,
More information2.1 The Algebra of Sets
Chapter 2 Abstract Algebra 83 part of abstract algebra, sets are fundamental to all areas of mathematics and we need to establish a precise language for sets. We also explore operations on sets and relations
More informationINTRODUCTORY SET THEORY
M.Sc. program in mathematics INTRODUCTORY SET THEORY Katalin Károlyi Department of Applied Analysis, Eötvös Loránd University H1088 Budapest, Múzeum krt. 68. CONTENTS 1. SETS Set, equal sets, subset,
More informationClicker Question. Theorems/Proofs and Computational Problems/Algorithms MC215: MATHEMATICAL REASONING AND DISCRETE STRUCTURES
MC215: MATHEMATICAL REASONING AND DISCRETE STRUCTURES Tuesday, 1/21/14 General course Information Sets Reading: [J] 1.1 Optional: [H] 1.11.7 Exercises: Do before next class; not to hand in [J] pp. 1214:
More informationPOWER SETS AND RELATIONS
POWER SETS AND RELATIONS L. MARIZZA A. BAILEY 1. The Power Set Now that we have defined sets as best we can, we can consider a sets of sets. If we were to assume nothing, except the existence of the empty
More informationWhat is a set? Sets. Specifying a Set. Notes. The Universal Set. Specifying a Set 10/29/13
What is a set? Sets CS 231 Dianna Xu set is a group of objects People: {lice, ob, Clara} Colors of a rainbow: {red, orange, yellow, green, blue, purple} States in the S: {labama, laska, Virginia, } ll
More informationDefinition 14 A set is an unordered collection of elements or objects.
Chapter 4 Set Theory Definition 14 A set is an unordered collection of elements or objects. Primitive Notation EXAMPLE {1, 2, 3} is a set containing 3 elements: 1, 2, and 3. EXAMPLE {1, 2, 3} = {3, 2,
More information13 Infinite Sets. 13.1 Injections, Surjections, and Bijections. mcsftl 2010/9/8 0:40 page 379 #385
mcsftl 2010/9/8 0:40 page 379 #385 13 Infinite Sets So you might be wondering how much is there to say about an infinite set other than, well, it has an infinite number of elements. Of course, an infinite
More informationMathematics for Computer Science/Software Engineering. Notes for the course MSM1F3 Dr. R. A. Wilson
Mathematics for Computer Science/Software Engineering Notes for the course MSM1F3 Dr. R. A. Wilson October 1996 Chapter 1 Logic Lecture no. 1. We introduce the concept of a proposition, which is a statement
More informationProblems on Discrete Mathematics 1
Problems on Discrete Mathematics 1 ChungChih Li 2 Kishan Mehrotra 3 Syracuse University, New York L A TEX at January 11, 2007 (Part I) 1 No part of this book can be reproduced without permission from
More informationSet operations and Venn Diagrams. COPYRIGHT 2006 by LAVON B. PAGE
Set operations and Venn Diagrams Set operations and Venn diagrams! = { x x " and x " } This is the intersection of and. # = { x x " or x " } This is the union of and. n element of! belongs to both and,
More informationThis chapter is all about cardinality of sets. At first this looks like a
CHAPTER Cardinality of Sets This chapter is all about cardinality of sets At first this looks like a very simple concept To find the cardinality of a set, just count its elements If A = { a, b, c, d },
More information2.1 Sets, power sets. Cartesian Products.
Lecture 8 2.1 Sets, power sets. Cartesian Products. Set is an unordered collection of objects.  used to group objects together,  often the objects with similar properties This description of a set (without
More informationChapter 3. Cartesian Products and Relations. 3.1 Cartesian Products
Chapter 3 Cartesian Products and Relations The material in this chapter is the first real encounter with abstraction. Relations are very general thing they are a special type of subset. After introducing
More informationDiscrete Mathematics
Discrete Mathematics ChihWei Yi Dept. of Computer Science National Chiao Tung University March 16, 2009 2.1 Sets 2.1 Sets 2.1 Sets Basic Notations for Sets For sets, we ll use variables S, T, U,. We can
More informationFoundations of Mathematics I Set Theory (only a draft)
Foundations of Mathematics I Set Theory (only a draft) Ali Nesin Mathematics Department Istanbul Bilgi University Kuştepe Şişli Istanbul Turkey anesin@bilgi.edu.tr February 12, 2004 2 Contents I Naive
More informationSets (DSLC 1.2) Intuitively, a set is a collection of things, called its elements, ormembers. To say that x is an element of S, wewrite
Sets (DSLC 1.2) Intuitively, a set is a collection of things, called its elements, ormembers. To say that x is an element of S, wewrite x 2 S. Other ways of saying this: x belongs to S, S contains x, x
More informationMath/Stats 425 Introduction to Probability. 1. Uncertainty and the axioms of probability
Math/Stats 425 Introduction to Probability 1. Uncertainty and the axioms of probability Processes in the real world are random if outcomes cannot be predicted with certainty. Example: coin tossing, stock
More informationLecture 1. Basic Concepts of Set Theory, Functions and Relations
September 7, 2005 p. 1 Lecture 1. Basic Concepts of Set Theory, Functions and Relations 0. Preliminaries...1 1. Basic Concepts of Set Theory...1 1.1. Sets and elements...1 1.2. Specification of sets...2
More informationThe Foundations: Logic and Proofs. Chapter 1, Part III: Proofs
The Foundations: Logic and Proofs Chapter 1, Part III: Proofs Rules of Inference Section 1.6 Section Summary Valid Arguments Inference Rules for Propositional Logic Using Rules of Inference to Build Arguments
More informationMath212a1010 Lebesgue measure.
Math212a1010 Lebesgue measure. October 19, 2010 Today s lecture will be devoted to Lebesgue measure, a creation of Henri Lebesgue, in his thesis, one of the most famous theses in the history of mathematics.
More informationAutomata and Formal Languages
Automata and Formal Languages Winter 20092010 Yacov HelOr 1 What this course is all about This course is about mathematical models of computation We ll study different machine models (finite automata,
More informationPART I. THE REAL NUMBERS
PART I. THE REAL NUMBERS This material assumes that you are already familiar with the real number system and the representation of the real numbers as points on the real line. I.1. THE NATURAL NUMBERS
More informationINCIDENCEBETWEENNESS GEOMETRY
INCIDENCEBETWEENNESS GEOMETRY MATH 410, CSUSM. SPRING 2008. PROFESSOR AITKEN This document covers the geometry that can be developed with just the axioms related to incidence and betweenness. The full
More informationDiscrete Mathematics and Probability Theory Fall 2009 Satish Rao,David Tse Note 11
CS 70 Discrete Mathematics and Probability Theory Fall 2009 Satish Rao,David Tse Note Conditional Probability A pharmaceutical company is marketing a new test for a certain medical condition. According
More informationLecture 17 : Equivalence and Order Relations DRAFT
CS/Math 240: Introduction to Discrete Mathematics 3/31/2011 Lecture 17 : Equivalence and Order Relations Instructor: Dieter van Melkebeek Scribe: Dalibor Zelený DRAFT Last lecture we introduced the notion
More informationE3: PROBABILITY AND STATISTICS lecture notes
E3: PROBABILITY AND STATISTICS lecture notes 2 Contents 1 PROBABILITY THEORY 7 1.1 Experiments and random events............................ 7 1.2 Certain event. Impossible event............................
More information1 / Basic Structures: Sets, Functions, Sequences, and Sums  definition of a set, and the use of the intuitive notion that any property whatever there
C H A P T E R Basic Structures: Sets, Functions, Sequences, and Sums.1 Sets. Set Operations.3 Functions.4 Sequences and Summations Much of discrete mathematics is devoted to the study of discrete structures,
More informationSet theory as a foundation for mathematics
Set theory as a foundation for mathematics Waffle Mathcamp 2011 In school we are taught about numbers, but we never learn what numbers really are. We learn rules of arithmetic, but we never learn why these
More informationLecture Note 1 Set and Probability Theory. MIT 14.30 Spring 2006 Herman Bennett
Lecture Note 1 Set and Probability Theory MIT 14.30 Spring 2006 Herman Bennett 1 Set Theory 1.1 Definitions and Theorems 1. Experiment: any action or process whose outcome is subject to uncertainty. 2.
More information6.3 Conditional Probability and Independence
222 CHAPTER 6. PROBABILITY 6.3 Conditional Probability and Independence Conditional Probability Two cubical dice each have a triangle painted on one side, a circle painted on two sides and a square painted
More informationCS 3719 (Theory of Computation and Algorithms) Lecture 4
CS 3719 (Theory of Computation and Algorithms) Lecture 4 Antonina Kolokolova January 18, 2012 1 Undecidable languages 1.1 ChurchTuring thesis Let s recap how it all started. In 1990, Hilbert stated a
More informationWe give a basic overview of the mathematical background required for this course.
1 Background We give a basic overview of the mathematical background required for this course. 1.1 Set Theory We introduce some concepts from naive set theory (as opposed to axiomatic set theory). The
More informationDiscrete Mathematics and Probability Theory Fall 2009 Satish Rao, David Tse Note 2
CS 70 Discrete Mathematics and Probability Theory Fall 2009 Satish Rao, David Tse Note 2 Proofs Intuitively, the concept of proof should already be familiar We all like to assert things, and few of us
More information3. Equivalence Relations. Discussion
3. EQUIVALENCE RELATIONS 33 3. Equivalence Relations 3.1. Definition of an Equivalence Relations. Definition 3.1.1. A relation R on a set A is an equivalence relation if and only if R is reflexive, symmetric,
More informationnot to be republishe NCERT SETS Chapter Introduction 1.2 Sets and their Representations
SETS Chapter 1 In these days of conflict between ancient and modern studies; there must surely be something to be said for a study which did not begin with Pythagoras and will not end with Einstein; but
More informationArkansas Tech University MATH 4033: Elementary Modern Algebra Dr. Marcel B. Finan
Arkansas Tech University MATH 4033: Elementary Modern Algebra Dr. Marcel B. Finan 3 Binary Operations We are used to addition and multiplication of real numbers. These operations combine two real numbers
More informationBasic Set Theory. Chapter Set Theory. can be written: A set is a Many that allows itself to be thought of as a One.
Chapter Basic Set Theory A set is a Many that allows itself to be thought of as a One.  Georg Cantor This chapter introduces set theory, mathematical induction, and formalizes the notion of mathematical
More informationBasic Probability Concepts
page 1 Chapter 1 Basic Probability Concepts 1.1 Sample and Event Spaces 1.1.1 Sample Space A probabilistic (or statistical) experiment has the following characteristics: (a) the set of all possible outcomes
More informationThe Set Data Model CHAPTER 7. 7.1 What This Chapter Is About
CHAPTER 7 The Set Data Model The set is the most fundamental data model of mathematics. Every concept in mathematics, from trees to real numbers, is expressible as a special kind of set. In this book,
More informationFull and Complete Binary Trees
Full and Complete Binary Trees Binary Tree Theorems 1 Here are two important types of binary trees. Note that the definitions, while similar, are logically independent. Definition: a binary tree T is full
More informationMODULAR ARITHMETIC. a smallest member. It is equivalent to the Principle of Mathematical Induction.
MODULAR ARITHMETIC 1 Working With Integers The usual arithmetic operations of addition, subtraction and multiplication can be performed on integers, and the result is always another integer Division, on
More informationThis asserts two sets are equal iff they have the same elements, that is, a set is determined by its elements.
3. Axioms of Set theory Before presenting the axioms of set theory, we first make a few basic comments about the relevant first order logic. We will give a somewhat more detailed discussion later, but
More information1. Prove that the empty set is a subset of every set.
1. Prove that the empty set is a subset of every set. Basic Topology Written by MenGen Tsai email: b89902089@ntu.edu.tw Proof: For any element x of the empty set, x is also an element of every set since
More informationMA651 Topology. Lecture 6. Separation Axioms.
MA651 Topology. Lecture 6. Separation Axioms. This text is based on the following books: Fundamental concepts of topology by Peter O Neil Elements of Mathematics: General Topology by Nicolas Bourbaki Counterexamples
More informationDiscrete Mathematics Set Operations
Discrete Mathematics 13. Set Operations Introduction to Set Theory A setis a new type of structure, representing an unordered collection (group, plurality) of zero or more distinct (different) objects.
More informationDiscrete Mathematics: Chapter 4, Basic Set Theory & Combinatorics
Digital Collections @ Dordt Faculty Work: Comprehensive List 12016 Discrete Mathematics: Chapter 4, Basic Set Theory & Combinatorics Calvin Jongsma Dordt College, calvin.jongsma@dordt.edu Follow this
More informationGeorg Cantor (18451918):
Georg Cantor (84598): The man who tamed infinity lecture by Eric Schechter Associate Professor of Mathematics Vanderbilt University http://www.math.vanderbilt.edu/ schectex/ In papers of 873 and 874,
More informationCS 441 Discrete Mathematics for CS Lecture 5. Predicate logic. CS 441 Discrete mathematics for CS. Negation of quantifiers
CS 441 Discrete Mathematics for CS Lecture 5 Predicate logic Milos Hauskrecht milos@cs.pitt.edu 5329 Sennott Square Negation of quantifiers English statement: Nothing is perfect. Translation: x Perfect(x)
More informationdef: An axiom is a statement that is assumed to be true, or in the case of a mathematical system, is used to specify the system.
Section 1.5 Methods of Proof 1.5.1 1.5 METHODS OF PROOF Some forms of argument ( valid ) never lead from correct statements to an incorrect. Some other forms of argument ( fallacies ) can lead from true
More informationGeneral Topology. Jesper M. Møller
General Topology Jesper M. Møller Matematisk Institut, Universitetsparken 5, DK 2100 København Email address: moller@math.ku.dk URL: http://www.math.ku.dk/~moller Contents Chapter 0. Introduction 5 Chapter
More informationMath 166  Week in Review #4. A proposition, or statement, is a declarative sentence that can be classified as either true or false, but not both.
Math 166 Spring 2007 c Heather Ramsey Page 1 Math 166  Week in Review #4 Sections A.1 and A.2  Propositions, Connectives, and Truth Tables A proposition, or statement, is a declarative sentence that
More informationGeorg Cantor and Set Theory
Georg Cantor and Set Theory. Life Father, Georg Waldemar Cantor, born in Denmark, successful merchant, and stock broker in St Petersburg. Mother, Maria Anna Böhm, was Russian. In 856, because of father
More informationIntroduction to Proofs
Chapter 1 Introduction to Proofs 1.1 Preview of Proof This section previews many of the key ideas of proof and cites [in brackets] the sections where they are discussed thoroughly. All of these ideas are
More informationCartesian Products and Relations
Cartesian Products and Relations Definition (Cartesian product) If A and B are sets, the Cartesian product of A and B is the set A B = {(a, b) :(a A) and (b B)}. The following points are worth special
More informationSet theory as a foundation for mathematics
V I I I : Set theory as a foundation for mathematics This material is basically supplementary, and it was not covered in the course. In the first section we discuss the basic axioms of set theory and the
More informationWe now explore a third method of proof: proof by contradiction.
CHAPTER 6 Proof by Contradiction We now explore a third method of proof: proof by contradiction. This method is not limited to proving just conditional statements it can be used to prove any kind of statement
More informationSolutions to Homework 6 Mathematics 503 Foundations of Mathematics Spring 2014
Solutions to Homework 6 Mathematics 503 Foundations of Mathematics Spring 2014 3.4: 1. If m is any integer, then m(m + 1) = m 2 + m is the product of m and its successor. That it to say, m 2 + m is the
More informationPROBLEM SET 7: PIGEON HOLE PRINCIPLE
PROBLEM SET 7: PIGEON HOLE PRINCIPLE The pigeonhole principle is the following observation: Theorem. Suppose that > kn marbles are distributed over n jars, then one jar will contain at least k + marbles.
More informationGROUPS SUBGROUPS. Definition 1: An operation on a set G is a function : G G G.
Definition 1: GROUPS An operation on a set G is a function : G G G. Definition 2: A group is a set G which is equipped with an operation and a special element e G, called the identity, such that (i) the
More informationREAL ANALYSIS LECTURE NOTES: 1.4 OUTER MEASURE
REAL ANALYSIS LECTURE NOTES: 1.4 OUTER MEASURE CHRISTOPHER HEIL 1.4.1 Introduction We will expand on Section 1.4 of Folland s text, which covers abstract outer measures also called exterior measures).
More information1 if 1 x 0 1 if 0 x 1
Chapter 3 Continuity In this chapter we begin by defining the fundamental notion of continuity for real valued functions of a single real variable. When trying to decide whether a given function is or
More informationElements of probability theory
2 Elements of probability theory Probability theory provides mathematical models for random phenomena, that is, phenomena which under repeated observations yield di erent outcomes that cannot be predicted
More informationBasic concepts in probability. Sue Gordon
Mathematics Learning Centre Basic concepts in probability Sue Gordon c 2005 University of Sydney Mathematics Learning Centre, University of Sydney 1 1 Set Notation You may omit this section if you are
More informationElementary Number Theory We begin with a bit of elementary number theory, which is concerned
CONSTRUCTION OF THE FINITE FIELDS Z p S. R. DOTY Elementary Number Theory We begin with a bit of elementary number theory, which is concerned solely with questions about the set of integers Z = {0, ±1,
More informationLecture 1 Introduction Properties of Probability Methods of Enumeration Asrat Temesgen Stockholm University
Lecture 1 Introduction Properties of Probability Methods of Enumeration Asrat Temesgen Stockholm University 1 Chapter 1 Probability 1.1 Basic Concepts In the study of statistics, we consider experiments
More informationHandout #1: Mathematical Reasoning
Math 101 Rumbos Spring 2010 1 Handout #1: Mathematical Reasoning 1 Propositional Logic A proposition is a mathematical statement that it is either true or false; that is, a statement whose certainty or
More informationCHAPTER 3. Methods of Proofs. 1. Logical Arguments and Formal Proofs
CHAPTER 3 Methods of Proofs 1. Logical Arguments and Formal Proofs 1.1. Basic Terminology. An axiom is a statement that is given to be true. A rule of inference is a logical rule that is used to deduce
More informationLecture 16 : Relations and Functions DRAFT
CS/Math 240: Introduction to Discrete Mathematics 3/29/2011 Lecture 16 : Relations and Functions Instructor: Dieter van Melkebeek Scribe: Dalibor Zelený DRAFT In Lecture 3, we described a correspondence
More information0N1 (MATH19861) Mathematics for Foundation Year. math19861.html. Lecture Notes.
0N1 (MATH19861) Mathematics for Foundation Year http://www.maths.manchester.ac.uk/~avb/ math19861.html Lecture Notes 16 Sep 2016 0N1 Mathematics Course Arrangements 16 Sep 2016 2 Arrangements for the Course
More informationProblem Set I: Preferences, W.A.R.P., consumer choice
Problem Set I: Preferences, W.A.R.P., consumer choice Paolo Crosetto paolo.crosetto@unimi.it Exercises solved in class on 18th January 2009 Recap:,, Definition 1. The strict preference relation is x y
More informationTHE ROOMMATES PROBLEM DISCUSSED
THE ROOMMATES PROBLEM DISCUSSED NATHAN SCHULZ Abstract. The stable roommates problem as originally posed by Gale and Shapley [1] in 1962 involves a single set of even cardinality 2n, each member of which
More informationAN INTRODUCTION TO SET THEORY. Professor William A. R. Weiss
AN INTRODUCTION TO SET THEORY Professor William A. R. Weiss October 2, 2008 2 Contents 0 Introduction 7 1 LOST 11 2 FOUND 19 3 The Axioms of Set Theory 23 4 The Natural Numbers 31 5 The Ordinal Numbers
More information6.2 Permutations continued
6.2 Permutations continued Theorem A permutation on a finite set A is either a cycle or can be expressed as a product (composition of disjoint cycles. Proof is by (strong induction on the number, r, of
More informationSo let us begin our quest to find the holy grail of real analysis.
1 Section 5.2 The Complete Ordered Field: Purpose of Section We present an axiomatic description of the real numbers as a complete ordered field. The axioms which describe the arithmetic of the real numbers
More informationSet Theory and Logic: Fundamental Concepts (Notes by Dr. J. Santos)
A.1 Set Theory and Logi: Fundamental Conepts (Notes by Dr. J. Santos) A.1. Primitive Conepts. In mathematis, the notion of a set is a primitive notion. That is, we admit, as a starting point, the existene
More informationI. GROUPS: BASIC DEFINITIONS AND EXAMPLES
I GROUPS: BASIC DEFINITIONS AND EXAMPLES Definition 1: An operation on a set G is a function : G G G Definition 2: A group is a set G which is equipped with an operation and a special element e G, called
More informationFoundations of Geometry 1: Points, Lines, Segments, Angles
Chapter 3 Foundations of Geometry 1: Points, Lines, Segments, Angles 3.1 An Introduction to Proof Syllogism: The abstract form is: 1. All A is B. 2. X is A 3. X is B Example: Let s think about an example.
More information4. CLASSES OF RINGS 4.1. Classes of Rings class operator Aclosed Example 1: product Example 2:
4. CLASSES OF RINGS 4.1. Classes of Rings Normally we associate, with any property, a set of objects that satisfy that property. But problems can arise when we allow sets to be elements of larger sets
More informationFinite and discrete probability distributions
8 Finite and discrete probability distributions To understand the algorithmic aspects of number theory and algebra, and applications such as cryptography, a firm grasp of the basics of probability theory
More information3. Mathematical Induction
3. MATHEMATICAL INDUCTION 83 3. Mathematical Induction 3.1. First Principle of Mathematical Induction. Let P (n) be a predicate with domain of discourse (over) the natural numbers N = {0, 1,,...}. If (1)
More informationDedekind s forgotten axiom and why we should teach it (and why we shouldn t teach mathematical induction in our calculus classes)
Dedekind s forgotten axiom and why we should teach it (and why we shouldn t teach mathematical induction in our calculus classes) by Jim Propp (UMass Lowell) March 14, 2010 1 / 29 Completeness Three common
More informationChapter 3: The basic concepts of probability
Chapter 3: The basic concepts of probability Experiment: a measurement process that produces quantifiable results (e.g. throwing two dice, dealing cards, at poker, measuring heights of people, recording
More informationSet Theory Basic Concepts and Definitions
Set Theory Basic Concepts and Definitions The Importance of Set Theory One striking feature of humans is their inherent need and ability to group objects according to specific criteria. Our prehistoric
More informationBasic Concepts of Point Set Topology Notes for OU course Math 4853 Spring 2011
Basic Concepts of Point Set Topology Notes for OU course Math 4853 Spring 2011 A. Miller 1. Introduction. The definitions of metric space and topological space were developed in the early 1900 s, largely
More informationWorked examples Basic Concepts of Probability Theory
Worked examples Basic Concepts of Probability Theory Example 1 A regular tetrahedron is a body that has four faces and, if is tossed, the probability that it lands on any face is 1/4. Suppose that one
More informationP (A) = lim P (A) = N(A)/N,
1.1 Probability, Relative Frequency and Classical Definition. Probability is the study of random or nondeterministic experiments. Suppose an experiment can be repeated any number of times, so that we
More informationON THE COEFFICIENTS OF THE LINKING POLYNOMIAL
ADSS, Volume 3, Number 3, 2013, Pages 4556 2013 Aditi International ON THE COEFFICIENTS OF THE LINKING POLYNOMIAL KOKO KALAMBAY KAYIBI Abstract Let i j T( M; = tijx y be the Tutte polynomial of the matroid
More informationStatistical Inference. Prof. Kate Calder. If the coin is fair (chance of heads = chance of tails) then
Probability Statistical Inference Question: How often would this method give the correct answer if I used it many times? Answer: Use laws of probability. 1 Example: Tossing a coin If the coin is fair (chance
More informationSample Induction Proofs
Math 3 Worksheet: Induction Proofs III, Sample Proofs A.J. Hildebrand Sample Induction Proofs Below are model solutions to some of the practice problems on the induction worksheets. The solutions given
More informationSet Theory. 2.1 Presenting Sets CHAPTER2
CHAPTER2 Set Theory 2.1 Presenting Sets Certain notions which we all take for granted are harder to define precisely than one might expect. In Taming the Infinite: The Story of Mathematics, Ian Stewart
More informationTOPOLOGY: THE JOURNEY INTO SEPARATION AXIOMS
TOPOLOGY: THE JOURNEY INTO SEPARATION AXIOMS VIPUL NAIK Abstract. In this journey, we are going to explore the so called separation axioms in greater detail. We shall try to understand how these axioms
More informationBasic Concepts of Set Theory, Functions and Relations
March 1, 2006 p. 1 Basic Concepts of Set Theory, Functions and Relations 1. Basic Concepts of Set Theory...1 1.1. Sets and elements...1 1.2. Specification of sets...2 1.3. Identity and cardinality...3
More informationR u t c o r Research R e p o r t. Boolean functions with a simple certificate for CNF complexity. Ondřej Čepeka Petr Kučera b Petr Savický c
R u t c o r Research R e p o r t Boolean functions with a simple certificate for CNF complexity Ondřej Čepeka Petr Kučera b Petr Savický c RRR 22010, January 24, 2010 RUTCOR Rutgers Center for Operations
More information