Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

The question is also posted here, however there is no answer.

Recently, I am reading the paper: On linearly Lindelöf and strongly discretely Lindelöf spaces by Arhangel'skii and Buzyakova. Here is the Lemma 2.2 in paper. (Sorry for the picture is not clear.)

enter image description here

The fifth line from last. How could I see that for any $a\in H$ and $z\in Z\setminus H$, there exists an element $V$ of $\mathcal{U}$ such that $a\in V$ and $z\notin V$? Thanks very much.

share|improve this question
add comment

1 Answer 1

up vote 4 down vote accepted

The assertion seems wrong, but the final conclusion is correct:

Fix $x \in X \setminus H$. For each $a \in H$ there exists an element $V$ of $\mathcal{U}$ such that $a \in V$ and $x \notin V$ (if $a \in Y$ then $V \in \xi_a$ and if $a \in H \setminus Y$ then $V \in \gamma_\alpha$ for an $\alpha$ for which $a \in K_\alpha$). So by compactness of $H$ there is a neighborhood $W$ of $H$ in $Z$ for which $x \notin W$, such that $W$ is the union of a finite subcollection of $\mathcal{U}$.

Therefore the family $\mu$ actually satisfies $$X \cap \bigcap \mu = X \cap H$$ even though you might not get $\bigcap \mu = H$. But this is enough because the left-hand side is a $G_{2^\omega}$-set in $X$ and the right-hand side is $Y$.

share|improve this answer
    
Thanks for the answer. So it is wrong at $x\in Z\setminus H$, where it should be $x\in X\setminus H$. Am I right? –  Paul Mar 7 '13 at 0:07
    
Yes that´s right, but then also the claims that ⋂μ=H and that $H$ is a $G_{2^\omega}$-set in $Z$ are not justified. –  Ramiro de la Vega Mar 7 '13 at 11:39
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

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