A notion of convergence for sequences functions that reduces the question of convergence to convergence of sequences of real numbers.
Click on an arrow to get a description of the connection!
Click on an arrow to get a description of the connection!
Show requirements
Show consequences
In the following, we consider sequences of functions and introduce
some convergence concepts.
Definition 1 (Pointwise convergence). A sequence
\((f_n)_{n\in\mathbb{N}}\) of functions
\(f_n:I\to\mathbb{K}\) is called
pointwisely convergent to \(f:I\to\mathbb{K}\) if for all \(x\in I\) holds \[\lim_{n\to\infty}f_n(x)=f(x).\] Using
logical quantifiers this reads: \[\label{def:lptwconv}
\forall x\in I
\quad \forall \varepsilon > 0
\quad \exists N \in \mathbb{N}
\quad \forall n \geq N
\quad : \quad
|f_n(x)-f(x)|<\varepsilon \ .\]
Pointwise convergence means nothing else but that for all \(x\in I\), the sequence \((f_n(x))_{n\in\mathbb{N}}\) in \(\mathbb{K}\) converges to \(f(x)\).
Discuss your questions by typing below.