[(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

Σχετικά έγγραφα
f(t) = (1 t)a + tb. f(n) =

bca = e. H 1j = G 2 H 5j = {f G j : f(0) = 1}

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

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

ΗΥ118: Διακριτά Μαθηματικά - Εαρινό Εξάμηνο 2018 Τελική Εξέταση Ιουνίου Λύσεις

Μεθοδολογία Επίλυσης Προβλημάτων ============================================================================ Π. Κυράνας - Κ.

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

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

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

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

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

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

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

Φ(s(n)) = s (Φ(n)). (i) Φ(1) = a.

ΚΕΦΑΛΑΙΟ 4 Η ΑΡΧΗ ΕΓΚΛΕΙΣΜΟΥ ΑΠΟΚΛΕΙΣΜΟΥ

β) 3 n < n!, n > 6 i i! = (n + 1)! 1, n 1 i=1

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

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

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

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

x < y ή x = y ή y < x.

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

Α Δ Ι. Παρασκευή 29 Νοεμβρίου 2013 & K =

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

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


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

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

Πεπερασμένες Διαφορές.

* * * ( ) mod p = (a p 1. 2 ) mod p.

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

Α Δ Ι. Παρασκευή 15 Νοεμβρίου Ασκηση 1. Να ευρεθεί η τάξη τού στοιχείου a τής ομάδας (G, ), όπου. (4) a = ( 1 + i 3)/2, (G, ) = (C, ),

x 2 + y 2 x y

x 2 + y 2 + z 2 = R 2.

Διάλεξη 5: Συνέχεια συναρτήσεων και όρια στο άπειρο

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

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

Α Δ Ι. Παρασκευή 25 Οκτωβρίου Ασκηση 1. Στο σύνολο των πραγματικών αριθμών R ορίζουμε μια σχέση R R R ως εξής:

Διακριτά Μαθηματικά ΙΙ Χρήστος Νομικός Τμήμα Μηχανικών Η/Υ και Πληροφορικής Πανεπιστήμιο Ιωαννίνων 2018 Χρήστος Νομικός ( Τμήμα Μηχανικών Η/Υ Διακριτά

g (v + W ) = gv + W gv = 0.

Φροντιστήριο #5 Ασκήσεις σε Συναρτήσεις Αρχή του Περιστερώνα 23/04/2015

Μαθηματικά. Ενότητα 2: Διαφορικός Λογισμός. Σαριαννίδης Νικόλαος Τμήμα Διοίκησης Επιχειρήσεων (Κοζάνη)

Υπολογιστικά & Διακριτά Μαθηματικά

Διακριτά Μαθηματικά ΙΙ Χρήστος Νομικός Τμήμα Μηχανικών Η/Υ και Πληροφορικής Πανεπιστήμιο Ιωαννίνων 2018 Χρήστος Νομικός ( Τμήμα Μηχανικών Η/Υ Διακριτά

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

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

i) Για να δείξουμε την επιθυμητή ισότητα, δείχνουμε πως A B {A x : x B} και πως {A x : x B} A B. Για τον πρώτο εγκλεισμό, έστω a A B, δηλάδη a A και a

ΚΕΦΑΛΑΙΟ 3 ΤΟ ΔΙΩΝΥΜΙΚΟ ΘΕΩΡΗΜΑ

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


Pr(10 X 15) = Pr(15 X 20) = 1/2, (10.2)


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

Τίτλος Μαθήματος: Θεωρία Ομάδων. Ενότητα: Επιλύσιμες Ομάδες. Διδάσκων: Καθηγητής Νικόλαος Μαρμαρίδης. Τμήμα: Μαθηματικών

ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ. Ασκησεις Επαναληψης. ιδασκων: Α. Μπεληγιάννης Ιστοσελιδα Μαθηµατος :

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

ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ

ΗΥ118: Διακριτά Μαθηματικά Εαρινό εξάμηνο 2019 Λύσεις ασκήσεων προόδου

ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ. Ασκησεις - Επανάληψης. ιδασκων: Α. Μπεληγιάννης Ιστοσελιδα Μαθηµατος :

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 ).

ΗΥ118: Διακριτά Μαθηματικά - Εαρινό Εξάμηνο 2016 Τελική Εξέταση Ιουνίου - Τετάρτη, 15/06/2016 Λύσεις Θεμάτων

7 Μάθημα Πορεία μελέτης Ακόμη μία Άσκηση

Υπολογιστικά & Διακριτά Μαθηματικά

ΓΡΑΜΜΙΚΗ ΑΛΓΕΒΡΑ Ι (ΑΡΤΙΟΙ) Προτεινοµενες Ασκησεις - Φυλλαδιο 4

Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό υλικό, όπως εικόνες, που υπόκειται σε άλλου τύ

Abstract Algebra: The Basic Graduate Year: Robert B. Ash

ii

Γραμμική Άλγεβρα Ενότητα 2: Διανυσματικοί χώροι

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

Α Δ Ι Θ Θ Α Ε Ι Μ :

sup(a + B) = sup A + sup B inf(a + B) = inf A + inf B.

1. Να χαρακτηρίσετε τις προτάσεις που ακολουθούν γράφοντας την ένδειξη Σωστό ή Λάθος και να δικαιολογήσετε την απάντησή σας.

ΑΛΓΕΒΡΙΚΕΣ ΟΜΕΣ Ι. Προτεινοµενες Ασκησεις - Φυλλαδιο 1

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

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

x[n] = e u[n 1] 4 x[n] = u[n 1] 4 X(z) = z 1 H(z) = (1 0.5z 1 )(1 + 4z 2 ) z 2 (βʹ) H(z) = H min (z)h lin (z) 4 z 1 1 z 1 (z 1 4 )(z 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

d(v) = 3 S. q(g \ S) S

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

Ανάλυση Ι και Εφαρμογές Σημειώσεις από τις παραδόσεις Α. Γιαννόπουλος Τμήμα Φυσικής Πανεπιστήμιο Αθηνών Αθήνα 2018

Α Δ Ι. Παρασκευή 13 Δεκεμβρίου 2013

of Mathematics των I.Stewart και D.Tall, Oxford University Press.

Υπολογιστικά & Διακριτά Μαθηματικά

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

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

ΜΕΜ251 Αριθμητική Ανάλυση

Αριθμητική Ανάλυση & Εφαρμογές

Λύσεις 1ης Ομάδας Ασκήσεων

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

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

ΕΠΑΝΑΛΗΨΗ ΒΑΣΙΚΩΝ ΕΝΝΟΙΩΝ

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...

Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό υλικό, όπως εικόνες, που υπόκειται σε άλλου τύ

Τίτλος Μαθήματος: Θεωρία Ομάδων. Ενότητα: Ευθέα Γινόμενα Ομάδων. Διδάσκων: Καθηγητής Νικόλαος Μαρμαρίδης. Τμήμα: Μαθηματικών

Ισότητα, Αλγεβρικές και Αναλυτικές Ιδιότητες Πραγματικών Ακολουθιών

Π Κ Τ Μ Ε Μ Λύσεις των ασκήσεων

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

Ο μαθητής που έχει μελετήσει το κεφάλαιο αυτό θα πρέπει:

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

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

Transcript:

ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ Ιανουάριος 2012 Τμήμα Μαθηματικών Διδάσκων: Χρήστος Κουρουνιώτης Μ1124 ΘΕΜΕΛΙΑ ΤΩΝ ΜΑΘΗΜΑΤΙΚΩΝ Παρατηρήσεις 1. Διαβάστε προσεκτικά τα θέματα πριν αρχίσετε να απαντάτε. Οι απαντήσεις πρέπει να είναι σαφείς, σύντομες και αιτιολογημένες σε επίπεδο ανάλογο με αυτό της διατύπωσης της ερώτησης. 2. Γράψτε σε διαφορετική σελίδα την απάντηση κάθε θέματος. Συνιστάται να γράφετε τις απαντήσεις μόνο στη δεξιά σελίδα, και να χρησιμοποιείτε την αριστερή για πρόχειρους υπολογισμούς (ή το αντίθετο αν είστε αριστερόχειρες). 3. Πρέπει να παραδώσετε όλες τις κόλλες που χρησιμοποιήσατε. 4. Η εξέταση διαρκεί 180 λεπτά. ΑΠΑΓΟΡΕΥΕΤΑΙ Η ΕΞΟΔΟΣ ΑΠΟ ΤΗΝ ΑΙΘΟΥ- ΣΑ, παρά μόνο μετά από άδεια του διδάσκοντος (όχι του επιτηρητή). Απαγορεύεται το κάπνισμα μέσα στην αίθουσα εξέτασης. Τα πρώτα 30 λεπτά απαγορεύεται η αποχώρηση από την εξέταση. 5. Ο μέγιστος βαθμός είναι 80. Κάθε θέμα αντιστοιχεί σε 10 μονάδες, ενώ άλλες 10 μονάδες δίδονται για την πληρότητα των διατυπώσεων και τη σωστή χρήση των συμβολισμών και της μαθηματικής γλώσσας. ΘΕΜΑ 1. αʹ. V και W είναι υποσύνολα του χώρου U, και A c συμβολίζει το συμπλήρωμα U \A. Εάν γνωρίζετε οτι [(W V c ) (W c V c )] c \ W = τί συμπέρασμα μπορείτε να βγάλετε για τη σχέση μεταξύ των V και W ; βʹ. A και B είναι σύνολα. Δείξτε οτι αʹ. P(A B) = P(A) P(B). [(W V c ) (W c V c )] c \ W = [(W V c ) c (W c V c ) c ] \ W = [(W c V ) (W V )] \ W = [(W c W ) V ] \ W = V \ W, άρα V \ W =, από το οποίο συμπεραίνουμε οτι V W.

βʹ. Θεωρούμε V P(A B). Αυτό σημαίνει οτι V A B, και άρα V A και V B. Συνεπώς V P(A) και V P(B). Άρα V P(A) P(B). Αντίστροφα, εάν V P(A) P(B), τότε V A και V B, άρα V A B και συνεπώς V P(A B). Συμπεραίνουμε οτι P(A B) = P(A) P(B). ΘΕΜΑ 2. αʹ. Βρείτε ένα παράδειγμα, όπου A, B, C και D είναι διαστήματα στο R, για να δείξετε οτι (A C) (B D) (A B) (C D). βʹ. Δείξτε οτι εάν σ και ρ είναι συμμετρικές σχέσεις στο σύνολο A, τότε η σχέση σ ρ είναι συμμετρική. αʹ. Θεωρούμε τα διαστήματα A = [1, 3], B = [2, 4], C = [1, 3] και D = [2, 4] στο R. (Τότε A C, B D και (A B) (C D) είναι ορθογώνια στο επίπεδο R 2.) Παρατηρούμε οτι το σημείο (4, 1) ανήκει στο (A B) (C D) αλλά δεν ανήκει στο (A C) (B D). Συμπεραίνουμε οτι (A C) (B D) (A B) (C D). βʹ. Μία σχέση τ στο A είναι συμμετρική εάν για κάθε ζεύγος (a, b) τ, ισχύει επίσης (b, a) τ. Θεωρούμε (a, b) σ ρ. Αυτό σημαίνει οτι είτε (a, b) σ είτε (a, b) ρ. Εάν (a, b) σ, αφού η σ είναι συμμετρική, ισχύει (b, a) σ. Εάν (a, b) ρ, αφού η ρ είναι συμμετρική, ισχύει (b, a) ρ. Σε κάθε περίπτωση (a, b) σ ρ. Συμπεραίνουμε οτι η σχέση σ ρ είναι συμμετρική. ΘΕΜΑ 3. Δίδεται το σύνολο A = {a, b, c, d}. αʹ. Ορίστε μία ενεικονική (1 1) συνάρτηση f : A N. βʹ. Ορίστε μία επεικονική (επί) συνάρτηση g : N A. γʹ. Βρείτε ένα αριστερό αντίστροφο της f, και ελέγξτε οτι πράγματι είναι αριστερό αντίστροφο. δʹ. Βρείτε ένα δεξιό αντίστροφο της g, και ελέγξτε οτι πράγματι είναι δεξιό αντίστροφο. αʹ. Μία συνάρτηση f : A N ορίζεται όταν γνωρίζουμε την τιμή της f για κάθε στοιχείο του πεδίου ορισμού A. Για να είναι η συνάρτηση ενεικονική, πρέπει οι τιμές της f για διαφορετικά στοιχεία του A να μην είναι ίσες. Μπορούμε λοιπόν να θέσουμε f(a) = 1, f(b) = 2, f(c) = 3 και f(d) = 4. (Εναλλακτικά μπορούμε να ορίσουμε τη συνάρτηση ως ένα υποσύνολο του A N, f = {(a, 1), (b, 2), (c, 3), (d, 4)}.)

βʹ. Για να ορίσουμε τη συνάρτηση g : N A, πρέπει να ορίσουμε την τιμή της g για κάθε n N. Για να είναι επεικονική, πρέπει κάθε στοιχείο του A να είναι τιμή της g για κάποιο n N. Μπορούμε λοιπόν να ορίσουμε g(1) = a, g(2) = b, g(3) = c και g(n) = d για κάθε n 4. γʹ. Για να είναι μία συνάρτηση h : N A αριστερό αντίστροφο της f, πρέπει να ισχύει h f(x) = x για κάθε x A. Παρατηρούμε οτι αυτή η συνθήκη ικανοποιείται για τη συνάρτηση g. Πράγματι, g f(a) = g(f(a)) = g(1) = a, και παρόμοια, g f(x) = x για κάθε x A. Συμπεραίνουμε οτι g είναι αριστερό αντίστροφο της f. δʹ. Για να είναι μία συνάρτηση h : A N δεξιό αντίστροφο της g, πρέπει να ισχύει g h(x) = x για κάθε x A. Παρατηρούμε οτι αυτή η συνθήκη ικανοποιείται για τη συνάρτηση f αφού g f(x) = x για κάθε x A. Συμπεραίνουμε οτι f είναι αριστερό αντίστροφο της g. ΘΕΜΑ 4. Γράψτε την άρνηση κάθε μίας από τις ακόλουθες προτάσεις, και περάστε το σύμβολο μέσα από τις παρενθέσεις. αʹ. x : (P (x) Q(x)) βʹ. x : (P (x) Q(x)) γʹ. x R y R : (x y) δʹ. x R y R z Q : (x + y z) αʹ. Εχουμε [ x : (P (x) Q(x))] x : [P (x) Q(x)]. Η άρνηση της πρότασης P Q είναι ισοδύναμη με την πρόταση P Q. Άρα [ x : (P (x) Q(x))] x : ( P (x) Q(x)). βʹ. Η πρόταση P Q είναι ισοδύναμη με την πρόταση P Q. Συνεπώς η άρνηση της πρότασης P Q είναι ισοδύναμη με την πρόταση [ P Q], δηλαδή με την πρόταση P Q. Άρα [ x : (P (x) Q(x))] x : (P (x) Q(x)). γʹ. [ x R y R : (x y)] x R y R : (x < y). δʹ. [ x R y R z Q : (x + y z)] x R y R z Q : (x + y < z) ΘΕΜΑ 5. αʹ. Δείξτε οτι κάθε φυσικός αριθμός μεγαλύτερος από το 11, γράφεται στη μορφή n = 4m + 5l, όπου m και l είναι μη αρνητικοί ακέραιοι αριθμοί. βʹ. Δείξτε οτι το πηλίκο της διαίρεσης του m + m με το n είναι μεγαλύτερο από, ή ίσο με το άθροισμα των πηλίκων του m και του m με το n. Πιο συγκεκριμένα, δείξτε οτι εάν m, m, n N και q, q, q, r, r, r N 0 είναι αριθμοί τέτοιοι ώστε m = qn + r, m = q n + r, (m + m ) = q n + r και r < n, r < n, r < n, τότε q + q q q + q + 1.

αʹ. Εστω n > 11 και n = 4m + 5l, για m, l N 0. Τότε n + 1 = 4m + 5l + 1. Εάν m > 0, τότε n + 1 = 4(m 1) + 5(l + 1). Εάν m = 0, και αφού n > 11, έχουμε l 3. Τότε n + 1 = 4 4 + 5(l 3). Αφού 12 = 4 3, επαγωγικά ισχύει το ζητούμενο για κάθε φυσικό αριθμό μεγαλύτερο από το 11. βʹ. Προσθέτωντας τις δύο πρώτες σχέσεις έχουμε m+m = (q+q )n+r+r με 0 r+r < 2n. Επίσης (m + m ) = q n + r με r < n. Εάν r + r < n, τότε από τη μοναδικότητα του αλγορίθμου διαίρεσης, r = r + r, και q = q + q. Εάν n r + r < 2n, τότε r = r + r n και q = q + q + 1. Σε κάθε περίπτωση, q + q q q + q + 1. ΘΕΜΑ 6. αʹ. Με πόσους τρόπους μπορούμε να επιλέξουμε μία δεκαμελή επιτροπή από τα 80 άτομα σε μία τάξη; Εάν στην τάξη υπάρχουν 60 κορίτσια και 20 αγόρια, με πόσους τρόπους μπορούμε να επιλέξουμε μία δεκαμελή επιτροπή στην οποία να υπάρχουν ακριβώς 3 αγόρια. βʹ. Με πόσους διαφορετικούς τρόπους μπορούν να διαταχθούν τα γράμματα της φράσης ΛΟΥΦΑΚΑΙΠΑΡΑΛΛΑΓΗ ; γʹ. Πόσοι από αυτούς αρχίζουν με ακριβώς 3 Α; (Για παράδειγμα, ΑΑΑΛΟΥΦΚΙΠΡΑΛΛΑΓΗ, αλλά όχι ΑΑΑΑΛΟΥΦΚΙΠΡΛΛΑΓΗ). αʹ. Για να επιλέξουμε μία δεκαμελή επιτροπή από τα 80 άτομα, θεωρούμε συνδυασμούς των 80 ατόμων ανά 10, χωρίς διάταξη και χωρίς επαναλήψεις. Άρα υπάρχουν ( ) 80 = 80! 10 70!10! τέτοιοι συνδυασμοί. Εάν στην τάξη υπάρχουν 60 κορίτσια και 20 αγόρια, και θέλουμε να επιλέξουμε μία δεκαμελή επιτροπή στην οποία να υπάρχουν ακριβώς 3 αγόρια, επιλέγουμε ανεξάρτητα 7 κορίτσια και 3 αγόρια. Υπάρχουν ( 60 7 τρόποι να κάνουμε την επιλογή. ) ( ) 20 = 60!20! 3 57!17! βʹ. Η φράση ΛΟΥΦΑΚΑΙΠΑΡΑΛΛΑΓΗ αποτελείται από 17 γράμματα, μεταξύ των οποίων 5 Α, 3 Λ, και 9 γράμματα που εμφανίζονται μία φορά. Εχουμε περίπτωση μεταθέσεων αντικειμένων που διακρίνονται σε ομάδες. Ο αριθμός των διαφορετικών διατάξεων είναι M(5, 3, 1, 1, 1, 1, 1, 1, 1, 1, 1) = 17! 5!.

γʹ. Για να βρούμε τον αριθμό των μεταθέσεων που αρχίζουν με ακριβώς 3 Α, αφαιρούμε τα 3 Α, και υπολογίζουμε τις διατάξεις των υπολοίπων 14 γραμμάτων οι οποίες δεν αρχίζουν με Α. Για το πρώτο γράμμα μετά τα 3 Α έχουμε 12 επιλογές (14 γράμματα, μείον τα 2 Α). Για τα υπόλοιπα 13 γράμματα, υπάρχουν 1 διατάξεις. Διαιρώντας με τον αριθμό των μεταθέσεων των ίδιων γραμμάτων, έχουμε 12 1 2! = 6 1 Διαφορετικός τρόπος υπολογισμού: Υπολογίζουμε τις μεταθέσεις που αρχίζουν με τουλάχιστον 3 Α, και αφαιρούμε τον αριθμό των μεταθέσεων που αρχίζουν με τουλάχιστον 4 Α. Ο πρώτος είναι 14!/(2!), και ο δεύτερος 1/. Τελικά 14! 2! 1 = 1. ( ) 14 2 1 = 6 1. ΘΕΜΑ 7. αʹ. Εξηγήστε τι σημαίνει οτι ένα σύνολο είναι αριθμήσιμο. Δείξτε οτι το σύνολο των συναρτήσεων από το σύνολο {0, 1} στο σύνολο N είναι αριθμήσιμο. βʹ. Εξηγήστε το διαγώνιο επιχείρημα του Cantor για να αποδείξετε οτι το σύνολο των συναρτήσεων από το σύνολο N στο σύνολο {0, 1} δεν είναι αριθμήσιμο. αʹ. Ενα σύνολο A είναι αριθμήσιμο εάν υπάρχει αμφιμονοσήμαντη συνάρτηση από το σύνολο A σε ένα υποσύνολο του N. Ισοδύναμα, ένα σύνολο είναι αριθμήσιμο εάν είτε είναι πεπερασμένο είτε έχει τον ίδιο πληθικό αριθμό με το N. ( Ενα σύνολο A είναι πεπερασμένο εάν υπάρχει αμφιμονοσήμαντη συνάρτηση από το σύνολο A σε ένα σύνολο της μορφής N(k) = {n N : n k} για κάποιο k N 0.) Εστω T το σύνολο των συναρτήσεων από το σύνολο {0, 1} στο σύνολο N. Τα στοιχεία του T είναι συναρτήσεις f : {0, 1} N. Μία τέτοια συνάρτηση προσδιορίζεται από τις τιμές της, f(0), f(1). Συνεπώς για κάθε συνάρτηση f έχουμε το διατεταγμένο ζεύγος φυσικών αριθμών (f(0), f(1)) N N. Θα δείξουμε οτι η αντιστοιχία ϕ : f (f(0), f(1)) είναι μία αμφιμονοσήμαντη συνάρτηση ϕ : T N N από το S στο N N. Η ϕ είναι συνάρτηση, αφού για κάθε f S ορίζεται μοναδικό ζεύγος (f(0), f(1)) N N. Η ϕ είναι ενεικονική, αφού εάν f, g T και (f(0), f(1)) = (g(0), g(1)) τότε f = g. Η ϕ είναι επεικονική, αφού για κάθε (m, n, ) N N υπάρχει συνάρτηση f : {0, 1} N, με f(0) = m και f(1) = n, ούτως ώστε ϕ(f) = (m, n). βʹ. Εστω S το σύνολο των συναρτήσεων από το N στο σύνολο {0, 1}, δηλαδή των ακολουθιών από 0 και 1. Θεωρούμε μία συνάρτηση ϕ : N S, ϕ(n) = (a n,1, a n,2,..., a n,k,...). Θα κατασκευάσουμε μία ακολουθία b = (b 1, b 2,..., b k,...) διαφορετική από την ϕ(n) για κάθε n N. Ορίζουμε b k = 1 εάν a k,k = 0 και b k = 0 εάν a k,k = 1. (Εάν γράψουμε τις ακολουθίες σε μορφή πίνακα, a k,k είναι τα διαγώνια στοιχεία του πίνακα, εξ ού και

το όνομα του επιχειρήματος του Cantor.) Για κάθε n N, η ακολουθία ϕ(n) διαφέρει από τη b, αφού a n,n b n. Συνεπώς η ακολουθία b δεν ανήκει στην εικόνα της ϕ. Αυτό το επιχείρημα ισχύει για καθε συνάρτηση από το N στο S. Συμπεραίνουμε οτι δεν υπάρχει επεικόνιση από το N στο S.