Καρτεσιανό γινόμενο

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

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

A × B  =  {  (α,β)  |  αA  και  βB  }.[1]

Θα μπορούσε να δημιουργηθεί ένας πίνακας από τη λήψη του Καρτεσιανού γινομένου ενός συνόλου γραμμών και ενός συνόλου στηλών. Όταν ληφθεί το Καρτεσιανό γινόμενο γραμμές × στήλες, τα κελιά του παραχθέντος πίνακα θα περιέχουν διατεταγμένα ζεύγη της μορφής (αριθμός γραμμής, αριθμός στήλης).

Γενικότερα, το Καρτεσιανό γινόμενο ν συνόλων, γνωστό και ως ν-οστό Καρτεσιανό γινόμενο, μπορεί να εκπροσωπείται από έναν πίνακα ν διαστάσεων, όπου κάθε στοιχείο του είναι μια ν-άδα. Ένα διατεταγμένο ζεύγος είναι μια 2-άδα ή απλά ένα ζεύγος.

Το Καρτεσιανό γινόμενο ονομάστηκε από τον Ρενέ Ντεκάρτ,[2] του οποίου η διατύπωση της αναλυτικής γεωμετρίας οδήγησε σε μια έννοια που γενικεύεται περαιτέρω με τον όρο άμεσο γινόμενο.

Παραδείγματα[Επεξεργασία | επεξεργασία κώδικα]

Τράπουλα[Επεξεργασία | επεξεργασία κώδικα]

Κανονική τράπουλα με 52 κάρτες

Ένα ενδεικτικό παράδειγμα είναι η κανονική τράπουλα με τις 52 κάρτες.

Τα τραπουλόχαρτα συμβολίζονται από ένα σύνολο 13-στοιχείων {A, K, Q, J, 10, 9, 8, 7, 6, 5, 4, 3, 2}, τα χρώματα των οποίων καθορίζονται από ένα σύνολο 4-στοιχείων {♠, , , ♣} . Το Καρτεσιανό γινόμενο των δύο αυτών συνόλων επιστρέφει ένα σύνολο 52-στοιχείων, το οποίο αποτελείται από 52 διατεταγμένα ζεύγη, που αντιστοιχούν σε όλα τα πιθανά 52 τραπουλόχαρτα.

Σύμβολα × Χρώματα επιστρέφει ένα σύνολο της μορφής { (A, ♠), (A, ), (A, ), (A, ♣), (K, ♠), ..., (3, ♣), (2, ♠), (2, ), (2, ), (2, ♣) }.

Χρώματα × Σύμβολα επιστρέφει ένα σύνολο της μορφής { (♠, A), (♠, K), (♠, Q), (♠, J), (♠, 10), ..., (♣, 6), (♣, 5), (♣, 4), (♣, 3), (♣, 2) }.

Και τα δύο σύνολα είναι διακριτά, αν και ασυνεχή.

Σύστημα συντεταγμένων δύο διαστάσεων[Επεξεργασία | επεξεργασία κώδικα]

Δείγματα Καρτεσιανών συντεταγμένων

Το βασικό ιστορικό παράδειγμα αφορά το Καρτεσιανό επίπεδο στην αναλυτική γεωμετρία.

Ο Ρενέ Ντεκάρτ, για να εκλάβει τα γεωμετρικά σχήματα με αριθμητικό τρόπο και να εξαγάγει αριθμητικά πληροφορίες από τις αριθμητικές αναπαραστάσεις των σχημάτων, απέδωσε σε κάθε σημείο του επιπέδου ένα ζεύγος πραγματικών αριθμών, που το ονόμασε ως συντεταγμένες του σημείου. Συνήθως το πρώτο και το δεύτερο συστατικό ενός ζεύγους ονομάζεται x και y συντεταγμένη αντιστοίχως (βλ. την εικόνα δεξιά).

Με το σύνολο όλων αυτών των ζευγαριών, δηλαδή το Καρτεσιανό γινόμενο ℝ×ℝ όπου ℝ το σύνολο των πραγματικών αριθμών, αποδίδεται το σύνολο όλων των σημείων στο επίπεδο.

Άλλες μορφές[Επεξεργασία | επεξεργασία κώδικα]

Συντομευμένη μορφή[Επεξεργασία | επεξεργασία κώδικα]

Αν πολλαπλασιάζονται μαζί αρκετά σύνολα, π.χ. X1, X2, X3, …, τότε ορισμένοι συγγραφείς[3] επιλέγουν να συντομεύσουν το Καρτεσιανό γινόμενο απλά ως ×Xi.

Καρτεσιανό γινόμενο συναρτήσεων[Επεξεργασία | επεξεργασία κώδικα]

Αν f είναι μια συνάρτηση από το A στο B και g είναι μια συνάρτηση από το X στο Y, τότε το Καρτεσιανό γινόμενο των δύο συναρτήσεων f × g είναι μια συνάρτηση από το A × X στο B × Y όπου:

Αυτό μπορεί να επεκταθεί και σε πλειάδες συναρτήσεων, ακόμα και άπειρες. Η μορφή αυτή είναι διαφορετική από το στάνταρ Καρτεσιανό γινόμενο, διότι εδώ οι συναρτήσεις θεωρούνται ως σύνολα.

Παραπομπές[Επεξεργασία | επεξεργασία κώδικα]

  1. Warner, S. (1990). Modern Algebra. Dover Press, σελ. 6. 
  2. «Online Dictionary: Cartesian». Merriam-Webster. 2009. http://www.merriam-webster.com/dictionary/cartesian. Ανακτήθηκε στις 1 Δεκεμβρίου 2009. 
  3. Osborne. Rubinstein, A. (1994). A Course in Game Theory. MIT Press. 

Εξωτερικοί σύνδεσμοι[Επεξεργασία | επεξεργασία κώδικα]

Στο λήμμα αυτό έχει ενσωματωθεί κείμενο από το λήμμα Cartesian product της Αγγλικής Βικιπαίδειας, η οποία διανέμεται υπό την GNU FDL και την CC-BY-SA 3.0. (ιστορικό/συντάκτες).