Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Well yeah, how do you formally prove if the set of Irrational numbers is a subset of the Real numbers?

share|improve this question

closed as not a real question by William, Bruno Joyal, Austin Mohr, Andres Caicedo, BenjaLim Sep 22 '12 at 8:43

It's difficult to tell what is being asked here. This question is ambiguous, vague, incomplete, overly broad, or rhetorical and cannot be reasonably answered in its current form. For help clarifying this question so that it can be reopened, visit the help center.If this question can be reworded to fit the rules in the help center, please edit the question.

1  
That depends entirely on how you’ve formally defined the two sets. –  Brian M. Scott Sep 22 '12 at 4:43
    
@BrianM.Scott: I'm not very sure about that - the exercise in the book doesn't actually tell me anything else. –  Zol Tun Kul Sep 22 '12 at 4:45
    
If the exercise doesn't tell you, maybe you should look earlier for the definition of the irrationals, or maybe you are expected to use the definition Brian M. Scott gives. –  Ross Millikan Sep 22 '12 at 4:50
1  
@Omega What book and exercise? –  Bill Dubuque Sep 22 '12 at 5:13

2 Answers 2

That depends entirely on how you’ve formally defined the two sets. In many developments there’s nothing to prove: starting from the set $\Bbb Q$ of rational numbers, you construct the set $\Bbb R$ of real numbers, and define the set of irrational numbers to be $\Bbb R\setminus\Bbb Q$.

share|improve this answer

Are the irrational numbers not defined to be those real numbers which cannot be written as a ratio of integers? Are they not real by definition?

share|improve this answer
    
Yes, of course, but how do you formally prove it? –  Zol Tun Kul Sep 22 '12 at 4:46
2  
There does not appear to be much to prove. Let $\mathbb{I}$ be the set of irrational numbers. $\mathbb{I}$ is defined to be {$r \in \mathbb{R}$ : $r$ cannot be written as $\frac{a}{b}$ where $a,b \in \mathbb{Z}$ and $b \neq 0$}. Then for any $r \in \mathbb{I}$, $r \in \mathbb{R}$. Therefore $\mathbb{I} \subseteq \mathbb{R}$. –  Shankman Sep 22 '12 at 4:50

Not the answer you're looking for? Browse other questions tagged or ask your own question.