atitudine reflexiv

atitudine reflexivă în matematică - o relație binară $R$ pe platoul de filmare $X$, în care fiecare element al setului este în relația $R$ cu ea însăși.

Formal, raportul $R$ reflexiv dacă $\backslash \; Forall\; x\; \backslash \; in\; X:\; \backslash \; (x\; R\; x)$.

proprietate reflexivă la o matrice de raport predeterminat caracterizat prin aceea că toate elementele diagonale sunt egale cu 1; la un anumit grafic fiecare element de șablon: MVAR are o buclă - Format arc: Math.

relație binară $R$ pe platoul de filmare $X$ este reflexiv dacă și numai dacă este un subset al relației de identitate $\backslash \; operatorname\_X$ pe platoul de filmare $X$ ($\backslash \; Operatorname\_X\; =\; \backslash$), Care este, $\backslash \; Operatorname\_X\; \backslash \; subseteq\; R$.

Dacă această condiție nu este îndeplinită pentru orice element al setului $X$, atitudinea $R$ numita anti-reflexie (sau irreflexive).

Dacă raportul este setat matricea antireflexive, toate elementele diagonale sunt zero. La specificarea astfel de grafic relații, fiecare nod nu are bucle - nici un arc de cerc de forma Format: Math.

relațiile Formal, anti-reflexie $R$ Acesta este definit ca: $\backslash \; Forall\; x\; \backslash \; in\; X:\; \backslash \; \backslash \; Neg\; (R\; x\; x)$.

În cazul în care condiția este îndeplinită reflexivitate nu pentru toate elementele setului $X$, spun că raportul dintre $R$ non-reflexiv.

Exemple de relație reflexivă

Exemple de relații antireflexive