Elementary real analysis without compactness argument

Claude-Alain Faure

2024-10-25

Abstract:In a famous paper, R. A. Gordon proved a dozen theorems using tagged partitions and Cousin's theorem. Recently, I gave simple proofs of extreme value theorem and intermediate value theorem using the key-lemma underlying Cousin's theorem. The purpose of this paper is to present some further applications of such a lemma.

History and Overview

What problem does this paper attempt to address?

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 reverse mathematics of Cousin's lemma

Jordan Mitchell Barrett

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

2020-11-26

Abstract:Cousin's lemma is a compactness principle that naturally arises when studying the gauge integral, a generalisation of the Lebesgue integral. We study the axiomatic strength of Cousin's lemma for various classes of functions, using Friedman and Simpson's reverse mathematics in second-order arithmetic. We prove that, over $\mathsf{RCA}_0$: (i) Cousin's lemma for continuous functions is equivalent to the system $\mathsf{WKL}_0$; (ii) Cousin's lemma for Baire 1 functions is at least as strong as $\mathsf{ACA}_0$; (iii) Cousin's lemma for Baire 2 functions is at least as strong as $\mathsf{ATR}_0$.

Logic
Cousin's lemma in second-order arithmetic

Jordan Mitchell Barrett,Rodney G. Downey,Noam Greenberg

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

2021-05-07

Abstract:Cousin's lemma is a compactness principle that naturally arises when studying the gauge integral, a generalisation of the Lebesgue integral. We study the axiomatic strength of Cousin's lemma for various classes of functions, using Friedman and Simpson's reverse mathematics in second-order arithmetic. We prove that, over $\mathsf{RCA}_0$: (i) Cousin's lemma for continuous functions is equivalent to $\mathsf{WKL}_0$; (ii) Cousin's lemma for Baire class 1 functions is equivalent to $\mathsf{ACA}_0$; (iii) Cousin's lemma for Baire class 2 functions, or for Borel functions, are both equivalent to $\mathsf{ATR}_0$ (modulo some induction).

Logic
Naive Function Theory: Real Analysis via Supremum Arguments

Rafael Cantuba

2024-03-11

Abstract:Theorems crucial in elementary real function theory have proofs in which compactness arguments are used. Despite the introduction in relatively recent literature of each new highly elegant compactness argument, or of an equivalent, this work is based on the idea that, with the aid of local properties of continuous or of differentiable functions, the use of supremum arguments suffices, and the resulting development of real function theory need not involve notions more sophisticated than what immediately follows from the usual ordering of the real numbers.

Classical Analysis and ODEs
Fun with "Analysis I": basic theorems in calculus revisited

Daniel Reem

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

2007-09-27

History and Overview

Abstract:This note tries to show that a re-examination of a first course in analysis, using the more sophisticated tools and approaches obtained in later stages, can be a real fun for experts, advanced students, etc. We start by going to the extreme, namely we present two proofs of the Extreme Value Theorem: "the programmer proof" that suggests a method (which is practical in down-to-earth settings) to approximate, to any required precision, the extreme values of the given function in a metric space setting, and an abstract space proof ("the level-set proof") for semicontinuous functions defined on compact topological spaces. Next, in the intermediate part, we consider the Intermediate Value Theorem, generalize it to a wide class of discontinuous functions, and re-examine the meaning of the intermediate value property. The trek reaches the final frontier when we discuss the Uniform Continuity Theorem, generalize it, re-examine the meaning of uniform continuity, and find the optimal delta of the given epsilon. Have fun!
An effective version of Fekete's theorem

Norm Levenberg,Mayuresh Londhe

2024-04-10

Abstract:A classical result of Fekete gives necessary conditions on a compact set in the complex plane so that it contains infinitely many sets of conjugate algebraic integers. We prove an effective version of Fekete's theorem in terms of a height function. As an application, we give a lower bound on the growth of the leading coefficient of certain polynomial sequences, generalizing a result by Schur. Lastly, we give an upper bound on minimal asymptotics of height over sequences of algebraic numbers.

Complex Variables,Number Theory
A Comprehensive Overview of the Lebesgue Differentiation Theorem in Coq

Reynald Affeldt,Zachary Stone

2024-06-30

Abstract:Formalization of real analysis offers a chance to rebuild traditional proofs of important theorems as unambiguous theories that can be interactively explored. This paper provides a comprehensive overview of the Lebesgue Differentiation Theorem formalized in the Coq proof assistant, from which the first Fundamental Theorem of Calculus (FTC) for the Lebesgue integral is obtained as a corollary. Proving the first FTC in this way has the advantage of decomposing into loosely-coupled theories of moderate size and of independent interest that lend themselves well to incremental and collaborative development. We explain how we formalize all the topological constructs and all the standard lemmas needed to eventually relate the definitions of derivability and of Lebesgue integration of MathComp-Analysis, a formalization of analysis developed on top of the Mathematical Components library. In the course of this experiment, we substantially enrich MathComp-Analysis and even devise a new proof for Urysohn's lemma.

Logic in Computer Science
An elementary Tauberian proof of the Prime Number Theorem

Philippe Angot

2024-04-20

Abstract:We give a simple Tauberian proof of the Prime Number Theorem using only elementary real analysis. Hence, the analytic continuation of Riemann's zeta function $\zeta$ and its non-vanishing value on the whole line $\{z\in {\mathbb C};\,{\mathrm{Re}\,} z=1\}$ are no more required. This is achieved by showing a strong extension for Laplace transforms on the real line of Wiener--Ikehara's theorem on Dirichlet's series, where the Tauberian assumption is reduced to a local boundary behavior around the pole.

Number Theory,History and Overview
Real analysis without uncountable sets

Martin Klazar

2024-02-02

Abstract:HMC sets are hereditarily at most countable sets. We rework a part of analysis of univariate real functions so that it (substantially) uses only HMC sets and present some applications. 1. By integrating functions $f\colon[u,v]_{\mathbb{Q}}= \{a\in\mathbb{Q}\;|\;u\le a\le v\}\to\mathbb{R}$ we carry out, with only HMC sets, Hilbert's proof of transcendence of $\mathrm{e}$. 2. We give a version of Hilbert's proof based on quasi-formal use of power series. 3. We prove, using only HMC sets, Liouville's theorem that transcendental numbers exist. 4. We construct a uniformly continuous function $f\colon[0,1]_{\mathbb{Q}}\to\mathbb{R}$ satisfying for every $a\in[0,1]_{\mathbb{Q}}$ that $f(\frac{1}{\sqrt{2}})=\frac{1}{\sqrt{2}}>f(a)$ and $f'(a)=1$ (the value $f(\frac{1}{\sqrt{2}})$ is of the continuous extension of $f$). 5. In conclusion we ask if FLT can be proven by means of only HMC sets.

Logic,Classical Analysis and ODEs,History and Overview,Number Theory
Pseudofinite proofs of the stable graph regularity lemma

G. Conant,C. Terry

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

2023-08-31

Logic

Abstract:This expository article is based on two lectures given by the first author at the Fields Institute in the Fall 2021 Thematic Program on Trends in Pure and Applied Model Theory. We give a detailed proof of a qualitative version of the Mallaris-Shelah regularity lemma for stable graphs using only basic local stability theory and an ultraproduct construction. This proof strategy was first established by Malliaris and Pillay, and later simplified by Pillay. We provide some further simplifications, and also explain how the pseudofinite approach can be used to obtain a qualitative strengthening (compared to previous proofs) in terms of "functional error". To illustrate the extra leverage obtained by functional error, we give an elementary argument for extracting equipartitions from arbitrary partitions.
Completeness of the Leibniz Field and Rigorousness of Infinitesimal Calculus

James F. Hall,Todor D. Todorov

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

2011-08-23

Abstract:We present a characterization of the completeness of the field of real numbers in the form of a \emph{collection of ten equivalent statements} borrowed from algebra, real analysis, general topology and non-standard analysis. We also discuss the completeness of non-Archimedean fields and present several examples of such fields. As an application we exploit one of our results to argue that the Leibniz infinitesimal calculus in the $18^\textrm{th}$ century was already a rigorous branch of mathematics -- at least much more rigorous than most contemporary mathematicians prefer to believe. By advocating our particular historical point of view, we hope to provoke a discussion on the importance of mathematical rigor in mathematics and science in general. We believe that our article will be of interest for those readers who teach courses on abstract algebra, real analysis, general topology, logic and the history of mathematics.

History and Overview,Classical Analysis and ODEs
A note on "The Cartan-Hadamard conjecture and the Little Prince"

Spyridon Michalakis

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

2017-02-01

Abstract:We provide elementary proofs of Lemmas 7.1 and 7.4 appearing in "The Cartan-Hadamard conjecture and the Little Prince", by B. Kloeckner and G. Kuperberg. The Lemmas play an important role in the derivation of novel isoperimetric inequalities. The original proofs relied on Sage, a symbolic algebra package, to factor certain algebraic varieties into irreducible components.

Differential Geometry
Peano and Osgood theorems via effective infinitesimals

Karel Hrbacek,Mikhail G. Katz

DOI: https://doi.org/10.4115/jla.2023.15.6

2023-11-30

Abstract:We provide choiceless proofs using infinitesimals of the global versions of Peano's existence theorem and Osgood's theorem on maximal solutions. We characterize all solutions in terms of infinitesimal perturbations. Our proofs are more effective than traditional non-infinitesimal proofs found in the literature. The background logical structure is the internal set theory SPOT, conservative over ZF.

Logic,Classical Analysis and ODEs
On an elementary proof of the fundamental theorem of algebra

Aivaras Novikas,Juozas Juvencijus Mačys

DOI: https://doi.org/10.1007/s10986-024-09651-1

2024-10-18

Lithuanian Mathematical Journal

Abstract:We present an elementary proof of the fundamental theorem of algebra, in which only the most basic notions of calculus are used. Considering discrete quantities instead of continuous functions allows us to obtain a proof that is fairly approachable but maintains the mathematical rigor.

mathematics
An elementary approach to extreme values theory

Philippe Barbe

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

2008-11-05

Abstract:This note presents a rather intuitive approach to extreme value theory. This approach was devised mostly for pedagogical reason.

Statistics Theory,Probability,Methodology
A short proof of d'Alemberts theorem

Tord Sjödin

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

2013-04-10

History and Overview

Abstract:A classical theorem of d'Alembert states that if a polynomial P(x) with real coefficients has a non-real root x=a+ib, then it also has a root x=a-ib. We give a short and elementary inductive proof that avoids any properties of the complex conjugation operator.
Some variants of the classical Aubin–Lions Lemma

A. Moussa

DOI: https://doi.org/10.1007/s00028-015-0293-3

2015-08-21

Journal of Evolution Equations

Abstract:This paper explores two generalizations of the classical Aubin–Lions Lemma. First, we give a sufficient condition to commute weak limit and multiplication of two functions. We deduce from this criteria a compactness theorem for degenerate parabolic equations. Second, we state and prove a compactness theorem for noncylindrical domains, including the case of dual estimates involving only divergence-free test functions.

mathematics, applied
Extremal functions of boundary Schwarz lemma

guangbin ren,xieping wang

2015-01-01

Abstract: In this paper, we present an alternative and elementary proof of a sharp version of the classical boundary Schwarz lemma by Frolova et al. with initial proof via analytic semigroup approach and Julia-Carath\'eodory theorem for univalent holomorphic self-mappings of the open unit disk $\mathbb D\subset \mathbb C$. Our approach has its extra advantage to get the extremal functions of the inequality in the boundary Schwarz lemma.
Quantitative Fundamental Theorem of Algebra

Daniel Perrucci,Marie-Françoise Roy

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

2019-03-16

Abstract:Using subresultants, we modify a recent real-algebraic proof due to Eisermann of the Fundamental Theorem of Algebra ([FTA]) to obtain the following quantitative information: in order to prove the [FTA] for polynomials of degree $d$, the Intermediate Value Theorem ([IVT]) is requested to hold for real polynomials of degree at most $d^2$. We also explain that the classical proof due to Laplace requires [IVT] for real polynomials of exponential degree. These quantitative results highlight the difference in nature of these two proofs.

Algebraic Geometry

Elementary real analysis without compactness argument

The last proof of extreme value theorem and intermediate value theorem

The reverse mathematics of Cousin's lemma

Cousin's lemma in second-order arithmetic

Naive Function Theory: Real Analysis via Supremum Arguments

Fun with "Analysis I": basic theorems in calculus revisited

An effective version of Fekete's theorem

A Comprehensive Overview of the Lebesgue Differentiation Theorem in Coq

An elementary Tauberian proof of the Prime Number Theorem

Real analysis without uncountable sets

Pseudofinite proofs of the stable graph regularity lemma

Completeness of the Leibniz Field and Rigorousness of Infinitesimal Calculus

A note on "The Cartan-Hadamard conjecture and the Little Prince"

Peano and Osgood theorems via effective infinitesimals

On an elementary proof of the fundamental theorem of algebra

An elementary approach to extreme values theory

A short proof of d'Alemberts theorem

Some variants of the classical Aubin–Lions Lemma

Extremal functions of boundary Schwarz lemma

Quantitative Fundamental Theorem of Algebra