Let $\mathfrak{X}$ be a Banach space. As a standard corollary of the Principle of Uniform Boundedness, any weak-* convergent sequence in $\mathfrak{X}^*$ must be (norm) bounded. A weak-* convergent net need not be bounded in general, but must it be eventually bounded?

It seems like the following should prove that the answer is yes: If $\{y_\nu\}$ is a net in $\mathfrak{X}^*$, suppose it's not eventually bounded. Then we can recursively construct an unbounded subsequence: since the net is not bounded, there exists some $\nu_1$ with $\|y_{\nu_1}\| > 1$. By hypothesis the tail subnet $\{y_\nu \mid \nu \geq \nu_1\}$ is not bounded, so there exists some $\nu_2 \geq \nu_1$ with $\|y_{\nu_2}\| > 2$, and so on. If the original net were weak-* convergent, so would this unbounded subsequence, contradicting PUB.

It would then follow that weakly convergent nets in $\mathfrak{X}$ are bounded as well, because the image in $\mathfrak{X}^{**}$ would be weak-* convergent.

Question: This is legit, right? I'm still not quite comfortable enough with nets or with the weak-* topology to entirely trust myself here, and I'd like to know the answer since I seem to be bumping into this question a lot recently.

  • $\begingroup$ I don't think this works; a subsequence of a convergent net need not, in general, converge. $\endgroup$ – Nate Eldredge Jun 16 '12 at 1:32
  • $\begingroup$ Is it possible for to have convergence even if $||\{y_\nu\}||\to \infty$? $\endgroup$ – Vladimir Oct 18 '19 at 17:34

Here's a counterexample. Let $X$ be any infinite-dimensional Banach space.

Let $\mathcal{U}$ be the collection of all weak-* open neighborhoods of $0 \in X^*$. One can show that each $U \in \mathcal{U}$ contains a line. (Think about what the basic open sets are. Indeed, $U$ contains a vector subspace of finite codimension.) For each $U$, let $f_U$ be a nonzero point on such a line, so that $\mathbb{R} f_U \subset U$.

Set $I = \mathcal{U} \times \mathbb{N}$ with the preorder $\preceq$ defined by $$(U,n) \preceq (V,m) \text{ iff } V \subset U.$$ This makes $I$ into a directed set. Let $f_{(U,n)} = n f_U$; this defines a net indexed by $I$. This net converges to 0, since for any weak-* neighborhood $V$ of 0 we have $$\{ f_{(U,n)} : (U,n) \succeq (V,0) \} \subset V.$$ But for any $(V,m)$ the segment $\{f_{(U,n)} : (U,n) \succeq (V,m)\}$ is unbounded, since in particular it contains all the $f_{(V,k)} = k f_V$ for $k \in \mathbb{N}$.


Nate Eldredge has done the hard work by giving a counterexample to the conjecture; here’s a brief explanation of what’s wrong with the argument given in the question.

A net $\psi:J\to X$ is a subnet of a net $\varphi:I\to X$ iff for each $i\in I$ there is a $j\in J$ such that $$\big\{\psi(j\,'):j\le j\,'\big\}\subseteq\big\{\varphi(i\,'):i\le i\,'\big\}\;.$$ Equivalently, if $\varphi$ is eventually in a set $A$, so is $\psi$.

Taking $D$ as the directed set underlying your net, there’s no reason to think that your sequence $\langle y_{\nu_k}:k\in\Bbb N\rangle$ is actually a subnet of $\langle y_\nu:\nu\in D\rangle$: there may well be a $\nu_0\in D$ such that $$\{y_{\nu_k}:k\in\Bbb N\}\setminus\{y_\nu:\nu_0\preceq\nu\}$$ is infinite. This is the case with Nate’s net, for instance.


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.