On eventually always hitting points
We consider dynamical systems (X, T, μ) which have exponential decay of correlations for either Hölder continuous functions or functions of bounded variation. Given a sequence of balls (Bn)n=1∞, we give sufficient conditions for the set of eventually always hitting points to be of full measure. This is the set of points x such that for all large enough m, there is a k< m with Tk(x) ∈ Bm. We also g