Quotient of $R^2$
$begingroup$
Consider $X$=$R^2$ and let A $in X$ be A={$(-1,0),(1,0)$}. Consider now the quotient space ${X}/{A}$.
Is it Hausdorff? Connected? Compact?
My answer: the projection from $X$ to $A$ is surjective and continuous, $X$ is connected and so is ${X}/{A}$.
The projection of the open cover of $X$ made up of ball centered at $(0,0)$ is an open cover of $X/A$ as they are all both open and saturated. We can not extract any finite subcover and because of that ${X}/{A}$ is not compact.
Honestly I'm not sure about the proof about compactness and I'm left stuck with the Hausdorff question. If I could demonstrate that the projection is open I could work from there. Working with the intervals left me with a proof that I'm not 100% sure about.
Thanks in advance for any help.
general-topology
asked Dec 15 '18 at 15:21
SMCSMC
6010
$endgroup$
add a comment |
$begingroup$
Consider $X$=$R^2$ and let A $in X$ be A={$(-1,0),(1,0)$}. Consider now the quotient space ${X}/{A}$.
Is it Hausdorff? Connected? Compact?
My answer: the projection from $X$ to $A$ is surjective and continuous, $X$ is connected and so is ${X}/{A}$.
The projection of the open cover of $X$ made up of ball centered at $(0,0)$ is an open cover of $X/A$ as they are all both open and saturated. We can not extract any finite subcover and because of that ${X}/{A}$ is not compact.
Honestly I'm not sure about the proof about compactness and I'm left stuck with the Hausdorff question. If I could demonstrate that the projection is open I could work from there. Working with the intervals left me with a proof that I'm not 100% sure about.
Thanks in advance for any help.
general-topology
asked Dec 15 '18 at 15:21
SMCSMC
6010
$endgroup$
add a comment |
$begingroup$
Consider $X$=$R^2$ and let A $in X$ be A={$(-1,0),(1,0)$}. Consider now the quotient space ${X}/{A}$.
Is it Hausdorff? Connected? Compact?
My answer: the projection from $X$ to $A$ is surjective and continuous, $X$ is connected and so is ${X}/{A}$.
The projection of the open cover of $X$ made up of ball centered at $(0,0)$ is an open cover of $X/A$ as they are all both open and saturated. We can not extract any finite subcover and because of that ${X}/{A}$ is not compact.
Honestly I'm not sure about the proof about compactness and I'm left stuck with the Hausdorff question. If I could demonstrate that the projection is open I could work from there. Working with the intervals left me with a proof that I'm not 100% sure about.
Thanks in advance for any help.
general-topology
asked Dec 15 '18 at 15:21
SMCSMC
6010
$endgroup$
Consider $X$=$R^2$ and let A $in X$ be A={$(-1,0),(1,0)$}. Consider now the quotient space ${X}/{A}$.
Is it Hausdorff? Connected? Compact?
My answer: the projection from $X$ to $A$ is surjective and continuous, $X$ is connected and so is ${X}/{A}$.
The projection of the open cover of $X$ made up of ball centered at $(0,0)$ is an open cover of $X/A$ as they are all both open and saturated. We can not extract any finite subcover and because of that ${X}/{A}$ is not compact.
Honestly I'm not sure about the proof about compactness and I'm left stuck with the Hausdorff question. If I could demonstrate that the projection is open I could work from there. Working with the intervals left me with a proof that I'm not 100% sure about.
Thanks in advance for any help.
general-topology
general-topology
asked Dec 15 '18 at 15:21
SMCSMC
6010
asked Dec 15 '18 at 15:21
SMCSMC
6010
asked Dec 15 '18 at 15:21
SMCSMC
6010
asked Dec 15 '18 at 15:21
SMCSMC
6010
asked Dec 15 '18 at 15:21
SMCSMC
6010
6010
add a comment |
add a comment |
2 Answers
2
active
oldest
votes
$begingroup$
Your proof of noncompactness is fine. For the Hausdorff condition, there's really only one unusual point in this space. For a direct proof, you just have to separate this point from points outside.
answered Dec 15 '18 at 15:38
Matt SamuelMatt Samuel
38.7k63769
$endgroup$
add a comment |
$begingroup$
Hint: Prove that, in general, if $X$ is Hausdorff and $K subset X$ is compact then the contraction $X/K$ is Hausdorff
answered Dec 15 '18 at 15:38
smantismanti
134
$endgroup$
$begingroup$
This is overkill on my opinion.
$endgroup$
– Matt Samuel
Dec 15 '18 at 15:39
$begingroup$
Maybe it is, but it's useful.
$endgroup$
– smanti
Dec 15 '18 at 15:42
$begingroup$
$X$ is Hausdorff so for every $x$ that does not lie in $K$ i can find two disjont open set $A,B$ such that $x in A$ and $K ⊂ B$ both A and B are saturated so their images through the projection are the disjoint open sets that let $X/K$ be Hausdorff.
$endgroup$
– SMC
Dec 15 '18 at 16:31
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%2f3041600%2fquotient-of-r2%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$
Your proof of noncompactness is fine. For the Hausdorff condition, there's really only one unusual point in this space. For a direct proof, you just have to separate this point from points outside.
answered Dec 15 '18 at 15:38
Matt SamuelMatt Samuel
38.7k63769
$endgroup$
add a comment |
$begingroup$
Your proof of noncompactness is fine. For the Hausdorff condition, there's really only one unusual point in this space. For a direct proof, you just have to separate this point from points outside.
answered Dec 15 '18 at 15:38
Matt SamuelMatt Samuel
38.7k63769
$endgroup$
add a comment |
$begingroup$
Your proof of noncompactness is fine. For the Hausdorff condition, there's really only one unusual point in this space. For a direct proof, you just have to separate this point from points outside.
answered Dec 15 '18 at 15:38
Matt SamuelMatt Samuel
38.7k63769
$endgroup$
Your proof of noncompactness is fine. For the Hausdorff condition, there's really only one unusual point in this space. For a direct proof, you just have to separate this point from points outside.
answered Dec 15 '18 at 15:38
Matt SamuelMatt Samuel
38.7k63769
answered Dec 15 '18 at 15:38
Matt SamuelMatt Samuel
38.7k63769
answered Dec 15 '18 at 15:38
Matt SamuelMatt Samuel
38.7k63769
answered Dec 15 '18 at 15:38
Matt SamuelMatt Samuel
38.7k63769
38.7k63769
add a comment |
add a comment |
$begingroup$
Hint: Prove that, in general, if $X$ is Hausdorff and $K subset X$ is compact then the contraction $X/K$ is Hausdorff
answered Dec 15 '18 at 15:38
smantismanti
134
$endgroup$
$begingroup$
This is overkill on my opinion.
$endgroup$
– Matt Samuel
Dec 15 '18 at 15:39
$begingroup$
Maybe it is, but it's useful.
$endgroup$
– smanti
Dec 15 '18 at 15:42
$begingroup$
$X$ is Hausdorff so for every $x$ that does not lie in $K$ i can find two disjont open set $A,B$ such that $x in A$ and $K ⊂ B$ both A and B are saturated so their images through the projection are the disjoint open sets that let $X/K$ be Hausdorff.
$endgroup$
– SMC
Dec 15 '18 at 16:31
add a comment |
$begingroup$
Hint: Prove that, in general, if $X$ is Hausdorff and $K subset X$ is compact then the contraction $X/K$ is Hausdorff
answered Dec 15 '18 at 15:38
smantismanti
134
$endgroup$
$begingroup$
This is overkill on my opinion.
$endgroup$
– Matt Samuel
Dec 15 '18 at 15:39
$begingroup$
Maybe it is, but it's useful.
$endgroup$
– smanti
Dec 15 '18 at 15:42
$begingroup$
$X$ is Hausdorff so for every $x$ that does not lie in $K$ i can find two disjont open set $A,B$ such that $x in A$ and $K ⊂ B$ both A and B are saturated so their images through the projection are the disjoint open sets that let $X/K$ be Hausdorff.
$endgroup$
– SMC
Dec 15 '18 at 16:31
add a comment |
$begingroup$
Hint: Prove that, in general, if $X$ is Hausdorff and $K subset X$ is compact then the contraction $X/K$ is Hausdorff
answered Dec 15 '18 at 15:38
smantismanti
134
$endgroup$
Hint: Prove that, in general, if $X$ is Hausdorff and $K subset X$ is compact then the contraction $X/K$ is Hausdorff
answered Dec 15 '18 at 15:38
smantismanti
134
edited Dec 15 '18 at 15:39
answered Dec 15 '18 at 15:38
smantismanti
134
answered Dec 15 '18 at 15:38
smantismanti
134
answered Dec 15 '18 at 15:38
smantismanti
134
134
$begingroup$
This is overkill on my opinion.
$endgroup$
– Matt Samuel
Dec 15 '18 at 15:39
$begingroup$
Maybe it is, but it's useful.
$endgroup$
– smanti
Dec 15 '18 at 15:42
$begingroup$
$X$ is Hausdorff so for every $x$ that does not lie in $K$ i can find two disjont open set $A,B$ such that $x in A$ and $K ⊂ B$ both A and B are saturated so their images through the projection are the disjoint open sets that let $X/K$ be Hausdorff.
$endgroup$
– SMC
Dec 15 '18 at 16:31
add a comment |
$begingroup$
This is overkill on my opinion.
$endgroup$
– Matt Samuel
Dec 15 '18 at 15:39
$begingroup$
Maybe it is, but it's useful.
$endgroup$
– smanti
Dec 15 '18 at 15:42
$begingroup$
$X$ is Hausdorff so for every $x$ that does not lie in $K$ i can find two disjont open set $A,B$ such that $x in A$ and $K ⊂ B$ both A and B are saturated so their images through the projection are the disjoint open sets that let $X/K$ be Hausdorff.
$endgroup$
– SMC
Dec 15 '18 at 16:31
$begingroup$
This is overkill on my opinion.
$endgroup$
– Matt Samuel
Dec 15 '18 at 15:39
$begingroup$
This is overkill on my opinion.
$endgroup$
– Matt Samuel
Dec 15 '18 at 15:39
$begingroup$
Maybe it is, but it's useful.
$endgroup$
– smanti
Dec 15 '18 at 15:42
$begingroup$
Maybe it is, but it's useful.
$endgroup$
– smanti
Dec 15 '18 at 15:42
$begingroup$
$X$ is Hausdorff so for every $x$ that does not lie in $K$ i can find two disjont open set $A,B$ such that $x in A$ and $K ⊂ B$ both A and B are saturated so their images through the projection are the disjoint open sets that let $X/K$ be Hausdorff.
$endgroup$
– SMC
Dec 15 '18 at 16:31
$begingroup$
$X$ is Hausdorff so for every $x$ that does not lie in $K$ i can find two disjont open set $A,B$ such that $x in A$ and $K ⊂ B$ both A and B are saturated so their images through the projection are the disjoint open sets that let $X/K$ be Hausdorff.
$endgroup$
– SMC
Dec 15 '18 at 16:31
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%2f3041600%2fquotient-of-r2%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
