Σχέση (μαθηματικά)

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

Αυστηρός ορισμός
Έστω  και  δύο τυχαία σύνολα. Σχέση από το  στο  ονομάζουμε κάθε υποσύνολο  του καρτεσιανού γινομένου :
.

Δηλαδή μια σχέση από ένα σύνολο  σε ένα σύνολο  δεν είναι τίποτε άλλο από ένα σύνολο διατεταγμένων ζευγών. Το σύνολο  ονομάζεται πεδίο ορισμού και το σύνολο  ονομάζεται σύνολο τιμών. Ειδικότερα αν  είναι μια σχέση από το σύνολο  στο σύνολο , τότε λέμε ότι η  είναι μια σχέση στο . Η έκφραση  γράφεται διαφορετικά και ως εξής:  ή  και λέμε ότι το  σχετίζεται με το  μέσω της σχέσης  ή ακόμα ότι η σχέση  ισχύει ανάμεσα στα στοιχεία  και . Το γράμμα  μπορεί να αντικατασταθεί με οποιοδήποτε άλλο γράμμα, συχνά ακόμα και με σύμβολα όπως , , ,  κ.α.

Παραδείγματα
Για παράδειγμα αν για τα σύνολα  και  έχουμε  και ,  είναι μια σχέση στα σύνολα  και  και  είναι μια σχέση στο σύνολο , τότε για την  έχουμε:

και για την :

Κλάσεις σχέσεων
Μερικές σημαντικές κλάσεις σχέσεων , από ένα σύνολο  σε ένα σύνολο  δίνονται παρακάτω:
αριστερά ολική: για κάθε  στο  υπάρχει  στο  τέτοιο ώστε ,
επί ή δεξιά ολική: για κάθε  στο  υπάρχει  στο  τέτοιο ώστε ,
συναρτησιακή: για κάθε  στο  και  στο  ισχύει ότι, αν  και  τότε ,
ένα προς ένα: για κάθε  και  στο  και για κάθε  στο  ισχύει ότι αν  και  τότε 
αμφιμονοσήμαντη: συναρτησιακή και αριστερά και δεξιά ολική

Σχέσεις σε ένα σύνολο
Ορισμένες σημαντικές κλάσεις διμελών σχέσεων σε ένα σύνολο X είναι οι εξής:
ανακλαστική: για κάθε  στο  ισχύει xRx.
συμμετρική: για κάθε  στο , αν ισχύει  τότε ισχύει και yRx.
αντισυμμετρική: για κάθε  στο , αν ισχύει  και  τότε .
ασυμετρική: για κάθε  στο , αν ισχύει  τότε δεν ισχύει .
μεταβατική: για κάθε  στο , αν ισχύει  και  τότε .
ολική: για κάθε  στο , ισχύει  ή  ή και τα δύο.
τριχοτομική: για κάθε  στο , ισχύει ακριβώς ένα από τα ,  ή .
Ευκλείδεια: για κάθε  στο , αν ισχύει  και  τότε  (και ).

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

Η συνάρτηση ως σχέση

Έστω  και  δύο μη κενά σύνολα. Μια σχέση  από το σύνολο  στο σύνολο  ονομάζεται συνάρτηση από το  στο  αν:
για κάθε  στο  υπάρχει  στο  ώστε 
αν  ανήκει στο ,  ανήκουν στο  και ισχύει  και  τότε .

Επομένως, μια σχέση  από το σύνολο  στο σύνολο  ονομάζεται συνάρτηση από το  στο  αν για κάθε  στο  υπάρχει μοναδικό  στο  ώστε . Με άλλα λόγια μια σχέση που είναι αριστερά ολική και συναρτησιακή, ονομάζεται συνάρτηση. Αν είναι μόνο συναρτησιακή τότε ονομάζεται μερική συνάρτηση.

Σύνθεση σχέσεων

Η σύνθεση σχέσεων είναι ένας τρόπος με τον οποίο σχηματίζουμε μια νέα σχέση από δύο δεδομένες σχέσεις  και  και την οποία συμβολίζουμε με . Ειδική κατηγορία σύνθεσης σχέσεων είναι η σύνθεση συναρτήσεων.

Ορισμός
Αν  και  είναι δύο διμελείς σχέσεις, τότε η σύνθεση τους  είναι η σχέση:
.

Με άλλα λόγια η σχέση  είναι η σχέση στην οποία ανήκουν όλα τα διατεταγμένα ζεύγη  για τα οποία ισχύει το εξής: υπάρχει  στο  τέτοιο ώστε το  να ανήκει στη  και το  να ανήκει στη .

Ιδιότητες

Η σύνθεση σχέσεων είναι προσεταιριστική,
Η αντίστροφη σχέση της  είναι η σχέση ,
Η σύνθεση μερικών συναρτήσεων είναι μερική συνάρτηση,
Η σύνθεση επί σχέσεων, είναι επί σχέση,
Η σύνθεση ένα προς ένα σχέσεων, είναι ένα προς ένα.

Παραπομπές

Θεωρία συνόλων