0
$\begingroup$

Does a constant function $f : \mathbb{N} \mapsto \{c\}$ describe a sequence? Also, can that sequence be called convergent?

1 Answers 1

0

I do not know what you mean by a "function of type $\mathbb N \mapsto {0}$", but I presume you mean the sequence $(a_n)$ given by $a_n=0$ for all $n \in \mathbb N$. Indeed, this is a sequence. Also this sequence converges to the limit $0$. The proof is quite mechanical and easy, but this statement does need a proof. Perhaps you can do it as a exercise.

  • 0
    Yes, that what I meant by "type" of function (I edited the question to be clearer). The convergence can be proven using the neighboring interval method, I was just curios if this special case had anything more to it. :)2019-03-12