Σχέσις επί Συνόλων
- Ένα σύνολο
Ετυμολογία[]
Η ονομασία "Σχέση" σχετίζεται ετυμολογικά με την λέξη "σχήμα".
Εισαγωγή[]
Σχέση στα μαθηματικά είναι μια συσχέτιση των στοιχείων ενός συνόλου με τα στοιχεία κάποιου άλλου.
Η έννοια της σχέσης χρησιμοποιείται στα μαθηματικά για να μοντελοποιήσουμε έννοιες όπως μεγαλύτερο από, είναι ίσο με, είναι ισοδύναμο με κλπ. Η ίδια η έννοια της συνάρτησης ορίζεται ως μια σχέση ειδικού τύπου.
Αυστηρός Ορισμός[]
Έστω X και Y δύο τυχαία σύνολα.
Σχέση από το X στο Y ονομάζουμε κάθε υποσύνολο R του καρτεσιανού γινομένου X × Y:
Δηλαδή, μια σχέση από ένα σύνολο X σε ένα σύνολο Y είναι ένα σύνολο διατεταγμένων ζευγών.
- Το σύνολο X ονομάζεται πεδίο ορισμού και
- το σύνολο Y ονομάζεται σύνολο τιμών.
Ειδικότερα, αν R είναι μια σχέση από το σύνολο X στο σύνολο X, τότε λέμε ότι η R είναι μια σχέση στο X. Η έκφραση (x, y) ∈ R γράφεται διαφορετικά και ως εξής: xRy ή R(x, y) και λέμε ότι το y σχετίζεται με το x μέσω της σχέσης R ή ακόμα ότι η σχέση R ισχύει μεταξύ των στοιχείων x και y.
Το γράμμα R, προφανώς, μπορεί να αντικατασταθεί με οποιοδήποτε άλλο γράμμα, συχνά ακόμα και με σύμβολα όπως <, >, +, =, κ.α.
Παραδείγματα[]
Για παράδειγμα αν για τα σύνολα X και Y έχουμε και , R είναι μια σχέση στα σύνολα X και Y και S είναι μια σχέση στο σύνολο X, τότε για την R έχουμε:
και για την S:
Κλάσεις Σχέσων[]
Μερικές σημαντικές κλάσεις σχέσεων R, από ένα σύνολο Χ σε ένα σύνολο Y δίνονται παρακάτω:
- αριστερά ολική: για κάθε x στο Χ υπάρχει y στο Y τέτοιο ώστε xRy,
- επι ή δεξιά ολική: για κάθε y στο Y υπάρχει x στο Χ τέτοιο ώστε xRy,
- συναρτησιακή: για κάθε x στο X και y, z στο Y ισχύει ότι, αν xRy και xRz τότε y = z,
- ένα προς ένα: για κάθε x και z στο X και για κάθε y στο Y ισχύει ότι αν xRy και zRy τότε x = z
- αμφιμονοσήμαντη: αριστερά και δεξιά ολική, συναρτησιακή και αμφιμονοσήμαντη
Σχέσεις σε ένα Σύνολο[]
Ορισμένες σημαντικές κλάσεις διμελών σχέσεων σε ένα σύνολο X είναι οι εξής:
- Ανακλαστική Σχέση: για κάθε x στο X ισχύει xRx.
- Συμμετρική Σχέση : για κάθε x, y στο X, αν ισχύει xRy τότε ισχύει και yRx.
- Αντισυμμετρική Σχέση : για κάθε x, y στο X, αν ισχύει xRy και yRx τότε x = y.
- Ασυμμετρική Σχέση : για κάθε x, y στο X, αν ισχύει xRy τότε δεν ισχύει yRx.
- Μεταβατική Σχέση : για κάθε x, y, z στο X, αν ισχύει xRy και yRz τότε xRz.
- Ολική Σχέση : για κάθε x, y στο X, ισχύει xRy ή yRx ή και τα δύο.
- Τριχοτομική Σχέση : για κάθε x, y στο X, ισχύει ακριβώς ένα από τα xRy, yRx ή x = y.
- Ευκλείδεια Σχέση : για κάθε x, y, z στο X, αν ισχύει xRy και xRz τότε yRz.
- Μια σχέση που είναι ανακλαστική, συμμετρική και μεταβατική ονομάζεται σχέση ισοδυναμίας.
- Μια σχέση που είναι ανακλαστική, αντισυμμετρική και μεταβατική ονομάζεται σχέση μερικής διάταξης.
- Μια σχέση μερικής διάταξης που είναι και ολική ονομάζεται σχέση ολικής διάταξης.
Η συνάρτηση ως σχέση[]
Έστω X και Y δύο μη κενά σύνολα. Μια σχέση f από το σύνολο X στο σύνολο Y ονομάζεται συνάρτηση από το X στο Y αν:
- για κάθε x στο Χ υπάρχει y στο Y ώστε xfy
- αν x ανήκει στο X, y, z ανήκουν στο Y και ισχύει xfy και xfz τότε y = z
Επομένως, μια σχέση f από το σύνολο X στο σύνολο Y ονομάζεται συνάρτηση από το X στο Y αν για κάθε x στο Χ υπάρχει μοναδικό y στο Y ώστε xfy. Με άλλα λόγια μια σχέση που είναι αριστερά ολική και συναρτησιακή, ονομάζεται συνάρτηση. Αν είναι μόνο συναρτησιακή τότε ονομάζεται μερική συνάρτηση.
Σύνθεση σχέσεων[]
Η σύνθεση σχέσεων είναι ένας τρόπος με τον οποίο σχηματίζουμε μια νέα σχέση από δύο δεδομένες σχέσεις R και S και την οποία συμβολίζουμε με S o R. Ειδική κατηγορία σύνθεσης σχέσεων είναι η σύνθεση συναρτήσεων.
Ορισμός[]
Αν R ⊆ X × Y και S ⊆ Y × Z είναι δύο διμελείς σχέσεις, τότε η σύνθεση τους S o R είναι η σχέση:
- .
Με άλλα λόγια η σχέση S o R είναι η σχέση στην οποία ανήκουν όλα τα διατεταγμένα ζεύγη (x, z) για τα οποία ισχύει το εξής: υπάρχει y στο Y τέτοιο ώστε το (x, y) να ανήκει στη R και το (y, z) να ανήκει στη S.
Ιδιότητες[]
- Η σύνθεση σχέσεων είναι προσεταιριστική,
- Η αντίστροφη σχέση της S o R είναι η σχέση (S o R)-1 = R-1 o S-1,
- Η σύνθεση μερικών συναρτήσεων είναι μερική συνάρτηση,
- Η σύνθεση επί σχέσεων, είναι επί σχέση,
- Η σύνθεση ένα προς ένα σχέσεων, είναι ένα προς ένα
Υποσημειώσεις[]
Εσωτερική Αρθρογραφία[]
- Επισυνόλεια Σχέση
- συγγένεια
- συσχέτιση
- συσχετισμός
- Διμελής Σχέση
- Ισοδυναμιακή Σχέση
- Σχέση Μικρο-Οικονομίας Βιο-Κυττάρου
- Σχέση Μακρο-Οικονομίας Βιο-Οργανισμού
- σχετικοποίηση
- σχετικότητα
- σχετικισμός
Βιβλιογραφία[]
Ιστογραφία[]
Κίνδυνοι Χρήσης |
---|
Αν και θα βρείτε εξακριβωμένες πληροφορίες "Οι πληροφορίες αυτές μπορεί πρόσφατα Πρέπει να λάβετε υπ' όψη ότι Επίσης, |
- Μην κάνετε χρήση του περιεχομένου της παρούσας εγκυκλοπαίδειας
αν διαφωνείτε με όσα αναγράφονται σε αυτήν
- Όχι, στις διαφημίσεις που περιέχουν απαράδεκτο περιεχόμενο (άσεμνες εικόνες, ροζ αγγελίες κλπ.)