Διατεταγμένο ζεύγος

Από τη Βικιπαίδεια, την ελεύθερη εγκυκλοπαίδεια
Μετάβαση σε: πλοήγηση, αναζήτηση

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

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

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

.

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

,

και η ιδιότητα ότι το στοιχείο είναι το δεύτερο στοιχείο του διατεταγμένου ζεύγους μπορεί να λάβει τη μορφή

.