ThmDex – An index of mathematical definitions, results, and conjectures.
▼ Set of symbols
▼ Alphabet
▼ Deduction system
▼ Theory
▼ Zermelo-Fraenkel set theory
▼ Set
▼ Binary cartesian set product
▼ Binary relation
▼ Map
▼ Countable map
▼ Sequence
▼ Number sequence
▼ Euclidean number sequence
▼ Basic number sequence
▼ Real sequence
Definition D5809
Real sequence strict asymptotic upper bound growth class
Formulation 0
Let $g : \mathbb{N} \to [0, \infty)$ be an D4686: Unsigned real sequence.
The strict asymptotic upper bound growth class with respect to $g$ is the D11: Set \begin{equation} \left\{ f : \mathbb{N} \to \mathbb{R} \mid \forall \, \varepsilon > 0 : \exists \, n_0 \in \mathbb{N} : \forall \, n \geq n_0 : |f(n)| \leq \varepsilon g(n) \right\} \end{equation}
Conventions
▶
Convention 0 (Notation for basic real sequence strict asymptotic upper bound growth class)
If $g : \mathbb{N} \to [0, \infty)$ is an D4686: Unsigned real sequence, we denote its D5809: Real sequence strict asymptotic upper bound growth class by $o(g)$.