Results 1 to 3 of 3

Math Help - finite cardinality proof

  1. #1
    Junior Member
    Joined
    Sep 2008
    From
    Oregon
    Posts
    58

    Exclamation finite cardinality proof

    Prove that {1,...,10}X{1,...,15} is finite using only the definition of a finite set.
    Defn.: "a set S is finite if either S is the empty set (well obviously not!) OR S is equivalent to the set {1,2,3,...,n} for some positive integer n.
    Follow Math Help Forum on Facebook and Google+

  2. #2
    Grand Panjandrum
    Joined
    Nov 2005
    From
    someplace
    Posts
    14,972
    Thanks
    4
    Quote Originally Posted by dolphinlover View Post
    Prove that {1,...,10}X{1,...,15} is finite using only the definition of a finite set.
    Defn.: "a set S is finite if either S is the empty set (well obviously not!) OR S is equivalent to the set {1,2,3,...,n} for some positive integer n.
    Consider a,b) \to \left[(a-1)+10\times (b-1) +1\right] " alt="fa,b) \to \left[(a-1)+10\times (b-1) +1\right] " />

    Then the smallest value f takes is 1, and the largest is 150, the image of distinct elements of \{1,...,10\}X\{1,...,15\} are distinct. Thus we have 150 points in the range and 150 points in the image, and the image is: \{1, ..., 150\}.

    Now turn this into a formal demonstration.

    CB
    Follow Math Help Forum on Facebook and Google+

  3. #3
    Junior Member
    Joined
    Sep 2008
    From
    Oregon
    Posts
    58
    Quote Originally Posted by Mathstud28 View Post
    Well if f:[1,10]\mapsto[1,15] your domain would be [1,10] and your codomain would be [1,15]. So now before I say something that is unclear again, do you know what either one-to-one or mapping means? Do you understand what it means if two sets are equivalent, denoted A\sim{J}
    Yes I do understand 1-to-1 & onto (mapping)...Most of our proofs in the last couple weeks have involved bijection....how does this relate to whether or not it's finite (or infinite)...I have already defined my domain & codomain (see previous entry)... f: domain--->codomain. What is f?...graphically it's a solid rectangle therefore how is it 1-to-1? (the cartesian product)....I need help!
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. set of all finite subsets of a continuum has cardinality continuum
    Posted in the Differential Geometry Forum
    Replies: 13
    Last Post: February 3rd 2010, 09:49 PM
  2. cardinality of finite sets
    Posted in the Number Theory Forum
    Replies: 11
    Last Post: January 6th 2010, 07:47 PM
  3. Replies: 1
    Last Post: November 5th 2009, 06:14 PM
  4. cardinality proof
    Posted in the Advanced Algebra Forum
    Replies: 2
    Last Post: September 19th 2008, 08:52 PM
  5. Finite groups of even cardinality
    Posted in the Advanced Algebra Forum
    Replies: 5
    Last Post: February 26th 2006, 10:49 AM

Search Tags


/mathhelpforum @mathhelpforum