English
Related papers

Related papers: Lebesgue's Density Theorem and definable selectors…

200 papers

This paper studies the combinatorics of ideals which recently appeared in ergodicity results for analytic equivalence relations. The ideals have the following topological representation. There is a separable metrizable space $X$, a…

Logic · Mathematics 2013-03-06 Adam Kwela , Marcin Sabok

We provide a comprehensive development of the basics of descriptive set theory for non-separable complete metric spaces whose weight is a singular cardinal $\lambda$ of countable confinality. Somewhat unexpectedly, the resulting theory is…

Logic · Mathematics 2025-11-21 Vincenzo Dimonte , Luca Motto Ros

We introduce an interesting method of proving separable reduction theorems - the method of elementary submodels. We are studying whether it is true that a set (function) has given property if and only if it has this property with respect to…

Functional Analysis · Mathematics 2013-01-08 Marek Cúth

Lecture notes as per the title. In the first part, the concepts of a measurable space, measurable maps between measurable spaces and that of a measure on a measurable space are introduced, after which the fundamentals of the theory of…

Probability · Mathematics 2026-04-03 Matija Vidmar

It is studied a connection between the separability and the countable chain condition of spaces with the $L$-property (a topological space $X$ has the $L$-property if for every topological space $Y$, separately continuous function…

General Topology · Mathematics 2015-12-29 V. V. Mykhaylyuk

We prove that it is consistent (relative to a Mahlo cardinal) that all projective sets of reals are Lebesgue measurable, but there is a $\Delta^1_3$ set without the Baire property. The complexity of the set which provides a counterexample…

Logic · Mathematics 2022-10-11 Sy Friedman , David Schrittesser

Only finite precision measurements are experimentally reasonable, and they cannot distinguish a dense subset from its closure. We show that the rational vectors, which are dense in S^2, can be colored so that the contradiction with hidden…

Quantum Physics · Physics 2009-01-23 David A. Meyer

We propose a new estimation procedure of the conditional density for independent and identically distributed data. Our procedure aims at using the data to select a function among arbitrary (at most countable) collections of candidates. By…

Statistics Theory · Mathematics 2016-10-26 Mathieu Sart

Given a finite nonnegative Borel measure $m$ in $\mathbb{R}^{d}$, we identify the Lebesgue set $\mathcal{L}(V_{s}) \subset \mathbb{R}^{d}$ of the vector-valued function $$V_{s}(x) = \int_{\mathbb{R}^{d}}\frac{x - y}{|x - y|^{s + 1}}…

Classical Analysis and ODEs · Mathematics 2022-09-07 Julià Cufí , Augusto C. Ponce , Joan Verdera

In classical density (or density-functional) estimation, it is standard to assume that the underlying distribution has a density with respect to the Lebesgue measure. However, when the data distribution is a mixture of continuous and…

Methodology · Statistics 2025-08-05 Aytijhya Saha , Aaditya Ramdas

Introducing the notion of a rational system of measure preserving transformations and proving a recurrence result for such systems, we give sufficient conditions in order a subset of rational numbers to contain arbitrary long arithmetic…

Combinatorics · Mathematics 2012-12-19 Andreas Koutsogiannis

The Doob convergence theorem implies that the set of divergence of any martingale has measure zero. We prove that, conversely, any $G\_{\delta\sigma}$ subset of the Cantor space with Lebesgue-measure zero can be represented as the set of…

Logic · Mathematics 2015-12-21 Dominique Lecomte , Miroslav Zeleny

We quantify the density of rational points in the unit sphere $S^n$, proving analogues of the classical theorems on the embedding of $\q^n$ into $\r^n$. Specifically, we prove a Dirichlet theorem stating that every point $\alpha \in S^n$ is…

Number Theory · Mathematics 2013-05-28 Dmitry Kleinbock , Keith Merrill

Disjointly strictly singular inclusions between variable Lebesgue spaces $L^{p(\cdot)}(\mu)$ on finite measure are characterized. Suitable criteria in terms of the (bounded or unbounded) exponents are given. It is proved the equivalence of…

Functional Analysis · Mathematics 2025-05-15 Francisco L. Hernández , César Ruiz , Mauro Sanchiz

We prove theorems of the following form: if $A\subseteq {\mathbb R}^2$ is a big set, then there exists a big set $P\subseteq {\mathbb R}$ and a perfect set $Q\subseteq {\mathbb R}$ such that $P\times Q\subseteq A$. We discuss cases where…

General Topology · Mathematics 2007-05-23 Szymon Zeberski

A topological space is iso-dense if it has a dense set of isolated points. A topological space is scattered if each of its non-empty subspaces has an isolated point. In $\mathbf{ZF}$, in the absence of the axiom of choice, basic properties…

General Topology · Mathematics 2021-01-11 Kyriakos Keremedis , Eleftherios Tachtsis , Eliza Wajch

Building on work of Baldwin and Beaudoin, assuming Martin's Axiom, we construct a zero-dimensional separable metrizable space $X$ such that $X$ is countable dense homogeneous while $X^2$ is not. It follows from results of Hru\v{s}\'ak and…

General Topology · Mathematics 2014-06-11 Andrea Medini

It is shown that CH implies the existence of a compact Hausdorff space that is countable dense homogeneous, crowded and does not contain topological copies of the Cantor set. This contrasts with a previous result by the author which says…

General Topology · Mathematics 2020-01-20 Rodrigo Hernández-Gutiérrez

In this paper we have studied on $\mathcal{I}$-density function using the notion of $\mathcal{I}$-density, introduced by Banerjee and Debnath \cite{banerjee 4} where $\mathcal{I}$ is an ideal of subsets of the set of natural numbers. We…

General Topology · Mathematics 2023-07-21 Indrajit Debnath , Amar Kumar Banerjee

We prove that topological isomorphism on procountable groups is not classifiable by countable structures, in the sense of descriptive set theory. In fact, the equivalence relation $\ell_\infty$ expressing that two sequences of reals have a…

Logic · Mathematics 2026-03-30 Su Gao , André Nies , Gianluca Paolini