A definitions for the terms the limit does not exists

[quasar987]

a definitions for the terms "the limit does not exists"

Since my textbook doesn't have a definitions for the terms "the limit does not exists" and "the limit goes to infinity", I tried to make them up. I'd like to know if they're correct.

1) Consider f: \mathcal{D}\longrightarrow \mathbb{R} a function and x_0 an accumulation point of \mathcal{D}. We say that the limit as x approaches x_0 goes to positive infinity (resp. negative infinity) if \forall M \in \mathbb{R}, \ \exists \delta>0 such that x \in \mathcal{D} \cap V'(x_0,\delta) \Rightarrow f(x)>M (resp.f(x)<M), and we write

\lim_{x \rightarrow x_0} f(x) = +\infty \ (\mbox{resp. -\infty})

2) Consider f: \mathcal{D}\longrightarrow \mathbb{R} a function. If \mathcal{D} is unbounded superiorly (?) (i.e. has no upper bound), we say that the limit as x approaches positive infinity goes to positive infinity (resp. negative infinity) if \exists N \in \mathbb{R} such that \forall x \in \mathcal{D}, \ x>N \Rightarrow f(x) is strictly increasing (resp. strictly decreasing). In other words, we say that the limit as x approaches positive infinity goes to positive infinity (resp. negative infinity) if \exists N \in \mathbb{R} such that \forall y, z \in \mathcal{D} and y, z>N, \ z>y \Rightarrow f(z)>f(y) (resp.f(z)<f(y)), and we write

\lim_{x \rightarrow \+\infty} f(x) = +\infty \ (\mbox{resp. -\infty})


3) We have an analogous definition for the limit as x goes to negative infinity if the domain has no lower bound. And finally,...

4) Consider f: \mathcal{D}\longrightarrow \mathbb{R} a function and x_0 an accumulation point of \mathcal{D}. We say that the limit as x approaches x_0, +\infty or -\infty (whichever applies) does not exists if either

i) the limit goes to +\infty.

ii) the limit goes to -\infty.

iii) the limit is not unique.


Also, if you can think of another definition, or a caracterisation that would make the proofs easier, I'd be very interested to hear it.

Mmh, I can think of one for definition 2 and 3: For 2) "blah, blah" iif for all sequences \{x_n\} such that x_n \in \mathcal{D} and \{x_n\} is strictly increasing for at least all n greater than a certain N \in \mathbb{R} that has +\infty for a limit, the corresponding sequence \{f(x_n)\} has +\infty (resp. -\infty) for a limit. The caracterisation for 3 is analogous.

Phew, this took 45 minutes to write!

Thanks for your replies.

 

[mathwonk]

1) is correct except that you omitted to say the "limit of what?"

2) looks wrong. i.e it differs greatly from the case in 1) which ti should resemble closely. i.e. the limit of f(x) as x goes to plus infinity, equals plus infinity iff, for every N, there is an M, such that for all x larger than M, f(x) is larger than N.

3) The definition of does nor exist also oooks highly suspicious. In general just negate the rpevious statements.

e.g. the limit of f(x) as x goes to x0 does not exist iff, for all t, there is some e>0, such that for all d > 0, there exists and x closer to x0 than d, and yet with f(x) further from t than e.

 

[Hurkyl]

IOW, start with the epsilon-delta way to say "the limit exists" and negate it.