\(\mathcal{F}\)-expansivity for Borel measures (Q324554): Difference between revisions

Let \((X,d)\) be a compact metric space, \(\varphi\) be a continuous flow on \(X\), and \(\mathcal H\) be the set of all continuous functions \(h:R\to R\) with \(h(0)=0\). The following are the main results in this paper. Theorem 1. Let \(\mu\) be a Borel probability measure on \(X\) and \(\mathcal F\) be a subset of \(\mathcal H\). Then, \(\mu\) is \(\mathcal F\)-expansive iff \(\mu\) is \((\varphi^*)^{-1} \overline{(\varphi^*(\mathcal F))}\)-expansive. Theorem 2. Let \(\mathcal F\) be a compact subset of \(\mathcal H\). Then, i) For every \(x\in X\) and each \(\delta> 0\), the \(\mathcal F\)-dependent dynamical ball \(\Gamma_\delta^\varphi(x,\mathcal F)\) is a \(G_\delta\)-set ii) Given a Borel probability measure \(\mu\) on \(X\), we have that \(\mu\) is \(\mathcal F\)-expansive iff \(\mu\) is \(\{f\}\)-expansive, for each \(f\in \mathcal F\). Theorem 3. The set of \(\mathcal F\)-expansive measures of \(\varphi\) is a Baire subset of \(\mathcal M(X)\) in any of these cases i) \(\mathcal F\) is a compact subset of \(\mathcal H\) ii) \(\mathcal F=\mathcal H\) and \(\varphi\) has no singularities. Further aspects, involving flow-extended versions of some results in [\textit{C. A. Morales}, ``On supports of expansive measures'', Preprint, \url{arXiv:1601.03618}] are also discussed.