14
$\begingroup$

What is the difference between strong and weak convergence?

I am reading "Introductory functional analysis" by Kreyszig and I dont appreciate the differences between the two.

Definition of strong convergence:

A sequence $(x_n)$ in a normed space $X$ is said to be strongly convergent if there is an $x \in X$ such that $$\lim_{n \to \infty}||x_n-x||=0$$

Definition of weak convergence:

A sequence $(x_n)$ in a normed space $X$ is said to be weakly convergent if there is an $x \in X$ such that $$\lim_{n \to \infty}f(x_n)=f(x)$$

I do not appreciate the differences between the two, does anyone have an example to highlight the differences?

How does the proof differ in showing if a sequences converges weakly or strongly?

$\endgroup$
2
  • 1
    $\begingroup$ consider the normed space of complex sequences with the $l^2$ norm ($\|x\| = \sqrt{\sum_k |x(k)|^2}$), and show that the sequence of sequences $(\delta_n)$ converges weakly to the $0$ sequence. $\endgroup$
    – reuns
    Commented May 3, 2016 at 16:23
  • 1
    $\begingroup$ Paying attention to what $f$ is in the definition of weak convergence should help. It's been a while, but isn't $f$ supposed to be a linear functional? You should also determine whether the definition requires an $f$ or an arbitrary $f.$ These distinctions tend to make all the difference. $\endgroup$ Commented May 3, 2016 at 16:23

2 Answers 2

14
$\begingroup$

It all boils down to realizing that it is natural (and interesting!) to consider different topologies on the same set $X$, each of which comes with a notion of convergence.

In this scenario we have on one hand the strong topology, i.e. the topology induced by norm on $X$, and the so called weak topology on the other, i.e. the coarsest topology for which every element in $X^*$ is continuous.

The first thing to realize is that $\tau_{\text{weak}} \subset \tau_{\text{strong}}$. Indeed,

strong implies weak: if $x_n \to x$ and $f \in X^*$, then by definition of $X^*$ we have that $f(x_n) \to f(x)$. In other words, strong convergence implies weak convergence, weakly closed implies (strongly) closed etc.

The other implication does not hold as shown by the following example:

Weak does not imply strong: consider the Banach space $\ell^p$, $1<p<\infty$ and let $e_i$ be the sequence $(0,\dots,1,0\dots)$, with $1$ in the $i$-th position. Then it is easy to show that $\{e_i\}$ converges weakly to $0$ in $\ell^p$ but not strongly.

Here you can find a proof that for finite dimensional spaces the two topologies coincide.

It is worth mentioning it is not true that the topologies are different if and only if $X$ is infinite dimensional. For a counterexample you can take a look at this question ($\ell^1$ is a weird space).

$\endgroup$
1
$\begingroup$

A weak convergence is defined in an inner product while a strong convergence is defined in a norm.

A strong convergence is also a weak convergence but not vice versa.

$\endgroup$
2
  • $\begingroup$ Please be more specific in your answer, since it is currently not adding anything to the previous answer. $\endgroup$
    – Couchy
    Commented Apr 24, 2018 at 19:02
  • $\begingroup$ See https://mathworld.wolfram.com/WeakConvergence.html. $\endgroup$
    – user168764
    Commented May 3, 2020 at 12:50

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .