2. 1. Σύνολα
Άννα Κορφιάτη | korfiati.an@gmail.com | https://www.facebook.com/mathwithcoding | 6974 12 9730
Ορισμός (Cantor). Σύνολο είναι κάθε συλλογή αντικειμένων που γίνονται
αντιληπτά διά της εμπειρίας μας ή της διανόησής μας, και είναι σαφώς
καθορισμένα και διακεκριμένα μεταξύ τους.
Τα επί μέρους αντικείμενα της συλλογής ονομάζονται στοιχεία ή μέλη
του συνόλου.
Ορισμός. Ονομάζουμε κενό σύνολο ∅ ένα σύνολο χωρίς στοιχεία
3. 1. Σύνολα
Άννα Κορφιάτη | korfiati.an@gmail.com | https://www.facebook.com/mathwithcoding | 6974 12 9730
Σύνολα: κεφαλαία γράμματα Χ, Υ, Ζ
Στοιχεία συνόλου: μικρά γράμματα x,y,z,a,b
Tο σύνολο X αποτελείται από τα στοιχεία 𝒙, 𝒚, 𝒛, …
𝑋 = 𝑥, 𝑦, 𝑧, …
Ανήκειν: το αντικείμενο 𝑥 (δεν) είναι στοιχείο του συνόλου X
𝑥 ∈ 𝑋 (𝑥 ∉ 𝑋)
Ποσοδείκτες:
Καθολικός ποσοδείκτης: Για κάθε «∀»
Υπαρκτικός ποσοδείκης: Υπάρχει τουλάχιστον ένα «∃»
Συνεπαγωγή και ισοδυναμία
Υποθετική πρόταση: Αν … τότε ... «⇒»
… αν και μόνο αν (τότε και μόνο τότε) «⇔»
Όταν μία ισότητα, ή μία ισοδυναμία τίθεται εξ ορισμού, γράφουμε
αντίστοιχα
«≔» «: ⇔»
4. 1. Σύνολα
Άννα Κορφιάτη | korfiati.an@gmail.com | https://www.facebook.com/mathwithcoding | 6974 12 9730
Αν ο Μάνος είναι άνθρωπος τότε ο Μάνος είναι θνητός
Ο Μάνος είναι άνθρωπος αν και μόνον αν ο Μάνος είναι θνητός
6. 1. Σύνολα
Άννα Κορφιάτη | korfiati.an@gmail.com | https://www.facebook.com/mathwithcoding | 6974 12 9730
Με αναγραφή των στοιχείων του συνόλου
Α = 1,2,3
Με αναγραφή της συνθήκης ή της χαρακτηριστικής
ιδιότητας των στοιχείων του συνόλου
Α = 𝑥: 𝑥 𝛼𝜌𝜏𝜄𝜊𝜍 απο το 1 𝜔𝜍 𝜏𝜊 1000
Γενικότερα αν 𝑃 𝑥 είναι η χαρακτηριστική ιδιότητα που
ικανοποιεί κάθε στοιχείο 𝑥 ενός συνόλου Α , θα
γράφουμε,
Α = 𝑥: 𝑃 𝑥
Καθορισμός συνόλου
13. 1. Σύνολα
Άννα Κορφιάτη | korfiati.an@gmail.com | https://www.facebook.com/mathwithcoding | 6974 12 9730
• Ορισµός 4. Έστω δύο σύνολα 𝐴 και 𝐵.
1. Τοµή των 𝐴 και 𝐵 καλείται το σύνολο που αποτελείται από τα κοινά στοιχεία των δύο
συνόλων και συµβολίζεται ως 𝛢 ∩ 𝐵.
2. Ενωση των 𝐴 και 𝐵 καλείται το σύνολο που αποτελείται από τα στοιχεία και των δυο
συνόλων και συµβολίζεται ως 𝐴 ∪ 𝐵.
3. ∆ιαφορά του 𝐵 από το 𝐴, µε αυτή τη σειρά, καλείται το σύνολο που αποτελείται από
εκείνα τα στοιχεία του 𝐵 τα οποία δεν ανήκουν στο 𝐴 και συµβολίζεται ως 𝐵A ή 𝐵 − A
4. Αν το σύνολο 𝐴 είναι υποσύνολο ενός σύνολου Χ ορίζουμε το συμπλήρωμα 𝑨𝒄
του
συνόλου 𝐴,
𝐴𝑐
≔ 𝑥 ∈ 𝑋: 𝑥 ∉ 𝐴 = 𝑋A
22. 1. Σύνολα
Άννα Κορφιάτη | korfiati.an@gmail.com | https://www.facebook.com/mathwithcoding | 6974 12 9730
• Για δύο μη κενά σύνολα 𝐴, 𝐵 ορίζουμε το καρτεσιανό γινόμενο 𝐴 × 𝐵
ως το σύνολο των διατεταγμένων ζευγών (𝛼, 𝛽) με πρώτο στοιχείο 𝛼
από το σύνολο 𝐴 και δεύτερο στοιχείο 𝛽 από το 𝐵
𝐴 × 𝐵 ≔ { 𝛼, 𝛽 : 𝛼 ∈ 𝐴 και 𝛽 ∈ Β}
23. 1. Σύνολα
Άννα Κορφιάτη | korfiati.an@gmail.com | https://www.facebook.com/mathwithcoding | 6974 12 9730
Οι φυσικοί αριθμοί
• Διαισθητικά: Οι απλούστεροι αριθμοί είναι οι «αριθμοί απαριθμησης»
1,2,3, …
Οι αριθμοί αυτοί ονομάζονται φυσικοί αριθμοί.
Το σύνολο των φυσικών αριθμών συμβολίζεται με ℕ∗
.
ℕ∗
≔ 1,2,3, …
24. 1. Σύνολα
Άννα Κορφιάτη | korfiati.an@gmail.com | https://www.facebook.com/mathwithcoding | 6974 12 9730
• Πρόσθεση: απεικόνιση ℕ∗
× ℕ∗
→ ℕ∗
όπου σε κάθε ζεύγος φυσικών αριθμών (𝜈, 𝜇)
αντιστοιχεί ακριβώς ένας φυσικός αριθμός 𝜅:
𝜈, 𝜇 ↦ 𝜅 = 𝜈 + 𝜇
• Η πρόσθεση στους φυσικούς αριθμούς έχει τις ακόλουθες ιδιότητες:
1. Αν α = 𝛽, τότε α + γ = 𝛽 + 𝛾
2. α + β = β + α
3. α + (β + γ) = (𝛼 + 𝛽) + 𝛾
• Η εξίσωση 𝛼 + 𝑥 = 𝛽 δεν έχει λύση για κάθε ζεύγος φυσικών αριθμών α, 𝛽.
26. 1. Σύνολα
Άννα Κορφιάτη | korfiati.an@gmail.com | https://www.facebook.com/mathwithcoding | 6974 12 9730
• Πολλαπλασιασμός: απεικόνιση ℕ∗
× ℕ∗
→ ℕ∗
όπου σε κάθε ζεύγος φυσικών
αριθμών (𝜈, 𝜇) αντιστοιχεί ακριβώς ένας φυσικός αριθμός 𝜅:
𝜈, 𝜇 ↦ 𝜅 = 𝜈𝜇
• Η πρόσθεση στους φυσικούς αριθμούς έχει τις ακόλουθες ιδιότητες:
1. Αν α = 𝛽, τότε αγ = 𝛽𝛾
2. αβ = βα
3. α(βγ) = (𝛼𝛽)𝛾
• Η εξίσωση 𝛼𝑥 = 𝛽 δεν έχει λύση για κάθε ζεύγος φυσικών αριθμών α, 𝛽.
• Επιμεριστική ιδιότητα:
α + β γ = 𝛼𝛾 + 𝛽𝛾
27. 1. Σύνολα
Άννα Κορφιάτη | korfiati.an@gmail.com | https://www.facebook.com/mathwithcoding | 6974 12 9730
• Μια θεωρία αποτελείται από μια ολιγοπληθή ομάδα κατάλληλων
πρωταρχικών όρων, οι οποίοι δεν ορίζονται, καθώς και από ολιγοπληθή
ομάδα κατάλληλων προτάσεων που δίδονται χωρίς απόδειξη, αξιωμάτων.
• Κάθε άλλος όρος της θεωρίας ορίζεται με βάση τους πρωταρχικούς όρους.
• Κάθε άλλη πρόταση της θεωρίας, θεώρημα, αποδεικνύεται από τα αξιώματα
στη βάση συμφωνημένων κανόνων συλλογισμού.
• Τα αξιώματα αποτελούν έμμεσους ορισμούς των πρωταρχικών όρων.
• Ένα σύστημα αξιωμάτων πρέπει να είναι μη αντιφατικό.
• Τα αξιώματα θα πρέπει να είναι ανεξάρτητα.
• Η βασική διαφορά της σύγχρονης αξιωματικής μεθόδου από την παραδοσιακή
(Ευκλείδης) συνίσταται στο ότι είναι απαλλαγμένη από κάθε προσφυγή στην
εμπειρική εποπτεία την οποία έχουμε για τους πρωταρχικούς όρους ή για την
προφανή αλήθεια των αξιωμάτων.
Η σύγχρονη αξιωματική μέθοδος
29. 1. Σύνολα
Άννα Κορφιάτη | korfiati.an@gmail.com | https://www.facebook.com/mathwithcoding | 6974 12 9730
Τα αξιώματα του Peano
Ρ1 : Το ένα είναι αριθμός.
Ρ2 : Ο διάδοχος αριθμού είναι πάλι αριθμός
Ρ3 : Το ένα δεν είναι διάδοχος αριθμού
Ρ4 : Δεν υπάρχουν διαφορετικοί αριθμοί με τον ίδιο διάδοχο.
Ρ5 : Κάθε ιδιότητα την οποία έχει το ένα και η οποία ανήκει στον διάδοχο κάθε
αριθμού που έχει αυτή την ιδιότητα, ανήκει σε όλους τους αριθμούς.
30. 1. Σύνολα
Άννα Κορφιάτη | korfiati.an@gmail.com | https://www.facebook.com/mathwithcoding | 6974 12 9730
Τα αξιώματα του Peano
Το σύνολο ℕ∗ονομάζεται σύνολο των φυσικών αριθμών αν και μόνο αν,
Ρ1 : 1 ∈ ℕ∗
Ρ2 : ∀𝜈 ∈ ℕ∗
⇒ 𝜈 + 1 ∈ ℕ∗
Ρ3 : ∀𝜈 ∈ ℕ∗ ⇒ 𝜈 + 1 ≠ 1
Ρ4 : 𝜈 ∈ ℕ∗
και μ ∈ ℕ∗
και 𝜈 + 1 = 𝜇 + 1 ⇒ 𝜈 = 𝜇
Ρ5 : Αν A ⊆ ℕ∗
και 1 ∈ Α και ∀𝜈 ∈ Α ⇒ 𝜈 + 1 ∈ Α τότε Α = ℕ∗