![](/img/vague-bas-gauche.png) |
#101 - 19-04-2012 16:00:08
- SHTF47
- Imprnnçbl de Prs2Tt
- Enigmes résolues : 39
- Messages : 1629
- Lieu: Autre nom du colin
diagonale de cabtor
C'est ce qui arrive quand on lit en diagonale...
Ouais, c'est nul, et alors ??? Je commence à l'avoir en travers, ce topic !!! ![lol](img/smilies/lol.png)
La musique est une mathématique sonore, la mathématique une musique silencieuse. [Edouard HERRIOT]
#102 - 19-04-2012 18:41:19
- nodgim
- Elite de Prise2Tete
- Enigmes résolues : 0
- Messages : 3801
Diagonnale de Cantor
Oui, bon, hier c'était hier, et aujourd'hui c'est aujourd'hui. Alors pour faire plaisir à Rivas, que j'avais mal lu, et pour énerver Clydevil: J'ai tout de même plus ou moins décrété (plutôt plus que moins) que 0.000...001 était la plus petite unité élémentaire possible. Alors faire la moyenne entre 2 nombres n'est pas possible dans la mesure où on casse en 2 cette plus petite unité. Sinon, si on veut vraiment le faire, par exemple M(..001;..002)=0015 alors on ajoute un chiffre et .0015 se retrouve entre .0014 et ..0016. Du coup, l'opération est indolore pour l'ensemble des nombres qui reste inchangé.
Cela dit, ce modèle contient il tous les nombres réels ? Pourriez vous en trouvez qui n'y soient pas, ou au contraire, y trouver des nombres qu'on ne peut classer dans les réels ? Si bien entendu, vous acceptez d'entrer dans ce modèle...
#103 - 20-04-2012 15:30:12
- rivas
- Elite de Prise2Tete
- Enigmes résolues : 48
- Messages : 1106
- Lieu: Jacou
DDiagonale de Cantor
@nodgim: voici quelque chose à laquelle j'aurais du penser beaucoup plus tôt.
Une branche des mathématiques (ou plutôt une sous-branche) définit de façon rigoureuse "des entiers plus grand que tous les entiers" et autres concepts auxquels tu tiens: elle s'appelle l'analyse non-standard.
Voici un point d'entrée: http://fr.wikipedia.org/wiki/Analyse_non_standard
L'introduction se termine par: "Cela permet de présenter les principaux résultats de l'analyse sous une forme plus intuitive que celle exposée traditionnellement depuis le XIXe siècle." ce qui je pense te conviendra bien vu ta recherche d'approche intuitive.
Mais ATTENTION l'utilisation doit être EXTREMEMENT rigoureuse et toute utilisation de ces concepts en dehors de leur champ d'application entrainera quasiment systématiquement des confusions et des contre-sens.
Voici quelques extraits de la page ci-dessus: "0,000...01 est infiniment petit si le nombre de 0 est un entier infiniment grand. Ce nombre est alors infiniment proche de 0." "Il existe donc un entier x supérieur à tous les nombres entiers standard. Cet entier sera donc non standard, sinon, il serait supérieur à lui-même. "
J'en arrive même à me demander vu la proximité avec certaines de tes phrases si tu ne connais pas déjà cette page...
Bonne lecture et bonne chance...
![smile](img/smilies/smile.png)
PS: Je ne saurais être tenu responsable de la folie que la lecture des pages sur ce sujet pourrait entraîner chez certains lecteurs ![smile](img/smilies/smile.png)
#104 - 20-04-2012 17:59:30
- nodgim
- Elite de Prise2Tete
- Enigmes résolues : 0
- Messages : 3801
diafonale de cantor
Merci Rivas, non je ne connais pas, et oui, ça ressemble beaucoup à mes élucubrations. J'y vais de suite.
#105 - 22-04-2012 09:19:39
- nodgim
- Elite de Prise2Tete
- Enigmes résolues : 0
- Messages : 3801
diagonale de cantot
Certains ont contesté ici quand j'ai écrit que la démo de Cantor marchait aussi avec les entiers. Peut être n'ai je pas été assez précis.
N étant infini, les entiers peuvent être infiniment grands. Non pas infinis, mais infiniment grands. Dans le tableau de Cantor, remplacer les réels par des nombres entiers infiniment grands. Précaution: commencer ces entiers par un chiffre significatif, c'est à dire autre que 0. De plus, le 1er nombre de la liste sera différent de 9 (car le +1 du nombre de Cantor donnerait 0). Pour le reste, la démo se vérifie comme pour les réels.
#106 - 22-04-2012 10:07:59
- Clydevil
- Expert de Prise2Tete
- Enigmes résolues : 29
- Messages : 914
- Lieu: Seahaven island
Diagonale de Cantr
Non :p tu n'as rien compris soit à la démo de cantor soit à ce qu'est un entier.
De toute maniéré si tu trouvais un moyen d'appliquer cette démonstration au bilan tu démontrerais qu'il n'y a pas de bijection des entiers vers les entiers, alors que moi (et pas mal d'autre) on peut t'en donner une: celle qui a tout entier associe lui même.
-> donc soit tu montres que cet exemple de bijection n'en est pas un, soit tu admet que nécessairement dans ta pseudo démonstration quelque chose est fumeux.
Tu confonds beaucoup de concept, Si la je te demande de me donner un entier, je ne peux pas borner ce que tu va me répondre mais tu va me répondre une quantité finie. Et soit la partie droite de ton table n'a pas de diagonale (car certaine lignes finiraient trop tot) soit cette diagonale n'est pas un entier (suite infinie de chiffre), et donc l'un dans l'autre ça ne démontre strictement rien.
#107 - 12-05-2012 11:07:34
- nodgim
- Elite de Prise2Tete
- Enigmes résolues : 0
- Messages : 3801
fiagonale de cantor
Salut Clydevil, Je n'avais pas vu ta réponse, j'ai dû regarder d'autres réponses et donc effacer le "gras" du non lu... Bon, la démarche de Cantor est on ne peut plus triviale, elle ne pose pas problème de compréhension. Pour les entiers: oui ils sont finis. Mais on peut étendre le tableau autant qu'on veut, on trouvera toujours des entiers suffisamment grands pour le remplir. ça ne fait pas beaucoup de différence entre un tableau infini et un tableau fini mais aussi grand qu'on veut.
Disons que je réfute la démo telle qu'elle est présentée. Elle ne me convainc pas en tant que telle, car elle utilise sans précaution le système décimal. J'ai besoin peut être d'autres arguments axiomatiques. Une autre approche des nombres réels, bien plus élémentaire: un nombre réel est il une entité toujours identifiable ? Si oui, alors bijection possible avec les entiers. Si non ? là il est évident qu'on est dans un autre monde.
#108 - 12-05-2012 11:17:29
- Memento
- Professionnel de Prise2Tete
- Enigmes résolues : 30
- Messages : 176
Diaognale de Cantor
Quand tu dis "une entité toujours identifiable", tu veux dire calculable (au sens de Turing) ?
#109 - 12-05-2012 11:51:09
- nodgim
- Elite de Prise2Tete
- Enigmes résolues : 0
- Messages : 3801
Diagonale de Cator
Non, identifiable comme un point sur un segment, par exemple. La plupart des nombres réels ne sont pas calculables.
#110 - 12-05-2012 18:01:33
- ThomasLRG
- Habitué de Prise2Tete
- Enigmes résolues : 41
- Messages : 31
diahonale de cantor
nodgim a écrit:N étant infini, les entiers peuvent être infiniment grands. Non pas infinis, mais infiniment grands. Dans le tableau de Cantor, remplacer les réels par des nombres entiers infiniment grands.
Cela ne marche pas avec un tableau d'entier car le nombre construit par la diagonale comporterait alors une infinité de chiffres et n'existerait pas.
Pour être plus précis, dans la démonstration de Cantor, on construit le fameux nombre à partir de la suite des chiffres a1, a2, a3, etc trouvés sur la diagonale en calculant la somme de la série [latex] \sum_{i>=1} \frac{a_i}{10^i}[/latex] Cette série est toujours convergente lorsque les termes de la suite (an) sont des chiffres compris entre 0 et 9
Avec des entiers, le nombre construit "serait" la somme de la série [latex] \sum_{i>=0} b_i \cdot 10^i[/latex]. Mais cette série ne converge qu'a la seule condition que la suite (bn) soit nulle à partir d'un certain rang. Dans ce cas le nombre construit n'est qu'un bête entier.
A part ça, une petite remarque, "des nombres entiers infiniment grands" cela n'a pas de sens. Certes on peut trouver des nombres entiers arbitrairement grands, c'est à dire toujours plus grand qu'une valeur donnée. Mais l'expression "nombre infiniment grand" n'a pas de sens, puisqu'une fois choisi ce nombre à un nombre fini de chiffres.
Thomas
#111 - 13-05-2012 20:35:16
- rivas
- Elite de Prise2Tete
- Enigmes résolues : 48
- Messages : 1106
- Lieu: Jacou
Diiagonale de Cantor
nodgim a écrit:Si oui, alors bijection possible avec les entiers.
Cette déduction est fausse. C'est le coeur du problème que tu rencontres.
Les nombre réels sont tous identifiables, au moins comme limite de 2 suites adjacentes de rationnels. C'est d'ailleurs une des façons de les construire (cela s'appelles les coupures).
Cependant ils sont isomorphes non pas aux entiers mais à l'ensemble des parties de N. Cela peut "s'intuitiver" à partir de cette construction: pour définir chaque réel, il faut 2 suites de rationnels (chacune pouvant elle être mise en bijection avec N).
#112 - 14-05-2012 18:55:07
- nodgim
- Elite de Prise2Tete
- Enigmes résolues : 0
- Messages : 3801
Diagonale de Canntor
J'ai une vision complètement différente de ce qui se passe dans l'infini petit ou l'infini grand, et ce n'est pas par Cantor que je vais trouver des réponses. Je ferai un jour ou l'autre un petit condensé de ces idées. Mais pour l'instant, il me reste encore bien des problèmes à résoudre....
#113 - 15-05-2012 01:39:26
- ThomasLRG
- Habitué de Prise2Tete
- Enigmes résolues : 41
- Messages : 31
diaginale de cantor
On a tous une intuition propre de l'infini et chacun s'est forgé une opinion de ce qu'il peut bien se passer lorsqu'on fait telle ou telle experience avec ce concept. Chacun fait ce qu'il veut avec ses idées, mais les problèmes commencent lorsqu'on les confrontent à la logique car bon nombres d'intuitions sur l'infini se heurtent à des contradictions (cf le paradoxe de Zénon).
Les mathématiciens ont depuis longtemps réglé ce pb en posant des définitions. Ainsi, cela choque aucun mathématicien d'entendre qu'il y a "autant" de nombres pairs qu'il y a de nombres entiers, ou encore qu'il y a "plus" de nombres réels que de nombres entiers. Cela ne les choque-t'il plus car les mathématiciens sont une espèce qui né avec les même intuitions de l'infini ? Bien évidemment que non, ils ont simplement accepté le fait que les mots n'ont que le sens qu'on leur donne et rien de plus et se sont entendu sur la définition du cardinal d'un ensemble.
Bref, je veux dire par là que j'ai bien l'impression que tu vois les choses par le mauvais bout de la lorgnette Nodgim. Ce n'est pas d'après ses intuitions qu'on cerne un concept : c'est en épuisant sa définition par quantité d'exemples et contre-exemples qu'on se forge une intuition.
A noter que se forger une intuition à partir d'une définition est facile à dire mais difficile à faire, puisqu'on ne peut pas s'empecher d'avoir une idée plus ou moins précise du concept en question (c'est vrai pour l'infini mais pour tout type de concept mathématique). Et pour cela il est difficile de savoir par soi-même si on maitrise ou pas une notion. Il y a au moins une règle simple : si qq chose choque notre intuition ou se heurte à une contradiction, un problème de logique ou reste sans réponse, c'est que que cette notion n'est pas clairement assimilée.
Aucun argument ne pourra te convaincre si tu restes dans tes intuitions, car encore une fois, on ne se base pas sur des intuitions pour construire un raisonnement. Je t'invites à lire des exemples (beaucoup !) argumentés à partir des definitions (définition d'une bijection, de la dénombrabilité, du cardinal d'un ensemble...) et tu te forgeras alors une intuition, non pas du "vrai infini", mais du fait que le cardinal de R est supérieur au cardinal de N (entre autre).
#114 - 15-05-2012 17:40:13
- MthS-MlndN
- Hors d'u-Sage
- Enigmes résolues : 49
- Messages : 12,414E+3
- Lieu: Rouen
siagonale de cantor
Jolie réponse, qui cerne ce autour de quoi on tourne depuis le début.
Podcasts Modern Zeuhl : http://radio-r2r.fr/?p=298
#115 - 15-05-2012 18:02:23
- nodgim
- Elite de Prise2Tete
- Enigmes résolues : 0
- Messages : 3801
#116 - 15-05-2012 18:50:01
- shadock
- Elite de Prise2Tete
- Enigmes résolues : 39
- Messages : 3334
Diagonale de Canttor
Il y a un très beau paradoxe auquel je viens de penser, et qui m'a choqué la première fois que je l'ai lu.
Il y a autant d'entiers naturels que de carrés parfaits.
Shadock
"L'expérience est une lanterne qui n'éclaire que celui qui la porte." L-F. Céline
#117 - 15-05-2012 19:04:28
- Memento
- Professionnel de Prise2Tete
- Enigmes résolues : 30
- Messages : 176
Diagonale de Caantor
Où est le paradoxe ? ![roll](img/smilies/roll.png)
#118 - 15-05-2012 23:22:18
- shadock
- Elite de Prise2Tete
- Enigmes résolues : 39
- Messages : 3334
diagobale de cantor
Le paradoxe est là : Les deux ensembles ont le même nombres d'éléments alors que les carrés parfaits ne sont qu'une partie des entiers naturels ![wink](img/smilies/wink.png)
"L'expérience est une lanterne qui n'éclaire que celui qui la porte." L-F. Céline
#119 - 16-05-2012 09:11:06
- Clydevil
- Expert de Prise2Tete
- Enigmes résolues : 29
- Messages : 914
- Lieu: Seahaven island
Diagnale de Cantor
C'est le principe de l'hôtel avec un nombre infini de chambres, toutes numérotées: Cet hôtel prestigieux est complet, seulement un VIP arrive, que faire? He bien c'est simple on demande à chaque personne dans l'hôtel de passer de la chambre N a la chambre N+1 et ainsi sa libère la chambre numéro 1. Manque de pot une infinité de VIP arrivent ensuite, que faire? He bien aucun probleme, on demande à chaque personne de passer de la chambre N à la chambre 2N et sa libère un nombre infini de chambres, celles de numéro impair.
#120 - 16-05-2012 10:02:38
- SHTF47
- Imprnnçbl de Prs2Tt
- Enigmes résolues : 39
- Messages : 1629
- Lieu: Autre nom du colin
diagonalz de cantor
Puisqu'on crée une bijection de N sur N, qui associe (par exemple) à tout n son carré n², alors il n'y a pas de question à se poser... Le "paradoxe" vient du fait que tu utilises le mot "partie" dans ta remarque. Seulement, il s'agit ici d'un ensemble dont le nombre d'éléments est infini... la notion de partie dont le cardinal est forcément inférieur ou égal au cardinal de l'ensemble de départ perd son sens, justement parce que tu as trouvé une bijection de l'ensemble sur cette partie.
La musique est une mathématique sonore, la mathématique une musique silencieuse. [Edouard HERRIOT]
#121 - 16-05-2012 10:44:45
- MthS-MlndN
- Hors d'u-Sage
- Enigmes résolues : 49
- Messages : 12,414E+3
- Lieu: Rouen
Diagonalee de Cantor
Memento a écrit:Où est le paradoxe ? ![roll](img/smilies/roll.png)
Un paradoxe, d'après l'étymologie (du grec paradoxos, « παράδοξος » : « contraire à l'opinion commune », de para : « contre », et doxa : « opinion »), désigne une idée ou une proposition à première vue surprenante ou choquante, c'est-à-dire allant contre le sens commun.
Voilà ![smile](img/smilies/smile.png)
Podcasts Modern Zeuhl : http://radio-r2r.fr/?p=298
#122 - 16-05-2012 11:51:22
- ThomasLRG
- Habitué de Prise2Tete
- Enigmes résolues : 41
- Messages : 31
Diagonale de Canntor
Clydevil a écrit:Manque de pot une infinité de VIP arrivent ensuite, que faire? He bien aucun probleme, [...]
En fait ça dépend ! Si c'est une infinité dénombrable on peux les caser dans les chambres paires et les anciens résidents dans les chambres impaires. Mais si il arrive une infinité indénombrable de personnes, on ne pourra rien y faire, ils ne rentreront pas tous dans l'hotel !
#123 - 16-05-2012 12:34:46
- shadock
- Elite de Prise2Tete
- Enigmes résolues : 39
- Messages : 3334
Diagonale de Cnator
SHTF47 a écrit:Puisqu'on crée une bijection de N sur N, qui associe (par exemple) à tout n son carré n², alors il n'y a pas de question à se poser... Le "paradoxe" vient du fait que tu utilises le mot "partie" dans ta remarque. Seulement, il s'agit ici d'un ensemble dont le nombre d'éléments est infini... la notion de partie dont le cardinal est forcément inférieur ou égal au cardinal de l'ensemble de départ perd son sens, justement parce que tu as trouvé une bijection de l'ensemble sur cette partie.
Désignons [latex]\mathbb{A}[/latex] l'ensemble des carrés parfaits. Je ne comprends pas trop car si le nombre d'élément de [latex]\mathbb{A}[/latex] dépends de ceux de [latex]\mathbb{N}[/latex] comme [latex]f(n)=n^2[/latex] et [latex]\mathbb{A}\subset \mathbb{N}[/latex] alors là est le paradoxe ? En tout cas moi je trouve que s'en est un.
Shadock
"L'expérience est une lanterne qui n'éclaire que celui qui la porte." L-F. Céline
#124 - 16-05-2012 13:43:48
- MthS-MlndN
- Hors d'u-Sage
- Enigmes résolues : 49
- Messages : 12,414E+3
- Lieu: Rouen
diafonale de cantor
La notion de paradoxe découle de celle de "sens commun".
Ce qui heurte le sens commun, c'est qu'une partie d'un ensemble compte "autant d'éléments" que l'ensemble lui-même. En revanche, le fait que [latex]f[/latex] soit une bijection entre [latex]\mathbb{N}[/latex] et [latex]\mathbb{A}[/latex] implique directement que les deux ont le même cardinal, par définition. Le cardinal n'est pas le nombre d'éléments.
Podcasts Modern Zeuhl : http://radio-r2r.fr/?p=298
#125 - 16-05-2012 16:34:10
- Clydevil
- Expert de Prise2Tete
- Enigmes résolues : 29
- Messages : 914
- Lieu: Seahaven island
Diagonale de Canto
ThomasLRG: En fait ça dépend ! Si c'est une infinité dénombrable on peux les caser dans les chambres paires et les anciens résidents dans les chambres impaires. Mais si il arrive une infinité indénombrable de personnes, on ne pourra rien y faire, ils ne rentreront pas tous dans l'hotel !
Oui , ils seront pas contents lorsque je leur dirais que l'hôtel est vide mais qu'il n'y a pas la place.
Mots clés des moteurs de recherche
|
![](/img/vague-haut-droite.png) |