Bijection entre ensembles
Bonsoir à tous, je n'arrive pas à comprendre une démonstration portant sur la bijection.
Énoncé. S'il existe une bijection de {1,...,m} dans {1,...,n} alors m = n
Pour établir la proposition à l'ordre n+1, dit que f(m)<n+1, cela veut-il dire que f-1(n+1) n'appartient pas à l'ensemble {1,2,...,m} ?
Et je ne comprends pas aussi pourquoi on suppose ce cas là . J'aimerais être éclairé à ce sujet ...
Merci pour vos différentes réponses.
Énoncé. S'il existe une bijection de {1,...,m} dans {1,...,n} alors m = n
Pour établir la proposition à l'ordre n+1, dit que f(m)<n+1, cela veut-il dire que f-1(n+1) n'appartient pas à l'ensemble {1,2,...,m} ?
Et je ne comprends pas aussi pourquoi on suppose ce cas là . J'aimerais être éclairé à ce sujet ...
Merci pour vos différentes réponses.
Réponses
-
Le premier cas était en réalité $f(m) = n+1$, c'est une coquille. Ainsi, le deuxième cas à étudier c'est quand $f(m)\neq n+1$, ce qui est équivalent à dire $f(m)<n+1$, car $f(m)\leq n+1$.
Maintenant, si $f(m)<n+1$, alors $f^{-1}(n+1)$ (qui est $\leq m$) est $\neq m$ et est donc $<m$ ( il y a une autre coquille : il est écrit $f^{-1}(n+1)\in [ | 1, m+1 | ]$ mais c'est $[ | 1, m | ]$) -
Merci pour votre réponse, finalement , il y a assez de coquilles dans la démonstration je me suis posé des questions concernant la partie de la composition, je me suis aperçu qu'on ne pouvait pas la réaliser avec les indications données plus haut dans la preuve.
Je refais la démonstration tout à l'heure, merci à vous.
Connectez-vous ou Inscrivez-vous pour répondre.
Bonjour!
Catégories
- 163.2K Toutes les catégories
- 9 Collège/Lycée
- 21.9K Algèbre
- 37.1K Analyse
- 6.2K Arithmétique
- 53 Catégories et structures
- 1K Combinatoire et Graphes
- 11 Sciences des données
- 5K Concours et Examens
- 11 CultureMath
- 47 Enseignement à distance
- 2.9K Fondements et Logique
- 10.3K Géométrie
- 63 Géométrie différentielle
- 1.1K Histoire des Mathématiques
- 68 Informatique théorique
- 3.8K LaTeX
- 39K Les-mathématiques
- 3.5K Livres, articles, revues, (...)
- 2.7K Logiciels pour les mathématiques
- 24 Mathématiques et finance
- 313 Mathématiques et Physique
- 4.9K Mathématiques et Société
- 3.3K Pédagogie, enseignement, orientation
- 10K Probabilités, théorie de la mesure
- 773 Shtam
- 4.2K Statistiques
- 3.7K Topologie
- 1.4K Vie du Forum et de ses membres