Esercizio nucleo di equivalenza

Messaggioda gigi1010 » 11/05/2020, 17:12

Salve, ho un problema con questo esercizio e spero che qualcuno possa aiutarmi:

Sia f una funzione così definita:
$ f: P(NN) - \{ emptyset \} -> N $, $f(X) = min X$.

Ora, indicato con $R$ il nucleo di equivalenza di $f$, si descrivano in modo esplicito $ [{0,5}]_R $ ed $ [\{ 2^n | n in NN^**\} ]_R nn P(\{1, 2, 3\}) $

dove con $NN^**$ intendo l'insieme $NN$ privato dello zero.

Non so come procedere, pensavo di considerare tutti gli insiemi il cui minimo è $0$ per la prima classe, mentre per la seconda non ho idee.

Grazie in anticipo.
Ultima modifica di gugo82 il 12/05/2020, 16:26, modificato 1 volta in totale.
Motivazione: Sistemate le formule.
gigi1010
Starting Member
Starting Member
 
Messaggio: 3 di 16
Iscritto il: 05/05/2020, 17:32

Re: Esercizio nucleo di equivalenza

Messaggioda solaàl » 13/05/2020, 13:01

Intanto, cos'è il "nucleo di equivalenza" di \(f : A \to B\)? E' la relazione \(R \subseteq A \times A\) fatta dalle coppie $(a,a')$ tali che \(fa = fa'\). Nel tuo caso, $a,a'$ sono sottoinsiemi non vuoti di \(\mathbb N\) che hanno lo stesso minimo; allora, la classe di equivalenza di \(\{0,5\}\) è l'insieme dei sottoinsiemi non vuoti di \(\mathbb N\) che hanno minimo zero. Questo insieme è fatto da tutti gli insiemi della forma \(\{0\}\cup U\) dove $U$ è un qualsiasi sottoinsieme di \(\mathbb N\).

Per il secondo insieme, è solo meno immediato trovarne il minimo: del resto stai prendendo i sottoinsiemi di \(\{1,2,3\}\) che sono fatti da elementi della forma\(2^n\) per $n\ge 1$, non è difficile.
"In verità le cose che nella vita sono tenute in gran conto si riducono a vanità, o putredine di nessun valore; botoli che si addentano, bambocci litigiosi che ora ridono, poi tosto piangono." (Lotario conte di Segni)
Avatar utente
solaàl
Senior Member
Senior Member
 
Messaggio: 417 di 1672
Iscritto il: 31/10/2019, 01:45


Torna a Algebra, logica, teoria dei numeri e matematica discreta

Chi c’è in linea

Visitano il forum: Nessuno e 1 ospite