I got a trouble in proving the iff statement of lim sup.

The following is what I got from my homework.
Let $X\subseteq \Bbb R^m$, $f:X\to\Bbb R$ be a function, and $y$ be a limit point of $X$.
It is said that $L$ is the limit superior of $f$ at $y$, defined by
$\overline \lim_{x\to y}f(x)=\lim_{\delta \to 0^+} (\sup \{f(x):x\in E \cap B(y,\delta)-\{y\}\})$.

The problem I need to work is to verify the following assertions:
1) For all $L \in \Bbb R, \overline \lim_{x\to y}f(x)\le L \iff \forall \varepsilon\gt0\ \exists \delta \gt0\ \forall x\in X\cap B(y,\delta)-\{y\},\ f(x)\le L+\varepsilon$.
2)For all $L \in \Bbb R, \overline \lim_{x\to y}f(x)\ge L \iff \forall \varepsilon\gt0\ \forall \delta \gt0\ \exists x\in X\cap B(y,\delta)-\{y\},\ f(x)\ge L-\varepsilon$.

The following was what I tried on the first assertion:
Suppose $\lim_{x \to y}f(x)=l\le L$. Then, by the definition of limit, I will have:
$\forall \varepsilon \gt0\ \exists \delta\gt0\ \forall x \in X\cap B(y,\delta)-\{a\}, \ |\sup f(x)-l|\lt \varepsilon$. That is, $\sup f(x) \lt l+\varepsilon$.
Since $\forall x \in X\cap B(y,\delta)-\{y\}$, I will have $f(x)\le\sup f(x)$, then $f(x)\le\sup f(x)\lt l+\varepsilon \le L+\varepsilon$.
I do not whether this attempt is on the right track since, strictly speaking, I can only get $f(x)\lt L+\varepsilon$.
And I have no idea about the second assertion.

  • $\begingroup$ Wait, have you stated the definition here? If that's the case, then there's nothing to prove. $\endgroup$
    – user108903
    Jan 8 '13 at 20:46
  • $\begingroup$ @anonymous I'm pretty sure he means $\limsup\limits_{x\to y} f(x)$. But I agree that it is unclear what OP is asking. $\endgroup$
    – nullUser
    Jan 8 '13 at 20:46
  • $\begingroup$ @anonymous hope the new version can be better for you to help. Thx! $\endgroup$ Jan 8 '13 at 23:54
  • $\begingroup$ @nullUser hope the new version can be better for you to help. Thx! $\endgroup$ Jan 8 '13 at 23:54
  • $\begingroup$ @anonymous Sorry for my typos. It is $y$ but not $a$. Now I think everything is clear. $\endgroup$ Jan 9 '13 at 2:05

For convenience, let's call $X_\delta = E \cap B(y,\delta)\setminus \{y\}$.

1) Suppose $\overline\lim_{x\to y}f(x) = l \leq L$, and let $\varepsilon> 0$. Then there exists $h_\varepsilon > 0$ such that if $0 < \delta < h_\varepsilon$, then $\sup\{f(x): x\in X_\delta\}-l < \varepsilon$. We don't need absolute value here: as $\delta \to 0^+$ $\sup\{f(x):x\in X_\delta\}$ is decreasing, so $l \leq \sup\{f(x):x\in X_\delta\}$ and therefore $|\sup\{f(x):x\in X_\delta\}-l| = \sup\{f(x):x\in X_\delta\}-l$. Then for all $x \in X_\delta$, we have $f(x) \leq \sup \{f(x):x\in X_\delta\} < l+\varepsilon \leq L+\varepsilon$. So our desired "$\delta$" is $h_\varepsilon$. The fact that I got $<$ instead of $\leq$ is because I insisted on $\sup\{f(x): x\in X_\delta\}-l < \varepsilon$; of course it's completely equivalent to have $\sup\{f(x): x\in X_\delta\}-l \leq \varepsilon$.

For the reverse direction, suppose the RHS holds. We want to show that $\lim_{\delta\to 0^+}\sup\{f(x): x\in X_\delta\} = l \leq L$. Suppose not. Then $l > L$. Since $\sup\{f(x): x\in X_\delta\}$ decreases as $\delta \to 0^+$, we must have $\sup\{f(x): x\in X_\delta\}\geq l > L$ for all $\delta > 0$. Take $\varepsilon = l -L$. For all $\delta > 0$, we have $\sup\{f(x): x\in X_\delta\} - L \geq l - L > \varepsilon$, i.e. $\sup\{f(x): x\in X_\delta\} > L+\varepsilon$. Then there must exist $x \in X_\delta$ such that $f(x) > L+\varepsilon$. (If the supremum is larger than something, then there must be something in the set between that thing and the supremum.) In summary: $(\exists \varepsilon > 0)(\forall \delta > 0)(\exists x \in X_\delta) f(x)>L+\varepsilon$. This contradicts the RHS, and the proof is complete.

2) Suppose $\overline\lim_{x\to y}f(x) \geq L$. Since $\sup \{f(x):x\in X_\delta\}$ is decreasing as $\delta \to 0^+$, we must have $\sup\{f(x):x \in X_\delta\} \geq L$ for all $\delta > 0$. Let $\varepsilon > 0$ and $\delta > 0$. Then $\sup\{f(x):x \in X_\delta\} \geq L > L - \varepsilon$. Then there exists $x \in X_\delta$ such that $\sup\{f(x):x \in X_\delta\} > f(x) \geq L-\varepsilon$, and we are done.

For the reverse direction, assume the RHS and suppose (aiming for contradiction) $\lim_{\delta\to 0^+}\sup\{f(x):x\in X_\delta\} < L$. Take $\varepsilon < L-\lim_{\delta\to 0^+}\sup\{f(x):x\in X_\delta\}$. Then $\lim_{\delta\to 0^+}\sup\{f(x):x\in X_\delta\} < L-\varepsilon$. Then for some $\delta > 0$, we have $\sup\{f(x):x \in X_\delta\} < L-\varepsilon$. So for all $x \in X_\delta$, $f(x) < L-\varepsilon$. Thus $(\exists \varepsilon > 0)(\exists \delta > 0)(\forall x\in X_\delta) f(x)<L-\varepsilon$, contradicting the RHS.


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.