Constructing Non- Lebesgue Measurable Subsets of the Real Numbers Harmony versus Dissidence (original) (raw)
Related papers
127 (2002) MATHEMATICA BOHEMICA No. 1, 41–48 WHAT’S THE PRICE OF A NONMEASURABLE SET?
2000
Abstract. In this note, we prove that the countable compactness of {0, 1} Ê together with the Countable Axiom of Choice yields the existence of a nonmeasurable subset of Ê. This is done by providing a family of nonmeasurable subsets of Ê whose intersection with every non-negligible Lebesgue measurable set is still not Lebesgue measurable. We develop this note in three sections: the first presents the main result, the second recalls known results concerning non-Lebesgue measurability and its relations with the Axiom of Choice, the third is devoted to the proofs.
The strength of measurability hypotheses
Israel Journal of Mathematics, 1985
We prove some consequences of various measurability hypotheses. Especially, we establish that the measurability of E~ sets implies that ~ sets have the property of Baire.
A mathematical proof of S. Shelah’s theorem on the measure problem and related results
Israel Journal of Mathematics, 1984
Recently, S. Shelah proved that an inaccessible cardinal is necessary to build a model of set theory in which every set of reals is Lebesgue measurable. We give a simpler and metamathematically free proof of Shelah's resulc. As a corollary, we get an elementary proof of the following result (without choice axiom): assume there exists an uncountable well ordered set of reals, then there exists a non-measurable set of reals. We also get results about Baire property, K~regularity and Ramsey property.
EXPOSITION ON THE CANTOR SET; PROPERTIES, CONSTRUCTION AND MEASURABILITY
This paper is intended to give exposition on The Cantor Set: its properties, Construction and its measurability. The key objective is to point to the beginner and others interested in the study of this famous and fascinating set, The Cantor Set, of some of the main ideas with regards to perfect, Compact but not empty sets which further should be researched into. This paper serves as an accessible introduction to beginners and other scholars interested in the studying the Cantor set especially its properties and measurability.
MEASURE THEORY Volume 5 Part II
Introduction 7 541 Saturated ideals 7 κ-saturated κ + -additive ideals; κ-saturated κ-additive ideals; Tr I (X; Y ); normal ideals; κ-saturated normal ideals; two-valued-measurable and weakly compact cardinals; the Tarski-Levy-Silver dichotomy; cov Sh (2 γ , κ, δ + , δ).
Mathematics in Computer Science, 2019
In this paper we present some examples of calculation the Lebesgue outer measure of some subsets of R 2 directly from definition 1. We will consider the following subsets of R 2 : {(x, y) ∈ R 2 : 0 ≤ y ≤ x 2 , x ∈ [0, 1]}, {(x, y) ∈ R 2 : 0 ≤ y ≤ exp(−x), x ≥ 0}, (x, y) ∈ R 2 : ln x ≤ y ≤ 0, x ∈ (0, 1] , (x, y) ∈ R 2 : 0 ≤ y ≤ 1/x, x ≥ 1 , {(x, y) ∈ R 2 : 0 ≤ y ≤ sin x, x ∈ [0, π/2]}, {(x, y) ∈ R 2 : 0 ≤ y ≤ exp(x), x ∈ [0, 1]}, {(x, y) ∈ R 2 : 0 ≤ y ≤ ln(1 − 2r cos x + r 2), x ∈ [0, π]}, r > 1 and some others. We could not find any analogical examples in available literature (except for rectangle and countable sets), so this paper is an attempt to fill this gap. We calculate sums, limits and plot graphs and dynamic plots of needed sets and unions of rectangles sums of which volumes approximate Lebesgue outer measure of the sets, using Mathematica. We also show how to calculate the needed sums and limits by hand (without CAS). The title of this paper is very similar to the title of author's article (Wojas and Krupa in Math Comput Sci 11:363-381, 2017) which deals with definition of Lebesgue integral but this paper deals with definition of Lebesgue outer measure instead.
On the existence of nonmeasurable unions
1979
For a Polish space X and a σ-ideal I of subsets of X which has a Borel base we consider families A of sets in I with the union S A not in I. We determine several conditions on A which imply the existence of a subfamily A of A whose union S A is not in the σ-field generated by the Borel sets on X and I. Main examples are X = R and I being the ideal of sets of Lebesgue measure zero or the ideal of sets of the first category.
Scientific American, 1967
T he abstract t h e o~ of sets i5 currently in a state of change that ill meral wa!"~ IS ana10gou~ to the 19th-centup m~olution m g t w n e q . 145; m any revolution, phticd or scientific, it i s d B d t for those parhcipthp in the revolution or w5hlessi1lp it to foretell its ultimate mnsequences, except perhaps that they \\*ill be profound. One thing that can b done i s to to use the past as a guide to the future. It is an unreliable guide, to be sure. but ktter than none.