# Ultrafilter-limit points in metric dynamical systems

Salvador García-Ferreira; Manuel Sanchis

Commentationes Mathematicae Universitatis Carolinae (2007)

- Volume: 48, Issue: 3, page 465-485
- ISSN: 0010-2628

## Access Full Article

top## Abstract

top## How to cite

topGarcía-Ferreira, Salvador, and Sanchis, Manuel. "Ultrafilter-limit points in metric dynamical systems." Commentationes Mathematicae Universitatis Carolinae 48.3 (2007): 465-485. <http://eudml.org/doc/250204>.

@article{García2007,

abstract = {Given a free ultrafilter $p$ on $\mathbb \{N\}$ and a space $X$, we say that $x\in X$ is the $p$-limit point of a sequence $(x_n)_\{n\in \mathbb \{N\}\}$ in $X$ (in symbols, $x = p$-$\lim _\{n\rightarrow \infty \}x_n$) if for every neighborhood $V$ of $x$, $\lbrace n\in \mathbb \{N\} : x_n\in V\rbrace \in p$. By using $p$-limit points from a suitable metric space, we characterize the selective ultrafilters on $\mathbb \{N\}$ and the $P$-points of $\mathbb \{N\}^* = \beta (\mathbb \{N\})\setminus \mathbb \{N\}$. In this paper, we only consider dynamical systems $(X,f)$, where $X$ is a compact metric space. For a free ultrafilter $p$ on $\mathbb \{N\}^*$, the function $f^p: X\rightarrow X$ is defined by $f^p(x) = p$-$\lim _\{n\rightarrow \infty \}f^n(x)$ for each $x\in X$. These functions are not continuous in general. For a dynamical system $(X,f)$, where $X$ is a compact metric space, the following statements are shown: 1. If $X$ is countable, $p\in \mathbb \{N\}^*$ is a $P$-point and $f^p$ is continuous at $x\in X$, then there is $A\in p$ such that $f^q$ is continuous at $x$, for every $q\in A^*$. 2. Let $p\in \mathbb \{N\}^*$. If the family $\lbrace f^\{p+n\} : n\in \mathbb \{N\}\rbrace $ is uniformly equicontinuous at $x\in X$, then $f^\{p+q\}$ is continuous at $x$, for all $q\in \beta (\mathbb \{N\})$. 3. Let us consider the function $F: \mathbb \{N\}^* \times X\rightarrow X$ given by $F(p,x) = f^p(x)$, for every $(p,x)\in \mathbb \{N\}^* \times X$. Then, the following conditions are equivalent. • $f^p$ is continuous on $X$, for every $p\in \mathbb \{N\}^*$. • There is a dense $G_\delta $-subset $D$ of $\mathbb \{N\}^*$ such that $F|_\{D \times X\}$ is continuous. • There is a dense subset $D$ of $\mathbb \{N\}^*$ such that $F|_\{D \times X\}$ is continuous.},

author = {García-Ferreira, Salvador, Sanchis, Manuel},

journal = {Commentationes Mathematicae Universitatis Carolinae},

keywords = {ultrafilter; $P$-limit point; dynamical system; selective ultrafilter; $P$-point; compact metric; ultrafilter; -point; dynamical system; limit along an ultrafilter},

language = {eng},

number = {3},

pages = {465-485},

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

title = {Ultrafilter-limit points in metric dynamical systems},

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

volume = {48},

year = {2007},

}

TY - JOUR

AU - García-Ferreira, Salvador

AU - Sanchis, Manuel

TI - Ultrafilter-limit points in metric dynamical systems

JO - Commentationes Mathematicae Universitatis Carolinae

PY - 2007

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

VL - 48

IS - 3

SP - 465

EP - 485

AB - Given a free ultrafilter $p$ on $\mathbb {N}$ and a space $X$, we say that $x\in X$ is the $p$-limit point of a sequence $(x_n)_{n\in \mathbb {N}}$ in $X$ (in symbols, $x = p$-$\lim _{n\rightarrow \infty }x_n$) if for every neighborhood $V$ of $x$, $\lbrace n\in \mathbb {N} : x_n\in V\rbrace \in p$. By using $p$-limit points from a suitable metric space, we characterize the selective ultrafilters on $\mathbb {N}$ and the $P$-points of $\mathbb {N}^* = \beta (\mathbb {N})\setminus \mathbb {N}$. In this paper, we only consider dynamical systems $(X,f)$, where $X$ is a compact metric space. For a free ultrafilter $p$ on $\mathbb {N}^*$, the function $f^p: X\rightarrow X$ is defined by $f^p(x) = p$-$\lim _{n\rightarrow \infty }f^n(x)$ for each $x\in X$. These functions are not continuous in general. For a dynamical system $(X,f)$, where $X$ is a compact metric space, the following statements are shown: 1. If $X$ is countable, $p\in \mathbb {N}^*$ is a $P$-point and $f^p$ is continuous at $x\in X$, then there is $A\in p$ such that $f^q$ is continuous at $x$, for every $q\in A^*$. 2. Let $p\in \mathbb {N}^*$. If the family $\lbrace f^{p+n} : n\in \mathbb {N}\rbrace $ is uniformly equicontinuous at $x\in X$, then $f^{p+q}$ is continuous at $x$, for all $q\in \beta (\mathbb {N})$. 3. Let us consider the function $F: \mathbb {N}^* \times X\rightarrow X$ given by $F(p,x) = f^p(x)$, for every $(p,x)\in \mathbb {N}^* \times X$. Then, the following conditions are equivalent. • $f^p$ is continuous on $X$, for every $p\in \mathbb {N}^*$. • There is a dense $G_\delta $-subset $D$ of $\mathbb {N}^*$ such that $F|_{D \times X}$ is continuous. • There is a dense subset $D$ of $\mathbb {N}^*$ such that $F|_{D \times X}$ is continuous.

LA - eng

KW - ultrafilter; $P$-limit point; dynamical system; selective ultrafilter; $P$-point; compact metric; ultrafilter; -point; dynamical system; limit along an ultrafilter

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

ER -

## References

top- Akin E., Recurrence in Topological Dynamics. Furstenberg Families and Ellis Actions, The University Series in Mathematics, Plenum Press, New York, 1997. Zbl0919.54033MR1467479
- Arkhangel'skii A.V., Topological Function Spaces, Mathematics and its Applications (Soviet Series), vol. 78, Kluwer Academic Publishers, Dordrecht, 1992. MR1144519
- Auslander J., Furstenberg H., Product recurrence and distal points, Trans. Amer. Math. Soc. 343 (1994), 221-232. (1994) Zbl0801.54031MR1170562
- Bernstein A.R., A new kind of compactness for topological spaces, Fund. Math. 66 (1970), 185-193. (1970) Zbl0198.55401MR0251697
- Blass A., Ultrafilters: where topological dynamics = algebra = combinatorics, Topology Proc. 18 (1993), 33-56. (1993) Zbl0856.54042MR1305122
- Blass A., Shelah S., There may be simple ${P}_{{\aleph}_{1}}$- and ${P}_{{\aleph}_{2}}$-points and the Rudin-Keisler ordering may be downward directed, Ann. Pure Appl. Logic 33 (1987), 3 213-243. (1987) MR0879489
- Comfort W., Negrepontis S., The Theory of Ultrafilters, Springer, Berlin, 1974. Zbl0298.02004MR0396267
- Engelking R., General Topology, Sigma Series in Pure Mathematics, Vol. 6, Heldermann Verlag, Berlin, 1989. Zbl0684.54001MR1039321
- Furstenberg H., Recurrence in Ergodic Theory and Combinatorial Number Theory, Princeton University Press, Princeton, 1981. Zbl0459.28023MR0603625
- Gillman L., Jerison M., Rings of Continuous Functions, Graduate Texts in Mathematics, No. 43, Springer, New York-Heidelberg, 1976. Zbl0327.46040MR0407579
- Hindman N., Strauss D., Algebra in the Stone-Čech Compactification, Walter de Gruyter, Berlin, 1998. Zbl0918.22001MR1642231
- Namioka I., Separate continuity and joint continuity, Pacific J. Math. 51 (1974), 515-531. (1974) Zbl0294.54010MR0370466
- Rudin W., Homogeneity problems in the theory of Čech compactifications, Duke Math. J. 23 (1956), 409-419. (1956) Zbl0073.39602MR0080902
- Sanchis M., Continuous functions on locally pseudocompact groups, Topology Appl. 86 (1998), 5-23. (1998) Zbl0922.22001MR1619340
- Whitehead J.H.C., A note on a theorem due to Borsuk, Bull. Amer. Math. Soc. 54 (1948), 1125-1132. (1948) MR0029503

## Citations in EuDML Documents

top## NotesEmbed ?

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