Perfect independent sets with respect to infinitely many relations (Q334980): Difference between revisions
From MaRDI portal
Changed an Item |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: On the existence of free subgroups in topological groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4227935 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Homogeneity for Open Partitions of Pairs of Reals / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Large free subgroups of automorphism groups of ultrahomogeneous spaces / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Perfect cliques and $G_\delta $ colorings of Polish spaces / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Covering an uncountable square by countably many continuous functions / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Independent sets in topological algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4248070 / rank | |||
Normal rank |
Latest revision as of 21:14, 12 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Perfect independent sets with respect to infinitely many relations |
scientific article |
Statements
Perfect independent sets with respect to infinitely many relations (English)
0 references
1 November 2016
0 references
Let \(\kappa\) be an infinite cardinal number and let \(X\) be a completely metrizable space of weight~\(\kappa\). Furthermore let \(\mathcal{R}\) be a countable family of relations on~\(X\), each of some arity and an \(F_\sigma\)-subset of the corresponding power. Then, one of the following holds: there exists a perfect set that is independent with respect to all relations in~\(\mathcal{R}\), or there is an ordinal~\(\gamma\) below~\(\kappa^+\) such that every such independent set has Cantor-Bendixson rank not more than~\(\gamma\). The authors actually prove the dual form on cliques with respect to \(G_\delta\)-relations. There are applications of this result to topological groups: sufficient conditions for the existence of various subgroups with perfect sets of generators.
0 references
perfect independent set
0 references
perfect clique
0 references
open relation
0 references
free subgroup
0 references