Από τη Βικιπαίδεια, την ελεύθερη εγκυκλοπαίδεια
Η συμμετρική κλειστότητα
R
′
{\displaystyle R'}
μίας σχέσης
R
{\displaystyle R}
(με μαύρο χρώμα τα στοιχεία που συσχετίζονται από΄την
R
{\displaystyle R}
). Με πράσινο τα στοιχεία που πρεπει να προστεθούν ώστε να γίνει συμμετρική.
Στην θεωρία συνόλων , η συμμετρική κλειστότητα μίας σχέσης
R
⊆
S
×
S
{\displaystyle R\subseteq S\times S}
σε ένα σύνολο
S
{\displaystyle S}
είναι η σχέση[ 1]
R
′
=
R
∪
{
(
y
,
x
)
:
(
x
,
y
)
∈
R
}
{\displaystyle R'=R\cup \{(y,x):(x,y)\in R\}}
.
Αυτή είναι η ελάχιστη σχέση (ως προς την σύγκριση υποσυνόλου ) που συμπεριλαμβάνει την
R
{\displaystyle R}
και είναι συμμετρική . Μπορεί να γραφτεί και ως
R
∪
R
T
{\displaystyle R\cup R^{T}}
, όπου
R
T
{\displaystyle R^{T}}
είναι η αντίστροφη σχέση της
R
{\displaystyle R}
.
Η συμμετρική κλειστότητα της σχέσης
R
=
{
(
1
,
2
)
,
(
1
,
4
)
,
(
2
,
2
)
,
(
2
,
3
)
(
3
,
2
)
,
(
3
,
4
)
,
(
4
,
1
)
,
(
5
,
4
)
}
{\displaystyle R=\{(1,2),(1,4),(2,2),(2,3)(3,2),(3,4),(4,1),(5,4)\}}
,
είναι η σχέση (δείτε το πρώτο σχήμα)
R
′
=
{
(
1
,
2
)
,
(
1
,
4
)
,
(
2
,
1
)
,
(
2
,
2
)
,
(
2
,
3
)
(
3
,
2
)
,
(
3
,
4
)
,
(
4
,
1
)
,
(
4
,
3
)
,
(
4
,
5
)
,
(
5
,
4
)
}
{\displaystyle R'=\{(1,2),(1,4),{\color {green}(2,1)},(2,2),(2,3)(3,2),(3,4),(4,1),{\color {green}(4,3)},{\color {green}(4,5)},(5,4)\}}
,
όπου με πράσινο χρώμα είναι τα στοιχεία που προστέθηκαν.
Η συμμετρική κλειστότητα της σχέσης
≤
{\displaystyle \leq }
στο σύνολο των φυσικών αριθμών
N
{\displaystyle \mathbb {N} }
είναι η σχέση
N
×
N
{\displaystyle \mathbb {N} \times \mathbb {N} }
.
Η συμμετρική κλειστότητα της σχέσης
<
{\displaystyle <}
στο σύνολο των φυσικών αριθμών
N
{\displaystyle \mathbb {N} }
είναι η σχέση
N
×
N
∖
i
d
N
{\displaystyle \mathbb {N} \times \mathbb {N} \setminus \mathrm {id} _{\mathbb {N} }}
, όπου
i
d
N
{\displaystyle \mathrm {id} _{\mathbb {N} }}
είναι η ταυτοτική σχέση στο
N
{\displaystyle \mathbb {N} }
.
Η συμμετρική κλειστότητα της σχέσης «είναι απόγονος του/της» είναι η σχέση «είναι απόγονος ή πρόγονος του/της».
↑ Φωτάκης, Δ.· Σούλιου, Δ. «Κλειστότητες Σχέσεων» (PDF) . Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών Εθνικό Μετσόβιο Πολυτεχνείο. Ανακτήθηκε στις 28 Απριλίου 2024 .