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 [3]. Thus any compact metrizable space is Corson compact.
One easily described nonmetrizable Corson compact space is the onepoint 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 onepoint 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 nonmetrizable 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 [6].
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 FrechetUrysohn 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 FrechetUrysohn 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 FrechetUrysohn 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 FrechetUrysohn 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 nonFrechetUrysohn space is one that has no nontrivial convergent sequence. For example, take , the StoneCech compactification of a countable discrete space, which has no nontrivial 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 [7] for an example of a first countable Corson compact space with no dense metrizable subspace.
____________________________________________________________________
Remarks
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 c16 in [5] is a good introduction. Some of the results proven in this and other posts in this blog are mentioned in [5] without proof. Interesting characterizations of Corson compact spaces are presented in [4].
In closing, we mention one more property. The authors in [1] 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 nonmetrizable Corson compact space
 Sigmaproducts of separable metric spaces are monolithic
 A short note on monolithic spaces
____________________________________________________________________
Reference
 Alster, K., Pol, R., On function spaces of compact subspaces of products of the real line, Fund. Math., 107, 3546, 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 , Wsets, and compact subsets of products, Topology Appl., 17, 287304, 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, 149156 1987.
 Todorcevic, S., Trees and Linearly Ordered Sets, Handbook of SetTheoretic Topology (K. Kunen and J. E. Vaughan, eds), Elsevier Science Publishers B. V., Amsterdam, 235293, 1984.
____________________________________________________________________