A set is an unordered collection of objects.

Similar documents
Sec$on Summary. Definition of sets Describing Sets

With Question/Answer Animations. Chapter 2

Chapter Summary. Sets (2.1) Set Operations (2.2) Functions (2.3) Sequences and Summations (2.4) Cardinality of Sets (2.5) Matrices (2.

Sets are one of the basic building blocks for the types of objects considered in discrete mathematics.

Chapter Summary. Sets The Language of Sets Set Operations Set Identities Functions Types of Functions Operations on Functions Computability

Sets McGraw-Hill Education

ICS141: Discrete Mathematics for Computer Science I

Discrete Mathematics. (c) Marcin Sydow. Sets. Set operations. Sets. Set identities Number sets. Pair. Power Set. Venn diagrams

2. Sets. 2.1&2.2: Sets and Subsets. Combining Sets. c Dr Oksana Shatalov, Spring

CSI30. Chapter 2. Basic Structures: Sets, Functions, Sequences, Sums. 2.1 Sets and subsets 2.2 Sets of sets

4. Sets The language of sets. Describing a Set. c Oksana Shatalov, Fall Set-builder notation (a more precise way of describing a set)

4. Sets The language of sets. Describing a Set. c Oksana Shatalov, Fall

Discrete Basic Structure: Sets

CHAPTER 1. Preliminaries. 1 Set Theory

Mathematics Review for Business PhD Students

CS 2336 Discrete Mathematics

n CS 160 or CS122 n Sets and Functions n Propositions and Predicates n Inference Rules n Proof Techniques n Program Verification n CS 161

CS 173: Discrete Structures. Eric Shaffer Office Hour: Wed. 1-2, 2215 SC

Sets. Introduction to Set Theory ( 2.1) Basic notations for sets. Basic properties of sets CMSC 302. Vojislav Kecman

Exclusive Disjunction

Packet #2: Set Theory & Predicate Calculus. Applied Discrete Mathematics

Today s topics. Introduction to Set Theory ( 1.6) Naïve set theory. Basic notations for sets

Chapter 2 - Basics Structures MATH 213. Chapter 2: Basic Structures. Dr. Eric Bancroft. Fall Dr. Eric Bancroft MATH 213 Fall / 60

Sets. Slides by Christopher M. Bourke Instructor: Berthe Y. Choueiry. Fall 2007

Chapter 2 - Basics Structures

Set Theory. CPT Section D Quantitative Aptitude Chapter 7 Brijeshwar Prasad Gupta

Set Theory. CSE 215, Foundations of Computer Science Stony Brook University

1.1 Introduction to Sets

1 Chapter 1: SETS. 1.1 Describing a set

Mathematics Review for Business PhD Students Lecture Notes

Sets. Alice E. Fischer. CSCI 1166 Discrete Mathematics for Computing Spring, Outline Sets An Algebra on Sets Summary

Sets. Slides by Christopher M. Bourke Instructor: Berthe Y. Choueiry. Spring 2006

Background for Discrete Mathematics

CHAPTER 1 SETS AND EVENTS

SETS. JEE-Mathematics

BOOLEAN ALGEBRA INTRODUCTION SUBSETS

1. SET 10/9/2013. Discrete Mathematics Fajrian Nur Adnan, M.CS

CSE 20. Final Review. CSE 20: Final Review

Operations on Sets. Gazihan Alankuş (Based on original slides by Brahim Hnich et al.) August 6, 2012

BASIC MATHEMATICAL TECHNIQUES

CSE 20 DISCRETE MATH WINTER

Propositional Logic, Predicates, and Equivalence

Intro to Logic and Proofs

Discrete Mathematics Set Operations

2.1 Sets. Definition 1 A set is an unordered collection of objects. Important sets: N, Z, Z +, Q, R.

CSE 20 DISCRETE MATH. Winter

SET THEORY. 1. Roster or Tabular form In this form the elements of the set are enclosed in curly braces { } after separating them by commas.

Discrete Mathematical Structures: Theory and Applications

Set Operations. Combining sets into new sets

CSE 20 DISCRETE MATH WINTER

CSE 20 DISCRETE MATH SPRING

1 Predicates and Quantifiers

Chapter 1 : The language of mathematics.

SETS. Chapter Overview

3.4 Set Operations Given a set A, the complement (in the Universal set U) A c is the set of all elements of U that are not in A. So A c = {x x / A}.

Finite Math Section 6_1 Solutions and Hints

Logic, Sets, and Proofs

Chapter-2 SETS In Mathematics, Set theory was developed by George Cantor ( ).

Sets. your school. A group of odd natural numbers less than 25.

Introduction to Set Operations

Discrete Mathematics. W. Ethan Duckworth. Fall 2017, Loyola University Maryland

CS2742 midterm test 2 study sheet. Boolean circuits: Predicate logic:

n Empty Set:, or { }, subset of all sets n Cardinality: V = {a, e, i, o, u}, so V = 5 n Subset: A B, all elements in A are in B

Math 42, Discrete Mathematics

CA320 - Computability & Complexity

Show Your Work! Point values are in square brackets. There are 35 points possible. Some facts about sets are on the last page.

Recall that the expression x > 3 is not a proposition. Why?

Boolean algebra. Examples of these individual laws of Boolean, rules and theorems for Boolean algebra are given in the following table.

CM10196 Topic 2: Sets, Predicates, Boolean algebras

SETS AND FUNCTIONS JOSHUA BALLEW

CISC 1100: Structures of Computer Science

Circles & Interval & Set Notation.notebook. November 16, 2009 CIRCLES. OBJECTIVE Graph a Circle given the equation in standard form.

In this initial chapter, you will be introduced to, or more than likely be reminded of, a

CS Discrete Mathematics Dr. D. Manivannan (Mani)

Digital Logic Design: a rigorous approach c

Spring Based on Partee, ter Meulen, & Wall (1993), Mathematical Methods in Linguistics

Discrete Mathematics for M.Sc.CS

Sets. We discuss an informal (naive) set theory as needed in Computer Science. It was introduced by G. Cantor in the second half of the nineteenth

Statistical Inference

Mathematical Preliminaries. Sipser pages 1-28

CSCE 222 Discrete Structures for Computing

CSCE 222 Discrete Structures for Computing. Review for Exam 1. Dr. Hyunyoung Lee !!!

MA : Introductory Probability

Lecture Notes 1 Basic Concepts of Mathematics MATH 352

Problem 1: Suppose A, B, C and D are finite sets such that A B = C D and C = D. Prove or disprove: A = B.

A B is shaded A B A B

Chapter 0: Sets and Numbers

Foundations of Mathematics

LECTURE NOTES DISCRETE MATHEMATICS. Eusebius Doedel

Review 1. Andreas Klappenecker

Math 3338: Probability (Fall 2006)

0 Sets and Induction. Sets

Tools for reasoning: Logic. Ch. 1: Introduction to Propositional Logic Truth values, truth tables Boolean logic: Implications:

COMP9020 Lecture 3 Session 2, 2014 Sets, Functions, and Sequences. Revision: 1.3

Theorem. For every positive integer n, the sum of the positive integers from 1 to n is n(n+1)

Week Some Warm-up Questions

Today. Proof using contrapositive. Compound Propositions. Manipulating Propositions. Tautology

cse303 ELEMENTS OF THE THEORY OF COMPUTATION Professor Anita Wasilewska

Automata Theory and Formal Grammars: Lecture 1

In English, there are at least three different types of entities: letters, words, sentences.

Transcription:

Section 2.1

Sets A set is an unordered collection of objects. the students in this class the chairs in this room The objects in a set are called the elements, or members of the set. A set is said to contain its elements. The notation a A denotes that a is an element of the set A. If a is not a member of A, write a A

Describing a Set: Roster Method (lis6ng the members) S = {a,b,c,d} Order not important S = {a,b,c,d} = {b,c,a,d} Each distinct object is either a member or not; listing more than once does not change the set. S = {a,b,c,d} = {a,b,c,b,c,d} Elipses ( ) may be used to describe a set without listing all of the members when the pattern is clear. S = {a,b,c,d,,z }

Some Important Sets N = natural numbers = {0,1,2,3.} Z = integers = {, 3, 2, 1,0,1,2,3, } Z+ = positive integers = {1,2,3,..} R = set of real numbers R + = set of positive real numbers C = set of complex numbers. Q = set of rational numbers

Set Builder Nota6on Specify the property or properties that all members must satisfy: S = {x x is a positive integer less than 100} O = {x x is an odd positive integer less than 10} O = {x Z+ x is odd and x < 10} A predicate may be used: S = {x P(x)} Example: S = {x Prime(x)} Positive rational numbers: Q + = {x R x = p/q, for some positive integers p,q}

Interval Nota6on [a,b] = {x a x b} [a,b) = {x a x < b} (a,b] = {x a < x b} (a,b) = {x a < x < b} closed interval [a,b] open interval (a,b)

Universal Set and Empty Set The universal set U is the set containing everything currently under consideration. Sometimes implicit Sometimes explicitly stated. Contents depend on the context. The empty set is the set with no elements. Symbolized, but {} also used.

Some things to remember Sets can be elements of sets. {{1,2,3},a, {b,c}} {N,Z,Q,R} The empty set is different from a set containing the empty set. { }

Set Equality Definition: Two sets are equal if and only if they have the same elements. Therefore if A and B are sets, then A and B are equal if and only if. We write A = B if A and B are equal sets. {1,3,5} = {3, 5, 1} {1,5,5,5,3,3,1} = {1,3,5}

Subsets Definition: The set A is a subset of B, if and only if every element of A is also an element of B. The notation A B is used to indicate that A is a subset of the set B. A B holds if and only if 1. Because a is always false, S,for every set S. 2. Because a S a S, S S, for every set S. is true.

Another look at Equality of Sets using Subsets Recall that two sets A and B are equal, denoted by A = B, iff Using logical equivalences we have that A = B iff This is equivalent to A B and B A

Set Cardinality Definition: If there are exactly n distinct elements in S where n is a nonnegative integer, we say that S is finite. Otherwise it is infinite. Definition: The cardinality of a finite set A, denoted by A, is the number of (distinct) elements of A. Examples: 1. ø = 0 2. Let S be the letters of the English alphabet. Then S = 26 3. {1,2,3} = 3 4. {ø} = 1 5. The set of integers is infinite.

Power Sets Definition: The set of all subsets of a set A, denoted P(A), is called the power set of A. Example: If A = {a,b} then P(A) = {ø, {a},{b},{a,b}} If a set has n elements, then the cardinality of the power set is 2ⁿ.

Tuples The ordered n tuple (a 1,a 2,..,a n ) is the ordered collection that has a 1 as its first element and a 2 as its second element and so on until a n as its last element. Two n tuples are equal if and only if their corresponding elements are equal. 2 tuples are called ordered pairs. The ordered pairs (a,b) and (c,d) are equal if and only if a = c and b = d.

Cartesian Product Definition: The Cartesian Product of two sets A and B, denoted by A B is the set of ordered pairs (a,b) where a A and b B. Example: A = {a,b} B = {1,2,3} A B = {(a,1),(a,2),(a,3), (b,1),(b,2),(b,3)}

Truth Sets of Quan6fiers Given a predicate P and a domain D, we define the truth set of P to be the set of elements in D for which P(x) is true. The truth set of P(x) is denoted by Example: The truth set of P(x) where the domain is the integers and P(x) is x = 1 is the set { 1,1}

Section 2.2

Union Definition: Let A and B be sets. The union of the sets A and B, denoted by A B, is the set: Example: What is {1,2,3} {3, 4, 5}? Solution: {1,2,3,4,5} Venn Diagram for A B U A B

Intersec6on Definition: The intersection of sets A and B, denoted by A B, is Note if the intersection is empty, then A and B are said to be disjoint. Example: What is? {1,2,3} {3,4,5}? Solution: {3} Example:What is? A {1,2,3} {4,5,6}? B Solution: Venn Diagram for A B U

Complement Definition: If A is a set, then the complement of the A (with respect to U), denoted by Ā is the set U A Ā = {x U x A} (The complement of A is sometimes denoted by A c.) Example: If U is the positive integers less than 100, what is the complement of {x x > 70} Solution: {x x 70} Venn Diagram for Complement U Ā A

Difference Definition: Let A and B be sets. The difference of A and B, denoted by A B, is the set containing the elements of A that are not in B. The difference of A and B is also called the complement of B with respect to A. A B = {x x A x B} = A B c A B U Venn Diagram for A B

The Cardinality of the Union of Two Sets Inclusion Exclusion A B = A + B A B A B U Venn Diagram for A, B, A B, A B Cardinality number of unique elements the Venn diagram makes it easy to see why we need that last term.

Set Iden66es Identity laws Domination laws Idempotent laws Complementation law Continued on next slide

Set Iden66es Commutative laws Associative laws Distributive laws Continued on next slide

Set Iden66es De Morgan s laws Absorption laws Complement laws

Proving Set Iden66es The most common way to prove set identities: Prove that each set (side of the identity) is a subset of the other.

Proof of Second De Morgan Law Example: Prove that Solution: We prove this identity by showing that: 1) and 2) Continued on next slide

Proof of Second De Morgan Law These steps show that: Continued on next slide

Proof of Second De Morgan Law These steps show that: