Definable measure preserving $p$-adic semialgebraic isomorphisms - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-24T03:09:48Z http://mathoverflow.net/feeds/question/78882 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/78882/definable-measure-preserving-p-adic-semialgebraic-isomorphisms Definable measure preserving $p$-adic semialgebraic isomorphisms Math-player 2011-10-23T10:13:59Z 2011-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>