An Alternative Proof of Steinhaus Theorem

Arpan Sadhukhan

DOI: https://doi.org/10.1080/00029890.2020.1711693

2019-03-21

Abstract:In measure theory, Steinhaus theorem is a result that deals with a property of the difference between two sets of positive measure. We give a simple elementary proof of the result.

Classical Analysis and ODEs

What problem does this paper attempt to address?

A quantitative version of the Steinhaus theorem

Alex Iosevich,Jonathan Pakianathan

2024-01-23

Abstract:The classical Steinhaus theorem (\cite{Steinhaus1920}) says that if $A \subset {\Bbb R}^d$ has positive Lebesgue measure than $A-A=\{x-y: x,y \in A\}$ contains an open ball. We obtain some quantitative lower bounds on the size of this ball and in some cases, relate it to natural geometric properties of $\partial A$. We also study the process $K_n =\frac{1}{2}(K_{n-1} - K_{n-1})$ when $K_0$ is a compact subset of $\mathbb{R}^d$ and determine various aspects of its convergence to $Conv(K_1)$, the convex hull of $K_1$. We discuss some connections with convex geometry, Weyl tube formula and the Kakeya needle problem.

Classical Analysis and ODEs
A shorter proof of the Marker-Steinhorn Theorem

Pablo Andújar Guerrero

2023-06-16

Abstract:By analyzing o-minimal definable preorders we give a proof of the Marker-Steinhorn Theorem [MS94] that shortens the original proof.

Logic
A Simple Proof of a Theorem of Block and Hart

Guang Yuan Zhang

DOI: https://doi.org/10.1080/00029890.2000.12005267

2000-01-01

Abstract:(2000). A Simple Proof of a Theorem of Block and Hart. The American Mathematical Monthly: Vol. 107, No. 8, pp. 751-751.
The Cantor–Bernstein theorem: how many proofs?

Wilfried Sieg

DOI: https://doi.org/10.1098/rsta.2018.0031

2019-01-21

Abstract:Dedekind's proof of the Cantor–Bernstein theorem is based on his chain theory, not on Cantor's well-ordering principle. A careful analysis of the proof extracts an argument structure that can be seen in the many other proofs that have been given since. I contend there is essentially one proof that comes in two variants due to Dedekind and Zermelo , respectively. This paper is a case study in analysing proofs of a single theorem within a given methodological framework, here Zermelo–Fraenkel set theory (ZF). It uses tools from proof theory, but focuses on heuristic ideas that shape proofs and on logical strategies that help to construct them. It is rooted in a perspective on Beweistheorie that predates its close connection and almost exclusive attention to the goals of Hilbert's finitist consistency programme. This earlier perspective can be brought to life (only) with the support of powerful computational tools. This article is part of the theme issue ‘The notion of ‘simple proof’ - Hilbert's 24th problem’.
An alternative proof of the Puiseux representation of the exponential integral

Glenn Bruda

2024-08-31

Abstract:Working from definitions and an elementarily obtained integral formula for the Euler-Mascheroni constant, we give an alternative proof of the classical Puiseux representation of the exponential integral.

General Mathematics
Inconsistency of Measure-Theoretic Probability

Guang-Liang Li,Victor O.K. Li

DOI: https://doi.org/10.48550/arXiv.1412.5411

2014-12-06

Abstract:We reveal a contradiction in measure-theoretic probability. The contradiction is an "equation" $1/2 = 0$ with its two sides representing probabilities. Unlike known paradoxes in mathematics, the revealed contradiction cannot be explained away and actually indicates that measure-theoretic probability is inconsistent. Appearing only in the theory, the contradiction does not exist in the physical world. So practical applications of measure-theoretic probability will not be affected by the inconsistency as long as "ideal events" in the theory (which will never occur physically) are not mistaken for real events in the physical world. Nevertheless, the inconsistency must be resolved. Constructive mathematics can avoid such inconsistency. There is no contradiction reported in constructive mathematics.

General Mathematics
An Elementary proof for Bertrand's Postulate

Pranav Narayan Sharma

2024-07-11

Abstract:In this paper we give an elementary proof for Bertrand's postulate also known as Bertrand-Chebyshev theorem.

General Mathematics
A density version of a theorem of Banach

David A. Ross

2024-11-18

Abstract:The S-measure construction from nonstandard analysis is used to prove an extension of a result on the intersection of sets in a finitely-additive measure space. This is then used to give a density-limit version of a representation theorem of Banach.

Functional Analysis,Logic
Combinational Proof for a Theorem Concerning the Upper Banach Density

Huang, Boxu

DOI: https://doi.org/10.1007/s40840-024-01671-x

2024-03-20

Bulletin of the Malaysian Mathematical Sciences Society

Abstract:In this paper, we introduce a combinatorial proof approach for a theorem regarding the upper Banach density of a subset S of and present a finite IP-set revision of the theorem originally established by Li, Tu, and Ye.

mathematics
Arithmetical conservation results

Benno van den Berg,Lotte van Slooten

DOI: https://doi.org/10.48550/arXiv.1706.05901

2017-06-19

Abstract:In this paper we present a proof of Goodman's Theorem, a classical result in the metamathematics of constructivism, which states that the addition of the axiom of choice to Heyting arithmetic in finite types does not increase the collection of provable arithmetical sentences. Our proof relies on several ideas from earlier proofs by other authors, but adds some new ones as well. In particular, we show how a recent paper by Jaap van Oosten can be used to simplify a key step in the proof. We have also included an interesting corollary for classical systems pointed out to us by Ulrich Kohlenbach.

Logic
Hasse theorem -- an elementary approach

Jianhua Chen,Debiao He,Zhijin Hu,Yitao Chen,Hao Hu

DOI: https://doi.org/10.48550/arXiv.1212.2535

2012-11-27

General Mathematics

Abstract:We give an elementary proof to Hasse theorem.
On the Elementary Proof of the Inverse Erdős-Heilbronn Problem

Shengning Zhang

2024-08-25

Abstract:In this article, we studied the inverse Erdős-Heilbronn problem with the restricted sumset from two components $A$ and $B$ that are not necessarily the same. We give a completely elementary proof for the problem in $\mathbb{Z}$ and some partial results that contributes to the elementary proof of the problem in $\mathbb{Z}/p\mathbb{Z}$, avoiding the usage of the powerful polynomial method and the Combinatorial Nullstellensatz.

Combinatorics
Khintchine dichotomy for self-similar measures

Timothée Bénard,Weikun He,Han Zhang

2024-09-12

Abstract:We establish the analogue of Khintchine's theorem for all self-similar probability measures on the real line. When specified to the case of the Hausdorff measure on the middle-thirds Cantor set, the result is already new and provides an answer to an old question of Mahler. The proof consists in showing effective equidistribution in law of expanding upper-triangular random walks on $\text{SL}_{2}(\mathbb{R})/\text{SL}_{2}(\mathbb{Z})$, a result of independent interest.

Dynamical Systems,Number Theory,Probability
A Machine-Checked Direct Proof of the Steiner-Lehmus Theorem

Ariel Kellison

DOI: https://doi.org/10.48550/arXiv.2112.11182

2021-12-18

Abstract:A direct proof of the Steiner-Lehmus theorem has eluded geometers for over 170 years. The challenge has been that a proof is only considered direct if it does not rely on reductio ad absurdum. Thus, any proof that claims to be direct must show, going back to the axioms, that all of the auxiliary theorems used are also proved directly. In this paper, we give a proof of the Steiner-Lehmus theorem that is guaranteed to be direct. The evidence for this claim is derived from our methodology: we have formalized a constructive axiom set for Euclidean plane geometry in a proof assistant that implements a constructive logic and have built the proof of the Steiner-Lehmus theorem on this constructive foundation.

Logic in Computer Science
Stein's method for comparison of univariate distributions

Christophe Ley,Gesine Reinert,Yvik Swan

DOI: https://doi.org/10.48550/arXiv.1408.2998

2016-03-25

Abstract:We propose a new general version of Stein's method for univariate distributions. In particular we propose a canonical definition of the Stein operator of a probability distribution {which is based on a linear difference or differential-type operator}. The resulting Stein identity highlights the unifying theme behind the literature on Stein's method (both for continuous and discrete distributions). Viewing the Stein operator as an operator acting on pairs of functions, we provide an extensive toolkit for distributional comparisons. Several abstract approximation theorems are provided. Our approach is illustrated for comparison of several pairs of distributions : normal vs normal, sums of independent Rademacher vs normal, normal vs Student, and maximum of random variables vs exponential, Frechet and Gumbel.

Probability,Statistics Theory
Schoenberg's Theorem via the law of large numbers

Davar Khoshnevisan

DOI: https://doi.org/10.48550/arXiv.math/0504603

2005-04-29

Probability

Abstract:A classical theorem of S. Bochner states that a function $f:R^n \to C$ is the Fourier transform of a finite Borel measure if and only if $f$ is positive definite. In 1938, I. Schoenberg found a beautiful complement to Bochner's theorem. We present a non-technical derivation of of Schoenberg's theorem that relies chiefly on the de Finneti theorem and the law of large numbers of classical probability theory.
The last proof of extreme value theorem and intermediate value theorem

Claude-Alain Faure

DOI: https://doi.org/10.48550/arXiv.2209.12682

2022-09-03

Abstract:The paper gives a unified and simple proof of both theorems and Cousin's theorem.

History and Overview
The square sieve and the large sieve with square moduli

Stephan Baier

DOI: https://doi.org/10.48550/arXiv.1506.06148

2016-06-07

Abstract:We give a short alternative proof using Heath-Brown's square sieve of a bound of the author for the large sieve with square moduli.

Number Theory
A simple proof of a theorem of Laptev and Weidl

Rafael Benguria,Michael Loss

DOI: https://doi.org/10.48550/arXiv.math-ph/9906024

1999-09-30

Abstract:A new and elementary proof of a recent result of Laptev and Weidl is given. It is a sharp Lieb-Thirring inequality for one dimensional Schroedinger operators with matrix valued potentials.

Mathematical Physics
On the arithmetic Hilbert-Samuel theorem : a proof by deformation

Dorian Ni

DOI: https://doi.org/10.48550/arXiv.2207.05165

2022-07-12

Abstract:We give a new proof the arithmetic Hilbert-Samuel theorem by using classical reductions in the theory of coherent sheaves, a direct proof in the case of the projective space and the conservation of some numerical invariants, called arithmetic Hilbert invariants, through the deformation to the projective completion of the cone. This construction lies at the intersection of deformation theory and Arakelov geometry. It provides a deformation of a Hermitian line bundle over the deformation to the normal cone.

Algebraic Geometry,Number Theory

An Alternative Proof of Steinhaus Theorem

A quantitative version of the Steinhaus theorem

A shorter proof of the Marker-Steinhorn Theorem

A Simple Proof of a Theorem of Block and Hart

The Cantor–Bernstein theorem: how many proofs?

An alternative proof of the Puiseux representation of the exponential integral

Inconsistency of Measure-Theoretic Probability

An Elementary proof for Bertrand's Postulate

A density version of a theorem of Banach

Combinational Proof for a Theorem Concerning the Upper Banach Density

Arithmetical conservation results

Hasse theorem -- an elementary approach

On the Elementary Proof of the Inverse Erdős-Heilbronn Problem

Khintchine dichotomy for self-similar measures

A Machine-Checked Direct Proof of the Steiner-Lehmus Theorem

Stein's method for comparison of univariate distributions

Schoenberg's Theorem via the law of large numbers

The last proof of extreme value theorem and intermediate value theorem

The square sieve and the large sieve with square moduli

A simple proof of a theorem of Laptev and Weidl

On the arithmetic Hilbert-Samuel theorem : a proof by deformation