Question d'épistémologie trop difficile pour moi. En général, les maths (hors de la physique) fournissent des modèles de la réalité, et la le choix des critères pour avoir un bon modèle est toute une question. Je ne dis donc pas que c'est facile, je dis juste qu'il faut être prudent.

Salut OneForm,

Tu dis :

Peux-tu m'en donner un, s'il te plaît ?

Tu auras bien du mal. La distribution uniforme sur les entiers naturels n'existe pas.

Ça vient du fait qu'il y a une infinité de nombres finis.

Moi, je peux aisément te donner un exemple d'un nombre entier au hasard (uniforme) entre 0 et 1000. Tiens : 638.

À ton tour de donner suite à ton "si" et de me donner un exemple d'un entier naturel choisi au hasard uniforme.

Denis

_________________
Les meilleures sorties de route sont celles qui font le moins de tonneaux.

Je pensais à la définition classique de probabilité, c.-à-d. le rapport entre le nombre de cas favorables sur le nombre de cas possibles. Mais c'est vrai que si on modernise un peu la chose, il faudrait plutôt parler en termes de loi uniforme. Cela dit : une variable uniforme discrète, par définition, est à valeurs dans un ensemble fini, c.-à-d. qu'elle n'est pas définie pour un ensemble infini tel que les entiers. C'est différent de dire explicitement qu'il n'existe pas de loi uniforme sur les entiers, ce qui serait à justifier et m'intéresserait

En fait, on peut définir une loi uniforme sur les entiers (mais en ajoutant une hypothèse modulo qui règle le problème de l'infinité des entiers).

Salut OneForm,

Tu dis :

J'avais dit : « La distribution uniforme sur les entiers naturels n'existe pas ».

Je vais essayer d'être clair dans ma "preuve de non-existence".

La distribution d'une variable aléatoire (à valeurs dans R) est entièrement caractérisée par la donnée de sa fonction de répartition F(x) = P(X ≤ x), définie pour tout x ∈ R.

Cette fonction F(x) doit satisfaire les 3 conditions suivantes :

1) F(x) est non-décroissante.
2) lim (quand x → -∞) F(x) = 0 et lim (quand x → +∞) F(x) = 1.
3) À tout x ∈ R, F(x) est continue à droite.

En guise d'exemple, considérons une v.a. X de loi uniforme discrète entre 0 et n (où n est un entier ≥ 0). C'est la loi UD(0,n), cas particulier de la loi UD(n₁,n₂).

La fonction de répartition de cette v.a. est une fonction "en escalier" qui dépend de n :

F_n(x) =

0 si x < 0,
(k+1)/(n+1) si k ≤ x < k+1, pour k = 0, 1, ... , n-1,
1 si x ≥ n.

Si la loi UD(0,∞) existait, sa fonction de répartition devrait être la limite (quand n → ∞) de F_n(x). J'admets que c'est là le point le plus faible de ma démonstration. Si nécessaire, on pourra essayer d'y promener nos loupes mentales.

Or, pour tout x ∈ R, F(x) = lim (quand n → ∞) F_n(x) = 0.

Donc lim (quand x → ∞) F(x) = 0 (plutôt que 1).

Ça viole la seconde partie de la propriété # 2 (déjà citée) que doit nécessairement posséder toute fonction de répartition.

Puisqu'elle n'admet pas de fonction de répartition, la loi UD(0,∞) n'existe pas et parler d'un entier naturel uniformément choisi au hasard n'a pas de sens.


Je vais faire comme toi et te répondre : « ce qui serait à justifier et m'intéresserait ».

Denis

_________________
Les meilleures sorties de route sont celles qui font le moins de tonneaux.

Chouette discussion (après tout, je suis matheux). Je n'ai rien à ajouter, je suis aussi d'accord sur ton point le plus faible. Je pense qu'on peut le formuler de la façon suivante :

1. La limite des Fn existe-t-elle ?
2. Si oui, est-elle une fonction de répartition ?
3. Si oui, définissons la fonction de répartition de UD(0,∞) comme étant cette limite. (Yeeha !)
   Si non :
4. Supposons qu'il existe G, fonction de répartition de UD(0,∞). G est-elle nécessairement la limite des Fn ?
5. Si oui, alors (par l'absurde) on a montré qu'il n'existe pas de tel G, car à ce stade-ci, on sait que la limite des Fn n'est pas une fct de répartition.
   Si non, alors on peut juste dire que G ne peut pas être la limite des Fn, mais on ignore si G peut exister ou pas.

Pour montrer que G n'existe pas, il faut donc démontrer 4. Mmm...

Edit : Après avoir dormi (j'étais KO hier soir en écrivant), 4 n'a pas de sens puisqu'on ne peut même pas écrire, explicitement, l'hypothèse que G est la fonction de réparition de UD(0,∞), puisque UD(0,∞) n'est pas défini. En 3, on aurait pu définir UD(0,∞) (ça aurait été correct), mais à partir de 4, ça n'a plus de sens.

L'argument n'est donc pas valable à mon avis.


Je ne connais pas ce sujet, mis à part qu'il existe. En fait, je me souviens que la question de la probabilité nulle de tirer un nombre entier dans un intervalle a été posée à un de mes cours, la réponse était que la loi uniforme sur lN était définie en considérant non pas les naturels eux-mêmes, mais les naturels modulo un entier p. La v.a. est à valeurs dans lN, mais on définit la loi uniforme en prenant ces valeurs mod p. C'est donc "comme si" la v.a. était à valeurs dans un ensemble fini. Mais je n'en sais pas plus, c'était une curiosité.

En cherchant sur le web, j'ai trouvé ceci :
http://archive.numdam.org/ARCHIVE/CM/CM ... _158_0.pdf

Je ne sais pas si je fais bien de ré-intervenir après ces deux échanges mathématiques ; je me risque néanmoins (au moins pour une question).



Est-ce à dire que la notion de probabilité n'est justifié qu'en référence à un ensemble fini, et non à un ensemble infini même dénombrable ?

(Oui, Denis tu as raison, Google a encore frappé. )

_________________
Le sommeil de la raison engendre des monstres. Francisco de Goya.

Salut Cartaphilus,

Tu dis :

Non.

C'est l'uniformité qui cause problème, quand le domaine est dénombrable.

Si les résultats possibles ne sont pas équiprobables, tout va bien.

Par exemple, si tu lances un sou jusqu'à ce que tu obtiennes "face", le nombre X de fois que tu devras le lancer peut être 1, 2, 3, 4, ... , à l'infini.

Mais ces résultats ne sont pas équiprobables. p(1) = 1/2, p(2) = 1/4, p(3) = 1/8, etc.

Aussi, il n'y a pas de grosses difficultés à traiter la distribution uniforme dans le cas non dénombrable (continu). Par exemple, un point réel choisi au hasard, uniformément, dans un intervalle (ou dans un rectangle). Mais alors il faut remplacer les raisonnements en "sommes de probabilités" par des raisonnements en "intégrales de densité".

Tu dis aussi :

Tu as bien fait.

Je vais essayer de te rendre la politesse, éventuellement, sur un sujet non-mathématique.

Denis

_________________
Les meilleures sorties de route sont celles qui font le moins de tonneaux.

Salut OneForm,

Tu dis :

Content que tu sois content. On a probablement plus de chances de s'entendre (penser pareil) sur ces thèmes que sur les autres. Ça nous fournira peut-être une brêche, ou une tête-de-pont, qui nous permettra de mieux nous entendre sur les divers autres thèmes où ça va moins bien.


Oui. C'est la fonction F(x) = 0, pour tout x.


Non. Quand x → ∞, F(x) = 0 converge vers 0 plutôt que vers 1.


La réponse pour (2) ayant été "non", je saute automatiquement à la ligne suivante.


Oui et non. Plutôt oui, mais en soulignant en rouge ton "supposons que".

On peut approcher la "pseudo-loi" UD(0,∞) autrement que comme cas limite d'une loi UD(0,n).

Par exemple, la loi géométrique (où on compte le nombre X d'échecs avant le premier succès), en prenant une probabilité de succès tendant vers 0. À la limite, on obtient p(x) = 0 pour x = 0, 1, 2, 3, ... et F(x) = 0 partout.

Bref, la limite d'une suite de distributions n'est pas nécessairement une distribution.


Ça se tient. Une preuve par l'absurde vaut bien une preuve directe. Elle permet de barrer ton "supposons que" plutôt que simplement le souligner en rouge.


Ton "Édit" est une surprise. J'ai écrit tout ce qui précède avant de l'avoir lu. J'espère que je n'ai rien écrit d'inutile.


Merci. J'ai imprimé l'article pour le lire à tête reposée mais je ne l'ai pas encore fait. Je n'ai pas d'objections à ce qu'on étudie les propriétés d'une pseudo-distribution et qu'on y trouve des éléments permettant d'en sortir.

Nempêche que la loi UD(0,∞), naturellement conçue comme limite le la loi UD(0,zillion), n'existe pas plus que le log de zéro.

Denis

_________________
Les meilleures sorties de route sont celles qui font le moins de tonneaux.

Ça dépend si on est intuitionniste ou pas ! Ok je sors...

La preuve par l'absurde serait applicable si 4 est vrai. Mais pour ça, il faut que le "supposons que" ait un sens, or ce n'est pas le cas (cf. mon Edit). Je ne vois donc pas de preuve de l'inexistence de la loi uniforme sur lN.


L'article commence avec la définition d'une distribution uniforme sur une séquence d'entiers (dont lN en est un exemple). Y a un corollaire amusant à la fin de la page 159.

Salut OneForm,

J'ai enfin pris quelques minutes pour lire ton court article.

Je l'ai trouvé très intéressant, mais je ne pense pas qu'il soit pertinent dans notre débat sur l'existence (ou pas) de la loi de probabilité UD(0,∞). Le contexte est plus "théorie des nombres" que "théorie des probabilités".

Bien sûr, il y a une terminologie commune (distribution, uniforme, etc.), mais le contexte est radicalement différent.

Quitte à métaphoriser outrageusement, je dirais que c'est un peu comme fournir un article traitant des étoiles dans un débat portant sur les étoiles de mer. Ou l'inverse.

Grosso modo.

Denis

_________________
Les meilleures sorties de route sont celles qui font le moins de tonneaux.