🔷 13 προτάσεις συνόλων για εξάσκηση στις μαθηματικές αποδείξεις

Η Θεωρία Συνόλων προσφέρει ένα εξαιρετικό πεδίο για να εξασκηθούμε στις μαθηματικές αποδείξεις.

Οι παρακάτω 13 προτάσεις αφορούν βασικές πράξεις συνόλων: ένωση, τομή, διαφορά, συμπλήρωμα και καρτεσιανό γινόμενο.

Στόχος δεν είναι απλώς να αναγνωρίσουμε ότι οι ταυτότητες είναι σωστές, αλλά να μπορέσουμε να τις αποδείξουμε αυστηρά.

1️⃣ Υποσύνολα και διαφορά συνόλων

Έστω \(A,B,C\) σύνολα. Να αποδειχθεί ότι, αν

\[ A\subseteq B, \]

τότε

\[ \boxed{A-C\subseteq B-C}. \]

2️⃣ Υποσύνολα και καρτεσιανό γινόμενο

Έστω \(A,B,C\) σύνολα. Να αποδειχθεί ότι, αν

\[ B\subseteq C, \]

τότε

\[ \boxed{A\times B\subseteq A\times C}. \]

3️⃣ Επιμεριστική ιδιότητα της ένωσης

\[ \boxed{ A\cup(B\cap C) = (A\cup B)\cap(A\cup C) } \]

4️⃣ Επιμεριστική ιδιότητα της τομής

\[ \boxed{ A\cap(B\cup C) = (A\cap B)\cup(A\cap C) } \]

5️⃣ Πρώτος νόμος του De Morgan

Αν \(A,B\) είναι υποσύνολα ενός καθολικού συνόλου \(U\), τότε

\[ \boxed{ \overline{A\cap B} = \overline A\cup\overline B } \]

6️⃣ Δεύτερος νόμος του De Morgan

\[ \boxed{ \overline{A\cup B} = \overline A\cap\overline B } \]

7️⃣ Διαφορά από μια τομή

\[ \boxed{ A-(B\cap C) = (A-B)\cup(A-C) } \]

8️⃣ Διαφορά από μια ένωση

\[ \boxed{ A-(B\cup C) = (A-B)\cap(A-C) } \]

9️⃣ Διαφορά μιας ένωσης

\[ \boxed{ (A\cup B)-C = (A-C)\cup(B-C) } \]

🔟 Διαφορά μιας τομής

\[ \boxed{ (A\cap B)-C = (A-C)\cap(B-C) } \]

1️⃣1️⃣ Καρτεσιανό γινόμενο και ένωση

\[ \boxed{ A\times(B\cup C) = (A\times B)\cup(A\times C) } \]

1️⃣2️⃣ Καρτεσιανό γινόμενο και τομή

\[ \boxed{ A\times(B\cap C) = (A\times B)\cap(A\times C) } \]

1️⃣3️⃣ Καρτεσιανό γινόμενο και διαφορά

\[ \boxed{ A\times(B-C) = (A\times B)-(A\times C) } \]

🧠 Πώς αποδεικνύουμε μια ισότητα συνόλων;

Για να αποδείξουμε ότι

\[ X=Y, \]

ένας από τους βασικότερους τρόπους είναι να αποδείξουμε τις δύο εγκλείσεις:

\[ X\subseteq Y \]

και

\[ Y\subseteq X. \]

Συνήθως επιλέγουμε ένα αυθαίρετο στοιχείο \(x\) και μεταφράζουμε την ιδιότητα

\[ x\in X \]

σε ισοδύναμες προτάσεις, μέχρι να καταλήξουμε ότι \(x\in Y\).

💡 Παράδειγμα: Πώς να ξεκινήσετε την Πρόταση 8

Θέλουμε να αποδείξουμε:

\[ A-(B\cup C) = (A-B)\cap(A-C). \]

Πάρτε ένα αυθαίρετο \(x\). Τότε:

\[ x\in A-(B\cup C) \]

σημαίνει ότι

\[ x\in A \quad\text{και}\quad x\notin B\cup C. \]

Τώρα χρησιμοποιήστε το γεγονός ότι

\[ x\notin B\cup C \]

ισοδυναμεί με

\[ x\notin B \quad\text{και}\quad x\notin C. \]

Από εδώ η ζητούμενη ισότητα βρίσκεται μόλις ένα βήμα μακριά.

🎯 Πρόκληση

Προσπαθήστε να αποδείξετε και τις 13 προτάσεις μόνο με στοιχεία, χωρίς διαγράμματα Venn. Είναι εξαιρετική άσκηση στη λογική δομή μιας μαθηματικής απόδειξης.

📚

Έρχεται το πολλαπλό βιβλίο ΝΕΟ — βρες όλες τις επιλογές εδώΠολλαπλό βιβλίο ΝΕΟ — 437 βιβλία σε PDF

PDF & Ψηφιακά Μαθησιακά Αντικείμενα — χωρίς εγγραφή • Portify

📚 437 βιβλία🎬 22.000+ Ψηφιακά Μαθησιακά Αντικείμενα

Δες τα βιβλία →