2

Recently, while solving a problem where a certain set of functions $f:\mathbb Z^+ \rightarrow \mathbb Z^+$ had to be found given a number of conditions, I noticed that $f(n)=\lim_{a\to+\infty} a$, where $n\in \mathbb Z^+$, was a solution.

My question is simply whether $f(n)=\lim_{a\to+\infty} a$ really can be classified as a function. If not, why not, and if yes, does the condition $f:\mathbb Z^+ \rightarrow \mathbb Z^+$ still hold?

TheR
  • 142

1 Answers1

5

We say $f:A\to B$ is a function if, for any $a\in A$ there exists exactly one $b\in B$ such that $f(a)=b$.

Since $\infty$ is not an element of $\mathbb Z^+$, if you want $f:\mathbb Z^+\to \mathbb Z^+$, you can't have $f(n)=\infty$ for any positive integer $n$.

Thomas Andrews
  • 177,126