-
06/07/2017 - 22h28
Re : Z/nZ classe d'équivalence
 Envoyé par mehdi_128 Mais je comprends pas à quoi ça sert ? Ca existe des applications tel que x = x' implique f(x) différent de x' ? Non, ici tu as une application barre, qui va de Z dans Z/nZ et qui a x associe sa classe d'équivalence.
Maintenant, tu as une application f: ZxZ -> Z, et tu te pose la question, est ce qu'on peut "faire passer f au quotient", c'est à dire est ce qu'il existe une application fbarre : Z/nZ x Z/nZ -> Z/nZ telle que quelque soit x et y dans Z,
barre( f(x,y) )= fbarre( barre(x), barre(y) )
Ici f(x,y) = x+y et on se demande si il existe une addition qui étend l'addition usuelle aux classes d'équivalences
-----
-
06/07/2017 - 23h18
Re : Z/nZ classe d'équivalence
 Envoyé par slivoc Non, l' image d' un élément par une application est un unique élément de l' ensemble d' arrivée. Plus précisemment : https://fr.wikipedia.org/wiki/Applic....C3.A9finition
Sauf que dans Z/nZ, les éléments sont des classes d' équivalences et pas des nombres. Et à priori la somme ( ou le produit )entre deux classes n' est pas défini. Pour la définir, on voudrait bien que la loi + dans Z induise une loi + dans Z/nZ. Et c' est ce qui se passe, c' est à dire que si x et x' sont dans la même classe ( c' est à dire que x barre = x' barre) et y et y' sont dans la même classe, alors on a x+y qui est dans la même classe que x'+y'. Autrement dit, définir la loi + dans Z/nZ, comme étant xbarre + ybarre = (x+y) barre a du sens ( ne dépend pas des représentants choisis dans les classes de x barre et y barre).
Mais en fait, ce n' est qu' un cas particulier. Quand tu te donnes un groupe G et H un sous groupe distingué dans G, alors la loi + ( je la note + par défaut) de G induit une loi + sur G/H ( l' ensemble quotient) qui fait que G/H possède une structure de groupe !
Si tu veux plus de précisions ( et ça t' aidera sans doute à mieux comprendre Z/nZ ), va voir un cours sur les groupes quotient, je pense qu' il y en a pas mal sur internet, ou même dans les bouquins ! Mais pourquoi le x = x' et y=y' ? Pourquoi ne pas pas simplement faire x barre + y barre et vérifier que ça vaut (x+y) barre ?
-
06/07/2017 - 23h26
Re : Z/nZ classe d'équivalence
Très très mal expliqué l'application sur Wiki on y comprends rien jamais vu les applications comme ça en cours de prépa.
"La définition usuelle en mathématiques d'une fonction est donc ensembliste et présuppose essentiellement celle de couple et de produit cartésien. Une application ou fonction est un triplet f = (E, F, G) avec une relation binaire G ⊂ E × F, et qui vérifie que pour tout x de E il existe un unique y de F tel que le couple (x, y) appartienne à G. Exactement dans ce cas, une application fG donnée comme relation binaire G ⊂ E × F est dite bien définie. L'ordre des ensembles du triplet est arbitraire et on trouve d'ailleurs des variations suivant les ouvrages. La propriété caractéristique peut se décomposer en deux clauses16 :
Existence. ∀ x ∈ E ∃ y ∈ F (x, y) ∈ G ;
Unicité. ∀ x ∈ E ∀ y ∈ F ∀ y’ ∈ F ( [ (x, y) ∈ G et (x, y’) ∈ G] ⇒ y = y’ )."
-
06/07/2017 - 23h45 -
06/07/2017 - 23h51
Re : Z/nZ classe d'équivalence
Ps: Il y a une différence entre fonction et application, l' un est défini sur tout l' ensemble de départ, l' autre, sur une sous-partie. Il me semble ( mais je ne suis pas du tout sure) que l' application est définie sur tout l' ensemble de départ, alors que la fonction est définie sur un sous-ensemble.
-
07/07/2017 - 00h08
Re : Z/nZ classe d'équivalence
 Envoyé par slivoc On ne peut pas simplement faire  parce que ce ne sont pas des entiers, ce sont des classes d' équivalences d' entiers. Par définition,  .Les éléments de  sont des classes d' équivalences, et pour y faire des addition (donc entre des ensembles qui sont les classes d' équivalences), on peut le faire en choisissant n' importe quel élément des classes  , justement parce que la classe du résultat ne dépend pas des choix des représentants de  .
Nous non plus, à la fac, on n' a jamais vu cette défintion. Où as-tu du mal à comprendre ? Elle dit simplement que la donnée d' une fonction  , c' est la donnée pour tout x de E (l' antécédent ), d' un unique y ( l' image de de x par g) élément de F. Fonction triplet ça m'a embrouillé.
Comment on montre que faire la somme des classes d'équivalence : x barre + y barre = (x+y) barre ne dépend pas des valeurs prises pour x et y ?
Dernière modification par mehdi_128 ; 07/07/2017 à 00h10.
-
07/07/2017 - 08h23
Re : Z/nZ classe d'équivalence
Le triplet f=(E,F,G) dit juste que quand tu te donnes une fonction f qui va de E dans F, tu te donnes E l' ensemble de départ, F celui d' arrivée, et G un sous-ensemble de ExF qui te dit comment f envoie chaque x de E sur un unique élément y de F.
Deux éléments sont dans la même classe d' équivalence dans c' est à dire que ssi .
Pour montrer qu' il y a indépendance, tu peux te donner ( j' ai pris d' autres lettres que x et y pour les éléments des classes pour éviter que tu t' embrouilles, mais ça correspond aux x,x',y,y' des messages précédents). Puis tu montres que est dans la même classe d' équivalence que , c' est à dire que tu montres que  - (a'+b') \in n \mathbb{Z} )
Mais dire que a,a' sont dans la même classe c' est exactement dire que , de même pour b et b'. Et tu sais aussi que la loi + est commutative dans donc et est un sous-groupe de donc on a bien . Donc si tu définis comme étant avec , tu as bien une loi sur qui est correctement définie et qui en plus fait que possède une structure de groupe.
-
07/07/2017 - 20h24
Re : Z/nZ classe d'équivalence
 Envoyé par slivoc Le triplet f=(E,F,G) dit juste que quand tu te donnes une fonction f qui va de E dans F, tu te donnes E l' ensemble de départ, F celui d' arrivée, et G un sous-ensemble de ExF qui te dit comment f envoie chaque x de E sur un unique élément y de F.
Deux éléments  sont dans la même classe d' équivalence dans  c' est à dire que  ssi  .
Pour montrer qu' il y a indépendance, tu peux te donner  ( j' ai pris d' autres lettres que x et y pour les éléments des classes pour éviter que tu t' embrouilles, mais ça correspond aux x,x',y,y' des messages précédents). Puis tu montres que  est dans la même classe d' équivalence que  , c' est à dire que tu montres que  - (a'+b') \in n \mathbb{Z} )
Mais dire que a,a' sont dans la même classe c' est exactement dire que  , de même pour b et b'. Et tu sais aussi que la loi + est commutative dans  donc -(a'+b')=(a-a')+(b-b') ) et  est un sous-groupe de  donc on a bien +(b-b') \in n \mathbb{Z} ) . Donc si tu définis  comme étant  avec  , tu as bien une loi sur  qui est correctement définie et qui en plus fait que  possède une structure de groupe. Merci j'ai tout compris la démonstration !
J'arrive juste pas à comprendre en quoi prendre 2 éléments qui sont égaux en terme de classe et obtenir la même image fait que il y a indépendance.
-
07/07/2017 - 22h19
Re : Z/nZ classe d'équivalence
Parce que si tu prends l' un ou l' autre pour pour faire des additions entre classes, le résultat est le même. Le résultat de la somme dans Z/nZ ne dépend pas du choix des représentants ( le résultat est donc indépendant du choix des représentants )
-
08/07/2017 - 12h31
Re : Z/nZ classe d'équivalence
-
08/07/2017 - 13h33
Re : Z/nZ classe d'équivalence
Pas tout à fait !
Tu confonds dans une même notation f deux choses différentes. Soit f a pour ensemble de départ Z/(3Z), comme il semble au début de ton calcul, et alors le f(4,5) que tu écris à la fin n'a pas de sens, soit f s'applique à des entiers, et le premier terme de chaque ligne n'a pas de sens.
A ton niveau, ne pas contrôler ce qu'on écrit est rédhibitoire.
Cordialement.
-
08/07/2017 - 14h16
Re : Z/nZ classe d'équivalence
 Envoyé par gg0 Pas tout à fait !
Tu confonds dans une même notation f deux choses différentes. Soit f a pour ensemble de départ Z/(3Z), comme il semble au début de ton calcul, et alors le f(4,5) que tu écris à la fin n'a pas de sens, soit f s'applique à des entiers, et le premier terme de chaque ligne n'a pas de sens.
A ton niveau, ne pas contrôler ce qu'on écrit est rédhibitoire.
Cordialement. En effet j'applique f à une classe d'équivalence puis à un entier
-
09/07/2017 - 14h33
Re : Z/nZ classe d'équivalence
 Envoyé par gg0 Pas tout à fait !
Tu confonds dans une même notation f deux choses différentes. Soit f a pour ensemble de départ Z/(3Z), comme il semble au début de ton calcul, et alors le f(4,5) que tu écris à la fin n'a pas de sens, soit f s'applique à des entiers, et le premier terme de chaque ligne n'a pas de sens.
A ton niveau, ne pas contrôler ce qu'on écrit est rédhibitoire.
Cordialement. Bonjour,
Question pour ma culture personnelle :
L'usage du même symbole "+" pour deux opérations différentes (sur les entiers ou sur Z/nZ) est plus mieux admise que l'usage de la même lettre "f" pour des fonctions ayant des opérandes sur des ensembles différents?
Cordialement.
Moi ignare et moi pas comprendre langage avec «hasard», «réalité» et «existe». -
09/07/2017 - 14h50
Re : Z/nZ classe d'équivalence
Bonjour,  Envoyé par stefjm Question pour ma culture personnelle :
L'usage du même symbole "+" pour deux opérations différentes (sur les entiers ou sur Z/nZ) est plus mieux admise que l'usage de la même lettre "f" pour des fonctions ayant des opérandes sur des ensembles différents? Lorsque l'une des opérations étend naturellement l'autre (comme l'addition sur IN et l'addition sur Z) pas de problème, pour des opérations présentant d'autres rapports, c'est "généralement admis" bien que moins "propre", écrire 13 + 25 = 0 sous prétexte que l'on calcule modulo 2 me gène un peu ; dans le cas général des classes d'équivalence il serait de bon ton d'écrire, pour définir la somme des classes (sous réserve qu'elle soit définie) , mais pour se simplifier la vie on abandonne (après la définition) la barre pour les opérations et même parfois pour les classes (mais il faut que le contexte soit clair).
Pour les fonctions, c'est la même chose, d'autant plus qu'une opération n'est qu'une fonction présentée de façon différente.
Dernière modification par Médiat ; 09/07/2017 à 14h55.
Je suis Charlie.
J'affirme péremptoirement que toute affirmation péremptoire est fausse -
09/07/2017 - 15h16
Re : Z/nZ classe d'équivalence
Merci Médiat.
J'ai parfois un peu de mal avec les identifications admises ou pas entre classe et nombre.
Moi ignare et moi pas comprendre langage avec «hasard», «réalité» et «existe». -
09/07/2017 - 15h31
Re : Z/nZ classe d'équivalence
C'est souvent une question de contexte : dans un document sur les classes d'équivalence, il serait idiot de noter identiquement un élément et sa classe (cf. la définition que j'ai donnée, si on ne distingue pas élément et classe, opération sur les élément et sur les classes, la définition devient x + y = x + y (ce qui ne définit pas grand chose)).
Par contre dans un document sur Z/15Z, abandonner les éléments diacritiques n'est pas toxique et allège les notations et la lecture.
Dernière modification par Médiat ; 09/07/2017 à 15h32.
Je suis Charlie.
J'affirme péremptoirement que toute affirmation péremptoire est fausse -
09/07/2017 - 16h40
Re : Z/nZ classe d'équivalence
Ici, la fonction f avait justement été choisie pour différencier les deux additions. Si on l'utilise dans les deux cas, autant écrire + dans les deux cas.
Mehdi_128 ne fait pas trop d'effort de rigueur pour arriver à comprendre lui-même. Il attend que les autres le fassent pour lui. D'où des questions en enfilade vu qu'il essaie seulement de comprendre des explications sur des sujets auxquels il n'a pas réfléchi.
Cordialement.
-
10/07/2017 - 08h38
Re : Z/nZ classe d'équivalence
 Envoyé par gg0 Ici, la fonction f avait justement été choisie pour différencier les deux additions. Si on l'utilise dans les deux cas, autant écrire + dans les deux cas. Effectivement, J'avais raté le pourquoi de ce "f"!   Envoyé par gg0 Mehdi_128 ne fait pas trop d'effort de rigueur pour arriver à comprendre lui-même. Il attend que les autres le fassent pour lui. D'où des questions en enfilade vu qu'il essaie seulement de comprendre des explications sur des sujets auxquels il n'a pas réfléchi. En 2014, Mehdi faisait de l'électronique de puissance et je l'ai pas mal aidé. Il lui manquait toujours pas mal de bases.
Aujourd'hui, il fait des maths.
Je ne sais pas s'il prépare des concours où le but n'est pas de comprendre mais de répondre la solution que l'examinateur a en tête...
Peut-être nous dira-t-il?
Moi ignare et moi pas comprendre langage avec «hasard», «réalité» et «existe». -
10/07/2017 - 12h49
Re : Z/nZ classe d'équivalence
 Envoyé par stefjm Effectivement, J'avais raté le pourquoi de ce "f"!
En 2014, Mehdi faisait de l'électronique de puissance et je l'ai pas mal aidé. Il lui manquait toujours pas mal de bases.
Aujourd'hui, il fait des maths.
Je ne sais pas s'il prépare des concours où le but n'est pas de comprendre mais de répondre la solution que l'examinateur a en tête...
Peut-être nous dira-t-il? Bah oui je suis issu d'une école d'ingé du coup on fait pas trop de maths et oui c'est pour préparer le CAPES. J'ai fais une prépa MPSI/MP mais ça date de 7 ans
En maths je suis à l'aise dans certains chapitres et y a des trucs que j'ai pas eu le temps de comprendre en prépa surtout en algèbre, topologie
-
10/07/2017 - 12h57
Re : Z/nZ classe d'équivalence
J'espère que c'est un Capes d'électronique, car pour le capes de maths, il faut absolument comprendre de quoi on parle, pas se contenter d'avoir "su écrire les calculs". Sinon, comme un certain nombre de candidats chaque année, on vient pleurer sur les forums "j'ai tout fait, et j'ai eu 1,5 sur 20 à l'oral" !!! Pour le réussir actuellement, pas besoin d'un niveau très élevé (L2 ou prépa suffit), mais il faut bien comprendre ce niveau, pas se contenter des explications des autres : Pour pouvoir expliquer, il faut bien comprendre, être capable de voir de différentes façons ce qui se passe.
-
10/07/2017 - 13h21
Re : Z/nZ classe d'équivalence
Non CAPES de maths, je préfère les maths à l'électronique. Puis en prépa j'avais un niveau correct en maths, j'ai du avoir 12/20 aux 2 épreuves de maths au concours E3A.
Justement je pose plein de questions car j'ai envie de comprendre plein de choses que j'avais pas compris durant mes études car pas le tems ça allait trop vite.
-
10/07/2017 - 13h40
Re : Z/nZ classe d'équivalence
Alors reprends à la base chaque notion que tu rencontres, en revenant aux définitions et pensant par toi-même. Évite de poser immédiatement la question aux autres, prends le temps de comprendre toi-même.
Le jury du capes ne te fera aucun cadeau, s'il sent que tu récites (oui, on peut obtenir de très bonnes notes en récitant sans rien comprendre), il va te titiller pour voir ce que tu comprends. Et si tu ne sais pas pourquoi ti écris ou dis cela, c'est automatiquement une note très très basse. Et même si tu passes par chance au concours, tes élèves et ceux qui te jugeront dans l'année de stage te "planteront".
Tu poses sur ce forum trop de questions quasi évidentes quand on a étudié vraiment les définitions, ça veut dire que tu ne fais pas ce travail de compréhension personnelle; tu cours à la catastrophe.
Cordialement.
-
10/07/2017 - 16h40
Re : Z/nZ classe d'équivalence
 Envoyé par gg0 J'espère que c'est un Capes d'électronique, car pour le capes de maths, il faut absolument comprendre de quoi on parle, pas se contenter d'avoir "su écrire les calculs". Ce sera pareil pour un Capes d'électronique! Exactement le même soucis.
@ Mehdi : Tu poses des questions désarmantes pour tes interlocuteur, en maths, comme en électronique avant.
Je ne serais pas aussi catégorique que gg0, mais il faut vraiment que tu fasses les choses par toi même. Tu peux te tromper tant que tu veux, à condition de t'en rendre compte.
Cordialement.
Moi ignare et moi pas comprendre langage avec «hasard», «réalité» et «existe». | | |