Method of Integer Measures

Requires a Wolfram Notebook System

Interact on desktop, mobile and cloud with the free Wolfram CDF Player or other Wolfram Language products.

Requires a Wolfram Notebook System

Edit on desktop, mobile and cloud with any Wolfram Language product.

This Demonstration illustrates Benko's idea of "integer measures": Given positive real numbers , it is always possible to find integer weights such that whenever for two subsets and of , then . This claim is a consequence of the fact that the numbers can be approximated by rational numbers with any given uniform accuracy. Here , , and the top control can be used to set the accuracy to 1/3, 1/4, or 1/5.

Contributed by: Mateja Budin and Izidor Hafner (March 2011)
Open content licensed under CC BY-NC-SA


Snapshots


Details

The method is proved by following lemma: Lemma 1. Let be real numbers. For each it is possible to approximate simultaneously by rational numbers , in the sense that (). In addition, if all the are positive, then the can be chosen to be positive, where is replaced with . Proof. Let be a positive integer satisfying . Then by the pigeonhole principle, among the points (), where denotes the fractional part of , there are at least two numbers such that for all . Then for some integers . The statement is proved if we put . This lemma was used in the elementary proof of Hilbert's third problem.

Reference

[1] D. Benko, "A New Approach to Hilbert's Third Problem," American Mathematical Monthly, 114(8), 2007 pp. 665–676.



Feedback (field required)
Email (field required) Name
Occupation Organization
Note: Your message & contact information may be shared with the author of any specific Demonstration for which you give feedback.
Send