Article
Keywords:
ultrafilter; $P$-limit point; dynamical system; selective ultrafilter; $P$-point; compact metric
Summary:
Given a free ultrafilter $p$ on $\Bbb N$ and a space $X$, we say that $x\in X$ is the $p$-limit point of a sequence $(x_n)_{n\in \Bbb N}$ in $X$ (in symbols, $x = p$-$\lim_{n\to \infty}x_n$) if for every neighborhood $V$ of $x$, $\{n\in \Bbb N : x_n\in V\}\in p$. By using $p$-limit points from a suitable metric space, we characterize the selective ultrafilters on $\Bbb N$ and the $P$-points of $\Bbb N^* = \beta (\Bbb N)\setminus \Bbb N$. In this paper, we only consider dynamical systems $(X,f)$, where $X$ is a compact metric space. For a free ultrafilter $p$ on $\Bbb N^*$, the function $f^p: X\to X$ is defined by $f^p(x) = p$-$\lim_{n\to \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 \Bbb 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 \Bbb N^*$. If the family $\{f^{p+n} : n\in \Bbb N\}$ is uniformly equicontinuous at $x\in X$, then $f^{p+q}$ is continuous at $x$, for all $q\in \beta (\Bbb N)$. 3. Let us consider the function $F: \Bbb N^* \times X\to X$ given by $F(p,x) = f^p(x)$, for every $(p,x)\in \Bbb N^* \times X$. Then, the following conditions are equivalent. • $f^p$ is continuous on $X$, for every $p\in \Bbb N^*$. • There is a dense $G_\delta$-subset $D$ of $\Bbb N^*$ such that $F|_{D \times X}$ is continuous. • There is a dense subset $D$ of $\Bbb N^*$ such that $F|_{D \times X}$ is continuous.
References:
                        
[1] Akin E.: 
Recurrence in Topological Dynamics. Furstenberg Families and Ellis Actions. The University Series in Mathematics, Plenum Press, New York, 1997. 
MR 1467479 | 
Zbl 0919.54033[2] Arkhangel'skii A.V.: 
Topological Function Spaces. Mathematics and its Applications (Soviet Series), vol. 78, Kluwer Academic Publishers, Dordrecht, 1992. 
MR 1144519[3] Auslander J., Furstenberg H.: 
Product recurrence and distal points. Trans. Amer. Math. Soc. 343 (1994), 221-232. 
MR 1170562 | 
Zbl 0801.54031[4] Bernstein A.R.: 
A new kind of compactness for topological spaces. Fund. Math. 66 (1970), 185-193. 
MR 0251697 | 
Zbl 0198.55401[5] Blass A.: 
Ultrafilters: where topological dynamics = algebra = combinatorics. Topology Proc. 18 (1993), 33-56. 
MR 1305122 | 
Zbl 0856.54042[6] 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. 
MR 0879489[8] Engelking R.: 
General Topology. Sigma Series in Pure Mathematics, Vol. 6, Heldermann Verlag, Berlin, 1989. 
MR 1039321 | 
Zbl 0684.54001[9] Furstenberg H.: 
Recurrence in Ergodic Theory and Combinatorial Number Theory. Princeton University Press, Princeton, 1981. 
MR 0603625 | 
Zbl 0459.28023[10] Gillman L., Jerison M.: 
Rings of Continuous Functions. Graduate Texts in Mathematics, No. 43, Springer, New York-Heidelberg, 1976. 
MR 0407579 | 
Zbl 0327.46040[11] Hindman N., Strauss D.: 
Algebra in the Stone-Čech Compactification. Walter de Gruyter, Berlin, 1998. 
MR 1642231 | 
Zbl 0918.22001[12] Namioka I.: 
Separate continuity and joint continuity. Pacific J. Math. 51 (1974), 515-531. 
MR 0370466 | 
Zbl 0294.54010[13] Rudin W.: 
Homogeneity problems in the theory of Čech compactifications. Duke Math. J. 23 (1956), 409-419. 
MR 0080902 | 
Zbl 0073.39602[14] Sanchis M.: 
Continuous functions on locally pseudocompact groups. Topology Appl. 86 (1998), 5-23. 
MR 1619340 | 
Zbl 0922.22001[15] Whitehead J.H.C.: 
A note on a theorem due to Borsuk. Bull. Amer. Math. Soc. 54 (1948), 1125-1132. 
MR 0029503