Results 1 to 6 of 6

Math Help - Set, Empty Set

  1. #1
    Banned
    Joined
    Aug 2010
    Posts
    961
    Thanks
    98

    Set, Empty Set

    Set: A named collection of objects.

    Empty Set ( {}, or Ø ): Universal name (container) for a set with no objects. The empty set acquires a specific name when objects are added to it.

    Example:
    Let {} plus a,b,c be A={a,b,c}.
    If a,b,c removed, A={}.

    Named: identified, designated.
    Follow Math Help Forum on Facebook and Google+

  2. #2
    Banned
    Joined
    Aug 2010
    Posts
    961
    Thanks
    98

    Re: Set, Empty Set

    Some more thoughts on OP.

    A set is defined by its contents, described or listed.

    Named in broadest sense: denote, designate, identify, refer to, etc.

    A common way of naming a set is to use {}. “{a,b,c}” is the name of {a,b,c}.

    A is a subset of B if A only contains elements of B doesn’t work for {}, except in the negative sense, and doesn’t prove existence.

    A is a subset of B if you can get A by removing none or more elements of B establishes existence of {}, gives that all {} are identical, and shows the empty set is a subset of every set.
    Follow Math Help Forum on Facebook and Google+

  3. #3
    MHF Contributor

    Joined
    Aug 2006
    Posts
    18,966
    Thanks
    1785
    Awards
    1

    Re: Set, Empty Set

    Quote Originally Posted by Hartlw View Post
    Some more thoughts on OP.

    A set is defined by its contents, described or listed.

    Named in broadest sense: denote, designate, identify, refer to, etc.

    A common way of naming a set is to use {}. “{a,b,c}” is the name of {a,b,c}.

    A is a subset of B if A only contains elements of B doesn’t work for {}, except in the negative sense, and doesn’t prove existence.

    A is a subset of B if you can get A by removing none or more elements of B establishes existence of {}, gives that all {} are identical, and shows the empty set is a subset of every set.
    A\subseteq B\text{ if and only if }(\forall x)[ x\in A\Rightarrow x\in B]
    Follow Math Help Forum on Facebook and Google+

  4. #4
    Banned
    Joined
    Aug 2010
    Posts
    961
    Thanks
    98

    Re: Set, Empty Set

    Quote Originally Posted by Plato View Post
    A\subseteq B\text{ if and only if }(\forall x)[ x\in A\Rightarrow x\in B]
    The empty set has no members. I know, the negative proof, because A is not false it is true. But you have to prove that exhausts the options, ie,
    You haven't shown the empty set exists. Std Def: Set is a collection of objects. No objects, no set.

    EDIT I should have been more specific. There is no problem with your definiton for a non-empty set. It's the empty set that is a problem.

    EDIT Actually, there is a problem with your standard definition of subset. {a,b} is a subset of {a,b,c}. Are a,b a subset of {a,b,c}? Why not? They are a collection of objects so they satisfy standard definition of a set. a,b are simultaneously members of {a,b,c} and a subset of {a,b,c}. This thread addresses this.
    Last edited by Hartlw; December 2nd 2013 at 02:39 PM.
    Follow Math Help Forum on Facebook and Google+

  5. #5
    Banned
    Joined
    Aug 2010
    Posts
    961
    Thanks
    98

    Re: Set, Empty Set

    I misconstrued “definition.”

    A set is a collection of objects does not mean a collection of objects is a set. You have to specify the collection of objects as a set as in “consider the set a,b,c,” which is not the same as “consider the elements a,b,c.”

    That leaves the empty set, which is not a collection of objects.
    Defining a subset by removing objects from an existing set gives the existence of the empty set, and that the empty set is a subset of all sets. The standard definition of a subset given by Plato above then follows as a theorem.

    In other words, A is a subset of B if you can get A by removing elements from B. Beautiful, except that the empty subset still does not satisfy the definition of a set as a collection of objects. Back to the first two posts.
    Follow Math Help Forum on Facebook and Google+

  6. #6
    Banned
    Joined
    Aug 2010
    Posts
    961
    Thanks
    98

    Re: Set, Empty Set

    Quote Originally Posted by Hartlw View Post
    I misconstrued “definition.”

    A set is a collection of objects does not mean a collection of objects is a set. You have to specify the collection of objects as a set as in “consider the set a,b,c,” which is not the same as “consider the elements a,b,c.”

    That leaves the empty set, which is not a collection of objects.
    Defining a subset by removing objects from an existing set gives the existence of the empty set, and that the empty set is a subset of all sets. The standard definition of a subset given by Plato above then follows as a theorem.

    In other words, A is a subset of B if you can get A by removing elements from B. Beautiful, except that the empty subset still does not satisfy the definition of a set as a collection of objects. Back to the first two posts.
    "Beautiful, except that the empty subset still does not satisfy the definition of a set as a collection of objects." No problem, it is a definition and exists by construction. So strike last sentence: "back to the first two posts."
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. empty set
    Posted in the Differential Geometry Forum
    Replies: 13
    Last Post: April 9th 2010, 03:58 PM
  2. Empty set
    Posted in the Differential Geometry Forum
    Replies: 2
    Last Post: February 8th 2010, 05:22 PM
  3. empty set
    Posted in the Discrete Math Forum
    Replies: 1
    Last Post: February 16th 2009, 12:35 AM
  4. the set (X,Y) is non-empty iff?
    Posted in the Advanced Algebra Forum
    Replies: 0
    Last Post: April 1st 2008, 01:45 AM
  5. Empty Set?
    Posted in the Discrete Math Forum
    Replies: 3
    Last Post: October 27th 2005, 05:02 PM

Search Tags


/mathhelpforum @mathhelpforum