Math 4A03: Proof of the last lemma on connectedness

Let $(M,d)$ be a metric space; we consider $M^2$ with the corresponding product metric. The goal of this post is to give a proof of the last lemma on these slides: Lemma Let $A,B \subseteq M$ be connected. Then $A \times B$ is connected. The proof uses the exercises preceding this lemma given on the…

Analytic continuation of $\log$-$\exp$-analytic germs

Our preprint on the analytic continuation of germs at $+\infty$ of unary functions definable in $\Ranexp$ is now on the ArXiv. Here is its introduction: The o-minimal structure $\Ranexp$, see van den Dries and Miller or van den Dries, Macintyre and Marker, is one of the most important regarding applications, because it defines all elementary…

Ilyashenko algebras based on definable monomials: the construction (base step)

Let $\H$ be the Hardy field of $\Ranexp$, and let $M$ be a multiplicative $\RR$-subvector space of $\H^{>0}$; I continue to assume in this post that $M$ is a pure scale. A germ $h \in \H^{>0}$ is small if $h(x) \to 0$ as $x \to +\infty$. The construction discussed here works for the following type…