Category:Definitions/Oscillation

From ProofWiki
Jump to navigation Jump to search

This category contains definitions related to Oscillation.
Related results can be found in Category:Oscillation.


Let $X$ be a set.

Let $\left({Y, d}\right)$ be a metric space.

Let $f: X \to Y$ be a mapping.


Oscillation on a Set

Let $A \subseteq X$ be any non-empty subset $A$ of $X$.


The oscillation of $f$ on (or over) $A$ with respect to $d$, denoted $\omega_f \left({A; d}\right)$, is defined as the diameter of $f \left({A}\right)$:

$\displaystyle \omega_f \left({A; d}\right) := \operatorname{diam} \left({f \left({A}\right)}\right) = \sup_{x,y \mathop \in A} d \left({f \left({x}\right), f \left({y}\right)}\right)$

where the supremum is taken in the extended real numbers $\overline \R$.


The metric $d$ is often suppressed from the notation if it is clear from context, in which case one would simply write $\omega_f \left({A}\right)$.

Similarly, one would speak of the oscillation of $f$ on $A$ in this case.


Oscillation at a Point

Let $x \in X$.

Let $X$ be a topological space.

Denote with $\mathcal N_x$ the set of neighborhoods of $x$.


The oscillation of $f$ at $x$ with respect to $d$, denoted by $\omega_f \left({x; d}\right)$, is defined as:

$\displaystyle \omega_f \left({x; d}\right) := \inf_{U \mathop \in \mathcal N_x} \omega_f \left({U; d}\right)$

where $\omega_f \left({U; d}\right)$ denotes the oscillation of $f$ on $U$.


The metric $d$ is often suppressed from the notation if it is clear from context, in which case one would simply write $\omega_f \left({x}\right)$.

Similarly, one would speak of the oscillation of $f$ at $x$ in this case.

Pages in category "Definitions/Oscillation"

The following 3 pages are in this category, out of 3 total.