Prove the set of irrational numbers is uncountable.

In summary, the conversation discusses how to prove that the set of irrational numbers is uncountable. It is suggested to use a contradiction by assuming that both the set of rational numbers and the set of irrational numbers are countable, and using the fact that the set of real numbers is uncountable and the union of two countable sets is countable. This would lead to a contradiction, proving that the set of irrational numbers must be uncountable.
  • #1
gotmilk04
45
0

Homework Statement


Prove the set of irrational numbers is uncountable.


Homework Equations





The Attempt at a Solution


We proved that the set [0,1] is uncountable, but I'm not sure how to do it for the irrational numbers.
 
Physics news on Phys.org
  • #2
You have probably shown:
1) The set [itex]\mathbb{Q}[/itex] of rational numbers is countable.
2) The set [itex]\mathbb{R}[/itex] of real numbers is uncountable.
3) The union of two countable sets is countable.
Now if both the set of rational numbers and the set of irrational numbers were countable would you be able to get a contradiction using fact 2 and 3? You should be able to use this contradiction to show that the set of irrational numbers must be uncountable.
 

1. What is the definition of an irrational number?

An irrational number is a real number that cannot be written as a ratio of two integers. It is a non-repeating, non-terminating decimal and has an infinite number of decimal places.

2. What is the definition of an uncountable set?

An uncountable set is a set that cannot be put into a one-to-one correspondence with the set of natural numbers (countably infinite). This means that there is no way to list out all the elements in the set in a systematic way.

3. How can you prove that the set of irrational numbers is uncountable?

The proof for the uncountability of the set of irrational numbers is based on a proof by contradiction. It involves assuming that the set of irrational numbers is countable and then showing that this leads to a contradiction. This contradiction proves that the set is actually uncountable.

4. Can you provide an example of a proof for the uncountability of the set of irrational numbers?

One example of a proof is the famous "diagonalization argument" by Georg Cantor. This proof involves creating a list of all the irrational numbers and then constructing a new irrational number by changing the nth decimal place of each number in the list. This new number is then shown to be different from every number in the list, proving that the list is incomplete and therefore the set is uncountable.

5. Why is the uncountability of the set of irrational numbers significant?

The uncountability of the set of irrational numbers has significant implications in mathematics, as it shows that there are more real numbers than just the rational numbers. This discovery was groundbreaking and led to the development of new mathematical concepts such as infinity and the continuum, which have applications in various fields of science and technology.

Similar threads

  • Calculus and Beyond Homework Help
Replies
8
Views
1K
  • Calculus and Beyond Homework Help
Replies
5
Views
1K
Replies
15
Views
1K
  • Calculus and Beyond Homework Help
Replies
2
Views
2K
  • Calculus and Beyond Homework Help
Replies
8
Views
1K
Replies
8
Views
1K
  • Calculus and Beyond Homework Help
Replies
4
Views
1K
  • Calculus and Beyond Homework Help
Replies
4
Views
3K
  • Calculus and Beyond Homework Help
Replies
10
Views
1K
  • Calculus and Beyond Homework Help
Replies
7
Views
2K
Back
Top