Given, say a perfect polish space $P$ that contains a Cantor set $C$.
Let $\mathcal A$ be $\mathcal P(\mathcal P(C))$. Given a sequence $\langle U_n : n\in\omega\rangle\in{}^\omega\mathcal{A}$, $U_i \ne U_j$, is there a way to pick a finite family of sets $F_n$ from $U_n$, given some conditions on each $U_i$ such that $$ \bigcup_{i=1}^{\infty}F_i = C $$ That is to say for each sequence $\langle U_n : n\in\omega\rangle$ of elements of $^\omega\mathcal{A}$, we pluck a finite family of sets $F_n$ that are contained in $\bigcup U_n \subset \mathcal A$. Doing this, is there a strategy that gets us the a copy of the cantor set?
I am genuinely just curious and I may end up doing a project associated with questions such as these. However, at the present moment, this question was just something that popped into my head.
If we take $U_i$ to be a sequence of singletons, there should be countably many distinct $U_i$, we'd pick finitely many singletons each time, but the countable union of finite sets is at most countable, so we'd never end up with a copy of the cantor set.
So now we impose the condition that each $U_i$ be a sequence such that at least one thing in the sequence is a countably infinite subset of $C$. Can we do it now?
The answer is STILL no, because we can just keep the same countably infinite subset for each $U_i$ but to satisfy that the $U_i$ are distinct, we can make it so that each $U_i$ contains a different singleton but other than that, $U_i = U_j$ $\forall i\ne j$.
What is the minimum restriction we place on $U_i$ so that no matter what sequence, under such restrictions, we can always pick finitely many from each $U_i$ and geta copy of the cantor set?
Certainly it cannot be that each $U_i$ is a sequence of countably infinite subsets of $\mathcal A$, because the countable union of countable sets is at most countable. What sort of things must each $U_i$ contain ? Is there a way to characterize how little I need to ask from each $U_i$?
My conjecture is that the least conditions for each $U_i$ is that each $U_i$ admits something from a partition $\mathbb{P}$ of $C$, and that this partition is at most countably infinite, but I am unsure if there's something less explicit. Even if each $U_i$ admitted something from $\mathbb{P}$, wouldn't there be no way of finding this particular element from $\mathbb{P}$? Would there be a way to construct a partition of $C$, (in the end, by choosing carefully each member of $F_n$), given that each $U_i$ ONLY contained members from countably infinite partitions $\mathbb{P}$ of $C$ ?