15/04/2018, 22:21
16/04/2018, 08:19
16/04/2018, 17:38
16/04/2018, 21:06
16/04/2018, 22:07
luca69 ha scritto:E' l'esistenza "combinata" di unità e inversi "da un lato" che comporta l'esistenza di unità e inversi "dall'altro lato", e questi coincidenti con quelli. Magari però ho frainteso il tuo dubbio...
17/04/2018, 09:59
17/04/2018, 10:47
19/04/2018, 08:47
luca69 ha scritto:Se:
i) $ \EE e $ tale che $ AAx $ risulta $ ex=x $ (unità sinistra)
ii) $ AAx, EEy $ tale che $ yx=e $ (inversi sinistri)
allora:
$ xy= $ [uso i)] $ x(ey)= $ [associatività] $ xey= $ [uso ii)] $ x(yx)y= $ [associatività] $ (xy)(xy) $; sia $ z $ tale che $ z(xy)=e $ [un tale $ z $ esiste perché $ xy $ sta nell'insieme (chiusura) e per ii)]; allora, moltiplicando a sinistra per $ z $ e usando ancora l'associatitivà, $ z(xy)=(z(xy))(xy) $, ovvero $ e=e(xy)= $ [uso ancora i)] $ e=xy $, per cui $ y $ è anche inverso destro. Con ciò, inoltre (evito di scrivere le motivazioni tra [.]), $ xe=x(yx)=(xy)x=ex=x $, per cui $ e $ è anche unità destra.
E' l'esistenza "combinata" di unità e inversi "da un lato" che comporta l'esistenza di unità e inversi "dall'altro lato", e questi coincidenti con quelli. Magari però ho frainteso il tuo dubbio...
Skuola.net News è una testata giornalistica iscritta al Registro degli Operatori della Comunicazione.
Registrazione: n° 20792 del 23/12/2010.
©2000—
Skuola Network s.r.l. Tutti i diritti riservati. — P.I. 10404470014.
Powered by phpBB © phpBB Group - Privacy policy - Cookie privacy
phpBB Mobile / SEO by Artodia.