Presque tous
En mathématiques, le terme « presque tous » signifie « tous sauf une quantité négligeable ». Plus précisément, si est un ensemble, « presque tous les éléments de » signifie « tous les éléments de à l'exception de ceux d'un sous-ensemble négligeable de ». La signification de « négligeable » dépend du contexte mathématique : par exemple, cela peut signifier fini, dénombrable ou de mesure nulle[sec 1].
En revanche, " presque aucun " signifie "une quantité négligeable", c'est-à-dire que "presque aucun élément de " signifie "une quantité négligeable d'éléments de ".
Significations dans différents domaines des mathématiques
modifierSignification prévalente
modifierDans plusieurs domaines des mathématiques, « presque tous » est parfois utilisé pour signifier « tous (les éléments d'un ensemble infini), à l'exception d’un nombre fini [1],[2]. » Cette utilisation se produit également en philosophie[3]. De même, « presque tous » peut signifier « tous (les éléments d'un ensemble non dénombrable), à l'exception d’un ensemble dénombrable [sec 2]. »
Exemples :
- presque tous les nombres entiers positifs sont supérieurs à 1 000 000 000 000[4] ;
- presque tous les nombres premiers sont impairs (car 2 est la seule exception)[5] ;
- presque tous les polyèdres sont irréguliers (car il n'y a que neuf exceptions: les cinq solides platoniques et les quatre polyèdres de Kepler – Poinsot) ;
- si P est un polynôme non nul, alors P (x) ≠ 0 pour presque tous les x (sinon tous les x).
Signification dans la théorie de la mesure
modifier![](http://upload.wikimedia.org/wikipedia/commons/thumb/4/49/CantorEscalier.svg/250px-CantorEscalier.svg.png)
Quand on parle des réels, parfois «presque tous» peut signifier «tous les réels à l'exception d'un ensemble de mesure nulle »[6],[7],[sec 3]. De même, si S est un ensemble de réels, "presque tous les nombres de S " peut signifier "tous les nombres de S sauf ceux d'un ensemble de mesure nulle "[8]. La ligne réelle peut être considérée comme un espace euclidien unidimensionnel. Dans le cas plus général d'un espace à n dimensions (où n est un entier positif), ces définitions peuvent être généralisées à "tous les points sauf ceux d'un ensemble de mesure nulle"[sec 4] ou "tous les points de S sauf ceux d'un ensemble de mesure nulle "(cette fois, S est un ensemble de points dans l'espace)[9]. Plus généralement encore, «presque tout» est parfois utilisé dans le sens de « presque partout » dans la théorie de la mesure[10],[11],[sec 5], ou dans le sens étroitement lié de « presque sûrement » en théorie des probabilités[11] [sec 6].
Exemples :
- dans un espace mesuré, comme la droite des réels, les ensembles dénombrables ont une mesure nulle. L'ensemble des nombres rationnels est dénombrable, donc presque tous les réels sont irrationnels[12] ;
- comme l'a prouvé Georg Cantor dans son premier article sur la théorie des ensembles (en), l'ensemble des nombres algébriques est aussi dénombrable, donc presque tous les réels sont transcendants[13],[sec 7] ;
- presque tous les réels sont normaux[14] ;
- l'ensemble de Cantor a aussi une mesure nulle, donc presque tous les réels ne sont pas contenus dans celui-ci, même s'il est indénombrable[6] ;
- la dérivée de la fonction de Cantor est nulle pour presque tous les nombres dans . Ceci découle de l'exemple précédent car la fonction de Cantor est constante localement, et a donc une dérivée nulle en dehors de l'ensemble de Cantor.
Signification en théorie des nombres
modifierEn théorie des nombres, "presque tous les entiers positifs" peut signifier "les entiers positifs dans un ensemble dont la densité naturelle est 1". Autrement dit, si A est un ensemble d'entiers positifs, et si la proportion d'entiers positifs dans A en dessous de n (sur tous les entiers positifs inférieurs à n) tend vers 1 alors que n tend vers l'infini, alors presque tous les entiers positifs sont dans A[15],[16],[sec 8].
Plus généralement, soit S un ensemble infini d'entiers positifs, tels que l'ensemble des nombres positifs pairs ou l'ensemble des nombres premiers, si A est un sous-ensemble de S, et si la proportion d'éléments de S inférieurs à n qui sont dans A (sur tous les éléments de S en dessous de n) tend vers 1 alors que n tend vers l'infini, alors on peut dire que presque tous les éléments de S sont dans A.
Exemples :
- la densité naturelle des ensembles de cofinite d'entiers positifs est 1, donc chacun d'eux contient presque tous les entiers positifs ;
- presque tous les entiers positifs sont composites[sec 8],[17] ;
- presque tous les nombres même positifs peuvent être exprimés comme la somme de deux nombres premiers[4] ;
- presque tous les nombres premiers sont isolés . De plus, pour tout entier positif g, presque tous les nombres premiers ont des intervalles premiers de plus de g fois à leur gauche et à leur droite ; c'est-à-dire qu'il n'y a pas d'autres nombres premiers entre p − g et p + g[18].
Signification en théorie des graphes
modifierEn théorie des graphes, si A est un ensemble de graphes (étiquetés finis), on peut dire qu'il contient presque tous les graphes, si la proportion de graphes avec n sommets qui sont dans A tend vers 1 alors que n tend vers l'infini[19]. Cependant, il est parfois plus facile de travailler avec des probabilités[20] donc la définition est reformulée comme suit. La proportion de graphes avec n sommets qui sont dans A est égale à la probabilité qu'un graphe aléatoire avec n sommets (choisis avec la distribution uniforme) soit dans A, et choisir un graphe de cette manière a le même résultat que de générer un graphe en retournant un coin pour chaque paire de sommets pour décider de les connecter[21]. Par conséquent, de façon équivalente à la définition précédente, l'ensemble A contient presque tous les graphes si la probabilité qu'un graphe généré par le retournement de pièces avec n sommets soit dans A tend vers 1 alors que n tend vers l'infini[20],[22]. Parfois, la dernière définition est modifiée de sorte que le graphe est choisi au hasard d'une autre manière, où tous les graphes avec n sommets n'ont pas la même probabilité[21], et ces définitions modifiées ne sont pas toujours équivalentes au principal.
L'utilisation du terme «presque tout» dans la théorie des graphes n'est pas standard ; le terme « asymptotiquement presque sûrement » est plus couramment utilisé pour ce concept[20].
Exemple:
- presque tous les graphiques sont asymétriques[19] ;
- presque tous les graphiques ont un diamètre 2[23].
Signification en topologie
modifierEn topologie[24] et en particulier en théorie des systèmes dynamiques [25],[26],[27] (y compris des applications en économie)[28], « presque tous » les points d'un espace topologique peuvent signifier « tous les points de l'espace mais ceux dans un maigre ensemble ». Certains utilisent une définition plus limitée où un sous-ensemble ne contient presque tous les points de l'espace que s'il contient un ensemble dense ouvert[26],[29],[30].
Exemple :
- étant donné une variété algébrique irréductible, les propriétés qui sont valables pour presque tous les points de la variété sont exactement les propriétés génériques[sec 9]. Ceci est dû au fait que dans une variété algébrique irréductible équipée de la topologie Zariski, tous les ensembles ouverts non vides sont denses.
Signification en algèbre
modifierEn algèbre abstraite et en logique mathématique, si U est un ultrafiltre sur un ensemble X, "presque tous les éléments de X " signifie parfois "les éléments d'un élément de U "[31],[32],[33],[34]. Pour toute partition de X en deux ensembles disjoints, l'un d'eux contiendra nécessairement presque tous les éléments de X. Il est possible de penser que les éléments d'un filtre sur X contiennent presque tous les éléments de X, même s'il ne s'agit pas d'un ultrafiltre[34].
Voir également
modifierRéférences
modifier- (en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Almost all » (voir la liste des auteurs).
Sources primaires
modifier- Paul-Jean Cahen et Jean-Luc Chabert, Integer-Valued Polynomials, vol. 48, American Mathematical Society, coll. « Mathematical Surveys and Monographs », (ISBN 978-0-8218-0388-2, ISSN 0076-5376), xix
- Paul-Jean Cahen et Jean-Luc Chabert, Non-Noetherian Commutative Ring Theory, vol. 520, Springer, coll. « Mathematics and Its Applications », (1re éd. First published 2000) (ISBN 978-1-4419-4835-9, DOI 10.1007/978-1-4757-3180-4), « Chapter 4: What's New About Integer-Valued Polynomials on a Subset? », p. 85
- Peter Gärdenfors, The Dynamics of Thought, vol. 300, Springer, coll. « Synthese Library », , 190-191 p. (ISBN 978-1-4020-3398-8)
- Richard Courant, Herbert Robbins et Ian Stewart, What is Mathematics? An Elementary Approach to Ideas and Methods, Oxford University Press, , 2nd éd. (ISBN 978-0-19-510519-3, lire en ligne)
- (en) Nitsa Movshovitz-hadar et Atara Shriki, Logic In Wonderland: An Introduction To Logic Through Reading Alice's Adventures In Wonderland - Teacher's Guidebook, World Scientific, , 38 p. (ISBN 978-981-320-864-3, lire en ligne) :
« This can also be expressed in the statement: 'Almost all prime numbers are odd.' »
- Jacob Korevaar, Mathematical Methods: Linear Algebra / Normed Spaces / Distributions / Integration, vol. 1, New York, Academic Press, , 359-360 p. (ISBN 978-1-4832-2813-6)
- Isidor P. Natanson (trad. Leo F. Boron), Theory of Functions of a Real Variable, vol. 1, New York, Frederick Ungar Publishing, , revised éd. (ISBN 978-0-8044-7020-9), p. 90
- Houshang H. Sohrab, Basic Real Analysis, Birkhäuser, , 2e éd. (ISBN 978-1-4939-1841-6, DOI 10.1007/978-1-4939-1841-6), p. 307
- Gilbert Helmberg, Introduction to Spectral Theory in Hilbert Space, vol. 6, Amsterdam, North-Holland Publishing Company, coll. « North-Holland Series in Applied Mathematics and Mechanics », , 1st éd. (ISBN 978-0-7204-2356-3), p. 320
- Eric M. Vestrup, The Theory of Measures and Integration, United States, Wiley-Interscience, coll. « Wiley Series in Probability and Statistics », (ISBN 978-0-471-24977-1), p. 182
- Patrick Billingsley, Probability and Measure, United States, Wiley-Interscience, coll. « Wiley Series in Probability and Statistics », (ISBN 978-0-471-00710-4, lire en ligne [archive du ]), p. 60
- Ivan Niven, Irrational Numbers, vol. 11, Rahway, Mathematical Association of America, coll. « Carus Mathematical Monographs », , 2-5 p. (ISBN 978-0-88385-011-4)
- Alan Baker, A concise introduction to the theory of numbers, Cambridge University Press, (ISBN 978-0-521-24383-4, lire en ligne), 53
- Andrew Granville et Zeev Rudnick, Equidistribution in Number Theory, An Introduction, vol. 237, Springer, coll. « Nato Science Series II », (ISBN 978-1-4020-5404-4), p. 11
- G. H. Hardy, Ramanujan: Twelve Lectures on Subjects Suggested by His Life and Work, Cambridge University Press, (lire en ligne), p. 50
- G. H. Hardy et E. M. Wright, An Introduction to the Theory of Numbers, Oxford University Press, , 4th éd., 8-9 p. (ISBN 978-0-19-853310-8, lire en ligne)
- Selon le théorème des nombres premiers, le nombre de nombres premiers inférieurs ou égaux à n est asymptotiquement égal à n/ln(n). Donc la proportion des nombres premiers vaut approximativement ln(n)/n, qui tend vers 0 quand n tend vers l'infini, donc la proportion des nombres composés inférieur ou égal à n tend vers 1 lorsque n tend vers l'infini.
- (de) Karl Prachar, Primzahlverteilung, vol. 91, Berlin, Springer, coll. « Grundlehren der mathematischen Wissenschaften », , p. 164 Cited in Emil Grosswald, Topics from the Theory of Numbers, Boston, Birkhäuser, , 2nd éd. (ISBN 978-0-8176-3044-7), p. 30
- László Babai, Handbook of Combinatorics, vol. 2, Netherlands, North-Holland Publishing Company, (ISBN 978-0-444-82351-9), « Automorphism Groups, Isomorphism, Reconstruction », p. 1462
- Joel Spencer, The Strange Logic of Random Graphs, vol. 22, Springer, coll. « Algorithms and Combinatorics », , 3-4 p. (ISBN 978-3-540-41654-8)
- Béla Bollobás, Random Graphs, vol. 73, Cambridge University Press, coll. « Cambridge Studies in Advanced Mathematics », , 2nd éd., 34-36 p. (ISBN 978-0-521-79722-1)
- Eric Grädel, Phokion G. Kolaitis, Leonid Libkin, Maarten Marx, Joel Spencer, Moshe Y. Vardi, Yde Venema et Scott We, Finite Model Theory and Its Applications, Springer, coll. « Texts in Theoretical Computer Science (An EATCS Series) », (ISBN 978-3-540-00428-8), p. 298
- Fred Buckley et Frank Harary, Distance in Graphs, Addison-Wesley, (ISBN 978-0-201-09591-3), p. 109
- John C. Oxtoby, Measure and Category, vol. 2, United States, Springer, coll. « Graduate Texts in Mathematics », , 2nd éd., 59,68 (ISBN 978-0-387-90508-2) While Oxtoby does not explicitly define the term there, Babai has borrowed it from Measure and Category in his chapter "Automorphism Groups, Isomorphism, Reconstruction" of Graham, Grötschel and Lovász's Handbook of Combinatorics (vol. 2), and Broer and Takens note in their book Dynamical Systems and Chaos that Measure and Category compares this meaning of "almost all" to the measure theoretic one in the real line (though Oxtoby's book discusses meagre sets in general topological spaces as well).
- Laurent Baratchart, Modelling, Robustness and Sensitivity Reduction in Control Systems, vol. 34, Springer, coll. « NATO ASI Series F », (ISBN 978-3-642-87516-8, DOI 10.1007/978-3-642-87516-8), « Recent and New Results in Rational L2 Approximation », p. 123
- Henk Broer et Floris Takens, Dynamical Systems and Chaos, vol. 172, Springer, coll. « Applied Mathematical Sciences », (ISBN 978-1-4419-6870-8, DOI 10.1007/978-1-4419-6870-8), p. 245
- A. N. Sharkovsky, S. F. Kolyada, A. G. Sivak et V. V. Fedorenko, Dynamics of One-Dimensional Maps, vol. 407, Springer, coll. « Mathematics and Its Applications », (ISBN 978-94-015-8897-3, DOI 10.1007/978-94-015-8897-3), p. 33
- George Xian-Zhi Yuan, KKM Theory and Applications in Nonlinear Analysis, Marcel Dekker, coll. « Pure and Applied Mathematics; A Series of Monographs and Textbooks », (ISBN 978-0-8247-0031-7), p. 21
- Francesca Albertini et Eduardo D. Sontag, Analysis of Controlled Dynamical Systems, vol. 8, Birkhäuser, coll. « Progress in Systems and Control Theory », (ISBN 978-1-4612-3214-8, DOI 10.1007/978-1-4612-3214-8), « Transitivity and Forward Accessibility of Discrete-Time Nonlinear Systems », p. 29
- Angel De la Fuente, Mathematical Models and Methods for Economists, Cambridge University Press, (ISBN 978-0-521-58529-3), p. 217
- Péter Komjáth et Vilmos Totik, Problems and Theorems in Classical Set Theory, United States, Springer, coll. « Problem Books in Mathematics », (ISBN 978-0387-30293-5), p. 75
- Helmut Salzmann, Theo Grundhöfer, Hermann Hähl et Rainer Löwen, The Classical Fields: Structural Features of the Real and Rational Numbers, vol. 112, Cambridge University Press, coll. « Encyclopedia of Mathematics and Its Applications », (ISBN 978-0-521-86516-6, lire en ligne), 155
- Hans Schoutens, The Use of Ultraproducts in Commutative Algebra, vol. 1999, Springer, coll. « Lecture Notes in Mathematics », (ISBN 978-3-642-13367-1, DOI 10.1007/978-3-642-13368-8), p. 8
- Wolfgang Rautenberg, A Concise to Mathematical Logic, Springer, coll. « Universitext », , 3rd éd., 210-212 p. (ISBN 978-1-4419-1221-3, DOI 10.1007/978-1-4419-1221-3)
Sources secondaires
modifier- (en-US) « The Definitive Glossary of Higher Mathematical Jargon — Almost », sur Math Vault, (consulté le )
- Steven Schwartzman, The Words of Mathematics: An Etymological Dictionary of Mathematical Terms Used in English, Mathematical Association of America, coll. « Spectrum Series », (ISBN 978-0-88385-511-9, lire en ligne
), 22
- Christopher Clapham et James Nicholson, The Concise Oxford Dictionary of mathematics, Oxford University Press, coll. « Oxford Paperback References », , 4th éd. (ISBN 978-0-19-923594-0), p. 38
- Robert C. James, Mathematics Dictionary, Chapman & Hall, , 5th éd. (ISBN 978-0-412-99031-1), p. 269
- Vadim I. Bityutskov, Encyclopaedia of Mathematics, vol. 1, Kluwer Academic Publishers, (ISBN 978-94-015-1239-8, DOI 10.1007/978-94-015-1239-8), « Almost-everywhere », p. 153
- Encyclopedic Dictionary of Mathematics, vol. 2, Kingsport, MIT Press, , 2nd éd. (ISBN 978-0-262-09026-1), p. 1267
- « Almost All Real Numbers are Transcendental - ProofWiki », sur proofwiki.org (consulté le )
- (en) Eric W. Weisstein, « {{{titre}}} », sur MathWorld See also Eric W. Weisstein, CRC Concise Encyclopedia of Mathematics, CRC Press, , 1st éd. (ISBN 978-0-8493-9640-3, lire en ligne), p. 41
- Encyclopedic Dictionary of Mathematics, vol. 1, Kingsport, MIT Press, , 2nd éd. (ISBN 978-0-262-09026-1, lire en ligne), p. 67