Weak topology
In mathematics, weak topology is an alternative term for certain initial topologies, often on topological vector spaces or spaces of linear operators, for instance on a Hilbert space. The term is most commonly used for the initial topology of a topological vector space (such as a normed vector space) with respect to its continuous dual. The remainder of this article will deal with this case, which is one of the concepts of functional analysis.
One may call subsets of a topological vector space weakly closed (respectively, weakly compact, etc.) if they are closed (respectively, compact, etc.) with respect to the weak topology. Likewise, functions are sometimes called weakly continuous (respectively, weakly differentiable, weakly analytic, etc.) if they are continuous (respectively, differentiable, analytic, etc.) with respect to the weak topology.
Contents
1 The weak and strong topologies
1.1 Weak convergence
1.2 Other properties
2 Weak-* topology
2.1 Weak-* convergence
2.2 Other properties
3 Examples
3.1 Hilbert spaces
3.2 Distributions
4 Operator topologies
5 See also
6 Notes
7 References
The weak and strong topologies
Let K be a topological field, namely a field with a topology such that addition, multiplication, and division are continuous. In most applications K will be either the field of complex numbers or the field of real numbers with the familiar topologies. Let X be a topological vector space over K. Namely, X is a K vector space equipped with a topology so that vector addition and scalar multiplication are continuous.
We may define a possibly different topology on X using the continuous (or topological) dual space X*. The topological dual space consists of all linear functions from X into the base field K that are continuous with respect to the given topology. The weak topology on X is the initial topology
with respect to the family X*. In other words, it is the coarsest topology on X such that each element of X* remains a continuous function. In order to distinguish the weak topology from the original topology on X, the original topology is often called the strong topology.
A subbase for the weak topology is the collection of sets of the form φ−1(U) where φ ∈ X* and U is an open subset of the base field K. In other words, a subset of X is open in the weak topology if and only if it can be written as a union of (possibly infinitely many) sets, each of which is an intersection of finitely many sets of the form φ−1(U).
More generally, if F is a subset of the algebraic dual space, then the initial topology of X with respect to F, denoted by σ(X,F), is the weak topology with respect to F . If one takes F to be the whole continuous dual space of X, then the weak topology with respect to F coincides with the weak topology defined above.
If the field K has an absolute value |⋅|{displaystyle |cdot |}, then the weak topology σ(X,F) is induced by the family of
seminorms,
- ‖x‖f=def|f(x)|{displaystyle |x|_{f}{overset {text{def}}{=}}|f(x)|}
for all f∈F and x∈X. In particular, weak topologies are locally convex.
From this point of view, the weak topology is the coarsest polar topology; see weak topology (polar topology) for details. Specifically, if F is a vector space of linear functionals on X which separates points of X, then the continuous dual of X with respect to the topology σ(X,F) is precisely equal to F (Rudin 1991, Theorem 3.10).
Weak convergence
The weak topology is characterized by the following condition: a net (xλ) in X converges in the weak topology to the element x of X if and only if φ(xλ) converges to φ(x) in R or C for all φ in X* .
In particular, if xn is a sequence in X, then xnconverges weakly to x if
- φ(xn)→φ(x){displaystyle varphi (x_{n})to varphi (x)}
as n→∞{displaystyle nto infty } for all φ∈X∗{displaystyle varphi in X^{ast }}. In this case, it is customary to write
- xn⟶wx{displaystyle x_{n}{overset {mathrm {w} }{longrightarrow }}x}
or, sometimes,
- xn⇀x.{displaystyle x_{n}rightharpoonup x.}
Other properties
If X is equipped with the weak topology, then addition and scalar multiplication remain continuous operations, and X is a locally convex topological vector space.
If X is a normed space, then the dual space X* is itself a normed vector space by using the norm ǁφǁ = supǁxǁ≤1|φ(x)|. This norm gives rise to a topology, called the strong topology, on X*. This is the topology of uniform convergence. The uniform and strong topologies are generally different for other spaces of linear maps; see below.
Weak-* topology
A space X can be embedded into its double dual X** by
- x↦Tx{displaystyle xmapsto T_{x}}
where
- Tx(ϕ)=ϕ(x).{displaystyle T_{x}(phi )=phi (x).}
Thus T : X → X** is an injective linear mapping, though not necessarily surjective (spaces for which this canonical embedding is surjective are called reflexive). The weak-* topology on X* is the weak topology induced by the image of T: T(X) ⊂ X**. In other words, it is the coarsest topology such that the maps Tx, defined by Tx(φ) = φ(x) from X* to the base field R or C remain continuous.
Weak-* convergence
A net φλ in X* is convergent to φ in the weak-* topology if it converges pointwise:
- ϕλ(x)→ϕ(x){displaystyle phi _{lambda }(x)rightarrow phi (x)}
for all x in X. In particular, a sequence of φn ∈ X* converges to φ provided that
- ϕn(x)→ϕ(x){displaystyle phi _{n}(x)to phi (x)}
for all x in X. In this case, one writes
- ϕn→w∗ϕ{displaystyle phi _{n}{overset {w^{*}}{rightarrow }}phi }
as n → ∞.
Weak-* convergence is sometimes called the topology of simple convergence or the topology of pointwise convergence. Indeed, it coincides with the topology of pointwise convergence of linear functionals.
Other properties
By definition, the weak* topology is weaker than the weak topology on X*. An important fact about the weak* topology is the Banach–Alaoglu theorem: if X is normed, then the closed unit ball in X* is weak*-compact (more generally, the polar in X* of a neighborhood of 0 in X is weak*-compact). Moreover, the closed unit ball in a normed space X is compact in the weak topology if and only if X is reflexive.
In more generality, let F be locally compact valued field (e.g., the reals, the complex numbers, or any of the p-adic number systems). Let X be a normed topological vector space over F, compatible with the absolute value in F. Then in X*, the topological dual space X of continuous F-valued linear functionals on X, all norm-closed balls are compact in the weak-* topology.
If a normed space X is separable, then the weak-* topology is metrizable on the norm-bounded subsets of X*. If X is a Banach space, the weak-* topology is not metrizable on all of X* unless X is finite-dimensional.[1]
Examples
Hilbert spaces
Consider, for example, the difference between strong and weak convergence of functions in the Hilbert space L2(Rn). Strong convergence of a sequence ψk∈L2(Rn) to an element ψ means that
- ∫Rn|ψk−ψ|2dμ→0{displaystyle int _{mathbf {R} ^{n}}|psi _{k}-psi |^{2},{rm {d}}mu ,to 0}
as k→∞. Here the notion of convergence corresponds to the norm on L2.
In contrast weak convergence only demands that
- ∫Rnψ¯kfdμ→∫Rnψ¯fdμ{displaystyle int _{mathbf {R} ^{n}}{bar {psi }}_{k}f,mathrm {d} mu to int _{mathbf {R} ^{n}}{bar {psi }}f,mathrm {d} mu }
for all functions f∈L2 (or, more typically, all f in a dense subset of L2 such as a space of test functions, if the sequence {ψk} is bounded). For given test functions, the relevant notion of convergence only corresponds to the topology used in C.
For example, in the Hilbert space L2(0,π), the sequence of functions
- ψk(x)=2/πsin(kx){displaystyle psi _{k}(x)={sqrt {2/pi }}sin(kx)}
form an orthonormal basis. In particular, the (strong) limit of ψk as k→∞ does not exist. On the other hand, by the Riemann–Lebesgue lemma, the weak limit exists and is zero.
Distributions
One normally obtains spaces of distributions by forming the strong dual of a space of test functions (such as the compactly supported smooth functions on Rn). In an alternative construction of such spaces, one can take the weak dual of a space of test functions inside a Hilbert space such as L2. Thus one is led to consider the idea of a rigged Hilbert space.
Operator topologies
If X and Y are topological vector spaces, the space L(X,Y) of continuous linear operators f:X → Y may carry a variety of different possible topologies. The naming of such topologies depends on the kind of topology one is using on the target space Y to define operator convergence (Yosida 1980, IV.7 Topologies of linear maps). There are, in general, a vast array of possible operator topologies on L(X,Y), whose naming is not entirely intuitive.
For example, the strong operator topology on L(X,Y) is the topology of pointwise convergence. For instance, if Y is a normed space, then this topology is defined by the seminorms indexed by x∈X:
- f↦‖f(x)‖Y.{displaystyle fmapsto |f(x)|_{Y}.}
More generally, if a family of seminorms Q defines the topology on Y, then the seminorms pq,x on L(X,Y) defining the strong topology are given by
- pq,x:f↦q(f(x)),{displaystyle p_{q,x}:fmapsto q(f(x)),}
indexed by q∈Q and x∈X.
In particular, see the weak operator topology and weak* operator topology.
See also
Eberlein compactum, a compact set in the weak topology- Weak convergence (Hilbert space)
- Weak-star operator topology
- Weak convergence of measures
- Topologies on the set of operators on a Hilbert space
- Vague topology
Notes
^ Proposition 2.6.12, p. 226 in Megginson, Robert E. (1998), An introduction to Banach space theory, Graduate Texts in Mathematics, 183, New York: Springer-Verlag, pp. xx+596, ISBN 0-387-98431-3.mw-parser-output cite.citation{font-style:inherit}.mw-parser-output q{quotes:"""""""'""'"}.mw-parser-output code.cs1-code{color:inherit;background:inherit;border:inherit;padding:inherit}.mw-parser-output .cs1-lock-free a{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/6/65/Lock-green.svg/9px-Lock-green.svg.png")no-repeat;background-position:right .1em center}.mw-parser-output .cs1-lock-limited a,.mw-parser-output .cs1-lock-registration a{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/d/d6/Lock-gray-alt-2.svg/9px-Lock-gray-alt-2.svg.png")no-repeat;background-position:right .1em center}.mw-parser-output .cs1-lock-subscription a{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/a/aa/Lock-red-alt-2.svg/9px-Lock-red-alt-2.svg.png")no-repeat;background-position:right .1em center}.mw-parser-output .cs1-subscription,.mw-parser-output .cs1-registration{color:#555}.mw-parser-output .cs1-subscription span,.mw-parser-output .cs1-registration span{border-bottom:1px dotted;cursor:help}.mw-parser-output .cs1-hidden-error{display:none;font-size:100%}.mw-parser-output .cs1-visible-error{font-size:100%}.mw-parser-output .cs1-subscription,.mw-parser-output .cs1-registration,.mw-parser-output .cs1-format{font-size:95%}.mw-parser-output .cs1-kern-left,.mw-parser-output .cs1-kern-wl-left{padding-left:0.2em}.mw-parser-output .cs1-kern-right,.mw-parser-output .cs1-kern-wl-right{padding-right:0.2em}.
References
Conway, John B. (1994), A Course in Functional Analysis (2nd ed.), Springer-Verlag, ISBN 0-387-97245-5
Pedersen, Gert (1989), Analysis Now, Springer, ISBN 0-387-96788-5
Rudin, Walter (1991). Functional analysis. McGraw-Hill Science/Engineering/Math. ISBN 978-0-07-054236-5.
Willard, Stephen (February 2004). General Topology. Courier Dover Publications. ISBN 9780486434797.
Yosida, Kosaku (1980), Functional analysis (6th ed.), Springer, ISBN 978-3-540-58654-8