3
$\begingroup$

If $(x_n)$ and $(y_n)$ are positive real sequences such that $(y_n)$ is bounded and $\lim\frac{(x_n)}{(y_n)} = 0$, prove that $\lim(x_n) = 0$

So since $(y_n)$ is bounded, there exists a real number $M$ such that for all n natural numbers, $(y_n) < |M|$ So by the limit definition :
$\lim|\frac{(x_n)}{(y_n)}-0| = \lim\frac{(x_n)}{(y_n)} < \epsilon$ So $|(x_n)| < \epsilon(y_n)$

Now I need to find a natural number $N$ such that for all $n > N$, $|(x_n)| < \epsilon$ is this correct which would prove this statement. However I'm having trouble picking something that will work here? Am I on the right track? I have to be very careful also about anything I use to quote the theorem since this is an introduction to real analysis class.

Thanks!

2 Answers 2

6

I would approach this by contradiction:

If the sequence does not converge to 0, then there is a subsequence that is bounded away from 0. So we may fix $a>0$ such that $|x_n|>a$ for infinitely many values of $n$.

Since the sequence of $y_n$ is bounded, say by $M$, we have $|y_n|a/M$.

This inequality holds for infinitely many $n$, and we have found a subsequence of $(x_n/y_n)$ that does not converge to 0.

Does this make sense?

  • 0
    Does this take into account the case where lim(x_n) does not exist if you are doing it by contradiction?2010-11-30
  • 0
    The argument above tells you that the assumption that "it is not the case that $\lim_n x_n=0$" leads to a contradiction. This includes the case where the limit does note exist.2010-11-30
  • 0
    This actually makes a lot of sense and is very easy to understand. It's not the most intuitive way to approach it (from my point of view since I'm just starting with this), so I may not accept it, but I will definitely vote up. EDIT: The only step that I may not be able to justify using the tools I currently have is when you multiply $(x_n)$ and $a$ intothe inequality2010-11-30
  • 0
    It's not $|x_n|$ that's greater than $a$, it's $|x_{n_{k}}|$ for some k natural number since this is a subsequence?2010-12-01
  • 0
    I'm just not seeing how a subsequence is relating to every case for $\frac{|x_n|}{|y_n|}$ since we need to show that $\frac{|x_n|}{|y_n|}$ > something for ALL n?2010-12-01
3

Hint

If $|y_{n}|\leq M$ then $1 \leq \frac{M}{|y_{n}|} $

$| x_{n}| \leq |x_{n}| \cdot \frac{M}{|y_{n}|} = |\frac{x_{n}}{y_{n}}| \cdot M < \varepsilon_{0} \cdot M = \frac{\varepsilon}{M} \cdot M = \varepsilon$

Where $|\frac{x_{n}}{y_{n}}| < \varepsilon_{0}$ *for hypotesis* and choosing $\varepsilon_{0} = \frac{\varepsilon}{M}$

  • 0
    How do you choose $\epsilon_0$? I thought it has to be arbitrary, i.e. any real number $> 0$?2010-11-30
  • 0
    As $\frac{x_{n}}{y_{n}} \longrightarrow 0$ then $\forall \varepsilon_{0}, \exists N \in \mathbb{N}/ |\frac{x_{n}}{y_{n}}-0|< \varepsilon_{0}$. In particular, you can choose $\varepsilon_{0} =\frac{\varepsilon}{M}$2010-11-30
  • 0
    You start with $\varepsilon$ arbitrary, but $\varepsilon_{0}$ is geting from $\frac{x_{n}}{y_{n}} \longrightarrow 0$.2010-11-30
  • 0
    I'm a little confused. Do you mean to use the $\epsilon$ variable here? What do you mean "Where $|\frac{x_{n}}{y_{n}}| < \varepsilon_{0}$ *for hypotesis*? We know that $|\frac{x_{n}}{y_{n}}| < $some varying epsilon but not a fixed epsilon?2010-11-30
  • 0
    @Fdart17: The definition of limit is ''For *every* positive number, whatever letter we might denote it by (often but not always $\epsilon$), there exists $N$ such that blabla''. In order to prove something regarding the sequence $(x_n)$, you first fix some arbitrary $\epsilon>0$. Then, to find $N$ such that the limit definition is satisfied for that sequence, you apply the definition of limit to the other sequence $(x_n/y_n)$ *not* with that number $\epsilon$, but with the positive number $\epsilon_0=\epsilon/M$ instead.2010-11-30
  • 0
    To elaborate: any number $N$ which for which the ''tail'' $(x_n/y_n)_{n=N}^{\infty}$ stays within distance $\epsilon_0=\epsilon/M$ from zero, is also such that the tail $(x_n)_{n=N}^{\infty}$ stays within distance $\epsilon$ from zero. (Since multiplication by $y_n$ magnifies a number by at most a factor of $M$.)2010-11-30
  • 0
    @Fdart17: Sorry for not responding before, Hans Lundmark already said what he would tell you2010-11-30
  • 0
    @Hans Lundmark: Thanks for the reponse.2010-11-30