Definition:Oscillation/Real Space/Oscillation at Point

From ProofWiki
Jump to navigation Jump to search

Definition

Let $X$ and $Y$ be real sets.

Let $f: X \to Y$ be a real function.

Let $x \in X$.


Definition 1

Let $\NN_x$ be the set of neighborhoods of $x$.


The oscillation of $f$ at $x$ is defined as:

$\ds \map {\omega_f} x := \inf_{U \mathop \in \NN_x} \map {\omega_f} {U \cap X}$

where $\map {\omega_f} {U \cap X}$ denotes the oscillation of $f$ on $U \cap X$.


Definition 2

The oscillation of $f$ at $x$ is defined as:

$\ds \map {\omega_f} x := \inf \set {\map {\omega_f} {\openint {x - \epsilon} {x + \epsilon} \cap X}: \epsilon \in \R_{>0} }$

where $\map {\omega_f} {\openint {x - \epsilon} {x + \epsilon} \cap X}$ denotes the oscillation of $f$ on $\openint {x - \epsilon} {x + \epsilon} \cap X$.


Definition 3

The oscillation of $f$ at $x$ is defined as:

$\ds \map {\omega_f} x := \lim_{h \mathop \to 0^+} \map {\omega_f} {\openint {x - h} {x + h} \cap X}$

where $\map {\omega_f} {\openint {x - h} {x + h} \cap X}$ denotes the oscillation of $f$ on $\openint {x - h} {x + h} \cap X$.


Also see