Prove that if the absolute value of a sequence converges to $0$, the sequence converges to $0$ as well.

6,442

Solution 1

You're almost there:

$||a_n|-0| = ||a_n|| = |a_n| = |a_n-0|$

Solution 2

In fact $||a_n||=|a_n|$ so you're done. If $||a_n|-0|$ is less than $\epsilon$ then so is $|a_n-0|$.

Share:
6,442
JonDoeMaths
Author by

JonDoeMaths

Updated on December 19, 2020

Comments

  • JonDoeMaths
    JonDoeMaths almost 3 years

    Let ($a_n)_{n \in \mathbb{N}}$ be a sequence, prove that if $|a_n|$ converges to $0$ then ($a_n)_{n \in \mathbb{N}}$ converges to 0 as well. Now let $|a_n|$ converge to $0$ and let $\epsilon > 0$ that means that $||a_n|-0| < \epsilon$ for an $N \in \mathbb{N}$ such that $n > N$.

    But how do I go from here? I should conclude from $||a_n|-0| < \epsilon$ that $|a_n-0| < \epsilon$.

  • robbis
    robbis over 4 years
    I've just seen this topic while I was searching about this fact. Is it true for every absolute value that $||x||=|x|$? How can I see this? Thanks!
  • Ovi
    Ovi over 4 years
    @robbis By every absolute value, do you mean every norm on any vector space? Or are you only talking about real numbers and the usual absolute value?
  • robbis
    robbis over 4 years
    I mean every absolute value on a generic field. I have to prove that $|x|<1$ if and only if $|x^n| \to 0$ if and only if $x^n \to 0$, not only for the usual absolute value. Do you have any suggestions?
  • Ovi
    Ovi over 4 years
    @robbis Hmm I just learned from you that there is a more general notion of absolute value that can be defined for diferent fields... I would like to think about that problem but unfortunately I don't have time. Have you tried following the proof of that fact for the usual absolute value, and adapting it to the general case?
  • robbis
    robbis over 4 years
    I've read that an absolute value over a field is a function from the field to $\mathbb{R}$ such that $|x|\ge 0$, $|x|=0$ iff $x=0$, $|xy|=|x||y|$ and $|x+y|\le |x|+|y|$
  • robbis
    robbis over 4 years
    yes, I tried what you say but I don't know how to see that $||a_n||=|a_n|$
  • Ovi
    Ovi over 4 years
    @robbis Let $| \cdot|_{R}$ be the regular absolute value on $\mathbb{R}$ and let $| \cdot |_F$ be the absolute value on the field $F$ you're considering. I think $||a_n||$ can only be interpreted as $||a_n|_F|_R$. Now $|a_n|_F$ is a non-negative real number by definition.In general, if $x$ is a non-negative real number, then $|x|_R=x$ (you could see this formally from the formal piecewise definition of $|x|$). Letting $x = |a_n|_F$ and taking absolute value of both siedes, we have that $|x|_R = ||a_n|_F |_R$, or (since $x$ is non-negative) $x = ||a_n|_F |_R$, or $ |a_n|_F = ||a_n|_F |_R$ ...
  • Ovi
    Ovi over 4 years
    @robbis (continues) as desired. Does this work?
  • robbis
    robbis over 4 years
    sorry but I didn't log in until now. Your last answer seems to me correct and right for my purpose, so thank you very much for your help!