Bibm@th

Forum de mathématiques - Bibm@th.net

Bienvenue dans les forums du site BibM@th, des forums où on dit Bonjour (Bonsoir), Merci, S'il vous plaît...

Vous n'êtes pas identifié(e).

#1 18-11-2017 22:39:04

Natsu hadder
Membre
Inscription : 18-11-2017
Messages : 3

Injectivité/surjectivité à deux variables

Bonjour , Alors voilà j'ai parcouru d'anciennes discussion (probablement d'il y'a plus de 6ans) dans l'espoir de trouver la mèthode avec laquelle on peut montrer l'injectivité/surjectivité d'une application à deux variables et j'ai trouvé ceci .
                 http://www.bibmath.net/forums/viewtopic.php?id=4823
J'ai compris qu'il fallait utiliser l'absurde et trouver à la fin une contradiction qui nous ménera à l'injection , mais je comprends toujours pas pourquoi on a pris exactement p'-p>1 alors qu'on pourrait prendre p'-p<1 ou bien p'-P<0 ou une autre proposition (ou plusieurs à la fois pour montrer que dans tous les cas c'est faux). Merci d'avance pour vos réponses . :)

Dernière modification par Natsu hadder (18-11-2017 22:42:14)

Hors ligne

#2 19-11-2017 12:16:19

Nathan.h
Invité

Re : Injectivité/surjectivité à deux variables

Il a pris p'-p>1 car il a posé au départ de sa démonstration par l'absurde que p'>p.
NB:car si l'application n'est pas injective et f(p,q)=f(p',q') cela implique que p soit différent de p' ou/et q est différent de q' et puisque p-p'=1/q' - 1/q, on a donc nécessairement, p différent de p'. Or les entiers relatifs sont ordonnées, on peut donc écrire cette inégalité

   Ce qui revient à écrire : p'-p>0, or p' et p sont des entiers relatifs, donc p'-p est un entier naturel (car p'>p). Or le seul entier naturel strictement supérieur à 0 est 1, on peut donc écrire p'-p>=1 (l'inégalité stricte dans la démo donné me semble un peu imprudente voir exagérée)

#3 19-11-2017 22:43:57

Natsu hadder
Membre
Inscription : 18-11-2017
Messages : 3

Re : Injectivité/surjectivité à deux variables

Ah , d'accord , je comprend mieux maintenant . Mais ne devrait il pas étudier deux cas ? si on revient à dire qu'ils sont différents alors ce sera soit p<p' soit p'<p , et on demontrera par une contradiction que c'est faux .

Hors ligne

#4 19-11-2017 23:53:33

Nathan.h
Membre
Inscription : 19-11-2017
Messages : 3

Re : Injectivité/surjectivité à deux variables

Re-bonsoir,
ça ne sert à rien de considérer ces deux cas, car ils reviennent aux mêmes, par contre les seuls cas que l'on pourrait effectivement considérer est soit p différent de p' (ce qui implique que l'un est supérieur à l'autre), ET/OU, q est différent de q'.
Or si on a q=q', du fait de l'équation : p-p' = 1/q'- -1/q, ce qui est équivalent à p=p', on a donc nécessairement p différent de p' ET q différent de q' (car dans tous les autres cas f est nécessairement injective)

Hors ligne

#5 20-11-2017 09:29:33

Yassine
Membre
Inscription : 09-04-2013
Messages : 1 090

Re : Injectivité/surjectivité à deux variables

Bonjour,

Natsu hadder a écrit :

Ah , d'accord , je comprend mieux maintenant . Mais ne devrait il pas étudier deux cas ? si on revient à dire qu'ils sont différents alors ce sera soit p<p' soit p'<p , et on demontrera par une contradiction que c'est faux .

En fait, l'argument développé par Fred est important à comprendre. Il dit :

Fred a écrit :

Quitte à permuter le rôle joué par (p,q) et (p',q'), on peut supposer que p<p'.

Comme on ne suppose rien de particulier sur (p,q) et (p',q'), la démonstration qui serait déroulée pour le cas p'<p est strictement la même que celle pour le cas p<p', à l'inversion des 'prime' près. Donc plutôt que de redire deux fois la même chose, on invoque cet argument de symétrie des variables.

Par exemple, si on te demande de démontrer une propriété sur deux entiers quelconques, tu commences par dire soit $x$ et $y$ deux entiers quelconques. Quitte à renommer les variables, on peut suppose $x \le y$.
Par contre, tu n'aurais plus le droit de le faire si on "spécialise" une des variable. Si on demande de vérifier une propriété pour un entier premier est un entier quelconque, on ne peux pas dire : soit $p$ premier et $n$ entier, quitte à bla bla, on peut supposer $p \le n$. Ici, il n'y a plus de symétrie dans les rôles joués par les deux variables et on aurait alors démontré la propriété que dans le cas où l'entier quelconque est supérieur au nombre premier.


L'ennui dans ce monde c'est que les idiots sont sûrs d'eux et les gens sensés pleins de doutes. B. Russel

Hors ligne

#6 20-11-2017 13:44:32

Natsu hadder
Membre
Inscription : 18-11-2017
Messages : 3

Re : Injectivité/surjectivité à deux variables

Aaah d'accord . Merci énormément à vous deux d'avoir éclairci cette nuance de doute en moi . Sur ce , bonne journée (année) :)

Hors ligne

Réponse rapide

Veuillez composer votre message et l'envoyer
Nom (obligatoire)

E-mail (obligatoire)

Message (obligatoire)

Programme anti-spam : Afin de lutter contre le spam, nous vous demandons de bien vouloir répondre à la question suivante. Après inscription sur le site, vous n'aurez plus à répondre à ces questions.

Quel est le résultat de l'opération suivante (donner le résultat en chiffres)?
vingt moins vingt
Système anti-bot

Faites glisser le curseur de gauche à droite pour activer le bouton de confirmation.

Attention : Vous devez activer Javascript dans votre navigateur pour utiliser le système anti-bot.

Pied de page des forums