Vanish at infinity

A function on a normed vector space is said to vanish at infinity if the function approaches ${\displaystyle 0}$ as the input grows without bounds (that is, ${\displaystyle f(x)\to 0}$ as ${\displaystyle \|x\|\to \infty }$). Or,

${\displaystyle \lim _{x\to -\infty }f(x)=\lim _{x\to +\infty }f(x)=0.}$

in the specific case of functions on the real line.

For example, the function

${\displaystyle f(x)={\frac {1}{x^{2}+1}}}$

defined on the real line vanishes at infinity.

Alternatively, a function ${\displaystyle f}$ on a locally compact space vanishes at infinity, if given any positive number ε, there exists a compact subset ${\displaystyle K}$ such that

${\displaystyle \|f(x)\|<\varepsilon }$

whenever the point ${\displaystyle x}$ lies outside of ${\displaystyle K.}$[1][2] In other words, for each positive number ε the set ${\displaystyle \left\{x\in X:\|f(x)\|\geq \varepsilon \right\}}$ has compact closure. For a given locally compact space ${\displaystyle \Omega }$ the set of such functions

${\displaystyle f:\Omega \to \mathbb {K} }$

valued in ${\displaystyle \mathbb {K} ,}$ which is either ${\displaystyle \mathbb {R} }$ or ${\displaystyle \mathbb {C} ,}$ forms a ${\displaystyle \mathbb {K} }$-vector space with respect to pointwise scalar multiplication and addition, which is often denoted ${\displaystyle C_{0}(\Omega ).}$

As an example, the function

${\displaystyle h(x,y)={\frac {1}{x+y}}}$

where ${\displaystyle x}$ and ${\displaystyle y}$ are reals greater or equal 1 and correspond to the point ${\displaystyle (x,y)}$ on ${\displaystyle \mathbb {R} _{\geq 1}^{2}}$ vanishes at infinity.

A normed space is locally compact if and only if it is finite-dimensional so in this particular case, there are two different definitions of a function "vanishing at infinity". The two definitions could be inconsistent with each other: if ${\displaystyle f(x)=\|x\|^{-1}}$ in an infinite dimensional Banach space, then ${\displaystyle f}$ vanishes at infinity by the ${\displaystyle \|f(x)\|\to 0}$ definition, but not by the compact set definition.

Refining the concept, one can look more closely to the rate of vanishing of functions at infinity. One of the basic intuitions of mathematical analysis is that the Fourier transform interchanges smoothness conditions with rate conditions on vanishing at infinity. The rapidly decreasing test functions of tempered distribution theory are smooth functions that are

${\displaystyle O\left(|x|^{-N}\right)}$

for all ${\displaystyle N}$, as ${\displaystyle |x|\to \infty }$, and such that all their partial derivatives satisfy the same condition too. This condition is set up so as to be self-dual under Fourier transform, so that the corresponding distribution theory of tempered distributions will have the same property.

• Infinity – Mathematical concept
• Projectively extended real line – Real numbers with an added point at infinity
• Zero of a function – Point where function's value is zero

• Hewitt, E and Stromberg, K (1963). Real and abstract analysis. Springer-Verlag.{{cite book}}: CS1 maint: multiple names: authors list (link)