Conviene eseguire questo studio di funzione in modo non convenzionale, magari aiutandosi con un software del tipo Mathematica. Intersezione con gli assi
La funzione è manifestamente definita su tutto l'asse reale. Riesce
Osserviamo che per x->+oo la funzione non ammette limite, a causa della presenza di sin²x. (altro…)
Dimostriamo alcune proposizioni che traducono le proprietà (riflessiva, simmetrica, etc.) in proprietà del grafico di una relazione. Proposizione 1 Condizione necessaria e sufficiente affinché una relazione ρ:S->P(S) sia riflessiva, è che la diagonale Δ del prodotto cartesiano S×S sia un sottoinsieme del grafico G(ρ). Cioè
Dimostrazione
Proposizione 2 Condizione necessaria e sufficiente affinché una relazione ρ:S->P(S) sia simmetrica, è che il suo grafico sia simmetrico rispetto alla diagonale del prodotto cartesiano S×S. Cioè
Proposizione 3 Condizione necessaria e sufficiente affinché una relazione ρ:S->P(S) sia antisimmetrica, è che l'intersezione del grafico con il suo simmetrico sia un sottoinsieme della diagonale del prodotto cartesiano S×S. Cioè
Dimostrazione
Proposizione 4 Il grafico della relazione identica in S, è la diagonale di S×S.