A+ CATEGORY SCIENTIFIC UNIT

# Publishing house / Journals and Serials / Bulletin Polish Acad. Sci. Math. / All issues

## On Intersections of Generic Perturbations of Definable Sets

### Volume 64 / 2016

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
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.