Definable measure preserving $p$-adic semialgebraic isomorphisms - MathOverflow most recent 30 from http://mathoverflow.net2013-05-24T03:09:48Zhttp://mathoverflow.net/feeds/question/78882http://www.creativecommons.org/licenses/by-nc/2.5/rdfhttp://mathoverflow.net/questions/78882/definable-measure-preserving-p-adic-semialgebraic-isomorphismsDefinable measure preserving $p$-adic semialgebraic isomorphismsMath-player2011-10-23T10:13:59Z2011-11-27T19:33:30Z
<p>Hello,
This is related to my other question "http://mathoverflow.net/questions/77072/definable-measure-preserving-isomorphisms-of-p-adic-semialgebraic-sets" (sorry I do not know how to make a link). </p>
<p>But this time my question is:
Given an open $p$-adic semialgebraic definable set $Z$ in $K^n$ (where $K$ is a $p$-adic field) can we show there cannot be a measure preserving analytic semialgebraic bijection $Z \to Z \setminus C$ where $C$ HAS NONEMPTY INTERIOR in $K^n$?</p>
<p>Thank you</p>
<p>Update2: Can we show there is no isomorphism $K^n \to K^n\setminus B$ where $B$ is a ball in $K^n$? </p>