Bonjour,
J'aimerais revenir sur un exercice récent:
Poser ,comme proposé, x=v ;y=u conduit à :
Nous observons que les lois T et * sont interchangeables que nous faut-il pour
affirmer l'égalité de celles-ci?
Merci,
Alain
Oui,
Je n'ai pas repris les quantificateurs figurant dans l'exercice initial.
. . .
Alain
P.S je reprends ma guitare!
Bonsoir,
dans l'exercice d'origine il y avait un élément neutre pour chaque loi, ce qui rendait la démonstration facile.
Je pense, sans en être certain, qu'il faut rajouter comme condition que les lois T et * soient surjectives de E2 sur E.
Bonjour,
J'essaie d'écrire un petit morceau pour la guitare en n'utilisant que les notes
de la gamme de do (et les octaves) et en évitant une écriture tonale.
La surjectivité : O une loi : a O x =b ou y O a =b ,a et b donnés ,c'est-à-dire faire l'hypothèse de l'existence d'un antécédent.
Ta remarque sur les éléments neutres ;je m'imaginais qu'une loi dite de composition interne possédait - par définition - un élément neutre!
Alain
Vous devez être membre accéder à ce service...
Pas encore inscrit ?
1 compte par personne, multi-compte interdit !
Ou identifiez-vous :