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 D5808
Real sequence asymptotic lower bound growth class
Formulation 0
Let $g : \mathbb{N} \to [0, \infty)$ be an D4686: Unsigned real sequence.
The asymptotic lower bound growth class with respect to $g$ is the D11: Set \begin{equation} \left\{ f : \mathbb{N} \to \mathbb{R} \mid \exists \, C > 0 \text{ and } n_0 \in \mathbb{N} : \forall \, n \geq n_0 : |f(n)| \geq C g(n) \right\} \end{equation}
Conventions
Convention 0 (Notation for basic real sequence asymptotic lower bound growth class)
If $g : \mathbb{N} \to [0, \infty)$ is an D4686: Unsigned real sequence, we denote its D5808: Real sequence asymptotic lower bound growth class by $\Omega(g)$.