5
$\begingroup$

Let A=$\{a_n : n\in \omega \}\subset 2^{\omega\times\omega}$ be nonempty countable without isolated points (i.e. homeomorphic to $\mathbb{Q}$), and satisfy $ \forall n\in \omega \exists^\infty m|\{k:a_n(m,k)=1\}|=\omega $. Does there exist $ a\in cl(A)\setminus A$ satisfying $\exists^\infty m|\{k:a(m,k)=1\}|=\omega $?

$\endgroup$
2
  • 1
    $\begingroup$ what's the meaning of "$\exists^\infty$"? $\endgroup$ Oct 13, 2012 at 15:57
  • $\begingroup$ "There are infinitely many" $\endgroup$ Oct 13, 2012 at 16:15

1 Answer 1

3
$\begingroup$

I think the answer is no, as shown by the following set $A$ (whose elements I will describe as subsets rather than binary functions).

For any map $\sigma:\omega\to\omega+1:=\omega\cup\{\omega\}$ define its hypograph $$\mathrm{hypo}(\sigma):=\{(m,k)\in\omega\times\omega: k < \sigma(m)\}\subset\omega\times\omega\\ .$$

An increasing map $\sigma:\omega\to\omega+1$ takes the value $\omega$ if and only if its hypograph contains a subset of the form $[n,\omega)\times \omega$, thus, if and only if it has the property (P) stated in the question (there exist infinitely many $m$ such that there exist infinitely many $k$ such that $(m,k)\in \mathrm{hypo}(\sigma)$; which is indeed verified quite in a strong way).

Let $A$ be the set of all hypographs of all increasing maps that take the value $\omega$. Clearly, the set $A$ is countable, with no isolated points; and all its elements enjoy property (P). A point in $\mathrm{cl}(A)\setminus A$ is exactly the hypograph of an increasing $\omega$-valued map, which never satisfies property (P).

$\endgroup$
2
  • $\begingroup$ Nice example Pietro. $\endgroup$ Oct 14, 2012 at 3:28
  • $\begingroup$ Tanks for your answer,you are right. $\endgroup$ Oct 14, 2012 at 6:44

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.