# Negation of the Definition of the Limit of sequence

I am having trouble understanding this question. What does it mean to negate the limit. Does it mean that n does not have a limit? Also I have done the symbolic negation, is this correct?

$$$\exists \epsilon > 0, \forall N \in \mathbb Z, \exists n\in \mathbb Z, n > N \wedge \neg L - \epsilon < a_n < L + \epsilon.$$$.

Here is the question:

Recall from Calculus the definition of the limit of a sequence $a_n$. We say that the limit of the sequence $a_n$ as $n$ goes to infinity equals $L$ and write:

$lim_{n\rightarrow \infty} a_n = L$

We can write this using quantifiers as follows:

$$\label{limit}\forall \epsilon > 0, \exists N \in \mathbb Z, \forall n\in \mathbb Z, n > N \rightarrow L - \epsilon < a_n < L + \epsilon.$$

Explain in words what the negation of this definition means. Now write the negation of the limit from the given formula.

• The above formula means: "the sequence $(a_n)$ has limit $L$". – Mauro ALLEGRANZA Oct 2 '17 at 14:48
• Its negation raeds: "$L$ is not the limit of $(a_n)$". – Mauro ALLEGRANZA Oct 2 '17 at 14:48
• @MauroALLEGRANZA is my negation of the formula viable? – Safder Aree Oct 2 '17 at 15:01
• @SafderAree No! The last part is wrong – Fakemistake Oct 2 '17 at 15:03
• NO; the def of limit has: $\ldots \forall n > N \ |a_n - L| < \epsilon$. When we negate it we get: $\ldots \exists n > N \ |a_n - L| \ge \epsilon$. The negation of "less than" is "greater-or-equal to". – Mauro ALLEGRANZA Oct 2 '17 at 15:10

The sequence $a_n$ converges (to the limit $L$) if and only if the following is true: $$\exists L\in\mathbb{R}\,\forall \epsilon>0\,\exists N\in\mathbb{N}\,\forall n\geq N\Rightarrow |a_n-L|<\epsilon$$

The negation of $L$ is the limit of the real sequence $(a_n)_{n\in\mathbb{N}}$ is $$\forall L\in\mathbb{R}\,\exists \epsilon>0\,\forall N\in\mathbb{N}\,\exists n\geq N \Rightarrow |a_n-L|\geq \epsilon$$

What I have done so far? I turned $\exists$ into $\forall$ and backwards. Note that $<$ is replaced by $\geq$

• Would you be able to show me the steps of how you got from the given form to this? – Safder Aree Oct 2 '17 at 14:47