相关论文: Bertini and his two fundamental theorems

We give a "soft" proof of Alberti's Luzin-type theorem in [1] (G. Alberti, A Lusintype theorem for gradients, J. Funct. Anal. 100 (1991)), using elementary geometric measure theory and topology. Applications to the $C^2$-rectifiability…

Myriad articles are devoted to Mertens's theorem. In yet another, we merely wish to draw attention to a proof by Hardy, which uses a Tauberian theorem of Landau that "leads to the conclusion in a direct and elegant manner". Hardy's proof is…

We prove that for minimizers of the vectorial Alt-Caffarelli functional the two-phase singular set of the free boundary is rectifiable and the blow-up is unique almost everywhere on it. While the first conclusion is an application of the…

An old conjecture of Erd\H{o}s and R\'enyi, proved by Schinzel, predicted a bound for the number of terms of a polynomial $g(x) \in \mathbb{C}[x]$ when its square $g(x)^2$ has a given number of terms. Further conjectures and results arose,…

We present a self-contained elementary and detailed exposition of Mertens' own proof of his theorem on the divergence of the series of the reciprocals of the primes and compare it with the modern proofs. His proof contains explicit…

The two squares theorem of Fermat is a gem in number theory, with a spectacular one-sentence "proof from the Book". Here is a formalisation of this proof, with an interpretation using windmill patterns. The theory behind involves…

We present new proofs to four versions of Peano's Existence Theorem for ordinary differential equations and systems. We hope to have gained readability with respect to other usual proofs. We also intend to highlight some ideas due to Peano…

The paper offers versions of Hilbert's Irreducibility Theorem for the lifting of points in a cyclic subgroup of an algebraic group to a ramified cover. A version of Bertini Theorem in this context is also obtained.

There are several proofs of the Fundamental Theorem of Algebra, mainly using algebra, analysis and topology. In this article, we have shown that the Fundamental Theorem of Algebra can be proved using Nevanlinna's first fundamental theorem…

We include short and elementary proofs of two theorems characterizing reductive group schemes over a discrete valuation ring, in a slightly more general context.

A famous theorem of Bers and Finn states that isolated singularities of solutions to the non-parametric minimal surface equation are removable. We show that this result remains valid, if the area functional is replaced by a general…

The initial-boundary value problem for the two-dimensional regular four-velocity discrete Boltzmann system is analyzed in a rectangle. The existence and uniqueness of a classical global positive solution, bounded with its first partial…

In this note we consider a question related to the high-dimensional generalization of the classical Severi's finiteness theorem for curves. We will introduce some background and then state the main result. The proof of the main result is…

Fermi helped establish a new framework for understanding matter, based on quantum theory. This framework refines and improves traditional atomism in two crucial respects. First, the elementary constituents of matter belong to a very small…

I discuss classical and quantum recurrence theorems in a unified manner, treating both as generalisations of the fact that a system with a finite state space only has so many places to go. Along the way I prove versions of the recurrence…

In this paper, we prove common fixed point results for a self-mappings satisfying an implicit function which is general enough to cover a multitude of known as well as unknown contractions. Our results modify, unify, extend and generalize…

While there are numerous results on minimizers or stable solutions of the Bernoulli problem proving regularity of the free boundary and analyzing singularities, much less in known about critical points of the corresponding energy. Saddle…

We prove a fixed point theorem for closed-graphed, decomposable-valued correspondences whose domain and range is a decomposable set of functions from an atomless measure space to a topological space. One consequence is an improvement of the…

In this paper, we establish a real closed analogue of Bertini's theorem. Let $R$ be a real closed field and $X$ a formally real integral algebraic variety over $R$. We show that if the zero locus of a nonzero global section $s$ of an…

It is shown that the Poincar\'e-Birkhoff fixed point theorem may be proven by extending the geometric approach originally devised by Henri Poincar\'e himself, along with several results from elementary differential topology. Beginning with…