Relacja zwrotna

Relacja zwrotna^[1]^[2] – relacja dwuargumentowa (dwuczłonowa), w której każdy element zbioru jest w relacji sam z sobą^[1].

Formalnie relację dwuczłonową $\rho \subseteq X\times X$ nazywa się zwrotną, gdy dla każdego $x\in X$ zachodzi warunek $(x,x)\in \rho$ ^[2].

Zwrotność jest jedną z definiujących cech praporządków, w tym relacji równoważności i częściowych porządków (skierowań).

Relacja przeciwzwrotna

Relacja przeciwzwrotna^[2] – relacja, w której żaden element zbioru nie jest w relacji sam z sobą.

Formalnie relację $\rho \subseteq X\times X$ nazywa się przeciwzwrotną, gdy dla żadnego $x\in X$ nie zachodzi warunek $(x,x)\in \rho ,$ czyli gdy dla każdego $x\in X$ zachodzi $(x,x)\notin \rho$ ^[2].

Przykłady

Relacje zwrotne

relacja identyczności w zbiorze^[2]
relacja podzielności w zbiorze (dodatnich) liczb naturalnych^[2],
relacja przecinania się zbiorów niepustych,
przemienność (komutacja) funkcji w danym zbiorze (działań jednoargumentowych) lub macierzy kwadratowych,
liniowa zależność wektorów,
podgrupa normalna to przykład relacji zwrotnej, która nie jest ani symetryczna, ani przechodnia.

Relacje przeciwzwrotne

relacja większości w zbiorze liczb rzeczywistych,
ścisłe zawieranie (ścisła inkluzja) zbiorów,
prostopadłość prostych,
rozłączność zbiorów niepustych,
liniowa niezależność niezerowych wektorów,
bycie rodzicem lub przodkiem, dzieckiem lub potomkiem, rodzeństwem, małżonkiem.

Relacje ani zwrotne, ani przeciwzwrotne

względna pierwszość liczb naturalnych – nie jest zwrotna, ponieważ 2 nie jest względnie pierwsza ze sobą; nie jest też przeciwzwrotna, bo 1 jest już względnie pierwsza ze sobą samą,
Biorąc relację $\varrho$ określoną na zbiorze liczb naturalnych następująco: $n\ \varrho \ m$ wtedy i tylko wtedy, gdy $n+m+1$ jest liczbą pierwszą. Relacja $\varrho$ nie jest zwrotna i nie jest przeciwzwrotna, ponieważ przykładowo $\lnot (10\ \varrho \ 10)$ (co dowodzi, że nie jest zwrotna, ponieważ $10+10+1=21=3\cdot 7$ ) oraz $2\ \varrho \ 2$ (nie jest przeciwzwrotna, ponieważ $2+2+1=5$ ).

Zobacz też

Przypisy

1 2 relacja zwrotna, [w:] Encyklopedia PWN [online], Wydawnictwo Naukowe PWN [dostęp 2021-10-02] .
1 2 3 4 5 6 HelenaH. Rasiowa HelenaH., Wstęp do matematyki współczesnej, Państwowe Wydawnictwo Naukowe, 1984, s. 65, ISBN 978-83-01-01373-8 (pol.).

Bibliografia

Wojciech Guzicki, Piotr Zakrzewski: Wykłady ze wstępu do matematyki. Wprowadzenie do teorii mnogości. Warszawa: Wydawnictwo Naukowe PWN, 2005, s. 155. ISBN 83-01-14415-7.

[epwn-1] 1 2 relacja zwrotna, [w:] Encyklopedia PWN [online], Wydawnictwo Naukowe PWN [dostęp 2021-10-02] .

[:0-2] 1 2 3 4 5 6 HelenaH. Rasiowa HelenaH., Wstęp do matematyki współczesnej, Państwowe Wydawnictwo Naukowe, 1984, s. 65, ISBN 978-83-01-01373-8 (pol.).

[1]

[2]