Discussioni su Algebra astratta, Logica Matematica, Teoria dei Numeri, Matematica Discreta, Teoria dei Codici, Algebra degli insiemi finiti, Crittografia.
15/08/2023, 10:09
Nell'insieme Z degli interi, la relazione di uguaglianza è simmetrica?
Io dico di sì, guardando la definizione di relazione simmetrica:
per qualsiasi coppia di elementi (a,b) scelta nell'insieme Z : aRb ==> bRa
Se scelgo a=b allora l'implicazione è vera : V ==> V
Se a =/= b allora l'implicazione è ancora vera , in quanto
F ==> F è Vera
E' corretto il ragionamento ?
Cioè io considero tutte le possibili coppie di elementi dell'insieme Z, non sono quelle che soddisfano la relazione.
Grazie
15/08/2023, 10:33
In tutti gli insiemi, la relazione di uguaglianza è simmetrica, non ha niente a che fare con gli interi.
15/08/2023, 20:13
megas_archon ha scritto:In tutti gli insiemi, la relazione di uguaglianza è simmetrica, non ha niente a che fare con gli interi.
Ok, ma il mio ragionamento è corretto?
cioè faccio il test su tutte le possibili coppie di elementi dell'insieme, non solo su quelle che soddisfano la relazione ( come fanno i libri di testo ). Es l'insieme dei residenti in Italia ( relazione: abitare nella stessa città) prendono in considerazione sempre due abitanti della stessa città per dimostrare la simmetria. E gli altri ?
19/08/2023, 19:42
olanda2000 ha scritto:Ok, ma il mio ragionamento è corretto?
cioè faccio il test su tutte le possibili coppie di elementi dell'insieme, non solo su quelle che soddisfano la relazione ( come fanno i libri di testo ). Es l'insieme dei residenti in Italia ( relazione: abitare nella stessa città) prendono in considerazione sempre due abitanti della stessa città per dimostrare la simmetria. E gli altri ?
No! Il tuo ragionamento è sbagliato! Se \(\sim \) è la relazione "abitare nella stessa città" per verificare che è simmetrica devi verificare soltanto: "se \(a \sim b \) allora \(b \sim a \)" e basta!
Quindi è sufficiente dimostrare che se \( \text{Alberto abita nella stessa città di Beatrice} = a \sim b \) è vero allora anche \( \text{Beatrice abita nella stessa città di Alberto} = b \sim a \) è vero! Se prendi due abitanti, \(a,b\) e \(a\) non abita nella stessa città di \(b\) allora \(a\) non è in relazione con \(b\) e non devi verificare nulla! Che poi questo per simmetria implica che pure \(b\) non è in relazione con \(a\) è vero sì, ma è una conseguenza della simmetria della relazione! Infatti se avessi per assurdo che esistono \(a,b\) tale che \( a \not\sim b\) ma \(b \sim a \), per simmetria avresti \( a \sim b \) contraddicendo l'ipotesi.
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.