Questions tagged [pointwise-convergence]

For questions about pointwise convergence, a common mode of convergence in which a sequence of functions converges to a particular function. This tag should be used with the tag [convergence].

A sequence of functions $f_n : X \to \Bbb{R}$ is said to converge pointwise to a function $f : X \to \Bbb{R}$ if $$ \lim_{n\to \infty}f_n(x) = f(x)$$ for all $x \in X$.

That is: $$\forall x \in X \forall \epsilon > 0 \exists N \in \Bbb{N}: \forall n \ge N, |f_n(x)-f(x)| < \epsilon.$$

In general, the pointwise limit is not a well-behaved operation. For example, the pointwise limit does not necessarily preserve the continuity of a function. Furthermore, the interchange of limit and integral signs does not hold in general: there exists functions $(f_n)$ with pointwise limit $f$ so that $\int_X f \ne \lim\limits_{n\to\infty} \int_X f_n$.

f_n(x) = sin^n(x) The continuous functions $\sin^{n}(x)$ (in green) converge to a discontinuous function (in red).

Pointwise convergence is often compared with . The later is stronger than the former, in the sense that uniform convergence implies pointwise convergence, while the reverse does not hold.

However, thanks to Egorov's Theorem in measure theory, pointwise convergence is almost uniform on sets of finite measure. That is, if $(f_n)$ are measurable functions defined on a measurable space, then pointwise convergence almost everywhere on a set $A$ of finite measure implies the apparently much stronger uniform convergence on $A \setminus B$, where $B$ is a set of arbitrarily small measure.

863 questions
22
votes
4 answers

Why do we need topological spaces?

Please correct me if I am wrong: We need the general notion of metric spaces in order to cover convergence in $\mathbb{R}^n$ and other spaces. But why do we need topological spaces? What is it we cannot do in metric spaces? I have read the answers…
18
votes
1 answer

Theorems similar to Dini's Theorem and Egoroff's Theorem

Dini's Theorem states that Given a sequence of real-valued continuous functions $(f_n)$ on a compact set $E\subseteq \mathbb{R},$ if $(f_n)$ decreases to a continuous function $f$ pointwise on $E$, then $(f_n)$ converges to $f$ uniformly on…
12
votes
2 answers

If $(f_n')$ converges uniformly on an interval, does $(f_n)$ converge?

Let $(f_n)$ be a sequence of functions that are all differentiable on an interval A, and suppose the sequence of derivatives $(f_n')$ converges uniformly on A to a limit function $g$. Does it follow that $(f_n)$ converges to a limit function f on…
11
votes
1 answer

Pointwise convergence equivalent to convergence in pointwise topology

Let $A$ be an index set, $X$ a topological space. Define $X^A$ to be the product $\displaystyle\prod_{\alpha \in A}X_\alpha$ where $X_\alpha = X, \forall \alpha \in A$. We can think the elements of $X^A$ as functions $f$ so that $f: A \to X$,…
Ninja
  • 2,987
  • 2
  • 20
  • 43
9
votes
4 answers

Counterexample around Dini's Theorem

"Give an example of an increasing sequence $(f_n)$ of bounded continuous functions from $(0,1]$ to $\mathbb{R}$ which converge pointwise but not uniformly to a bounded continuous function $f$ and explain why Dini's Theorem does not apply in this…
8
votes
2 answers

Pointwise and uniform convergence of $\sum\limits_{n=1}^{+\infty}\big({\frac{x}{1+x^n}}\big)^n$

Examine the convergence of the series of functions $$\displaystyle\mathop{\sum}\limits_{n=1}^{+\infty}\Big({\frac{x}{1+x^n}}\Big)^n$$ a) pointwise in $[0,1]$, b) uniformly in $[0,1]$. My attempt for pointwise convergence: For all $x\in[0,1)$…
7
votes
1 answer

Limit of continuous functions is Riemann integrable

Here is an analysis problem I'm stuck on: Let $f\in C^0([0,1])$ with $f(0)=0$ and $f$ increasing and convex. Define: $$ f_n(x) = n\big[f(x)-f(x-\tfrac{1}{n})\big] $$ Show: $f(1-\tfrac{1}{n})\le\int_0^1f_n(x)\ dx\le f(1)$ There is a $g$ with…
7
votes
1 answer

Does $f_{n}(z) = \frac{1}{1+n^{2}|z-e^{in}|}$ converge pointwise or uniformly?

I want to check whether the sequence below converges pointwise or uniformly $$f_{n}(z):\{z\in\mathbb{C}:|z| = 1\}\to\mathbb{R}$$ $$\qquad\qquad f_{n}(z) = \frac{1}{1+n^{2}|z-e^{in}|}$$ I have tried using the triangle inequality $||z|-|w||\leq|z-w|$…
7
votes
3 answers

Pointwise convergence of uniformly continuous functions to zero, but not uniformly

What would be an example of a sequence of uniformly continuous functions on a compact domain which converges pointwise to $0$, but not uniformly?
7
votes
3 answers

Pointwise convergence of sequence $(f_n)_n$ of functions to $f$ and changing limits

My analysis notes contains the following question: if $(f_n)_n$ is a sequence of functions of $A \subset \mathbb{R} \to \mathbb{R}$ and $a \in \mathbb{R} \cup \{-\infty, +\infty\}$ an accumulation point in $A$. Assume that for all $n$, $\lim_{ x \to…
6
votes
0 answers

How can I prove that this subset $C$ is closed in $C[0,1]$?

Let $C=\{f\in C[0,1]: f(0)=f(1)\}$. I need to show that $C$ is closed in $C[0,1]$ with respect to $||f||_{\infty}=\max(f)$. I know that I can define $\phi(f)=f(0)-f(1)$ and then argue that $\phi$ is continuous and $C=\phi^{-1}(\{0\})$. But I…
6
votes
1 answer

Show uniform convergence and pointwise convergence for $\sum_{n=1}^ \infty \frac{z^ {n-1}}{(1-z^n)(1-z^ {n+1})}$

Consider the series: $$\sum_{n=1}^ \infty \frac{z^ {n-1}}{(1-z^n)(1-z^ {n+1})}$$ show this converges to: (a) $\frac{1}{(1-z)^2}$ for $|z|<1$ (b) $\frac{1}{z(1-z)^2}$ for $|z|>1$ Finally, show that this convergence is uniform for $|z| \leq c <1$…
6
votes
1 answer

Examples of some Pointwise Convergent Sequences of Functions

I have recently come across pointwise/uniformly convergent sequences of functions, and I am hoping if someone could give some examples of certain sequences of functions so that I could understand the concept better. Thanks! • Pointwise convergent…
Valia
  • 391
6
votes
1 answer

Pointwise limit of continuous functions is continuous on a dense set

I'm stuck in understanding the proof of the following theorem given during a course: Let $X$ be a Baire space, and $(Y,d)$ a metric space. Let $f_n:X\to Y$ be a sequence of continuous function, pointwise converging to $f:X\to Y.$ Then $f$ is…
1
2 3
57 58