Σύνολα!

Συντονιστές: cretanman, Demetres, polysot, achilleas, socrates, silouan

socrates
Επιμελητής
Δημοσιεύσεις: 6597
Εγγραφή: Δευ Μαρ 09, 2009 1:47 pm
Τοποθεσία: Θεσσαλονίκη
Επικοινωνία:

Σύνολα!

#1

Μη αναγνωσμένη δημοσίευση από socrates »

Να προσδιορίσετε τα σύνολα A και B, αν ισχύουν οι ακόλουθες συνθήκες:

\bullet A\cup B=\mathbb{Z}
\bullet αν x\in A τότε \left( x-1\right) \in B
\bullet αν x,y\in B τότε \left( x+y\right) \in A.
Θανάσης Κοντογεώργης
Άβαταρ μέλους
Αρχιμήδης 6
Δημοσιεύσεις: 1205
Εγγραφή: Παρ Αύγ 27, 2010 11:27 pm
Τοποθεσία: ΚΑΛΑΜΑΤΑ

Re: Σύνολα!

#2

Μη αναγνωσμένη δημοσίευση από Αρχιμήδης 6 »

Λάθε βιώσας-Επίκουρος
Κανακάρης Δημήτριος.
dement
Διευθύνον Μέλος
Δημοσιεύσεις: 1419
Εγγραφή: Τρί Δεκ 23, 2008 10:11 am

Re: Σύνολα!

#3

Μη αναγνωσμένη δημοσίευση από dement »

Μια άλλη λύση είναι η A = 2 \mathbb{Z}, B = 2 \mathbb{Z} + 1. Μήπως υπάρχει και η επιπλέον συνθήκη A \cap B = \emptyset ;
Δημήτρης Σκουτέρης

Τα μαθηματικά είναι η μοναδική επιστήμη που θα μπορούσε κανείς να εξακολουθήσει να ασκεί αν κάποτε ξυπνούσε και το σύμπαν δεν υπήρχε πλέον.
socrates
Επιμελητής
Δημοσιεύσεις: 6597
Εγγραφή: Δευ Μαρ 09, 2009 1:47 pm
Τοποθεσία: Θεσσαλονίκη
Επικοινωνία:

Re: Σύνολα!

#4

Μη αναγνωσμένη δημοσίευση από socrates »

Το πρόβλημα είναι έτσι ακριβώς.

Οι λύσεις είναι οι δύο που αναφέρθηκαν!
Θανάσης Κοντογεώργης
Άβαταρ μέλους
Αρχιμήδης 6
Δημοσιεύσεις: 1205
Εγγραφή: Παρ Αύγ 27, 2010 11:27 pm
Τοποθεσία: ΚΑΛΑΜΑΤΑ

Re: Σύνολα!

#5

Μη αναγνωσμένη δημοσίευση από Αρχιμήδης 6 »

Σωκράτη μπόρεις να αναρτήσεις την υπόδειξη?
Λάθε βιώσας-Επίκουρος
Κανακάρης Δημήτριος.
Άβαταρ μέλους
Γενικοί Συντονιστές
Γενικός Συντονιστής
Δημοσιεύσεις: 520
Εγγραφή: Κυρ Σεπ 13, 2009 12:52 am

Re: Σύνολα!

#6

Μη αναγνωσμένη δημοσίευση από Γενικοί Συντονιστές »

Αρχιμήδης 6 έγραψε:Σωκράτη μπόρεις να αναρτήσεις την υπόδειξη?
Δεν υπάρχει λόγος για υπόδειξη. Η άσκηση είναι προσιτή.
Οι Γενικοί Συντονιστές του mathematica
Άβαταρ μέλους
Mulder
Δημοσιεύσεις: 97
Εγγραφή: Κυρ Νοέμ 22, 2009 6:43 pm

Re: Σύνολα!

#7

Μη αναγνωσμένη δημοσίευση από Mulder »

\bullet A\cup B=\mathbb{Z}, (1)
\bullet αν x\in A τότε \left( x-1\right) \in B ,(2)
\bullet αν x,y\in B τότε \left( x+y\right) \in A ,(3)

Προφανής λύση η A=B=Z.

Έστω ότι A\neq ZB\neq Z ,(4)

Àν 0\in B \overset{3}{\Rightarrow} (\forall x \in B \Rightarrow x\in A ) \Rightarrow B\subset A \Rightarrow A\cup B=A=Z .Τότε όμως απ'την (2) B=Z άτοπο λόγω της (4).

Άρα 0\notin B \overset{1}{\Rightarrow} 0\in A \overset{2}{\Rightarrow} -1\in B

3\notin B \overset{1}{\Rightarrow} 3\in A \overset{2}\Rightarrow 2\in B \overset{3:x=-1,y=2}{\Rightarrow} 1\in A \overset{2}{\Rightarrow} 0\in B ,ἀτοπο άρα 3\in B

Tελικά,\forall x \in A \Rightarrow (x-1) \in B \overset{3:x=x-1,y=-1}{\Rightarrow} x-2 \in A , (α)
\forall x \in A \Rightarrow (x-1) \in B \overset{3:x=x-1,y=3}{\Rightarrow} x+2 \in A (β) και
0\in A ,

άρα 2Z\subset A .

Αν y\in (2Z+1)\cap A ,τότε y=2k+1 για κάποιο k\in Z και με τις συνεπαγωγές (α) ,(β) έχουμε τελικά ότι A=Z και πάλι απτή (2) B=Z άτοπο.

Άρα πρἐπει 2Z=A .

Τώρα για κάθε z\in Z της μορφής z=2k+1 ἐχουμε ότι 2k+2\in A \overset{2}{\Rightarrow} z\in B , άρα 2Z+1\subset B ενώ αν υπάρχει κάποιο a=2k\in B τότε \overset{3:x=2k,y=1}{\Rightarrow} 2k+1\in A ,ἀτοπο, άρα πρέπει και B=2Z+1.

Επαληθεύουμε τώρα ότι και τα σύνολα A=2Z , B=2Z+1 επαληθεύουν τις αρχικές συνθήκες.
Mihalis_Lambrou
Επιμελητής
Δημοσιεύσεις: 18442
Εγγραφή: Κυρ Δεκ 21, 2008 2:04 am

Re: Σύνολα!

#8

Μη αναγνωσμένη δημοσίευση από Mihalis_Lambrou »

socrates έγραψε:Να προσδιορίσετε τα σύνολα A και B, αν ισχύουν οι ακόλουθες συνθήκες:

\bullet A\cup B=\mathbb{Z} (1)
\bullet αν x\in A τότε \left( x-1\right) \in B (2)
\bullet αν x,y\in B τότε \left( x+y\right) \in A. (3)
Μικρή παραλλαγή, αλλά είναι όπως την σκέφτηκα:

Αν 0\in B τότε από (3) B\subseteq A οπότε από (1) \mathbb Z = A\cup B = A και από (2) B= \mathbb Z. Μπορούμε λοιπόν να υποθέσουμε ότι 0\not \in B και άρα 0\in A.

Από αυτό και με εναλλάξ χρήση των (2), (3) εύκολα βλέπουμε, διαδοχικά, ότι -1\in B, -2\in A, -3\in B, -4 \in A, ... (*).

Τώρα, αν 1\in A τότε από την (2) ισχύει 0\in B και την περίπτωση αυτή την έχουμε εξετάσει. Οπότε μπορούμε να υποθέσουμε 1\not \in A, \, 1\in B. Από εδώ και με χρήση της (*) και της (3), κανένας θετικός άρτιος δεν είναι στο B (δηλαδή είναι όλοι στο A) γιατί αλλιώς 1 = 2k+(-2k+1)\in A. Συνεπώς από (2) όλοι οι περιττοί θετικοί είναι στο B και όμοια, κανένας θετικός περιττός δεν είναι στο A. Συνεπώς, σε αυτή την περίπτωση, A= 2\mathbb Z, B =  2\mathbb Z +1.

Φιλικά,

Μιχάλης
Απάντηση

Επιστροφή στο “Άλγεβρα - Θεωρία Αριθμών - Συνδυαστική (Seniors) - Παλαιότερες Συζητήσεις”

Μέλη σε σύνδεση

Μέλη σε αυτήν τη Δ. Συζήτηση: Δεν υπάρχουν εγγεγραμμένα μέλη και 1 επισκέπτης