On Intersections of Generic Perturbations of Definable Sets

Volume 64 / 2016

Jan Mycielski, Krzysztof Nowak Bulletin Polish Acad. Sci. Math. 64 (2016), 95-103 MSC: 03C64, 57N75. DOI: 10.4064/ba8083-10-2016 Published online: 20 October 2016

Abstract

Consider an o-minimal expansion $\mathcal {R}$ of a real closed field $R$ and two definable sets $E$ and $M$. We introduce concepts of a locally transitive (abbreviated to l.t.) and a strongly locally transitive (abbreviated to s.l.t.) action of $E$ on $M$. In the former case, $M$ is supposed to be of pure dimension $m$; in the latter, both $M$ and $E$ are supposed to be of pure dimension. We treat the elements of $E$ as perturbations of the set $M$. We prove that if $E$ acts l.t. on $M$, and $A$ and $B$ are two non-empty definable subsets of $M$ of dimension $\dim A \leq \dim B \lt \dim M$, then $$ \dim (\sigma (A) \cap B) \lt \dim A $$ for a generic $\sigma $ in $E$; here $\dim \emptyset = -1$. And if $E$ acts s.l.t. on $M$ and $A$ and $B$ are two definable subsets of $M$, then $$ \dim (\sigma (A) \cap B) \leq \max\{ \dim A + \dim B -m,-1 \} $$ for a generic $\sigma $ in $E$. We give an example of a l.t. action $E$ on $M$ for which the latter conclusion of the intersection theorem fails. We also prove a theorem on the intersections of generic perturbations in terms of the exceptional set $T \subset M$ of points at which $E$ is not l.t. Finally, we provide some natural conditions which imply that $T$ is a nowhere dense subset of $M$.

Authors

  • Jan MycielskiDepartment of Mathematics
    University of Colorado
    Boulder, CO 80309-0395, U.S.A.
    e-mail
  • Krzysztof NowakInstitute of Mathematics
    Faculty of Mathematics and Computer Science
    Jagiellonian University
    Łojasiewicza 6
    30-348 Kraków, Poland
    e-mail

Search for IMPAN publications

Query phrase too short. Type at least 4 characters.

Rewrite code from the image

Reload image

Reload image