To install click the Add extension button. That's it.

The source code for the WIKI 2 extension is being checked by specialists of the Mozilla Foundation, Google, and Apple. You could also do it yourself at any point in time.

4,5
Kelly Slayton
Congratulations on this excellent venture… what a great idea!
Alexander Grigorievskiy
I use WIKI 2 every day and almost forgot how the original Wikipedia looks like.
Live Statistics
English Articles
Improved in 24 Hours
Added in 24 Hours
Languages
Recent
Show all languages
What we do. Every page goes through several hundred of perfecting techniques; in live mode. Quite the same Wikipedia. Just better.
.
Leo
Newton
Brights
Milds

Strong measure zero set

From Wikipedia, the free encyclopedia

In mathematical analysis, a strong measure zero set[1] is a subset A of the real line with the following property:

for every sequence (εn) of positive reals there exists a sequence (In) of intervals such that |In| < εn for all n and A is contained in the union of the In.

(Here |In| denotes the length of the interval In.)

Every countable set is a strong measure zero set, and so is every union of countably many strong measure zero sets. Every strong measure zero set has Lebesgue measure 0. The Cantor set is an example of an uncountable set of Lebesgue measure 0 which is not of strong measure zero.[2]

Borel's conjecture[1] states that every strong measure zero set is countable. It is now known that this statement is independent of ZFC (the Zermelo–Fraenkel axioms of set theory, which is the standard axiom system assumed in mathematics). This means that Borel's conjecture can neither be proven nor disproven in ZFC (assuming ZFC is consistent). Sierpiński proved in 1928 that the continuum hypothesis (which is now also known to be independent of ZFC) implies the existence of uncountable strong measure zero sets.[3] In 1976 Laver used a method of forcing to construct a model of ZFC in which Borel's conjecture holds.[4] These two results together establish the independence of Borel's conjecture.

The following characterization of strong measure zero sets was proved in 1973:

A set AR has strong measure zero if and only if A + MR for every meagre set MR.[5]

This result establishes a connection to the notion of strongly meagre set, defined as follows:

A set MR is strongly meagre if and only if A + MR for every set AR of Lebesgue measure zero.

The dual Borel conjecture states that every strongly meagre set is countable. This statement is also independent of ZFC.[6]

YouTube Encyclopedic

  • 1/3
    Views:
    82 836
    65 489
    10 158
  • Lec 3 | MIT 6.042J Mathematics for Computer Science, Fall 2010
  • 3. Probability Theory
  • Introduction to ACT Math

Transcription

References

  1. ^ a b Borel, Émile (1919). "Sur la classification des ensembles de mesure nulle" (PDF). Bull. Soc. Math. France. 47: 97–125. doi:10.24033/bsmf.996.
  2. ^ Jech, Thomas (2003). Set Theory: The Third Millennium Edition, Revised and Expanded. Springer Monographs in Mathematics (3rd ed.). Springer. p. 539. ISBN 978-3540440857.
  3. ^ Sierpiński, W. (1928). "Sur un ensemble non denombrable, dont toute image continue est de mesure nulle" (PDF). Fundamenta Mathematicae (in French). 11 (1): 302–4. doi:10.4064/fm-11-1-302-303.
  4. ^ Laver, Richard (1976). "On the consistency of Borel's conjecture". Acta Math. 137 (1): 151–169. doi:10.1007/BF02392416.
  5. ^ Galvin, F.; Mycielski, J.; Solovay, R.M. (1973). "Strong measure zero sets". Notices of the American Mathematical Society. 26.
  6. ^ Carlson, Timothy J. (1993). "Strong measure zero and strongly meager sets". Proc. Amer. Math. Soc. 118 (2): 577–586. doi:10.1090/s0002-9939-1993-1139474-6. JSTOR 2160341.
This page was last edited on 13 December 2021, at 18:11
Basis of this page is in Wikipedia. Text is available under the CC BY-SA 3.0 Unported License. Non-text media are available under their specified licenses. Wikipedia® is a registered trademark of the Wikimedia Foundation, Inc. WIKI 2 is an independent company and has no affiliation with Wikimedia Foundation.