αποδειξη σχεσης

jim
Δημοσιεύσεις: 40
Εγγραφή: Πέμ Ιαν 21, 2010 7:27 pm

αποδειξη σχεσης

#1

Μη αναγνωσμένη δημοσίευση από jim » Πέμ Νοέμ 17, 2011 4:02 pm

Να δείξετε ότι A \times B \neq B \times A όπου A,B μη κενά σύνολα, εκτός αν A=B

Έγραψα A \times B=\{(x,y):x \in A , y \in B \}\neq\{(y,x):y \in B , x \in A \}=B \times A

Γιατί δεν είναι σωστό; Το (x,y) δεν είναι ένα στοιχείο που να το αποδεικνύει ;
τελευταία επεξεργασία από jim σε Πέμ Νοέμ 17, 2011 4:52 pm, έχει επεξεργασθεί 5 φορές συνολικά.


Άβαταρ μέλους
Demetres
Γενικός Συντονιστής
Δημοσιεύσεις: 9010
Εγγραφή: Δευ Ιαν 19, 2009 5:16 pm
Τοποθεσία: Λεμεσός/Πύλα
Επικοινωνία:

Re: αποδειξη σχεσης

#2

Μη αναγνωσμένη δημοσίευση από Demetres » Πέμ Νοέμ 17, 2011 4:25 pm

jim, για βοήθεια στην χρήση latex πέρασε το mouse σου πάνω από το A \times B \neq B \times A για να δεις πως το έγραψα και κάνε την απαραίτητη διόρθωση στην εκφώνηση. Ομοίως και για τους άλλους τύπους.

Λες ότι το (x,y) είναι ένα στοιχείο που να το αποδεικνύει. Αυτό δεν είναι σωστό. Μάλλον θέλεις να πεις το εξής: Έστω x \in A και y \in B. Τότε (x,y) \in A \times B αλλά (x,y) \notin (B,A) και άρα A \times B \neq B \times A. Ούτε αυτό όμως είναι σωστό. Διότι μπορεί να έχουμε επίσης ότι x \in B και y \in A. Πρέπει να είσαι πιο προσεκτικός στην επιλογή των x,y και επίσης πιο προσεκτικός στο πως θα γράψεις την λύση.


jim
Δημοσιεύσεις: 40
Εγγραφή: Πέμ Ιαν 21, 2010 7:27 pm

Re: αποδειξη σχεσης

#3

Μη αναγνωσμένη δημοσίευση από jim » Πέμ Νοέμ 17, 2011 4:28 pm

δηλαδή; μπορείτε να με βοηθήσετε;


Άβαταρ μέλους
Γενικοί Συντονιστές
Γενικός Συντονιστής
Δημοσιεύσεις: 518
Εγγραφή: Κυρ Σεπ 13, 2009 12:52 am

Re: αποδειξη σχεσης

#4

Μη αναγνωσμένη δημοσίευση από Γενικοί Συντονιστές » Πέμ Νοέμ 17, 2011 4:41 pm

Παρακαλώ να διορθώσεις τον κώδικα LATEX και τον τονισμό των λέξεων, ώστε να γίνει συμβατό το κείμενο με τους κανονισμούς μας.


Οι Γενικοί Συντονιστές του mathematica
jim
Δημοσιεύσεις: 40
Εγγραφή: Πέμ Ιαν 21, 2010 7:27 pm

Re: αποδειξη σχεσης

#5

Μη αναγνωσμένη δημοσίευση από jim » Πέμ Νοέμ 17, 2011 4:42 pm

Νομίζω τώρα είναι εντάξη


Άβαταρ μέλους
parmenides51
Δημοσιεύσεις: 6238
Εγγραφή: Πέμ Απρ 23, 2009 9:13 pm
Τοποθεσία: Πεύκη
Επικοινωνία:

Re: αποδειξη σχεσης

#6

Μη αναγνωσμένη δημοσίευση από parmenides51 » Πέμ Νοέμ 17, 2011 4:47 pm

το άγκιστρο γράφεται \{ και \} αντίστοιχα
το ανήκει γράφεται \in
το διπλό συνεπάγεται γράφεται \Leftrightarrow
το παράλληλες γράφεται \parallel

πχ.\Leftrightarrow 3\in\{A\} είναι το \Leftrightarrow 3\in\{A\}


Άβαταρ μέλους
Γενικοί Συντονιστές
Γενικός Συντονιστής
Δημοσιεύσεις: 518
Εγγραφή: Κυρ Σεπ 13, 2009 12:52 am

Re: αποδειξη σχεσης

#7

Μη αναγνωσμένη δημοσίευση από Γενικοί Συντονιστές » Πέμ Νοέμ 17, 2011 4:50 pm

jim έγραψε:Νομίζω τώρα είναι εντάξη
jim έγραψε:Να δείξετε ότι A \times B \neq B \times A όπου A,B μη κενά σύνολα, εκτός αν A=B

Έγραψα A \times B={(x,y):xeA , yeB} \neq{(y,x):yeB , xeA}

Γιατι δεν ειναι σωστο; Το (x,y) δεν ειναι ενα στοιχειο που να το αποδεικνύει ;
Λείπουν οι τόνοι και το "ανήκει" γράφεται " \in " .


Οι Γενικοί Συντονιστές του mathematica
jim
Δημοσιεύσεις: 40
Εγγραφή: Πέμ Ιαν 21, 2010 7:27 pm

Re: αποδειξη σχεσης

#8

Μη αναγνωσμένη δημοσίευση από jim » Πέμ Νοέμ 17, 2011 4:52 pm

Τώρα πρέπει να είναι εντάξη..

Ποιος θα βοηθήσει στη λύση;


Άβαταρ μέλους
Γενικοί Συντονιστές
Γενικός Συντονιστής
Δημοσιεύσεις: 518
Εγγραφή: Κυρ Σεπ 13, 2009 12:52 am

Re: αποδειξη σχεσης

#9

Μη αναγνωσμένη δημοσίευση από Γενικοί Συντονιστές » Πέμ Νοέμ 17, 2011 4:57 pm

jim έγραψε:Τώρα πρέπει να είναι εντάξη..

Ποιος θα βοηθήσει στη λύση;
Πάρε A=\{1,\,2\}, \, A=\{3,\, 4\} και θα δεις μόνος σου αν είναι εντάξει


Οι Γενικοί Συντονιστές του mathematica
jim
Δημοσιεύσεις: 40
Εγγραφή: Πέμ Ιαν 21, 2010 7:27 pm

Re: αποδειξη σχεσης

#10

Μη αναγνωσμένη δημοσίευση από jim » Πέμ Νοέμ 17, 2011 5:05 pm

Γενικοί Συντονιστές έγραψε:
jim έγραψε:Τώρα πρέπει να είναι εντάξη..

Ποιος θα βοηθήσει στη λύση;
Πάρε A=\{1,\,2\}, \, A=\{3,\, 4\} και θα δεις μόνος σου αν είναι εντάξει
Δε το κατάλαβα. Εσείς μου δίνετε ένα παράδειγμα που προφανώς δεν αποδεικνύεται έτσι. Μπορείτε να γίνεται λίγο πιο σαφής; (για μένα ;) )


Άβαταρ μέλους
Γενικοί Συντονιστές
Γενικός Συντονιστής
Δημοσιεύσεις: 518
Εγγραφή: Κυρ Σεπ 13, 2009 12:52 am

Re: αποδειξη σχεσης

#11

Μη αναγνωσμένη δημοσίευση από Γενικοί Συντονιστές » Πέμ Νοέμ 17, 2011 5:12 pm

jim έγραψε:
Γενικοί Συντονιστές έγραψε:
jim έγραψε:Τώρα πρέπει να είναι εντάξη..

Ποιος θα βοηθήσει στη λύση;
Πάρε A=\{1,\,2\}, \, A=\{3,\, 4\} και θα δεις μόνος σου αν είναι εντάξει
Δε το κατάλαβα. Εσείς μου δίνετε ένα παράδειγμα που προφανώς δεν αποδεικνύεται έτσι. Μπορείτε να γίνεται λίγο πιο σαφής; (για μένα ;) )
Αν κάνεις το συγκεριμένο παράδειγμα θα καταλάβεις πώς πρέπει να εργαστείς στην γενική περίπτωση.

Υπόδειξη: Αφού A\ne B είτε υπάρχει a\in A με a\notin B ή b\in B , b\notin A. Στη πρώτη περίπτωση εξέτασε το στοιχείο (a, \, a).


Οι Γενικοί Συντονιστές του mathematica
jim
Δημοσιεύσεις: 40
Εγγραφή: Πέμ Ιαν 21, 2010 7:27 pm

Re: αποδειξη σχεσης

#12

Μη αναγνωσμένη δημοσίευση από jim » Πέμ Νοέμ 17, 2011 9:11 pm

Ωραία ευχαριστώ και συγνώμη για την αναστάτωση..


Απάντηση

Επιστροφή σε “Μαθηματική Λογική & Θεμέλια Μαθηματικών”

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

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