setconcepts-1285502611-phpapp01

Upload: cikgu-shaiful-kisas

Post on 02-Apr-2018

213 views

Category:

Documents


0 download

TRANSCRIPT

  • 7/27/2019 setconcepts-1285502611-phpapp01

    1/30

    Set Theory

    Professor Orr

    CPT120 ~ Quantitative Analysis I

  • 7/27/2019 setconcepts-1285502611-phpapp01

    2/30

    1999 Indiana UniversityTrustees

    Why Study Set Theory?

    Understanding set theory helps people

    to

    see things in terms of systems

    organize things into groups

    begin to understand logic

  • 7/27/2019 setconcepts-1285502611-phpapp01

    3/30

    1999 Indiana UniversityTrustees

    Key Mathematicians

    These mathematicians influenced the

    development of set theory and logic:

    Georg Cantor John Venn

    George Boole

    Augustus DeMorgan

  • 7/27/2019 setconcepts-1285502611-phpapp01

    4/30

    1999 Indiana UniversityTrustees

    Georg Cantor 1845 -1918

    developed set

    theory

    set theory was not

    initially accepted

    because it was

    radically different

    set theory today is

    widely accepted

    and is used in

    manyareas ofmathematics

  • 7/27/2019 setconcepts-1285502611-phpapp01

    5/30

    1999 Indiana UniversityTrustees

    Cantor

    the concept of infinity was expanded byCantors set theory

    Cantor proved there are levels of infinity

    an infinitude of integers initially endingwith or

    an infinitude of real numbers exist

    between 1 and 2;

    there are more real numbers than there are

    integers

    0

  • 7/27/2019 setconcepts-1285502611-phpapp01

    6/30

    1999 Indiana UniversityTrustees

    John Venn 1834-1923

    studied and taught

    logic and probability

    theory

    articulated Booles

    algebra of logic

    devised a simple way

    to diagram setoperations (Venn

    Diagrams)

  • 7/27/2019 setconcepts-1285502611-phpapp01

    7/30

    1999 Indiana UniversityTrustees

    George Boole 1815-1864

    self-taughtmathematician with an

    interest in logic

    developed an algebra oflogic (Boolean Algebra)

    featured the operators and

    or not

    nor (exclusive or)

  • 7/27/2019 setconcepts-1285502611-phpapp01

    8/30

    1999 Indiana UniversityTrustees

    Augustus De Morgan 1806-1871

    developed two laws of

    negation

    interested, like other

    mathematicians, in

    using mathematics to

    demonstrate logic

    furthered Booles work

    of incorporating logic

    and mathematics

    formally stated the laws

    of set theory

  • 7/27/2019 setconcepts-1285502611-phpapp01

    9/30

    1999 Indiana UniversityTrustees

    Basic Set Theory Definitions

    A set is a collection of elements

    An element is an object contained in a set

    If every element of SetA is also contained

    in Set B, then SetA is a subset of Set B A is aproper subsetof B if B has more

    elements than A does

    The universal set contains all of theelements relevant to a given discussion

  • 7/27/2019 setconcepts-1285502611-phpapp01

    10/30

    1999 Indiana UniversityTrustees

    Simple Set Example

    the universal set isa deck of ordinary

    playing cards

    each card is an

    element in theuniversal set

    some subsets are:

    face cards

    numbered cards suits

    poker hands

  • 7/27/2019 setconcepts-1285502611-phpapp01

    11/30

    1999 Indiana UniversityTrustees

    Set Theory Notation

    Symbol Meaning

    Upper case designates set name

    Lower case designates set elements

    { } enclose elements in set or is (or is not) an element of is a subset of (includes equal sets) is a proper subset of is not a subset of is a superset of| or : such that (if a condition is true)

    | | the cardinality of a set

  • 7/27/2019 setconcepts-1285502611-phpapp01

    12/30

    1999 Indiana UniversityTrustees

    Set Notation: Defining Sets

    a set is a collection of objects

    sets can be defined two ways:

    by listing each element

    by defining the rules for membership

    Examples:

    A = {2,4,6,8,10}

    A = {x|xis a positive even integer

  • 7/27/2019 setconcepts-1285502611-phpapp01

    13/30

    1999 Indiana UniversityTrustees

    Set Notation Elements

    an element is a member of a set

    notation: means is an element ofmeans is not an element of Examples:

    A ={1, 2, 3, 4}

    1 A 6 A2 A z A

    B ={x | x is an even number 10}2 B 9 B4 B z B

  • 7/27/2019 setconcepts-1285502611-phpapp01

    14/30

    1999 Indiana UniversityTrustees

    Subsets

    a subsetexists when a sets members are

    also contained in another set

    notation:

    means is a subset ofmeans is a proper subset ofmeans is not a subset of

  • 7/27/2019 setconcepts-1285502611-phpapp01

    15/30

    1999 Indiana UniversityTrustees

    Subset Relationships

    A = {x | x is a positive integer 8}set A contains: 1, 2, 3, 4, 5, 6, 7, 8

    B = {x | x is a positive even integer 10}set B contains: 2, 4, 6, 8

    C = {2, 4, 6, 8, 10}

    set C contains: 2, 4, 6, 8, 10

    Subset Relationships

    A A A B A CB A B B B CC A C B C C

  • 7/27/2019 setconcepts-1285502611-phpapp01

    16/30

    1999 Indiana UniversityTrustees

    Set Equality

    Two sets are equalif and only if they containprecisely the same elements.

    The order in which the elements are listed is

    unimportant.

    Elements may be repeated in set definitionswithout increasing the size of the sets.

    Examples:

    A = {1, 2, 3, 4} B = {1, 4, 2, 3}

    A B and B A; therefore, A = B and B = AA = {1, 2, 2, 3, 4, 1, 2} B = {1, 2, 3, 4}

    A B and B A; therefore, A = B and B = A

  • 7/27/2019 setconcepts-1285502611-phpapp01

    17/30

    1999 Indiana UniversityTrustees

    Cardinality of Sets

    Cardinality refers to the number of

    elements in a set

    A f in i teset has a countable number of

    elements An inf in i teset has at least as many

    elements as the set ofnatural

    numbers

    notation: |A| represents the cardinal i ty ofSet A

  • 7/27/2019 setconcepts-1285502611-phpapp01

    18/30

    1999 Indiana UniversityTrustees

    Finite Set Cardinality

    Set Defini t io n Cardinal i ty

    A = {x | x is a lower case letter} |A| = 26

    B = {2, 3, 4, 5, 6, 7} |B| = 6

    C = {x | x is an even number

    10} |C|= 4

    D = {x | x is an even number 10} |D| = 5

  • 7/27/2019 setconcepts-1285502611-phpapp01

    19/30

    1999 Indiana UniversityTrustees

    Infinite Set CardinalitySet Defini t ion Cardinal i ty

    A = {1, 2, 3, } |A| =

    B = {x | x is a point on a line} |B| =

    C = {x| x is a point in a plane} |C| =

    0

    0

    1

  • 7/27/2019 setconcepts-1285502611-phpapp01

    20/30

    1999 Indiana UniversityTrustees

    Universal Sets

    The universal set is the set of all things

    pertinent to to a given discussion

    and is designated by the symbol U

    Example:U= {all students at IUPUI}

    Some Subsets:

    A = {all Computer Technology students}B = {freshmen students}

    C = {sophomore students}

  • 7/27/2019 setconcepts-1285502611-phpapp01

    21/30

    1999 Indiana UniversityTrustees

    The Empty Set

    Any set that contains no elements is

    called the empty set

    the empty set is a subset of every set

    including itself notation: { } or

    Examples ~ both A and B are emptyA = {x | x is a Chevrolet Mustang}

    B = {x | x is a positive number 0}

  • 7/27/2019 setconcepts-1285502611-phpapp01

    22/30

    1999 Indiana UniversityTrustees

    The Power Set ( P ) The power set is the set of all subsets

    that can be created from a given set

    The cardinal i tyof the power set is 2 to

    the power of the given sets cardinality

    notation: P (set name)Example:

    A = {a, b, c} where |A| = 3

    P (A) = {{a, b}, {a, c}, {b, c}, {a}, {b}, {c}, A, }and |P (A)| = 8

    In general, if|A| = n, then |P (A) | = 2n

  • 7/27/2019 setconcepts-1285502611-phpapp01

    23/30

    1999 Indiana UniversityTrustees

    Special Sets

    Z represents the set of integers

    Z+ is the set of positive integers and

    Z- is the set of negative integers

    N represents the set ofnatural num bers

    represents the set of real numbers Q represents the set of rational numbers

  • 7/27/2019 setconcepts-1285502611-phpapp01

    24/30

    1999 Indiana UniversityTrustees

    Venn Diagrams

    Venn diagrams show relationships between

    sets and their elements

    Universal Set

    Sets A & B

  • 7/27/2019 setconcepts-1285502611-phpapp01

    25/30

    1999 Indiana UniversityTrustees

    Venn Diagram Example 1

    Set Definition Elements

    A = {x | x Z+ and x 8} 1 2 3 4 5 6 7 8

    B = {x | x Z+; x is even and 10} 2 4 6 8 10

    A BB A

  • 7/27/2019 setconcepts-1285502611-phpapp01

    26/30

    1999 Indiana UniversityTrustees

    Venn Diagram Example 2

    Set Definition Elements

    A = {x | x Z+ and x 9} 1 2 3 4 5 6 7 8 9

    B = {x | x Z+ ; x is even and 8} 2 4 6 8

    A BB AA B

  • 7/27/2019 setconcepts-1285502611-phpapp01

    27/30

    1999 Indiana UniversityTrustees

    Venn Diagram Example 3

    Set Definition Elements

    A = {x | x Z+ ; x is even and 10} 2 4 6 8 10

    B = x Z+ ; x is odd and x 10 } 1 3 5 7 9

    A BB A

  • 7/27/2019 setconcepts-1285502611-phpapp01

    28/30

    1999 Indiana UniversityTrustees

    Venn Diagram Example 4

    Set DefinitionU= {1, 2, 3, 4, 5, 6, 7, 8}

    A = {1, 2, 6, 7}

    B = {2, 3, 4, 7}C = {4, 5, 6, 7}

    A = {1, 2, 6, 7}

  • 7/27/2019 setconcepts-1285502611-phpapp01

    29/30

    1999 Indiana UniversityTrustees

    Venn Diagram Example 5

    Set Definition

    U= {1, 2, 3, 4, 5, 6, 7, 8}

    A = {1, 2, 6, 7}

    B = {2, 3, 4, 7}

    C = {4, 5, 6, 7}

    B = {2, 3, 4, 7}

  • 7/27/2019 setconcepts-1285502611-phpapp01

    30/30

    1999 Indiana UniversityTrustees

    Venn Diagram Example 6

    Set Definition

    U= {1, 2, 3, 4, 5, 6, 7, 8}

    A = {1, 2, 6, 7}

    B = {2, 3, 4, 7}

    C = {4, 5, 6, 7}

    C = {4, 5, 6, 7}