I have one more question for now at least. My task is as follows.
Let Show that if
I have heard of the topic of `denseness', but we have not formally discussed this concept in my analysis class. Is there another way of framing your reply, or perhaps could you restate the reply while including the definition of denseness???
Thanks,
-the Doctor
Have you covered the Archimedean Property? It states that
(a) For every real number x, there exists a natural number n such that n > x.
(b) Similarly, for every real number y, there exists a natural number m such that 1/m < y.
(a) Should be trivial. (b) Follows from (a) (raise both sides of the inequality to the (-1), and of course reverse the inequality).
So, if I have this correctly (in order to prove there exists a rational number between x & y):
Let and consider We must find a rational number inside this interval. By the Archimedean Theorem, We then find an Now, we have that thus proving an
Is that correct? If so, I am uncertain of how to prove this for
How about this. To prove that the Rationals (Q) are dense in the Reals (R), we must show that for two real numbers x and y, there exists a rational number q = m/n satisfying x < m/n < y.
By (a) we know that an m exists such that m > nx, which implies that x < m/n, the left half of the inequality. By (b) we know that an n exists such that 1/n < y/m, which implies that m/n < y, the right half of the inequality. Thus, there exists a rational number q = m/n x < m/n < y for any two arbitrary real numbers x and y.
For the irrationals, choose an irrational number w, and add w to x, m/n, y. Then, prove that m/n + w is no longer rational.
Never seen that kind of question before (I'm in my undergraduate Real Analysis class at the moment). From what I can tell, it follows from the fact that for any irrational number y, there are two rational numbers p and q satisfying p < y < q. Since f(p) = f(q) = 0 and f(x) is continous on (a,b), f(y) must be 0 as well.
As for a formal proof, sorry.
What it means for to be dense in is that ever point of is a limit point of . Consequently, it easy then to extract a rational sequence such that for ever . So, since your function is continuous we have that and so let then there exists some and so
Or, maybe more understandable.
Suppose that for some . and let . Since is continuous we should be able to find some such that . But, no matter what you pick there will be some such that and so