Is a closed $G_delta$ set in a Hausdorff space always a zero set?
$begingroup$
I have been trying to prove that if $A$ is a closed set which is also an intersection of countably many open sets then $A$ is the zero set for some continuous real-valued function however have thus far failed. Is this even true?
general-topology functional-analysis
edited Feb 2 '13 at 21:36
Martin
6,9222147
asked Feb 2 '13 at 18:00
Thomas MartinThomas Martin
311
$endgroup$
add a comment |
$begingroup$
I have been trying to prove that if $A$ is a closed set which is also an intersection of countably many open sets then $A$ is the zero set for some continuous real-valued function however have thus far failed. Is this even true?
general-topology functional-analysis
edited Feb 2 '13 at 21:36
Martin
6,9222147
asked Feb 2 '13 at 18:00
Thomas MartinThomas Martin
311
$endgroup$
add a comment |
$begingroup$
I have been trying to prove that if $A$ is a closed set which is also an intersection of countably many open sets then $A$ is the zero set for some continuous real-valued function however have thus far failed. Is this even true?
general-topology functional-analysis
edited Feb 2 '13 at 21:36
Martin
6,9222147
asked Feb 2 '13 at 18:00
Thomas MartinThomas Martin
311
$endgroup$
I have been trying to prove that if $A$ is a closed set which is also an intersection of countably many open sets then $A$ is the zero set for some continuous real-valued function however have thus far failed. Is this even true?
general-topology functional-analysis
general-topology functional-analysis
edited Feb 2 '13 at 21:36
Martin
6,9222147
asked Feb 2 '13 at 18:00
Thomas MartinThomas Martin
311
edited Feb 2 '13 at 21:36
Martin
6,9222147
asked Feb 2 '13 at 18:00
Thomas MartinThomas Martin
311
edited Feb 2 '13 at 21:36
Martin
6,9222147
edited Feb 2 '13 at 21:36
Martin
6,9222147
edited Feb 2 '13 at 21:36
Martin
6,9222147
6,9222147
asked Feb 2 '13 at 18:00
Thomas MartinThomas Martin
311
asked Feb 2 '13 at 18:00
Thomas MartinThomas Martin
311
asked Feb 2 '13 at 18:00
Thomas MartinThomas Martin
311
311
add a comment |
add a comment |
3 Answers
3
active
oldest
votes
$begingroup$
It is not true.
John Thomas, A regular space, not completely regular, Amer. Math. Monthly 76 (1969), 181-182, constructed a regular Hausdorff space $X$ with two points, $p$, and $q$, such that for each continuous $f:XtoBbb R$, $f(a)=f(b)$. Moreover, $X$ has countable local bases at $p$ and $q$. Thus, ${p}$ is a closed $G_delta$-set in $X$ that cannot be a zero-set: any zero-set containing $p$ must also contain $q$.
A. Mysior, A regular space which is not completely regular, Proc. Amer. Math. Soc. 81 (1981), 652-653, is freely available and has a regular Hausdorff space with a point $p$ and a closed set $F$ such that for each continuous $f:XtoBbb R$ and $xin F$, $f(x)=f(p)$. The point $p$ has a countable local base, so here again ${p}$ is a closed $G_delta$ that cannot be a zero-set.
answered Feb 2 '13 at 18:55
Brian M. ScottBrian M. Scott
459k38513916
$endgroup$
add a comment |
$begingroup$
Not even in completely regular Hausdorff spaces. In general we have
$$
text{compact $G_delta$}qquadLongrightarrowqquad
text{zero-set}qquadLongrightarrowqquad
text{closed $G_delta$}
$$
but none reversible.
answered Feb 2 '13 at 22:52
GEdgarGEdgar
63k267171
$endgroup$
$begingroup$
A bit late too the party, but could you point me to a reference to the proof of compact $G_delta implies $ zero-set?
$endgroup$
– John
Aug 29 '17 at 11:45
$begingroup$
what can be example for completely regular space?
$endgroup$
– Sushil
Mar 9 '18 at 18:49
add a comment |
$begingroup$
Brian's answer covers the question fully. For fun, here's another example:
Bing's irrational slope space is a countable and connected Hausdorff space.
Now observe:
If $f colon X to mathbb{R}$ is continuous, then $f(X)$ is a countable and connected subset of $mathbb{R}$, hence it must be reduced to a point. Therefore all continuous functions $f colon X to mathbb{R}$ are constant, and the only zero sets are the empty set and the space itself.
Since $X$ is countable and $T_1$, every subset $F$ of $X$ is a $G_delta$-set: $F = bigcap_{x in X setminus F} X setminus {x}$, in particular, there is an abundance of closed $G_delta$ sets that are not zero sets.
answered Feb 2 '13 at 22:19
MartinMartin
6,9222147
$endgroup$
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: "69"
};
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%2fmath.stackexchange.com%2fquestions%2f292948%2fis-a-closed-g-delta-set-in-a-hausdorff-space-always-a-zero-set%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
3 Answers
3
active
oldest
votes
3 Answers
3
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
It is not true.
John Thomas, A regular space, not completely regular, Amer. Math. Monthly 76 (1969), 181-182, constructed a regular Hausdorff space $X$ with two points, $p$, and $q$, such that for each continuous $f:XtoBbb R$, $f(a)=f(b)$. Moreover, $X$ has countable local bases at $p$ and $q$. Thus, ${p}$ is a closed $G_delta$-set in $X$ that cannot be a zero-set: any zero-set containing $p$ must also contain $q$.
A. Mysior, A regular space which is not completely regular, Proc. Amer. Math. Soc. 81 (1981), 652-653, is freely available and has a regular Hausdorff space with a point $p$ and a closed set $F$ such that for each continuous $f:XtoBbb R$ and $xin F$, $f(x)=f(p)$. The point $p$ has a countable local base, so here again ${p}$ is a closed $G_delta$ that cannot be a zero-set.
answered Feb 2 '13 at 18:55
Brian M. ScottBrian M. Scott
459k38513916
$endgroup$
add a comment |
$begingroup$
It is not true.
John Thomas, A regular space, not completely regular, Amer. Math. Monthly 76 (1969), 181-182, constructed a regular Hausdorff space $X$ with two points, $p$, and $q$, such that for each continuous $f:XtoBbb R$, $f(a)=f(b)$. Moreover, $X$ has countable local bases at $p$ and $q$. Thus, ${p}$ is a closed $G_delta$-set in $X$ that cannot be a zero-set: any zero-set containing $p$ must also contain $q$.
A. Mysior, A regular space which is not completely regular, Proc. Amer. Math. Soc. 81 (1981), 652-653, is freely available and has a regular Hausdorff space with a point $p$ and a closed set $F$ such that for each continuous $f:XtoBbb R$ and $xin F$, $f(x)=f(p)$. The point $p$ has a countable local base, so here again ${p}$ is a closed $G_delta$ that cannot be a zero-set.
answered Feb 2 '13 at 18:55
Brian M. ScottBrian M. Scott
459k38513916
$endgroup$
add a comment |
$begingroup$
It is not true.
John Thomas, A regular space, not completely regular, Amer. Math. Monthly 76 (1969), 181-182, constructed a regular Hausdorff space $X$ with two points, $p$, and $q$, such that for each continuous $f:XtoBbb R$, $f(a)=f(b)$. Moreover, $X$ has countable local bases at $p$ and $q$. Thus, ${p}$ is a closed $G_delta$-set in $X$ that cannot be a zero-set: any zero-set containing $p$ must also contain $q$.
A. Mysior, A regular space which is not completely regular, Proc. Amer. Math. Soc. 81 (1981), 652-653, is freely available and has a regular Hausdorff space with a point $p$ and a closed set $F$ such that for each continuous $f:XtoBbb R$ and $xin F$, $f(x)=f(p)$. The point $p$ has a countable local base, so here again ${p}$ is a closed $G_delta$ that cannot be a zero-set.
answered Feb 2 '13 at 18:55
Brian M. ScottBrian M. Scott
459k38513916
$endgroup$
It is not true.
John Thomas, A regular space, not completely regular, Amer. Math. Monthly 76 (1969), 181-182, constructed a regular Hausdorff space $X$ with two points, $p$, and $q$, such that for each continuous $f:XtoBbb R$, $f(a)=f(b)$. Moreover, $X$ has countable local bases at $p$ and $q$. Thus, ${p}$ is a closed $G_delta$-set in $X$ that cannot be a zero-set: any zero-set containing $p$ must also contain $q$.
A. Mysior, A regular space which is not completely regular, Proc. Amer. Math. Soc. 81 (1981), 652-653, is freely available and has a regular Hausdorff space with a point $p$ and a closed set $F$ such that for each continuous $f:XtoBbb R$ and $xin F$, $f(x)=f(p)$. The point $p$ has a countable local base, so here again ${p}$ is a closed $G_delta$ that cannot be a zero-set.
answered Feb 2 '13 at 18:55
Brian M. ScottBrian M. Scott
459k38513916
answered Feb 2 '13 at 18:55
Brian M. ScottBrian M. Scott
459k38513916
answered Feb 2 '13 at 18:55
Brian M. ScottBrian M. Scott
459k38513916
answered Feb 2 '13 at 18:55
Brian M. ScottBrian M. Scott
459k38513916
459k38513916
add a comment |
add a comment |
$begingroup$
Not even in completely regular Hausdorff spaces. In general we have
$$
text{compact $G_delta$}qquadLongrightarrowqquad
text{zero-set}qquadLongrightarrowqquad
text{closed $G_delta$}
$$
but none reversible.
answered Feb 2 '13 at 22:52
GEdgarGEdgar
63k267171
$endgroup$
$begingroup$
A bit late too the party, but could you point me to a reference to the proof of compact $G_delta implies $ zero-set?
$endgroup$
– John
Aug 29 '17 at 11:45
$begingroup$
what can be example for completely regular space?
$endgroup$
– Sushil
Mar 9 '18 at 18:49
add a comment |
$begingroup$
Not even in completely regular Hausdorff spaces. In general we have
$$
text{compact $G_delta$}qquadLongrightarrowqquad
text{zero-set}qquadLongrightarrowqquad
text{closed $G_delta$}
$$
but none reversible.
answered Feb 2 '13 at 22:52
GEdgarGEdgar
63k267171
$endgroup$
$begingroup$
A bit late too the party, but could you point me to a reference to the proof of compact $G_delta implies $ zero-set?
$endgroup$
– John
Aug 29 '17 at 11:45
$begingroup$
what can be example for completely regular space?
$endgroup$
– Sushil
Mar 9 '18 at 18:49
add a comment |
$begingroup$
Not even in completely regular Hausdorff spaces. In general we have
$$
text{compact $G_delta$}qquadLongrightarrowqquad
text{zero-set}qquadLongrightarrowqquad
text{closed $G_delta$}
$$
but none reversible.
answered Feb 2 '13 at 22:52
GEdgarGEdgar
63k267171
$endgroup$
Not even in completely regular Hausdorff spaces. In general we have
$$
text{compact $G_delta$}qquadLongrightarrowqquad
text{zero-set}qquadLongrightarrowqquad
text{closed $G_delta$}
$$
but none reversible.
answered Feb 2 '13 at 22:52
GEdgarGEdgar
63k267171
answered Feb 2 '13 at 22:52
GEdgarGEdgar
63k267171
answered Feb 2 '13 at 22:52
GEdgarGEdgar
63k267171
answered Feb 2 '13 at 22:52
GEdgarGEdgar
63k267171
63k267171
$begingroup$
A bit late too the party, but could you point me to a reference to the proof of compact $G_delta implies $ zero-set?
$endgroup$
– John
Aug 29 '17 at 11:45
$begingroup$
what can be example for completely regular space?
$endgroup$
– Sushil
Mar 9 '18 at 18:49
add a comment |
$begingroup$
A bit late too the party, but could you point me to a reference to the proof of compact $G_delta implies $ zero-set?
$endgroup$
– John
Aug 29 '17 at 11:45
$begingroup$
what can be example for completely regular space?
$endgroup$
– Sushil
Mar 9 '18 at 18:49
$begingroup$
A bit late too the party, but could you point me to a reference to the proof of compact $G_delta implies $ zero-set?
$endgroup$
– John
Aug 29 '17 at 11:45
$begingroup$
A bit late too the party, but could you point me to a reference to the proof of compact $G_delta implies $ zero-set?
$endgroup$
– John
Aug 29 '17 at 11:45
$begingroup$
what can be example for completely regular space?
$endgroup$
– Sushil
Mar 9 '18 at 18:49
$begingroup$
what can be example for completely regular space?
$endgroup$
– Sushil
Mar 9 '18 at 18:49
add a comment |
$begingroup$
Brian's answer covers the question fully. For fun, here's another example:
Bing's irrational slope space is a countable and connected Hausdorff space.
Now observe:
If $f colon X to mathbb{R}$ is continuous, then $f(X)$ is a countable and connected subset of $mathbb{R}$, hence it must be reduced to a point. Therefore all continuous functions $f colon X to mathbb{R}$ are constant, and the only zero sets are the empty set and the space itself.
Since $X$ is countable and $T_1$, every subset $F$ of $X$ is a $G_delta$-set: $F = bigcap_{x in X setminus F} X setminus {x}$, in particular, there is an abundance of closed $G_delta$ sets that are not zero sets.
answered Feb 2 '13 at 22:19
MartinMartin
6,9222147
$endgroup$
add a comment |
$begingroup$
Brian's answer covers the question fully. For fun, here's another example:
Bing's irrational slope space is a countable and connected Hausdorff space.
Now observe:
If $f colon X to mathbb{R}$ is continuous, then $f(X)$ is a countable and connected subset of $mathbb{R}$, hence it must be reduced to a point. Therefore all continuous functions $f colon X to mathbb{R}$ are constant, and the only zero sets are the empty set and the space itself.
Since $X$ is countable and $T_1$, every subset $F$ of $X$ is a $G_delta$-set: $F = bigcap_{x in X setminus F} X setminus {x}$, in particular, there is an abundance of closed $G_delta$ sets that are not zero sets.
answered Feb 2 '13 at 22:19
MartinMartin
6,9222147
$endgroup$
add a comment |
$begingroup$
Brian's answer covers the question fully. For fun, here's another example:
Bing's irrational slope space is a countable and connected Hausdorff space.
Now observe:
If $f colon X to mathbb{R}$ is continuous, then $f(X)$ is a countable and connected subset of $mathbb{R}$, hence it must be reduced to a point. Therefore all continuous functions $f colon X to mathbb{R}$ are constant, and the only zero sets are the empty set and the space itself.
Since $X$ is countable and $T_1$, every subset $F$ of $X$ is a $G_delta$-set: $F = bigcap_{x in X setminus F} X setminus {x}$, in particular, there is an abundance of closed $G_delta$ sets that are not zero sets.
answered Feb 2 '13 at 22:19
MartinMartin
6,9222147
$endgroup$
Brian's answer covers the question fully. For fun, here's another example:
Bing's irrational slope space is a countable and connected Hausdorff space.
Now observe:
If $f colon X to mathbb{R}$ is continuous, then $f(X)$ is a countable and connected subset of $mathbb{R}$, hence it must be reduced to a point. Therefore all continuous functions $f colon X to mathbb{R}$ are constant, and the only zero sets are the empty set and the space itself.
Since $X$ is countable and $T_1$, every subset $F$ of $X$ is a $G_delta$-set: $F = bigcap_{x in X setminus F} X setminus {x}$, in particular, there is an abundance of closed $G_delta$ sets that are not zero sets.
answered Feb 2 '13 at 22:19
MartinMartin
6,9222147
edited Feb 2 '13 at 22:36
answered Feb 2 '13 at 22:19
MartinMartin
6,9222147
answered Feb 2 '13 at 22:19
MartinMartin
6,9222147
answered Feb 2 '13 at 22:19
MartinMartin
6,9222147
6,9222147
add a comment |
add a comment |
Thanks for contributing an answer to Mathematics Stack Exchange!
- 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%2fmath.stackexchange.com%2fquestions%2f292948%2fis-a-closed-g-delta-set-in-a-hausdorff-space-always-a-zero-set%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
