1
$\begingroup$

I need a space with countable tightness which is not a Fréchet space. In this space, I am searching for a point with no deleted neighborhood consisting entirely of P-points.

(A P-point is a point $x \in X$ such that for every $G_\delta$ set $O$ containing $x$, $x \in \operatorname{int}(O)$ or equivalently $M_x = O_x$, i.e every fixed prime z-filter that contains $x$ is a z-ultrafilter.)

$\endgroup$
4
  • $\begingroup$ Can you tell us that your example is not listed in Steen & Seebach? See austinmohr.com/home/?page_id=146 $\endgroup$ Commented Aug 21, 2013 at 12:28
  • $\begingroup$ Vahideh, please consult Chapters 15 and 16 of J. Kąkol, W. Kubiś and M. López-Pellicer, Descriptive Topology in Selected Topics of Functional Analysis, Developments in Mathematics, Vol. 24, Springer Science+Business Media, New York 2011. You will find there a large supply of examples you seek (mostly in the realm of function spaces), and it is very likely that the answer to your question can be deduced from the results gathered in this book. $\endgroup$ Commented Aug 21, 2013 at 13:11
  • 1
    $\begingroup$ Why was the definition of a $P$-point given in the question, but not the definition of tightness and a Frechet space? $\endgroup$ Commented Aug 21, 2013 at 16:19
  • $\begingroup$ Thanks for your hints. (for Joseph:) I think P-point may be is not well known for Pure topologists. $\endgroup$ Commented Sep 2, 2013 at 7:21

1 Answer 1

2
$\begingroup$

First note that in a space with countable tightness: $P$-point $\Leftrightarrow$ weak $P$-point $\Leftrightarrow$ Isolated point. So you are looking for a point for which every deleted neighborhood contains a non-isolated point. You can do a lot better:

Let $X$ be a countable maximal space (i.e. such that the topology on $X$ is maximal among those topologies which have no isolated points). This is an easy application of Zorn´s lemma, starting with any countable space which has no isolated points. Then:

1) $X$ is countable (in particular it has countable tightness),

2) No point of $X$ is a limit point of two disjoint subsets of $X$ (in particular it has no non-trivial convergent sequences and therefore it is not Fréchet),

3) $X$ has no isolated points (so any point has the property that you want).

Property 2 is not so easy to check, but you can look at "Applications of maximal topologies" by E.K. van Douwen, where he proves (see Theorem 2.2) that for crowded spaces (i.e. spaces with no isolated points) property 2 (which he calls perfectly disconnected) is equivalent to being a maximal space. In the same paper, van Douwen shows how you can construct such a space which is also regular (this is not a simple application of Zorn´s lemma anymore).

$\endgroup$
3
  • $\begingroup$ Thank u dear. This example was that I wish. Do you know QP-spaces? (spaces X that C(X) has no prime z-ideal except primes and maximals.) This space is a poinwise QP-space. $\endgroup$ Commented Sep 2, 2013 at 8:07
  • $\begingroup$ [quote]First note that in a space with countable tightness: $P$-point $\Leftrightarrow$ weak $P$-point $\Leftrightarrow$ Isolated point.[\quote] Dear Ramiro de la Vega, I don't find above proposition in literatures. please refer me to that refrense. $\endgroup$ Commented Sep 6, 2013 at 15:04
  • 1
    $\begingroup$ @VahidehBagheri: If $x$ is a weak $P$-point then $x$ is not in the closure of any countable $A \subseteq X \setminus \lbrace x \rbrace$ and therefore (using countable tightness) it is not in the closure of $X \setminus \lbrace x \rbrace$; that is, $x$ is isolated. The other implications: Isolated $\Rightarrow$ $P$-point $\Rightarrow$ weak $P$-point are obviously true in any space (never mind the tightness). $\endgroup$ Commented Sep 6, 2013 at 15:37

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .