In mathematics, pointwise convergence is one of various senses in which a sequence of functions can converge to a particular function. It is weaker than uniform convergence, to which it is often compared.
Definition
Suppose that X {\displaystyle X} is a set and Y {\displaystyle Y} is a topological space, such as the real or complex numbers or a metric space, for example. A sequence of functions ( f n ) {\displaystyle \left(f_{n}\right)} all having the same domain X {\displaystyle X} and codomain Y {\displaystyle Y} is said to converge pointwise to a given function f : X → Y {\displaystyle f:X\to Y} often written as
lim n → ∞ f n = f pointwise {\displaystyle \lim _{n\to \infty }f_{n}=f\ {\mbox{pointwise}}}
if (and only if) the limit of the sequence f n ( x ) {\displaystyle f_{n}(x)} evaluated at each point x {\displaystyle x} in the domain of f {\displaystyle f} is equal to f ( x ) {\displaystyle f(x)} , written as
∀ x ∈ X , lim n → ∞ f n ( x ) = f ( x ) . {\displaystyle \forall x\in X,\lim _{n\to \infty }f_{n}(x)=f(x).}
The function f {\displaystyle f} is said to be the pointwise limit function of the ( f n ) . {\displaystyle \left(f_{n}\right).}
The definition easily generalizes from sequences to nets f ∙ = ( f a ) a ∈ A {\displaystyle f_{\bullet }=\left(f_{a}\right)_{a\in A}} . We say f ∙ {\displaystyle f_{\bullet }} converges pointwise to f {\displaystyle f} , written as
lim a ∈ A f a = f pointwise {\displaystyle \lim _{a\in A}f_{a}=f\ {\mbox{pointwise}}}
if (and only if) f ( x ) {\displaystyle f(x)} is the unique accumulation point of the net f ∙ ( x ) {\displaystyle f_{\bullet }(x)} evaluated at each point x {\displaystyle x} in the domain of f {\displaystyle f} , written as
∀ x ∈ X , lim a ∈ A f a ( x ) = f ( x ) . {\displaystyle \forall x\in X,\lim _{a\in A}f_{a}(x)=f(x).}
Sometimes, authors use the term bounded pointwise convergence when there is a constant C {\displaystyle C} such that ∀ n , x , | f n ( x ) | < C {\displaystyle \forall n,x,\;|f_{n}(x)|<C} .
Properties This concept is often contrasted with uniform convergence. To say that
lim n → ∞ f n = f uniformly {\displaystyle \lim _{n\to \infty }f_{n}=f\ {\mbox{uniformly}}}
means that
lim n → ∞ sup { | f n ( x ) − f ( x ) | : x ∈ A } = 0 , {\displaystyle \lim _{n\to \infty }\,\sup\{\,\left|f_{n}(x)-f(x)\right|:x\in A\,\}=0,}
… excerpt ends here. Continue reading the full article.

