« Introduction aux mathématiques/Rudiments de logique » : différence entre les versions

Contenu supprimé Contenu ajouté
Ligne 1 019 :
 
==Les infinis==
[J'ai un peu retouché la section, en precisant que y'avait des trucs qui nécessitait un peu de "familiarité". M'en veut pas j'ai parler de truc au plus denombrable. Faudrait des liens bien trouvé pour ces notions compliqué qu'on effleur. Sinon je pense quand meme rajouter le truc sur les reunion au plus denombrable d'ensemble au plus denombrable, on aura le produit cartésien en corollaire. sinon je crois que ca peut etre publier...]
[Parler des ensembles dénombrables, se sensibiliser au fait qu'il y a différents infinis...]
[J'ai inclus les ensembles finis dans les dénombrables, mais je sais que les conventions varient : il faut décider ce qui est le plus adapté… sinon j'ai travaillé de mémoire : relecture recommandée]
[Merci de participer, c'est plus motivant pour moi. ce qui est écrit me semble juste...je viens de le parcourir. Le truc pour \R non dénombrable est astucieux, c'est vrai qu'en général on montre que c'est comme P(\N). Parcontre j'étais plutôt dans l'esprit on n'a besoin de rien savoir pour lire ce cours, j'avais des scrupules tout à l'heure à utiliser la notation 2 pour parler de deux, du coup envoyer l'existence des réels et a fortiori des nombres transcendants ca me parait un peu bourrin... faudra en discuter quant aux objectifs de cette lecon. A l'inverse je verrai bien les résultats qui disent qu'une union dénombrable de truc dénombrable l'est encore et patati et patata...]
 
[Pas de soucis, si tu penses qu'il vaut mieux retirer certains passages, n'hésite pas ! Le sujet est il est vrai un peu subtil, difficile de ne pas rentrer dans les axiomes (du choix, par exemple) ou aux notions plus « tordues » dès qu'on touche à l'infini…]
 
===Généralités===