Related papers: A quantitative version of the Besicovitch projecti…
Let $\cS_n(\psi_1,...,\psi_n)$ denote the set of simultaneously $(\psi_1,...,\psi_n)$--approximable points in $\R^n$ and $\cSM_n(\psi)$ denote the set of multiplicatively $\psi$--approximable points in $\R^n$. Let $\cM$ be a manifold in…
Let $\mathcal{C}$ be a non-degenerate planar curve. We show that the curve is of Khintchine-type for convergence in the case of simultaneous approximation with two independent approximation functions; that is if a certain sum converges then…
We prove that any self-contracted curve in R 2 endowed with a C 2 and strictly convex norm, has finite length. The proof follows from the study of the curve bisector of two points in R 2 for a general norm together with an adaptation of the…
The formulation of a new analysis on a zero measure Cantor set $C (\subset I=[0,1])$ is presented. A non-archimedean absolute value is introduced in $C$ exploiting the concept of {\em relative} infinitesimals and a scale invariant…
The numerical range of a matrix is studied geometrically via the cone of positive semidefinite matrices (or semidefinite cone for short). In particular it is shown that the feasible set of a two-dimensional linear matrix inequality (LMI),…
The numerical range of a matrix is studied geometrically via the cone of positive semidefinite matrices (or semidefinite cone for short). In particular it is shown that the feasible set of a two-dimensional linear matrix inequality (LMI),…
For a large class of Cantor sets on the real-line, we find sufficient and necessary conditions implying that a set has positive (resp. null) measure for all doubling measures of the real-line. We also discuss same type of questions for…
We show that every countable set of partial bijections from an infinite set to itself can be obtained as a composition of just two such partial bijections. This strengthens a result by Higgins, Howie, Mitchell and Ru\v{s}kuc stating that…
Solomonoff unified Occam's razor and Epicurus' principle of multiple explanations to one elegant, formal, universal theory of inductive inference, which initiated the field of algorithmic information theory. His central result is that the…
We will show that, consistently, every uncountable set can be continuously mapped onto a non measure zero set, while there exists an uncountable set whose all continuous images into a Polish space are meager.
We present a model of set theory, in which, for a given $n\ge2$, there exists a non-ROD-uniformizable planar lightface $\varPi^1_n$ set in $\mathbb R\times\mathbb R$, whose all vertical cross-sections are countable sets (and in fact Vitali…
We prove that a metric measure space $(X,d,m)$ satisfying finite dimensional lower Ricci curvature bounds and whose Sobolev space $W^{1,2}$ is Hilbert is rectifiable. That is, a $RCD^*(K,N)$-space is rectifiable, and in particular for…
Classification theory and the study of projective varieties which are covered by rational curves of minimal degrees naturally leads to the study of families of singular rational curves. Since families of arbitrarily singular curves are hard…
The Petty projection inequality is a fundamental affine isoperimetric principle for convex sets. It has shaped several directions of research in convex geometry which forged new connections between projection bodies, centroid bodies, and…
In this paper we prove two general results related to Marstrand's projection theorem in a quite general formulation over separable metric spaces under a suitable transversality hypothesis (the "projections" are in principle only measurable)…
In this short note, we extend to the continuous case a mean projection theorem for discrete determinantal point processes associated with a finite range projection, thus strengthening a known result in random linear algebra due to Ermakov…
Let $d,m_1,...,m_r$ be ($r+1$) positive integers, and $P_1,...,P_r$ be $r$ general points in the projective plane ; let $m$ be a positive integer. We prove that there exists a bound $d_0(m)$ such that : If $m_i < m$ ($0<i<r+1$), and $d >…
We prove the projective plane $\rp^2$ is an absolute extensor of a finite-dimensional metric space $X$ if and only if the cohomological dimension mod 2 of $X$ does not exceed 1. This solves one of the remaining difficult problems (posed by…
We show that $PQ^{\epsilon}$-projectivity of two Riemannian metrics introduced in \cite{Top2003} implies affine equivalence of the metrics unless $\epsilon\in\{0,-1,-3,-5,-7,...\}$. Moreover, we show that for $\epsilon=0$,…
Consider a measurable space with a finite vector measure. This measure defines a mapping of the $\sigma$-field into a Euclidean space. According to Lyapunov's convexity theorem, the range of this mapping is compact and, if the measure is…