A compact space is said to be a Corson compact space if it can be embedded in a -product of real lines. Corson compact spaces play an important role in functional analysis. Corson compact spaces are also very interesting from a topological point of view. In this post, we discuss several basic topological properties of Corson compact spaces, some of which have been discussed and proved in some previous posts.
Links to other posts on Corson compact spaces are given throughout this post (as relevant results are discussed). A listing of these previous posts is also given at the end of this post.
For any infinite cardinal number , the -product of many copies of is the following subspace of the product space :
A compact space is said to be a Corson compact space if it can be embedded in for some infinite cardinal .
Some examples of Corson compact spaces
When , is simply , the product of countably many copies of the real lines. Any compact metrizable space can be embedded in ; see Theorem 4.2.10 in . Thus any compact metrizable space is Corson compact.
One easily described non-metrizable Corson compact space is the one-point compactification of an uncountable discrete space. Let be an uncountable cardinal number. Let be the discrete space of cardinality . Let be a point not in . Let . Consider a topology on such that is discrete as before and any open neighborhood of has the form where and is finite. The space is better known as the one-point compactification of a discrete space of cardinality . To see that is embedded in , for each , define such that and for all . Furthermore, let be defined by for all . It is easy to clear that is a subspace of . Note that is a discrete space of cardinality and that any open neighborhood of contains all but finitely many . Thus is homeomorphic to .
Another non-metrizable Corson compact space is defined and discussed in this previous post.
Some basic operations
Corson compact spaces behave nicely with respect to some natural topological operations such as the following:
- Corson compactness is hereditary with respect to closed subspaces.
- Corson compactness is preserved by taking continuous images.
- Corson compactness is preserved by taking countable products.
It is clear that closed subspaces of every Corson compact space are also Corson compact. The fact that any continuous image of a Corson compact space is Corson compact (bullet point #2) is established in Theorem 6.2 of .
We prove bullet point #3, that the Tychonoff product of countably many Corson compact spaces is Corson compact. Let be compact spaces such that each is a subspace of for some infinite cardinal . We show that the product is Corson compact. Let be the cardinality of . Note that is a compact subspace of . In turn, is identical to . Thus is Corson compact.
Basic properties inherited from -products
Some properties of Corson compact spaces are inherited from the -products of real line. For example, we have the following two facts about -products.
- The -product of first countable spaces is a Frechet-Urysohn space.
- The -product of separable metric spaces is monolithic.
Shown in this previous post.
Shown in this previous post.
Both of the above two properties are hereditary. Thus we have the following:
- Every Corson compact space is a Frechet-Urysohn space.
- Every Corson compact space is monolithic.
A space is monolithic if for each subspace of , the density of coincides with the network weight of , i.e., . A space is strongly monolithic if for each subspace of , the density of coincides with the weight of , i.e., . Monolithic spaces are discussed in this previous post. For compact spaces, the notion of being monolithic and the notion of being strongly monolithic coincide. One obvious consequence of bullet point #5 is that being separable is an indicator of metrizability among Corson compact spaces. The following bullet point captures this observation.
- Let be a Corson compact space. Then is metrizable if and only if is separable. See Proposition 1 in this previous post.
A space is said to be Frechet space (also called Frechet-Urysohn space) if for each and for each , if , then there exists a sequence such that the sequence converges to . Thus any compact space that is not a Frechet-Urysohn space is not Corson compact. A handy example is the compact space with the order topology. Note that is monolithic. Thus monolithic compact spaces need not be Corson compact.
An extreme example of a compact non-Frechet-Urysohn space is one that has no non-trivial convergent sequence. For example, take , the Stone-Cech compactification of a countable discrete space, which has no non-trivial convergent sequences at any point. Thus is not Corson compact.
Every Corson compact space has a point. It then follows that every Corson compact space has a dense set of points (see this previous post). In a compact space, there is a countable local base at every point. Thus we have the following bullet point.
- Every Corson compact space has a dense first countable subspace.
However, it is not true that every Corson compact space has a dense metrizable subspace. See Theorem 9.14 in  for an example of a first countable Corson compact space with no dense metrizable subspace.
The results indicated here and proved in the previous posts represent a small sample of results on Corson compact spaces (and just focusing on the topological aspects). Many results on Corson compact spaces and Eberlein compact spaces are very deep results. The chapter c-16 in  is a good introduction. Some of the results proven in this and other posts in this blog are mentioned in  without proof. Interesting characterizations of Corson compact spaces are presented in .
In closing, we mention one more property. The authors in  showed that for any Corson compact space , the function space with the pointwise convergence topology is a Lindelof space. Thus we have the following bullet point.
- The function space is Lindelof for every Corson compact space .
Blog posts on Corson compact spaces
- Basic topological properties of Corson compact spaces (this post)
- Every Corson compact space has a dense first countable subspace
- An example of a non-metrizable Corson compact space
- Sigma-products of separable metric spaces are monolithic
- A short note on monolithic spaces
- Alster, K., Pol, R., On function spaces of compact subspaces of -products of the real line, Fund. Math., 107, 35-46, 1980.
- Arkhangelskii, A. V., Topological Function Spaces, Mathematics and Its Applications Series, Kluwer Academic Publishers, Dordrecht, 1992.
- Engelking, R., General Topology, Revised and Completed edition, Heldermann Verlag, Berlin, 1989.
- Gruenhage, G., Covering properties on , W-sets, and compact subsets of -products, Topology Appl., 17, 287-304, 1984.
- Hart, K. P., Nagata J. I., Vaughan, J. E., editors, Encyclopedia of General Topology, First Edition, Elsevier Science Publishers B. V, Amsterdam, 2003.
- Michael, E., Rudin, M. E., A note on Eberlein compacts, Pacific J. Math., 128, 149-156 1987.
- Todorcevic, S., Trees and Linearly Ordered Sets, Handbook of Set-Theoretic Topology (K. Kunen and J. E. Vaughan, eds), Elsevier Science Publishers B. V., Amsterdam, 235-293, 1984.