Difference between revisions of "Yosida representation theorem"
m (link) |
m (link) |
||
Line 9: | Line 9: | ||
==Representation of Archimedean Riesz spaces with strong unit.== | ==Representation of Archimedean Riesz spaces with strong unit.== | ||
− | Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/y/y099/y099050/y09905046.png" /> be an Archimedean Riesz space. Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/y/y099/y099050/y09905047.png" /> be the set of maximal ideals of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/y/y099/y099050/y09905048.png" />. For each <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/y/y099/y099050/y09905049.png" />, let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/y/y099/y099050/y09905050.png" />. Define a topology on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/y/y099/y099050/y09905051.png" /> by taking the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/y/y099/y099050/y09905052.png" /> as a subbase (cf. [[Pre-base|Pre-base]]). The closed sets of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/y/y099/y099050/y09905053.png" /> are the sets <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/y/y099/y099050/y09905054.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/y/y099/y099050/y09905055.png" /> runs through all subsets of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/y/y099/y099050/y09905056.png" />. This topology is called the hull-kernel topology on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/y/y099/y099050/y09905057.png" />. The construction is a fairly familiar one and occurs in several parts of mathematics. It is originally due to M.H. Stone. Depending on which sets of ideals are used, the mathematical specialism involved, and the ideosyncracies of authors it is also called the Zariski topology, Gel'fand topology, Gel'fand–Kolmogorov topology, Jacobson topology, Grothendieck topology, etc. | + | Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/y/y099/y099050/y09905046.png" /> be an Archimedean Riesz space. Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/y/y099/y099050/y09905047.png" /> be the set of maximal ideals of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/y/y099/y099050/y09905048.png" />. For each <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/y/y099/y099050/y09905049.png" />, let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/y/y099/y099050/y09905050.png" />. Define a topology on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/y/y099/y099050/y09905051.png" /> by taking the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/y/y099/y099050/y09905052.png" /> as a [[subbase]] (cf. [[Pre-base|Pre-base]]). The closed sets of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/y/y099/y099050/y09905053.png" /> are the sets <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/y/y099/y099050/y09905054.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/y/y099/y099050/y09905055.png" /> runs through all subsets of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/y/y099/y099050/y09905056.png" />. This topology is called the hull-kernel topology on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/y/y099/y099050/y09905057.png" />. The construction is a fairly familiar one and occurs in several parts of mathematics. It is originally due to M.H. Stone. Depending on which sets of ideals are used, the mathematical specialism involved, and the ideosyncracies of authors it is also called the Zariski topology, Gel'fand topology, Gel'fand–Kolmogorov topology, Jacobson topology, Grothendieck topology, etc. |
From now on, let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/y/y099/y099050/y09905058.png" /> have a strong unit <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/y/y099/y099050/y09905059.png" />. For each <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/y/y099/y099050/y09905060.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/y/y099/y099050/y09905061.png" /> and there is a unique homomorphism of Riesz spaces <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/y/y099/y099050/y09905062.png" /> such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/y/y099/y099050/y09905063.png" />. Using this, one defines for every <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/y/y099/y099050/y09905064.png" /> a function <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/y/y099/y099050/y09905065.png" /> by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/y/y099/y099050/y09905066.png" />. The number <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/y/y099/y099050/y09905067.png" /> can also be described as the unique real number such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/y/y099/y099050/y09905068.png" />. One now has the following representation theorem (K. Yosida, S. Kakutani, M.G. Krein, S.G. Krein, H. Nakano). Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/y/y099/y099050/y09905069.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/y/y099/y099050/y09905070.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/y/y099/y099050/y09905071.png" /> be as just described. Then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/y/y099/y099050/y09905072.png" /> defines a continuous function on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/y/y099/y099050/y09905073.png" /> and the mapping <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/y/y099/y099050/y09905074.png" /> is a Riesz isomorphism of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/y/y099/y099050/y09905075.png" /> onto a Riesz subspace <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/y/y099/y099050/y09905076.png" />. There are a number of complementary facts. Using the [[Stone–Weierstrass theorem|Stone–Weierstrass theorem]] one obtains that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/y/y099/y099050/y09905077.png" /> is norm dense in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/y/y099/y099050/y09905078.png" />; it is then also order dense. | From now on, let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/y/y099/y099050/y09905058.png" /> have a strong unit <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/y/y099/y099050/y09905059.png" />. For each <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/y/y099/y099050/y09905060.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/y/y099/y099050/y09905061.png" /> and there is a unique homomorphism of Riesz spaces <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/y/y099/y099050/y09905062.png" /> such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/y/y099/y099050/y09905063.png" />. Using this, one defines for every <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/y/y099/y099050/y09905064.png" /> a function <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/y/y099/y099050/y09905065.png" /> by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/y/y099/y099050/y09905066.png" />. The number <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/y/y099/y099050/y09905067.png" /> can also be described as the unique real number such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/y/y099/y099050/y09905068.png" />. One now has the following representation theorem (K. Yosida, S. Kakutani, M.G. Krein, S.G. Krein, H. Nakano). Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/y/y099/y099050/y09905069.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/y/y099/y099050/y09905070.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/y/y099/y099050/y09905071.png" /> be as just described. Then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/y/y099/y099050/y09905072.png" /> defines a continuous function on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/y/y099/y099050/y09905073.png" /> and the mapping <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/y/y099/y099050/y09905074.png" /> is a Riesz isomorphism of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/y/y099/y099050/y09905075.png" /> onto a Riesz subspace <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/y/y099/y099050/y09905076.png" />. There are a number of complementary facts. Using the [[Stone–Weierstrass theorem|Stone–Weierstrass theorem]] one obtains that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/y/y099/y099050/y09905077.png" /> is norm dense in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/y/y099/y099050/y09905078.png" />; it is then also order dense. |
Revision as of 19:25, 19 October 2016
Let be a topological space,
the set of continuous real-valued functions on
(cf. Continuous functions, space of). Using the pointwise defined partial order:
if and only if
for all
,
becomes a Riesz space. The question arises whether it is possible to represent an arbitrary Riesz space by continuous functions with this order relation where, possibly, more general (extended) functions that can also take the values
and
may be used. Answers are given by various representation theorems. Below the Yosida representation theorem for the case of Archimedean Riesz spaces with a strong unit is described. For the Yosida representation theorem for Riesz spaces
, where
is a weak unit, see [a1], and for the more general Johnson–Kist representation theorem, see [a2].
A strong unit in a Riesz space is an element
such that for all
there is an
such that
, i.e. the principal ideal generated by
should equal the whole space. A weak unit in
is an element of
such that the principal band generated by
is all of
.
The Riesz space
.
Let be a compact Hausdorff space. Then
is an Archimedean Riesz space and the function
,
for all
, is a strong unit. Let
be a second compact Hausdorff space. The Banach–Stone theorem says that if
and
are isomorphic as Riesz spaces, then
and
are homeomorphic. As immediate corollaries one obtains that if
and
are isomorphic as algebras (pointwise multiplication), then
and
are homeomorphic; also, if
and
are isomorphic as Banach spaces (sup-norm), then
and
are homeomorphic.
A topological space is extremely disconnected if every open subset
has an open closure (i.e.
is both open and closed). Nakano's theorem says that
is Dedekind complete if and only if
is extremely disconnected. It was also obtained independently by T. Ogasawara and M.H. Stone, cf. [a2].
Representation of Archimedean Riesz spaces with strong unit.
Let be an Archimedean Riesz space. Let
be the set of maximal ideals of
. For each
, let
. Define a topology on
by taking the
as a subbase (cf. Pre-base). The closed sets of
are the sets
, where
runs through all subsets of
. This topology is called the hull-kernel topology on
. The construction is a fairly familiar one and occurs in several parts of mathematics. It is originally due to M.H. Stone. Depending on which sets of ideals are used, the mathematical specialism involved, and the ideosyncracies of authors it is also called the Zariski topology, Gel'fand topology, Gel'fand–Kolmogorov topology, Jacobson topology, Grothendieck topology, etc.
From now on, let have a strong unit
. For each
,
and there is a unique homomorphism of Riesz spaces
such that
. Using this, one defines for every
a function
by
. The number
can also be described as the unique real number such that
. One now has the following representation theorem (K. Yosida, S. Kakutani, M.G. Krein, S.G. Krein, H. Nakano). Let
,
,
be as just described. Then
defines a continuous function on
and the mapping
is a Riesz isomorphism of
onto a Riesz subspace
. There are a number of complementary facts. Using the Stone–Weierstrass theorem one obtains that
is norm dense in
; it is then also order dense.
Given , where
is a weak unit,
defines a metric on
, called the uniform metric. If
is complete with respect to this metric,
is called uniformly closed. A further addition to the representation theorem is then that
is isomorphic to
if and only if
is a strong unit and
is uniformly closed. This last statement, together with that fact that
is isomorphic to a sub-Riesz space of
(if
is a strong unit), is also referred to as the Krein–Kakutani theorem.
A final complement to the Yosida representation theorem is that if has the principal projection property, i.e.
for every principal band
, then
is zero dimensional and
contains all locally constant functions on
. This can also be called the Freudenthal spectral theorem, [a3], in the sense that that theorem in its traditional formulation is an immediate consequence of this result, cf. (the editorial comments to) Riesz space.
References
[a1] | A.W. Hager, L.C. Robertson, "Representing and ringifying a Riesz space" , Symp. Math. INDAM , 21 , Acad. Press (1977) pp. 411–432 |
[a2] | W.A.J. Luxemburg, A.C. Zaanen, "Riesz spaces" , I , North-Holland (1971) pp. Chapt. 7 |
[a3] | E. de Jonge, A.C.M. van Rooy, "Introduction to Riesz spaces" , Tracts , 8 , Math. Centre (1977) |
Yosida representation theorem. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Yosida_representation_theorem&oldid=35263