1
$\begingroup$

If $(X,T)$ is a minimal system uniquely ergodic with $\mu$, is there $p\in X$ such that $\mu(\partial B(p,t))=0$ for all $t>0$?

$\endgroup$
1
  • $\begingroup$ For $X=\{a,b\}$, $\partial B(p,t)$ is empty $\endgroup$ Commented Aug 7, 2020 at 18:30

1 Answer 1

2
$\begingroup$

Let $T$ be an irrational rotation of the circle. We modify the metric on the circle as follows, letting $d(\cdot,\cdot)$ be the standard metric on the circle; and for $C$ a non-empty closed subset of the reals, let $D(x,C)$ denote the distance from $x$ to $C$. Let $C$ be a Cantor set of positive measure contained in $[\frac 14,\frac 12]$ and containing $\frac 14$ and define a new metric by $$ \rho(x,y)= \begin{cases} d(x,y)&\text{if $d(x,y)<\frac 14$}\\ \tfrac 14+D(d(x,y),C)&\text{if $d(x,y)\ge \frac 14$.} \end{cases} $$ This generates the same topology as the original metric. But $\partial B(p,\frac 14)=p\pm C$.

$\endgroup$
3
  • 1
    $\begingroup$ I believe you have changed the question in response to my answer to your question. Please don't do this! Instead, leave the original question (you can correct any errors if there are any), but add a section labeled "ADDITIONAL QUESTION IN RESPONSE TO ANSWER"; or ask a completely new question referencing this question. $\endgroup$ Commented Aug 7, 2020 at 21:41
  • $\begingroup$ Thanks for the suggestions. $\endgroup$ Commented Aug 7, 2020 at 21:56
  • $\begingroup$ @ManuelSaavedra's modified follow-up question: mathoverflow.net/questions/368608/balls-in-minimal-systems-ii . $\endgroup$
    – LSpice
    Commented Aug 7, 2020 at 22:50

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .