In proving theorems about properties in abstract topological spaces, it makes sense that the spaces in questions satisfy some axioms in addition to the ones stipulated in the definition of topological spaces. For example, authors typically assume certain separation axioms. Doing so will help authors know in advance what basic properties the spaces will have. For example, it is desirable to know that singleton sets (and finite sets) are closed (assuming the axiom or a space). In some circumstances, it may be desirable to be able to separate a single point from a closed set not containing it (assuming axiom or regularity). In some situation, it may be advantageous (and even necessary) to know in advance that there is a sufficient quantity in continuous real-valued functions that can be defined on the spaces in question. We give several reasons of needing enough continuous functions (this list is not meant to be exhaustive).

- Certain notions involve continuous real-valued function defined on the space. Pseudocompactness is one such notion (this view point is discussed in this post).
- Spaces of continuous functions are the objects being studied (this view point is discussed in this post).
- Completely regular spaces are precisely the spaces that can be embedded in a cube (the product space of copies of the unit interval). Discussed in this post.

In this post, we discuss the importance of complete regularity from the first view point and use pseudocompactness as an illustration. See [1] and [2] and [3] for any notions not defined here. Steen and Seebach (section 2 of [2] starting on p.11) has an excellent discussion of separation axioms.

___________________________________________________________________________

**Completely Regular Spaces and Pseudocompact Spaces**

A space is said to be completely regular if is a space and for each and for each closed subset of with , there is a continuous function such that and . Note that the axiom and the existence of the continuous function imply the axiom, which is equivalent to the property that single points are closed sets. Completely regular spaces are also called Tychonoff spaces.

As defined above, in a completely regular space, for any closed set and a point not in the closed set, we can always find a continuous function mapping the closed set to 0 and the point to 1. Essentially, to be a completely regular space, it suffices to provide a continuous function that maps a given closed set and a point (not in the closed set) to two different real numbers and . So in a space that is not completely regular, there exist a closed set and a point such that every real-valued continuous function that can be defined on the space maps and the point to the same real number. Thus outside of completely regular spaces, notions that are based on continuous real-valued functions may be difficult to work with.

A space is said to be pseudocompact if every real-valued continuous function defined on is a bounded function (i.e. is a bounded set in the real line ). Even though the definition does not include complete regularity, an effective discussion of pseudocompactness typically make use of complete regularity. We illustrate this point using a proof of a theorem that gives a characterization of pseudocompactness.

**Theorem 1**

Let be a space. The following conditions are equivalent:

- The space is pseudocompact.
- If is a locally finite family of non-empty open subsets of , then is finite.
- If is a locally finite open cover of , then is finite.
- If is a locally finite open cover of , then has a finite subcover.

**Proof**

This theorem is discussed in this discussion of pseudocompactness. We repeat the proof of to illustrate an application of complete regularity.

Suppose that condition does not hold. Then there is an infinite locally finite family of non-empty open sets such that . We wish to define an unbounded continuous function using .

This is where we need to invoke the assumption of complete regularity. For each choose a point . Then for each , there is a continuous function such that and . Define by .

Because is locally finite, the function is essentially pointwise the sum of finitely many . In other words, for each , for some positive integer , for all . Thus the function is well defined and is continuous at each . Note that for each , , showing that it is unbounded.

___________________________________________________________________________

**Remark**

Complete regularity is an integral part of the above proof. It simplifies the proof and clarifies the argument. As a direct corollary to the Theorem 1, any pseudocompact paracompact space is compact. A less direct corollary is that any pseudocompact metacompact space is compact (see this discussion of pseudocompactness). These results are made possible by assuming that the pseudocompact spaces are also completely regular. They are restated below.

**Corollary 2**

Let be a completely regular space. If is pseudocompact and paracompact, then is compact.

**Corollary 3**

Let be a completely regular space. If is pseudocompact and metacompact, then is compact.

It could be a valid math question to ask whether the above two results are valid outside of the class of completely regular space. We do not know the answer. We also feel that it is also a valid approach to just assume complete regularity and focus our attention on exploring the main concepts involved (in this case pseudocompactness, paracompactness and metacompactness).

We would like to remark that in working with pseudocompactness, we also need to take care that we do not assume too much. For example, we do not want to assume normality since any normal pseudocompact space is countably compact (see Theorem 2 in this post). Then working with pseudocompactness is turned into the problem of working with the stronger concept of countably compactness.

___________________________________________________________________________

*Reference*

- Engelking, R.,
*General Topology, Revised and Completed edition*, Heldermann Verlag, Berlin, 1989. - Steen, L. A., Seebach, J. A.,
*Counterexamples in Topology*, Dover Publications, Inc., New York, 1995. - Willard, S.,
*General Topology*, Addison-Wesley Publishing Company, 1970.