1
$\begingroup$

Consider $D$ a set and $X$ a linear space of functions $D \rightarrow \mathbb{R}$ s.t. for any $f \in X$ and $g: D \rightarrow \mathbb{R}$, if $\lvert g \rvert \leq \lvert f \rvert$ then $g \in X$. Such spaces naturally arise as classes of asymptotic behaviors, for example if $D = \mathbb{N}$ and $h: \mathbb{N} \rightarrow \mathbb{R}$, we can take $X := \{f: \mathbb{N} \rightarrow \mathbb{R} \mid \lvert f \rvert = O(h)\}$. If $D$ has extra structure we can restrict consideration to functions satisfying certain conditions e.g. if $D$ is a topological space we can consider only continuous functions.

Is there a name for $X$ like that?

$\endgroup$
1
  • 3
    $\begingroup$ I don't know an "official" name, but I might call it "downward closed". $\endgroup$ Feb 28, 2016 at 18:32

0

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Browse other questions tagged or ask your own question.