Facebook Page
Twitter
RSS
+ Reply to Thread
Results 1 to 3 of 3
  1. MHB Apprentice

    Status
    Offline
    Join Date
    Jan 2012
    Location
    Mumbai, India
    Posts
    61
    Thanks
    15 times
    Thanked
    30 times
    #1
    Hello

    I am trying to prove that $\mathbb{Q}$ is not a finite set. I proceed with path of proof by contradiction. Suppose that $\mathbb{Q}$ is a finite set. Then $\exists\; n \in \mathbb{N}$ such that $I_n \sim \mathbb{Q}$, where
    \[ I_n = \{i \in \mathbb{Z^{+}} |\; i \leq n\} \]

    This means that there is a bijection from $\mathbb{Q}$ to $I_n$. Now since $\mathbb{N} \subseteq \mathbb{Q}$, we can pair first n numbers in $\mathbb{N}$ with n members in $I_n$. Let $n_1$ be the highest of these n numbers. Then $n_1 + 1 \in \mathbb{Q}$, but we can't pair this number with anyone in $I_n$ since we have exhausted all of them. This means that we can't have a function from $\mathbb{Q}$ to $I_n$, hence there is no bijection from $\mathbb{Q}$ to $I_n$. This is a contradiction. So $\mathbb{Q}$ is not a finite set.

    Is this an ok proof ?

  2. MHB Craftsman
    MHB Math Helper
    Fallen Angel's Avatar
    Status
    Offline
    Join Date
    Nov 2014
    Location
    Cantabria
    Posts
    205
    Thanks
    39 times
    Thanked
    343 times
    Thank/Post
    1.673
    #2
    Hi issacnewton,

    Yes, the proof is correct.

  3. MHB Apprentice

    Status
    Offline
    Join Date
    Jan 2012
    Location
    Mumbai, India
    Posts
    61
    Thanks
    15 times
    Thanked
    30 times
    #3 Thread Author
    Thanks for verifying

Similar Threads

  1. Finite automata
    By mathmari in forum Discrete Mathematics, Set Theory, and Logic
    Replies: 2
    Last Post: March 9th, 2015, 10:47
  2. The set UA is finite
    By evinda in forum Discrete Mathematics, Set Theory, and Logic
    Replies: 6
    Last Post: January 20th, 2015, 15:24
  3. The subsets of finite sets are finite sets.
    By evinda in forum Discrete Mathematics, Set Theory, and Logic
    Replies: 0
    Last Post: January 11th, 2015, 09:04
  4. Replies: 0
    Last Post: November 12th, 2014, 16:45
  5. finite subcover
    By dwsmith in forum Topology and Advanced Geometry
    Replies: 3
    Last Post: September 26th, 2012, 20:25

Tags for this Thread

Posting Permissions

  • You may not post new threads
  • You may not post replies
  • You may not post attachments
  • You may not edit your posts
  •  
Math Help Boards