Itérés d'un élément
Bonjour à tous,
j'ai lu dans une correction d'un exercice un point qui me laisse perplexe.
Le contexte : Un ensemble E quelconque, muni d'une loi de composition interne, associative et a un élément appartenant à cet ensemble.
Ce qui me perturbe : les itérés de a sont bien définis car la lci est associative.
Je ne comprends pas pourquoi on a besoin de l'associativité de la lci pour que les puissances de a existent ? Puisque les puissances de a commutent, et ce quelque soit la lci (rectifiez-moi si je me trompe).
Quelqu'un pourrait m'éclaircir ce point svp ?
Merci d'avance pour votre réponse !
j'ai lu dans une correction d'un exercice un point qui me laisse perplexe.
Le contexte : Un ensemble E quelconque, muni d'une loi de composition interne, associative et a un élément appartenant à cet ensemble.
Ce qui me perturbe : les itérés de a sont bien définis car la lci est associative.
Je ne comprends pas pourquoi on a besoin de l'associativité de la lci pour que les puissances de a existent ? Puisque les puissances de a commutent, et ce quelque soit la lci (rectifiez-moi si je me trompe).
Quelqu'un pourrait m'éclaircir ce point svp ?
Merci d'avance pour votre réponse !
Réponses
-
Bonjour,
Prends une loi de composition interne non associative, par exemple dans $\R$, la loi $a.b=a-b$. Alors $a^n$ n'a pas de signification, son résultat dépend de l'ordre dans lequel on compose les éléments. -
On peut remarquer que les problèmes apparaisse à partir de $a^3$. S'agit-il de $(a*a)*a$ ou de $a*(a*a)$ ?
-
Merci pour vos réponses!
@Poirot : c'est justement ce point que je ne comprends pas. Dans le premier cas :
a*(a*a)= a*(a²)
a*(a*a)=a^3
Dans le second cas : (a*a)*a = a²*a
donc (a*a)*a = a^3
Je sais que mon raisonnement est faux mais je n'arrive pas à comprendre pourquoi?
P.s : vous pourriez me dire comment on faire pour coder en latex ici svp ? (: -
Bah le problème c'est que ça ne veut rien dire $a^3$ quand ta loi n'est pas associative. C'est ce que j'essaye de te dire. Rien ne te garantit que $(a*a)*a=a*(a*a)$ et si ce n'est pas le cas, lequel des deux souhaites-tu appeler $a^3$ ? Il n'y a pas de bonne réponse.
Pour le $\LaTeX$ il te suffit de taper tes formules entre dollars.
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
- 65 Géométrie différentielle
- 1.1K Histoire des Mathématiques
- 69 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
- 314 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