Simetria-erlazio

Matematikan, $A$ multzoan definitutako $R$ erlazio bitarra simetrikoa da; bi elementu desberdin hartuta, lehena bigarrenarekin erlazionatuta badago, orduan bigarrena ere lehenarekin erlazionatuta badago. Beste hitzetan:

\forall x,y\in A,\ xRy\Rightarrow yRx

Hori gertatzekotan, esaten dugu $R$ -k simetria-propietatea betetzen duela.

$A$ multzoan ezarritako $R$ erlazioa, $(A,R)$ bikote ordenatuaren bidez adierazten da.

Simetrikoaren aurkakoa den erlazioari asimetrikoa dela esaten zaio, hots, bi elementu desberdin hartuta, lehena bigarrenarekin erlazionatuta badago, orduan bigarrena ez badago lehenarekin erlazionatuta. Beste hitzetan:

\forall x,y\in A,\ xRy\Rightarrow \neg (yRx)

Hori gertatzekotan, esaten dugu $R$ -k asimetria-propietatea betetzen duela.

Adierazpidea

Biz $A$ multzoan definitutako $R$ simetria- edo asimetria-erlazio bat, orduan $R$ -ren adierazpidea desberdina da, erlazio bitarra adierazteko moduaren arabera.

Notazioa	Simetria-erlazioa	Asimetria-erlazioa
Bikote ordenatu bezala	$\forall x,y\in A,\ (x,y)\in R\Rightarrow (y,x)\in R$	$\forall x,y\in A,\ (x,y)\in R\Rightarrow (y,x)\not \in R$
Auzokidetasun-matrize bezala	$M\,$ , matrize iraulia $M^{t}=M\,.$	$M\,$ , matrize horren diagonalean 0-ak besterik ez daude, hots, $\forall i=\{1,...,n\},\;(a_{i,i})_{n\times n}=0,$ eta gainera $M+M^{t}\,$ -k matrize simetriko bat sortzen du.
Grafo bezala	Grafo ez zuzendua bezala adieraz daitekeen grafo bat da.	Grafo zuzendua da, begiztarik ezta ziklorik gabe.

Adibideak

Biz $A$ edozein multzo:

Biz $(A,=)\,$ , $=\,$ (matematika-berdintasuna), simetrikoa da.
Biz $(A,\cup )$ , $\cup$ simetrikoa da.
"ezkondua izatea" simetria-erlazioa da, "garaiagoa izatea", aldiz, ez.
Biz $(A,>)\,$ , $>\,$ ("hertsiki handiagoa") asimetrikoa da, era berean $<\,$ ("hertsiki txikiagoa").
Biz $(A,\subset )$ , $\subset$ (multzoen partekotasun hertsia), asimetrikoa da.

Simetria $\neq$ Antisimetria

Simetria ez da antisimetriaren aurkakoa.

Badaude erlazioak aldi berean simetrikoak eta antisimetrikoak direnak (berdintasuna bezala), beste batzuk simetrikoak eta antisimetrikoak ez direnak (zatigarritasuna bezala zenbaki osoetan), beste batzuk simetrikoak direnak baina ez antisimetrikoak (n moduluko kongruentzia-erlazioa bezala), eta beste batzuk antisimetrikoak direnak baina ez simetrikoak ("txikiago" erlazioa bezala).

Ikus, gainera

Kanpo estekak

Datuak: Q621461