Weak topology (polar topology)
Jump to navigation
Jump to search
This article does not cite any sources. (December 2009) (Learn how and when to remove this template message) |
In functional analysis and related areas of mathematics the weak topology is the coarsest polar topology, the topology with the fewest open sets, on a dual pair. The finest polar topology is called strong topology.
Under the weak topology the bounded sets coincide with the relatively compact sets which leads to the important Bourbaki–Alaoglu theorem.
Definition[edit]
Given a dual pair the weak topology is the weakest polar topology on so that
- .
That is the continuous dual of is equal to up to isomorphism.
The weak topology is constructed as follows:
For every in on we define a seminorm on
with
This family of seminorms defines a locally convex topology on .
Examples[edit]
- Given a normed vector space and its continuous dual , is called the weak topology on and the weak* topology on