6
$\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$
  • $\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 May 3 '16 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$ – Chris Leary May 3 '16 at 16:23
4
$\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$
  • $\begingroup$ Please be more specific in your answer, since it is currently not adding anything to the previous answer. $\endgroup$ – Couchy311 Apr 24 '18 at 19:02

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.