Knowledge

Non-measurable set

Source 📝

36: 980:
Standard measure theory takes the third option. One defines a family of measurable sets, which is very rich, and almost any set explicitly defined in most branches of mathematics will be among this family. It is usually very easy to prove that a given specific subset of the geometric plane is
232:. A more recent combinatorial construction which is similar to the construction by Robin Thomas of a non-Lebesgue measurable set with some additional properties appeared in American Mathematical Monthly. 695: 216:, which shows that it is consistent with standard set theory without uncountable choice, that all subsets of the reals are measurable. However, Solovay's result depends on the existence of an 589: 205:. These sets are rich enough to include every conceivable definition of a set that arises in standard mathematics, but they require a lot of formalism to prove that sets are measurable. 996:
is not provable within the framework of Zermelo–Fraenkel set theory in the absence of an additional axiom (such as the axiom of choice), by showing that (assuming the consistency of an
443: 197:
to formulate probability theory on sets which are constrained to be measurable. The measurable sets on the line are iterated countable unions and intersections of intervals (called
1168: 184: 619: 974: 533: 934: 371: 303: 954: 863: 843: 823: 803: 779: 755: 735: 715: 507: 483: 463: 411: 391: 347: 327: 235:
One would expect the measure of the union of two disjoint sets to be the sum of the measure of the two sets. A measure with this natural property is called
2033: 2111: 2128: 254:
In this respect, the plane is similar to the line; there is a finitely additive measure, extending Lebesgue measure, which is invariant under all
981:
measurable. The fundamental assumption is that a countably infinite sequence of disjoint sets satisfies the sum formula, a property called
887:
Some sets might be tagged "non-measurable", and one would need to check whether a set is "measurable" before talking about its volume.
144:
which cannot be assigned a meaningful "volume". The existence of such sets is construed to provide information about the notions of
1436: 1295: 100: 72: 1951: 1782: 1322: 1214: 785:
the circle into a countable collection of disjoint sets, which are all pairwise congruent (by rational rotations). The set
79: 1943: 624: 189:
The notion of a non-measurable set has been a source of great controversy since its introduction. Historically, this led
53: 1729: 538: 2123: 877:
shows that there is no way to define volume in three dimensions unless one of the following five concessions is made:
119: 86: 2080: 2070: 1880: 1789: 1553: 891: 157: 416: 68: 57: 1409: 1078: 2118: 2065: 1959: 1865: 17: 1984: 1964: 1928: 1852: 1572: 1288: 2106: 1885: 1847: 1799: 1036: 2011: 1979: 1969: 1890: 1857: 1488: 1397: 1020: 306: 2028: 1933: 1709: 1637: 1072: 874: 267: 228:
The first indication that there might be a problem in defining length for an arbitrary set came from
2018: 2101: 1547: 1478: 1048: 1024: 1414: 1151: 274:
of radius 1 can be dissected into 5 parts which can be reassembled to form two balls of radius 1.
239:. While a finitely additive measure is sufficient for most intuition of area, and is analogous to 167: 2189: 1870: 1628: 1588: 1281: 46: 598: 93: 2153: 2053: 1875: 1597: 1443: 1016: 845:
has zero measure, countable additivity would imply that the whole circle has zero measure. If
884:
The volume of the union of two disjoint sets might be different from the sum of their volumes.
1714: 1667: 1662: 1657: 1499: 1382: 1340: 1092: 997: 959: 217: 865:
has positive measure, countable additivity would show that the circle has infinite measure.
805:
will be non-measurable for any rotation-invariant countably additive probability measure on
512: 2023: 1989: 1897: 1607: 1562: 1404: 1327: 1148:
Sadhukhan, A. (December 2022). "A Combinatorial Proof of the Existence of Dense Subsets in
486: 248: 247:, because conventional modern treatments of sequences of events or random variables demand 900: 356: 8: 2006: 1996: 1842: 1806: 1632: 1361: 1318: 240: 1684: 285: 2158: 1918: 1903: 1602: 1483: 1265: 1180: 1060: 1012: 1001: 939: 848: 828: 808: 788: 782: 764: 740: 720: 700: 492: 468: 448: 396: 376: 332: 312: 271: 2075: 1811: 1772: 1767: 1674: 1592: 1377: 1350: 1233: 1087: 1019:, and also to the conjunction of two fundamental results of functional analysis, the 1008:
holds, every set is Lebesgue measurable and in which the full axiom of choice fails.
989: 758: 621:
with the property that all of the rational translates (translated copies of the form
263: 209: 141: 2092: 2001: 1777: 1762: 1752: 1737: 1704: 1699: 1689: 1567: 1542: 1357: 1261: 1223: 1190: 1052: 1044: 1005: 993: 982: 1194: 2168: 2148: 1923: 1821: 1816: 1794: 1652: 1617: 1537: 1431: 1208:Ábrego, Bernardo M.; Fernåndez-Merchant, Silvia; Llano, Bernardo (January 2010). 592: 350: 161: 1138:
Moore, Gregory H., Zermelo's Axiom of Choice, Springer-Verlag, 1982, pp. 100–101
595:, we could pick a single point from each orbit, obtaining an uncountable subset 2058: 1913: 1908: 1719: 1694: 1647: 1577: 1557: 1517: 1507: 1304: 1172: 1056: 220:, whose existence and consistency cannot be proved within standard set theory. 1228: 1209: 190: 2183: 2163: 1826: 1747: 1742: 1642: 1612: 1582: 1532: 1527: 1522: 1512: 1426: 1345: 1237: 1107: 1098: 1027:. It also affects the study of infinite groups to a large extent, as well as 213: 1757: 1679: 1419: 1032: 1456: 1256:
Dewdney, A. K. (1989). "A matter fabricator provides matter for thought".
1622: 1040: 1028: 244: 133: 1466: 1113: 255: 229: 194: 1448: 1392: 1387: 259: 198: 868: 349:
consisting of all rational rotations (rotations by angles which are
35: 1473: 1332: 1185: 202: 1273: 1063:, while making all subsets of the real line Lebesgue-measurable. 992:
demonstrated that the existence of a non-measurable set for the
1081: â€“ necessary and sufficient condition for a measurable set 153: 145: 1207: 1011:
The axiom of choice is equivalent to a fundamental result of
1116: â€“ Set of real numbers that is not Lebesgue measurable 149: 1103:
Pages displaying short descriptions of redirect targets
1095: â€“ Generalization of mass, length, area and volume 1154: 962: 942: 903: 851: 831: 811: 791: 767: 743: 723: 703: 627: 601: 541: 515: 495: 471: 451: 419: 399: 379: 359: 335: 315: 288: 170: 1210:"On the Maximum Number of Translates in a Point Set" 1083:
Pages displaying wikidata descriptions as a fallback
881:
The volume of a set might change when it is rotated.
894:
with the axiom of choice) might have to be altered.
690:{\displaystyle e^{iq\pi }X:=\{e^{iq\pi }x:x\in X\}} 60:. Unsourced material may be challenged and removed. 1162: 968: 948: 928: 857: 837: 817: 797: 781:and from each other). The set of those translates 773: 749: 729: 709: 689: 613: 583: 527: 501: 477: 457: 437: 405: 385: 365: 341: 321: 305:the set of all points in the unit circle, and the 297: 178: 27:Set which cannot be assigned a meaningful "volume" 869:Consistent definitions of measure and probability 584:{\displaystyle \{se^{iq\pi }:q\in \mathbb {Q} \}} 2181: 1289: 2034:Riesz–Markov–Kakutani representation theorem 684: 650: 578: 542: 223: 2129:Vitale's random Brunn–Minkowski inequality 1296: 1282: 1227: 1184: 1156: 1147: 574: 438:{\displaystyle \mathbb {Q} /\mathbb {Z} } 431: 421: 172: 120:Learn how and when to remove this message 1170:without the "Steinhaus" like Property". 1255: 164:entails that non-measurable subsets of 14: 2182: 1277: 1215:Discrete & Computational Geometry 2142:Applications & related 243:, it is considered insufficient for 58:adding citations to reliable sources 29: 24: 1303: 1266:10.1038/scientificamerican0489-116 1101: â€“ Class of mathematical sets 963: 25: 2201: 1047:together are sufficient for most 1000:) there is a model of ZF, called 393:is countable (more specifically, 2071:Lebesgue differentiation theorem 1952:CarathĂ©odory's extension theorem 485:breaks up into uncountably many 34: 1248: 45:needs additional citations for 1201: 1141: 1132: 917: 904: 270:show that a three-dimensional 13: 1: 1195:10.1080/00029890.2022.2144665 1120: 1110: â€“ Mathematical function 1163:{\displaystyle \mathbb {R} } 262:the picture gets worse. The 179:{\displaystyle \mathbb {R} } 7: 2124:PrĂ©kopa–Leindler inequality 1066: 1037:Boolean prime ideal theorem 892:Zermelo–Fraenkel set theory 158:Zermelo–Fraenkel set theory 10: 2206: 2066:Lebesgue's density theorem 1039:). However, the axioms of 614:{\displaystyle X\subset S} 277: 2141: 2119:Minkowski–Steiner formula 2089: 2049: 2042: 1942: 1934:Projection-valued measure 1835: 1728: 1497: 1370: 1311: 1229:10.1007/s00454-008-9111-9 1075: â€“ Geometric theorem 156:in formal set theory. In 2102:Isoperimetric inequality 2081:Vitali–Hahn–Saks theorem 1410:CarathĂ©odory's criterion 1125: 1079:CarathĂ©odory's criterion 1049:geometric measure theory 761:(meaning, disjoint from 224:Historical constructions 2107:Brunn–Minkowski theorem 1976:Decomposition theorems 969:{\displaystyle \infty } 2154:Descriptive set theory 2054:Disintegration theorem 1489:Universally measurable 1164: 1021:Banach–Alaoglu theorem 970: 950: 930: 859: 839: 819: 799: 775: 751: 731: 711: 691: 615: 585: 529: 528:{\displaystyle s\in S} 503: 479: 465:is uncountable. Hence 459: 439: 407: 387: 367: 343: 323: 299: 180: 1956:Convergence theorems 1415:Cylindrical σ-algebra 1165: 1093:Measure (mathematics) 1073:Banach–Tarski paradox 998:inaccessible cardinal 971: 951: 931: 875:Banach–Tarski paradox 860: 840: 820: 800: 776: 752: 732: 712: 692: 616: 586: 535:is the countable set 530: 504: 480: 460: 440: 408: 388: 368: 344: 324: 300: 268:Banach–Tarski paradox 218:inaccessible cardinal 181: 2024:Minkowski inequality 1898:Cylinder set measure 1783:Infinite-dimensional 1398:equivalence relation 1328:Lebesgue integration 1152: 1025:Krein–Milman theorem 960: 940: 929:{\displaystyle ^{3}} 901: 849: 829: 809: 789: 765: 741: 721: 701: 625: 599: 539: 513: 493: 469: 449: 417: 397: 377: 366:{\displaystyle \pi } 357: 333: 313: 286: 249:countable additivity 168: 69:"Non-measurable set" 54:improve this article 2019:Hölder's inequality 1881:of random variables 1843:Measurable function 1730:Particular measures 1319:Absolute continuity 1258:Scientific American 1017:Tychonoff's theorem 890:The axioms of ZFC ( 241:Riemann integration 2159:Probability theory 1484:Transverse measure 1462:Non-measurable set 1444:Locally measurable 1260:(April): 116–119. 1160: 1061:Fourier transforms 1013:point-set topology 966: 946: 926: 855: 835: 815: 795: 771: 747: 727: 707: 697:for some rational 687: 611: 581: 525: 499: 475: 455: 435: 403: 383: 363: 339: 319: 298:{\displaystyle S,} 295: 176: 138:non-measurable set 2177: 2176: 2137: 2136: 1866:almost everywhere 1812:Spherical measure 1710:Strictly positive 1638:Projection-valued 1378:Almost everywhere 1351:Probability space 1088:Hausdorff paradox 949:{\displaystyle 0} 858:{\displaystyle X} 838:{\displaystyle X} 818:{\displaystyle S} 798:{\displaystyle X} 774:{\displaystyle X} 759:pairwise disjoint 750:{\displaystyle G} 730:{\displaystyle X} 710:{\displaystyle q} 502:{\displaystyle G} 478:{\displaystyle S} 458:{\displaystyle S} 413:is isomorphic to 406:{\displaystyle G} 386:{\displaystyle G} 342:{\displaystyle G} 322:{\displaystyle S} 264:Hausdorff paradox 237:finitely additive 210:Robert M. Solovay 130: 129: 122: 104: 16:(Redirected from 2197: 2112:Milman's reverse 2095: 2093:Lebesgue measure 2047: 2046: 1451: 1437:infimum/supremum 1358:Measurable space 1298: 1291: 1284: 1275: 1274: 1269: 1242: 1241: 1231: 1205: 1199: 1198: 1188: 1169: 1167: 1166: 1161: 1159: 1145: 1139: 1136: 1104: 1084: 1053:potential theory 1045:dependent choice 1006:countable choice 994:Lebesgue measure 975: 973: 972: 967: 955: 953: 952: 947: 935: 933: 932: 927: 925: 924: 864: 862: 861: 856: 844: 842: 841: 836: 824: 822: 821: 816: 804: 802: 801: 796: 780: 778: 777: 772: 756: 754: 753: 748: 736: 734: 733: 728: 716: 714: 713: 708: 696: 694: 693: 688: 668: 667: 643: 642: 620: 618: 617: 612: 590: 588: 587: 582: 577: 563: 562: 534: 532: 531: 526: 508: 506: 505: 500: 484: 482: 481: 476: 464: 462: 461: 456: 444: 442: 441: 436: 434: 429: 424: 412: 410: 409: 404: 392: 390: 389: 384: 372: 370: 369: 364: 348: 346: 345: 340: 328: 326: 325: 320: 304: 302: 301: 296: 230:Vitali's theorem 212:constructed the 185: 183: 182: 177: 175: 125: 118: 114: 111: 105: 103: 62: 38: 30: 21: 2205: 2204: 2200: 2199: 2198: 2196: 2195: 2194: 2180: 2179: 2178: 2173: 2169:Spectral theory 2149:Convex analysis 2133: 2090: 2085: 2038: 1938: 1886:in distribution 1831: 1724: 1554:Logarithmically 1493: 1449: 1432:Essential range 1366: 1307: 1302: 1272: 1251: 1246: 1245: 1206: 1202: 1155: 1153: 1150: 1149: 1146: 1142: 1137: 1133: 1128: 1123: 1102: 1082: 1069: 1002:Solovay's model 961: 958: 957: 941: 938: 937: 920: 916: 902: 899: 898: 871: 850: 847: 846: 830: 827: 826: 810: 807: 806: 790: 787: 786: 766: 763: 762: 742: 739: 738: 722: 719: 718: 702: 699: 698: 657: 653: 632: 628: 626: 623: 622: 600: 597: 596: 593:axiom of choice 573: 552: 548: 540: 537: 536: 514: 511: 510: 494: 491: 490: 470: 467: 466: 450: 447: 446: 430: 425: 420: 418: 415: 414: 398: 395: 394: 378: 375: 374: 358: 355: 354: 334: 331: 330: 314: 311: 310: 287: 284: 283: 280: 226: 171: 169: 166: 165: 162:axiom of choice 126: 115: 109: 106: 63: 61: 51: 39: 28: 23: 22: 15: 12: 11: 5: 2203: 2193: 2192: 2190:Measure theory 2175: 2174: 2172: 2171: 2166: 2161: 2156: 2151: 2145: 2143: 2139: 2138: 2135: 2134: 2132: 2131: 2126: 2121: 2116: 2115: 2114: 2104: 2098: 2096: 2087: 2086: 2084: 2083: 2078: 2076:Sard's theorem 2073: 2068: 2063: 2062: 2061: 2059:Lifting theory 2050: 2044: 2040: 2039: 2037: 2036: 2031: 2026: 2021: 2016: 2015: 2014: 2012:Fubini–Tonelli 2004: 1999: 1994: 1993: 1992: 1987: 1982: 1974: 1973: 1972: 1967: 1962: 1954: 1948: 1946: 1940: 1939: 1937: 1936: 1931: 1926: 1921: 1916: 1911: 1906: 1900: 1895: 1894: 1893: 1891:in probability 1888: 1878: 1873: 1868: 1862: 1861: 1860: 1855: 1850: 1839: 1837: 1833: 1832: 1830: 1829: 1824: 1819: 1814: 1809: 1804: 1803: 1802: 1792: 1787: 1786: 1785: 1775: 1770: 1765: 1760: 1755: 1750: 1745: 1740: 1734: 1732: 1726: 1725: 1723: 1722: 1717: 1712: 1707: 1702: 1697: 1692: 1687: 1682: 1677: 1672: 1671: 1670: 1665: 1660: 1650: 1645: 1640: 1635: 1625: 1620: 1615: 1610: 1605: 1600: 1598:Locally finite 1595: 1585: 1580: 1575: 1570: 1565: 1560: 1550: 1545: 1540: 1535: 1530: 1525: 1520: 1515: 1510: 1504: 1502: 1495: 1494: 1492: 1491: 1486: 1481: 1476: 1471: 1470: 1469: 1459: 1454: 1446: 1441: 1440: 1439: 1429: 1424: 1423: 1422: 1412: 1407: 1402: 1401: 1400: 1390: 1385: 1380: 1374: 1372: 1368: 1367: 1365: 1364: 1355: 1354: 1353: 1343: 1338: 1330: 1325: 1315: 1313: 1312:Basic concepts 1309: 1308: 1305:Measure theory 1301: 1300: 1293: 1286: 1278: 1271: 1270: 1252: 1250: 1247: 1244: 1243: 1200: 1173:Am. Math. Mon. 1158: 1140: 1130: 1129: 1127: 1124: 1122: 1119: 1118: 1117: 1111: 1105: 1096: 1090: 1085: 1076: 1068: 1065: 1057:Fourier series 978: 977: 965: 945: 923: 919: 915: 912: 909: 906: 897:The volume of 895: 888: 885: 882: 870: 867: 854: 834: 814: 794: 770: 746: 726: 706: 686: 683: 680: 677: 674: 671: 666: 663: 660: 656: 652: 649: 646: 641: 638: 635: 631: 610: 607: 604: 580: 576: 572: 569: 566: 561: 558: 555: 551: 547: 544: 524: 521: 518: 509:(the orbit of 498: 474: 454: 433: 428: 423: 402: 382: 362: 338: 318: 294: 291: 279: 276: 225: 222: 174: 128: 127: 42: 40: 33: 26: 9: 6: 4: 3: 2: 2202: 2191: 2188: 2187: 2185: 2170: 2167: 2165: 2164:Real analysis 2162: 2160: 2157: 2155: 2152: 2150: 2147: 2146: 2144: 2140: 2130: 2127: 2125: 2122: 2120: 2117: 2113: 2110: 2109: 2108: 2105: 2103: 2100: 2099: 2097: 2094: 2088: 2082: 2079: 2077: 2074: 2072: 2069: 2067: 2064: 2060: 2057: 2056: 2055: 2052: 2051: 2048: 2045: 2043:Other results 2041: 2035: 2032: 2030: 2029:Radon–Nikodym 2027: 2025: 2022: 2020: 2017: 2013: 2010: 2009: 2008: 2005: 2003: 2002:Fatou's lemma 2000: 1998: 1995: 1991: 1988: 1986: 1983: 1981: 1978: 1977: 1975: 1971: 1968: 1966: 1963: 1961: 1958: 1957: 1955: 1953: 1950: 1949: 1947: 1945: 1941: 1935: 1932: 1930: 1927: 1925: 1922: 1920: 1917: 1915: 1912: 1910: 1907: 1905: 1901: 1899: 1896: 1892: 1889: 1887: 1884: 1883: 1882: 1879: 1877: 1874: 1872: 1869: 1867: 1864:Convergence: 1863: 1859: 1856: 1854: 1851: 1849: 1846: 1845: 1844: 1841: 1840: 1838: 1834: 1828: 1825: 1823: 1820: 1818: 1815: 1813: 1810: 1808: 1805: 1801: 1798: 1797: 1796: 1793: 1791: 1788: 1784: 1781: 1780: 1779: 1776: 1774: 1771: 1769: 1766: 1764: 1761: 1759: 1756: 1754: 1751: 1749: 1746: 1744: 1741: 1739: 1736: 1735: 1733: 1731: 1727: 1721: 1718: 1716: 1713: 1711: 1708: 1706: 1703: 1701: 1698: 1696: 1693: 1691: 1688: 1686: 1683: 1681: 1678: 1676: 1673: 1669: 1668:Outer regular 1666: 1664: 1663:Inner regular 1661: 1659: 1658:Borel regular 1656: 1655: 1654: 1651: 1649: 1646: 1644: 1641: 1639: 1636: 1634: 1630: 1626: 1624: 1621: 1619: 1616: 1614: 1611: 1609: 1606: 1604: 1601: 1599: 1596: 1594: 1590: 1586: 1584: 1581: 1579: 1576: 1574: 1571: 1569: 1566: 1564: 1561: 1559: 1555: 1551: 1549: 1546: 1544: 1541: 1539: 1536: 1534: 1531: 1529: 1526: 1524: 1521: 1519: 1516: 1514: 1511: 1509: 1506: 1505: 1503: 1501: 1496: 1490: 1487: 1485: 1482: 1480: 1477: 1475: 1472: 1468: 1465: 1464: 1463: 1460: 1458: 1455: 1453: 1447: 1445: 1442: 1438: 1435: 1434: 1433: 1430: 1428: 1425: 1421: 1418: 1417: 1416: 1413: 1411: 1408: 1406: 1403: 1399: 1396: 1395: 1394: 1391: 1389: 1386: 1384: 1381: 1379: 1376: 1375: 1373: 1369: 1363: 1359: 1356: 1352: 1349: 1348: 1347: 1346:Measure space 1344: 1342: 1339: 1337: 1335: 1331: 1329: 1326: 1324: 1320: 1317: 1316: 1314: 1310: 1306: 1299: 1294: 1292: 1287: 1285: 1280: 1279: 1276: 1267: 1263: 1259: 1254: 1253: 1239: 1235: 1230: 1225: 1221: 1217: 1216: 1211: 1204: 1196: 1192: 1187: 1182: 1178: 1175: 1174: 1144: 1135: 1131: 1115: 1112: 1109: 1108:Outer measure 1106: 1100: 1099:Non-Borel set 1097: 1094: 1091: 1089: 1086: 1080: 1077: 1074: 1071: 1070: 1064: 1062: 1058: 1054: 1050: 1046: 1042: 1038: 1034: 1030: 1026: 1022: 1018: 1014: 1009: 1007: 1003: 999: 995: 991: 986: 984: 943: 921: 913: 910: 907: 896: 893: 889: 886: 883: 880: 879: 878: 876: 866: 852: 832: 812: 792: 784: 768: 760: 744: 724: 704: 681: 678: 675: 672: 669: 664: 661: 658: 654: 647: 644: 639: 636: 633: 629: 608: 605: 602: 594: 591:). Using the 570: 567: 564: 559: 556: 553: 549: 545: 522: 519: 516: 496: 488: 472: 452: 426: 400: 380: 360: 353:multiples of 352: 336: 316: 308: 292: 289: 275: 273: 269: 265: 261: 258:. For higher 257: 252: 250: 246: 242: 238: 233: 231: 221: 219: 215: 214:Solovay model 211: 206: 204: 201:) plus-minus 200: 196: 192: 187: 163: 159: 155: 151: 147: 143: 139: 135: 124: 121: 113: 102: 99: 95: 92: 88: 85: 81: 78: 74: 71: â€“  70: 66: 65:Find sources: 59: 55: 49: 48: 43:This article 41: 37: 32: 31: 19: 18:Nonmeasurable 1944:Main results 1680:Set function 1608:Metric outer 1563:Decomposable 1461: 1420:Cylinder set 1333: 1257: 1249:Bibliography 1219: 1213: 1203: 1176: 1171: 1143: 1134: 1033:order theory 1010: 1004:, in which 987: 983:σ-additivity 979: 872: 281: 253: 236: 234: 227: 207: 188: 137: 131: 116: 107: 97: 90: 83: 76: 64: 52:Please help 47:verification 44: 1904:compact set 1871:of measures 1807:Pushforward 1800:Projections 1790:Logarithmic 1633:Probability 1623:Pre-measure 1405:Borel space 1323:of measures 1222:(1): 1–20. 1041:determinacy 329:by a group 245:probability 134:mathematics 110:August 2009 1876:in measure 1603:Maximising 1573:Equivalent 1467:Vitali set 1186:2201.03735 1179:(2): 175. 1121:References 1114:Vitali set 783:partitions 260:dimensions 256:isometries 199:Borel sets 195:Kolmogorov 80:newspapers 1990:Maharam's 1960:Dominated 1773:Intensity 1768:Hausdorff 1675:Saturated 1593:Invariant 1498:Types of 1457:σ-algebra 1427:𝜆-system 1393:Borel set 1388:Baire set 1238:0179-5376 988:In 1970, 964:∞ 679:∈ 665:π 640:π 606:⊂ 571:∈ 560:π 520:∈ 361:π 282:Consider 208:In 1970, 203:null sets 2184:Category 2007:Fubini's 1997:Egorov's 1965:Monotone 1924:variable 1902:Random: 1853:Strongly 1778:Lebesgue 1763:Harmonic 1753:Gaussian 1738:Counting 1705:Spectral 1700:Singular 1690:s-finite 1685:σ-finite 1568:Discrete 1543:Complete 1500:Measures 1474:Null set 1362:function 1067:See also 1023:and the 445:) while 373:). Here 351:rational 1919:process 1914:measure 1909:element 1848:Bochner 1822:Trivial 1817:Tangent 1795:Product 1653:Regular 1631:)  1618:Perfect 1591:)  1556:)  1548:Content 1538:Complex 1479:Support 1452:-system 1341:Measure 990:Solovay 278:Example 186:exist. 94:scholar 1985:Jordan 1970:Vitali 1929:vector 1858:Weakly 1720:Vector 1695:Signed 1648:Random 1589:Quasi- 1578:Finite 1558:Convex 1518:Banach 1508:Atomic 1336:spaces 1321:  1236:  489:under 487:orbits 307:action 160:, the 154:volume 146:length 96:  89:  82:  75:  67:  1827:Young 1748:Euler 1743:Dirac 1715:Tight 1643:Radon 1613:Outer 1583:Inner 1533:Brown 1528:Borel 1523:Besov 1513:Baire 1181:arXiv 1126:Notes 1035:(see 825:: if 717:) of 191:Borel 140:is a 101:JSTOR 87:books 2091:For 1980:Hahn 1836:Maps 1758:Haar 1629:Sub- 1383:Atom 1371:Sets 1234:ISSN 1059:and 1043:and 1031:and 1029:ring 873:The 757:are 272:ball 266:and 193:and 152:and 150:area 136:, a 73:news 1262:doi 1224:doi 1191:doi 1177:130 956:or 936:is 737:by 309:on 142:set 132:In 56:by 2186:: 1232:. 1220:43 1218:. 1212:. 1189:. 1055:, 1051:, 1015:, 985:. 648::= 251:. 148:, 1627:( 1587:( 1552:( 1450:π 1360:/ 1334:L 1297:e 1290:t 1283:v 1268:. 1264:: 1240:. 1226:: 1197:. 1193:: 1183:: 1157:R 976:. 944:0 922:3 918:] 914:1 911:, 908:0 905:[ 853:X 833:X 813:S 793:X 769:X 745:G 725:X 705:q 685:} 682:X 676:x 673:: 670:x 662:q 659:i 655:e 651:{ 645:X 637:q 634:i 630:e 609:S 603:X 579:} 575:Q 568:q 565:: 557:q 554:i 550:e 546:s 543:{ 523:S 517:s 497:G 473:S 453:S 432:Z 427:/ 422:Q 401:G 381:G 337:G 317:S 293:, 290:S 173:R 123:) 117:( 112:) 108:( 98:· 91:· 84:· 77:· 50:. 20:)

Index

Nonmeasurable

verification
improve this article
adding citations to reliable sources
"Non-measurable set"
news
newspapers
books
scholar
JSTOR
Learn how and when to remove this message
mathematics
set
length
area
volume
Zermelo–Fraenkel set theory
axiom of choice
Borel
Kolmogorov
Borel sets
null sets
Robert M. Solovay
Solovay model
inaccessible cardinal
Vitali's theorem
Riemann integration
probability
countable additivity

Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.

↑