Related papers: Hausdorff measure on o-minimal structures

We give the following characterization of rectifiable metric spaces. A metric space with positive lower Hausdorff density is rectifiable if and only if, for any subset $F$ and $f:F\to Y$, a Lipschitz map into a metric space with positive…

For a decreasing real valued function $\psi$, a pair $(A,\mathbf{b})$ of a real $m\times n$ matrix $A$ and $\mathbf{b}\in\mathbb{R}^m$ is said to be $\psi$-Dirichlet improvable if the system $$\|A\mathbf{q}+\mathbf{b}-\mathbf{p}\|^m <…

Let $A\sub \R^{n+r}$ be a set definable in an o-minimal expansion $\S$ of the real field, $A' \sub \R^r$ be its projection, and assume that the non-empty fibers $A_a \sub \R^n$ are compact for all $a \in A'$ and uniformly bounded, {\em…

We study directed sets definable in o-minimal structures, showing that in expansions of ordered fields these admit cofinal definable curves, as well as a suitable analogue in expansions of ordered groups, and furthermore that no analogue…

Given an o-minimal structure expanding the field of reals, we show a piecewise Weierstrass preparation theorem and a piecewise Weierstrass division theorem for definable holomorphic functions. In the semialgebraic setting and for the…

We introduce a non real-valued measure on the definable sets contained in the finite part of a cartesian power of an o-minimal field $R$. The measure takes values in an ordered semiring, the Dedekind completion of a quotient of $R$. We show…

We develop in this paper the theory of covers for Hausdorff properly $\bigvee $-definable manifolds with definable choice in an o-minimal structure $\N$. In particular, we show that given an $\N$-definably connected $\N$-definable group $G$…

We first show that the projection image of a discrete definable set is again discrete for an arbitrary definably complete locally o-minimal structure. This fact together with the results in a previous paper implies tame dimension theory and…

Let $\mathcal F=(F, +. \cdot, <, 0, 1, \dots)$ be a definably complete locally o-minimal expansion of an ordered field. We demonstrate the existence of definable quotients of definable sets by definable equivalence relations when several…

We give conditions on a general family $P_{\lambda}:\R^n\to\R^m, \lambda \in \Lambda,$ of orthogonal projections which guarantee that the Hausdorff dimension formula $\dim A\cap P_{\lambda}^{-1}\{u\}=s-m$ holds generically for measurable…

By employing the recurrence method worked out in `Estimating the Hausdorff measure by recurrence', we provide effective lower estimates of the proper--dimensional Hausdorff measure of minimal sets of circle homeomorphisms that are not…

Through careful analysis of types inspired by [AGTW21] we characterize a notion of definable compactness for definable topologies in general o-minimal structures, generalizing results from [PP07] about closed and bounded definable sets in…

A convergence structure generalizing the order convergence structure on the set of Hausdorff continuous interval functions is defined on the set of minimal usco maps. The properties of the obtained convergence space are investigated and…

A connected compact subset $E$ of $\mathbb{R}^N$ is said to be a strict Whitney set if there exists a real-valued $C^1$ function $f$ on $\mathbb{R}^N$ with $\nabla f|_E\equiv 0$ such that $f$ is constant on no non-empty relatively open…

In this paper we consider partial metric spaces in the sense of O'Neill. We introduce the notions of strong partial metric spaces and Cauchy functions. We prove a fixed point theorem for such spaces and functions that improves Matthews'…

In this paper we study the dependence of geometric properties of Radon measures, such as Hausdorff dimension and rectifiability of singular sets, on the wavefront set. This is achieved by adapting the method of Brummelhuis to the…

This paper presents a comprehensive introduction to the Hausdorff measure, a fundamental tool in fractal geometry and geometric measure theory. We begin by defining the Hausdorff outer measure on subsets of metric spaces, followed by a…

In this mostly expository note, I give a very quick proof of the definable Chow theorem of Peterzil and Starchenko using the Bishop-Stoll theorem and a volume estimate for definable sets due to Nguyen and Valette. The volume estimate says…

The paper describes two possible ways of extending the definition of Haar measure to non-Hausdorff locally compact groups. The first one forces compact sets to be measurable: with this construction, a counterexample to the existence of the…

Hausdorff measure and Hausdorff dimension are useful tools to describe fractals. This paper investigates the bounds on the $d\log_32$-dimensional Hausdorff measure of the $d$-fold Cartesian product of the $1/3$ Cantor set, $\mathcal C^d$.…