relazione di equivalennza e ordine...

ciao...

avrei bisogno che controllassi se ho fatto giusto:

mi dice di provare che la rel è di eq in Q:F(X#G(X) F(3)=G(3) E F(1)=G(1)

R:F(X)#F(X) F(3)=F(3) E F(1)=F(1) VERA

S:F(X)#G(X) F(3)=G(3) E F(1)=G(1)

G(X)#F(X) G(3)=F(3) E G(1)=F(1) VERA

T:

F(X)#G(X) F(3)=G(3) E F(1)=G(1)

G(X)#H(X) G(3)=H(3) E G(1)=H(1)

=>F(X)#H(X) F(3)=H(3) E F(1)=H(1) vera quindi è di eq...

Poi un altro es dice che devo vedere se la rel è di ordine o di eq...

sempre su Q

F(X)#G(X) F(3)=G(1) E F(1)=G(3)

R:F(X)#F(X) F(3)=F(1) E F(1)=GF3) VERA

A:F(X)#G(X) F(3)=G(1) E F(1)=G(3)

G(X)#F(X) G(3)=F(1) E G(1)=F(3)

t:F(X)#G(X) F(3)=G(1) E F(1)=G(3)

G(X)#H(X) G(3)=H(1) E G(1)=H(3)

F(X)#H(X) F(3)=H(1) E F(1)=H(3) QUINDI è DI ORDINE!

IN Q:F(X)#G(X) F(3)>=G(3)

R:F(X)#F(X) F(3)>=F(3)

A:

F(X)#G(X) F(3)>=G(3)

G(X)#F(X) G(3)>=F(3)

T:

F(X)#G(X) F(3)>=G(3)

G(X)#H(X) G(3)>=H(3)

F(X)#H(X) F(3)>=H(3) VERA QUINDI è DI ORDINE...

ho fatto giusto?

nel primo esercizio veniva richiesto anche di caratterizzare gli el che costituiscono la classe di equivalenza [0] e la classe [x^2-4x+3] potresti spiegarmi qusta parte? grazie