Sign up ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Let X be a Hausdorff space and Difine the Property A as following: if $\mathscr{U}$ is a collection of open sets of X that witnesses Hausdorff property of X (= $\forall x,y \in X$, there exist two disjoint opensets $U_1$ and $U_2$ $\in \mathscr{U}$, st $x \in U_1$ and $y \in U_2$ ), then there is a point $x\in X$ such that $|U \in \mathscr{U}: x \in U|>\omega$. Is there a countable pseudocharacter Hausdorff space X with the property A?

share|cite|improve this question
I'm not sure if I follow what you're asking; it looks to me like some quantifiers have been left out. Is this condition supposed to hold for every such family $\mathcal{U}'$ in a given base $\mathcal{U}$? – Todd Eisworth Oct 27 '11 at 3:22
Yes, $\mathscr{U'}$ is asked for every. – Paul Oct 27 '11 at 5:34
"$\cal{U}'$ is asked for every" by whom? – Ramiro de la Vega Oct 27 '11 at 12:05
I'm sorry. I have edited the question. Now It may be more clearly. – Paul Oct 28 '11 at 0:28
This question was cross-posted to math.SE: – Rasmus Bentmann Oct 28 '11 at 8:51

1 Answer 1

Hodel defined the Hausdorff pseudo-character $H\psi(X)$ as the smallest infinite cardinal so that each point lies in at most $H\psi(X)$ elements of an open family $\mathcal{U'}$ that witnesses the Hausdorff property of $X$. Any $X$ such that $\omega = \psi(X) < H\psi(X)$ would seem to answer your question. I don't know of any specific example, but I guess there must be one. Why define $H\psi$ if it's really the same as $\psi$?

share|cite|improve this answer
I guess John´s question is a little easier since $\cal{U}'$ is restricted to be a subset of some fixed base, although it is hard to tell since all quantifiers are messed up. For instance take $X=\omega_1$ with the order topology; then $H\psi(X)=\psi(X)=\omega$ BUT if $\cal{U}$ is the base consisting of bounded intervals then you have "property A". – Ramiro de la Vega Oct 27 '11 at 12:40
Same sort of thing happens if you let $X$ be any infinite discrete space and let $\mathcal{U}=\mathcal{U}'=\mathcal{P}(X)$. – Todd Eisworth Oct 27 '11 at 18:58
@Ramiro de la Vega and Todd Eisworth, I'm sorry that I haven't said clearly. $\cal{U}'$ is any subcollection of $\cal{U}$ that witnesses the Hausdorff property of X and satisfy the Property A. It is "any" ! – Paul Oct 28 '11 at 0:24

Your Answer


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.