da garnak.olegovitc » 25/05/2015, 16:39
@darakum,
naturalmente devi applicare la def., attento che il primo "assioma" è conseguenza del terzo ponendo nella def. \(y=0\), ergo quelli veri sono il secondo e il tezo, io ho trovato un esempio per il quale il terzo assioma non è verificato ma tu puoi procedere diversamente, piuttosto che trovare un esempio puoi provare direttamente e vedere cosa esce fuori (alle volte è più lungo...); devi scrivere qualcosa tu però, qui siamo agli antipasti dell'algebra lineare, nel tuo testo o altrove (come hai detto) hai già visto molti esercizi del tipo, e aldilà dell'impostazione dei dati il procedimento è il medesimo in tutti!!
\(2592=2^59^2\)
\( 3435=3^3+4^4+3^3+5^5\)
\( [ (R|R^{-1}) \; \cap \; Di\;] \cup [(R^{-1}|R) \; \cap \; Di\;] \cup [\;\sim R \;\dagger \emptyset\;] \cup [\;\emptyset \; \dagger \sim R \;] = \emptyset \)