The Sorgenfrey line is a well known topological space. It is the real number line with open intervals defined as sets of the form . Though this is a seemingly small tweak, it generates a vastly different space than the usual real number line. In this post, we look at the Sorgenfrey line from the continuous function perspective, in particular, the continuous functions that map the Sorgenfrey line into the real number line. In the process, we obtain insight into the space of continuous functions on the Sorgenfrey line.
The next post is a continuation on the theme of drawing Sorgenfrey continuous functions.
The Sorgenfrey Line
Let denote the real number line. The usual open intervals are of the form
. The union of such open intervals is called an open set. If more than one topologies are considered on the real line, these open sets are referred to as the usual open sets or Euclidean open sets (on the real line). The open intervals
form a base for the usual topology on the real line. One important fact abut the usual open sets is that the usual open sets can be generated by the intervals
where both end points are rational numbers. Thus the usual topology on the real line is said to have a countable base.
Now tweak the usual topology by calling sets of the form open intervals. Then form open sets by taking unions of all such open intervals. The collection of such open sets is called the Sorgenfrey topology (on the real line). The real number line
with the Sorgenfry topology is called the Sorgenfrey line, denoted by
. The Sorgenfrey line has been discussed in this blog, starting with this post. This post examines continuous functions from
into the real line. In the process, we gain insight on the space of continuous functions defined on
.
Note that any usual open interval is the union of intervals of the form
. Thus any usual (Euclidean) open set is an open set in the Sorgenfrey line. Thus the usual topology (on the real line) is contained in the Sorgenfrey topology, i.e. the usual topology is a weaker (coarser) topology.
Let be the set of all continuous functions
where the domain is the real number line with the usual topology. Let
be the set of all continuous functions
where the domain is the Sorgenfrey line. In both cases, the range is always the number line with the usual topology. Based on the preceding paragraph, any continuous function
is also continuous with respect to the Sorgenfrey line, i.e.
.
Pictures of Continuous Functions
Consider the following two continuous functions.
The first one (Figure 1) is the cumulative distribution function (CDF) of the standard normal distribution. The second one (Figure 2) is the CDF of the uniform distribution on the interval where
. Both of these are continuous in the usual Euclidean topology (in the domain). Such graphs would make regular appearance in a course on probability and statistics. They also show up in a calculus course as an everywhere differentiable curve (Figure 1) and as a differentiable curve except at finitely many points (Figure 2). Both of these functions can also be regarded as continuous functions on the Sorgenfrey line.
Consider a function that is continuous in the Sorgenfrey line but not continuous in the usual topology.
Figure 3 is a function that maps the interval to -1 and maps the interval
to 1. It is not continuous in the usual topology because of the jump at
. But it is a continuous function when the domain is considered to be the Sorgenfrey line. Because of the open intervals being
, continuous functions defined on the Sorgenfrey line are right continuous.
The cumulative distribution function of a discrete probability distribution is always right continuous, hence continuous in the Sorgenfrey line. Here’s an example.
Figure 4 is the CDF of the uniform distribution on the finite set , where each point has probability 0.2. There is a jump of height 0.2 at each of the points from 0 to 4. Figure 3 and Figure 4 are step functions. As long as the left point of a step is solid and the right point is hollow, the step functions are continuous on the Sorgenfrey line.
The take away from the last four figures is that the real-valued continuous functions defined on the Sorgenfrey line are right continuous and that step functions (with the left point solid and the right point hollow) are Sorgenfrey continuous.
A Family of Sorgenfrey Continuous Functions
The four examples of continuous functions shown above are excellent examples to illustrate the Sorgenfrey topology. We now introduce a family of continuous functions for
. These continuous functions will lead to additional insight on the function space whose domain space is the Sorgenfrey line.
For any , the following gives the definition and the graph of the function
.
Function Space on the Sorgenfrey Line
This is the place where we switch the focus to function space. The set is a subset of the product space
. So we can consider
as a topological space endowed with the topology inherited as a subspace of
. This topology on
is called the pointwise convergence topology and
with the product subspace topology is denoted by
. See here for comments on how to work with the pointwise convergence topology.
For the present discussion, all we need is some notation on a base for . For
, and for any open interval
(open in the usual topology of the real number line), let
. Then the collection of intersections of finitely many
would form a base for
.
The following is the main fact we wish to establish.
The function space contains a closed and discrete subspace of cardinality continuum. In particular, the set
is a closed and discrete subspace of
.
The above result will derive several facts on the function space , which are discussed in a section below. More interestingly, the proof of the fact that
is a closed and discrete subspace of
is based purely on the definition of the functions
and the Sorgenfrey topology. The proof given below does not use any deep or high powered results from function space theory. So it should be a nice exercise on the Sorgenfrey topology.
I invite readers to either verify the fact independently of the proof given here or follow the proof closely. Lots of drawing of the functions on paper will be helpful in going over the proof. In this one instance at least, drawing continuous functions can help gain insight on function spaces.
Working out the Proof
The following diagram was helpful to me as I worked out the different cases in showing the discreteness of the family . The diagram is a valuable aid in convincing myself that a given case is correct.
Now the proof. First, is relatively discrete in
. We show that for each
, there is an open set
containing
such that
does not contain
for any
. To this end, let
where
and
are the open intervals
and
. With Figure 6 as an aid, it follows that for
,
and for
,
.
The open set contains
, the function in the middle of Figure 6. Note that for
,
and
. Thus
. On the other hand, for
,
and
. Thus
. This proves that the set
is a discrete subspace of
relative to
itself.
Now we show that is closed in
. To this end, we show that
-
for each
Actually, this has already been done above with points that are in
. One thing to point out is that the range of
is
. As we consider
, we only need to consider
that maps into
. Let
. The argument is given in two cases regarding the function
.
Case 1. There exists some such that
.
We assume that and
. Then for all
,
and for all
,
. Let
. Then
and
contains no
for any
and
for any
. To help see this argument, use Figure 6 as a guide. The case that
and
has a similar argument.
Case 2. For every , we have
.
Claim. The function is constant on the interval
. Suppose not. Let
such that
. Suppose that
. Consider
. Clearly the number
is an upper bound of
. Let
be a least upper bound of
. The function
has value 1 on the interval
. Otherwise,
would not be the least upper bound of the set
. There is a sequence of points
in the interval
such that
from the left such that
for all
. Otherwise,
would not be the least upper bound of the set
.
It follows that . Otherwise, the function
is not continuous at
. Now consider the 6 points
. By the assumption in Case 2,
and
. Since
for all
,
for all
. Note that
from the right. Since
is right continuous,
, contradicting
. Thus we cannot have
.
Now suppose we have where
. Consider
. Clearly
has an upper bound, namely the number
. Let
be a least upper bound of
. The function
has value 0 on the interval
. Otherwise,
would not be the least upper bound of the set
. There is a sequence of points
in the interval
such that
from the left such that
for all
. Otherwise,
would not be the least upper bound of the set
.
It follows that . Otherwise, the function
is not continuous at
. Now consider the 6 points
. By the assumption in Case 2,
and
. Since
for all
,
for all
. Note that
from the right. Since
is right continuous,
, contradicting
. Thus we cannot have
.
The claim that the function is constant on the interval
is established. To wrap up, first assume that the function
is 1 on the interval
. Let
. It is clear that
. It is also clear from Figure 5 that
contains no
. Now assume that the function
is 0 on the interval
. Since
is Sorgenfrey continuous, it follows that
. Let
. It is clear that
. It is also clear from Figure 5 that
contains no
.
We have established that the set is a closed and discrete subspace of
.
What does it Mean?
The above argument shows that the set is a closed an discrete subspace of the function space
. We have the following three facts.
Three Results |
|
To show that is separable, let’s look at one basic helpful fact on
. If
is a separable metric space, e.g.
, then
has quite a few nice properties (discussed here). One is that
is hereditarily separable. Thus
, the space of real-valued continuous functions defined on the number line with the pointwise convergence topology, is hereditarily separable and thus separable. Recall that continuous functions in
are also Soregenfrey line continuous. Thus
is a subspace of
. The space
is also a dense subspace of
. Thus the space
contains a dense separable subspace. It means that
is separable.
Secondly, is not hereditarily separable since the subspace
is a closed and discrete subspace.
Thirdly, is not a normal space. According to Jones’ lemma, any separable space with a closed and discrete subspace of cardinality of continuum is not a normal space (see Corollary 1 here). The subspace
is a closed and discrete subspace of the separable space
. Thus
is not normal.
Remarks
The topology of the Sorgenfrey line is vastly different from the usual topology on the real line even though the the Sorgenfrey topology is obtained by a seemingly small tweak from the usual topology. The real line is a metric space while the Sorgenfrey line is not metrizable. The real number line is connected while the Sorgenfrey line is not. The countable power of the real number line is a metric space and thus a normal space. On the other hand, the Sorgenfrey line is a classic example of a normal space whose square is not normal. See here for a basic discussion of the Sorgenfrey line.
The pictures of Sorgenfrey continuous functions demonstrated here show that the real number line and the Sorgenfrey line are also very different from a function space perspective. The function space has a whole host of nice properties: normal, Lindelof (hence paracompact and collectionwise normal), hereditarily Lindelof (hence hereditarily normal), hereditarily separable, and perfectly normal (discussed here).
Though separable, the function space contains a closed and discrete subspace of cardinality continuum, making it not hereditarily separable and not normal.
For more information about in general and
in particular, see [1] and [2]. A different proof that
contains a closed and discrete subspace of cardinality continuum can be found in Problem 165 in [2].
The next post is a continuation on the theme of drawing Sorgenfrey continuous functions.
Reference
- Arkhangelskii, A. V., Topological Function Spaces, Mathematics and Its Applications Series, Kluwer Academic Publishers, Dordrecht, 1992.
- Tkachuk V. V., A
-Theory Problem Book, Topological and Function Spaces, Springer, New York, 2011.
2017 – Dan Ma
Normal dense subspaces of a product of “continuum” many separable metric factors
Is every normal dense subspace of a product of separable metric spaces collectionwise normal? This question was posed by Arkhangelskii in [1] (see Problem I.5.25). A partial positive answer is provided by a theorem that is usually attributed to Corson: If is a normal dense subspace of a product of separable metric spaces and if
is also normal, then
is collectionwise normal. In this post, using a simple combinatorial argument, we show that any normal dense subspace of a product of continuum many separable metric space is collectionwise normal (see Corollary 4 below), which is a corollary of the following theorem.
Theorem 1
Let be a normal space with character
. If
, then the following holds:
- If
is a closed and discrete subspace of
with
, then
contains a separated subset of cardinality
.
Theorem 1 gives the corollary indicated at the beginning and several other interesting results. The statement means that the cardinality of the power set (the set of all subsets) of
is strictly less than the cardinality of the power set of
. Note that the statement
follows from the continuum hypothesis (CH), the statement that
. With the assumption
, Theorem 1 is a theorem that goes beyond ZFC. We also present an alternative to Theorem 1 that removes the assumption
(see Theorem 6 below).
A subset of a space
is a separated set (in
) if for each
, there is an open subset
of
with
such that
is a pairwise disjoint collection. First we prove Theorem 1 and then discuss the corollaries.
____________________________________________________________________
Proof of Theorem 1
Suppose is a closed and discrete subset of
with
such that no subset of
of cardinality
can be separated. We then show that
.
For each , let
be a local base at the point
such that
. Let
. Thus
. By normality, for each
, let
be an open subset of
such that
and
. For each
, consider the following collection of open sets:
For each , choose a maximal disjoint collection
of open sets in
. Because no subset of
of cardinality
can be separated, each
is countable. If
, then
.
Let be the power set (i.e. the set of all subsets) of
. Let
be the set of all countable subsets of
. Then the mapping
is a one-to-one map from
into
. Note that
. Also note that since
,
. Thus
.
____________________________________________________________________
Some Corollaries of Theorem 1
Here’s some corollaries that follow easily from Theorem 1. A space has the countable chain condition (CCC) if every pairwise disjoint collection of non-empty open subset of
is countable. For convenience, if
has the CCC, we say
is CCC. The following corollaries make use of the fact that any normal space with countable extent is collectionwise normal (see Theorem 2 in this previous post).
Corollary 2
Let be a CCC space with character
. If
, then the following conditions hold:
- If
is normal, then every closed and discrete subset of
is countable, i.e.,
has countable extent.
- If
is normal, then
is collectionwise normal.
Corollary 3
Let be a CCC space with character
. If CH holds, then the following conditions hold:
- If
is normal, then every closed and discrete subset of
is countable, i.e.,
has countable extent.
- If
is normal, then
is collectionwise normal.
Corollary 4
Let be a product where each factor
is a separable metric space. If
, then the following conditions hold:
- If
is a normal dense subspace of
, then
has countable extent.
- If
is a normal dense subspace of
, then
is collectionwise normal.
Corollary 4 is the result indicated in the title of the post. The product of separable spaces has the CCC. Thus the product space and any dense subspace of
have the CCC. Because
is a product of continuum many separable metric spaces,
and any subspace of
have characters
. Then Corollary 4 follows from Corollary 2.
When dealing with the topic of normal versus collectionwise normal, it is hard to avoid the connection with the normal Moore space conjecture. Theorem 1 gives the result of F. B. Jones from 1937 (see [3]). We have the following theorem.
Theorem 5
If , then every separable normal Moore space is metrizable.
Though this was not how Jones proved it in [3], Theorem 5 is a corollary of Corollary 2. By Corollary 2, any separable normal Moore space is collectionwise normal. It is well known that collectionwise normal Moore space is metrizable (Bing’s metrization theorem, see Theorem 5.4.1 in [2]).
____________________________________________________________________
A ZFC Theorem
We now prove a result that is similar to Corollary 2 but uses no set-theory beyond the Zermelo–Fraenkel set theory plus axiom of choice (abbreviated by ZFC). Of course the conclusion is not as strong. Even though the assumption is removed in Theorem 6, note the similarity between the proof of Theorem 1 and the proof of Theorem 6.
Theorem 6
Let be a CCC space with character
. Then the following conditions hold:
- If
is normal, then every closed and discrete subset of
has cardinality less than continuum.
Proof of Theorem 6
Let be a normal CCC space with character
. Let
be a closed and discrete subset of
. We show that
. Suppose that
.
For each , let
be a local base at the point
such that
. Let
. Thus
. By normality, for each
, let
be an open subset of
such that
and
. For each
, consider the following collection of open sets:
For each , choose
such that
is a maximal disjoint collection. Since
is CCC,
is countable. It is clear that if
, then
.
Let be the power set (i.e. the set of all subsets) of
. Let
be the set of all countable subsets of
. Then the mapping
is a one-to-one map from
into
. Note that since
,
. Thus
. However,
is assumed to be of cardinality continuum. Then
, leading to a contradiction. Thus it must be the case that
.
With Theorem 6, Corollary 3 still holds. Theorem 6 removes the set-theoretic assumption of . As a result, the upper bound for cardinalities of closed and discrete sets is (at least potentially) higher.
____________________________________________________________________
Reference
- 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.
- Jones, F. B., Concerning normal and completely normal spaces, Bull. Amer. Math. Soc., 43, 671-677, 1937.
____________________________________________________________________
Looking for another closed and discrete subspace of a product space
Let be the first uncountable ordinal. In a previous post called Looking for a closed and discrete subspace of a product space, it was shown that the product space
, the product of continuum many copies of the real line
, contains a closed and discrete subset of cardinality continuum. This example shows that a product space of uncountably many copies of a “nice” space is “big and wide” enough to hide uncountable closed and discrete sets even when the product space is separable. This post reinforces this same fact by showing that
contains a closed and discrete subset of cardinality
. It follows that for any uncountable cardinal
, the product space
contains an uncountable closed and discrete subset, i.e., the product of uncountably many copies of the real line
has uncountable extent.
Let be the first infinite ordinal, i.e., the set of all nonnegative integers. Consider
, the product of
many copies of
with the discrete topology. Since
is a closed subspace of
, it suffices to show that
has an uncountable closed and discrete subset.
____________________________________________________________________
The Construction
We now construct an uncountable closed and discrete subset of . Let
be an infinite ordinal such that
. Let
. For each
, let
. We can also use interval notations:
and
. Consider
as a space with the discrete topology. Then it is clear that
is homeomorphic to the product space
. Thus the focus is now on finding an uncountable closed and discrete subset of
.
One interesting fact about the space is that every function
is a pressing down function. That is, for every
,
for all
. Note that
is defined on
, a closed and unbounded subset of
(hence a stationary set). It follows that for each
, there is a stationary set
and there exists
such that
for all
. This fact is called the pressing down lemma and will be used below. See this post for more information about the pressing down lemma.
For each , let
be a one-to-one function. For each
, define
as follows:
Note that each is a pressing down function. Thus each
. Let
. Clearly
if
. Thus
has cardinality
. We claim that
is a closed and discrete subset of
. It suffices to show that for each
, there exists an open set
with
such that
contains at most one
.
Let . As discussed above, there is a stationary set
and there exists
such that
for all
. In particular, choose
such that
. Thus
. Let
be the open set defined by:
Clearly, . We show that if
, then
. Suppose
. Then
. Consider two cases: Case 1:
; Case 2: one of
and
. The definition of
indicates that
on the interval
. Note that
is a one-to-one function. Since
, it cannot be that
, i.e., Case 1 is not possible. Thus Case 2 holds, say
. Then by definition,
. Putting everything together,
. Thus
. This concludes the proof that the set
is a closed and discrete subset of
.
____________________________________________________________________