Itxitura simetriko

Wikipedia(e)tik
Hona jo: nabigazioa, Bilatu

Matematikan, A multzoan definitutako \mathcal{R} erlazio bitarraren itxitura simetrikoa, CS(\mathcal{R}) adierazita, erlazio simetrikoa da, \mathcal{R} erlazioa barnean hartzen duenetan txikiena dena.

Beste hitzetan, CS(\mathcal{R}) da ondoko hauek betetzen dituen erlazio bitarra:

  1. \mathcal{R}\subseteq CR(\mathcal{R})
  2. CR(\mathcal{R}) simetrikoa da
  3. \mathcal{R}' erlazio simetrikoa bada, non \mathcal{R}\subseteq \mathcal{R}' den, orduan CR(\mathcal{R})\subseteq \mathcal{R}'

Oharra: \mathcal{R} simetrikoa bada, orduan CR(\mathcal{R})=\mathcal{R}.

Ikus, gainera[aldatu | aldatu iturburu kodea]