𝔖 Bobbio Scriptorium
✦   LIBER   ✦

The theorem of the means for cardinal and ordinal numbers

✍ Scribed by George Rousseau


Publisher
John Wiley and Sons
Year
1993
Tongue
English
Weight
382 KB
Volume
39
Category
Article
ISSN
0044-3050

No coin nor oath required. For personal study only.

✦ Synopsis


Abstract

The theorem that the arithmetic mean is greater than or equal to the geometric mean is investigated for cardinal and ordinal numbers. It is shown that whereas the theorem of the means can be proved for n pairwise comparable cardinal numbers without the axiom of choice, the inequality a^2^ + b^2^ β‰₯ 2ab is equivalent to the axiom of choice. For ordinal numbers, the inequality Ξ±^2^ + Ξ²^2^ β‰₯ 2Ξ±Ξ² is established and the conditions for equality are derived; stronger inequalities are obtained for finite and infinite sequences of ordinals under suitable monotonicity hypotheses. MSC: 03E10, 04A10, 03E25, 04A25.


πŸ“œ SIMILAR VOLUMES


Limit Theorems for the Number of Summand
✍ Hsien-Kuei Hwang πŸ“‚ Article πŸ“… 2001 πŸ› Elsevier Science 🌐 English βš– 254 KB

Central and local limit theorems are derived for the number of distinct summands in integer partitions, with or without repetitions, under a general scheme essentially due to Meinardus. The local limit theorems are of the form of Crame rtype large deviations and are proved by Mellin transform and th

Limit Theorems and the Law of Large Numb
✍ Magda Peligrad πŸ“‚ Article πŸ“… 1980 πŸ› John Wiley and Sons 🌐 English βš– 215 KB

In this paper we give an extension of the convergence theorem for martingales which are bounded in L, norm. This theorem is used to obtain the law of large numbers under dependent assumptions.

Interpolation theorem for the number of
✍ Seymour Schuster πŸ“‚ Article πŸ“… 1983 πŸ› John Wiley and Sons 🌐 English βš– 224 KB πŸ‘ 1 views

## Abstract The following interpolation theorem is proved: If a graph __G__ contains spanning trees having exactly __m__ and __n__ end‐vertices, with __m__ < __n__, then for every integer __k, m < k < n, G__ contains a spanning tree having exactly __k__ end‐vertices. This settles a problem posed by