f(t) = (1 t)a + tb. f(n) =

Μέγεθος: px
Εμφάνιση ξεκινά από τη σελίδα:

Download "f(t) = (1 t)a + tb. f(n) ="

Transcript

1 Παράρτημα Αʹ Αριθμήσιμα και υπεραριθμήσιμα σύνολα Αʹ1 Ισοπληθικά σύνολα Ορισμός Αʹ11 (ισοπληθικότητα) Εστω A, B δύο μη κενά σύνολα Τα A, B λέγονται ισοπληθικά αν υπάρχει μια συνάρτηση f : A B, η οποία είναι 1-1 και επί 1 Τότε, γράφουμε A = c B ή A = B ή και A B Παραδείγματα Αʹ12 (α) Τα σύνολα (0, 1) και (0, 2) είναι ισοπληθικά, μέσω της αντιστοιχίας f : (0, 1) (0, 2) με f(x) = 2x Γενικότερα, κάθε ανοικτό διάστημα (a, b), a, b R, a < b, είναι ισοπληθικό με το (0, 1) μέσω της αντιστοιχίας f : (0, 1) (a, b) με f(t) = (1 t)a + tb (β) Το σύνολο των φυσικών αριθμών N = {1, 2, } είναι ισοπληθικό με το σύνολο των αρτίων A = {2n : n N} μέσω της αντιστοιχίας N A με n 2n (γ) Το σύνολο των φυσικών αριθμών N είναι ισοπληθικό με το σύνολο των ακεραίων Z Πράγματι: θεωρούμε τη συνάρτηση f : N Z με { k, αν n = 2k 1, k N f(n) = 1 k, αν n = 2k, k N Η συνάρτηση f αντιστοιχεί στους περιττούς φυσικούς τους θετικούς ακεραίους και στους άρτιους φυσικούς τους μη θετικούς ακεραίους (δ) Τα σύνολα [0, 1] και [0, 1) είναι ισοπληθικά Πράγματι: θεωρούμε το σύνολο A = { 1 n : n = 1, 2, }, το οποίο είναι υποσύνολο του [0, 1] και ορίζουμε τη συνάρτηση f : [0, 1] 1 Μια τέτοια συνάρτηση ονομάζεται αντιστοιχία Λέμε τότε ότι έχουμε μια αντιστοιχία από το A στο B και γράφουμε A B

2 162 Αριθμησιμα και υπεραριθμησιμα συνολα [0, 1) με f(x) = { 1 n+1, αν x A και x = 1 n x, διαφορετικά Εύκολα ελέγχουμε ότι η f είναι αντιστοιχία Η επόμενη πρόταση μας λέει ότι η ισοπληθικότητα μεταξύ συνόλων είναι σχέση ισοδυναμίας Πρόταση Αʹ13 Εστω A, B, C μη κενά σύνολα Τότε ισχύουν τα ακόλουθα: (α) A A, (β) αν A B, τότε B A και (γ) αν A B και B C, τότε A C Απόδειξη Άμεση Συμβολισμός Συμβολίζουμε με T n το σύνολο των πρώτων n φυσικών, δηλαδή T n = {1, 2, n} Ορισμός Αʹ14 (πεπερασμένα και άπειρα σύνολα) (α) Εστω A μη κενό σύνολο 2 Το A λέγεται πεπερασμένο αν υπάρχουν n N και συνάρτηση f : A T n η οποία είναι 1-1 και επί Τότε, λέμε ότι ο πληθάριθμος του A είναι n ή ότι το A έχει n στοιχεία και γράφουμε card(a) = n ή #A = n ή και A = n (β) Ενα σύνολο A λέγεται άπειρο αν δεν είναι πεπερασμένο Πρόταση Αʹ15 Ενα σύνολο A είναι άπειρο αν και μόνο αν υπάρχει 1-1 συνάρτηση f : N A, δηλαδή υπάρχει B A ώστε B N Απόδειξη Υποθέτουμε πρώτα ότι το A είναι άπειρο Ειδικότερα, το A είναι μη κενό Άρα, υπάρχει a 1 A Τότε, το σύνολο A \ {a 1 } είναι μη κενό Άρα, υπάρχει a 2 A \ {a 1 } Ομοίως, A\{a 1, a 2 } και μπορούμε να επιλέξουμε a 3 A\{a 1, a 2 } Επαγωγικά, ορίζεται ακολουθία (a n ) στοιχείων του A Πράγματι: αν υπήρχε n N ώστε A\{a 1, a 2,, a n } = τότε θα είχαμε A = {a 1, a 2,, a n } και το A θα ήταν πεπερασμένο Ορίζουμε τότε f : N A με f(n) = a n Η f είναι 1-1 διότι τα a n είναι διαφορετικά ανά δύο Αν θέσουμε B = f(n) τότε B A και η f : N B είναι 1-1 και επί Δηλαδή, B N Αντίστροφα, υποθέτουμε ότι υπάρχει 1-1 συνάρτηση f : N A Αν το A είναι πεπερασμένο, τότε υπάρχουν m N και g : A T m η οποία είναι 1-1 και επί Τότε, η συνάρτηση g f : N T m είναι 1-1, άτοπο (εξηγήστε γιατί) 2 Για το κενό σύνολο δεχόμαστε ότι είναι πεπερασμένο με πληθάριθμο 0

3 αʹ2 Αριθμησιμα και υπεραριθμησιμα συνολα 163 Συμβολισμός Εστω A, B δύο σύνολα Αν υπάρχει 1-1 συνάρτηση f : A B, γράφουμε A c B ή A B και λέμε ότι το A έχει πληθάριθμο το πολύ ίσο με αυτόν του B Ο συμβολισμός και η ορολογία δικαιολογούνται από το γεγονός ότι το A είναι ισοπληθικό με το f(a) το οποίο είναι υποσύνολο του B Παραδείγματα Αʹ16 (α) Το σύνολο Z των ακεραίων είναι άπειρο, διότι N Z (β) Το σύνολο των ρητών είναι άπειρο διότι N Q (γ) Κάθε μη τετριμμένο διάστημα είναι άπειρο σύνολο Σχόλια Αʹ17 Κάθε άπειρο σύνολο A είναι ισοπληθικό με κάποιο γνήσιο υποσύνολό του Πράγματι, στην πρόταση Α 16 δείξαμε ότι αν το A είναι άπειρο τότε υπάρχει 1-1 συνάρτηση f : N A Γράφουμε b n = f(n) για n = 1, 2, και θέτουμε B = f(n) = {b 1, b 2, } A Θεωρούμε το σύνολο C = A \ {b 1 }, το οποίο είναι γνήσιο υποσύνολο του A και ορίζουμε μια συνάρτηση g : A C ως εξής: { bn+1, αν x = b g(x) = n για κάποιο n x, αν x A \ B Εύκολα ελέγχουμε ότι η g είναι 1-1 και επί (άσκηση) Αʹ2 Αριθμήσιμα και υπεραριθμήσιμα σύνολα Ορισμός Αʹ21 (αριθμήσιμα και υπεραριθμήσιμα σύνολα) Εστω A ένα άπειρο σύνολο Το A θα λέγεται άπειρο αριθμήσιμο αν υπάρχει 1-1 και επί συνάρτηση f : N A, δηλαδή αν A N Ενα σύνολο A λέγεται αριθμήσιμο αν είναι πεπερασμένο ή άπειρο αριθμήσιμο Αν το A δεν είναι αριθμήσιμο, θα λέγεται υπεραριθμήσιμο Συμβολισμός Τον πληθάριθμο των φυσικών αριθμών τον συμβολίζουμε με ω ή ℵ 0 (άλεφ 0) Ετσι, αν το σύνολο A είναι αριθμήσιμο γράφουμε A = ℵ 0 Παραδείγματα Αʹ22 (α) Το σύνολο Z των ακεραίων είναι άπειρο αριθμήσιμο (β) Το N N = {(m, n) : m, n N} είναι άπειρο αριθμήσιμο: η συνάρτηση f : N N N με f(m, n) = 2 m 1 (2n 1) είναι 1-1 και επί Το γεγονός ότι είναι επί έπεται από το θεμελιώδες θεώρημα της αριθμητικής (δείξτε ότι είναι 1-1) (γ) Αν A, B είναι άπειρα αριθμήσιμα σύνολα, τότε το A B = {(a, b) : a A, b B} είναι επίσης άπειρο αριθμήσιμο Πράγματι, αν τα A, B είναι άπειρα αριθμήσιμα τότε υπάρχουν f : A N και g : B N συναρτήσεις 1-1 και επί Θεωρούμε τη συνάρτηση h : A B N N όπου h(a, b) = (f(a), g(b)) Χρησιμοποιώντας το γεγονός ότι οι f και g είναι 1-1 και επί μπορούμε εύκολα να ελέγξουμε ότι η h είναι 1-1 και επί Άρα, A B N N Από το προηγούμενο παράδειγμα έχουμε N N N, οπότε από την πρόταση Α 13 έπεται ότι A B N Η επόμενη πρόταση δίνει χρήσιμους χαρακτηρισμούς για τα αριθμήσιμα σύνολα

4 164 Αριθμησιμα και υπεραριθμησιμα συνολα Πρόταση Αʹ23 Εστω A άπειρο σύνολο Τα εξής είναι ισοδύναμα: (α) Το A είναι αριθμήσιμο (β) Υπάρχει συνάρτηση f : N A, η οποία είναι επί (γ) Υπάρχει συνάρτηση g : A N, η οποία είναι 1-1 Για την απόδειξη της πρότασης θα χρειαστούμε ένα λήμμα το οποίο παρουσιάζει ανεξάρτητο ενδιαφέρον Λήμμα Αʹ24 Εστω A άπειρο υποσύνολο του N Τότε, το A είναι αριθμήσιμο Απόδειξη Το A είναι άπειρο, επομένως είναι μη κενό Από την αρχή της καλής διάταξης (αρχή του ελαχίστου) υπάρχει το a 1 = min A Το σύνολο A \ {a 1 } είναι επίσης μη κενό (αλλιώς το A θα ήταν πεπερασμένο) οπότε, πάλι από την αρχή της καλής διάταξης, υπάρχει το a 2 = min A \ {a 1 } Η διαδικασία αυτή συνεχίζεται επ άπειρον, γιατί αν σταματούσε σε κάποιο βήμα n 0 θα είχαμε A \ {a 1,, a n0 } =, δηλαδή το A θα ήταν πεπερασμένο Ετσι, ορίζεται επαγωγικά μια ακολουθία (a n ) διαφορετικών ανά δύο στοιχείων του A Παρατηρήστε ότι η (a n ) είναι γνησίως αύξουσα ακολουθία φυσικών, άρα a n n για κάθε n N Ισχυρισμός A = {a 1, a 2,, a n, } Είναι προφανές ότι {a 1, a 2,, a n } A Αν υποθέσουμε ότι ο εγκλεισμός είναι γνήσιος, τότε υπάρχει a A ώστε a a n για κάθε n N Προφανώς, είναι a > a 1 και επίσης υπάρχει n N ώστε a n > a (διότι a n n) Άρα, υπάρχει μέγιστος n με την ιδιότητα a > a n Τότε, a n < a < a n+1 Αυτό είναι άτοπο, διότι έχουμε a A \ {a 1,, a n } και a < min A \ {a 1,, a n } Από τον ισχυρισμό έπεται άμεσα ότι το A είναι αριθμήσιμο Τώρα είμαστε σε θέση να αποδείξουμε την πρόταση Α 23 Απόδειξη της πρότασης Α 23 Η συνεπαγωγή (α) (β) είναι άμεση από τον ορισμό του αριθμήσιμου συνόλου Υποθέτουμε ότι ισχύει το (β), δηλαδή υπάρχει συνάρτηση f : N A, η οποία είναι επί Τότε, για κάθε a A ισχύει f 1 ({a}) Θέτουμε n a = min f 1 ({a}), a A (το min υπάρχει από την αρχή της καλής διάταξης) Η συνάρτηση g : A N, με g(a) = n a είναι καλά ορισμένη και 1-1 Πράγματι: παρατηρούμε ότι αν a, b A με a b, τότε f 1 ({a}) f 1 ({b}) = και άρα n a n b Εστω ότι ισχύει το (γ) δηλαδή, υπάρχει 1-1 συνάρτηση g : A N Τότε, το B = g(a) είναι άπειρο υποσύνολο των φυσικών Από το λήμμα είναι αριθμήσιμο, δηλαδή υπάρχει h : B N, η οποία είναι 1-1 και επί Θεωρούμε τη συνάρτηση φ : A N με φ(a) = h(g(a)) Εύκολα ελέγχουμε ότι είναι 1-1 και επί, άρα το A είναι αριθμήσιμο Παραδείγματα Αʹ25 Το σύνολο Q των ρητών αριθμών είναι αριθμήσιμο Αφού το Q είναι άπειρο, αρκεί να δείξουμε ότι υπάρχει 1-1 συνάρτηση g : Q N Αφού N Z N, αρκεί να δείξουμε ότι υπάρχει 1-1 συνάρτηση f : Q Z N Θεωρούμε τη συνάρτηση f : Q Z N με f( m n ) = (m, n), όπου m Z, n N και gcd (m, n) = 1

5 αʹ2 Αριθμησιμα και υπεραριθμησιμα συνολα 165 Το επόμενο θεώρημα οφείλεται στον Cantor και δείχνει ότι αριθμήσιμες το πλήθος πράξεις μεταξύ αριθμήσιμων συνόλων παράγουν αριθμήσιμα σύνολα Το επιχείρημα που χρησιμοποιείται για την απόδειξη είναι γνωστό ως πρώτο διαγώνιο επιχείρημα του Cantor Θεώρημα Αʹ26 (Cantor, 1899) Εστω (A i ) i I μια οικογένεια αριθμήσιμων υποσυνόλων ενός συνόλου X Αν το I είναι αριθμήσιμο, τότε και το i I A i είναι αριθμήσιμο Απόδειξη Το I είναι αριθμήσιμο, μπορούμε λοιπόν να υποθέσουμε χωρίς περιορισμό της γενικότητας ότι είναι το N Ετσι, έχουμε την οικογένεια A 1, A 2,, A n, Επίσης, κάθε A i είναι αριθμήσιμο, επομένως μπορούμε να απαριθμήσουμε τα στοιχεία του ως A i = {a i 1, a i 2,, a i k, }, i = 1, 2, (αν κάποιο από τα A i είναι πεπερασμένο, «επαναλαμβάνουμε» κάποιο στοιχείο του άπειρες φορές) Αριθμώντας με αυτόν τον τρόπο τα στοιχεία του εκάστοτε συνόλου παίρνουμε έναν άπειρο πίνακα, όπως φαίνεται στο ακόλουθο σχήμα: A 1 : a 1 1 a 1 2 a 1 3 a 1 k A 2 : a 2 1 a 2 2 a 2 3 a 2 k A 3 : a 3 1 a 3 2 a 3 3 a 3 k A n : a n 1 a n 2 a n 3 a n k Τότε, είναι προφανές ότι ο πίνακας αυτός περιέχει όλα τα στοιχεία του A = i=1 A i (ενδεχομένως με επαναλήψεις) Απαριθμούμε τα στοιχεία αυτού του πίνακα κατά μήκος των διαγωνίων με κατεύθυνση από τα αριστερά προς τα δεξιά, ως εξής: a 1 1, a 2 1, a 1 2, a 3 1, a 2 2, a 1 3, Από την παραπάνω διαδικασία αρίθμησης προκύπτει απεικόνιση π : N A επί (ορίστε την π) Το συμπέρασμα έπεται από το (β) της πρότασης Α 23 Η επόμενη πρόταση αποδεικνύει ότι υπάρχουν σύνολα τα οποία δεν είναι αριθμήσιμα Αυτό μάλιστα ισχύει για τα μη τετριμμένα διαστήματα στο R Πρόταση Αʹ27 Το σύνολο [0, 1] = {x R : 0 x 1} είναι υπεραριθμήσιμο Απόδειξη Το σύνολο [0, 1] είναι άπειρο Εστω ότι είναι αριθμήσιμο Τότε, μπορούμε να γράψουμε [0, 1] = {x n : n = 1, 2, } Διαιρούμε το [0, 1] σε τρία διαδοχικά ισομήκη διαστήματα ως εξής: [0, 1] = [0, 1/3] [1/3, 2/3] [2/3, 1] Τότε, τουλάχιστον ένα από αυτά τα τρία διαστήματα δεν περιέχει το

6 166 Αριθμησιμα και υπεραριθμησιμα συνολα x 1 Ονομάζουμε αυτό το διάστημα I 1 και το διαιρούμε σε τρία ισομήκη διαδοχικά κλειστά διαστήματα μήκους 1/9 Τουλάχιστον ένα από αυτά δεν περιέχει το x 2 Ονομάζουμε αυτό το διάστημα I 2 Συνεχίζουμε με τον ίδιο τρόπο, οπότε παίρνουμε μια φθίνουσα ακολουθία κλειστών διαστημάτων I n = [a n, b n ] με x n / I n και b n a n = 3 n 0 Από την αρχή κιβωτισμού ισχύει n=1 I n = {x} Αφού x [0, 1], υπάρχει n 0 N ώστε x = x n0 Άτοπο, διότι x I n για κάθε n N ενώ x n0 / I n0 Σημείωση: Παρατηρήστε ότι η πληρότητα των πραγματικών αριθμών παίζει ουσιαστικό ρόλο στην απόδειξη: χρησιμοποιήσαμε την αρχή του κιβωτισμού Σε αντιδιαστολή, το σύνολο Q [0, 1] είναι αριθμήσιμο Πόρισμα Αʹ28 Το σύνολο των πραγματικών αριθμών R και το σύνολο των αρρήτων R \ Q είναι υπεραριθμήσιμα Τέλος, δείχνουμε ότι το σύνολο των δυαδικών ακολουθιών είναι υπεραριθμήσιμο Θεώρημα Αʹ29 (Cantor) Το σύνολο των δυαδικών ακολουθιών είναι υπεραριθμήσιμο 2 N = {0, 1} N = {x = (x(n)) : x(n) {0, 1}, n = 1, 2, } Απόδειξη Το επιχείρημα της απόδειξης είναι γνωστό ως δεύτερο διαγώνιο επιχείρημα του Cantor Αρχικά παρατηρούμε ότι το σύνολο 2 N είναι άπειρο Εστω ότι είναι αριθμήσιμο Τότε, υπάρχει μια αρίθμηση των στοιχείων του: 2 N = {x n : n = 1, 2, }, όπου κάθε x n είναι δυαδική ακολουθία Μπορούμε τότε να παραστήσουμε τα στοιχεία x n και τις συντεταγμένες τους σε μορφή άπειρου πίνακα: x 1 = (x 1 (1), x 1 (2), x 1 (3),, x 1 (k), ) x 2 = (x 2 (1), x 2 (2), x 2 (3),, x 2 (k), ) x 3 = (x 3 (1), x 3 (2), x 3 (3),, x 3 (k), ) x n = (x n (1), x n (2), x n (3),, x n (k), ) Κοιτάμε το πρώτο στοιχείο στην πρώτη συντεταγμένη, το δεύτερο στοιχείο στη δεύτερη συντεταγμένη, το τρίτο στοιχείο στην τρίτη συντεταγμένη κοκ Δηλαδή, κινούμαστε στην «κύρια διαγώνιο» του πίνακα και βάσει αυτής ορίζουμε το εξής στοιχείο του 2 N : y = (1 x 1 (1), 1 x 2 (2),, 1 x k (k), ) Τότε, για κάθε n N είναι x n y διότι x n (n) 1 x n (n) = y(n) Με άλλα λόγια, το y διαφέρει από το x 1 στην πρώτη θέση, από το x 2 στη δεύτερη θέση κοκ Ετσι οδηγούμαστε σε αντίφαση

B = {x A : f(x) = 1}.

B = {x A : f(x) = 1}. Θεωρία Συνόλων Χειμερινό Εξάμηνο 016 017 Λύσεις 1. Χρησιμοποιώντας την Αρχή του Περιστερώνα για τους φυσικούς αριθμούς, δείξτε ότι για κάθε πεπερασμένο σύνολο A και για κάθε f : A A, αν η f είναι 1-1 τότε

Διαβάστε περισσότερα

i=1 i=1 i=1 (x i 1, x i +1) (x 1 1, x k +1),

i=1 i=1 i=1 (x i 1, x i +1) (x 1 1, x k +1), Κεφάλαιο 6 Συμπάγεια 6.1 Ορισμός της συμπάγειας Οπως θα φανεί στην αμέσως επόμενη παράγραφο, υπάρχουν διάφοροι τρόποι με τους οποίους μπορεί κανείς να εισάγει την έννοια του συμπαγούς μετρικού χώρου. Ο

Διαβάστε περισσότερα

B = F i. (X \ F i ) = i I

B = F i. (X \ F i ) = i I Κεφάλαιο 3 Τοπολογία μετρικών χώρων Ομάδα Α 3.1. Εστω (X, ρ) μετρικός χώρος και F, G υποσύνολα του X. Αν το F είναι κλειστό και το G είναι ανοικτό, δείξτε ότι το F \ G είναι κλειστό και το G \ F είναι

Διαβάστε περισσότερα

x < A y f(x) < B f(y).

x < A y f(x) < B f(y). Χειμερινό Εξάμηνο 2016 2017 Ασκήσεις στα Κεφάλαια 5 & 6 1. Αυτή είναι ουσιαστικά η Άσκηση 5.2 (σελ. 119), από τις σημειώσεις του Σκανδάλη. Εστω A, < καλά διατεταγμένο σύνολο και έστω στοιχείο a A. Αποδείξτε

Διαβάστε περισσότερα

Θεωρία Υπολογισμού και Πολυπλοκότητα

Θεωρία Υπολογισμού και Πολυπλοκότητα Θεωρία Υπολογισμού και Πολυπλοκότητα Κεφάλαιο 1. Μαθηματικό Υπόβαθρο 23, 26 Ιανουαρίου 2007 Δρ. Παπαδοπούλου Βίκη 1 1.1. Σύνολα Ορισμός : Σύνολο μια συλλογή από αντικείμενα Στοιχεία: Μέλη συνόλου Τα στοιχεία

Διαβάστε περισσότερα

j=1 x n (i) x s (i) < ε.

j=1 x n (i) x s (i) < ε. Κεφάλαιο 5 Πληρότητα 5.1 Πλήρεις μετρικοί χώροι Ορισμός 5.1.1 (πλήρης μετρικός χώρος). Ενας μετρικός χώρος (X, ρ) λέγεται πλήρης (complete) αν κάθε ρ βασική ακολουθία (x n ) στον X είναι ρ συγκλίνουσα.

Διαβάστε περισσότερα

f x 0 για κάθε x και f 1

f x 0 για κάθε x και f 1 06 4.2 Το Λήμμα του Uysoh το Λήμμα της εμφύτευσης και το θεώρημα μετρικοποίησης του Uysoh. Ο κύριος στόχος αυτής της παραγράφου είναι η απόδειξη ενός θεμελιώδους αποτελέσματος γνωστού ως το Λήμμα του Uysoh.

Διαβάστε περισσότερα

[(W V c ) (W c V c )] c \ W = [(W V c ) (W c V c )] c \ W = [(W V c ) c (W c V c ) c ] \ W = [(W c W ) V ] \ W

[(W V c ) (W c V c )] c \ W = [(W V c ) (W c V c )] c \ W = [(W V c ) c (W c V c ) c ] \ W = [(W c W ) V ] \ W ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ Ιανουάριος 2012 Τμήμα Μαθηματικών Διδάσκων: Χρήστος Κουρουνιώτης Μ1124 ΘΕΜΕΛΙΑ ΤΩΝ ΜΑΘΗΜΑΤΙΚΩΝ Παρατηρήσεις 1. Διαβάστε προσεκτικά τα θέματα πριν αρχίσετε να απαντάτε. Οι απαντήσεις

Διαβάστε περισσότερα

n = r J n,r J n,s = J

n = r J n,r J n,s = J Ανάλυση Fourer και Ολοκλήρωμα Lebesgue (2011 12) 4ο Φυλλάδιο Ασκήσεων Υποδείξεις 1. Εστω E [a, b] με µ (E) = 0. Δείξτε ότι το [a, b] \ E είναι πυκνό υποσύνολο του [a, b]. Υπόδειξη. Θεωρήστε ένα μη κενό

Διαβάστε περισσότερα

Περιεχόμενα. Πρόλογος 3

Περιεχόμενα. Πρόλογος 3 Πρόλογος Τα πρώτα μαθήματα, σχεδόν σε όλους τους κλάδους των μαθηματικών, περιέχουν, ή θεωρούν γνωστές, εισαγωγικές έννοιες που αφορούν σύνολα, συναρτήσεις, σχέσεις ισοδυναμίας, αλγεβρικές δομές, κλπ.

Διαβάστε περισσότερα

Θεωρία Υπολογισμού και Πολυπλοκότητα Μαθηματικό Υπόβαθρο

Θεωρία Υπολογισμού και Πολυπλοκότητα Μαθηματικό Υπόβαθρο Θεωρία Υπολογισμού και Πολυπλοκότητα Μαθηματικό Υπόβαθρο Στην ενότητα αυτή θα μελετηθούν τα εξής επιμέρους θέματα: Σύνολα Συναρτήσεις και Σχέσεις Γραφήματα Λέξεις και Γλώσσες Αποδείξεις ΕΠΛ 211 Θεωρία

Διαβάστε περισσότερα

ή κανονικός ( regular ), αν για κάθε x και κάθε κλειστό αντιπαραδείγματα με τα οποία αποδεικνύεται ότι οι αντίστροφες συνεπαγωγές δεν ισχύουν.

ή κανονικός ( regular ), αν για κάθε x και κάθε κλειστό αντιπαραδείγματα με τα οποία αποδεικνύεται ότι οι αντίστροφες συνεπαγωγές δεν ισχύουν. 93 4 Διαχωριστικά αξιώματα Στο κεφάλαιο αυτό εισάγουμε τα λεγόμενα διαχωριστικά αξιώματα και εξετάζουμε τις βασικές ιδιότητές τους. Ένα από αυτά το έχουμε ήδη εισαγάγει δηλαδή το αξίωμα Husdorff ( ορισμός

Διαβάστε περισσότερα

4 Ασθενείς τοπολογίες σε χώρους με νόρμα. 4.1 θεωρήματα Mazur, Alaoglou, Goldstine.

4 Ασθενείς τοπολογίες σε χώρους με νόρμα. 4.1 θεωρήματα Mazur, Alaoglou, Goldstine. 8 Έστω (, ) 4 Ασθενείς τοπολογίες σε χώρους με νόρμα 4. θεωρήματα Mazur, Alaoglou, Goldste. χώρος με νόρμα. Υπενθυμίζουμε ότι η ασθενής τοπολογία T του έχει ως βάση ( ανοικτών ) περιοχών του όλα τα σύνολα

Διαβάστε περισσότερα

, για κάθε n N. και P είναι αριθμήσιμα.

, για κάθε n N. και P είναι αριθμήσιμα. ΕΘΝΙΚΟ ΜΕΤΣΟΒΙΟ ΠΟΛΥΤΕΧΝΕΙΟ ΣΧΟΛΗ ΗΛΕΚΤΡΟΛΟΓΩΝ ΜΗΧΑΝΙΚΩΝ ΚΑΙ ΜΗΧΑΝΙΚΩΝ ΥΠΟΛΟΓΙΣΤΩΝ ΔΙΑΚΡΙΤA ΜΑΘΗΜΑΤΙΚΑ Διδάσκοντες: Δ.Φωτάκης Θ. Σούλιου η Γραπτή Εργασία Ημ/νια παράδοσης 5/4/8 Θέμα (Διαδικασίες Απαρίθμησης.

Διαβάστε περισσότερα

Αλγόριθμοι για αυτόματα

Αλγόριθμοι για αυτόματα Κεφάλαιο 8 Αλγόριθμοι για αυτόματα Κύρια βιβλιογραφική αναφορά για αυτό το Κεφάλαιο είναι η Hopcroft, Motwani, and Ullman 2007. 8.1 Πότε ένα DFA αναγνωρίζει κενή ή άπειρη γλώσσα Δοθέντος ενός DFA M καλούμαστε

Διαβάστε περισσότερα

ΕΠΛ 211: Θεωρία Υπολογισμού και Πολυπλοκότητας. Διάλεξη 2: Μαθηματικό Υπόβαθρο

ΕΠΛ 211: Θεωρία Υπολογισμού και Πολυπλοκότητας. Διάλεξη 2: Μαθηματικό Υπόβαθρο ΕΠΛ 211: Θεωρία Υπολογισμού και Πολυπλοκότητας Διάλεξη 2: Μαθηματικό Υπόβαθρο Τι θα κάνουμε σήμερα Συναρτήσεις & Σχέσεις (0.2.3) Γράφοι (Γραφήματα) (0.2.4) Λέξεις και Γλώσσες (0.2.5) Αποδείξεις (0.3) 1

Διαβάστε περισσότερα

ΚΕΦΑΛΑΙΟ 4: Ριζικό του Jacobson

ΚΕΦΑΛΑΙΟ 4: Ριζικό του Jacobson ΚΕΦΑΛΑΙΟ 4: Ριζικό του Jacobso Στο κεφάλαιο αυτό μελετάμε δακτυλίους του Art χρησιμοποιώντας το ριζικό του Jacobso. Ως εφαρμογή αποδεικνύουμε ότι κάθε δακτύλιος του Art είναι και της Noether. 4.1. Δακτύλιοι

Διαβάστε περισσότερα

f(f 1 (B)) f(f 1 (B)) B. X \ (f 1 (C)) = X \ f 1 (C) = f 1 (Y \ C) X \ (f 1 (C)) f 1 (Y \ C). f 1 (Y \ C) = f 1 (Y \ C ) = X \ f 1 (C ).

f(f 1 (B)) f(f 1 (B)) B. X \ (f 1 (C)) = X \ f 1 (C) = f 1 (Y \ C) X \ (f 1 (C)) f 1 (Y \ C). f 1 (Y \ C) = f 1 (Y \ C ) = X \ f 1 (C ). Κεφάλαιο 4 Συναρτήσεις μεταξύ μετρικών χώρων 4.1 Συνεχείς συναρτήσεις Εστω (X, ρ) και (Y, σ) δύο μετρικοί χώροι. Στην 2.2 δώσαμε τον ορισμό της συνέχειας μιας συνάρτησης f : X Y σε κάποιο σημείο x 0 X:

Διαβάστε περισσότερα

> ln 1 + ln ln n = ln(1 2 3 n) = ln(n!).

> ln 1 + ln ln n = ln(1 2 3 n) = ln(n!). η Διάλεξη: Άρρητοι αριθμοί Το σύνολο Q των ρητών αριθμών είναι το Q = { m n : m Z, n N}. αριθμός που δεν είναι ρητός λέγεται άρρητος. Ενας πραγματικός Ασκηση: Αποδείξτε ότι το άθροισμα και το γινόμενο

Διαβάστε περισσότερα

Αριθμήσιμα σύνολα. Μαθηματικά Πληροφορικής 5ο Μάθημα. Παραδείγματα αριθμήσιμων συνόλων. Οι ρητοί αριθμοί

Αριθμήσιμα σύνολα. Μαθηματικά Πληροφορικής 5ο Μάθημα. Παραδείγματα αριθμήσιμων συνόλων. Οι ρητοί αριθμοί Αριθμήσιμα σύνολα Μαθηματικά Πληροφορικής 5ο Μάθημα Τμήμα Πληροφορικής και Τηλεπικοινωνιών Πανεπιστήμιο Αθηνών Ορισμός Πόσα στοιχεία έχει το σύνολο {a, b, r, q, x}; Οσα και το σύνολο {,,, 4, 5} που είναι

Διαβάστε περισσότερα

K15 Ψηφιακή Λογική Σχεδίαση 3: Προτασιακή Λογική / Θεωρία Συνόλων

K15 Ψηφιακή Λογική Σχεδίαση 3: Προτασιακή Λογική / Θεωρία Συνόλων K15 Ψηφιακή Λογική Σχεδίαση 3: Προτασιακή Λογική / Θεωρία Συνόλων Γιάννης Λιαπέρδος TEI Πελοποννήσου Σχολή Τεχνολογικών Εφαρμογών Τμήμα Μηχανικών Πληροφορικής ΤΕ Στοιχεία προτασιακής λογικής Περιεχόμενα

Διαβάστε περισσότερα

Συνεκτικά σύνολα. R είναι συνεκτικά σύνολα.

Συνεκτικά σύνολα. R είναι συνεκτικά σύνολα. 4 Συνεκτικά σύνολα Έστω, Ι R διάστηµα και f : Ι R συνεχής, τότε η f έχει την ιδιότητα της ενδιαµέσου τιµής, δηλαδή, η f παίρνει κάθε τιµή µεταξύ δύο οποιονδήποτε διαφορετικών τιµών της, συνεπώς το f (

Διαβάστε περισσότερα

Ασκήσεις Απειροστικού Λογισμού ΙΙ Πρόχειρες Σημειώσεις Τμήμα Μαθηματικών Πανεπιστήμιο Αθηνών Περιεχόμενα Υπακολουθίες και ακολουθίες Cuchy Σειρές πραγματικών αριθμών 3 3 Ομοιόμορφη συνέχεια 3 4 Ολοκλήρωμα

Διαβάστε περισσότερα

S n = ( 1, 0] 1 + b 1 a1 + b 1 I 1 I 2 I 3...,

S n = ( 1, 0] 1 + b 1 a1 + b 1 I 1 I 2 I 3..., ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ ΤΜΕΜ Χειμερινό εξάμηνο 017-18 ΜΕΜ31-ΤΟΠΟΛΟΓΙΑ 1, 3Η ΔΙΑΛΕΞΗ ΣΥΝΤΟΜΗ ΕΠΑΝΑΛΗΨΗ ΤΗΣ ΤΟΠΟΛΟΓΙΑΣ ΤΟΥ R ΔΙΔΑΣΚΩΝ: Ι.Δ. ΠΛΑΤΗΣ 1. Ανοικτα και κλειστα συνολα του R Το σύνολο R των πραγματικών

Διαβάστε περισσότερα

Απειροσ τικός Λογισμός ΙΙ Πρόχειρες Σημειώσεις Τμήμα Μαθηματικών Πανεπιστήμιο Αθηνών

Απειροσ τικός Λογισμός ΙΙ Πρόχειρες Σημειώσεις Τμήμα Μαθηματικών Πανεπιστήμιο Αθηνών Απειροστικός Λογισμός ΙΙ Πρόχειρες Σημειώσεις Τμήμα Μαθηματικών Πανεπιστήμιο Αθηνών - Περιεχόμενα Υπακολουθίες και βασικές ακολουθίες. Υπακολουθίες. Θεώρημα Bolzno Weierstrss.αʹ Απόδειξη με χρήση της

Διαβάστε περισσότερα

a n = sup γ n. lim inf n n n lim sup a n = lim lim inf a n = lim γ n. lim sup a n = lim β n = 0 = lim γ n = lim inf a n. 2. a n = ( 1) n, n = 1, 2...

a n = sup γ n. lim inf n n n lim sup a n = lim lim inf a n = lim γ n. lim sup a n = lim β n = 0 = lim γ n = lim inf a n. 2. a n = ( 1) n, n = 1, 2... ΜΑΘΗΜΑΤΙΚΗ ΑΝΑΛΥΣΗ Β.ΒΛΑΧΟΥ, Α. ΣΟΥΡΜΕΛΙΔΗΣ Τμήμα Μαθηματικών, Πανεπιστήμιο Πατρών Φθινόπωρο 2013 1 Θα θέλαμε να αναφέρουμε ότι για την συγγραφή αυτών των σημειώσεων χρησιμοποιήσαμε ιδιαίτερα α)το βιβλίο

Διαβάστε περισσότερα

Μια TM µπορεί ένα από τα δύο: να αποφασίζει µια γλώσσα L. να αναγνωρίζει (ηµιαποφασίζει) µια γλώσσα L. 1. Η TM «εκτελεί» τον απαριθµητή, E.

Μια TM µπορεί ένα από τα δύο: να αποφασίζει µια γλώσσα L. να αναγνωρίζει (ηµιαποφασίζει) µια γλώσσα L. 1. Η TM «εκτελεί» τον απαριθµητή, E. Οι γλώσσες των Μηχανών Turing Αποφασισιµότητα / Αναγνωρισιµότητα Μια TM µπορεί ένα από τα δύο: να αποφασίζει µια γλώσσα L Αποδέχεται όταν (η είσοδος στην TM) w L. Ορέστης Τελέλης telelis@unipi.gr Τµήµα

Διαβάστε περισσότερα

Μιχάλης Παπαδημητράκης. Πραγματική Ανάλυση. Μέτρο και ολοκλήρωμα Lebesgue στο R. Τμήμα Μαθηματικών. Πανεπιστήμιο Κρήτης

Μιχάλης Παπαδημητράκης. Πραγματική Ανάλυση. Μέτρο και ολοκλήρωμα Lebesgue στο R. Τμήμα Μαθηματικών. Πανεπιστήμιο Κρήτης Μιχάλης Παπαδημητράκης Πραγματική Ανάλυση Μέτρο και ολοκλήρωμα Lebesgue στο R Τμήμα Μαθηματικών Πανεπιστήμιο Κρήτης Περιεχόμενα Το μέτρο Lebesgue.. Μήκη διαστημάτων..................................2

Διαβάστε περισσότερα

Ας θεωρήσουμε δύο πραγματικούς αριθμούς. Είναι γνωστό ότι:,. Αυτό σημαίνει ότι: «=», «

Ας θεωρήσουμε δύο πραγματικούς αριθμούς. Είναι γνωστό ότι:,. Αυτό σημαίνει ότι: «=», « .1 Στη παράγραφο αυτή θα γνωρίσουμε μερικές βασικές έννοιες της Λογικής, τις οποίες θα χρησιμοποιήσουμε στη συνέχεια, όπου αυτό κρίνεται αναγκαίο, για τη σαφέστερη διατύπωση μαθηματικών εννοιών, προτάσεων

Διαβάστε περισσότερα

6 Συνεκτικοί τοπολογικοί χώροι

6 Συνεκτικοί τοπολογικοί χώροι 36 6 Συνεκτικοί τοπολογικοί χώροι Έστω R διάστημα και f : R συνεχής συνάρτηση τότε, όπως γνωρίζουμε από τον Απειροστικό Λογισμό, η f έχει την ιδιότητα της ενδιάμεσου τιμής. Η ιδιότητα αυτή δεν εξαρτάται

Διαβάστε περισσότερα

Συνεκτικά σύνολα. R είναι συνεκτικά σύνολα.

Συνεκτικά σύνολα. R είναι συνεκτικά σύνολα. 4 Συνεκτικά σύνολα Έστω, Ι διάστηµα και f : Ι συνεχής, τότε η f έχει την ιδιότητα της ενδιαµέσου τιµής, δηλαδή, η f παίρνει κάθε τιµή µεταξύ δύο οποιονδήποτε διαφορετικών τιµών της, συνεπώς το f ( Ι )

Διαβάστε περισσότερα

2.1 ΜΟΝΟΤΟΝΙΑ ΑΚΡΟΤΑΤΑ ΣΥΜΜΕΤΡΙΕΣ ΣΥΝΑΡΤΗΣΗ

2.1 ΜΟΝΟΤΟΝΙΑ ΑΚΡΟΤΑΤΑ ΣΥΜΜΕΤΡΙΕΣ ΣΥΝΑΡΤΗΣΗ ΚΕΦΑΛΑΙΟ Ο : ΙΔΙΟΤΗΤΕΣ ΣΥΝΑΡΤΗΣΕΩΝ. ΜΟΝΟΤΟΝΙΑ ΑΚΡΟΤΑΤΑ ΣΥΜΜΕΤΡΙΕΣ ΣΥΝΑΡΤΗΣΗΣ ΟΡΙΣΜΟΣ ΣΥΝΑΡΤΗΣΗΣ Συνάρτηση από ένα σύνολο Α σε ένα σύνολο Β λέγεται μια διαδικασία (κανόνας), με την οποία κάθε στοιχείο του

Διαβάστε περισσότερα

f(x) f(c) x 1 c x 2 c

f(x) f(c) x 1 c x 2 c Μαθηματικός Λογισμός Ι Φθινόπωρο 2014 Σημειώσεις 1-12-14 Μ. Ζαζάνης 1 Πραγματικές Συναρτήσεις και Ορια Εστω S R ένα υποσύνολο του R και f : S R μια συνάρτηση με πεδίο ορισμού το S και τιμές στους πραγματικούς

Διαβάστε περισσότερα

(a + b) + c = a + (b + c), (ab)c = a(bc) a + b = b + a, ab = ba. a(b + c) = ab + ac

(a + b) + c = a + (b + c), (ab)c = a(bc) a + b = b + a, ab = ba. a(b + c) = ab + ac Σημειώσεις μαθήματος Μ1212 Γραμμική Άλγεβρα ΙΙ Χρήστος Κουρουνιώτης ΤΜΗΜΑ ΜΑΘΗΜΑΤΙΚΩΝ ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ 2014 Κεφάλαιο 1 Διανυσματικοί Χώροι Στο εισαγωγικό μάθημα Γραμμικής Άλγεβρας ξεκινήσαμε μελετώντας

Διαβάστε περισσότερα

Τα παρακάτω σύνολα θα τα θεωρήσουμε γενικά γνωστά, αν και θα δούμε πολλές από τις ιδιότητές τους: N Z Q R C

Τα παρακάτω σύνολα θα τα θεωρήσουμε γενικά γνωστά, αν και θα δούμε πολλές από τις ιδιότητές τους: N Z Q R C Κεφάλαιο 1 Εισαγωγικές έννοιες Στο κεφάλαιο αυτό θα αναφερθούμε σε ορισμένες έννοιες, οι οποίες ίσως δεν έχουν άμεση σχέση με τους διανυσματικούς χώρους, όμως θα χρησιμοποιηθούν αρκετά κατά τη μελέτη τόσο

Διαβάστε περισσότερα

Όταν δεν υπάρχει κίνδυνος σύγχυσης γράφουμε συνήθως ο τοπολογικός χώρος X και χρησιμοποιούμε την σύντμηση τ.χ. (= τοπολογικός χώρος).

Όταν δεν υπάρχει κίνδυνος σύγχυσης γράφουμε συνήθως ο τοπολογικός χώρος X και χρησιμοποιούμε την σύντμηση τ.χ. (= τοπολογικός χώρος). 4 Τοπολογικοί χώροι. Στοιχειώδεις έννοιες της τοπολογίας Στην παράγραφο αυτή εισάγουμε τις βασικές έννοιες της τοπολογίας, δηλαδή αυτές του ανοικτού και κλειστού συνόλου, της κλειστότητας και του εσωτερικού

Διαβάστε περισσότερα

f I X i I f i X, για κάθεi I.

f I X i I f i X, για κάθεi I. 47 2 Πράξεις σε τοπολογικούς χώρους 2. Η τοπολογία γινόμενο Σε προηγούμενη παράγραφο ορίσαμε την τοπολογία γινόμενο στο καρτεσιανό γινόμενο Y δύο τοπολογικών χώρων Y, ( παράδειγμα.33 () ). Στην παρούσα

Διαβάστε περισσότερα

Σημειώσεις Λογικής I. Εαρινό Εξάμηνο Καθηγητής: Λ. Κυρούσης

Σημειώσεις Λογικής I. Εαρινό Εξάμηνο Καθηγητής: Λ. Κυρούσης Σημειώσεις Λογικής I Εαρινό Εξάμηνο 2011-2012 Καθηγητής: Λ. Κυρούσης 2 Τελευταία ενημέρωση 28/3/2012, στις 01:37. Περιεχόμενα 1 Εισαγωγή 5 2 Προτασιακή Λογική 7 2.1 Αναδρομικοί Ορισμοί - Επαγωγικές Αποδείξεις...................

Διαβάστε περισσότερα

1 Η εναλλάσσουσα ομάδα

1 Η εναλλάσσουσα ομάδα Η εναλλάσσουσα ομάδα Η εναλλάσσουσα ομάδα Όπως είδαμε η συνάρτηση g : S { } είναι ένας επιμορφισμός ομάδων. Ο πυρήνας Ke g {σ S / g σ } του επιμορφισμού συμβολίζεται με A περιέχει όλες τις άρτιες μεταθέσεις

Διαβάστε περισσότερα

Μιχάλης Παπαδημητράκης. Αρμονική Ανάλυση. Τμήμα Μαθηματικών. Πανεπιστήμιο Κρήτης

Μιχάλης Παπαδημητράκης. Αρμονική Ανάλυση. Τμήμα Μαθηματικών. Πανεπιστήμιο Κρήτης Μιχάλης Παπαδημητράκης Αρμονική Ανάλυση Τμήμα Μαθηματικών Πανεπιστήμιο Κρήτης Περιεχόμενα 1 Το ολοκλήρωμα Lebesgue. 1 1.1 Σύνολα μηδενικού μέτρου..................................... 1 1.2 Η συλλογή C

Διαβάστε περισσότερα

ΚΕΦΑΛΑΙΟ 3: Συνθήκες Αλυσίδων

ΚΕΦΑΛΑΙΟ 3: Συνθήκες Αλυσίδων ΚΕΦΑΛΑΙΟ 3: Συνθήκες Αλυσίδων Μελετάμε εδώ τη συνθήκη της αύξουσας αλυσίδας υποπροτύπων και τη συνθήκη της φθίνουσας αλυσίδας υποπροτύπων Αυτές συνδέονται μεταξύ τους με την έννοια της συνθετικής σειράς

Διαβάστε περισσότερα

V x, y W x, y, y συνιστούν προφανώς ένα ανοικτό

V x, y W x, y, y συνιστούν προφανώς ένα ανοικτό 81 3.2 Το θεώρημα Tychooff. Στην παράγραφο αυτή θα ασχοληθούμε με το θεώρημα Tychooff, δηλαδή ότι ένα αυθαίρετο καρτεσιανό γινόμενο συμπαγών χώρων είναι, με την τοπολογία γινόμενο, συμπαγής χώρος. Το θεώρημα

Διαβάστε περισσότερα

Εισαγωγικά Παραδείγματα: Παρατηρήσεις:

Εισαγωγικά Παραδείγματα: Παρατηρήσεις: 1 Εισαγωγικά Η έννοια του συνόλου είναι πρωταρχική στα Μαθηματικά, δεν μπορεί δηλ. να οριστεί από άλλες έννοιες. Γενικά, μπορούμε να πούμε ότι σύνολο είναι μια συλλογή αντικειμένων. υτά λέμε ότι περιέχονται

Διαβάστε περισσότερα

ΑΛΓΕΒΡΑ Α ΛΥΚΕΙΟΥ. 8. Πότε το γινόμενο δύο ή περισσοτέρων αριθμών παραγόντων είναι ίσο με το μηδέν ;

ΑΛΓΕΒΡΑ Α ΛΥΚΕΙΟΥ. 8. Πότε το γινόμενο δύο ή περισσοτέρων αριθμών παραγόντων είναι ίσο με το μηδέν ; ΑΛΓΕΒΡΑ Α ΛΥΚΕΙΟΥ ΚΕΦΑΛΑΙΟ ο : ( ΕΡΩΤΗΣΕΙΣ ΘΕΩΡΙΑΣ ) ΠΑΡΑΤΗΡΗΣΗ : Το κεφάλαιο αυτό περιέχει πολλά θέματα που είναι επανάληψη εννοιών που διδάχθηκαν στο Γυμνάσιο γι αυτό σ αυτές δεν θα επεκταθώ αναλυτικά

Διαβάστε περισσότερα

a = a a Z n. a = a mod n.

a = a a Z n. a = a mod n. Αλγεβρα Ι Χειμερινο Εξαμηνο 2017 18 Διάλεξη 1 Ενότητα 1. Πράξεις: Πράξεις στο σύνολο S, ο πίνακας της πράξης, αντιμεταθετικές πράξεις. Προσεταιριστικές πράξεις, το στοιχείο a 1 a 2 a n. Η πράξη «σύνθεση

Διαβάστε περισσότερα

Παράδειγμα άμεσης απόδειξης. HY118-Διακριτά Μαθηματικά. Μέθοδοι αποδείξεως για προτάσεις της μορφής εάν-τότε

Παράδειγμα άμεσης απόδειξης. HY118-Διακριτά Μαθηματικά. Μέθοδοι αποδείξεως για προτάσεις της μορφής εάν-τότε HY118-Διακριτά Μαθηματικά Τρίτη, 27/02/2018 Αντώνης Α. Αργυρός e-mail: argyros@csd.uoc.gr Το υλικό των διαφανειών έχει βασιστεί σε διαφάνειες του Kees van Deemter, από το University of Aberdeen 27-Feb-18

Διαβάστε περισσότερα

ΚΕΦΑΛΑΙΟ 2: Ημιαπλοί Δακτύλιοι

ΚΕΦΑΛΑΙΟ 2: Ημιαπλοί Δακτύλιοι ΚΕΦΑΛΑΙΟ : Ημιαπλοί Δακτύλιοι Είδαμε στο κύριο θεώρημα του προηγούμενου κεφαλαίου ότι κάθε δακτύλιος διαίρεσης έχει την ιδιότητα κάθε πρότυπο είναι ευθύ άθροισμα απλών προτύπων Εδώ θα χαρακτηρίσουμε όλους

Διαβάστε περισσότερα

h(x, y) = card ({ 1 i n : x i y i

h(x, y) = card ({ 1 i n : x i y i Κεφάλαιο 1 Μετρικοί χώροι 1.1 Ορισμός και παραδείγματα Ορισμός 1.1.1 μετρική). Εστω X ένα μη κενό σύνολο. Μετρική στο X λέγεται κάθε συνάρτηση ρ : X X R με τις παρακάτω ιδιότητες: i) ρx, y) για κάθε x,

Διαβάστε περισσότερα

(ii) X P(X). (iii) X X. (iii) = (i):

(ii) X P(X). (iii) X X. (iii) = (i): Θεωρία Συνόλων Χειμερινό Εξάμηνο 2016 2017 Λύσεις 1. Δείξτε ότι ισχύουν τα ακόλουθα: (i) ω / ω (με άλλα λόγια, το ω δεν είναι φυσικός αριθμός). (ii) Για κάθε n ω, ισχύει ω / n. (iii) Για κάθε n ω, το n

Διαβάστε περισσότερα

(β ) ((X c Y ) (X c Y c )) c

(β ) ((X c Y ) (X c Y c )) c Λύσεις Ασκήσεων στα Θεμέλια των Μαθηματικών II Ρωμανός-Διογένης Μαλικιώσης Παρασκευή, 29 Οκτωβρίου 2010 Άσκηση 1. Απλοποιήστε τις ακόλουθες εκφράσεις (α ) (D c F ) c (D F ) (β ) ((X c Y ) (X c Y c )) c

Διαβάστε περισσότερα

HY118-Διακριτά Μαθηματικά

HY118-Διακριτά Μαθηματικά HY118-Διακριτά Μαθηματικά Τρίτη, 27/02/2018 Αντώνης Α. Αργυρός e-mail: argyros@csd.uoc.gr Το υλικό των διαφανειών έχει βασιστεί σε διαφάνειες του Kees van Deemter, από το University of Aberdeen 27-Feb-18

Διαβάστε περισσότερα

Θεωρία Υπολογισμού Άρτιοι ΑΜ. Διδάσκων: Σταύρος Κολλιόπουλος. eclass.di.uoa.gr. Περιγραφή μαθήματος

Θεωρία Υπολογισμού Άρτιοι ΑΜ. Διδάσκων: Σταύρος Κολλιόπουλος. eclass.di.uoa.gr. Περιγραφή μαθήματος Περιγραφή μαθήματος Θεωρία Υπολογισμού Άρτιοι ΑΜ Σκοπός του μαθήματος είναι η εισαγωγή στη Θεωρία Υπολογισμού και στη Θεωρία Υπολογιστικής Πολυπλοκότητας (Θεωρία Αλγορίθμων). Διδάσκων: Σταύρος Κολλιόπουλος

Διαβάστε περισσότερα

Θεωρία Υπολογισμού Αρτιοι ΑΜ Διδάσκων: Σταύρος Κολλιόπουλος eclass.di.uoa.gr

Θεωρία Υπολογισμού Αρτιοι ΑΜ Διδάσκων: Σταύρος Κολλιόπουλος eclass.di.uoa.gr Θεωρία Υπολογισμού Άρτιοι ΑΜ Διδάσκων: Σταύρος Κολλιόπουλος eclass.di.uoa.gr Περιγραφή μαθήματος Σκοπός του μαθήματος είναι η εισαγωγή στη Θεωρία Υπολογισμού και στη Θεωρία Υπολογιστικής Πολυπλοκότητας

Διαβάστε περισσότερα

Κεφάλαιο 2. Παραγοντοποίηση σε Ακέραιες Περιοχές

Κεφάλαιο 2. Παραγοντοποίηση σε Ακέραιες Περιοχές Κεφάλαιο Παραγοντοποίηση σε Ακέραιες Περιοχές Γνωρίζουµε ότι στο Ÿ κάθε στοιχείο εκτός από το 0 και τα ± γράφεται ως γινόµενο πρώτων αριθµών κατά τρόπο ουσιαστικά µοναδικό Από τη Βασική Άλγεβρα ξέρουµε

Διαβάστε περισσότερα

Εισαγωγή στην Τοπολογία

Εισαγωγή στην Τοπολογία Ενότητα: Συνθήκες αριθµησιµότητας Γεώργιος Κουµουλλής Τµήµα Μαθηµατικών Αδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό υλικό, όπως εικόνες, που

Διαβάστε περισσότερα

1 1 + nx. f n (x) = nx 1 + n 2 x 2. x2n 1 + x 2n

1 1 + nx. f n (x) = nx 1 + n 2 x 2. x2n 1 + x 2n Οι ασκήσεις αυτές έχουν σκοπό να βοηθήσουν τους φοιτητές στην μελέτη τους για το μάθημα «Ανάλυση ΙΙ» του Τμήματος Μαθηματικών του Πανεπιστημίου Αιγαίου. Συνιστούμε στους φοιτητές να επεξεργαστούν αυτές

Διαβάστε περισσότερα

ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ. Λυσεις Ασκησεων - Φυλλαδιο 2

ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ. Λυσεις Ασκησεων - Φυλλαδιο 2 ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ Τµηµα Β Λυσεις Ασκησεων - Φυλλαδιο ιδασκων: Α. Μπεληγιάννης Ιστοσελιδα Μαθηµατος : http://users.uoi.gr/abeligia/numbertheory/nt016/nt016.html Πέµπτη 7 Οκτωβρίου 016 Ασκηση 1. Βρείτε όλους

Διαβάστε περισσότερα

Έχοντας υπόψιν το Λήμμα του Urysohn, είναι φυσικό να θέσουμε το ακόλουθο ερώτημα: Αν

Έχοντας υπόψιν το Λήμμα του Urysohn, είναι φυσικό να θέσουμε το ακόλουθο ερώτημα: Αν 3 4.3 Τελείως κανονικοί χώροι ( ). 3 2 Έχοντας υπόψιν το Λήμμα του Urysoh, είναι φυσικό να θέσουμε το ακόλουθο ερώτημα: Αν κανονικός χώρος, x και κλειστό ώστε x. Υπάρχει τότε συνεχής συνάρτηση f :, ώστε

Διαβάστε περισσότερα

ΕΙΣΑΓΩΓΙΚΟ ΚΕΦΑΛΑΙΟ. a β a β.

ΕΙΣΑΓΩΓΙΚΟ ΚΕΦΑΛΑΙΟ. a β a β. ΕΙΣΑΓΩΓΙΚΟ ΚΕΦΑΛΑΙΟ Ε.1 ΤΟ ΛΕΞΙΛΟΓΙΟ ΤΗΣ ΛΟΓΙΚΗΣ Στη παράγραφο αυτή θα γνωρίσουμε μερικές βασικές έννοιες της Λογικής, τις οποίες θα χρησιμοποιήσουμε στη συνέχεια, όπου αυτό κρίνεται αναγκαίο, για τη σαφέστερη

Διαβάστε περισσότερα

R ισούται με το μήκος του. ( πρβλ. την ιστορική σημείωση 3.27 στο τέλος

R ισούται με το μήκος του. ( πρβλ. την ιστορική σημείωση 3.27 στο τέλος 73 3. Συμπαγείς χώροι 3. Συμπαγείς χώροι και βασικές ιδιότητες Οι συμπαγείς χώροι είναι μια από τις πιο σημαντικές κλάσεις τοπολογικών χώρων. Η κλάση των συμπαγών χώρων περιλαμβάνει τα κλειστά διαστήματα,b

Διαβάστε περισσότερα

Μη γράφετε στο πίσω μέρος της σελίδας

Μη γράφετε στο πίσω μέρος της σελίδας Διακριτά Μαθηματικά Ενδιάμεση εξέταση 1 Φεβρουάριος 2014 Σελ. 1 από 7 Στη σελίδα αυτή γράψτε μόνο τα στοιχεία σας. Γράψτε τις απαντήσεις σας στις επόμενες σελίδες, κάτω από τις αντίστοιχες ερωτήσεις. Στις

Διαβάστε περισσότερα

2.1 Διαιρετότητα, ισοϋπόλοιποι αριθμοί. q Z, a = b q + r.

2.1 Διαιρετότητα, ισοϋπόλοιποι αριθμοί. q Z, a = b q + r. Κεφάλαιο 2 Θεωρία Αριθμών Κύριες βιβλιογραφικές αναφορές για αυτό το Κεφάλαιο είναι οι Hardy and Wright 1979 και Graham, Knuth, and Patashnik 1994. 2.1 Διαιρετότητα, ισοϋπόλοιποι αριθμοί Θεώρημα 2.1 Αν

Διαβάστε περισσότερα

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

Απειροστικός Λογισμός Ι, χειμερινό εξάμηνο Λύσεις έβδομου φυλλαδίου ασκήσεων. Απειροστικός Λογισμός Ι, χειμερινό εξάμηνο 2018-19. Λύσεις έβδομου φυλλαδίου ασκήσεων. 1. Έχουν οι παρακάτω συναρτήσεις μέγιστη ή ελάχιστη τιμή στο διάστημα (0, 1); Στο διάστημα (, + ); Στο διάστημα [0,

Διαβάστε περισσότερα

Πραγµατική Ανάλυση ( ) Ασκήσεις - Κεφάλαιο 3

Πραγµατική Ανάλυση ( ) Ασκήσεις - Κεφάλαιο 3 Πραγµατική Ανάλυση (2015-16) Ασκήσεις - Κεφάλαιο 3 Οµάδα Α 1. Εστω (X, ρ) µετρικός χώρος και F, G υποσύνολα του X. Αν το F είναι κλειστό και το G είναι ανοικτό, δείξτε ότι το F \ G είναι κλειστό και το

Διαβάστε περισσότερα

Το Θεώρημα Stone - Weierstrass

Το Θεώρημα Stone - Weierstrass Το Θεώρημα Stone - Weierstrass Θεώρημα 1 Έστω ¹ X συμπαγής χώρος Hausdorff και έστω C R (X η πραγματική άλγεβρα όλων των συνεχών συναρτήσεων f : X R. Έστω ότι ένα υποσύνολο A C R (X (1 το A είναι υπάλγεβρα

Διαβάστε περισσότερα

ΑΝΑΛΥΣΗ 1 ΕΙΚΟΣΤΟ ΕΒΔΟΜΟ ΜΑΘΗΜΑ, Μ. Παπαδημητράκης.

ΑΝΑΛΥΣΗ 1 ΕΙΚΟΣΤΟ ΕΒΔΟΜΟ ΜΑΘΗΜΑ, Μ. Παπαδημητράκης. ΑΝΑΛΥΣΗ 1 ΕΙΚΟΣΤΟ ΕΒΔΟΜΟ ΜΑΘΗΜΑ, 6-12-13 Μ. Παπαδημητράκης. 1 Τώρα θα δούμε την απόδειξη του Θεωρήματος που διατυπώσαμε στο τέλος του προηγούμενου μαθήματος. Απόδειξη. [α] Θεωρούμε συνάρτηση f : A R και

Διαβάστε περισσότερα

ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ Λυσεις Ασκησεων - Φυλλαδιο 1

ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ Λυσεις Ασκησεων - Φυλλαδιο 1 ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ Λυσεις Ασκησεων - Φυλλαδιο ιδασκοντες: Α. Μπεληγιάννης - Σ. Παπαδάκης Ιστοσελιδα Μαθηµατος : http://users.uoi.gr/abeligia/numbertheory/nt.html Τετάρτη 7 Φεβρουαρίου 03 Ασκηση. είξτε ότι

Διαβάστε περισσότερα

ΜΕΓΙΣΤΙΚΟΣ ΤΕΛΕΣΤΗΣ 18 Σεπτεμβρίου 2014

ΜΕΓΙΣΤΙΚΟΣ ΤΕΛΕΣΤΗΣ 18 Σεπτεμβρίου 2014 ΜΕΓΙΣΤΙΚΟΣ ΤΕΛΕΣΤΗΣ 18 Σεπτεμβρίου 2014 Περιεχόμενα 1 Εισαγωγή 2 2 Μεγιστικός τελέστης στην μπάλα 2 2.1 Βασικό θεώρημα........................ 2 2.2 Γενική περίπτωση μπάλας.................. 6 2.2.1 Στο

Διαβάστε περισσότερα

x 2 + y 2 = z 2 x = 3, y = 4, z = 5 x 2 + y 2 = z 2 (2.1)

x 2 + y 2 = z 2 x = 3, y = 4, z = 5 x 2 + y 2 = z 2 (2.1) Πυθαγόρειες Τριάδες Χριστίνα Ιατράκη Ημερομηνία παράδοσης -10-014 1 Εισαγωγικά Ορισμός 1.1 Πυθαγόρεια τριάδα καλείται κάθε τριάδα ακέραιων (x, y, z) που είναι μη τετριμμένη λύση της εξίσωσης Μια τέτοια

Διαβάστε περισσότερα

Η Θεωρία στα Μαθηματικά κατεύθυνσης της Γ Λυκείου

Η Θεωρία στα Μαθηματικά κατεύθυνσης της Γ Λυκείου Η Θεωρία στα Μαθηματικά κατεύθυνσης της Γ Λυκείου wwwaskisopolisgr έκδοση 5-6 wwwaskisopolisgr ΣΥΝΑΡΤΗΣΕΙΣ 5 Τι ονομάζουμε πραγματική συνάρτηση; Έστω Α ένα υποσύνολο του Ονομάζουμε πραγματική συνάρτηση

Διαβάστε περισσότερα

m + s + q r + n + q p + s + n, P Q R P Q P R Q R F G

m + s + q r + n + q p + s + n, P Q R P Q P R Q R F G Λύσεις Θεμάτων Θεμελίων των Μαθηματικών 1. Εστω A, B, C τυχόντα σύνολα. Να δειχθεί ότι A (B C) (A B) (A C). Απόδειξη. Εστω x τυχαίο στοιχείο του A (B C). Εξ ορισμού, το x ανήκει σε ακριβώς ένα από τα A,

Διαβάστε περισσότερα

Μεταθέσεις και πίνακες μεταθέσεων

Μεταθέσεις και πίνακες μεταθέσεων Παράρτημα Α Μεταθέσεις και πίνακες μεταθέσεων Το παρόν παράρτημα βασίζεται στις σελίδες 671 8 του βιβλίου: Γ. Χ. Ψαλτάκης, Κβαντικά Συστήματα Πολλών Σωματιδίων (Πανεπιστημιακές Εκδόσεις Κρήτης, Ηράκλειο,

Διαβάστε περισσότερα

ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ Ασκησεις - Φυλλαδιο 2

ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ Ασκησεις - Φυλλαδιο 2 ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ Ασκησεις - Φυλλαδιο ιδασκοντες: Ν. Μαρµαρίδης - Α. Μπεληγιάννης Ιστοσελιδα Μαθηµατος : http://users.uoi.gr/abeligia/numbertheory/nt014/nt014.html https://sites.google.com/site/maths4edu/home/14

Διαβάστε περισσότερα

ΜΑΘΗΜΑΤΙΚΑ ΠΡΟΣΑΝΑΤΟΛΙΣΜΟΥ ΘΕΤΙΚΩΝ ΣΠΟΥΔΩΝ - ΟΙΚΟΝΟΜΙΑΣ & ΠΛΗΡΟΦΟΡΙΚΗΣ Γ ΛΥΚΕΙΟΥ ΘΕΩΡΙΑ & ΑΠΟΔΕΙΞΕΙΣ

ΜΑΘΗΜΑΤΙΚΑ ΠΡΟΣΑΝΑΤΟΛΙΣΜΟΥ ΘΕΤΙΚΩΝ ΣΠΟΥΔΩΝ - ΟΙΚΟΝΟΜΙΑΣ & ΠΛΗΡΟΦΟΡΙΚΗΣ Γ ΛΥΚΕΙΟΥ ΘΕΩΡΙΑ & ΑΠΟΔΕΙΞΕΙΣ ΜΑΘΗΜΑΤΙΚΑ ΠΡΟΣΑΝΑΤΟΛΙΣΜΟΥ ΘΕΤΙΚΩΝ ΣΠΟΥΔΩΝ - ΟΙΚΟΝΟΜΙΑΣ & ΠΛΗΡΟΦΟΡΙΚΗΣ Γ ΛΥΚΕΙΟΥ ΘΕΩΡΙΑ & ΑΠΟΔΕΙΞΕΙΣ Επιμέλεια: Βασίλης Κράνιας wwwe-mathsgr ΑΝΑΛΥΣΗ Τι ονομάζουμε πραγματική συνάρτηση Έστω Α ένα υποσύνολο

Διαβάστε περισσότερα

Βρέντζου Τίνα Φυσικός Μεταπτυχιακός τίτλος ΜEd: «Σπουδές στην εκπαίδευση»

Βρέντζου Τίνα Φυσικός Μεταπτυχιακός τίτλος ΜEd: «Σπουδές στην εκπαίδευση» Μονοτονία - Ακρότατα - Συμμετρίες συνάρτησης Μονοτονία Συνάρτησης Ορισμοί Α) Μια συνάρτηση f λέγεται γνησίως αύξουσα σε ένα υποσύνολο Β του Πεδίου Ορισμού της όταν : για κάθε, B με < f( ) < f( ). Β) Μια

Διαβάστε περισσότερα

ι3.4 Παραδείγματα T ) έχει την ιδιότητα Heine-Borel, αν κάθε κλειστό και φραγμένο υποσύνολό του είναι συμπαγές.

ι3.4 Παραδείγματα T ) έχει την ιδιότητα Heine-Borel, αν κάθε κλειστό και φραγμένο υποσύνολό του είναι συμπαγές. 6 ι3.4 Παραδείγματα Στην παράγραφο αυτή θα μελετήσουμε κάποια σημαντικά παραδείγματα, για τις εφαρμογές, χώρων συναρτήσεων οι οποίοι είναι τοπικά κυρτοί και μετρικοποιήσιμοι αλλά η τοπολογία τους δεν επάγεται

Διαβάστε περισσότερα

(a 1, b 1 ) (a 2, b 2 ) = (a 1 a 2, b 1 b 2 ).

(a 1, b 1 ) (a 2, b 2 ) = (a 1 a 2, b 1 b 2 ). ΕΜ0 - Διακριτά Μαθηματικά Ιανουαρίου 006 Άσκηση - Λύσεις Πρόβλημα [0 μονάδες] Εστω L και L δύο κυκλώματα σε ένα γράφημα G. Εστω a μία ακμή που ανήκει και στο L και στο L και έστω b μία ακμή που ανήκει

Διαβάστε περισσότερα

ΑΛΓΕΒΡΑ Α ΛΥΚΕΙΟΥ. 118 ερωτήσεις θεωρίας με απάντηση 324 416 ασκήσεις για λύση. 20 συνδυαστικά θέματα εξετάσεων

ΑΛΓΕΒΡΑ Α ΛΥΚΕΙΟΥ. 118 ερωτήσεις θεωρίας με απάντηση 324 416 ασκήσεις για λύση. 20 συνδυαστικά θέματα εξετάσεων ΑΛΓΕΒΡΑ Α ΛΥΚΕΙΟΥ 118 ερωτήσεις θεωρίας με απάντηση 34 416 ασκήσεις για λύση ερωτήσεις κατανόησης λυμένα παραδείγματα 0 συνδυαστικά θέματα εξετάσεων Π Ε Ρ Ι Ε Χ Ο Μ Ε Ν Α Εισαγωγική ενότητα Το λεξιλόγιο

Διαβάστε περισσότερα

ΑΝΑΛΥΣΗ 1 ΔΕΚΑΤΟ ΜΑΘΗΜΑ, Μ. Παπαδημητράκης.

ΑΝΑΛΥΣΗ 1 ΔΕΚΑΤΟ ΜΑΘΗΜΑ, Μ. Παπαδημητράκης. ΑΝΑΛΥΣΗ 1 ΔΕΚΑΤΟ ΜΑΘΗΜΑ, 9-10-13 Μ. Παπαδημητράκης. 1 ΠΡΟΤΑΣΗ. Αν ισχύει y n για άπειρους n και x R και y n y R, τότε x y. Απόδειξη. Υποθέτουμε (για άτοπο) ότι y < x. Γνωρίζουμε ότι υπάρχει κάποιος αρκετά

Διαβάστε περισσότερα

8. Πολλαπλές μερικές παράγωγοι

8. Πολλαπλές μερικές παράγωγοι 94 8 Πολλαπλές μερικές παράγωγοι Οι μερικές παράγωγοι,,, αν υπάρχουν, μιας συνάρτησης : U R R ( U ανοικτό ) είναι αυτές συναρτήσεις από το U στο R, επομένως μπορεί να ορισθεί για αυτές η έννοια της μερικής

Διαβάστε περισσότερα

Η έννοια του συνόλου. Εισαγωγικό κεφάλαιο 27

Η έννοια του συνόλου. Εισαγωγικό κεφάλαιο 27 Εισαγωγικό κεφάλαιο 27 Η έννοια του συνόλου Σύνολο είναι κάθε συλλογή αντικειμένων, που προέρχονται από την εμπειρία μας ή τη διανόησή μας, είναι καλά ορισμένα και διακρίνονται το ένα από το άλλο. Αυτός

Διαβάστε περισσότερα

sin(5x 2 ) sin(4x) e 5t 2 1 (ii) lim x 0 10x 3 (iii) lim (iv) lim. 10t sin(ax) = 1. = 1 1 a lim = sin(5x2 ) = 2. f (x) = sin x. = e5t 1 = 1 0 = 0.

sin(5x 2 ) sin(4x) e 5t 2 1 (ii) lim x 0 10x 3 (iii) lim (iv) lim. 10t sin(ax) = 1. = 1 1 a lim = sin(5x2 ) = 2. f (x) = sin x. = e5t 1 = 1 0 = 0. ΑΣΚΗΣΕΙΣ ΑΠΕΙΡΟΣΤΙΚΟΥ ΛΟΓΙΣΜΟΥ Ι, Φυλλάδιο 3 Λύσεις Ασκήσεων. Να υπολογίσετε τα παρακάτω όρια. sia) i) ποιες συνθήκες πρέπει να ισχύουν για τα a, β ώστε να έχει νόημα το όριο;) 0 siβ) si5 ) si4) cos cos

Διαβάστε περισσότερα

b. Για κάθε θετικό ακέραιο m και για κάθε A. , υπάρχουν άπειρα το πλήθος πολυώνυμα ( x) [ x] m και ( A) 0.

b. Για κάθε θετικό ακέραιο m και για κάθε A. , υπάρχουν άπειρα το πλήθος πολυώνυμα ( x) [ x] m και ( A) 0. Ασκήσεις4 46 Ασκήσεις 4 Τριγωνίσιμες γραμμικές απεικονίσεις, Θεώρημα των Cayley-Hamilton Βασικά σημεία Ορισμός τριγωνίσιμου πίνακα, ορισμός τριγωνίσιμης γραμμικής απεικόνισης Κριτήριο τριγωνισιμότητας

Διαβάστε περισσότερα

ΑΝΑΛΥΣΗ 1 ΕΝΑΤΟ ΜΑΘΗΜΑ, Μ. Παπαδημητράκης.

ΑΝΑΛΥΣΗ 1 ΕΝΑΤΟ ΜΑΘΗΜΑ, Μ. Παπαδημητράκης. ΑΝΑΛΥΣΗ 1 ΕΝΑΤΟ ΜΑΘΗΜΑ, 5-10-13 Μ. Παπαδημητράκης. 1 Τώρα θα μιλήσουμε για την έννοια της περιοχής, η οποία έχει κεντρικό ρόλο στη μελέτη της έννοιας του ορίου (ακολουθίας και συνάρτησης). Αν > 0, ονομάζουμε

Διαβάστε περισσότερα

5 Σύγκλιση σε τοπολογικούς χώρους

5 Σύγκλιση σε τοπολογικούς χώρους 121 5 Σύγκλιση σε τοπολογικούς χώρους Στο κεφάλαιο αυτό πρόκειται να μελετήσουμε την έννοια της σύγκλισης σε γενικούς τοπολογικούς χώρους, πέραν των μετρικών χώρων. Όπως έχουμε ήδη διαπιστώσει ( πρβλ.

Διαβάστε περισσότερα

Μη γράφετε στο πίσω μέρος της σελίδας

Μη γράφετε στο πίσω μέρος της σελίδας Διακριτά Μαθηματικά Τελική Εξέταση Απρίλιος 204 Σελ. από 5 Στη σελίδα αυτή γράψτε μόνο τα στοιχεία σας. Γράψτε τις απαντήσεις σας στις επόμενες σελίδες, κάτω από τις αντίστοιχες ερωτήσεις. Στις απαντήσεις

Διαβάστε περισσότερα

OΡΙΟ - ΣΥΝΕΧΕΙΑ ΣΥΝΑΡΤΗΣΗΣ

OΡΙΟ - ΣΥΝΕΧΕΙΑ ΣΥΝΑΡΤΗΣΗΣ Ο ΚΕΦΑΛΑΙΟ : ΟΡΙΟ ΣΥΝΕΧΕΙΑ ΣΥΝΑΡΤΗΣΗΣ OΡΙΟ - ΣΥΝΕΧΕΙΑ ΣΥΝΑΡΤΗΣΗΣ ΠΡΑΓΜΑΤΙΚΟΙ ΑΡΙΘΜΟΙ ΣΥΝΑΡΤΗΣΕΙΣ Έστω Α ένα υποσύνολο του Τι ονομάζουμε πραγματική συνάρτηση με πεδίο ορισμού το Α ; Απάντηση : ΕΣΠ Β Έστω

Διαβάστε περισσότερα

4.2 ΕΥΚΛΕΙΔΕΙΑ ΔΙΑΙΡΕΣΗ

4.2 ΕΥΚΛΕΙΔΕΙΑ ΔΙΑΙΡΕΣΗ 14 4 ΕΥΚΛΕΙΔΕΙΑ ΔΙΑΙΡΕΣΗ Ας υποθέσουμε ότι θέλουμε να βρούμε το πηλίκο και το υπόλοιπο της διαίρεσης του με τον Σύμφωνα με το γνωστό αλγόριθμο της διαίρεσης, το πηλίκο θα είναι ένας ακέραιος κ, τέτοιος,

Διαβάστε περισσότερα

F 5 = (F n, F n+1 ) = 1.

F 5 = (F n, F n+1 ) = 1. Λύσεις Θεμάτων Θεωρίας Αριθμών 1. (α) Να δειχθεί ότι ο πέμπτος αριθμός της μορφής Fermat, δηλαδή ο F 5 2 25 + 1 διαιρείται από το 641. (β) Εστω F n η ακολουθία των αριθμών Fermat, δηλαδή F n 2 2n + 1,

Διαβάστε περισσότερα

EukleÐdeiec emfuteôseic: ˆnw frˆgmata

EukleÐdeiec emfuteôseic: ˆnw frˆgmata EukleÐdeiec emfuteôseic: ˆnw frˆgmata Εστω f : X Y μια εμφύτευση του μετρικού χώρου (X, ρ) στο χώρο με νόρμα (Y, ). Η παραμόρφωση της f ορίζεται ως εξής: f(x) f(y) ρ(x, y) dist(f) = sup sup x y ρ(x, y)

Διαβάστε περισσότερα

HY118- ιακριτά Μαθηµατικά. Παράδειγµα άµεσης απόδειξης. Μέθοδοι αποδείξεως για προτάσεις της µορφής εάν-τότε. 08 - Αποδείξεις

HY118- ιακριτά Μαθηµατικά. Παράδειγµα άµεσης απόδειξης. Μέθοδοι αποδείξεως για προτάσεις της µορφής εάν-τότε. 08 - Αποδείξεις HY118- ιακριτά Μαθηµατικά Παρασκευή, 06/03/2015 Αντώνης Α. Αργυρός e-mail: argyros@csd.uoc.gr Το υλικό των διαφανειών έχει βασιστεί σε διαφάνειες του Kees van Deemter, από το University of Aberdeen 3/8/2015

Διαβάστε περισσότερα

Ποιες από τις παρακάτω προτάσεις είναι αληθείς; Δικαιολογήστε την απάντησή σας.

Ποιες από τις παρακάτω προτάσεις είναι αληθείς; Δικαιολογήστε την απάντησή σας. Ποιες από τις παρακάτω προτάσεις είναι αληθείς; Δικαιολογήστε την απάντησή σας. 1. Κάθε πολυώνυμο ανάγωγο επί του Z είναι ανάγωγο επί του Q. Σωστό. 2. Κάθε πολυώνυμο ανάγωγο επί του Q είναι ανάγωγο επί

Διαβάστε περισσότερα

G n. n=1. n=1. n=1 G n) = m (E). n=1 G n = k=1

G n. n=1. n=1. n=1 G n) = m (E). n=1 G n = k=1 ΣΧΟΛΗ ΕΦΑΡΜΟΣΜΕΝΩΝ ΜΑΘΗΜΑΤΙΚΩΝ & ΦΥΣΙΚΩΝ ΕΠΙΣΤΗΜΩΝ ΤΟΜΕΑΣ ΜΑΘΗΜΑΤΙΚΩΝ Επαναληπτικές Εξετάσεις στη Θεωρία Μέτρου και Ολοκλήρωση Θέμα. Εστω R Lebesgue μετρήσιμο σύνολο. (αʹ) Να αποδειχθεί ότι για κάθε ε

Διαβάστε περισσότερα

8. Πολλαπλές μερικές παράγωγοι

8. Πολλαπλές μερικές παράγωγοι 94 8 Πολλαπλές μερικές παράγωγοι Οι μερικές παράγωγοι,,, αν υπάρχουν, μιας συνάρτησης : U R R ( U ανοικτό είναι αυτές συναρτήσεις από το U στο R, επομένως μπορεί να ορισθεί για αυτές η έννοια της μερικής

Διαβάστε περισσότερα

ΠΡΟΓΡΑΜΜΑ ΣΠΟΥΔΩΝ ΣΤΗΝ ΠΛΗΡΟΦΟΡΙΚΗ ΜΑΘΗΜΑΤΙΚΑ Ι (ΘΕ ΠΛΗ 12) ΕΡΓΑΣΙΑ 1 η Ημερομηνία Αποστολής στον Φοιτητή: 17 Οκτωβρίου 2011

ΠΡΟΓΡΑΜΜΑ ΣΠΟΥΔΩΝ ΣΤΗΝ ΠΛΗΡΟΦΟΡΙΚΗ ΜΑΘΗΜΑΤΙΚΑ Ι (ΘΕ ΠΛΗ 12) ΕΡΓΑΣΙΑ 1 η Ημερομηνία Αποστολής στον Φοιτητή: 17 Οκτωβρίου 2011 ΕΛΛΗΝΙΚΟ ΑΝΟΙΚΤΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΠΡΟΓΡΑΜΜΑ ΣΠΟΥΔΩΝ ΣΤΗΝ ΠΛΗΡΟΦΟΡΙΚΗ ΜΑΘΗΜΑΤΙΚΑ Ι (ΘΕ ΠΛΗ ) ΕΡΓΑΣΙΑ η Ημερομηνία Αποστολής στον Φοιτητή: 7 Οκτωβρίου 0 Ημερομηνία παράδοσης της Εργασίας: 5 Νοεμβρίου 0 Οι ασκήσεις

Διαβάστε περισσότερα

( ) Ίσες συναρτήσεις. = g, Οι συναρτήσεις f, g λέμε ότι είναι ίσες και συμβολίζουμε f. όταν: Έχουν το ίδιο πεδία ορισμού Α

( ) Ίσες συναρτήσεις. = g, Οι συναρτήσεις f, g λέμε ότι είναι ίσες και συμβολίζουμε f. όταν: Έχουν το ίδιο πεδία ορισμού Α .5.. Ίσες συναρτήσεις ΣΥΝΑΡΤΗΣΕΙΣ 7 Ο ΜΑΘΗΜΑ Οι συναρτήσεις f, g λέμε ότι είναι ίσες και συμβολίζουμε f = g, Έχουν το ίδιο πεδία ορισμού Α Για κάθε x Α ισχύει f ( x) = g( x) Αν για τις συναρτήσεις: f:

Διαβάστε περισσότερα

Γνωριµία. ιακριτά Μαθηµατικά. Βιβλία Μαθήµατος. Επικοινωνία. ιδάσκων: Ορέστης Τελέλης. Ωρες γραφείου (502, Γρ.

Γνωριµία. ιακριτά Μαθηµατικά. Βιβλία Μαθήµατος. Επικοινωνία. ιδάσκων: Ορέστης Τελέλης. Ωρες γραφείου (502, Γρ. Γνωριµία ιακριτά Μαθηµατικά Ορέστης Τελέλης telelis@unipi.gr Τµήµα Ψηφιακών Συστηµάτων, Πανεπιστήµιο Πειραιώς ιδάσκων: Ορέστης Τελέλης e-mail: telelis@unipi.gr Ωρες γραφείου (502, Γρ.Λαµπράκη 26): ευτέρα

Διαβάστε περισσότερα

ψ φ2 = k χ φ2 = 4k χ φ1 = χ φ1 + χ φ2 + 3 = 4(k 1 + k 2 + 1) + 1 ψ φ1 = ψ φ1 + χ φ2 = k k = (k 1 + k 2 + 1) + 1

ψ φ2 = k χ φ2 = 4k χ φ1 = χ φ1 + χ φ2 + 3 = 4(k 1 + k 2 + 1) + 1 ψ φ1 = ψ φ1 + χ φ2 = k k = (k 1 + k 2 + 1) + 1 Ασκήσεις στο μάθημα της Λογικής 15 Οκτωβρίου 2015 Άσκηση 1. Να δειχτεί ότι δεν υπάρχουν τύποι μήκους 2,3,6 αλλά κάθε άλλο (θετικό ακέραιο) μήκος είναι δυνατό (άσκηση 2, σελίδα 39) Απόδειξη. Δείχνουμε πρώτα

Διαβάστε περισσότερα

ιακριτά Μαθηµατικά Ορέστης Τελέλης Τµήµα Ψηφιακών Συστηµάτων, Πανεπιστήµιο Πειραιώς Ο. Τελέλης Πανεπιστήµιο Πειραιώς Σύνολα 1 / 36

ιακριτά Μαθηµατικά Ορέστης Τελέλης Τµήµα Ψηφιακών Συστηµάτων, Πανεπιστήµιο Πειραιώς Ο. Τελέλης Πανεπιστήµιο Πειραιώς Σύνολα 1 / 36 ιακριτά Μαθηµατικά Ορέστης Τελέλης telelis@unipi.gr Τµήµα Ψηφιακών Συστηµάτων, Πανεπιστήµιο Πειραιώς Ο. Τελέλης Πανεπιστήµιο Πειραιώς Σύνολα 1 / 36 Γνωριµία ιδάσκων: Ορέστης Τελέλης e-mail: telelis@unipi.gr

Διαβάστε περισσότερα

Ασκήσεις για το µάθηµα «Ανάλυση Ι και Εφαρµογές»

Ασκήσεις για το µάθηµα «Ανάλυση Ι και Εφαρµογές» Ασκήσεις για το µάθηµα «Ανάλυση Ι και Εφαρµογές» Κεφάλαιο : Το σύνολο των πραγµατικών αριθµών Α Οµάδα Εξετάστε αν οι παρακάτω προτάσεις είναι αληθείς ή ψευδείς αιτιολογήστε πλήρως την απάντησή σας) α)

Διαβάστε περισσότερα