A reference to a well-known characterization of scattered compact spacesIs there a co-Hahn-Mazurkiewicz theorem for line-filling spaces?What spaces have well known horofunctions?Ring of continuous functions, reference request.Automatic continuity of the inverse mapreference for “X compact <=> C_b(X) separable” (X metric space)Tietze's extension theorem for compact subspacescontinuous images of open intervalsWhich compact topological spaces are homeomorphic to their ultrapower?Topology on $mathcalC(X,Y)$ to work with homotopyWhich compacta contain copies of Cantor cubes?
A reference to a well-known characterization of scattered compact spaces
Is there a co-Hahn-Mazurkiewicz theorem for line-filling spaces?What spaces have well known horofunctions?Ring of continuous functions, reference request.Automatic continuity of the inverse mapreference for “X compact <=> C_b(X) separable” (X metric space)Tietze's extension theorem for compact subspacescontinuous images of open intervalsWhich compact topological spaces are homeomorphic to their ultrapower?Topology on $mathcalC(X,Y)$ to work with homotopyWhich compacta contain copies of Cantor cubes?
$begingroup$
It is well-known that a compact Hausdorff $X$ space is scattered if and only if admits no continuous maps onto the unit interval $[0,1]$.
Surprisingly, but I cannot find a good reference to this well-known fact (desirably some textbook).
In the survey paper "Scattered spaces" in Encyclopedia of General Topology this fact is not mentioned, unfortunately.
reference-request gn.general-topology
$endgroup$
add a comment |
$begingroup$
It is well-known that a compact Hausdorff $X$ space is scattered if and only if admits no continuous maps onto the unit interval $[0,1]$.
Surprisingly, but I cannot find a good reference to this well-known fact (desirably some textbook).
In the survey paper "Scattered spaces" in Encyclopedia of General Topology this fact is not mentioned, unfortunately.
reference-request gn.general-topology
$endgroup$
add a comment |
$begingroup$
It is well-known that a compact Hausdorff $X$ space is scattered if and only if admits no continuous maps onto the unit interval $[0,1]$.
Surprisingly, but I cannot find a good reference to this well-known fact (desirably some textbook).
In the survey paper "Scattered spaces" in Encyclopedia of General Topology this fact is not mentioned, unfortunately.
reference-request gn.general-topology
$endgroup$
It is well-known that a compact Hausdorff $X$ space is scattered if and only if admits no continuous maps onto the unit interval $[0,1]$.
Surprisingly, but I cannot find a good reference to this well-known fact (desirably some textbook).
In the survey paper "Scattered spaces" in Encyclopedia of General Topology this fact is not mentioned, unfortunately.
reference-request gn.general-topology
reference-request gn.general-topology
edited Apr 4 at 13:55
Taras Banakh
asked Apr 4 at 9:52
Taras BanakhTaras Banakh
17.4k13496
17.4k13496
add a comment |
add a comment |
2 Answers
2
active
oldest
votes
$begingroup$
The proof in the direction that there is no continuous surjection from a compact scattered $X$ onto $[0,1]$ may be found here (Theorem 1):
W. Rudin, Continuous functions on compact spaces without perfect subsets, Proc. Amer. Math. Soc. 8 (1957), 39-42.
And the full characterisation may be found in (Theorem 8.5.4, p. 148):
Z. Semadeni, Banach spaces of continuous functions, vol. 1, PWN - Polish Scientific Publishers, Warsaw 1971.
$endgroup$
1
$begingroup$
Link to Rudin's article (unrestricted access): ams.org/journals/proc/1957-008-01/S0002-9939-1957-0085475-7/…
$endgroup$
– YCor
Apr 4 at 12:23
$begingroup$
+1 for Semadeni..
$endgroup$
– Henno Brandsma
Apr 4 at 16:43
add a comment |
$begingroup$
I'm not properly answering since you're asking for a reference and I don't know any; however here's a hopefully reasonably concise proof.
First implication:
(1) Let $X,Y$ be compact Hausdorff topological spaces, such that there $X$ is scattered and such that there exists a continuous surjective map $Xto Y$. Then $Y$ is scattered.
Proof: otherwise, we can reduce to the case when $Y$ is perfect (nonempty); let $f$ be the map. By compactness, let $Z$ be a minimal compact subset of $X$ on which $f$ is surjective. So $Z$ has an isolated point $z$, and since $Y$ is perfect, $f$ is still surjective on $Zsmallsetminusz$, contradiction.
Reverse implication:
(2) Let $X$ be compact Hausdorff and not scattered. Then there exists a continuous surjective map $Xto [0,1]$.
Proof. If $X$ is not totally disconnected, choose $xneq x'$ in the same connected component and directly apply Urysohn's lemma (which ensures the existence of a continuous map $Xto [0,1]$ mapping $x$ to $0$ and $x'$ to 1; connectedness ensures surjectivity.
Otherwise, suppose that $X$ is totally disconnected and non-scattered; in this case it's enough to prove that $X$ has a continuous surjection onto the Cantor set. By Stone duality, it's enough to embed a free BA of countable rank in the Boolean algebra of $X$. Since we can lift free BA's, we can assume that $X$ is perfect (nonempty, by assumption). In this case, it's immediate by an induction to produce a countable non-atomic subalgebra.
Edit: now Damian Sobota has provided a complete reference. Actually the above proof of (1) is the same argument as Rudin's, which is the same as the one given in Semadeni's book. For (2), the dichotomy between the totally disconnected case and the other case also appears in Semadeni's proof; my proof is essentially the same as Semadeni's, except that I used a formulation in terms of Boolean algebras while Semadeni's one is directly formulated in terms of subdivisions of clopen subsets.
$endgroup$
$begingroup$
Thank you for the proof, but I am writing a paper and would like to add a reference (since this fact is well-known and in many papers it is used without references, in spite of the fact that it is not entirely trivial).
$endgroup$
– Taras Banakh
Apr 4 at 10:22
$begingroup$
Yes, I understood your request...!
$endgroup$
– YCor
Apr 4 at 10:22
add a comment |
Your Answer
StackExchange.ifUsing("editor", function ()
return StackExchange.using("mathjaxEditing", function ()
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix)
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
);
);
, "mathjax-editing");
StackExchange.ready(function()
var channelOptions =
tags: "".split(" "),
id: "504"
;
initTagRenderer("".split(" "), "".split(" "), channelOptions);
StackExchange.using("externalEditor", function()
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled)
StackExchange.using("snippets", function()
createEditor();
);
else
createEditor();
);
function createEditor()
StackExchange.prepareEditor(
heartbeatType: 'answer',
autoActivateHeartbeat: false,
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader:
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
,
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
);
);
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmathoverflow.net%2fquestions%2f327124%2fa-reference-to-a-well-known-characterization-of-scattered-compact-spaces%23new-answer', 'question_page');
);
Post as a guest
Required, but never shown
2 Answers
2
active
oldest
votes
2 Answers
2
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
The proof in the direction that there is no continuous surjection from a compact scattered $X$ onto $[0,1]$ may be found here (Theorem 1):
W. Rudin, Continuous functions on compact spaces without perfect subsets, Proc. Amer. Math. Soc. 8 (1957), 39-42.
And the full characterisation may be found in (Theorem 8.5.4, p. 148):
Z. Semadeni, Banach spaces of continuous functions, vol. 1, PWN - Polish Scientific Publishers, Warsaw 1971.
$endgroup$
1
$begingroup$
Link to Rudin's article (unrestricted access): ams.org/journals/proc/1957-008-01/S0002-9939-1957-0085475-7/…
$endgroup$
– YCor
Apr 4 at 12:23
$begingroup$
+1 for Semadeni..
$endgroup$
– Henno Brandsma
Apr 4 at 16:43
add a comment |
$begingroup$
The proof in the direction that there is no continuous surjection from a compact scattered $X$ onto $[0,1]$ may be found here (Theorem 1):
W. Rudin, Continuous functions on compact spaces without perfect subsets, Proc. Amer. Math. Soc. 8 (1957), 39-42.
And the full characterisation may be found in (Theorem 8.5.4, p. 148):
Z. Semadeni, Banach spaces of continuous functions, vol. 1, PWN - Polish Scientific Publishers, Warsaw 1971.
$endgroup$
1
$begingroup$
Link to Rudin's article (unrestricted access): ams.org/journals/proc/1957-008-01/S0002-9939-1957-0085475-7/…
$endgroup$
– YCor
Apr 4 at 12:23
$begingroup$
+1 for Semadeni..
$endgroup$
– Henno Brandsma
Apr 4 at 16:43
add a comment |
$begingroup$
The proof in the direction that there is no continuous surjection from a compact scattered $X$ onto $[0,1]$ may be found here (Theorem 1):
W. Rudin, Continuous functions on compact spaces without perfect subsets, Proc. Amer. Math. Soc. 8 (1957), 39-42.
And the full characterisation may be found in (Theorem 8.5.4, p. 148):
Z. Semadeni, Banach spaces of continuous functions, vol. 1, PWN - Polish Scientific Publishers, Warsaw 1971.
$endgroup$
The proof in the direction that there is no continuous surjection from a compact scattered $X$ onto $[0,1]$ may be found here (Theorem 1):
W. Rudin, Continuous functions on compact spaces without perfect subsets, Proc. Amer. Math. Soc. 8 (1957), 39-42.
And the full characterisation may be found in (Theorem 8.5.4, p. 148):
Z. Semadeni, Banach spaces of continuous functions, vol. 1, PWN - Polish Scientific Publishers, Warsaw 1971.
edited Apr 4 at 13:37
answered Apr 4 at 12:19
Damian SobotaDamian Sobota
523213
523213
1
$begingroup$
Link to Rudin's article (unrestricted access): ams.org/journals/proc/1957-008-01/S0002-9939-1957-0085475-7/…
$endgroup$
– YCor
Apr 4 at 12:23
$begingroup$
+1 for Semadeni..
$endgroup$
– Henno Brandsma
Apr 4 at 16:43
add a comment |
1
$begingroup$
Link to Rudin's article (unrestricted access): ams.org/journals/proc/1957-008-01/S0002-9939-1957-0085475-7/…
$endgroup$
– YCor
Apr 4 at 12:23
$begingroup$
+1 for Semadeni..
$endgroup$
– Henno Brandsma
Apr 4 at 16:43
1
1
$begingroup$
Link to Rudin's article (unrestricted access): ams.org/journals/proc/1957-008-01/S0002-9939-1957-0085475-7/…
$endgroup$
– YCor
Apr 4 at 12:23
$begingroup$
Link to Rudin's article (unrestricted access): ams.org/journals/proc/1957-008-01/S0002-9939-1957-0085475-7/…
$endgroup$
– YCor
Apr 4 at 12:23
$begingroup$
+1 for Semadeni..
$endgroup$
– Henno Brandsma
Apr 4 at 16:43
$begingroup$
+1 for Semadeni..
$endgroup$
– Henno Brandsma
Apr 4 at 16:43
add a comment |
$begingroup$
I'm not properly answering since you're asking for a reference and I don't know any; however here's a hopefully reasonably concise proof.
First implication:
(1) Let $X,Y$ be compact Hausdorff topological spaces, such that there $X$ is scattered and such that there exists a continuous surjective map $Xto Y$. Then $Y$ is scattered.
Proof: otherwise, we can reduce to the case when $Y$ is perfect (nonempty); let $f$ be the map. By compactness, let $Z$ be a minimal compact subset of $X$ on which $f$ is surjective. So $Z$ has an isolated point $z$, and since $Y$ is perfect, $f$ is still surjective on $Zsmallsetminusz$, contradiction.
Reverse implication:
(2) Let $X$ be compact Hausdorff and not scattered. Then there exists a continuous surjective map $Xto [0,1]$.
Proof. If $X$ is not totally disconnected, choose $xneq x'$ in the same connected component and directly apply Urysohn's lemma (which ensures the existence of a continuous map $Xto [0,1]$ mapping $x$ to $0$ and $x'$ to 1; connectedness ensures surjectivity.
Otherwise, suppose that $X$ is totally disconnected and non-scattered; in this case it's enough to prove that $X$ has a continuous surjection onto the Cantor set. By Stone duality, it's enough to embed a free BA of countable rank in the Boolean algebra of $X$. Since we can lift free BA's, we can assume that $X$ is perfect (nonempty, by assumption). In this case, it's immediate by an induction to produce a countable non-atomic subalgebra.
Edit: now Damian Sobota has provided a complete reference. Actually the above proof of (1) is the same argument as Rudin's, which is the same as the one given in Semadeni's book. For (2), the dichotomy between the totally disconnected case and the other case also appears in Semadeni's proof; my proof is essentially the same as Semadeni's, except that I used a formulation in terms of Boolean algebras while Semadeni's one is directly formulated in terms of subdivisions of clopen subsets.
$endgroup$
$begingroup$
Thank you for the proof, but I am writing a paper and would like to add a reference (since this fact is well-known and in many papers it is used without references, in spite of the fact that it is not entirely trivial).
$endgroup$
– Taras Banakh
Apr 4 at 10:22
$begingroup$
Yes, I understood your request...!
$endgroup$
– YCor
Apr 4 at 10:22
add a comment |
$begingroup$
I'm not properly answering since you're asking for a reference and I don't know any; however here's a hopefully reasonably concise proof.
First implication:
(1) Let $X,Y$ be compact Hausdorff topological spaces, such that there $X$ is scattered and such that there exists a continuous surjective map $Xto Y$. Then $Y$ is scattered.
Proof: otherwise, we can reduce to the case when $Y$ is perfect (nonempty); let $f$ be the map. By compactness, let $Z$ be a minimal compact subset of $X$ on which $f$ is surjective. So $Z$ has an isolated point $z$, and since $Y$ is perfect, $f$ is still surjective on $Zsmallsetminusz$, contradiction.
Reverse implication:
(2) Let $X$ be compact Hausdorff and not scattered. Then there exists a continuous surjective map $Xto [0,1]$.
Proof. If $X$ is not totally disconnected, choose $xneq x'$ in the same connected component and directly apply Urysohn's lemma (which ensures the existence of a continuous map $Xto [0,1]$ mapping $x$ to $0$ and $x'$ to 1; connectedness ensures surjectivity.
Otherwise, suppose that $X$ is totally disconnected and non-scattered; in this case it's enough to prove that $X$ has a continuous surjection onto the Cantor set. By Stone duality, it's enough to embed a free BA of countable rank in the Boolean algebra of $X$. Since we can lift free BA's, we can assume that $X$ is perfect (nonempty, by assumption). In this case, it's immediate by an induction to produce a countable non-atomic subalgebra.
Edit: now Damian Sobota has provided a complete reference. Actually the above proof of (1) is the same argument as Rudin's, which is the same as the one given in Semadeni's book. For (2), the dichotomy between the totally disconnected case and the other case also appears in Semadeni's proof; my proof is essentially the same as Semadeni's, except that I used a formulation in terms of Boolean algebras while Semadeni's one is directly formulated in terms of subdivisions of clopen subsets.
$endgroup$
$begingroup$
Thank you for the proof, but I am writing a paper and would like to add a reference (since this fact is well-known and in many papers it is used without references, in spite of the fact that it is not entirely trivial).
$endgroup$
– Taras Banakh
Apr 4 at 10:22
$begingroup$
Yes, I understood your request...!
$endgroup$
– YCor
Apr 4 at 10:22
add a comment |
$begingroup$
I'm not properly answering since you're asking for a reference and I don't know any; however here's a hopefully reasonably concise proof.
First implication:
(1) Let $X,Y$ be compact Hausdorff topological spaces, such that there $X$ is scattered and such that there exists a continuous surjective map $Xto Y$. Then $Y$ is scattered.
Proof: otherwise, we can reduce to the case when $Y$ is perfect (nonempty); let $f$ be the map. By compactness, let $Z$ be a minimal compact subset of $X$ on which $f$ is surjective. So $Z$ has an isolated point $z$, and since $Y$ is perfect, $f$ is still surjective on $Zsmallsetminusz$, contradiction.
Reverse implication:
(2) Let $X$ be compact Hausdorff and not scattered. Then there exists a continuous surjective map $Xto [0,1]$.
Proof. If $X$ is not totally disconnected, choose $xneq x'$ in the same connected component and directly apply Urysohn's lemma (which ensures the existence of a continuous map $Xto [0,1]$ mapping $x$ to $0$ and $x'$ to 1; connectedness ensures surjectivity.
Otherwise, suppose that $X$ is totally disconnected and non-scattered; in this case it's enough to prove that $X$ has a continuous surjection onto the Cantor set. By Stone duality, it's enough to embed a free BA of countable rank in the Boolean algebra of $X$. Since we can lift free BA's, we can assume that $X$ is perfect (nonempty, by assumption). In this case, it's immediate by an induction to produce a countable non-atomic subalgebra.
Edit: now Damian Sobota has provided a complete reference. Actually the above proof of (1) is the same argument as Rudin's, which is the same as the one given in Semadeni's book. For (2), the dichotomy between the totally disconnected case and the other case also appears in Semadeni's proof; my proof is essentially the same as Semadeni's, except that I used a formulation in terms of Boolean algebras while Semadeni's one is directly formulated in terms of subdivisions of clopen subsets.
$endgroup$
I'm not properly answering since you're asking for a reference and I don't know any; however here's a hopefully reasonably concise proof.
First implication:
(1) Let $X,Y$ be compact Hausdorff topological spaces, such that there $X$ is scattered and such that there exists a continuous surjective map $Xto Y$. Then $Y$ is scattered.
Proof: otherwise, we can reduce to the case when $Y$ is perfect (nonempty); let $f$ be the map. By compactness, let $Z$ be a minimal compact subset of $X$ on which $f$ is surjective. So $Z$ has an isolated point $z$, and since $Y$ is perfect, $f$ is still surjective on $Zsmallsetminusz$, contradiction.
Reverse implication:
(2) Let $X$ be compact Hausdorff and not scattered. Then there exists a continuous surjective map $Xto [0,1]$.
Proof. If $X$ is not totally disconnected, choose $xneq x'$ in the same connected component and directly apply Urysohn's lemma (which ensures the existence of a continuous map $Xto [0,1]$ mapping $x$ to $0$ and $x'$ to 1; connectedness ensures surjectivity.
Otherwise, suppose that $X$ is totally disconnected and non-scattered; in this case it's enough to prove that $X$ has a continuous surjection onto the Cantor set. By Stone duality, it's enough to embed a free BA of countable rank in the Boolean algebra of $X$. Since we can lift free BA's, we can assume that $X$ is perfect (nonempty, by assumption). In this case, it's immediate by an induction to produce a countable non-atomic subalgebra.
Edit: now Damian Sobota has provided a complete reference. Actually the above proof of (1) is the same argument as Rudin's, which is the same as the one given in Semadeni's book. For (2), the dichotomy between the totally disconnected case and the other case also appears in Semadeni's proof; my proof is essentially the same as Semadeni's, except that I used a formulation in terms of Boolean algebras while Semadeni's one is directly formulated in terms of subdivisions of clopen subsets.
edited Apr 4 at 13:07
answered Apr 4 at 10:17
YCorYCor
28.9k485140
28.9k485140
$begingroup$
Thank you for the proof, but I am writing a paper and would like to add a reference (since this fact is well-known and in many papers it is used without references, in spite of the fact that it is not entirely trivial).
$endgroup$
– Taras Banakh
Apr 4 at 10:22
$begingroup$
Yes, I understood your request...!
$endgroup$
– YCor
Apr 4 at 10:22
add a comment |
$begingroup$
Thank you for the proof, but I am writing a paper and would like to add a reference (since this fact is well-known and in many papers it is used without references, in spite of the fact that it is not entirely trivial).
$endgroup$
– Taras Banakh
Apr 4 at 10:22
$begingroup$
Yes, I understood your request...!
$endgroup$
– YCor
Apr 4 at 10:22
$begingroup$
Thank you for the proof, but I am writing a paper and would like to add a reference (since this fact is well-known and in many papers it is used without references, in spite of the fact that it is not entirely trivial).
$endgroup$
– Taras Banakh
Apr 4 at 10:22
$begingroup$
Thank you for the proof, but I am writing a paper and would like to add a reference (since this fact is well-known and in many papers it is used without references, in spite of the fact that it is not entirely trivial).
$endgroup$
– Taras Banakh
Apr 4 at 10:22
$begingroup$
Yes, I understood your request...!
$endgroup$
– YCor
Apr 4 at 10:22
$begingroup$
Yes, I understood your request...!
$endgroup$
– YCor
Apr 4 at 10:22
add a comment |
Thanks for contributing an answer to MathOverflow!
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
Use MathJax to format equations. MathJax reference.
To learn more, see our tips on writing great answers.
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmathoverflow.net%2fquestions%2f327124%2fa-reference-to-a-well-known-characterization-of-scattered-compact-spaces%23new-answer', 'question_page');
);
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown