Forum de mathématiques - Bibm@th.net
Vous n'êtes pas identifié(e).
- Contributions : Récentes | Sans réponse
Pages : 1
#1 Re : Café mathématique » Curiosité à propos de la limite d'une suite d'ensembles » 31-05-2016 23:33:02
Super! Merci Yassine, j'ai appris des choses très intéressantes!
#2 Re : Café mathématique » Curiosité à propos de la limite d'une suite d'ensembles » 31-05-2016 19:01:50
L'événement aléatoire correspond à prendre au hasard une fonction [tex]f:\{1,2\} \to \{1,2\}[/tex] parmi l'ensemble de ces fonctions (qu'on va noter [tex]\{1,2\}^{\{1,2\}}[/tex].) Dans ce cas-ci [tex]\Omega = \{\omega_f\}_{f \in \{1,2\}^{\{1,2\}}}[/tex] et un événement [tex]\omega_g \in \Omega[/tex] est l'événement qui représente l'action de choisir au hasard la fonction [tex]g[/tex].
Donc l'ensemble [tex]\Omega[/tex] contient les événenements «piger une fonction parmi les fonctions [tex]f:\{1,2\} \to \{1,2\}[/tex]» suivantes (représentées par une paire [tex](y_1, y_2)[/tex] où [tex]f(i) = y_i[/tex]):
1. [tex]f_1 = (1, 1)[/tex]
2. [tex]f_2 = (1, 2)[/tex]
3. [tex]f_3 = (2, 1)[/tex]
4. [tex]f_4 = (2, 2)[/tex]
La variable aléatoire [tex]X_i:\Omega \to \mathbb{N}[/tex] est définie par l'événement [tex]\omega_{f_j}[/tex] tel que [tex]X_i(\omega_{f_j}) = f_j(i)[/tex]. Aussi nous avions dans l'algorithme comme contrainte de ne pas choisir plus d'une fois la même valeur [tex]y[/tex] pour un [tex]x[/tex] donné (injectivité). La propriété [tex]\forall n, \forall i < n, \forall \omega \in \Omega, \ X_n(\omega) \neq X_i(\omega)[/tex] assure que les [tex]\omega_{f_j}[/tex] retenus respecteront cette contrainte.
Les fonctions [tex]f_j[/tex] injectives ici sont [tex]f_2[/tex] et [tex]f_3[/tex]. Ainsi on obtient la fonction [tex]\pi:\Omega \times \{1,2\} \to \{1,2\}[/tex] définie telle que [tex]\pi(\omega_{f_j}, n) = X_n(\omega_{f_j}) = f_j(n)[/tex], où [tex]f_j \in \{f_2 = (1, 2), f_3 = (2, 1)\}[/tex].
Je vais m'arrêter ici pour l'instant. Ce que j'ai écrit a-t-il du sens ?
#3 Re : Café mathématique » Curiosité à propos de la limite d'une suite d'ensembles » 31-05-2016 15:46:06
Ok, je crois avoir compris. Je vais tenter moi-même de donner l'exemple avec l'ensemble [tex]\{1, 2\}[/tex] et on me corrige si je me trompe!
#4 Re : Café mathématique » Curiosité à propos de la limite d'une suite d'ensembles » 31-05-2016 15:27:14
J'essaie de décortiquer ta réponse, mais j'éprouve quelques difficultés et je n'arrive pas à recoller les morceaux avec l'algorithme que j'ai décrit. Je sais ce qu'est l'ensemble [tex]\Omega[/tex] en général, mais dans le contexte de [tex]\pi[/tex], je ne suis pas certain de ce qu'il représente: quels sont les événements qu'il contient ? J'ai aussi beaucoup de difficultés à voir où est l'aléatoire dans la définition [tex]\pi:\Omega \times \mathbb{N} \to \mathbb{N}, \pi(\omega, n) = X_n(\omega)[/tex] et aussi à comprendre comment cette définition a rapport concrètement avec l'algorithme décrit. Je crois comprendre que la condition imposée sur la famille de [tex]X_i[/tex] assure de ne pas tirer deux fois le même entier pour une même fonction, mais je n'en suis pas sûr. Que représente, dans le contexte de la fonction [tex]\pi[/tex], l'entier associé à un élément de [tex]\Omega[/tex] par la variable aléatoire [tex]X_i[/tex] ?
Peut-être qu'un exemple avec un petit ensemble, disons [tex]\{1,2\}[/tex], à la place de [tex]\mathbb{N}[/tex] pourrait m'éclairer ?
#5 Re : Café mathématique » Curiosité à propos de la limite d'une suite d'ensembles » 30-05-2016 17:51:35
Bonjour Yassine,
Merci pour ces commentaires riches !
En fait, après y avoir bien réfléchi, deux points ressortent:
1) Par rapport à ton point 3, oui c'est un peu ce que j'avais fait à l'origine, introduire une fonction [tex]\pi:\mathbb{N} \to \mathbb{N}[/tex] bijective et je voyais que la limite était préservée (mais je réalise maintenant que si la fonction est surjective, c'est une condition suffisante). Ensuite j'avais pensé à la fonction aléatoire que j'ai essayé de décrire et j'arrivais à un constat bizarre.
2) La question est en fait de savoir, est-ce que la fonction [tex]\pi[/tex] que j'ai décrite est surjective? Comme elle est aléatoire, cela donne un drôle de résultat: on ne peut décider si la fonction est surjective ou non-surjective en un nombre fini d'étapes.
Je pense que l'essentiel de mon interrogation ce résume à cette question: est-ce que la fonction [tex]\pi[/tex] est surjective ?
Je réalise que je n'ai peut-être pas le vocabulaire suffisant pour parler de nombre aléatoire: je n'ai que des notions élémentaires de probabilité de l'école primaire pour seuls bagages dans ce domaine. Je dois avouer que la définition de variable aléatoire que tu m'as référée a pris un certain temps avant d'avoir un peu de sens et je ne crois pas que j'en saisi toutes les subtilités et particularités. Un petit cours de probabilités ne me ferait pas de mal!
J'aime l'idée d'utiliser de manière plus générale l'existence d'une injection pour passer de [tex]x_n[/tex] à [tex]x_{n+1}[/tex], au lieu de l'inclusion. Le domaine et l'image de l'injection n'ont pas besoin d'être identiques. L'image (au sens figuré, pas mathématique) que cela m'évoque est celle d'une suite qui «change de vêtement» à chaque terme, mais qui reste toujours la même en réalité. (Cette remarque n'est pas vraiment d'ordre mathématique et n'a peut-être de sens que dans ma tête...)
Par rapport à Normand Wilberger, j'ai vu une ou deux de ses vidéos (je me rappelle de la notion de «spread» il me semble, qui correspond à un «quadrant»). Son point de vue sur l'infini est intéressant, même si je ne crois pas que le miens soit aussi radical! Je ne crois pas qu'il admettrait l'existence de la fonction [tex]\pi[/tex] que j'ai décrite...
#6 Café mathématique » Curiosité à propos de la limite d'une suite d'ensembles » 26-05-2016 23:41:20
- nicolasb
- Réponses : 10
Bonjour,
Je suis nouveau ici. Je voulais partager un petit problème sur lequel je suis tombé aujourd'hui et qui me laisse un peu perplexe. J'ai essayé de donner un exposé le plus court possible, désolé si c'est un peu long !
Donc, voilà. Soit un ensemble dénombrable (fini ou infini) [tex]S[/tex] et une suite [tex]X = (x_1, x_2, x_3, ...)[/tex] d'ensembles finis croissants. Pour tout [tex]x_n \in X[/tex], [tex]x_n \subset x_{n+1}[/tex] et [tex]x_n \subset S[/tex]. J'ai voulu formaliser la notion d'une limite qui s'approche de [tex]S[/tex] lorsque [tex]n[/tex] tend vers l'infini. Voici donc la définition qui m'a semblé la plus naturelle:
L'ensemble [tex]S[/tex] est la limite de [tex]x_n[/tex] lorsque [tex]n[/tex] tend vers l'infini si et seulement si pour tout sous-ensemble fini [tex]\epsilon \subset S[/tex], il existe un entier [tex]c[/tex] tel que pour tout entier [tex]n > c[/tex], [tex]\epsilon \subset x_n[/tex].
J'ai fait exprès de spécifier la finitude de [tex]\epsilon[/tex] et des [tex]x_n[/tex], et la dénombrabilité de [tex]S[/tex], car j'étais inquiet que cela intraîne des problèmes avec les infinis non-dénombrables.
Je vais maintenant donner un exemple trivial pour montrer le tout en action. Soit [tex]\mathbb{N} = \{1, 2, 3, 4, ...\}[/tex], l'ensemble des nombres entiers supérieurs à [tex]0[/tex], et la suite [tex]X = (x_1, x_2, ...)[/tex] définie par récurrence telle que [tex]x_1 = \{1\}[/tex] et [tex]x_{n+1}=x_n \cup \{n+1\}[/tex].
Essayons de démontrer que l'ensemble [tex]\mathbb{N}[/tex] est la limite de [tex]x_n[/tex] lorsque [tex]n[/tex] tend vers l'infini:
Soit un ensemble fini [tex]\epsilon \subset \mathbb{N}[/tex]. Puisque [tex]\epsilon[/tex] est fini et ses éléments sont des entiers, alors il possède un élément maximum [tex]\operatorname{max}(\epsilon)[/tex]. Soit un terme [tex]x_n[/tex] de la suite [tex]X[/tex]. L'ensemble [tex]x_n[/tex] contient tous les entiers plus petits ou égaux à [tex]n[/tex]. Si [tex]n[/tex] est plus grand ou égal à [tex]\operatorname{max}(\epsilon)[/tex] alors tous les éléments de [tex]\epsilon[/tex] sont contenus dans [tex]x_n[/tex], puisque tous les entiers plus petits ou égaux à [tex]n[/tex] sont contenus dans [tex]x_n[/tex]. Sinon, alors la différence [tex]\operatorname{max}(\epsilon) - \operatorname{max}(x_{n+1})[/tex] est plus petite que [tex]\operatorname{max}(\epsilon) - \operatorname{max}(x_n)[/tex] ce qui implique qu'il existe un entier [tex]k[/tex] tel que [tex]\operatorname{max}(\epsilon) - \operatorname{max}(x_{n+k}) = 0[/tex] et donc que tous les éléments de [tex]\epsilon[/tex] sont compris dans [tex]x_{n+k}[/tex]. Alors la limite de [tex]x_n[/tex] lorsque [tex]n[/tex] tends vers l'inifini est [tex]\mathbb{N}[/tex]. Ouf... fin de la démonstration.
Voici maintenant la question qui me trouble. Modifions un petit peu la définition de la suite [tex]X[/tex] en introduisant une bijection [tex]\pi:\mathbb{N}\to\mathbb{N}[/tex]. Pour savoir la valeur de [tex]\pi(x)[/tex] pour un entier [tex]x[/tex] donné, on procède de la sorte avec un algorithme qui construit en quelque sorte la définition de [tex]\pi[/tex] au fur et à mesure:
on initialise la variable CHOISIS avec un ensemble vide
on initialise la variable MIN à 1
définition de la fonction [tex]\pi[/tex]:
Si [tex]\pi(x)[/tex] a déjà été défini, alors on retourne la valeur définie
Sinon:
pour [tex]i[/tex] allant de MIN à [tex]x[/tex]:
on choisit de manière aléatoire un nombre entier [tex]y[/tex] qui n'est pas dans l'ensemble CHOISIS
on ajoute [tex]y[/tex] à l'ensemble CHOISIS
on définit [tex]\pi(i) = y[/tex]
MIN devient [tex]x + 1[/tex]
on retourne [tex]\pi(x)[/tex]
Maintenant, posons la suite [tex]X = (x_1, x_2, ...)[/tex] définie telle que [tex]x_1 = \{\pi(1)\}[/tex] et [tex]x_{n+1} = x_n \cup \{\pi(n+1)\}[/tex]. Peut-on encore dire que la limite de [tex]x_n[/tex] lorsque [tex]n[/tex] tend vers l'infini est [tex]\mathbb{N}[/tex] ? Puisque les valeur de [tex]\pi(x)[/tex] sont choisies de manière totalement aléatoire, il n'y a pas de façon de garantir que tous les éléments d'un sous-ensemble fini [tex]\epsilon \subset \mathbb{N}[/tex] seront contenus dans un [tex]x_n[/tex] alors on ne peut pas conclure que la limite de [tex]x_n[/tex] lorsque [tex]n[/tex] tend vers l'infini est [tex]\mathbb{N}[/tex].
Je trouve ce résultat plutôt contre-intuitif. Y a-t-il une erreur dans le raisonnement, ou un défaut à ma définition de limite ? Est-ce que cela signifie que l'on ne peut pas dénombrer les entiers avec une fonction aléatoire ? Qu'en pensez-vous ?
Pages : 1