(adsbygoogle = window.adsbygoogle || []).push({}); RE-EDIT: I'm confused again, continue on reading

Bonjourno, I'm trying to work at the lectures provided on youtube by nptelhrd but I've gotten my foot stuck in a hole in the real line only 15 minutres into it

(In my head I say "such that" whenever the symbol : pops up!).

We define a set;

A: {r ∈Q: r²<2}

Does ∃ a largest element ofAinQ?

1:We seek to find some n ∈N: [tex] ( r \ + \ \frac{1}{n} ) [/tex] will satisfy the conditions specified byA.

2:[tex] (r \ + \ \frac{1}{n} )^2 \ < \ 2 [/tex]

3:[tex] r^2 \ + \ \frac{2r}{n} \ + \ \frac{1}{n^2} \ < \ 2 [/tex]

4:[tex] \frac{2r}{n} \ + \ \frac{1}{n^2} \ < \ 2 \ - \ r^2 [/tex]

The R.H.S. is strictly positive due to r²<2.

Okay, I understand up to here but then the lecturer starts to get confusing, he then says thatIt suffices only to find somen ∈N:

[tex] \frac{2r}{n} \ + \ \frac{1}{n} \ < \ 2 \ - \ r^2 [/tex]

Notice the n and not n² on the bottom of the L.H.S. Fraction!

He says;

This is because;

[tex] \frac{1}{n^2} < \frac{1}{n} \ and \ this \ implies \ \frac{2r}{n} \ + \ \frac{1}{n^2} \ < \ \frac{2r}{n} \ + \ \frac{1}{n} [/itex]

I have no idea where this came from!

The video is on youtube http://www.youtube.com/watch?v=0lzO...DB30C539B&playnext_from=PL&index=0&playnext=1 and I would say everything he is trying to do is described from 10:00 to 14:00.

I wouldextremelyappreciate it if someone could take 6 minutes to watch this and correct me as I have nobody else to explain it to me.

What I think is going on is that he is trying to prove a least upper bound or something and that this will show that the real line can be continuously divided, or something.

**Physics Forums - The Fusion of Science and Community**

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# Defining Elements on the Real Line?

Loading...

Similar Threads - Defining Elements Real | Date |
---|---|

I Convergence of a recursively defined sequence | Mar 7, 2018 |

I Second derivative of a curve defined by parametric equations | Mar 1, 2017 |

A Inverse Laplace transform of a piecewise defined function | Feb 17, 2017 |

A Taylor/Maclaurin series for piecewise defined function | Feb 17, 2017 |

I Differential Area Element | Nov 3, 2016 |

**Physics Forums - The Fusion of Science and Community**