Results 1 to 2 of 2

Thread: Just a matter of rigor

  1. #1
    Newbie
    Joined
    Aug 2010
    Posts
    9

    Just a matter of rigor

    My teacher really takes account about the rigor of a proof. The following is the proposition and a proof given by myself. Can someone please check it whether it is rigorous enough?

    Proposition: Let $\displaystyle (s_n)$ be a sequence that converges to $\displaystyle s\in \mathbb{R}$. Show that if $\displaystyle s_n\ge a$ for all $\displaystyle n>N$, then $\displaystyle s\ge a$.

    Proof: Let $\displaystyle \epsilon>0$, then there exists $\displaystyle N_0$ such that $\displaystyle n>N_0$ implies $\displaystyle |s_n-s|<\epsilon$. Now take $\displaystyle N_1=\text{max}\{N_0, N\}$ and $\displaystyle n>N_1$ implies
    $\displaystyle |s_n-s|<\epsilon$
    $\displaystyle |a-s|<\epsilon$
    Since $\displaystyle x\le |x|$, we must have
    $\displaystyle a-s<\epsilon$
    Since the difference can be taken arbitrarily small, or even negative. This proves that $\displaystyle s\ge a$.

    I really doubt the rigor of this proof. And after I type in the proof, I doubt the validity.
    Last edited by Hinatico; Aug 28th 2010 at 03:16 AM.
    Follow Math Help Forum on Facebook and Google+

  2. #2
    MHF Contributor

    Joined
    Aug 2006
    Posts
    21,782
    Thanks
    2824
    Awards
    1
    Here is an easy proof.
    If it were true that $\displaystyle s<a$ then $\displaystyle \varepsilon = a-s$.
    From that we get $\displaystyle \left| {s_N-s} \right| < \varepsilon \, \Rightarrow \,s_N<a$.
    What is wrong to that?
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. rigor confusion
    Posted in the Differential Geometry Forum
    Replies: 1
    Last Post: Apr 29th 2011, 10:10 PM
  2. if number closest to zero does sign matter?
    Posted in the Algebra Forum
    Replies: 7
    Last Post: Jul 28th 2010, 02:05 AM
  3. Does it matter when you use the initial conditions?
    Posted in the Differential Equations Forum
    Replies: 4
    Last Post: Mar 24th 2010, 12:52 PM
  4. a matter of interpretation
    Posted in the Calculus Forum
    Replies: 2
    Last Post: Feb 16th 2010, 11:11 AM
  5. Replies: 1
    Last Post: Oct 25th 2009, 10:52 AM

Search Tags


/mathhelpforum @mathhelpforum