Πράξεις συνόλων

Από Βικιεπιστήμιο
Πήδηση στην πλοήγηση Πήδηση στην αναζήτηση

Μάθημα από τη Θεωρία Συνόλων.

Υπάρχουν δύο βασικές πράξεις συνόλων, η ένωση και η τομή. Άλλες πράξεις συνόλων είναι η αφαίρεση, το καρτεσιανό γινόμενο, η ύψωση σε φυσικό και το δυναμοσύνολο. Επιπλέον, δύο βασικές έννοιες είναι το υποσύνολο και το υπερσύνολο.

Ένωση[επεξεργασία]

Ένωση κάποιων αρχικών συνόλων είναι το σύνολο, του οποίου κάθε στοιχείο ανήκει σε κάποιο από τα αρχικά σύνολα.


Για παράδειγμα η ένωση το συνόλων Α={1,4,9} και Β={10,4,7} είναι το σύνολο Γ={1,4,9,10,7}.

Η ένωση δύο συνόλων Α και Β συμβόλιζεται: ΑΒ

Έτσι στο παραπάνω παράδειγμα είναι: Γ=ΑΒ

Τομή[επεξεργασία]

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


Για παράδειγμα η τομή το συνόλων Α={1,4,9} και Β={10,4,7} είναι το σύνολο Γ={4}.

Η τομή δύο συνόλων Α και Β συμβόλιζεται: ΑΒ

Έτσι στο παραπάνω παράδειγμα είναι: Γ=ΑΒ

Ξένα σύνολα[επεξεργασία]

Δύο σύνολα είναι ξένα μεταξύ τους, αν δεν υπάρχει κοινό στοιχείο. Η τομή δύο ξένων συνόλων είναι το κενό σύνολο.


Για παράδειγμα τα σύνολα Α={1,3,7} και Β={4,9,23} είναι ξένα μεταξύ τους και ισχύει: ΑΒ=

Ο πληθάριθμος της ένωσης δύο ξένων συνόλων είναι το άθροισμα των δύο ξένων συνόλων. Έτσι, ισχύει:

card(A)+card(B)=3+3=6

card(ΑΒ)=card({1,3,7,4,9,23})=6=card(A)+card(B)

Αφαίρεση[επεξεργασία]

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


Για παράδειγμα αφαίρεση του συνόλου Α={1,4,10} από το Β={1,5,10} είναι το σύνολο Γ={5}.

Η αφαίρεση του Α από το Β συμβολίζεται με Β-Α. Έτσι, στο παραπάνω παράδειγμα είναι: Γ=Β-Α

Η αφαίρεση Β-Α είναι σύνολο ξένο με το Α. Ισχύουν οι παρακάτω σχέσεις:

ΑΒ=(Α-Β)Β)(Β-Α)

Τα σύνολα Α-Β, ΑΒ, Β-Α είναι ξένα μεταξύ τους.

card(ΑΒ)=card(Α-Β)+card(ΑΒ)+card(Β-Α)

(Καρτεσιανό) γινόμενο[επεξεργασία]

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

Καρτεσιανό γινόμενο δύο συνόλων είναι το σύνολο των ζευγών κάθε στοιχείου του πρώτου συνόλου με κάθε στοιχείου του δεύτερου.


Για παράδειγμα το γινόμενο των συνόλων Α={1,3,5} και Β={1,8,2,12} είναι το:

ΑB={(1,1),(1,8),(1,2),(1,12),(3,1),(3,8),(3,2),(3,12),(5,1),(5,8),(5,2),(5,12)}

Επίσης, ισχύει η σχέση:

card(AB)=card(A)card(B)

Ύψωση σε φυσικό[επεξεργασία]

Ύψωση ενός συνόλου Α στον φυσικό ν είναι το σύνολο ΑΑν-1. Ισχύει ότι Α1=A.


Για παράδειγμα Α={1,2,3}, τότε:

Α3={(1,1,1),(1,1,2),(1,1,3),(1,2,1),(1,2,2),(1,2,3),(1,3,1),(1,3,2),(1,3,3),(2,1,1),(2,1,2),(2,1,3),(2,2,1),(2,2,2),(2,2,3),(2,3,1),(2,3,2),(2,3,3),(3,1,1),(3,1,2),(3,1,3),(3,2,1),(3,2,2),(3,2,3),(3,3,1),(3,3,2),(3,3,3)}

Επίσης, ισχύει η σχέση:

card(An)=(card(A))n

Δυναμοσύνολο[επεξεργασία]

Δυναμοσύνολο είναι το σύνολο όλων των συνόλων που μπορούν να φτιαχτούν με τα στοιχεία του αρχικού συνόλου.


Για παράδειγμα το δυναμοσύνολο του Α={1,2,3} είναι το Β={,{1},{2},{3},{1,2},{1,3},{2,3},{1,2,3}}.

Συμβολίζεται με 2Α. Ισχύει: card(2Α)=2card(Α)

Διάταξη συνόλων[επεξεργασία]

Υποσύνολο ενός άλλου συνόλου είναι σύνολο, όπου κάθε στοιχείο του ανήκει και στο άλλο σύνολο.


Για παράδειγμα το Α={1,2,3} είναι υποσύνολο του Β={1,2,5,4,3}.

Συμβολίζεται με

Υπερσύνολο ενός άλλου συνόλου είναι σύνολο, όπου κάθε στοιχείο του άλλου συνόλου ανήκει και στο πρώτο.


Για παράδειγμα το Β={1,2,5,4,3} είναι υπερσύνολο του Α={1,2,3}.

Συμβολίζεται με

Αν ένα σύνολο είναι υποσύνολο και υπερσύνολο ενός άλλου συνόλου, τα δύο σύνολα είναι ίσα.

Κάθε σύνολο είναι υποσύνολο και υπερσύνολο του εαυτού του.

Γνήσιο υποσύνολο ενός άλλου συνόλου είναι υποσύνολο του άλλου και όχι ίσο του.


Για παράδειγμα το Α={1,2,3} είναι γνήσιο υποσύνολο του Β={1,2,5,4,3}.

Συμβολίζεται με

Γνήσιο υπερσύνολο ενός άλλου συνόλου είναι υπερσύνολο του άλλου και όχι ίσο του.


Για παράδειγμα το Β={1,2,5,4,3} είναι γνήσιο υπερσύνολο του Α={1,2,3}.