Results 1 to 3 of 3

Math Help - intro topology proof linking continuity and convergence

  1. #1
    Newbie
    Joined
    Sep 2007
    Posts
    12

    intro topology proof linking continuity and convergence

    I'm trying to figure out how to prove this theorem straightforward, i have figured out the proof by contradiction letting a < 0 and epsilon being -a/2, but can't seem to get it straightforward, here is the proof:

    if a sequence of numbers (x_n) approaches "a", and the sequence of numbers (x_n) is larger or equal to 0, then "a" is larger than or equal to 0.

    Thank you.
    Follow Math Help Forum on Facebook and Google+

  2. #2
    Senior Member
    Joined
    Apr 2006
    Posts
    399
    Awards
    1
    Quote Originally Posted by ml692787 View Post
    I'm trying to figure out how to prove this theorem straightforward, i have figured out the proof by contradiction letting a < 0 and epsilon being -a/2, but can't seem to get it straightforward, here is the proof:

    if a sequence of numbers (x_n) approaches "a", and the sequence of numbers (x_n) is larger or equal to 0, then "a" is larger than or equal to 0.

    Thank you.
    For what it's worth, I cannot see a straightforward proof either. At some point you must say, "If a < 0", and show that leads to x_n < 0, contradicting a hypothesis.
    Last edited by JakeD; September 2nd 2007 at 05:37 PM.
    Follow Math Help Forum on Facebook and Google+

  3. #3
    Global Moderator

    Joined
    Nov 2005
    From
    New York City
    Posts
    10,616
    Thanks
    9
    Quote Originally Posted by ml692787 View Post
    I'm trying to figure out how to prove this theorem straightforward, i have figured out the proof by contradiction letting a < 0 and epsilon being -a/2, but can't seem to get it straightforward, here is the proof:

    if a sequence of numbers (x_n) approaches "a", and the sequence of numbers (x_n) is larger or equal to 0, then "a" is larger than or equal to 0.

    Thank you.
    Theorem: Let (x_n) be convergent sequence of real numbers. And x_n \geq M for sufficiently large n then \lim \ x_n \geq M.

    Proof: Let L = \lim x_n. That means |x_n - L| < \epsilon  \mbox{ for }n\geq N\in \mathbb{N}. Now in sake of a contradiction say L<M. That means \frac{M-L}{2}>0, and so choese \epsilon = \frac{M-L}{2}. This means, |x_n - L | < \frac{M-L}{2} \mbox{ for }n\geq N. Thus, x_n -L < \frac{M-L}{2} \implies x_n < \frac{M-L}{2}+L = \frac{M+L}{2} < \frac{M+M}{2} = M. We have shown that x_n < M \mbox{ for }n\geq N. Which is a contradiction because we assumed that x_n \geq M for sufficiently large n which fails heir. Thus, \lim \ x_n = L \geq M. Q.E.D.
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Replies: 7
    Last Post: September 28th 2011, 11:03 AM
  2. Intro Topology - Proving these statements
    Posted in the Differential Geometry Forum
    Replies: 1
    Last Post: September 30th 2010, 03:25 AM
  3. Replies: 0
    Last Post: May 4th 2009, 06:01 PM
  4. Help with Proof intro topology
    Posted in the Calculus Forum
    Replies: 1
    Last Post: October 1st 2007, 06:28 PM
  5. Proof linking continuity and convergence
    Posted in the Calculus Forum
    Replies: 3
    Last Post: September 2nd 2007, 07:23 PM

Search Tags


/mathhelpforum @mathhelpforum