Searcharxiv⌕ Search
Home/Archive/arXiv

arXiv · 1909.05345

Bolzano and the Part-Whole Principle

Kateřina Trlifajová
View original source ↗Read source document ↗Export metadata ↓

Abstract

The embracing of actual infinity in mathematics leads naturally to the question of comparing the sizes of infinite collections. The basic dilemma is that the Cantor Principle (CP), according to which two sets have the same size if there is a one-to-one correspondence between their elements, and the Part-Whole Principle (PW), according to which the whole is greater than its part, are inconsistent for infinite collections. Contemporary axiomatic set-theoretic systems, for instance, ZFC, are based on CP. PW is not valid for infinite sets. In the last two decades, the topic of sizes of infinite sets has resurfaced again in a number of papers. A question of whether it is possible to compare the sizes to comply with PW has been risen and researched. Bernard Bolzano in his 1848 Paradoxes of the Infinite dealt with principles of introducing infinity into mathematics. He created a theory of infinite quantities that respects PW and which is based on sums of infinite series. We extend Bolzano's theory and create a constructive method for determining the set size of countable sets so that the cardinality of finite sets is preserved and PW is valid. Our concept is close to the numerosity theory from the beginning of this century but it is simpler and more intuitive. In the results, we partly agree with the theory of numerosities. The sizes of countable sets are uniquely determined, but they are not linearly ordered.

Explore related subjects

math.GM

Keep this discovery

BibTeXRIS

Kateřina Trlifajová. 2019-09-11. Bolzano and the Part-Whole Principle. https://arxiv.org/abs/1909.05345

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Average Chord Lengths in a Triangle

Let $P$ be a point inside a triangle $T$. We consider the average length of the chords of $T$ through $P$, where the direction of the chord is chosen uniformly. An elementary formula is obtained in terms of the distances from $P$ to the sides and vertices of the triangle. Several classical triangle centers give especially simple specializations. For example, if $I$ is the incenter, then \[ M_T(I)=\frac{2r}{\pi} \log\left(\cot\frac A4\cot\frac B4\cot\frac C4\right). \] Our main result is the sharp inequality \[ M_T(P)\le \frac{p}{\pi\sqrt3}\log(2+\sqrt3), \] valid simultaneously for every triangle of perimeter $p$ and every interior point $P$. Thus, among all such pairs $(T,P)$, the largest possible average chord length occurs only when $T$ is equilateral and $P$ is its center. The proof is an elementary symmetrization argument. We close with brief remarks relating the problem to the radial center of a convex body, the electrostatic potential center of a triangle, and dual quermassintegrals.

math.GM↗
arXiv2026

A Proof of Liu's Conjecture on the Fundamental Triangle Inequality

Let $a,b,c$ be the side lengths of a triangle, and let $R$ and $r$ denote its circumradius and inradius, respectively. We prove a conjecture of Liu stating that \[\sum_{\mathrm{cyc}} \left(\frac{a(b+c-a)}{bc}\right)^k \geq 2+\left(\frac{2r}{R}\right)^k,~~k>1, \] with the reverse inequality for $0<k<1$. The proof reduces the problem to three positive variables with fixed sum and product. We also determine the equality cases.

math.GM↗