Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

When I was searching for the definition of the weak topology, I found two different definitions. One defines the weak topology in terms of a family of semi-norms, while the other defines it in terms of the inverse image of open subsets of the base field $ \mathbb{K} $ under continuous linear functionals.

My questions are:

  1. Are the two definitions equivalent, and if so, how? If they are not equivalent, then what is the common definition of the weak topology?

  2. For the first definition (in terms of semi-norms), how can we define the open sets if we do not have a single fixed semi-norm?

  3. For the second definition, by ‘open subsets of $ \mathbb{K} $’, do we mean the open sets belonging to the usual topology on $ \mathbb{K} $?

  4. The topological dual space of $ X $ is defined to be the set of continuous linear functionals defined on $ X $. Is this continuity with respect to each topology or just a fixed one?

I am so confused. Could someone help me to understand the definition of the weak topology? Thanks!

share|improve this question

1 Answer 1

In what follows, $ \mathbb{F} $ shall denote either $ \mathbb{R} $ or $ \mathbb{C} $. The standard Euclidean topology on $ \mathbb{F} $ shall be denoted by $ \tau_{\mathbb{F}} $.

It is important to know that the weak topology on a vector space $ V $ over $ \mathbb{F} $ can only be defined after we have already endowed $ V $ with a linear topology, i.e., a topology on $ V $ that makes vector addition and scalar multiplication continuous operations. Hence, when one speaks of ‘weak topology’, it is always with respect to an existing linear topology.


What Semi-Norms Give Us

Let $ V $ be an abstract vector space over $ \mathbb{F} $ and $ \mathcal{P} $ a family of semi-norms on $ V $. We can define a topology on $ V $ by declaring its base to consist of subsets of $ V $ of the form $$ \{ v \in V ~|~ {p_{1}}(v - x) < \epsilon ~ \land ~ \ldots ~ \land ~ {p_{n}}(v - x) < \epsilon \}, $$ where

  • $ x \in V $,

  • $ \epsilon > 0 $ and

  • $ n \in \mathbb{N} $ and $ (p_{1},\ldots,p_{n}) $ is an $ n $-tuple of semi-norms coming from $ \mathcal{P} $.

This topology is called the semi-norm topology corresponding to $ \mathcal{P} $, and it can be shown to be a linear topology on $ V $. When we equip $ V $ with a semi-norm topology, we call $ V $ a locally convex space.

As you can see, semi-norms (whether there is only one or there are many) allow us to create a linear topology for $ V $ when there might have been none before. Its construction in no way depends on the weak topology, which comes only after.


Constructing the Weak Topology from an Existing Linear Topology

The weak topology on a vector space over $ \mathbb{F} $ can only be defined after we have equipped the vector space with some linear topology, for example the locally convex topology that was defined in the previous section.

Suppose that $ V $ is a vector space equipped with a linear topology $ \tau $. Let $ V^{*} $ denote the set of $ \tau $-continuous linear functionals on $ V $, i.e., continuous linear functions $ \varphi: (V,\tau) \to (\mathbb{F},\tau_{\mathbb{F}}) $. The weak topology on $ V $ with respect to $ \tau $ is defined as the smallest topology $ \tau_{\text{wk}} $ on $ V $ such that the mapping $ \varphi: (V,\tau_{\text{wk}}) \to (\mathbb{F},\tau_{\mathbb{F}}) $ is still continuous for all $ \varphi \in V^{*} $.

We can find a sub-basis of $ \tau_{\text{wk}} $ that consists of subsets of $ V $ of the form $ {\varphi^{\leftarrow}}[U] $, where $ \varphi \in V^{*} $ and $ U \in \tau_{\mathbb{F}} $.

Note that $ \tau_{\text{wk}} $ is a weaker topology than $ \tau $, i.e., $ \tau_{\text{wk}} \subseteq \tau $. Note also that $ \tau_{\text{wk}} $ is a linear topology on $ V $.


Wait! The Weak Topology Is Actually a Semi-Norm Topology!

I mentioned in the previous section that the weak topology arrives only after we have a linear topology. Here comes the tricky part. We can actually construct the weak topology as the semi-norm topology corresponding to some family $ \mathcal{P} $ of semi-norms. However, $ \mathcal{P} $ is not a rabbit pulled out of an empty hat. To define $ \mathcal{P} $, we need to have a linear topology in the first place. Herein lies the source of your confusion:

The weak topology is indeed a semi-norm topology, but you cannot begin to describe the semi-norms until you have put a linear topology on the vector space.

As before, let $ V $ be a vector space over $ \mathbb{F} $ equipped with a linear topology $ \tau $. For each $ \varphi \in V^{*} $, define a semi-norm $ p_{\varphi}: V \to [0,\infty) $ as follows: $$ \forall v \in V: \quad {p_{\varphi}}(v) \stackrel{\text{def}}{=} |\varphi(v)|. $$ Then $ \tau_{\text{wk}} $ as constructed in the previous section is actually the semi-norm topology corresponding to the family $ \{ p_{\varphi} ~|~ \varphi \in V^{*} \} $.


Motivation for the Weak Topology

As we already have $ \tau $, then why is there a need to create $ \tau_{\text{wk}} $? Think of it this way. The original topology $ \tau $ may contain more open sets than is actually necessary to make each $ \varphi \in V^{*} $ continuous. We can thus afford to throw out some open sets from $ \tau $ without affecting the continuity of the $ \varphi $’s. By discarding these unnecessary open sets and making the topology smaller, we can somehow endow $ V $ with certain nice topological properties. For example, with less open sets, some subsets of $ V $ automatically become compact subsets.

To give a further illustration, let us consider Kakutani’s Theorem, which states that a Banach space is reflexive if and only if its closed unit ball is compact with respect to the weak topology. For infinite-dimensional Banach spaces, the closed unit ball is never compact with respect to the norm-topology, which is a consequence of Riesz’s Lemma. However, by switching to the weak topology, the compactness of the closed unit ball may be regained, which is certainly the case precisely when the Banach space is reflexive, according to Kakutani’s result. Therefore, the weak topology gives us a complete characterization of reflexivity, and this is clear evidence of its utility.


Conclusion — $ V $ By Design

We saw a naked abstract vector space $ V $ who needed a topological outfit. We covered her shame by giving her a linear topology. $ V $ begged us, “Please respect my semi-norms if you wish to topologize me!” After we had dressed her, $ V $ examined herself in the mirror and delightfully exclaimed, “I look good with all my linear functionals!” We looked at her from top to bottom, shook our heads and told her, “No. You still look kinda baggy. But don’t worry! You’ll get to keep your linear functionals.” After removing her excess open sets, all of us concluded that $ V $’s minimalistic weak topology was stunning!

share|improve this answer
    
...underneath your closures... (c) –  Norbert Feb 17 '13 at 3:31
    
I need to teach Shakira some topology before she’s allowed to perform that during the Grammys. –  Haskell Curry Feb 17 '13 at 8:11

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

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