Êtes-vous un étudiant de l'EPFL à la recherche d'un projet de semestre?
Travaillez avec nous sur des projets en science des données et en visualisation, et déployez votre projet sous forme d'application sur Graph Search.
Concept
Non-measurable set
Résumé
In mathematics, a non-measurable set is a set which cannot be assigned a meaningful "volume". The mathematical existence of such sets is construed to provide information about the notions of length, area and volume in formal set theory. In Zermelo–Fraenkel set theory, the axiom of choice entails that non-measurable subsets of exist.
The notion of a non-measurable set has been a source of great controversy since its introduction. Historically, this led Borel and Kolmogorov 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 Borel sets) plus-minus null sets. 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.
In 1970, Robert M. Solovay constructed the Solovay model, 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 inaccessible cardinal, whose existence and consistency cannot be proved within standard set theory.
The first indication that there might be a problem in defining length for an arbitrary set came from Vitali's theorem. 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.
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 finitely additive. While a finitely additive measure is sufficient for most intuition of area, and is analogous to Riemann integration, it is considered insufficient for probability, because conventional modern treatments of sequences of events or random variables demand countable additivity.
Source officielle
À propos de ce résultat
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.
Proximité ontologique