Bishop theorem
One of the early generalizations of the famous Stone–Weierstrass theorem, which itself is a generalization of the celebrated Weierstrass theorem stating that every real-valued continuous function on a closed and bounded interval is a uniform limit (cf. also Uniform convergence) of a sequence of polynomials.
Let be a compact Hausdorff space, and let
denote the set of all complex-valued continuous functions on
equipped with the supremum norm, given by
![]() |
Let be a non-empty subset of
and let
be a non-empty subset of
. One says that
is a partially
-anti-symmetric set if
and
(the restriction of
to
) real imply that
is a constant. A partially
-anti-symmetric set is called
-anti-symmetric if
and
purely imaginary (that is,
) imply that
is a constant.
It is easy to see that if is closed under multiplication by
(that is,
implies
), then every partially
-anti-symmetric set is
-anti-symmetric. This is not true for arbitrary
. (See [a5] for an example.) Every partially
-anti-symmetric set is contained in a maximal partially
-anti-symmetric set. Every maximal partially
-anti-symmetric set is closed. Distinct maximal partially
-anti-symmetric sets are disjoint. Each singleton set is a partially
-anti-symmetric set. Thus, the family of all maximal partially
-anti-symmetric sets forms a partition of
. Proofs of these and many other interesting properties of partially
-anti-symmetric sets can be found in [a5]. All these statements are also true for
-anti-symmetric sets. (See [a5], [a3].)
Bishop's theorem.
1) Let be a uniformly closed real subalgebra of
containing the constant function
and let
. If
for every maximal partially
-anti-symmetric set
, then
.
2) Let be a homeomorphism on
such that
is the identity mapping on
. Let
![]() |
Let be a uniformly closed real subalgebra of
containing the constant function
and let
. If
for every maximal
-anti-symmetric set
, then
.
In fact, 1) means that if a continuous function coincides with some function in
for every maximal partially
-anti-symmetric set, then
. In view of the comments preceding the statement of the theorem, if
is a complex subalgebra of
, then in 1) above one can replace "partially A-anti-symmetric" by "A-anti-symmetric" . This was the classical statement by E. Bishop in 1961 [a2].
is said to separate the points of
, if for all
,
, there is an
such that
. A uniformly closed complex subalgebra
of
that contains
and separates the points of
is called a complex function algebra. Similarly, a uniformly closed real subalgebra
of
that contains
and separates the points of
is called a real function algebra. In view of this, 2) is called an analogue of Bishop's theorem for real function algebras. This was proved in [a6]. (See also [a5].) If a complex function algebra
is closed under conjugation (that is,
implies
), then every maximal
-anti-symmetric set reduces to a singleton. (See [a5] for a proof.) Thus, the hypotheses of Bishop's theorem are trivially satisfied by every
. Hence
. This is the classical Stone–Weierstrass theorem, which has permeated most of modern analysis and has many generalizations. Bishop's theorem is an essential tool in proving many of these generalizations. (See [a5], [a3].) Similarly, if a real function algebra
is closed under conjugation, then
. This is an analogue of the Stone–Weierstrass theorem for real function algebras. (See [a5] for a proof.)
The proof of Bishop's theorem in [a2] uses many non-trivial tools from functional analysis, such as the Hahn–Banach theorem, the Krein–Mil'man theorem (cf. also Locally convex space) and the Riesz representation theorem (cf. Riesz theorem). This proof can also be found in [a3] and [a10]. J.B. Prolla extended this technique to the case of vector-valued functions [a8]. S. Machado formulated a quantitative version of Prolla's theorem and gave an elementary proof of it [a7]. A self-contained exposition of Machado's proof can be found in [a4]. In 1984, T.J. Ransford gave a very short, simple and elementary proof of Machado's version of Bishop's theorem [a9] (see also [a5]). This proof uses a technique also used in [a1].
References
[a1] | B. Brosowski, F. Deutsch, "An elementary proof of the Stone–Weierstrass theorem" Proc. Amer. Math. Soc. , 81 (1981) pp. 89–92 |
[a2] | E. Bishop, "A generalization of the Stone–Weierstrass theorem" Pacific J. Math. , 11 (1961) pp. 777–783 |
[a3] | R.B. Burckel, "Characterizations of ![]() |
[a4] | R.B. Burckel, "Bishop's Stone–Weierstrass theorem" Amer. Math. Monthly , 91 (1984) pp. 22–32 |
[a5] | S.H. Kulkarni, B.V. Limaye, "Real function algebras" , M. Dekker (1992) |
[a6] | S.H. Kulkarni, N. Srinivasan, "An analogue of Bishop's theorem for real function algebras" Indian J. Pure Appl. Math. , 18 (1987) pp. 136–145 |
[a7] | S. Machado, "On Bishop's generalization of the Stone–Weierstrass theorem" Indag. Math. , 39 (1977) pp. 218–224 Nederl. Akad. Wetensch. Proc. Ser. A , 80 (1977) |
[a8] | J.B. Prolla, "Bishop's generalized Stone–Weierstrass theorem for weighted spaces" Math. Ann. , 191 (1971) pp. 283–289 |
[a9] | T.J. Ransford, "A short elementary proof of the Bishop–Stone–Weierstrass theorem" Math. Proc. Cambridge Philos. Soc. , 96 (1984) pp. 309–311 |
[a10] | W. Rudin, "Real and complex analysis" , McGraw-Hill (1966) |
Bishop theorem. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Bishop_theorem&oldid=16635