Second countable profinite topological space any equivalence class is a finite union of basic open sets
Clash Royale CLAN TAG#URR8PPP
up vote
0
down vote
favorite
Let $X$ be a profinite space.(i.e. $X$ is the inverse limit of finite discrete space.) Suppose $X$ is 2nd countable. Then fix any open equivalence relation $R$ on $X$. Pick $xin X$. Then $Rxsubset X$ is a finite union of basic open sets.
$textbfQ:$ Why $Rx$ equivalence class is a finite union of basic open sets?
$textbfQ':$ It follows that there are only countably many open equivalence relation on $X$. What cardinality arithmetic is used here? I knew $X$ is compact and there are only finite covering required. How do I know there is a countably many open relations?
Ref. Profinite Groups Luis Ribes, Chpt 1
general-topology elementary-set-theory
 |Â
show 1 more comment
up vote
0
down vote
favorite
Let $X$ be a profinite space.(i.e. $X$ is the inverse limit of finite discrete space.) Suppose $X$ is 2nd countable. Then fix any open equivalence relation $R$ on $X$. Pick $xin X$. Then $Rxsubset X$ is a finite union of basic open sets.
$textbfQ:$ Why $Rx$ equivalence class is a finite union of basic open sets?
$textbfQ':$ It follows that there are only countably many open equivalence relation on $X$. What cardinality arithmetic is used here? I knew $X$ is compact and there are only finite covering required. How do I know there is a countably many open relations?
Ref. Profinite Groups Luis Ribes, Chpt 1
general-topology elementary-set-theory
Define what you mean by an open equivalence relation?
â Henno Brandsma
Aug 10 at 6:36
@HennoBrandsma $R$ is open if $Rxsubset X$ is open where $Rx$ denotes the elements equivalent to $x$ under relation $R$.
â user45765
Aug 10 at 11:32
So there are only finitely many distinct classes by compactness.
â Henno Brandsma
Aug 10 at 19:52
@HennoBrandsma So the reasoning is picking a particular equivalence relation and use inverse limit can be approximated by cofinal limit. This pick out a particular cofinal inverse system starting with that choice of equivalence relation and every others are refinement of that equivalence relation. Is this correct?
â user45765
Aug 10 at 22:07
I donâÂÂt understand your point, sorry. Why $Rx$ would be a finite union of basic open sets?
â Henno Brandsma
Aug 10 at 22:16
 |Â
show 1 more comment
up vote
0
down vote
favorite
up vote
0
down vote
favorite
Let $X$ be a profinite space.(i.e. $X$ is the inverse limit of finite discrete space.) Suppose $X$ is 2nd countable. Then fix any open equivalence relation $R$ on $X$. Pick $xin X$. Then $Rxsubset X$ is a finite union of basic open sets.
$textbfQ:$ Why $Rx$ equivalence class is a finite union of basic open sets?
$textbfQ':$ It follows that there are only countably many open equivalence relation on $X$. What cardinality arithmetic is used here? I knew $X$ is compact and there are only finite covering required. How do I know there is a countably many open relations?
Ref. Profinite Groups Luis Ribes, Chpt 1
general-topology elementary-set-theory
Let $X$ be a profinite space.(i.e. $X$ is the inverse limit of finite discrete space.) Suppose $X$ is 2nd countable. Then fix any open equivalence relation $R$ on $X$. Pick $xin X$. Then $Rxsubset X$ is a finite union of basic open sets.
$textbfQ:$ Why $Rx$ equivalence class is a finite union of basic open sets?
$textbfQ':$ It follows that there are only countably many open equivalence relation on $X$. What cardinality arithmetic is used here? I knew $X$ is compact and there are only finite covering required. How do I know there is a countably many open relations?
Ref. Profinite Groups Luis Ribes, Chpt 1
general-topology elementary-set-theory
asked Aug 9 at 23:02
user45765
2,2022718
2,2022718
Define what you mean by an open equivalence relation?
â Henno Brandsma
Aug 10 at 6:36
@HennoBrandsma $R$ is open if $Rxsubset X$ is open where $Rx$ denotes the elements equivalent to $x$ under relation $R$.
â user45765
Aug 10 at 11:32
So there are only finitely many distinct classes by compactness.
â Henno Brandsma
Aug 10 at 19:52
@HennoBrandsma So the reasoning is picking a particular equivalence relation and use inverse limit can be approximated by cofinal limit. This pick out a particular cofinal inverse system starting with that choice of equivalence relation and every others are refinement of that equivalence relation. Is this correct?
â user45765
Aug 10 at 22:07
I donâÂÂt understand your point, sorry. Why $Rx$ would be a finite union of basic open sets?
â Henno Brandsma
Aug 10 at 22:16
 |Â
show 1 more comment
Define what you mean by an open equivalence relation?
â Henno Brandsma
Aug 10 at 6:36
@HennoBrandsma $R$ is open if $Rxsubset X$ is open where $Rx$ denotes the elements equivalent to $x$ under relation $R$.
â user45765
Aug 10 at 11:32
So there are only finitely many distinct classes by compactness.
â Henno Brandsma
Aug 10 at 19:52
@HennoBrandsma So the reasoning is picking a particular equivalence relation and use inverse limit can be approximated by cofinal limit. This pick out a particular cofinal inverse system starting with that choice of equivalence relation and every others are refinement of that equivalence relation. Is this correct?
â user45765
Aug 10 at 22:07
I donâÂÂt understand your point, sorry. Why $Rx$ would be a finite union of basic open sets?
â Henno Brandsma
Aug 10 at 22:16
Define what you mean by an open equivalence relation?
â Henno Brandsma
Aug 10 at 6:36
Define what you mean by an open equivalence relation?
â Henno Brandsma
Aug 10 at 6:36
@HennoBrandsma $R$ is open if $Rxsubset X$ is open where $Rx$ denotes the elements equivalent to $x$ under relation $R$.
â user45765
Aug 10 at 11:32
@HennoBrandsma $R$ is open if $Rxsubset X$ is open where $Rx$ denotes the elements equivalent to $x$ under relation $R$.
â user45765
Aug 10 at 11:32
So there are only finitely many distinct classes by compactness.
â Henno Brandsma
Aug 10 at 19:52
So there are only finitely many distinct classes by compactness.
â Henno Brandsma
Aug 10 at 19:52
@HennoBrandsma So the reasoning is picking a particular equivalence relation and use inverse limit can be approximated by cofinal limit. This pick out a particular cofinal inverse system starting with that choice of equivalence relation and every others are refinement of that equivalence relation. Is this correct?
â user45765
Aug 10 at 22:07
@HennoBrandsma So the reasoning is picking a particular equivalence relation and use inverse limit can be approximated by cofinal limit. This pick out a particular cofinal inverse system starting with that choice of equivalence relation and every others are refinement of that equivalence relation. Is this correct?
â user45765
Aug 10 at 22:07
I donâÂÂt understand your point, sorry. Why $Rx$ would be a finite union of basic open sets?
â Henno Brandsma
Aug 10 at 22:16
I donâÂÂt understand your point, sorry. Why $Rx$ would be a finite union of basic open sets?
â Henno Brandsma
Aug 10 at 22:16
 |Â
show 1 more comment
1 Answer
1
active
oldest
votes
up vote
0
down vote
Q has been answered by the above comments. We know that there are only finitely many equivalence classes, each of these being the finite union of basic open sets.
$X$ has a countable base $mathcalB$, therefore the set of all finite sequences in $mathcalB$ is also countable and we conclude that the set $mathcalB^ast$ of all finite unions of basic open sets must be countable. Hence the set $mathcalB^ast ast$ of all finite sequences in $mathcalB^ast$ is countable. The set of open equivalence relations on $X$ can be identified with a subset of $mathcalB^ast ast$. This answers Q'.
add a comment |Â
1 Answer
1
active
oldest
votes
1 Answer
1
active
oldest
votes
active
oldest
votes
active
oldest
votes
up vote
0
down vote
Q has been answered by the above comments. We know that there are only finitely many equivalence classes, each of these being the finite union of basic open sets.
$X$ has a countable base $mathcalB$, therefore the set of all finite sequences in $mathcalB$ is also countable and we conclude that the set $mathcalB^ast$ of all finite unions of basic open sets must be countable. Hence the set $mathcalB^ast ast$ of all finite sequences in $mathcalB^ast$ is countable. The set of open equivalence relations on $X$ can be identified with a subset of $mathcalB^ast ast$. This answers Q'.
add a comment |Â
up vote
0
down vote
Q has been answered by the above comments. We know that there are only finitely many equivalence classes, each of these being the finite union of basic open sets.
$X$ has a countable base $mathcalB$, therefore the set of all finite sequences in $mathcalB$ is also countable and we conclude that the set $mathcalB^ast$ of all finite unions of basic open sets must be countable. Hence the set $mathcalB^ast ast$ of all finite sequences in $mathcalB^ast$ is countable. The set of open equivalence relations on $X$ can be identified with a subset of $mathcalB^ast ast$. This answers Q'.
add a comment |Â
up vote
0
down vote
up vote
0
down vote
Q has been answered by the above comments. We know that there are only finitely many equivalence classes, each of these being the finite union of basic open sets.
$X$ has a countable base $mathcalB$, therefore the set of all finite sequences in $mathcalB$ is also countable and we conclude that the set $mathcalB^ast$ of all finite unions of basic open sets must be countable. Hence the set $mathcalB^ast ast$ of all finite sequences in $mathcalB^ast$ is countable. The set of open equivalence relations on $X$ can be identified with a subset of $mathcalB^ast ast$. This answers Q'.
Q has been answered by the above comments. We know that there are only finitely many equivalence classes, each of these being the finite union of basic open sets.
$X$ has a countable base $mathcalB$, therefore the set of all finite sequences in $mathcalB$ is also countable and we conclude that the set $mathcalB^ast$ of all finite unions of basic open sets must be countable. Hence the set $mathcalB^ast ast$ of all finite sequences in $mathcalB^ast$ is countable. The set of open equivalence relations on $X$ can be identified with a subset of $mathcalB^ast ast$. This answers Q'.
answered Aug 15 at 22:41
Paul Frost
3,836420
3,836420
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%2f2877805%2fsecond-countable-profinite-topological-space-any-equivalence-class-is-a-finite-u%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
Define what you mean by an open equivalence relation?
â Henno Brandsma
Aug 10 at 6:36
@HennoBrandsma $R$ is open if $Rxsubset X$ is open where $Rx$ denotes the elements equivalent to $x$ under relation $R$.
â user45765
Aug 10 at 11:32
So there are only finitely many distinct classes by compactness.
â Henno Brandsma
Aug 10 at 19:52
@HennoBrandsma So the reasoning is picking a particular equivalence relation and use inverse limit can be approximated by cofinal limit. This pick out a particular cofinal inverse system starting with that choice of equivalence relation and every others are refinement of that equivalence relation. Is this correct?
â user45765
Aug 10 at 22:07
I donâÂÂt understand your point, sorry. Why $Rx$ would be a finite union of basic open sets?
â Henno Brandsma
Aug 10 at 22:16