Showing that all sets in $mathcalB:=a+bmathbbZ:ain mathbbZ, bin mathbbN$ are closed wrt the topology $mathcal B$ is the basis of
Clash Royale CLAN TAG#URR8PPP
up vote
0
down vote
favorite
$mathcalB:=a+bmathbbZ:ain mathbbZ, bin mathbbN$
I already showed that $mathcal B$ is a basis of a topology on $mathbb Z$.
How can I show that every set in $mathcal B$ is closed w.r.t. that topology?
For this I want to show that their complements are open which means they can be written as unions of elements of $mathcal B$.
Buw how do I do this?
What's $(a+b mathbb Z)^c$ and how can I write it as such a union of elements of $mathcal B$?
(I know that $a + bmathbb Z=x +bmathbb Z forall x in a+b mathbb Z$ if that helps)
general-topology
add a comment |Â
up vote
0
down vote
favorite
$mathcalB:=a+bmathbbZ:ain mathbbZ, bin mathbbN$
I already showed that $mathcal B$ is a basis of a topology on $mathbb Z$.
How can I show that every set in $mathcal B$ is closed w.r.t. that topology?
For this I want to show that their complements are open which means they can be written as unions of elements of $mathcal B$.
Buw how do I do this?
What's $(a+b mathbb Z)^c$ and how can I write it as such a union of elements of $mathcal B$?
(I know that $a + bmathbb Z=x +bmathbb Z forall x in a+b mathbb Z$ if that helps)
general-topology
1
Do we have $0inmathbb N$ here? If so then $a=a+0mathbb Z$ is open for every $ainmathbb Z$ and consequently every subset $A=bigcup_ain Aa$ is open. If all sets are open then also all sets are closed.
â drhab
Aug 29 at 9:02
@drhab Usually we don't include $0$ but this might be an exception (The task should be rather easy as we just started out with topology so I can imagine we include $0$ here). But can you explain how you conclude from $A=bigcup_a in A a$ is open that every set in $mathcal B$ is closed w.r.t. that topology?
â user586087
Aug 29 at 9:13
Let $Asubseteqmathbb Z$. Then $A^complement=bigcup_nin A^complementn$ is open. Then consequently $A=(A^complement)^complement$ is closed.
â drhab
Aug 29 at 9:17
@drhab Thanks! And if we have $0 in mathbbN$, is it also a Hausdorff space? Because for $x,yin mathbbZ, x neq y$ we got $x in x+0 mathbbZ$ and $y in y+0 mathbbZ$ which are disjoint?
â user586087
Aug 29 at 9:31
Yes. It concerns topological space $(mathbb Z,wp(mathbb Z))$, so discrete topology. It surely is Hausdorff (more than that).
â drhab
Aug 29 at 9:33
add a comment |Â
up vote
0
down vote
favorite
up vote
0
down vote
favorite
$mathcalB:=a+bmathbbZ:ain mathbbZ, bin mathbbN$
I already showed that $mathcal B$ is a basis of a topology on $mathbb Z$.
How can I show that every set in $mathcal B$ is closed w.r.t. that topology?
For this I want to show that their complements are open which means they can be written as unions of elements of $mathcal B$.
Buw how do I do this?
What's $(a+b mathbb Z)^c$ and how can I write it as such a union of elements of $mathcal B$?
(I know that $a + bmathbb Z=x +bmathbb Z forall x in a+b mathbb Z$ if that helps)
general-topology
$mathcalB:=a+bmathbbZ:ain mathbbZ, bin mathbbN$
I already showed that $mathcal B$ is a basis of a topology on $mathbb Z$.
How can I show that every set in $mathcal B$ is closed w.r.t. that topology?
For this I want to show that their complements are open which means they can be written as unions of elements of $mathcal B$.
Buw how do I do this?
What's $(a+b mathbb Z)^c$ and how can I write it as such a union of elements of $mathcal B$?
(I know that $a + bmathbb Z=x +bmathbb Z forall x in a+b mathbb Z$ if that helps)
general-topology
asked Aug 29 at 8:49
user586087
635
635
1
Do we have $0inmathbb N$ here? If so then $a=a+0mathbb Z$ is open for every $ainmathbb Z$ and consequently every subset $A=bigcup_ain Aa$ is open. If all sets are open then also all sets are closed.
â drhab
Aug 29 at 9:02
@drhab Usually we don't include $0$ but this might be an exception (The task should be rather easy as we just started out with topology so I can imagine we include $0$ here). But can you explain how you conclude from $A=bigcup_a in A a$ is open that every set in $mathcal B$ is closed w.r.t. that topology?
â user586087
Aug 29 at 9:13
Let $Asubseteqmathbb Z$. Then $A^complement=bigcup_nin A^complementn$ is open. Then consequently $A=(A^complement)^complement$ is closed.
â drhab
Aug 29 at 9:17
@drhab Thanks! And if we have $0 in mathbbN$, is it also a Hausdorff space? Because for $x,yin mathbbZ, x neq y$ we got $x in x+0 mathbbZ$ and $y in y+0 mathbbZ$ which are disjoint?
â user586087
Aug 29 at 9:31
Yes. It concerns topological space $(mathbb Z,wp(mathbb Z))$, so discrete topology. It surely is Hausdorff (more than that).
â drhab
Aug 29 at 9:33
add a comment |Â
1
Do we have $0inmathbb N$ here? If so then $a=a+0mathbb Z$ is open for every $ainmathbb Z$ and consequently every subset $A=bigcup_ain Aa$ is open. If all sets are open then also all sets are closed.
â drhab
Aug 29 at 9:02
@drhab Usually we don't include $0$ but this might be an exception (The task should be rather easy as we just started out with topology so I can imagine we include $0$ here). But can you explain how you conclude from $A=bigcup_a in A a$ is open that every set in $mathcal B$ is closed w.r.t. that topology?
â user586087
Aug 29 at 9:13
Let $Asubseteqmathbb Z$. Then $A^complement=bigcup_nin A^complementn$ is open. Then consequently $A=(A^complement)^complement$ is closed.
â drhab
Aug 29 at 9:17
@drhab Thanks! And if we have $0 in mathbbN$, is it also a Hausdorff space? Because for $x,yin mathbbZ, x neq y$ we got $x in x+0 mathbbZ$ and $y in y+0 mathbbZ$ which are disjoint?
â user586087
Aug 29 at 9:31
Yes. It concerns topological space $(mathbb Z,wp(mathbb Z))$, so discrete topology. It surely is Hausdorff (more than that).
â drhab
Aug 29 at 9:33
1
1
Do we have $0inmathbb N$ here? If so then $a=a+0mathbb Z$ is open for every $ainmathbb Z$ and consequently every subset $A=bigcup_ain Aa$ is open. If all sets are open then also all sets are closed.
â drhab
Aug 29 at 9:02
Do we have $0inmathbb N$ here? If so then $a=a+0mathbb Z$ is open for every $ainmathbb Z$ and consequently every subset $A=bigcup_ain Aa$ is open. If all sets are open then also all sets are closed.
â drhab
Aug 29 at 9:02
@drhab Usually we don't include $0$ but this might be an exception (The task should be rather easy as we just started out with topology so I can imagine we include $0$ here). But can you explain how you conclude from $A=bigcup_a in A a$ is open that every set in $mathcal B$ is closed w.r.t. that topology?
â user586087
Aug 29 at 9:13
@drhab Usually we don't include $0$ but this might be an exception (The task should be rather easy as we just started out with topology so I can imagine we include $0$ here). But can you explain how you conclude from $A=bigcup_a in A a$ is open that every set in $mathcal B$ is closed w.r.t. that topology?
â user586087
Aug 29 at 9:13
Let $Asubseteqmathbb Z$. Then $A^complement=bigcup_nin A^complementn$ is open. Then consequently $A=(A^complement)^complement$ is closed.
â drhab
Aug 29 at 9:17
Let $Asubseteqmathbb Z$. Then $A^complement=bigcup_nin A^complementn$ is open. Then consequently $A=(A^complement)^complement$ is closed.
â drhab
Aug 29 at 9:17
@drhab Thanks! And if we have $0 in mathbbN$, is it also a Hausdorff space? Because for $x,yin mathbbZ, x neq y$ we got $x in x+0 mathbbZ$ and $y in y+0 mathbbZ$ which are disjoint?
â user586087
Aug 29 at 9:31
@drhab Thanks! And if we have $0 in mathbbN$, is it also a Hausdorff space? Because for $x,yin mathbbZ, x neq y$ we got $x in x+0 mathbbZ$ and $y in y+0 mathbbZ$ which are disjoint?
â user586087
Aug 29 at 9:31
Yes. It concerns topological space $(mathbb Z,wp(mathbb Z))$, so discrete topology. It surely is Hausdorff (more than that).
â drhab
Aug 29 at 9:33
Yes. It concerns topological space $(mathbb Z,wp(mathbb Z))$, so discrete topology. It surely is Hausdorff (more than that).
â drhab
Aug 29 at 9:33
add a comment |Â
2 Answers
2
active
oldest
votes
up vote
2
down vote
Just to make clear what $a+bmathbbZ$ means:
beginalign
3 + 5mathbbZ &= ldots,3-5times 2,3-5times 1,3,3+5times 1,3+5times 2,ldots \
&= ldots,-7,-2,3,8,13,ldots.
endalign
Therefore the complement of $a+bmathbbZ$ is equal to
beginalign
(a+bmathbbZ)^c = (a+1)+bmathbbZ cup (a+2)+bmathbbZ cup cdots cup(a+b-1)+bmathbbZ.
endalign
add a comment |Â
up vote
1
down vote
The statement that all sets are closed is actually the same as the statements that all sets are open (see my comment on the question).
So if indeed all sets are closed then the set $0$ must be an open set.
Then some $Binmathcal B$ must exist with $0in Bsubseteq0$.
There is only one candidate: $B=0$ so we conclude that $0inmathcal B$.
However if here $0notinmathbb N$ then all elements of $mathcal B$ are infinite sets so that in that case $0notinmathcal B$.
This indicates that here $0inmathbb N$ and based on that we find that every singleton is an element of $mathcal B$ because:$$a=a+0mathbb Zinmathcal B$$
Then all singletons are open and consequently all sets are open.
Then also all sets are closed.
add a comment |Â
2 Answers
2
active
oldest
votes
2 Answers
2
active
oldest
votes
active
oldest
votes
active
oldest
votes
up vote
2
down vote
Just to make clear what $a+bmathbbZ$ means:
beginalign
3 + 5mathbbZ &= ldots,3-5times 2,3-5times 1,3,3+5times 1,3+5times 2,ldots \
&= ldots,-7,-2,3,8,13,ldots.
endalign
Therefore the complement of $a+bmathbbZ$ is equal to
beginalign
(a+bmathbbZ)^c = (a+1)+bmathbbZ cup (a+2)+bmathbbZ cup cdots cup(a+b-1)+bmathbbZ.
endalign
add a comment |Â
up vote
2
down vote
Just to make clear what $a+bmathbbZ$ means:
beginalign
3 + 5mathbbZ &= ldots,3-5times 2,3-5times 1,3,3+5times 1,3+5times 2,ldots \
&= ldots,-7,-2,3,8,13,ldots.
endalign
Therefore the complement of $a+bmathbbZ$ is equal to
beginalign
(a+bmathbbZ)^c = (a+1)+bmathbbZ cup (a+2)+bmathbbZ cup cdots cup(a+b-1)+bmathbbZ.
endalign
add a comment |Â
up vote
2
down vote
up vote
2
down vote
Just to make clear what $a+bmathbbZ$ means:
beginalign
3 + 5mathbbZ &= ldots,3-5times 2,3-5times 1,3,3+5times 1,3+5times 2,ldots \
&= ldots,-7,-2,3,8,13,ldots.
endalign
Therefore the complement of $a+bmathbbZ$ is equal to
beginalign
(a+bmathbbZ)^c = (a+1)+bmathbbZ cup (a+2)+bmathbbZ cup cdots cup(a+b-1)+bmathbbZ.
endalign
Just to make clear what $a+bmathbbZ$ means:
beginalign
3 + 5mathbbZ &= ldots,3-5times 2,3-5times 1,3,3+5times 1,3+5times 2,ldots \
&= ldots,-7,-2,3,8,13,ldots.
endalign
Therefore the complement of $a+bmathbbZ$ is equal to
beginalign
(a+bmathbbZ)^c = (a+1)+bmathbbZ cup (a+2)+bmathbbZ cup cdots cup(a+b-1)+bmathbbZ.
endalign
answered Aug 29 at 9:04
Marc
5,5601922
5,5601922
add a comment |Â
add a comment |Â
up vote
1
down vote
The statement that all sets are closed is actually the same as the statements that all sets are open (see my comment on the question).
So if indeed all sets are closed then the set $0$ must be an open set.
Then some $Binmathcal B$ must exist with $0in Bsubseteq0$.
There is only one candidate: $B=0$ so we conclude that $0inmathcal B$.
However if here $0notinmathbb N$ then all elements of $mathcal B$ are infinite sets so that in that case $0notinmathcal B$.
This indicates that here $0inmathbb N$ and based on that we find that every singleton is an element of $mathcal B$ because:$$a=a+0mathbb Zinmathcal B$$
Then all singletons are open and consequently all sets are open.
Then also all sets are closed.
add a comment |Â
up vote
1
down vote
The statement that all sets are closed is actually the same as the statements that all sets are open (see my comment on the question).
So if indeed all sets are closed then the set $0$ must be an open set.
Then some $Binmathcal B$ must exist with $0in Bsubseteq0$.
There is only one candidate: $B=0$ so we conclude that $0inmathcal B$.
However if here $0notinmathbb N$ then all elements of $mathcal B$ are infinite sets so that in that case $0notinmathcal B$.
This indicates that here $0inmathbb N$ and based on that we find that every singleton is an element of $mathcal B$ because:$$a=a+0mathbb Zinmathcal B$$
Then all singletons are open and consequently all sets are open.
Then also all sets are closed.
add a comment |Â
up vote
1
down vote
up vote
1
down vote
The statement that all sets are closed is actually the same as the statements that all sets are open (see my comment on the question).
So if indeed all sets are closed then the set $0$ must be an open set.
Then some $Binmathcal B$ must exist with $0in Bsubseteq0$.
There is only one candidate: $B=0$ so we conclude that $0inmathcal B$.
However if here $0notinmathbb N$ then all elements of $mathcal B$ are infinite sets so that in that case $0notinmathcal B$.
This indicates that here $0inmathbb N$ and based on that we find that every singleton is an element of $mathcal B$ because:$$a=a+0mathbb Zinmathcal B$$
Then all singletons are open and consequently all sets are open.
Then also all sets are closed.
The statement that all sets are closed is actually the same as the statements that all sets are open (see my comment on the question).
So if indeed all sets are closed then the set $0$ must be an open set.
Then some $Binmathcal B$ must exist with $0in Bsubseteq0$.
There is only one candidate: $B=0$ so we conclude that $0inmathcal B$.
However if here $0notinmathbb N$ then all elements of $mathcal B$ are infinite sets so that in that case $0notinmathcal B$.
This indicates that here $0inmathbb N$ and based on that we find that every singleton is an element of $mathcal B$ because:$$a=a+0mathbb Zinmathcal B$$
Then all singletons are open and consequently all sets are open.
Then also all sets are closed.
answered Aug 29 at 9:30
drhab
88.8k541120
88.8k541120
add a comment |Â
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
StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2898119%2fshowing-that-all-sets-in-mathcalb-ab-mathbbza-in-mathbbz-b-in-ma%23new-answer', 'question_page');
);
Post as a guest
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
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
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
1
Do we have $0inmathbb N$ here? If so then $a=a+0mathbb Z$ is open for every $ainmathbb Z$ and consequently every subset $A=bigcup_ain Aa$ is open. If all sets are open then also all sets are closed.
â drhab
Aug 29 at 9:02
@drhab Usually we don't include $0$ but this might be an exception (The task should be rather easy as we just started out with topology so I can imagine we include $0$ here). But can you explain how you conclude from $A=bigcup_a in A a$ is open that every set in $mathcal B$ is closed w.r.t. that topology?
â user586087
Aug 29 at 9:13
Let $Asubseteqmathbb Z$. Then $A^complement=bigcup_nin A^complementn$ is open. Then consequently $A=(A^complement)^complement$ is closed.
â drhab
Aug 29 at 9:17
@drhab Thanks! And if we have $0 in mathbbN$, is it also a Hausdorff space? Because for $x,yin mathbbZ, x neq y$ we got $x in x+0 mathbbZ$ and $y in y+0 mathbbZ$ which are disjoint?
â user586087
Aug 29 at 9:31
Yes. It concerns topological space $(mathbb Z,wp(mathbb Z))$, so discrete topology. It surely is Hausdorff (more than that).
â drhab
Aug 29 at 9:33