Characterizations
If
is a cone in a TVS
then for any subset
let
be the
-saturated hull of
and for any collection
of subsets of
let
If
is a cone in a TVS
then
is normal if
where
is the neighborhood filter at the origin.
If
is a collection of subsets of
and if
is a subset of
then
is a fundamental subfamily of
if every
is contained as a subset of some element of
If
is a family of subsets of a TVS
then a cone
in
is called a
-cone if
is a fundamental subfamily of
and
is a strict
-cone if
is a fundamental subfamily of
Let
denote the family of all bounded subsets of
If
is a cone in a TVS
(over the real or complex numbers), then the following are equivalent:
-
is a normal cone.
- For every filter
in
if
then ![{\displaystyle \lim \left[{\mathcal {F))\right]_{C}=0.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f166ffd00f6a9090a097e6848a38fcf5fc9a8927)
- There exists a neighborhood base
in
such that
implies ![{\displaystyle \left[B\cap C\right]_{C}\subseteq B.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/da12a7ec50a79445ed80e7882479326264e0c0a2)
and if
is a vector space over the reals then we may add to this list:
- There exists a neighborhood base at the origin consisting of convex, balanced,
-saturated sets.
- There exists a generating family
of semi-norms on
such that
for all
and ![{\displaystyle p\in {\mathcal {P)).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/108f676b63be17956db0b24d8e187c9f75acb8e9)
and if
is a locally convex space and if the dual cone of
is denoted by
then we may add to this list:
- For any equicontinuous subset
there exists an equicontiuous
such that ![{\displaystyle S\subseteq B-B.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d8013f3265f29d79db8c30e0954448eab4ef9615)
- The topology of
is the topology of uniform convergence on the equicontinuous subsets of ![{\displaystyle C^{\prime }.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5ef528a00395ed3ee78b8389ff5b625d801989cb)
and if
is an infrabarreled locally convex space and if
is the family of all strongly bounded subsets of
then we may add to this list:
- The topology of
is the topology of uniform convergence on strongly bounded subsets of ![{\displaystyle C^{\prime }.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5ef528a00395ed3ee78b8389ff5b625d801989cb)
is a
-cone in
- this means that the family
is a fundamental subfamily of ![{\displaystyle {\mathcal {B))^{\prime }.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e4f6d5ca360284721e1fadb305755331b3153d47)
is a strict
-cone in
- this means that the family
is a fundamental subfamily of ![{\displaystyle {\mathcal {B))^{\prime }.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e4f6d5ca360284721e1fadb305755331b3153d47)
and if
is an ordered locally convex TVS over the reals whose positive cone is
then we may add to this list:
- there exists a Hausdorff locally compact topological space
such that
is isomorphic (as an ordered TVS) with a subspace of
where
is the space of all real-valued continuous functions on
under the topology of compact convergence.
If
is a locally convex TVS,
is a cone in
with dual cone
and
is a saturated family of weakly bounded subsets of
then
- if
is a
-cone then
is a normal cone for the
-topology on
;
- if
is a normal cone for a
-topology on
consistent with
then
is a strict
-cone in ![{\displaystyle X^{\prime }.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/980210d5ccf78c678264901dc7b0ce8a53d827bc)
If
is a Banach space,
is a closed cone in
, and
is the family of all bounded subsets of
then the dual cone
is normal in
if and only if
is a strict
-cone.
If
is a Banach space and
is a cone in
then the following are equivalent:
is a
-cone in
;
;
is a strict
-cone in ![{\displaystyle X.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5ba76c5a460c4a0bb1639a193bc1830f0a773e03)
Ordered topological vector spaces
Suppose
is an ordered topological vector space. That is,
is a topological vector space, and we define
whenever
lies in the cone
. The following statements are equivalent:[3]
- The cone
is normal;
- The normed space
admits an equivalent monotone norm;
- There exists a constant
such that
implies
;
- The full hull
of the closed unit ball
of
is norm bounded;
- There is a constant
such that
implies
.