A continuous analogue of Erdős' k-Sperner theorem

DOI10.1016/J.JMAA.2019.123754MaRDI QIDQ2287347zbMATH OpenOpenAlexFDO

Authors Themis Mitsis, Christos Pelekis, Václav Vlasák

Publication date 20 January 2020

Published in Journal of Mathematical Analysis and Applications (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1904.09625

zbMATH Keywords

Hausdorff measureLebesgue measurechains\(k\)-Sperner families

Mathematics Subject Classification ID

Hausdorff and packing measures (28A78) Extremal set theory (05D05)

Abstract: A emph{chain} in the unit $n$-cube is a set $Csubset[0,1{]}^n$ such that for every $mathbfx=(x_1,ldots,x_n)$ and $mathbfy=(y_1,ldots,y_n)$ in $C$ we either have $x_{i}le{y}_i$ for all $iin[n]$, or $x_{i}ge{y}_i$ for all $iin[n]$. We show that the $1$-dimensional Hausdorff measure of a chain in the unit $n$-cube is at most $n$, and that the bound is sharp. Given this result, we consider the problem of maximising the $n$-dimensional Lebesgue measure of a measurable set $Asubset[0,1{]}^n$ subject to the constraint that it satisfies $mathcal{H}^1(AcapC)lekappa$ for all chains $Csubset[0,1{]}^n$, where $kappa$ is a fixed real number from the interval $(0,n]$. We show that the measure of $A$ is not larger than the measure of the following optimal set: [ A^{ast}_{kappa} = left{ (x_1,ldots,x_n)in [0,1]^n : frac{n-kappa}{2}le sum_{i=1}^{n}x_i le frac{n+ kappa}{2} ight} , . ] Our result may be seen as a continuous counterpart to a theorem of ErdH{o}s, regarding $k$-Sperner families of finite sets.

Recommendations

• scientific article; zbMATH DE number 937456
• scientific article; zbMATH DE number 3993588
• On a continuous analog of Sperner's problem
• scientific article; zbMATH DE number 3900758
• Sperner's theorem and a problem of Erdős, Katona and Kleitman
• A generalization of the Erdős-Ko-Rado theorem
• A generalization of the Erdős-Ko-Rado theorem
• An extension of the Erdős-Tetali theorem
• A quantitative Erdös–Fuchs theorem and its generalization
• Analogs of the Erdős-Wintner theorem in certain Banach spaces

Cites work

• scientific article; zbMATH DE number 3608064 (Why is no real title available?)
• scientific article; zbMATH DE number 3636041 (Why is no real title available?)
• scientific article; zbMATH DE number 1016362 (Why is no real title available?)
• scientific article; zbMATH DE number 1792287 (Why is no real title available?)
• scientific article; zbMATH DE number 3993588 (Why is no real title available?)
• scientific article; zbMATH DE number 937456 (Why is no real title available?)
• scientific article; zbMATH DE number 3414331 (Why is no real title available?)
• Continuous versions of some extremal hypergraph problems. II
• Hausdorff dimension of unions of affine subspaces and of Furstenberg-type sets
• Measure Graphs
• Measure theory and fine properties of functions
• On a lemma of Littlewood and Offord
• The Erdős-Ko-Rado theorem for vector spaces
• The de Bruijn-Erdős theorem from a Hausdorff measure point of view

Cited in

(4)

• scientific article; zbMATH DE number 937456 (Why is no real title available?)
• An \(A_\alpha\)-spectral Erdős-Pósa theorem
• The de Bruijn-Erdős theorem from a Hausdorff measure point of view
• scientific article; zbMATH DE number 3993588 (Why is no real title available?)

This page was built for publication: A continuous analogue of Erdős' \(k\)-Sperner theorem

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2287347)