Ανακλαστική σχέση

Στην θεωρία συνόλων, μία ανακλαστική (ή αυτοπαθής) σχέση είναι μία σχέση στην οποία κάθε στοιχείο σχετίζεται με τον εαυτό του. Πιο αυστηρά, μία σχέση  σε ένα σύνολο  είναι ανακλαστική αν για κάθε  ισχύει ότι . 

Μία σχέση στην οποία κανένα στοιχείο δεν σχετίζεται με τον εαυτό του (δηλαδή ), λέγεται μη-ανακλαστική.

 Παραδείγματα 

Κάποια παραδείγματα ανακλαστικών σχέσεων είναι τα εξής:
 Στους φυσικούς αριθμούς η σχέση «διαιρεί» είναι ανακλαστική καθώς κάθε φυσικός αριθμός διαιρεί τον εαυτό του.
 Η σχέση «έχει την ίδια ηλικία» είναι ανακλαστική καθώς κάθε άνθρωπος έχει την ίδια ηλία με τον εαυτό του.
 Η σχέση σύγκρισης  μεταξύ πραγματικών αριθμών είναι ανακλαστική καθώς, εξ'ορισμού  για κάθε .
 Η σχέση  μεταξύ των συμβολοσειρών που έχουν το ίδιο πλήθος από «a» (π.χ. η «babbabbba» και η «abaab» έχουν και οι δύο τρία «a») είναι ανακλαστική.

Και κάποιες σχέσεις που δεν είναι ανακλαστικές είναι οι εξής:
 Η σχέση σύγκρισης  μεταξύ πραγματικών αριθμών, καθώς δεν ισχύει ότι .
 Η σχέση «είναι παντρεμμένος/η με» δεν είναι ανακλαστική, καθώς κάποιος δεν μπορεί να παντρευτεί τον εαυτό του.
 Η σχέση «έχει ψηφίσει τον/την» στο σύνολο όλων των ανθρώπων του κόσμου δεν είναι ανακλαστική, καθώς υπάρχουν άνθρωποι που δεν έχουν ψηφίσει τον εαυτό τους. Στο σύνολο όμως των πολιτικών (μάλλον) είναι ανακλαστική, καθώς (μάλλον) κάθε πολιτικός έχει ψηφίσει τον εαυτό του.

 Ιδιότητες 
 Στον πίνακα αναπαράστασης μίας ανακλαστικής σχέσης, όλα τα στοιχεία της κύριας διαγωνίου του πίνακα είναι .
 Στον γράφο που αναπαριστά μία ανακλαστική σχέση, όλοι οι κόμβοι έχουν έναν βρόγχο.
 Μία σχέση  είναι ανακλαστική αν και μόνο αν η αντίστροφή  της είναι ανακλαστική.

 Πλήθος ανακλαστικών σχέσεων 

Το πλήθος των συμμετρικών σχέσεων σε ένα πεπερασμένο σύνολο  αποτελούμενο από  στοιχεία είναι . Τα πλήθη δίνονται από την ακολουθια:


 Σχετικές έννοιες 
Μία ανακλαστική σχέση είναι σχέση ισοδυναμίας αν είναι επίσης συμμετρική και μεταβατική.

 Ανακλαστική κλειστότητα 
Η ανακλαστική κλειστότητα της σχέσης  είναι η σχέση 
.
Αυτή είναι η ελάχιστη (ως προς την σχέση υποσυνόλου) που συμπεριλαμβάνει την  και είναι ανακλαστική.

 Δείτε επίσης 
 Συμμετρική σχέση
 Σχέση
 Σχέση ισοδυναμίας

 Παραπομπές 

Κατηγορία:Θεωρία συνόλων
Κατηγορία:Δυαδικές σχέσεις