This reads like a textbook, not an encyclopedia's tone or style may not reflect the
encyclopedic tone used on Wikipedia. (January 2022) |
In mathematics, a dual system, dual pair or a duality over a field is a triple consisting of two vector spaces, and , over and a non- degenerate bilinear map .
Mathematical duality is the study of dual systems and is important in functional analysis. It has extensive applications to quantum mechanics arising in the theory of Hilbert spaces. In addition, it can be very helpful when working with quantum mechanics, quantum physics and much more.
A pairing or pair over a field is a triple which may also be denoted by consisting of two vector spaces and over . A bilinear map , named the bilinear map associated with the pairing, [1] more simply the pairing's map or its bilinear form. The examples here only describe which is either the real numbers or the complex numbers .
For every , define and for every define Every is a linear functional on and every is a linear functional on Let Where each of these sets forms a vector space of linear functionals.
It is common practice to write instead of , in which in some cases the pairing may often be denoted by rather than . However, this article will reserve the use of for the canonical evaluation map (defined below) so as to avoid confusion for readers not familiar with this subject.
A pairing is called a dual system, a dual pair, [2] or a duality over if the bilinear form is non- degenerate, which means that it satisfies the following two separation axioms:
In this case is non-degenerate, and one can say that places and in duality (or, redundantly but explicitly, in separated duality), and is called the duality pairing of the triple . [1] [2]
A subset of is called total if for every , implies A total subset of is defined analogously (see footnote). [note 1] Thus separates points of if and only if is a total subset of , and similarly for .
The vectors and are orthogonal, written , if . Two subsets and are orthogonal, written , if ; that is, if for all and . The definition of a subset being orthogonal to a vector is defined analogously.
The orthogonal complement or annihilator of a subset is Thus is a total subset of if and only if equals .
Given a triple defining a pairing over , the absolute polar set or polar set of a subset of is the set: Symmetrically, the absolute polar set or polar set of a subset of is denoted by and defined by
To use bookkeeping that helps keep track of the anti-symmetry of the two sides of the duality, the absolute polar of a subset of may also be called the absolute prepolar or prepolar of and then may be denoted by
[3]
The polar is necessarily a convex set containing where if is balanced then so is and if is a vector subspace of then so too is a vector subspace of [4]
If is a vector subspace of then and this is also equal to the real polar of If then the bipolar of , denoted , is the polar of the orthogonal complement of , i.e., the set Similarly, if then the bipolar of is
Given a pairing define a new pairing where for all and . [1]
There is a consistent theme in duality theory that any definition for a pairing has a corresponding dual definition for the pairing
For instance, if " distinguishes points of " (resp, " is a total subset of ") is defined as above, then this convention immediately produces the dual definition of " distinguishes points of " (resp, " is a total subset of ").
This following notation is almost ubiquitous and allows us to avoid assigning a symbol to
For another example, once the weak topology on is defined, denoted by , then this dual definition would automatically be applied to the pairing so as to obtain the definition of the weak topology on , and this topology would be denoted by rather than .
Although it is technically incorrect and an abuse of notation, this article will adhere to the nearly ubiquitous convention of treating a pairing interchangeably with and also of denoting by
Suppose that is a pairing, is a vector subspace of and is a vector subspace of . Then the restriction of to is the pairing If is a duality, then it's possible for a restriction to fail to be a duality (e.g. if and ).
This article will use the common practice of denoting the restriction by
Suppose that is a vector space and let denote the algebraic dual space of (that is, the space of all linear functionals on ). There is a canonical duality where which is called the evaluation map or the natural or canonical bilinear functional on Note in particular that for any is just another way of denoting ; i.e.
If is a vector subspace of , then the restriction of to is called the canonical pairing where if this pairing is a duality then it is instead called the canonical duality. Clearly, always distinguishes points of , so the canonical pairing is a dual system if and only if separates points of The following notation is now nearly ubiquitous in duality theory.
The evaluation map will be denoted by (rather than by ) and will be written rather than
If is a vector subspace of then distinguishes points of (or equivalently, is a duality) if and only if distinguishes points of or equivalently if is total (that is, for all implies ). [1]
Suppose is a topological vector space (TVS) with continuous dual space Then the restriction of the canonical duality to × defines a pairing for which separates points of If separates points of (which is true if, for instance, is a Hausdorff locally convex space) then this pairing forms a duality. [2]
The following result shows that the continuous linear functionals on a TVS are exactly those linear functionals that are bounded on a neighborhood of the origin.
Theorem [1] — Let be a TVS with algebraic dual and let be a basis of neighborhoods of at the origin. Under the canonical duality the continuous dual space of is the union of all as ranges over (where the polars are taken in ).
A pre-Hilbert space is a dual pairing if and only if is vector space over or has dimension Here it is assumed that the sesquilinear form is conjugate homogeneous in its second coordinate and homogeneous in its first coordinate.
Suppose that is a complex pre-Hilbert space with scalar multiplication denoted as usual by juxtaposition or by a dot Define the map where the right-hand side uses the scalar multiplication of Let denote the complex conjugate vector space of where denotes the additive group of (so vector addition in is identical to vector addition in ) but with scalar multiplication in being the map (instead of the scalar multiplication that is endowed with).
The map defined by is linear in both coordinates [note 2] and so forms a dual pairing.
Suppose that is a pairing of vector spaces over If then the weak topology on induced by (and ) is the weakest TVS topology on denoted by or simply making all maps continuous as ranges over [1] If is not clear from context then it should be assumed to be all of in which case it is called the weak topology on (induced by ). The notation or (if no confusion could arise) simply is used to denote endowed with the weak topology Importantly, the weak topology depends entirely on the function the usual topology on and 's vector space structure but not on the algebraic structures of
Similarly, if then the dual definition of the weak topology on induced by (and ), which is denoted by or simply (see footnote for details). [note 3]
The topology is locally convex since it is determined by the family of seminorms defined by as ranges over [1] If and is a net in then -converges to if converges to in [1] A net -converges to if and only if for all converges to If is a sequence of orthonormal vectors in Hilbert space, then converges weakly to 0 but does not norm-converge to 0 (or any other vector). [1]
If is a pairing and is a proper vector subspace of such that is a dual pair, then is strictly coarser than [1]
A subset of is -bounded if and only if where
If is a pairing then the following are equivalent:
The following theorem is of fundamental importance to duality theory because it completely characterizes the continuous dual space of
Weak representation theorem [1] — Let be a pairing over the field Then the continuous dual space of is Furthermore,
Consequently, the continuous dual space of is
With respect to the canonical pairing, if is a TVS whose continuous dual space separates points on (i.e. such that is Hausdorff, which implies that is also necessarily Hausdorff) then the continuous dual space of is equal to the set of all "evaluation at a point " maps as ranges over (i.e. the map that send to ). This is commonly written as This very important fact is why results for polar topologies on continuous dual spaces, such as the strong dual topology on for example, can also often be applied to the original TVS ; for instance, being identified with means that the topology on can instead be thought of as a topology on Moreover, if is endowed with a topology that is finer than then the continuous dual space of will necessarily contain as a subset. So for instance, when is endowed with the strong dual topology (and so is denoted by ) then which (among other things) allows for to be endowed with the subspace topology induced on it by, say, the strong dual topology (this topology is also called the strong bidual topology and it appears in the theory of reflexive spaces: the Hausdorff locally convex TVS is said to be semi-reflexive if and it will be called reflexive if in addition the strong bidual topology on is equal to 's original/starting topology).
If is a pairing then for any subset of :
If is a normed space then under the canonical duality, is norm closed in and is norm closed in [1]
Suppose that is a vector subspace of and let denote the restriction of to The weak topology on is identical to the subspace topology that inherits from
Also, is a paired space (where means ) where is defined by
The topology is equal to the subspace topology that inherits from [5] Furthermore, if is a dual system then so is [5]
Suppose that is a vector subspace of Then is a paired space where is defined by
The topology is identical to the usual quotient topology induced by on [5]
If is a locally convex space and if is a subset of the continuous dual space then is -bounded if and only if for some barrel in [1]
The following results are important for defining polar topologies.
If is a pairing and then: [1]
If is a pairing and is a locally convex topology on that is consistent with duality, then a subset of is a barrel in if and only if is the polar of some -bounded subset of [6]
Let and be pairings over and let be a linear map.
For all let be the map defined by It is said that 's transpose or adjoint is well-defined if the following conditions are satisfied:
In this case, for any there exists (by condition 2) a unique (by condition 1) such that ), where this element of will be denoted by This defines a linear map
called the transpose or adjoint of with respect to and (this should not be confused with the Hermitian adjoint). It is easy to see that the two conditions mentioned above (i.e. for "the transpose is well-defined") are also necessary for to be well-defined. For every the defining condition for is that is, for all
By the conventions mentioned at the beginning of this article, this also defines the transpose of linear maps of the form [note 4] [note 5] [note 6] [note 7] etc. (see footnote).
Throughout, and be pairings over and will be a linear map whose transpose is well-defined.
If and are normed spaces under their canonical dualities and if is a continuous linear map, then [1]
A linear map is weakly continuous (with respect to and ) if is continuous.
The following result shows that the existence of the transpose map is intimately tied to the weak topology.
Proposition — Assume that distinguishes points of and is a linear map. Then the following are equivalent:
If is weakly continuous then
Suppose that is a vector space and that is its the algebraic dual. Then every -bounded subset of is contained in a finite dimensional vector subspace and every vector subspace of is -closed. [1]
If is a complete topological vector space say that is -complete or (if no ambiguity can arise) weakly-complete. There exist Banach spaces that are not weakly-complete (despite being complete in their norm topology). [1]
If is a vector space then under the canonical duality, is complete. [1] Conversely, if is a Hausdorff locally convex TVS with continuous dual space then is complete if and only if ; that is, if and only if the map defined by sending to the evaluation map at (i.e. ) is a bijection. [1]
In particular, with respect to the canonical duality, if is a vector subspace of such that separates points of then is complete if and only if Said differently, there does not exist a proper vector subspace of such that is Hausdorff and is complete in the weak-* topology (i.e. the topology of pointwise convergence). Consequently, when the continuous dual space of a Hausdorff locally convex TVS is endowed with the weak-* topology, then is complete if and only if (that is, if and only if every linear functional on is continuous).
If distinguishes points of and if denotes the range of the injection then is a vector subspace of the algebraic dual space of and the pairing becomes canonically identified with the canonical pairing (where is the natural evaluation map). In particular, in this situation it will be assumed without loss of generality that is a vector subspace of 's algebraic dual and is the evaluation map.
In a completely analogous manner, if distinguishes points of then it is possible for to be identified as a vector subspace of 's algebraic dual space. [2]
In the special case where the dualities are the canonical dualities and the transpose of a linear map is always well-defined. This transpose is called the algebraic adjoint of and it will be denoted by ; that is, In this case, for all [1] [7] where the defining condition for is: or equivalently,
If for some integer is a basis for with dual basis is a linear operator, and the matrix representation of with respect to is then the transpose of is the matrix representation with respect to of
Suppose that and are canonical pairings (so and ) that are dual systems and let be a linear map. Then is weakly continuous if and only if it satisfies any of the following equivalent conditions: [1]
If is weakly continuous then will be continuous and furthermore, [7]
A map between topological spaces is relatively open if is an open mapping, where is the range of [1]
Suppose that and are dual systems and is a weakly continuous linear map. Then the following are equivalent: [1]
Furthermore,
The transpose of map between two TVSs is defined if and only if is weakly continuous.
If is a linear map between two Hausdorff locally convex topological vector spaces, then: [1]
Let be a locally convex space with continuous dual space and let [1]
Starting with only the weak topology, the use of polar sets produces a range of locally convex topologies. Such topologies are called polar topologies. The weak topology is the weakest topology of this range.
Throughout, will be a pairing over and will be a non-empty collection of -bounded subsets of
Given a collection of subsets of , the polar topology on determined by (and ) or the -topology on is the unique topological vector space (TVS) topology on for which forms a subbasis of neighborhoods at the origin. [1] When is endowed with this -topology then it is denoted by Y. Every polar topology is necessarily locally convex. [1] When is a directed set with respect to subset inclusion (i.e. if for all there exists some such that ) then this neighborhood subbasis at 0 actually forms a neighborhood basis at 0. [1]
The following table lists some of the more important polar topologies.
("topology of uniform convergence on ...") |
Notation | Name ("topology of...") | Alternative name |
---|---|---|---|
finite subsets of (or -closed disked hulls of finite subsets of ) |
pointwise/simple convergence | weak/weak* topology | |
-compact disks | Mackey topology | ||
-compact convex subsets | compact convex convergence | ||
-compact subsets (or balanced -compact subsets) |
compact convergence | ||
-bounded subsets | bounded convergence |
strong topology Strongest polar topology |
Continuity
A linear map is Mackey continuous (with respect to and ) if is continuous. [1]
A linear map is strongly continuous (with respect to and ) if is continuous. [1]
A subset of is weakly bounded (resp. Mackey bounded, strongly bounded) if it is bounded in (resp. bounded in bounded in ).
If is a pairing over and is a vector topology on then is a topology of the pairing and that it is compatible (or consistent) with the pairing if it is locally convex and if the continuous dual space of [note 8] If distinguishes points of then by identifying as a vector subspace of 's algebraic dual, the defining condition becomes: [1] Some authors (e.g. [Trèves 2006] and [Schaefer 1999]) require that a topology of a pair also be Hausdorff, [2] [8] which it would have to be if distinguishes the points of (which these authors assume).
The weak topology is compatible with the pairing (as was shown in the Weak representation theorem) and it is in fact the weakest such topology. There is a strongest topology compatible with this pairing and that is the Mackey topology. If is a normed space that is not reflexive then the usual norm topology on its continuous dual space is not compatible with the duality [1]
The following is one of the most important theorems in duality theory.
Mackey–Arens theorem I [1] — Let will be a pairing such that distinguishes the points of and let be a locally convex topology on (not necessarily Hausdorff). Then is compatible with the pairing if and only if is a polar topology determined by some collection of -compact disks that cover [note 9]
It follows that the Mackey topology which recall is the polar topology generated by all -compact disks in is the strongest locally convex topology on that is compatible with the pairing A locally convex space whose given topology is identical to the Mackey topology is called a Mackey space. The following consequence of the above Mackey-Arens theorem is also called the Mackey-Arens theorem.
Mackey–Arens theorem II [1] — Let will be a pairing such that distinguishes the points of and let be a locally convex topology on Then is compatible with the pairing if and only if
If is a TVS (over or ) then a half-space is a set of the form for some real and some continuous real linear functional on
Theorem — If is a locally convex space (over or ) and if is a non-empty closed and convex subset of then is equal to the intersection of all closed half spaces containing it. [9]
The above theorem implies that the closed and convex subsets of a locally convex space depend entirely on the continuous dual space. Consequently, the closed and convex subsets are the same in any topology compatible with duality;that is, if and are any locally convex topologies on with the same continuous dual spaces, then a convex subset of is closed in the topology if and only if it is closed in the topology. This implies that the -closure of any convex subset of is equal to its -closure and that for any -closed disk in [1] In particular, if is a subset of then is a barrel in if and only if it is a barrel in [1]
The following theorem shows that barrels (i.e. closed absorbing disks) are exactly the polars of weakly bounded subsets.
Theorem [1] — Let will be a pairing such that distinguishes the points of and let be a topology of the pair. Then a subset of is a barrel in if and only if it is equal to the polar of some -bounded subset of
If is a topological vector space, then: [1] [10]
All of this leads to Mackey's theorem, which is one of the central theorems in the theory of dual systems. In short, it states the bounded subsets are the same for any two Hausdorff locally convex topologies that are compatible with the same duality.
Mackey's theorem [10] [1] — Suppose that is a Hausdorff locally convex space with continuous dual space and consider the canonical duality If is any topology on that is compatible with the duality on then the bounded subsets of are the same as the bounded subsets of
Let denote the space of all sequences of scalars such that for all sufficiently large Let and define a bilinear map by Then [1] Moreover, a subset is -bounded (resp. -bounded) if and only if there exists a sequence of positive real numbers such that for all and all indices (resp. and ). [1]
It follows that there are weakly bounded (that is, -bounded) subsets of that are not strongly bounded (that is, not -bounded).
This reads like a textbook, not an encyclopedia's tone or style may not reflect the
encyclopedic tone used on Wikipedia. (January 2022) |
In mathematics, a dual system, dual pair or a duality over a field is a triple consisting of two vector spaces, and , over and a non- degenerate bilinear map .
Mathematical duality is the study of dual systems and is important in functional analysis. It has extensive applications to quantum mechanics arising in the theory of Hilbert spaces. In addition, it can be very helpful when working with quantum mechanics, quantum physics and much more.
A pairing or pair over a field is a triple which may also be denoted by consisting of two vector spaces and over . A bilinear map , named the bilinear map associated with the pairing, [1] more simply the pairing's map or its bilinear form. The examples here only describe which is either the real numbers or the complex numbers .
For every , define and for every define Every is a linear functional on and every is a linear functional on Let Where each of these sets forms a vector space of linear functionals.
It is common practice to write instead of , in which in some cases the pairing may often be denoted by rather than . However, this article will reserve the use of for the canonical evaluation map (defined below) so as to avoid confusion for readers not familiar with this subject.
A pairing is called a dual system, a dual pair, [2] or a duality over if the bilinear form is non- degenerate, which means that it satisfies the following two separation axioms:
In this case is non-degenerate, and one can say that places and in duality (or, redundantly but explicitly, in separated duality), and is called the duality pairing of the triple . [1] [2]
A subset of is called total if for every , implies A total subset of is defined analogously (see footnote). [note 1] Thus separates points of if and only if is a total subset of , and similarly for .
The vectors and are orthogonal, written , if . Two subsets and are orthogonal, written , if ; that is, if for all and . The definition of a subset being orthogonal to a vector is defined analogously.
The orthogonal complement or annihilator of a subset is Thus is a total subset of if and only if equals .
Given a triple defining a pairing over , the absolute polar set or polar set of a subset of is the set: Symmetrically, the absolute polar set or polar set of a subset of is denoted by and defined by
To use bookkeeping that helps keep track of the anti-symmetry of the two sides of the duality, the absolute polar of a subset of may also be called the absolute prepolar or prepolar of and then may be denoted by
[3]
The polar is necessarily a convex set containing where if is balanced then so is and if is a vector subspace of then so too is a vector subspace of [4]
If is a vector subspace of then and this is also equal to the real polar of If then the bipolar of , denoted , is the polar of the orthogonal complement of , i.e., the set Similarly, if then the bipolar of is
Given a pairing define a new pairing where for all and . [1]
There is a consistent theme in duality theory that any definition for a pairing has a corresponding dual definition for the pairing
For instance, if " distinguishes points of " (resp, " is a total subset of ") is defined as above, then this convention immediately produces the dual definition of " distinguishes points of " (resp, " is a total subset of ").
This following notation is almost ubiquitous and allows us to avoid assigning a symbol to
For another example, once the weak topology on is defined, denoted by , then this dual definition would automatically be applied to the pairing so as to obtain the definition of the weak topology on , and this topology would be denoted by rather than .
Although it is technically incorrect and an abuse of notation, this article will adhere to the nearly ubiquitous convention of treating a pairing interchangeably with and also of denoting by
Suppose that is a pairing, is a vector subspace of and is a vector subspace of . Then the restriction of to is the pairing If is a duality, then it's possible for a restriction to fail to be a duality (e.g. if and ).
This article will use the common practice of denoting the restriction by
Suppose that is a vector space and let denote the algebraic dual space of (that is, the space of all linear functionals on ). There is a canonical duality where which is called the evaluation map or the natural or canonical bilinear functional on Note in particular that for any is just another way of denoting ; i.e.
If is a vector subspace of , then the restriction of to is called the canonical pairing where if this pairing is a duality then it is instead called the canonical duality. Clearly, always distinguishes points of , so the canonical pairing is a dual system if and only if separates points of The following notation is now nearly ubiquitous in duality theory.
The evaluation map will be denoted by (rather than by ) and will be written rather than
If is a vector subspace of then distinguishes points of (or equivalently, is a duality) if and only if distinguishes points of or equivalently if is total (that is, for all implies ). [1]
Suppose is a topological vector space (TVS) with continuous dual space Then the restriction of the canonical duality to × defines a pairing for which separates points of If separates points of (which is true if, for instance, is a Hausdorff locally convex space) then this pairing forms a duality. [2]
The following result shows that the continuous linear functionals on a TVS are exactly those linear functionals that are bounded on a neighborhood of the origin.
Theorem [1] — Let be a TVS with algebraic dual and let be a basis of neighborhoods of at the origin. Under the canonical duality the continuous dual space of is the union of all as ranges over (where the polars are taken in ).
A pre-Hilbert space is a dual pairing if and only if is vector space over or has dimension Here it is assumed that the sesquilinear form is conjugate homogeneous in its second coordinate and homogeneous in its first coordinate.
Suppose that is a complex pre-Hilbert space with scalar multiplication denoted as usual by juxtaposition or by a dot Define the map where the right-hand side uses the scalar multiplication of Let denote the complex conjugate vector space of where denotes the additive group of (so vector addition in is identical to vector addition in ) but with scalar multiplication in being the map (instead of the scalar multiplication that is endowed with).
The map defined by is linear in both coordinates [note 2] and so forms a dual pairing.
Suppose that is a pairing of vector spaces over If then the weak topology on induced by (and ) is the weakest TVS topology on denoted by or simply making all maps continuous as ranges over [1] If is not clear from context then it should be assumed to be all of in which case it is called the weak topology on (induced by ). The notation or (if no confusion could arise) simply is used to denote endowed with the weak topology Importantly, the weak topology depends entirely on the function the usual topology on and 's vector space structure but not on the algebraic structures of
Similarly, if then the dual definition of the weak topology on induced by (and ), which is denoted by or simply (see footnote for details). [note 3]
The topology is locally convex since it is determined by the family of seminorms defined by as ranges over [1] If and is a net in then -converges to if converges to in [1] A net -converges to if and only if for all converges to If is a sequence of orthonormal vectors in Hilbert space, then converges weakly to 0 but does not norm-converge to 0 (or any other vector). [1]
If is a pairing and is a proper vector subspace of such that is a dual pair, then is strictly coarser than [1]
A subset of is -bounded if and only if where
If is a pairing then the following are equivalent:
The following theorem is of fundamental importance to duality theory because it completely characterizes the continuous dual space of
Weak representation theorem [1] — Let be a pairing over the field Then the continuous dual space of is Furthermore,
Consequently, the continuous dual space of is
With respect to the canonical pairing, if is a TVS whose continuous dual space separates points on (i.e. such that is Hausdorff, which implies that is also necessarily Hausdorff) then the continuous dual space of is equal to the set of all "evaluation at a point " maps as ranges over (i.e. the map that send to ). This is commonly written as This very important fact is why results for polar topologies on continuous dual spaces, such as the strong dual topology on for example, can also often be applied to the original TVS ; for instance, being identified with means that the topology on can instead be thought of as a topology on Moreover, if is endowed with a topology that is finer than then the continuous dual space of will necessarily contain as a subset. So for instance, when is endowed with the strong dual topology (and so is denoted by ) then which (among other things) allows for to be endowed with the subspace topology induced on it by, say, the strong dual topology (this topology is also called the strong bidual topology and it appears in the theory of reflexive spaces: the Hausdorff locally convex TVS is said to be semi-reflexive if and it will be called reflexive if in addition the strong bidual topology on is equal to 's original/starting topology).
If is a pairing then for any subset of :
If is a normed space then under the canonical duality, is norm closed in and is norm closed in [1]
Suppose that is a vector subspace of and let denote the restriction of to The weak topology on is identical to the subspace topology that inherits from
Also, is a paired space (where means ) where is defined by
The topology is equal to the subspace topology that inherits from [5] Furthermore, if is a dual system then so is [5]
Suppose that is a vector subspace of Then is a paired space where is defined by
The topology is identical to the usual quotient topology induced by on [5]
If is a locally convex space and if is a subset of the continuous dual space then is -bounded if and only if for some barrel in [1]
The following results are important for defining polar topologies.
If is a pairing and then: [1]
If is a pairing and is a locally convex topology on that is consistent with duality, then a subset of is a barrel in if and only if is the polar of some -bounded subset of [6]
Let and be pairings over and let be a linear map.
For all let be the map defined by It is said that 's transpose or adjoint is well-defined if the following conditions are satisfied:
In this case, for any there exists (by condition 2) a unique (by condition 1) such that ), where this element of will be denoted by This defines a linear map
called the transpose or adjoint of with respect to and (this should not be confused with the Hermitian adjoint). It is easy to see that the two conditions mentioned above (i.e. for "the transpose is well-defined") are also necessary for to be well-defined. For every the defining condition for is that is, for all
By the conventions mentioned at the beginning of this article, this also defines the transpose of linear maps of the form [note 4] [note 5] [note 6] [note 7] etc. (see footnote).
Throughout, and be pairings over and will be a linear map whose transpose is well-defined.
If and are normed spaces under their canonical dualities and if is a continuous linear map, then [1]
A linear map is weakly continuous (with respect to and ) if is continuous.
The following result shows that the existence of the transpose map is intimately tied to the weak topology.
Proposition — Assume that distinguishes points of and is a linear map. Then the following are equivalent:
If is weakly continuous then
Suppose that is a vector space and that is its the algebraic dual. Then every -bounded subset of is contained in a finite dimensional vector subspace and every vector subspace of is -closed. [1]
If is a complete topological vector space say that is -complete or (if no ambiguity can arise) weakly-complete. There exist Banach spaces that are not weakly-complete (despite being complete in their norm topology). [1]
If is a vector space then under the canonical duality, is complete. [1] Conversely, if is a Hausdorff locally convex TVS with continuous dual space then is complete if and only if ; that is, if and only if the map defined by sending to the evaluation map at (i.e. ) is a bijection. [1]
In particular, with respect to the canonical duality, if is a vector subspace of such that separates points of then is complete if and only if Said differently, there does not exist a proper vector subspace of such that is Hausdorff and is complete in the weak-* topology (i.e. the topology of pointwise convergence). Consequently, when the continuous dual space of a Hausdorff locally convex TVS is endowed with the weak-* topology, then is complete if and only if (that is, if and only if every linear functional on is continuous).
If distinguishes points of and if denotes the range of the injection then is a vector subspace of the algebraic dual space of and the pairing becomes canonically identified with the canonical pairing (where is the natural evaluation map). In particular, in this situation it will be assumed without loss of generality that is a vector subspace of 's algebraic dual and is the evaluation map.
In a completely analogous manner, if distinguishes points of then it is possible for to be identified as a vector subspace of 's algebraic dual space. [2]
In the special case where the dualities are the canonical dualities and the transpose of a linear map is always well-defined. This transpose is called the algebraic adjoint of and it will be denoted by ; that is, In this case, for all [1] [7] where the defining condition for is: or equivalently,
If for some integer is a basis for with dual basis is a linear operator, and the matrix representation of with respect to is then the transpose of is the matrix representation with respect to of
Suppose that and are canonical pairings (so and ) that are dual systems and let be a linear map. Then is weakly continuous if and only if it satisfies any of the following equivalent conditions: [1]
If is weakly continuous then will be continuous and furthermore, [7]
A map between topological spaces is relatively open if is an open mapping, where is the range of [1]
Suppose that and are dual systems and is a weakly continuous linear map. Then the following are equivalent: [1]
Furthermore,
The transpose of map between two TVSs is defined if and only if is weakly continuous.
If is a linear map between two Hausdorff locally convex topological vector spaces, then: [1]
Let be a locally convex space with continuous dual space and let [1]
Starting with only the weak topology, the use of polar sets produces a range of locally convex topologies. Such topologies are called polar topologies. The weak topology is the weakest topology of this range.
Throughout, will be a pairing over and will be a non-empty collection of -bounded subsets of
Given a collection of subsets of , the polar topology on determined by (and ) or the -topology on is the unique topological vector space (TVS) topology on for which forms a subbasis of neighborhoods at the origin. [1] When is endowed with this -topology then it is denoted by Y. Every polar topology is necessarily locally convex. [1] When is a directed set with respect to subset inclusion (i.e. if for all there exists some such that ) then this neighborhood subbasis at 0 actually forms a neighborhood basis at 0. [1]
The following table lists some of the more important polar topologies.
("topology of uniform convergence on ...") |
Notation | Name ("topology of...") | Alternative name |
---|---|---|---|
finite subsets of (or -closed disked hulls of finite subsets of ) |
pointwise/simple convergence | weak/weak* topology | |
-compact disks | Mackey topology | ||
-compact convex subsets | compact convex convergence | ||
-compact subsets (or balanced -compact subsets) |
compact convergence | ||
-bounded subsets | bounded convergence |
strong topology Strongest polar topology |
Continuity
A linear map is Mackey continuous (with respect to and ) if is continuous. [1]
A linear map is strongly continuous (with respect to and ) if is continuous. [1]
A subset of is weakly bounded (resp. Mackey bounded, strongly bounded) if it is bounded in (resp. bounded in bounded in ).
If is a pairing over and is a vector topology on then is a topology of the pairing and that it is compatible (or consistent) with the pairing if it is locally convex and if the continuous dual space of [note 8] If distinguishes points of then by identifying as a vector subspace of 's algebraic dual, the defining condition becomes: [1] Some authors (e.g. [Trèves 2006] and [Schaefer 1999]) require that a topology of a pair also be Hausdorff, [2] [8] which it would have to be if distinguishes the points of (which these authors assume).
The weak topology is compatible with the pairing (as was shown in the Weak representation theorem) and it is in fact the weakest such topology. There is a strongest topology compatible with this pairing and that is the Mackey topology. If is a normed space that is not reflexive then the usual norm topology on its continuous dual space is not compatible with the duality [1]
The following is one of the most important theorems in duality theory.
Mackey–Arens theorem I [1] — Let will be a pairing such that distinguishes the points of and let be a locally convex topology on (not necessarily Hausdorff). Then is compatible with the pairing if and only if is a polar topology determined by some collection of -compact disks that cover [note 9]
It follows that the Mackey topology which recall is the polar topology generated by all -compact disks in is the strongest locally convex topology on that is compatible with the pairing A locally convex space whose given topology is identical to the Mackey topology is called a Mackey space. The following consequence of the above Mackey-Arens theorem is also called the Mackey-Arens theorem.
Mackey–Arens theorem II [1] — Let will be a pairing such that distinguishes the points of and let be a locally convex topology on Then is compatible with the pairing if and only if
If is a TVS (over or ) then a half-space is a set of the form for some real and some continuous real linear functional on
Theorem — If is a locally convex space (over or ) and if is a non-empty closed and convex subset of then is equal to the intersection of all closed half spaces containing it. [9]
The above theorem implies that the closed and convex subsets of a locally convex space depend entirely on the continuous dual space. Consequently, the closed and convex subsets are the same in any topology compatible with duality;that is, if and are any locally convex topologies on with the same continuous dual spaces, then a convex subset of is closed in the topology if and only if it is closed in the topology. This implies that the -closure of any convex subset of is equal to its -closure and that for any -closed disk in [1] In particular, if is a subset of then is a barrel in if and only if it is a barrel in [1]
The following theorem shows that barrels (i.e. closed absorbing disks) are exactly the polars of weakly bounded subsets.
Theorem [1] — Let will be a pairing such that distinguishes the points of and let be a topology of the pair. Then a subset of is a barrel in if and only if it is equal to the polar of some -bounded subset of
If is a topological vector space, then: [1] [10]
All of this leads to Mackey's theorem, which is one of the central theorems in the theory of dual systems. In short, it states the bounded subsets are the same for any two Hausdorff locally convex topologies that are compatible with the same duality.
Mackey's theorem [10] [1] — Suppose that is a Hausdorff locally convex space with continuous dual space and consider the canonical duality If is any topology on that is compatible with the duality on then the bounded subsets of are the same as the bounded subsets of
Let denote the space of all sequences of scalars such that for all sufficiently large Let and define a bilinear map by Then [1] Moreover, a subset is -bounded (resp. -bounded) if and only if there exists a sequence of positive real numbers such that for all and all indices (resp. and ). [1]
It follows that there are weakly bounded (that is, -bounded) subsets of that are not strongly bounded (that is, not -bounded).