Proof that a singleton set must be closed or open when its ambient space is connected and given subspace is...
up vote
2
down vote
favorite
I have been asked to prove the following:
Let $X$ be a connected topological space, let $pin X$, and let $X-{p}$ be disconnected. Prove that ${p}$ must be either open or closed in $X$, but cannot be both open and closed in $X$.
I understand that ${p}$ cannot be both open and closed in $X$ as this would imply that ${p}$ and $X-{p}$ are both open in $X$, which implies that $(X-{p}) cup{p}=X$ is disconnected, as it is the union of two open disjoint sets.
So far I have been unable to establish why the case of ${p}$ being neither closed nor open is untenable. If you have any input or suggestions, it would, as always, be greatly appreciated.
general-topology connectedness
add a comment |
up vote
2
down vote
favorite
I have been asked to prove the following:
Let $X$ be a connected topological space, let $pin X$, and let $X-{p}$ be disconnected. Prove that ${p}$ must be either open or closed in $X$, but cannot be both open and closed in $X$.
I understand that ${p}$ cannot be both open and closed in $X$ as this would imply that ${p}$ and $X-{p}$ are both open in $X$, which implies that $(X-{p}) cup{p}=X$ is disconnected, as it is the union of two open disjoint sets.
So far I have been unable to establish why the case of ${p}$ being neither closed nor open is untenable. If you have any input or suggestions, it would, as always, be greatly appreciated.
general-topology connectedness
add a comment |
up vote
2
down vote
favorite
up vote
2
down vote
favorite
I have been asked to prove the following:
Let $X$ be a connected topological space, let $pin X$, and let $X-{p}$ be disconnected. Prove that ${p}$ must be either open or closed in $X$, but cannot be both open and closed in $X$.
I understand that ${p}$ cannot be both open and closed in $X$ as this would imply that ${p}$ and $X-{p}$ are both open in $X$, which implies that $(X-{p}) cup{p}=X$ is disconnected, as it is the union of two open disjoint sets.
So far I have been unable to establish why the case of ${p}$ being neither closed nor open is untenable. If you have any input or suggestions, it would, as always, be greatly appreciated.
general-topology connectedness
I have been asked to prove the following:
Let $X$ be a connected topological space, let $pin X$, and let $X-{p}$ be disconnected. Prove that ${p}$ must be either open or closed in $X$, but cannot be both open and closed in $X$.
I understand that ${p}$ cannot be both open and closed in $X$ as this would imply that ${p}$ and $X-{p}$ are both open in $X$, which implies that $(X-{p}) cup{p}=X$ is disconnected, as it is the union of two open disjoint sets.
So far I have been unable to establish why the case of ${p}$ being neither closed nor open is untenable. If you have any input or suggestions, it would, as always, be greatly appreciated.
general-topology connectedness
general-topology connectedness
asked Nov 21 at 22:48
Heinrich Wagner
24919
24919
add a comment |
add a comment |
1 Answer
1
active
oldest
votes
up vote
3
down vote
accepted
Since $Xsetminus{p}$ is disconnected, there are open non-empty subsets $A$ and $B$ of $Xsetminus{p}$ whose intersection is empty and whose union is $Xsetminus{p}$. Since $A$ and $B$ are open subsets of $Xsetminus{p}$, there are open subsets $A^star$ and $B^star$ of $X$ such that $A=A^starcap(Xsetminus{p})$ and that $B=B^starcap(Xsetminus{p})$. Now, there are $4$ possibilities:
$pnotin A^star$ and $pnotin B^star$: then $A=A^star$ and $B=B^star$. So, ${p}$ is a closed set, since $Xsetminus{p}=A^starcup B^star$, which is an open set.
$pin A^star$ and $pnotin B^star$: this is impossible, because then $X$ would be disconnected, since $A^starcap B^star=Acap B=emptyset$, $A^starcup B^star=X$, and $A^star,B^starneqemptyset$.
$pnotin A^star$ and $pin B^star$: its like the previous case.
$pin A^star$ and $pin B^star$: then ${p}=A^starcap B^star$ and therefore ${p}$ is an open subset of $X$.
Your proof is elegant and clear, and I understand your reasoning fully. Thank you for taking the time to help.
– Heinrich Wagner
Nov 22 at 1:24
I'm glad I could help.
– José Carlos Santos
Nov 22 at 7:09
add a comment |
1 Answer
1
active
oldest
votes
1 Answer
1
active
oldest
votes
active
oldest
votes
active
oldest
votes
up vote
3
down vote
accepted
Since $Xsetminus{p}$ is disconnected, there are open non-empty subsets $A$ and $B$ of $Xsetminus{p}$ whose intersection is empty and whose union is $Xsetminus{p}$. Since $A$ and $B$ are open subsets of $Xsetminus{p}$, there are open subsets $A^star$ and $B^star$ of $X$ such that $A=A^starcap(Xsetminus{p})$ and that $B=B^starcap(Xsetminus{p})$. Now, there are $4$ possibilities:
$pnotin A^star$ and $pnotin B^star$: then $A=A^star$ and $B=B^star$. So, ${p}$ is a closed set, since $Xsetminus{p}=A^starcup B^star$, which is an open set.
$pin A^star$ and $pnotin B^star$: this is impossible, because then $X$ would be disconnected, since $A^starcap B^star=Acap B=emptyset$, $A^starcup B^star=X$, and $A^star,B^starneqemptyset$.
$pnotin A^star$ and $pin B^star$: its like the previous case.
$pin A^star$ and $pin B^star$: then ${p}=A^starcap B^star$ and therefore ${p}$ is an open subset of $X$.
Your proof is elegant and clear, and I understand your reasoning fully. Thank you for taking the time to help.
– Heinrich Wagner
Nov 22 at 1:24
I'm glad I could help.
– José Carlos Santos
Nov 22 at 7:09
add a comment |
up vote
3
down vote
accepted
Since $Xsetminus{p}$ is disconnected, there are open non-empty subsets $A$ and $B$ of $Xsetminus{p}$ whose intersection is empty and whose union is $Xsetminus{p}$. Since $A$ and $B$ are open subsets of $Xsetminus{p}$, there are open subsets $A^star$ and $B^star$ of $X$ such that $A=A^starcap(Xsetminus{p})$ and that $B=B^starcap(Xsetminus{p})$. Now, there are $4$ possibilities:
$pnotin A^star$ and $pnotin B^star$: then $A=A^star$ and $B=B^star$. So, ${p}$ is a closed set, since $Xsetminus{p}=A^starcup B^star$, which is an open set.
$pin A^star$ and $pnotin B^star$: this is impossible, because then $X$ would be disconnected, since $A^starcap B^star=Acap B=emptyset$, $A^starcup B^star=X$, and $A^star,B^starneqemptyset$.
$pnotin A^star$ and $pin B^star$: its like the previous case.
$pin A^star$ and $pin B^star$: then ${p}=A^starcap B^star$ and therefore ${p}$ is an open subset of $X$.
Your proof is elegant and clear, and I understand your reasoning fully. Thank you for taking the time to help.
– Heinrich Wagner
Nov 22 at 1:24
I'm glad I could help.
– José Carlos Santos
Nov 22 at 7:09
add a comment |
up vote
3
down vote
accepted
up vote
3
down vote
accepted
Since $Xsetminus{p}$ is disconnected, there are open non-empty subsets $A$ and $B$ of $Xsetminus{p}$ whose intersection is empty and whose union is $Xsetminus{p}$. Since $A$ and $B$ are open subsets of $Xsetminus{p}$, there are open subsets $A^star$ and $B^star$ of $X$ such that $A=A^starcap(Xsetminus{p})$ and that $B=B^starcap(Xsetminus{p})$. Now, there are $4$ possibilities:
$pnotin A^star$ and $pnotin B^star$: then $A=A^star$ and $B=B^star$. So, ${p}$ is a closed set, since $Xsetminus{p}=A^starcup B^star$, which is an open set.
$pin A^star$ and $pnotin B^star$: this is impossible, because then $X$ would be disconnected, since $A^starcap B^star=Acap B=emptyset$, $A^starcup B^star=X$, and $A^star,B^starneqemptyset$.
$pnotin A^star$ and $pin B^star$: its like the previous case.
$pin A^star$ and $pin B^star$: then ${p}=A^starcap B^star$ and therefore ${p}$ is an open subset of $X$.
Since $Xsetminus{p}$ is disconnected, there are open non-empty subsets $A$ and $B$ of $Xsetminus{p}$ whose intersection is empty and whose union is $Xsetminus{p}$. Since $A$ and $B$ are open subsets of $Xsetminus{p}$, there are open subsets $A^star$ and $B^star$ of $X$ such that $A=A^starcap(Xsetminus{p})$ and that $B=B^starcap(Xsetminus{p})$. Now, there are $4$ possibilities:
$pnotin A^star$ and $pnotin B^star$: then $A=A^star$ and $B=B^star$. So, ${p}$ is a closed set, since $Xsetminus{p}=A^starcup B^star$, which is an open set.
$pin A^star$ and $pnotin B^star$: this is impossible, because then $X$ would be disconnected, since $A^starcap B^star=Acap B=emptyset$, $A^starcup B^star=X$, and $A^star,B^starneqemptyset$.
$pnotin A^star$ and $pin B^star$: its like the previous case.
$pin A^star$ and $pin B^star$: then ${p}=A^starcap B^star$ and therefore ${p}$ is an open subset of $X$.
answered Nov 21 at 23:13
José Carlos Santos
141k19111207
141k19111207
Your proof is elegant and clear, and I understand your reasoning fully. Thank you for taking the time to help.
– Heinrich Wagner
Nov 22 at 1:24
I'm glad I could help.
– José Carlos Santos
Nov 22 at 7:09
add a comment |
Your proof is elegant and clear, and I understand your reasoning fully. Thank you for taking the time to help.
– Heinrich Wagner
Nov 22 at 1:24
I'm glad I could help.
– José Carlos Santos
Nov 22 at 7:09
Your proof is elegant and clear, and I understand your reasoning fully. Thank you for taking the time to help.
– Heinrich Wagner
Nov 22 at 1:24
Your proof is elegant and clear, and I understand your reasoning fully. Thank you for taking the time to help.
– Heinrich Wagner
Nov 22 at 1:24
I'm glad I could help.
– José Carlos Santos
Nov 22 at 7:09
I'm glad I could help.
– José Carlos Santos
Nov 22 at 7:09
add a comment |
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%2f3008490%2fproof-that-a-singleton-set-must-be-closed-or-open-when-its-ambient-space-is-conn%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