# MAD families and $P$-points

Salvador García-Ferreira; Paul J. Szeptycki

Commentationes Mathematicae Universitatis Carolinae (2007)

- Volume: 48, Issue: 4, page 699-705
- ISSN: 0010-2628

## Access Full Article

top## Abstract

top## How to cite

topGarcía-Ferreira, Salvador, and Szeptycki, Paul J.. "MAD families and $P$-points." Commentationes Mathematicae Universitatis Carolinae 48.4 (2007): 699-705. <http://eudml.org/doc/250207>.

@article{García2007,

abstract = {The Katětov ordering of two maximal almost disjoint (MAD) families $\mathcal \{A\}$ and $\mathcal \{B\}$ is defined as follows: We say that $\mathcal \{A\}\le _K \mathcal \{B\}$ if there is a function $f: \omega \rightarrow \omega $ such that $f^\{-1\}(A)\in \mathcal \{I\}(\mathcal \{B\})$ for every $A\in \mathcal \{I\}(\mathcal \{A\})$. In [Garcia-Ferreira S., Hrušák M., Ordering MAD families a la Katětov, J. Symbolic Logic 68 (2003), 1337–1353] a MAD family is called $K$-uniform if for every $X\in \mathcal \{I\}(\mathcal \{A\})^+$, we have that $\mathcal \{A\}|_X\le _K \mathcal \{A\}$. We prove that CH implies that for every $K$-uniform MAD family $\mathcal \{A\}$ there is a $P$-point $p$ of $\omega ^*$ such that the set of all Rudin-Keisler predecessors of $p$ is dense in the boundary of $\bigcup \mathcal \{A\}^*$ as a subspace of the remainder $\beta (\omega )\setminus \omega $. This result has a nicer topological interpretation: The symbol $\mathcal \{F\}(\mathcal \{A\})$ will denote the Franklin compact space associated to a MAD family $\mathcal \{A\}$. Given an ultrafilter $p\in \beta (\omega )\setminus \omega $, we say that a space $X$ is a $\text\{FU\}(p)$-space if for every $A\subseteq X$ and $x\in cl_X(A)$ there is a sequence $(x_n)_\{n < \omega \}$ in $A$ such that $x = p$-$\lim _\{n \rightarrow \infty \}x_n$ (that is, for every neigborhood $V$ of $x$, we have that $\lbrace n < \omega : x_n \in V\rbrace \in p$). [CH] For every $K$-uniform MAD family $\mathcal \{A\}$ there is a $P$-point $p$ of $\omega ^*$ such that $\mathcal \{F\}(\mathcal \{A\})$ is a $\text\{FU\}(p)$-space. We also establish the following. [CH] For two $P$-points $p,q\in \omega ^*$, the following are equivalent. (1) $q\le _\{\text\{RK\}\}p$. (2) For every $MAD$ family $\mathcal \{A\}$, the space $\mathcal \{F\}(\mathcal \{A\})$ is a $\text\{FU\}(p)$-space whenever it is a $\text\{FU\}(q)$-space.},

author = {García-Ferreira, Salvador, Szeptycki, Paul J.},

journal = {Commentationes Mathematicae Universitatis Carolinae},

keywords = {Franklin compact space; $P$-point; $\text\{FU\}(p)$-space; maximal almost disjoint family; Katětov ordering; Rudin-Keisler ordering; Franklin compact space},

language = {eng},

number = {4},

pages = {699-705},

publisher = {Charles University in Prague, Faculty of Mathematics and Physics},

title = {MAD families and $P$-points},

url = {http://eudml.org/doc/250207},

volume = {48},

year = {2007},

}

TY - JOUR

AU - García-Ferreira, Salvador

AU - Szeptycki, Paul J.

TI - MAD families and $P$-points

JO - Commentationes Mathematicae Universitatis Carolinae

PY - 2007

PB - Charles University in Prague, Faculty of Mathematics and Physics

VL - 48

IS - 4

SP - 699

EP - 705

AB - The Katětov ordering of two maximal almost disjoint (MAD) families $\mathcal {A}$ and $\mathcal {B}$ is defined as follows: We say that $\mathcal {A}\le _K \mathcal {B}$ if there is a function $f: \omega \rightarrow \omega $ such that $f^{-1}(A)\in \mathcal {I}(\mathcal {B})$ for every $A\in \mathcal {I}(\mathcal {A})$. In [Garcia-Ferreira S., Hrušák M., Ordering MAD families a la Katětov, J. Symbolic Logic 68 (2003), 1337–1353] a MAD family is called $K$-uniform if for every $X\in \mathcal {I}(\mathcal {A})^+$, we have that $\mathcal {A}|_X\le _K \mathcal {A}$. We prove that CH implies that for every $K$-uniform MAD family $\mathcal {A}$ there is a $P$-point $p$ of $\omega ^*$ such that the set of all Rudin-Keisler predecessors of $p$ is dense in the boundary of $\bigcup \mathcal {A}^*$ as a subspace of the remainder $\beta (\omega )\setminus \omega $. This result has a nicer topological interpretation: The symbol $\mathcal {F}(\mathcal {A})$ will denote the Franklin compact space associated to a MAD family $\mathcal {A}$. Given an ultrafilter $p\in \beta (\omega )\setminus \omega $, we say that a space $X$ is a $\text{FU}(p)$-space if for every $A\subseteq X$ and $x\in cl_X(A)$ there is a sequence $(x_n)_{n < \omega }$ in $A$ such that $x = p$-$\lim _{n \rightarrow \infty }x_n$ (that is, for every neigborhood $V$ of $x$, we have that $\lbrace n < \omega : x_n \in V\rbrace \in p$). [CH] For every $K$-uniform MAD family $\mathcal {A}$ there is a $P$-point $p$ of $\omega ^*$ such that $\mathcal {F}(\mathcal {A})$ is a $\text{FU}(p)$-space. We also establish the following. [CH] For two $P$-points $p,q\in \omega ^*$, the following are equivalent. (1) $q\le _{\text{RK}}p$. (2) For every $MAD$ family $\mathcal {A}$, the space $\mathcal {F}(\mathcal {A})$ is a $\text{FU}(p)$-space whenever it is a $\text{FU}(q)$-space.

LA - eng

KW - Franklin compact space; $P$-point; $\text{FU}(p)$-space; maximal almost disjoint family; Katětov ordering; Rudin-Keisler ordering; Franklin compact space

UR - http://eudml.org/doc/250207

ER -

## References

top- Bernstein A.R., A new kind of compactness for topological spaces, Fund. Math. 66 (1970), 185-193. (1970) Zbl0198.55401MR0251697
- Boldjiev B., Malykhin V.I., The sequentiality is equivalent to the $\mathcal{F}$-Fréchet-Urysohn property, Comment. Math. Univ. Carolin. 31 (1990), 23-25. (1990) Zbl0696.54020MR1056166
- Franklin S.P., Spaces in which sequences suffice II, Fund. Math. 61 (1967), 51-56. (1967) Zbl0168.43502MR0222832
- Garcia-Ferreira S., On $FU\left(p\right)$-spaces and $p$-sequential spaces, Comment. Math. Univ. Carolin. 32 (1991), 161-171. (1991) Zbl0789.54032MR1118299
- Garcia-Ferreira S., Hrušák M., Ordering MAD families a la Katětov, J. Symbolic Logic 68 (2003), 1337-1353. (2003) Zbl1055.03027MR2017358
- Garcia-Ferreira S., Malykhin V.I., $p$-sequentiality and $p$-Freéchet-Urysohn property of Franklin compact spaces, Proc. Amer. Math. Soc. 124 (1996), 2267-2273. (1996) MR1327014
- Gillman L., Jerison M., Rings of Continuous Functions, Graduate Texts in Mathematics vol. 43, Springer, New York-Heidelberg, 1976. Zbl0327.46040MR0407579
- Mathias A.R.D., Happy families, Ann. Math. Logic 12 (1977), 59-111. (1977) Zbl0369.02041MR0491197
- Rudin W., Homogeneity problems in the theory of Čech compactifications, Duke Math. J. 23 (1956), 409-419. (1956) Zbl0073.39602MR0080902
- Sierpiński W., Cardinal and Ordinal Numbers, Panstwowe Wydawnictwo Naukowe, Warsaw, 1958. MR0095787
- Simon P., A compact Fréchet space whose square is not Fréchet, Comment. Math. Univ. Carolin. 21 (1980), 749-753. (1980) Zbl0466.54022MR0597764
- Wimmers E.L., The Shelah $P$-point independence theorem, Israel J. Math. 43 (1982), 28-48. (1982) Zbl0511.03022MR0728877

## NotesEmbed ?

topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.