Definition:Lower Limit (Topological Space)

From ProofWiki
Jump to navigation Jump to search

This page is about Lower Limit in the context of Topological Space. For other uses, see Lower Limit.


Let $\struct {S, \tau}$ be a topological space.

Let $f: S \to \R \cup \set {-\infty, \infty}$ be an extended real-valued function.

The lower limit of $f$ at some $x_0 \in S$ is defined as:

$\displaystyle \liminf_{x \mathop \to x_0} \map f x := \sup_{V \mathop \in \map \mho {x_0} } \set {\inf_{x \mathop \in V} \map f x}$

where $\map \mho {x_0}$ stands for the set of open neighborhoods of $x_0$.


Because $x_0 \in V$ for all $V \mathop \in \map \mho {x_0}$, the above definition implies:

$\displaystyle \liminf_{x \mathop \to x_0} \map f x \le \map f {x_0}$

Also defined as

Some authors exclude $x_0$ from the infimum in the definition:

$\displaystyle \liminf_{x \mathop \to x_0} \map f x := \sup_{V \mathop \in \map \mho {x_0} } \set {\inf_{x \mathop \in V \mathop \setminus \set {x_0} } \map f x}$

These definitions differ only if $\map f x$ is discontinuous at $x_0$.

Also see