Το μόνο, ίσως, μειονέκτημά τους είναι ότι το μήκος τους υπόκειται σε περιορισμό από το πλήθος των στοιχείων του σώματος επί του οποίου ορίζονται.

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

Download "Το μόνο, ίσως, μειονέκτημά τους είναι ότι το μήκος τους υπόκειται σε περιορισμό από το πλήθος των στοιχείων του σώματος επί του οποίου ορίζονται."

Transcript

1 ΚΕΦΑΛΑΙΟ 5 Κώδικες Reed-Solomo και συναφείς κώδικες To 1959 o Hocqueghe και, ανεξάρτητα, το 1960 οι Bose Ray-Chaudhuri επινόησαν μια κατηγορία κωδίκων τους λεγόμενους BCH κώδικες. Οι κώδικες αυτοί είναι πολύ σημαντικοί για πολλούς λόγους. Για παράδειγμα, έχουν ικανότητα διόρθωσης μεγάλου αριθμού λαθών ακόμη και αν το μήκος τους είναι σχετικά μικρό. Η κωδικοποίηση και αποκωδικοποίση γίνεται σχετικά εύκολα. Αποτελούν την βάση για κατασκευή άλλων κωδίκων. Το σπουδαιότερο όμως είναι ότι μπορούν να κατασκευασθούν επί ενός πεπερασμένου σώματος με επιθυμητή ελάχιστη απόσταση (κώδικες προσχεδιασμένης απόστασης). Το μόνο, ίσως, μειονέκτημά τους είναι ότι το μήκος τους υπόκειται σε περιορισμό από το πλήθος των στοιχείων του σώματος επί του οποίου ορίζονται. Αν και αρχικά είχαν επινοηθεί και μελετηθεί επί ενός πεπερασμένου σώματος χαρακτηριστικής 2 (και μάλιστα μόνον ορισμένες ειδικές περιπτώσεις), σχεδόν αμέσως η μελέτη τους γενικεύθηκε το 1961, από τους Gorestei και Zierler, επί πεπερασμένων σωμάτων οποιασδήποτε χαρακτηριστικής p. 305

2 306 Κεφάλαιο 5. Κώδικες Reed-Solomo και συναφείς κώδικες 5.1 BCH Κώδικες Έστω F ένα πεπερασμένο σώμα με q το πλήθος στοιχεία. Έστω, δ θετικοί ακέραιοι με 2 δ και b ένας μη αρνητικός ακέραιος. Θα κατασκευάσουμε έναν πολυωνυμικό κώδικα επί του F με μήκος και ελάχιστη απόσταση τουλάχιστον ίση με δ. Επιλέγουμε τον ελάχιστο θετικό ακέραιο s με την ιδιότητα q s + 1.¹ Έστω K μια επέκταση του σώματος F βαθμού s και α ένα πρωταρχικό στοιχείο του σώματος K. Για κάθε 0 i δ 2 έστω m i+1 (x) το ελάχιστο πολυώνυμο του α b+i επί του F και γ(x) = εκπ( m i+1 (x), 0 i δ 2). Δηλαδή το πολυώνυμο γ(x) είναι το μικροτέρου βαθμού μονικό πολυώνυμο επί του F, το οποίο έχει ως ρίζες τα στοιχεία α b, α b+1,, α b+δ 2. (Παρατηρήστε ότι οι εκθέτες του α στις ρίζες του πολυωνύμου γ(x) είναι διαδοχικοί ακέραιοι). Ορισμός Ο πολυωνυμικός κώδικας (ιδέ τον Ορισμό 3.1.3) BCH = BCH(, δ, α, b) μήκους με γεννήτορα πολυώνυμο το πολυώνυμο γ(x) F[x] ονομάζεται BCH κώδικας προσχεδιασμένης απόστασης δ επί του σώματος F. Διαφορετικά θα μπορούσαμε να ορίσουμε έναν BCH κώδικα ως εξής: BCH(, δ, α, b) = { f(x) F 1 [x] α b+i είναι ρίζα του f(x) για όλα τα 0 i δ 2 } = {r = r 0 r 1 r 1 το πολυώνυμο r 0 + r 1 x + + r 1 x 1 F 1 [x] έχει ως ρίζες τα α b+i για όλα τα 0 i δ 2}. Παρατηρήσεις Έστω k ο βαθμός του πολυωνύμου γ(x), τότε, επειδή κάθε πολυώνυμο m i (x) διαιρεί το πολυώνυμο x qs 1 1 (γιατί;), έχουμε ότι k q s 1. Αυτό δεν είναι αρκετό για να μπορεί να ορισθεί ένας BCH κώδικας. Αναγκαστικά θα πρέπει να ισχύει k 1 q s 2. ¹Στην πράξη οι πλέον ενδιαφέρουσες περιπτώσεις είναι όταν ο είναι διαιρέτης του q s 1. Για τον λόγο αυτόν πολλοί συγγραφείς θέτουν αυτή την υπόθεση στον ορισμό.

3 5.1. BCH Κώδικες 307 Θα δούμε στα επόμενα ικανές συνθήκες (ως προς τα, δ, και b) ώστε πράγματι να μπορεί να ορισθεί ένας BCH κώδικας. (Πρόταση 5.1.7). 2. Στην πράξη ο μη αρνητικός ακέραιος b δεν χρειάζεται να υπερβαίνει τον q s 1 (γιατί;). Όπως επίσης δεν είναι ανάγκη να υποτεθεί μη αρνητικός (γιατί;). 3. Όπως έχουμε επισημάνει πολλοί θέτουν τον περιορισμό, από την αρχή, ο να διαιρεί τον q s 1. Άλλοι δεν απαιτούν το στοιχείο α να είναι πρωταρχικό στοιχείο του σώματος K, αλλά να είναι ένα στοιχείο τάξης. Στην περίπτωση αυτή έπεται ότι, αφ ενός μεν ο διαιρεί τον q s 1, αφ ετέρου δε ότι ο κώδικας είναι κυκλικός (γιατί;). Οι περιπτώσεις αυτές αποτελούν τις πλέον ενδιαφέρουσες και στα επόμενα θα επισημαίνεται αυτό. 4. Από τον τρόπο ορισμού ενός BCH κώδικα BCH(, δ, α, b) ο κώδικας αυτός εξαρτάται (και) από την επιλογή του πρωταρχικού στοιχείου α. Επομένως γεννάται το ερώτημα, αν επιλέξουμε ένα άλλο πρωταρχικό στοιχείο β, τί σχέση έχουν οι δύο κώδικες: BCH(, δ, α, b) και BCH(, δ, β, b); (βλέπε την άσκηση 2 στο τέλος της παραγράφου). Στην ειδική περίπτωση όπου b = 1 ο κώδικας: BCH(, δ, α, 1) = BCH(, δ, α) ονομάζεται υπό την στενή έννοια BCH κώδικας. Στην ειδική περίπτωση όπου q s = + 1, ο κώδικας BCH(q s 1, δ, α, b) ονομάζεται πρωταρχικός BCH κώδικας. Στην πλέον δε ειδική περίπτωση, όπου s = 1, δηλαδή = q 1 ο κώδικας BCH(q 1, δ, α, b) ονομάζεται κώδικας Reed-Solomo. Οι ειδικές αυτές περιπτώσεις παρουσιάζουν μεγαλύτερο πρακτικό ενδιαφέρον και είχαν μελετηθεί πριν από την γενική περίπτωση των BCH κωδίκων. Στην περίπτωση ενός πρωταρχικού BCH κώδικα ( = q s 1) το πρωταρχικό στοιχείο α του σώματος K είναι μια -οστη πρωταρχική ρίζα της μονάδας

4 308 Κεφάλαιο 5. Κώδικες Reed-Solomo και συναφείς κώδικες και ο αντίστοιχος (πρωταρχικός) BCH κώδικας είναι κυκλικός (βλέπε και την τελευταία από τις προηγούμενες παρατηρήσεις). Θεώρημα Σε έναν BCH κώδικα BCH(, δ, α, b) με γεννήτορα πολυώνυμο γ(x) για την ελάχιστη απόστασή του, έστω d, ισχύει deg(γ(x)) + 1 d δ. Απόδειξη. Θεωρούμε τον δ 1 πίνακα: 1 α b (α b ) 2 (α b ) 1 1 α b+1 (α b+1 ) 2 (α b+1 ) 1 H = 1 α b+2 (α b+2 ) 2 (α b+2 ) 1. 1 α b+δ 2 (α b+δ 2 ) 2 (α b+δ 2 ) 1 Παρατηρούμε ότι κάθε δ 1 δ 1 υποπίνακας του πίνακα H είναι ο ανάστροφος πίνακας ενός πίνακα Vadermode, άρα αντιστρέψιμος. Επομένως κάθε δ 1 το πλήθος στήλες του πίνακα H είναι γραμμικά ανεξάρτητες, ενώ κάθε δ το πλήθος στήλες είναι γραμμικά εξαρτημένες. Υποθέτουμε ότι υπάρχει ένα στοιχείο c = c 0 c 1 c 2 c 1 του κώδικα με βάρος w μικρότερο από δ. Από τον τρόπο ορισμού του κώδικα BCH(, δ, α, b) έχουμε ότι το στοιχείο c = c 0 c 1 c 1 ανήκει στον κώδικα αν και μόνο αν (c 0, c 1,, c 1 ) H t = 0. Από την σχέση αυτή βλέπουμε ότι οι w το πλήθος στήλες του πίνακα H που αντιστοιχούν στα μη μηδενικά στοιχεία της (κωδικο)λέξης c είναι γραμμικά εξαρτημένες, άτοπο. Άρα d δ. Διαφορετικά θα μπορούσαμε να επιχειρηματολογίσουμε ως εξής: Αν c ήταν μια (κωδικο)λέξη με βάρος ίσο με την ελάχιστη απόσταση d του κώδικα, τότε πάλι από την σχέση ch t = 0, έχουμε ότι d το πλήθος στήλες του πίνακα που αντιστοιχούν στα μη μηδενικά στοιχεία της c είναι γραμμικά εξαρτημένες, δηλαδή δ d. O κώδικας BCH(, δ, α, b) είναι πολυωνυμικός με γεννήτορα πολυώνυμο το γ(x). Από την Παρατήρηση έχουμε ότι η διάσταση του κώδικα είναι ίση με deg(γ(x)). Γνωρίζουμε όμως ότι d ( deg(γ(x))) + 1 = deg(γ(x))+1 (φράγμα του Sigleto για γραμμικούς κώδικες Πρόταση ). ό.έ.δ.

5 5.1. BCH Κώδικες 309 Παρατηρήσεις H σχέση d δ δικαιολογεί την ονομασία προσχεδιασμένη απόσταση. Στα επόμενα θα δούμε περιπτώσεις, όπου έχουμε ισότητα και περιπτώσεις όπου έχουμε γνήσια ανισότητα. 2. H απόδειξη του προηγουμένου θεωρήματος είναι στην πραγματικότητα η απόδειξη της Πρότασης Εκεί είχαμε έναν πίνακα ελέγχου ισοτιμίας του κώδικα. Εδώ ο πίνακας H δεν είναι πίνακας ελέγχου ισοτιμίας του κώδικα BCH(, δ, α, b). Περισσότερα επ αυτού στα επόμενα. 3. Υπάρχουν περιπτώσεις όπου d = deg(γ(x)) + 1. Δηλαδή υπάρχουν BCH κώδικες, οι οποίοι είναι μέγιστης απόστασης. Στο προηγούμενο θεώρημα, για να δείξουμε ότι η ελάχιστη απόσταση του κώδικα φράσσεται (από κάτω) από την προσχεδιασμένη τιμή δ, κρίσιμο σημείο ήταν η ύπαρξη πινάκων Vadermode. Αυτό οφείλεται στο ότι οι ρίζες του γεννήτορα πολυωνύμου είναι τα στοιχεία α b, α b+1,, α b+δ 2, τα οποία είναι δυνάμεις του ίδίου στοιχείου α με εκθέτες διαδοχικούς ακεραίους. Επομένως θα μπορούσαμε να γενικεύσουμε σε τυχαίους κυκλικούς κώδικες. Πρόταση (Το φράγμα BCH) Έστω ω μια πρωταρχική -οστή ρίζα της μονάδας επί του πεπερασμένου σώματος F και C ένας κυκλικός κώδικας μήκους με γεννήτορα πολυώνυμο g(x) F[x]. Υποθέτουμε ότι μεταξύ των ριζών του g(x) είναι και τα δ 1 το πλήθος στοιχεία ω b, ω b+1,, ω b+δ 2, όπου b 0. Τότε η ελάχιστη απόσταση του κώδικα C είναι τουλάχιστον ίση με δ. Απόδειξη. Η απόδειξη είναι ακριβώς η ίδια με το πρώτο μέρος της απόδειξης του προηγουμένου θεωρήματος. ό.έ.δ. Παραδείγματα Θα κατασκευάσουμε έναν δυαδικό υπό την στενή έννοια BCH κώδικα (b = 1) μήκους = 7 και προσχεδιασμένης απόστασης δ = 3.

6 310 Κεφάλαιο 5. Κώδικες Reed-Solomo και συναφείς κώδικες Σύμφωνα με τον ορισμό θα πρέπει να κατασκευάσουμε μια επέκταση K του σώματος Z 2 βαθμού s = 3 (καθότι πρέπει να ισχύει = 8). Δηλαδή θα έχουμε έναν πρωταρχικό κώδικα. Το πολυώνυμο x 3 + x + 1 Z 2 [x] είναι ανάγωγο επί του Z 2, οπότε έχουμε το σώμα K = Z 2 [x]/ x 3 + x + 1, το οποίο είναι μια επέκταση του Z 2 βαθμού 3. Το στοιχείο α = x + x 3 + x + 1 είναι πρωταρχικό στοιχείο του σώματος K (γιατί;) με ελάχιστο πολυώνυμο (επί του Z 2 ) το m 1 (x) = x 3 +x+1, αλλά και το στοιχείο α 2 έχει το ίδιο ελάχιστο πολυώνυμο (γιατί;). Συνεπώς το πολυώνυμο γεννήτορας του BCH κώδικα που αναζητούμε είναι το πολυώνυμο γ(x) = x 3 + x + 1. Οπότε η διάσταση του κώδικα είναι ίση με deg(γ(x)) = 7 3 = 4 και σύμφωνα με το προηγούμενο θεώρημα έχουμε ότι η ελάχιστη απόσταση ικανοποιεί την σχέση 4 d 3. Επειδή το πολυώνυμο γεννήτορας έχει τρεις μη μηδενικούς όρους, η ελάχιστη απόσταση του κώδικα ισούται με τρία. Αν θελήσουμε να περιγράψουμε τα στοιχεία του κώδικα, έχουμε: BCH = { f(x) x 3 + x + 1 f(x) = a 3 x 3 + a 2 x 2 + a 1 x + a 0, a i Z 2 } = { (a 0, a 1 + a 0, a 2 + a 1, a 3 + a 2 + a 0, a 3 + a 1, a 2, a 3 ) a i Z 2 }. 2. Θα κατασκευάσουμε έναν δυαδικό υπό την στενή έννοια BCH κώδικα (b = 1) μήκους = 15, ο οποίος θα διορθώνει (τουλάχιστον) 2 λάθη. Θα πρέπει να κατασκευάσουμε μια επέκταση K του σώματος Z 2 βαθμού s = 4 (καθότι πρέπει να ισχύει = 16). Δηλαδή θα έχουμε έναν πρωταρχικό κώδικα. Επίσης, επειδή θέλουμε να διορθώνει (τουλάχιστον) 2 λάθη, η προσχεδιασμένη απόσταση θα είναι ίση δ = 5. Όπως στο προηγούμενο παράδειγμα το πολυώνυμο x 4 + x + 1 Z 2 [x] είναι ανάγωγο επί του Z 2, οπότε έχουμε το σώμα K = Z 2 [x]/ x 4 +x+1, το οποίο είναι μια επέκταση του Z 2 βαθμού 4. Το στοιχείο α = x+ x 4 + x + 1 είναι πρωταρχικό στοιχείο του σώματος K (γιατί;) με ελάχιστο πολυώνυμο (επί του Z 2 ) το m 1 (x) = x 4 + x + 1.

7 5.1. BCH Κώδικες 311 Το πολυώνυμο γεννήτορας του BCH κώδικα που αναζητούμε, το πολυώνυμο γ(x), είναι το μικροτέρου βαθμού μονικό πολυώνυμο επί του Z 2, το οποίο έχει ως ρίζες τα στοιχεία α, α 2, α 3, α 4. Αλλά τα στοιχεία α 2, α 4 έχουν το ίδιο ελάχιστο πολυώνυμο με το στοιχείο α (γιατί;). Συνεπώς γ(x) = m 1 (x)m 3 (x). Επομένως πρέπει να υπολογίσουμε το m 3 (x), το ελάχιστο πολυώνυμο του α 3. Έχουμε m 3 (x) = (x α 3 )(x α 6 )(x α 9 )(x α 12 ). Το στοιχείο α ικανοποιεί τις σχέσεις α 15 = 1 και α 4 + α + 1 = 0. Οπότε κάνοντας τις πράξεις στο δεξιό μέρος της σχέσης m 3 (x) = (x α 3 )(x α 6 )(x α 9 )(x α 12 ) καταλήγουμε ότι m 3 (x) = x 4 + x 3 + x 2 + x + 1 (να κάνετε τις πράξεις και να επιβεβαιώσετε το αποτέλεσμα). Άρα γ(x) = m 1 (x)m 3 (x) = (x 4 + x + 1)(x 4 + x 3 + x 2 + x + 1) = x 8 + x 7 + x 6 + x Οπότε η διάσταση του κώδικα είναι ίση με deg(γ(x)) = 15 8 = 7 και σύμφωνα με το προηγούμενο θεώρημα έχουμε ότι η ελάχιστη απόσταση ικανοποιεί την σχέση 9 d 5. Επειδή το πολυώνυμο γεννήτορας έχει πέντε μη μηδενικούς όρους, η ελάχιστη απόσταση του κώδικα ισούται με πέντε. Άρα ο κώδικας που κατασκευάσαμε μπορεί να περιγρφεί ως εξής: BCH(15, 5, α) = { f(x) (Z 2 ) 14 [x] α 1+i είναι ρίζα του f(x) για όλα τα 0 i 3} = {(a 0 + a 1 x + a 2 x 2 + a 3 x 3 + a 4 x 4 + a 5 x 5 + a 6 x 6 ) (x 8 + x 7 + x 6 + x 4 + 1) a 0, a 1, a 2, a 3, a 4, a 5, a 6 Z 2 } = {r = r 0 r 1 r 14 το πολυώνυμο r 0 + r 1 x + + r 14 x 14 (Z 2 ) 14 [x] έχει ως ρίζες τα α 1+i για όλα τα 0 i 3}. 3. Θα κατασκευάσουμε έναν τριαδικό υπό την στενή έννοια BCH κώδικα (b = 1) μήκους = 8, ο οποίος θα διορθώνει (τουλάχιστον) 2 λάθη. Θα πρέπει να κατασκευάσουμε μια επέκταση K του σώματος Z 3 βαθμού s = 2 (καθότι πρέπει να ισχύει = 9). Δηλαδή θα έχουμε

8 312 Κεφάλαιο 5. Κώδικες Reed-Solomo και συναφείς κώδικες έναν πρωταρχικό κώδικα. Επίσης, επειδή θέλουμε να διορθώνει (τουλάχιστον) 2 λάθη, η προσχεδιασμένη απόσταση θα είναι ίση δ = 5. Όπως στα προηγούμενα παραδείγματα επιλέγουμε το πολυώνυμο x 2 + x+2 Z 3 [x], το οποίο είναι ανάγωγο επί του Z 3, οπότε έχουμε το σώμα K = Z 3 [x]/ x 2 + x + 2, το οποίο είναι μια επέκταση του Z 3 βαθμού 2. Το στοιχείο α = x+ x 2 +x+2 είναι πρωταρχικό στοιχείο του σώματος K (γιατί;) με ελάχιστο πολυώνυμο (επί του Z 3 ) το m 1 (x) = x 2 + x + 2. Το πολυώνυμο γεννήτορας του BCH κώδικα που αναζητούμε, το πολυώνυμο γ(x), είναι το μικροτέρου βαθμού μονικό πολυώνυμο επί του Z 3, το οποίο έχει ως ρίζες τα στοιχεία α, α 2, α 3, α 4. Αλλά το στοιχείο α 3 έχει το ίδιο ελάχιστο πολυώνυμο με το στοιχείο α (γιατί;), όπως επίσης τα στοιχεία α 2 και α 6. Συνεπώς γ(x) = m 1 (x)m 2 (x)m 4 (x). Επομένως πρέπει να υπολογίσουμε τα m 2 (x) και m 4 (x). Το στοιχείο α ικανοποιεί τη σχέση α 8 = 1. Επομένως εύκολα βλέπουμε ότι α 4 = 2. Συνεπώς: m 2 (x) = (x α 2 )(x α 6 ) = (x α 2 )(x 2α 2 ) = x 2 + 2α 4 = x Eπίσης m 4 (x) = x α 4 = x 2 = x + 1. Άρα: γ(x) = m 1 (x)m 2 (x)m 4 (x) = (x 2 + x + 2)(x 2 + 1)(x + 1) = x 5 + 2x 4 + x 3 + x Οπότε η διάσταση του κώδικα είναι ίση με deg(γ(x)) = 8 5 = 3 και σύμφωνα με το προηγούμενο θεώρημα έχουμε ότι η ελάχιστη απόσταση ικανοποιεί την σχέση d 5. Επειδή το πολυώνυμο γεννήτορας έχει πέντε μη μηδενικούς όρους, η ελάχιστη απόσταση του κώδικα ισούται με πέντε.

9 5.1. BCH Κώδικες 313 Άρα ο κώδικας που κατασκευάσαμε μπορεί να περιγραφεί ως εξής: BCH(8, 5, α) = { f(x) (Z 3 ) 7 [x] α 1+i είναι ρίζα του f(x) για όλα τα 0 i 3 } = {(a 0 + a 1 x + a 2 x 2 )(x 5 + 2x 4 + x 3 + x 2 + 2) a 0, a 1, a 2 Z 2 } = {r = r 0 r 1 r 7 το πολυώνυμο r 0 + r 1 x + + r 7 x 7 (Z 2 ) 7 [x] έχει ως ρίζες τα α 1+i για όλα τα 0 i 3}. 4. Έστω r 2 ένας ακέραιος. Θα κατασκευάσουμε έναν πρωταρχικό, υπό την στενή έννοια, δυαδικό BCH κώδικα προσχεδιασμένης απόστασης δ = 3. Έστω = 2 r 1 και K μια επέκταση του Z 2 βαθμού r, επιλέγουμε ένα πρωταρχικό στοιχείο α του σώματος K (δηλαδή μια πρωταρχική -οστή ρίζα της μονάδος). Σύμφωνα με τον Oρισμό ο πρωταρχικός ( = 2 r 1), υπό την στενή έννοια (b = 1) BCH κώδικας έχει γεννήτορα πολυώνυμο το γ(x) = εκπ( m i+1 (x), 0 i δ 2), όπου, για κάθε 0 i δ 2, το m i+1 (x) είναι το ελάχιστο πολυώνυμο του α b+i επί του Z 2. Αλλά b = 1 και δ = 3, οπότε γ(x) = εκπ( m 1 (x), m 2 (x) ). Τα στοιχεία όμως α και α 2 έχουν το ίδιο ελάχιστο πολυώνυμο. Συνεπώς έχουμε κατασκευάσει τον κώδικα BCH( = 2 r 1, δ = 3, α) με γεννήτορα πολυώνυμο γ(x) = m 1 (x) = m α (x). Θα δούμε την σχέση αυτού του κώδικα με τους δυαδικούς Hammig κώδικες. Έστω H(r, 2) ο δυαδικός Hammig κώδικας με παραμέτρους: [ = 2 r 1, k = 2 r 1 r, d = 3]. Στο Θεώρημα είχαμε δεί ότι ο κώδικας H(r, 2) είναι ισοδύναμος με τον κυκλικό κώδικα που έχει γεννήτορα πολυώνυμο το ελάχιστο πολυώνυμο m ω (x), όπου ω είναι μια πρωταρχική -οστη ρίζα της μονάδος επί του Z 2.

10 314 Κεφάλαιο 5. Κώδικες Reed-Solomo και συναφείς κώδικες Άρα αποδείξαμε ότι οι δυαδικοί Hammig κώδικες αποτελούν μια ειδική περίπτωση των δυαδικών BCH κωδίκων. Πρόταση Έστω F ένα σώμα με q το πλήθος στοιχεία. Έστω = q s 1, δ = qt + 1 θετικοί ακέραιοι με 2 δ. Πάντα μπορούμε να κατασκευάσουμε επί του F έναν BCH (υπό την στενή έννοια) κώδικα μήκους και προσχεδιασμένης απόστασης δ με γεννήτορα πολυώνυμο γ(x) βαθμού το πολύ (q 1)ts. Απόδειξη. Έστω K μια επέκταση του F βαθμού s και α ένα πρωταρχικό στοιχείο του σώματος K. Για κάθε 1 i δ 1 = qt έστω m i (x) το ελάχιστο πολυώνυμο του α i επί του F και γ(x) = εκπ( m i (x), 1 i δ 1 = qt). Όπως στον ορισμό, κατασκευάζουμε τον BCH κώδικα BCH(, δ, α). Κάθε πολυώνυμο m i (x) έχει βαθμό s, άρα το πολυώνυμο γεννήτορας γ(x) έχει βαθμό το πολύ (qt)s. Γνωρίζουμε ότι οι ρίζες α και α q έχουν το ίδιο ελάχιστο πολυώνυμο και γενικά οι ρίζες α i και (α i ) q έχουν το ίδιο ελάχιστο πολυώνυμο. Επομένως τα t το πλήθος πολυώνυμα m q (x), m 2q (x),, m tq (x) δεν χρειάζεται να συμπεριληφθούν στον υπολογισμό του ε.κ.π. των m i (x), 1 i δ 1 = qt. Συνεπώς για το εκπ( m i (x), 1 i δ 1 = qt) αρκούν qt t το πλήθος πολυώνυμα, δηλαδή το πολυώνυμο γεννήτορας γ(x) έχει βαθμό το πολύ (q 1)ts. ό.έ.δ. Παρατήρηση Στην ειδική περίπτωση των δυαδικών κωδίκων, αν υποθέσουμε ότι έχουμε περιττή προσχεδιασμένη απόσταση, δ = 2t+1, όπως στην προηγούμενη πρόταση, έχουμε ότι m 1 (x) = m δ 1 (x), καθότι οι ρίζες α και α 2t έχουν το ίδιο ελάχιστο πολυώνυμο. Επομένως γ(x) = εκπ( m i (x), 1 i δ 1 = 2t) = εκπ( m i (x), 1 i δ 2 = 2t 1). Συνεπώς οι κώδικες C(, δ, α) και C(, δ 1, α) συμπίπτουν. Η παρατήρηση αυτή μας επιτρέπει (άνευ βλάβης) να υποθέτουμε πάντα ότι οι, υπό την στενή έννοια, δυαδικοί BCH κώδικες έχουν περιττή προσχεδιασμένη απόσταση. Έστω BCH(, δ, α, b) ένας BCH κώδικας επί ενός σώματος F. Στο Θεώρημα για να αποδείξουμε ότι ο αριθμός δ αποτελεί ένα κάτω φράγμα για την ελάχιστη απόσταση του κώδικα είχαμε χρησιμοποιήσει

11 5.1. BCH Κώδικες 315 τον (δ 1) πίνακα: 1 α b (α b ) 2 (α b ) 1 1 α b+1 (α b+1 ) 2 (α b+1 ) 1 H = 1 α b+2 (α b+2 ) 2 (α b+2 ) 1. 1 α b+δ 2 (α b+δ 2 ) 2 (α b+δ 2 ) 1 Αν και ο πίνακας H δεν είναι ο πίνακας ελέγχου ισοτιμίας του κώδικα BCH (Παρατήρηση 5.1.4), στην απόδειξη επικαλεσθήκαμε επιχειρήματα που σχετίζονται με ιδιότητες ενός πίνακα ελέγχου ισοτιμίας του κώδικα. Θα κατασκευάσουμε έναν πίνακα ελέγχου ισοτιμίας για τον κώδικα BCH με την βοήθεια του πίνακα H. Στην θέση (i, j) αντιστοιχεί το στοιχείο h ij = (α b+i 1 ) j 1. Το στοιχείο αυτό ανήκει στο σώμα K, το οποίο είναι μια επέκταση του σώματος F βαθμού s. Θεωρούμε το σώμα K ως διανυσματικό χώρο επί του F, επιλέγουμε και σταθεροποιούμε μια διατεταγμένη βάση του B = { e 1, e 2,, e s }. Κάθε h ij το εκφράζουμε ως γραμμικό συνδυασμό των διανυσμάτων της βάσης που επιλέξαμε και με [r j i ] συμβολίζουμε το διάνυσμα στήλη των συντελεστών στην έκφραση αυτή. Δηλαδή h ij = [r j i ]t (e 1, e 2,, e s ) t. Από τον τρόπο ορισμού του κώδικα BCH(, δ, α, b) έχουμε ότι το στοιχείο c = c 1 c 2 c ανήκει στον κώδικα αν και μόνο αν (c 1, c 2,, c ) H t = 0. Οπότε, σε συνδυασμό με την προηγούμενη σχέση έχουμε ότι το c = c 1 c 2 c ανήκει στον κώδικα αν και μόνο αν c 1 [r 1 i ] + c 2[r 2 i ] + c [r i ] = 0 για κάθε i = 1, 2,, δ 1. Κατασκευάζουμε τον πίνακα: P = [r 1 1 ] [r2 1 ] [r3 1 ] [r 1 ] [r 1 2 ] [r2 2 ] [r3 2 ] [r 2 ] [r 1 3 ] [r2 3 ] [r3 3 ] [r 3 ] [r 1 δ 1 ] [r2 δ 1 ] [r3 δ 1 ] [r δ 1 ] ο οποίος προκύπτει από τον πίνακα H με την αντικατάσταση κάθε h ij με το διάνυσμα στήλη [r j i ] των συντελεστών του στην έκφρασή του ως γραμμικό,

12 316 Κεφάλαιο 5. Κώδικες Reed-Solomo και συναφείς κώδικες συνδυασμό των διανυσμάτων της βάσης B. Προφανώς από τα προηγούμενα έπεται ότι το στοιχείο c = c 1 c 2 c ανήκει στον κώδικα αν και μόνο αν (c 1, c 2,, c ) P t = 0. Στον πίνακα P, αν αναπτύξουμε κάθε στήλη [r j i ], η οποία περιλαμβάνει s το πλήθος στοιχεία, τότε προκύπτει ένας (δ 1)s πίνακας H, του οποίου τα στοιχεία είναι από το σώμα F και για τον οποίο ισχύει ότι το στοιχείο c = c 1 c 2 c ανήκει στον κώδικα αν και μόνο αν (c 1, c 2,, c ) H t = 0. Συνεπώς με την διαδικασία αυτή κατασκευάσαμε έναν πίνακα ελέγχου ισοτιμίας για τον BCH κώδικα BCH(, δ, α, b) επί του σώματος F. Παρατήρηση Η διαδικασία, που περιγράψαμε για την κατασκευή ενός πίνακα ελέγχου ισοτιμίας για τον BCH κώδικα BCH(, δ, α, b), είναι η ίδια που παρουσιάσαμε στην σελίδα 191 για την κατασκευή ενός πίνακα ελέγχου ισοτιμίας σε έναν κυκλικό κώδικα. Παράδειγμα Στο Παράδειγμα είχαμε κατασκευάσει έναν, υπό την στενή έννοια (b = 1), δυαδικό BCH κώδικα BCH μήκους = 7 και προσχεδιασμένης απόστασης δ = 3, του οποίου το πολυώνυμο γεννήτορας ήταν το γ(x) = x 3 + x + 1. Λαμβάνοντας το στοιχείο α = x + x 3 + x + 1 στην επέκταση K = Z 2 [x]/ x 3 + x + 1 κατασκευάζουμε τον 2 7 πίνακα: H = ( 1 α α2 α 3 α 4 α 5 α 6 1 α 2 (α 2 ) 2 (α 2 ) 3 (α 2 ) 4 (α 2 ) 5 (α 2 ) 6 ), ο οποίος δεν είναι ο πίνακας ελέγχου ισοτιμίας του κώδικα BCH. Θα κατασκευάσουμε έναν πίνακα ελέγχου ισοτιμίας για τον κώδικα με την βοήθεια του πίνακα H. Η επέκταση K είναι βαθμού 3 επί του Z 2. Eπιλέγουμε και σταθεροποιούμε την διατεταγμένη βάση B = { 1, α, α 2 }. Κάθε στοιχείο του πίνακα το εκφράζουμε ως γραμμικό συνδυασμό των διανυσμάτων της βάσης που επιλέξαμε και με [r j i ] συμβολίζουμε το διάνυσμα στήλη των συντελεστών του στοιχείου στη θέση (i, j) στην έκφραση αυτή. Για παράδειγμα: 1 = [r 1 1 ]t (1, α, α 2 ) t = (1, 0, 0) (1, α, α 2 ) t, α 6 = [r 4 2 ]t (1, α, α 2 ) t = (1, 0, 1) (1, α, α 2 ) t.

13 5.1. BCH Κώδικες 317 Τελικά ο (2 3) 7 πίνακας: H = , ο οποίος κατασκευάστηκε με την διαδικασία που περιγράψαμε (να κάνετε τον έλεγχο των πράξεων), είναι ένας πίνακας ελέγχου ισοτιμίας για τον κώδικα C, καθότι τα στοιχεία είναι από το σώμα Z 2 και ισχύει ότι το στοιχείο c = c 1 c 2 c ανήκει στον κώδικα αν και μόνο αν (c 1, c 2,, c ) H t = Ασκήσεις 1. Να απαντήσετε σε όλα τα γιατί; αυτής της παραγράφου. 2. Έστω ένας BCH κώδικας. Kατά πόσον η δομή του κώδικα αυτού εξαρτάται από την επιλογή του πρωταρχικού στοιχείου α; Δηλαδή, αν επιλέξουμε ένα άλλο πρωταρχικό στοιχείο β, τί σχέση έχουν οι δύο κώδικες BCH(, δ, α, b) και BCH(, δ, β, b); (Εξετάστε πρώτα την περίπτωση, όπου οι κώδικες είναι υπό την στενή έννοια πρωταρχικοί κώδικες). 3. Να προσδιορίσετε όλους τους δυαδικούς BCH κώδικες μήκους Nα κατασκευάσετε έναν υπό την στενή έννοια τριαδικό BCH κώδικα BCH(26, 5, α). 5. Ως γνωστόν ένας κώδικας C ονομάζεται αυτο-ορθογώνιος αν ισχύει C C. Να βρεθεί ένας αυτο-ορθογώνιος δυαδικός BCH κώδικας μήκους = 7. (βλέπε Ασκήσεις , 15, 16 ).

14 318 Κεφάλαιο 5. Κώδικες Reed-Solomo και συναφείς κώδικες 6. Ποίος είναι ο λόγος πληροφορίας ενός υπό την στενή έννοια BCH κώδικα μήκους 31, ο οποίος διορθώνει δύο λάθη; (α) Επί του σώματος Z 2. (β) Επί του σώματος Z Να υπολογίσετε το πολυώνυμο γεννήτορα και το πολυώνυμο ελέγχου ισοτιμίας για έναν δυαδικό BCH κώδικα, ο οποίος διορθώνει τρία λάθη. (α) Μήκους 15. (β) Μήκους 31. (γ) Με τον κώδικα αυτό κωδικοποιήστε την πληροφορία, της οποίας όλοι οι χαρακτήρες είναι ίσοι με το Συμβατικοί Κώδικες Reed-Solomo Στην προηγουμένη παράγραφο αναφερθήκαμε στην κατασκευή των BCH κωδίκων επί ενός σώματος F χρησιμοποιώντας μια επέκταση K του F. Εδώ θα γενικεύσουμε την προηγουμένη κατασκευή και θα λάβουμε τους BCH κώδικες ως υποκώδικες άλλων κωδίκων. Έστω F ένα πεπερασμένο σώμα με q το πλήθος στοιχεία. Έστω, δ θετικοί ακέραιοι με 2 δ και b ένας μη αρνητικός ακέραιος. Έστω K μια επέκταση του σώματος F βαθμού s με την ιδιότητα K = q s + 1 και α ένα πρωταρχικό στοιχείο του σώματος K. Ορίζουμε το πολυώνυμο: γ(x) = (x α b )(x α b+1 )(x α b+2 ) (x α b+δ 2 ) K[x]. Ορισμός Ο πολυωνυμικός κώδικας CRS = CRS(, δ, α, b)² μήκους με πολυώνυμο γεννήτορα το πολυώνυμο γ(x) K[x] ονομάζεται Συμβατικός κώδικας Reed-Solomo προσχεδιασμένης απόστασης δ (με σώμα βάσης το F). code. ²Ο συμβολισμός CRS προέρχεται από την διεθνή ονομασία Covesioal Reed-Solomo

15 5.2. Συμβατικοί Κώδικες Reed-Solomo 319 Διαφορετικά θα μπορούσαμε να ορίσουμε έναν συμβατικό κώδικα Reed- Solomo ως εξής: CRS(, δ, α, b) = { f(x) K 1 [x] α b+i είναι ρίζα του f(x) Παρατηρήσεις = {r = r 0 r 1 r 1 το πολυώνυμο για όλα τα 0 i δ 2 } r 0 + r 1 x + + r 1 x 1 K 1 [x] έχει ως ρίζες τα α b+i για όλα τα 0 i δ 2}. 1. Αν και ξεκινήσαμε με αφετηρία το σώμα F, ο κώδικας CRS που κατασκευάσαμε έχει ως αλφάβητο τα στοιχεία μιας επέκτασης K του σώματος F. Ο μόνος λόγος που κάνουμε αυτό είναι να επανέλθουμε στα επόμενα για να δούμε τους BCH κώδικες ως (υπο)κώδικες των συμβατικών κωδίκων Reed-Solomo. Συνεπώς θα μπορούσαμε να ορίσουμε τους συμβατικούς κώδικες Reed- Solomo ως εξής: Έστω K ένα πεπερασμένο σώμα, δ θετικοί ακέραιοι με 2 δ K 1 και b ένας μη αρνητικός ακέραιος. Έστω α ένα πρωταρχικό στοιχείο του σώματος K. Ορίζουμε το πολυώνυμο α b+2 ) (x α b+δ 2 ) K[x]. γ(x) = (x α b )(x α b+1 )(x Ο πολυωνυμικός κώδικας CRS = CRS(, δ, α, b) μήκους με πολυώνυμο γεννήτορα το πολυώνυμο κώδικας Reed-Solomo. γ(x) K[x] ονομάζεται συμβατικός Η πλέον ενδιαφέρουσα κατηγορία συμβατικώνν κωδίκων Reed-Solomo είναι οι πρωταρχικοί συμβατικοί κώδικες Reed-Solomo (στο εξής θα αναφέρονται απλά ως κώδικες Reed-Solomo), όπου το μήκος τους ισούται με το πλήθος των μη μηδενικών στοιχείων του σώματος K ( = K 1) που αποτελεί το αλφάβητο του κώδικα. Μάλιστα δε οι κώδικες αυτοί είναι κυκλικοί, καθότι το πολυώνυμο γ(x) = (x α b )(x α b+1 )(x α b+2 ) (x b+δ 2 α ) K[x] διαιρεί το x 1,

16 320 Κεφάλαιο 5. Κώδικες Reed-Solomo και συναφείς κώδικες αφού κάθε στοιχείο c του σώματος K ικανοποιεί την σχέση c = Θεωρούμε τον (δ 1) πίνακα: H = 1 α b (α b ) 2 (α b ) 1 1 α b+1 (α b+1 ) 2 (α b+1 ) 1 1 α b+2 (α b+2 ) 2 (α b+2 ) 1 1 α b+δ 2 (α b+δ 2 ) 2 (α b+δ 2 ) 1. Εύκολα βλέπουμε ότι ο πίνακας H είναι ένας πίνακας ελέγχου ισοτιμίας για τον συμβατικό κώδικα Reed-Solomo καθότι, από τον τρόπο ορισμού του κώδικα CRS(, δ, α, b), έχουμε ότι το στοιχείο c = c 0 c 1 c 1 ανήκει στον κώδικα αν και μόνο αν (c 0, c 1,, c 1 ) H t = 0. Μπορούμε να αποδείξουμε ένα θεώρημα ανάλογο με το Θεώρημα Θεώρημα Ένας συμβατικός κώδικας Reed-Solomo CRS(, δ, α, b) με πολυώνυμο γεννήτορα γ(x) είναι κώδικας μέγιστης (ελάχιστης) απόστασης (MDS κώδικας). Μάλιστα δε για την ελάχιστη απόστασή του, έστω d, ισχύει deg( γ(x)) + 1 = d = δ. Απόδειξη. Από την προηγουμένη παρατήρηση, ο πίνακας H είναι ένας πίνακας ελέγχου ισοτιμίας του οποίου η τάξη ισούται με το πλήθος γραμμών του δ 1. Επομένως, σύμφωνα με την Πρόταση , έχουμε ότι η ελάχιστη απόστασή του είναι ίση με d = δ. Από το δεύτερο μέρος της απόδειξης του Θεωρήματος έχουμε ότι ο κώδικας είναι MDS. ό.έ.δ. Παράδειγμα Θα κατασκευάσουμε,τώρα, έναν κώδικα Reed-Solomo CRS(7, 3, α) μήκους = 7, προσχεδιασμένης απόστασης δ = 3 (b = 1), όπου α = x + x 3 + x + 1 είναι ένα πρωταρχικό στοιχείο του σώματος K = Z 2 [x]/ x 3 + x + 1. Kατασκευάζουμε τον 2 6 πίνακα: H = ( 1 α α2 α 3 α 4 α 5 1 α 2 (α 2 ) 2 (α 2 ) 3 (α 2 ) 4 (α 2 ) 5 ).

17 5.2. Συμβατικοί Κώδικες Reed-Solomo 321 Ο κώδικας που αναζητούμε έχει ως πίνακα ελέγχου ισοτιμίας τον πίνακα H και ως γεννήτορα πολυώνυμο το πολυώνυμο Δηλαδή γ(x) = (x α)(x α 2 ) K[x]. C(7, 3, α) = { f(x) K 6 [x] α, α 2 είναι ρίζες του f(x)} = {r = r 0 r 1 r 6 το πολυώνυμο r 0 + r 1 x + + r 6 x 6 K 6 [x] έχει ως ρίζες τα α, α 2 } = {r = r 0 r 1 r 6 K 7 rh t = 0} Οι BCH κώδικες ως υποκώδικες των συμβατικών κωδίκων Reed-Solomo Έστω F ένα πεπερασμένο σώμα με q το πλήθος στοιχεία. Έστω, δ θετικοί ακέραιοι με 2 δ και b ένας μη αρνητικός ακέραιος. Έστω K μια επέκταση του σώματος F βαθμού s με την ιδιότητα q s + 1 και α ένα πρωταρχικό στοιχείο του σώματος K. Έστω CRS = CRS(, δ, α, b) ο συμβατικός κώδικας Reed-Solomo μήκους με πολυώνυμο γεννήτορα το πολυώνυμο γ(x) = (x α b )(x α b+1 )(x α b+2 ) (x α b+δ 2 ) K[x]. Από τον κώδικα CRS επιλέγουμε μόνο τις (κωδικο)λέξεις, των οποίων τα γράμματα (οι χαρακτήρες) ανήκουν στο (αρχικό) σώμα F. Δηλαδή παίρνουμε την τομή A = F CRS. Το σύνολο A είναι ένας (υπο)κώδικας του κώδικα CRS και μάλιστα γραμμικός (ως τομή διανυσματικών χώρων επί του ιδίου σώματος F). Μάλιστα δε ως υποκώδικας του CRS είναι αραιώτερος, δηλαδή η ελάχιστη απόστασή του είναι τουλάχιστον ίση με δ. Θα περιγράψουμε τα στοιχεία του κώδικα A. Για κάθε 0 i δ 2 έστω m i (x) το ελάχιστο πολυώνυμο του α b+i επί του F και γ(x) = εκπ( m i (x), 0 i δ 2). Δηλαδή το πολυώνυμο γ(x) είναι το μικροτέρου βαθμού μονικό πολυώνυμο επί του F, το οποίο έχει ως ρίζες τα στοιχεία α b, α b+1,, α b+δ 2. Από την άλλη πλευρά το πολυώνυμο γ(x) = (x α b )(x α b+1 )(x α b+2 ) (x α b+δ 2 ) K[x] έχει ακριβώς τα στοιχεία α b, α b+1,, α b+δ 2 ως ρίζες. Δη-

18 322 Κεφάλαιο 5. Κώδικες Reed-Solomo και συναφείς κώδικες λαδή το πολυώνυμο δακτύλιο K[x]). γ(x) διαιρεί το πολυώνυμο γ(x) (η διαίρεση γίνεται στο Έστω r = r 0 r 1 r 1 ένα στοιχείο του κώδικα A, δηλαδή το πολυώνυμο r 0 +r 1 x+ +r 1 x 1 F 1 [x] έχει ως ρίζες τα α b+i για όλα τα 0 i δ 2. Από τον ορισμό του πολυωνύμου γ(x), το γ(x) διαιρεί το πολυώνυμο r 0 +r 1 x+ + r 1 x 1 F 1 [x]. Αυτό σημαίνει ότι το στοιχείο r = r 0 r 1 r 1 ανήκει στον BCH κώδικα BCH = BCH(, δ, α, b). Προφανώς ισχύει ότι BCH = BCH(, δ, α, b) A. Ανακεφαλαιώνοντας έχουμε: Θεώρημα Κάθε BCH κώδικας BCH = BCH(, δ, α, b) επί ενός πεπερασμένου σώματος F προέρχεται από την αποδελτίωση (σμίκρυνση) ενός συμβατικού κώδικα Reed-Solomo. Απόδειξη. Η απόδειξη έχει προηγηθεί. ό.έ.δ. Πόρισμα Έστω K ένα πεπερασμένο σώμα και CRS ένας συμβατικός κώδικας Reed-Solomo μήκους (επί του K). Για κάθε υπόσωμα F του K ορίζεται ένας BCH κώδικας BCH F = CRS F. Αντίστροφα, έστω F ένα πεπερασμένο σώμα και BCH ένας BCH κώδικας. Τότε υπάρχει μια επέκταση K του σώματος F επί του οποίου ορίζεται ένας συμβατικός κώδικας Reed-Solomo CRS. Παράδειγμα Στο Παράδειγμα είχαμε κατασκευάσει έναν κώδικα Reed-Solomo RS(7, 3, α) επί του αλφαβήτου K = Z 2 [x]/ x 3 + x + 1. Στο Παράδειγμα είχαμε κατασκευάσει έναν δυαδικό BCH κώδικα BCH(7, 3, α). Προφανώς ισχύει ότι BCH = RS Z 7 2. Δηλαδή ο BCH κώδικας BCH επί του σώματος Z 2 προέρχεται από την αποδελτίωση (σμίκρυνση) του κώδικα Reed-Solomo RS(7, 3, α) επί του αλφαβήτου K. Σχόλιο Είδαμε ότι ένας BCH κώδικας μπορεί να προέλθει ως υποκώδικας ενός συμβατικού κώδικα Reed-Solomo. Από την άλλη πλευρά έχουμε ορίσει τους κώδικες Reed-Solomo ως πρωταρχικούς συμβατικούς κώδικες Reed-Solomo.

19 5.2. Συμβατικοί Κώδικες Reed-Solomo 323 Οι έννοιες πρωταρχικός BCH κώδικας και κώδικας Reed-Solomo ταυτίζονται υπό την εξής έννοια: Έστω F ένα πεπερασμένο σώμα με q το πλήθος στοιχεία και K μια επέκτασή του βαθμού s = 1 (F = K). Σύμφωνα με τον Ορισμό ορίζεται ο πρωταρχικός BCH κώδικας BCH = BCH(, δ, α, b) μήκους = q 1 επί του σώματος F = K. Στην Παρατήρηση όμως, όπως και στη σελίδα 5.1, είδαμε ότι αυτός ειναι και ο ορισμός ενός κώδικα Reed-Solomo Ασκήσεις 1. Να απαντήσετε σε όλα τα γιατί; αυτής της παραγράφου. 2. Έστω F = Z 13. (αʹ) Να κατασκευάσετε έναν υπό την στενή έννοια συμβατικό κώδικα Reed-Solomo (με σώμα βάσης το Z 2 ) μήκους 15 και διάστασης 11. Ποιά είναι η ελάχιστη απόστασή του; (βʹ) Να κατασκευάσετε έναν υπό τη στενή έννοια κώδικα Reed-Solomo RS(, δ, α) επί του F μήκους = 12, προσχεδιασμέμης απόστασης δ = 5 και με πρωταρχικό στοιχείο α = 2. Συγκεκριμμένα να υπολογίσετε το πολυώνυμο γεννήτορα και έναν πίνακα ελέγχου ισοτιμίας. (γʹ) Να μελετήσετε τον δυϊκό κώδικα του RS(, δ, α). Συγκεκριμμένα να υπολογίσετε το πολυώνυμο γεννήτορα και έναν πίνακα ελέγχου ισοτιμίας. Επίσης να υπολογίσετε την ελάχιστη απόστασή του. (δʹ) Έστω γ(x) το πολυώνυμο γεννήτορας του κώδικα RS(, δ, α). Να μελετήσετε το κυκλικό συμπλήρωμά του. Δηλαδή τον κυκλικό κώδικα που έχει ως πολυώνυμο γεννήτορα το πολυώνυμο g(x) με την ιδιότητα x 12 1 = γ(x) g(x). δείξτε ότι και αυτός ο κώδικας είναι ένας κώδικας Reed-Solomo. 3. Έστω F ένα σώμα με q το πλήθος στοιχεία και α ένα πρωταρχικό στοιχείο του. Έστω k ένας ακέραιος με 1 k = q 1.

20 324 Κεφάλαιο 5. Κώδικες Reed-Solomo και συναφείς κώδικες Ορίζουμε έναν κώδικα ως εξής: C = { (φ(1), φ(α), φ(α 2 ),, φ(α q 2 )) φ(x) F k 1 [x]}. Δείξτε ότι ο κώδικας αυτός είναι ένας, υπό την στενή έννοια, κώδικας Reed-Solomo επί του F. Υπολογίστε το πολυώνυμο γεννήτορα και έναν πίνακα ελέγχου ισοτιμίας. (Η άσκηση αυτή αποτελεί έναν ισοδύναμο ορισμό ενός, υπό την στενή έννοια, κώδικα Reed-Solomo. Βλέπε και την Παρατήρηση 5.3.7). 4. (Συνέχεια της προηγουμένης άσκησης) Έστω ότι έχουμε τον κώδικα: C = { (φ(1), φ(α), φ(α 2 ),, φ(α q 2 )) φ(x) F k 1 [x]}. Επιλέγουμε ως πηγή πληροφοριών το F k και ως συνάρτηση κωδικοποίησης την f F k C με: f(r 0, r 1,, r k 1 ) = (φ(1), φ(α), φ(α 2 ),, φ(α q 2 )), όπου φ(x) = r 0 + r 1 x+, + r k 1 x k 1. Δείξτε ότι η f είναι πράγματι συνάρτηση κωδικοποίησης. Να κωδικοποιήσετε την λέξη (1, 1,, 1). 5. Έστω CRS( = 9, δ = 4, α, b = 0) ένας συμβατικός κώδικας Reed- Solomo επί ενός σώματος F με 2 6 το πλήθος στοιχεία, και το α F να είναι τάξης 9. (αʹ) Δείξτε ότι ο κώδικας αυτός είναι κυκλικός. (βʹ) Υπολογίστε έναν γεννήτορα πίνακά του. (γʹ) Δείξτε ότι το στοιχείο: (1, α 3, α 3, 1, α 3, α 3, 1, α 3, α 3 ) F αποτελεί (κωδικο)λέξη.

21 5.3. Γενικευμένοι κώδικες Reed-Solomo Γενικευμένοι κώδικες Reed-Solomo Στην προηγουμένη παράγραφο ορίσαμε τους συμβατικούς κώδικες Reed- Solomo μήκους και προσχεδιασμένης απόστασης δ επί ενός σώματος με την βοήθεια ενός πρωταρχικού στοιχείου α του σώματος, λαμβάνοντας ως πίνακα ελέγχου ισοτιμίας του κώδικα τον (δ 1) πίνακα: H = 1 α b (α b ) 2 (α b ) 1 1 α b+1 (α b+1 ) 2 (α b+1 ) 1 1 α b+2 (α b+2 ) 2 (α b+2 ) 1 1 α b+δ 2 (α b+δ 2 ) 2 (α b+δ 2 ) 1, όπου b είναι ένας μη αρνητικός ακέραιος. Θα δούμε πώς μπορούμε να γενικεύσουμε την ανωτέρω κατασκευή. Έστω F ένα πεπερασμένο σώμα με q το πλήθος στοιχεία και α 1, α 2,, α διακεκριμένα μη μηδενικά στοιχεία του F. Επίσης έστω u 1, u 2,, u μη μηδενικά (όχι κατ ανάγκη διακεκριμένα) στοιχεία του F και δ ένας ακέραιος με 2 δ. Ο γραμμικός κώδικας GRS που ορίζεται έχοντας ως πίνακα ελέγχου ισοτιμίας τον πίνακα H = α 1 α 2 α 3 α α 2 1 α 2 2 α 2 3 α 2 (α 1 ) δ 2 (α 2 ) δ 2 (α 3 ) δ 2 (α ) δ 2 u u u u με στοιχεία από το αλφάβητο F ονομάζεται Γενικευμένος κώδικας Reed- Solomo επί του σώματος F και ο πίνακας H ο κανονικός πίνακας ελέγχου ισοτιμίας του. Από τον ορισμό απαιτήται το μήκος του κώδικα να μην υπερβαίνει το πλήθος των μη μηδενικών στοιχείων του σώματος επί του οποίου ορίζεται. Αν κάνουμε τον πολλαπλασιασμό των δύο ανωτέρω πινάκων βλέπουμε ότι η i-στήλη του πρώτου πίνακα πολλαπλασιάζεται με το στοιχείο u i. Για τον

22 326 Κεφάλαιο 5. Κώδικες Reed-Solomo και συναφείς κώδικες λόγο αυτό τα στοιχεία u i, i = 1,, ονομάζονται συντελεστές στηλών ενώ τα στοιχεία α i, i = 1,, ονομάζονται εντοπισμοί του κώδικα. Πριν προχωρήσουμε ας δούμε ένα παράδειγμα. Έστω α ένα πρωταρχικό στοιχείο του σώματος F και b ένας μη αρνητικός ακέραιος. Θέτουμε α i = α i 1 και u i = α b(i 1), i = 1,,. Στην περίπτωση αυτή έχουμε ότι: 1 α b (α b ) 2 (α b ) 1 1 α b+1 (α b+1 ) 2 (α b+1 ) 1 H = 1 α b+2 (α b+2 ) 2 (α b+2 ) 1. 1 α b+δ 2 (α b+δ 2 ) 2 (α b+δ 2 ) 1 Παρατηρούμε ότι ο πίνακας H είναι ο πίνακας ελέγχου ισοτιμίας ενός συμβατικού κώδικα Reed-Solomo. Το γεγονός αυτό δικαιολογεί την ονομασία γενικευμένοι κώδικες Reed-Solomo. Θέτουμε k = δ + 1. Θεώρημα Ένας γενικευμένος κώδικας Reed-Solomo GRS είναι ένας κώδικας με παραμέτρους [, k, d = k + 1], δηλαδή ένας μέγιστης (ελάχιστης) απόστασης (MDS κώδικας). Απόδειξη. Ο πίνακας ελέγχου ισοτιμίας H του κώδικα έχει δ 1 = k το πλήθος γραμμές. Η απόδειξη είναι παρόμοια με την απόδειξη του Θεωρήματος με μόνη παρατήρηση ότι ο πολλαπλασιασμός των στηλών ενός πίνακα Vadermode με μη μηδενικά στοιχεία δεν αλλάζει την τάξη του. (Βλέπε και Θεώρημα 2.6.6). ό.έ.δ. Έστω ένας γενικευμένος κώδικας Reed-Solomo GRS. Όπως προηγουμένως, αν ο κώδικας έχει μήκος = q 1 θα ονομάζεται πρωταρχικός. Στην περίπτωση, όπου οι συντελεστές στηλών είναι ίσοι με τους αντιστοίχους εντοπισμούς του κώδικα (u i = α i, 1 i ), ο κώδικας θα ονομάζεται υπό την στενή έννοια γενικευμένος κώδικας Reed-Solomo. (Στους συμβατικούς κώδικες Reed-Solomo αυτό ισχύει όταν b = 1). Στην περίπτωση, όπου όλοι οι συντελεστές στηλών είναι ίσοι με 1 (u i = 1, 1 i ), ο κώδικας θα ονομάζεται κανονικοποιημένος. (Στους συμβατικούς κώδικες Reed-Solomo αυτό ισχύει όταν b = 0).

23 5.3. Γενικευμένοι κώδικες Reed-Solomo Μια άλλη παρουσίαση των γενικευμένων κωδίκων Reed- Solomo Στο παρόν εδάφιο θα δούμε τους γενικευμένους κώδικες Reed-Solomo υπό άλλη οπτική γωνία. Έστω F ένα πεπερασμένο σώμα με q το πλήθος στοιχεία και GRS ένας γενικευμένος κώδικας Reed-Solomo με παραμέτρους [, k, d = k + 1] και πίνακα ελέγχου ισοτιμίας: H = α 1 α 2 α 3 α α 2 1 α 2 2 α 2 3 α 2 α k 1 1 α k 1 2 α k 1 3 α k 1 u u u u (Δεν ξεχνάμε ότι έχουμε θέσει k = δ + 1, οπότε δ 2 = k 1). Ως γνωστόν (Θεώρημα 2.6.3), ο δυϊκός κώδικας GRS είναι και αυτός ένας MDS κώδικας. Θα δείξουμε επιπλέον ότι και αυτός ο κώδικας είναι ένας γενικευμένος κώδικας Reed-Solomo. Θεωρούμε τον k πίνακα: α 1 α 2 α 3 α α 2 1 α 2 2 α 2 3 α 2 α k 1 1 α k 1 2 α k 1 3 α k 1. Θα δείξουμε ότι υπάρχουν v 1, v 2,, v μη μηδενικά στοιχεία του F με την ιδιότητα: α 1 α 2 α 3 α α 2 1 α 2 2 α 2 3 α 2 α k 1 1 α k 1 2 α k 1 3 α k 1 v v v v H t = 0 ( )

24 328 Κεφάλαιο 5. Κώδικες Reed-Solomo και συναφείς κώδικες Αν αποδείξουμε τη σχέση αυτή θα έχουμε αποδείξει ότι ο πίνακας: G = α 1 α 2 α 3 α α 2 1 α 2 2 α 2 3 α 2 α k 1 1 α k 1 2 α k 1 3 α k 1 v v v v είναι γεννήτορας πίνακας του κώδικα GRS και ταυτόχρονα πίνακας ελέγχου ισοτιμίας του δυϊκού κώδικα GRS (Πρόταση ). Κάνοντας τις πράξεις στην σχέση ( ), έπεται ότι αναζητούμε μη μηδενικά στοιχεία v 1, v 2,, v F έτσι ώστε ο k ( k) πίνακας ( r = 1 u rv r α i+j r ) να είναι ο μηδενικός πίνακας, όπου τα i = 0, 1, 2,, k 1 και j = 0, 1, 2,, k 1 διατρέχουν τις γραμμές και στήλες αντίστοιχα του πίνακα αυτού. Δηλαδή αναζητούμε μη μηδενικά στοιχεία v 1, v 2,, v αποτελούν λύση του εξής γραμμικού συστήματος: F, τα οποία να u 1 u 2 u 3 u u 1 α 1 u 2 α 2 u 3 α 3 u α u 1 α 2 1 u 2 α 2 2 u 3 α 2 3 u α 2 u 1 α 2 1 u 2 α 2 2 u 3 α 2 3 u α 2 v 1 v 2 v 3 v = 0. Το σύστημα αυτό έχει ως πίνακα συντελεστών έναν ( 1) πίνακα με τάξη ίση με 1 (γιατί;). Συνεπώς ο χώρος λύσεων του συστήματος αυτού είναι διανυσματικός υπόχωρος διάστασης ίσης με 1 και για κάθε (μη μηδενική) λύση του v 1, v 2,, v ισχύει ότι v i 0 για όλα τα i = 1, 2,, (γιατί;). Συνεπώς ανακεφαλαιώνοντας έχουμε: Θεώρημα Έστω GRS ένας [, k, k+1] γενικευμένος κώδικας Reed- Solomo επί ενός πεπερασμένου σώματος F. Τότε ο δυϊκός κώδικας GRS είναι επίσης ένας [, k, k + 1] γενικευμένος κώδικας Reed-Solomo. Μάλιστα δε και οι δύο κώδικες μπορούν να ορισθούν επί των ιδίων εντοπισμών α i, i = 1,,. Απόδειξη. Η απόδειξη έχει προηγηθεί. ό.έ.δ.

25 5.3. Γενικευμένοι κώδικες Reed-Solomo 329 Παρατηρήσεις Το προηγούμενο σύστημα έχει πολλές λύσεις, που σημαίνει ότι ένας γενικευμένος κώδικας Reed-Solomo μπορεί να ορισθεί με διαφορετικούς συντελεστές στηλών. (Βλέπε και την Άσκηση 2 στο τέλος της παραγράφου). 2. Σύμφωνα με τον ορισμό ενός γενικευμένου κώδικα Reed-Solomo και το Θεώρημα 5.3.1, o πίνακας: α 1 α 2 α 3 α α 2 1 α 2 2 α 2 3 α 2 α 2 1 α 2 2 α 2 3 α 2 u u u u του προηγουμένου συστήματος είναι ο πίνακας ελέγχου ισοτιμίας ενός (άλλου) γενικευμένου κώδικα Reed-Solomo με παραμέτρους [, 1, ]. Επειδή η ελάχιστη απόσταση στον κώδικα αυτόν είναι ίση με το μήκος του κώδικα, έπεται ότι όλα τα στοιχεία του έχουν βάρος ίσον με. Άρα, πράγματι για κάθε μη μηδενική λύση v 1, v 2,, v ισχύει ότι v i 0 για όλα τα i = 1, 2,,. 3. Στο προηγούμενο θεώρημα είδαμε ότι ο δυϊκός κώδικας ενός γενικευμένου κώδικα Reed-Solomo είναι και αυτός γενικευμένος κώδικας Reed- Solomo. Στην περίπτωση των BCH κωδίκων αυτό δεν ισχύει γενικά. Πράγματι, στο Παράδειγμα είχαμε κατασκευάσει έναν πρωταρχικό υπο την στενή έννοια BCH κώδικα BCH επί του Z 2 μήκους 15. Ο κώδικας αυτός είναι κυκλικός και έχει πολυώνυμο γεννήτορα το γ(x) = x 8 +x 7 +x 6 +x 4 +1 Z 2 [x]. Το σύνολο ριζών του πολυωνύμου αυτού είναι το { α, α 2, α 3, α 4, α 6, α 8, α 9, α 12 }, όπου α = x+ x 4 +x+1 K = Z 2 [x]/ x 4 + x + 1. Από την σχέση x 15 1 = (x 8 + x 7 + x 6 + x 4 + 1)(x 7 + x 6 + x 4 + 1) έχουμε ότι το πολυώνυμο γεννήτορας του δυϊκού κώδικα BCH είναι το πολυώνυμο d(x) = x 7 +x 3 +x+1 (γιατί;) (βλέπε Θεώρημα ). Οι ρίζες του d(x) είναι οι α 0 = 1, α, α 2, α 4, α 5, α 8, α 10. Έστω m 0 (x) = x

26 330 Κεφάλαιο 5. Κώδικες Reed-Solomo και συναφείς κώδικες 1 το ελάχιστο πολυώνυμο του 1, m 1 (x) το ελάχιστο πολυώνυμο του α και m 5 (x) το ελάχιστο πολυώνυμο του α 5, τότε d(x) = m 0 (x) m 1 (x) m 5 (x). Αν ο κώδικας BCH ήταν ένας BCH κώδικας, τότε, σύμφωνα με τον ορισμό ενός BCH κώδικα (Ορισμός 5.1.1), θα υπήρχαν ακέραιοι b και δ με b 0 και 15 δ 2 έτσι ώστε κάθε ένα από τα πολυώνυμα m 0 (x), m 1 (x) και m 5 (x) να έχει ως ρίζα τουλάχιστον ένα από τα στοιχεία α b, α b+1,, α b+δ 2 και επιπλέον όλα τα στοιχεία αυτά να είναι ρίζες του d(x). Αυτό όμως είναι αδύνατον καθότι, αν, για παράδειγμα, το α 5, το οποίο είναι ρίζα του m 5 (x), ήταν της μορφής α 5 = α b+i, i = 0,, δ 2, τότε αναγκαστικά τουλάχιστον ένα από τα α 3 και α 6 θα ήταν ρίζα του d(x), άτοπο. Όμοια αποκλείονται και οι υπόλοιπες περιπτώσεις. Παραδείγματα Έστω GRS ένας πρωταρχικός γενικευμένος κώδικας Reed-Solomo επί ενός πεπερασμένου σώματος F με q το πλήθος στοιχεία. Υποθέτουμε ότι α 1, α 2, α 3,, α είναι οι εντοπισμοί και u 1, u 2, u 3,, u είναι οι συντελεστές στηλών του. Τότε οι συντελεστές στηλών του δυϊκού κώδικα είναι οι v r = α r /u r, r = 1, 2,,. Πράγματι, ο κώδικας έχει υποτεθεί πρωταρχικός ( = q 1). Aντικαθιστούμε στην σχέση r = 1 u rv r α i+j r τα v r με τα α r /u r και έχουμε: q 1 u r α r /u r α i+j r = r = 1 q 1 α r α i+j r. r = 1 Έστω α ένα πρωταρχικό στοιχείο του σώματος F. Τα μη μηδενικά στοιχεία του σώματος F (με μια αναρίθμηση, αν είναι αναγκαία) είναι της μορφής α r = α r για όλα τα r = 1, 2,, q 1, οπότε συνεχίζοντας την προηγουμένη ισότητα έχουμε: q 1 q 1 α r α i+j r = α r (α r ) i+j r = 1 r = 1 = q 1 r = 1 (α r ) i+j+1 = q 1 r = 1 (α i+j+1 ) r = (α (i+j+1)q α i+j+1 )/(α i+j+1 1) = 0

27 5.3. Γενικευμένοι κώδικες Reed-Solomo 331 καθότι α q 1 = 1. Η τελευταία ισότητα ισχύει για όλα τα i = 0, 1, 2,, k 1 και j = 0, 1, 2,, k 1. Αυτό αποδεικνύει τον ισχυρισμό. 2. Ο Δυϊκός κώδικας ενός κανονικοποιημένου, πρωταρχικού γενικευμένου κώδικα Reed-Solomo είναι ένας υπό την στενή έννοια πρωταρχικός κώδικας Reed-Solomo. Πράγματι, επειδή ο κώδικας έχει υποτεθεί κανονικοποιημένος έχουμε ότι όλοι οι συντελεστές στηλών είναι ίσοι με 1 (u i = 1). Από το προηγούμενο παράδειγμα έπεται ότι οι συντελεστές στηλών του δυϊκού κώδικα είναι ίσοι με τους εντοπισμούς του κώδικα (v i = α i ). Αυτό σημαίνει ότι ο δυϊκός κώδικας είναι υπό την στενή έννοια γενικευμένος κώδικας Reed-Solomo. Έστω GRS ένας [, k, k + 1] γενικευμένος κώδικας Reed-Solomo επί ενός πεπερασμένου σώματος F. Από τα προηγούμενα έχουμε ότι ένας γεννήτορας πίνακάς του είναι της μορφής: G = α 1 α 2 α 3 α α 2 1 α 2 2 α 2 3 α 2 α k 1 1 α k 1 2 α k 1 3 α k 1 v v v v. Επομένως έχουμε ότι GRS = { (c 0, c 1,, c k 1 ) G (c 0, c 1,, c k 1 ) F k }. Αν, ως συνήθως, ταυτοποιήσουμε την προς κωδικοποίηση λέξη (c 0, c 1,, c k 1 ) με το πολυώνυμο φ(x) = c 0 + c 1 x + + c k 1 x k 1 F k 1 [x], τότε εύκολα βλέπουμε ότι (c 0, c 1,, c k 1 ) G = (v 1 φ(α 1 ), v 2 φ(α 2 ),, v φ(α )). Δηλαδή GRS = { ( v 1 φ(α 1 ), v 2 φ(α 2 ),, v φ(α )) φ(x) F k 1 [x]}. Η τελευταία έκφραση ενός γενικευμένου κώδικα Reed-Solomo αποτελεί έναν ισοδύναμο ορισμό των γενικευμένων κωδίκων Reed-Solomo και δικαιολογεί την ονομασία των α i ως εντοπισμούς του κώδικα. Παρατήρηση Η αποκωδικοποίηση με έναν γενικευμένο κώδικα Reed- Solomo με ελάχιστη απόσταση d = k + 1 μπορεί να διατυπωθεί τώρα

28 332 Κεφάλαιο 5. Κώδικες Reed-Solomo και συναφείς κώδικες ως εξής: Υποθέτουμε ότι οι τιμές ενός πολυωνύμου φ(x) = c 0 + c 1 x + + c k 1 x k 1 F k 1 [x] στις θέσεις α 1, α 2, α 3,, α έχουν υπολογισθεί και έχουμε φ(α i ) = b i, i = 1, 2,,. Αν, κατά τους υπολογισμούς, έχουν γίνει λάθη το πολύ σε [(d 1)/2] = [( k)/2] θέσεις, τότε μπορούμε να υπολογίσουμε τους συντελεστές c 0, c 1,, c k 1 του πολυωνύμου. Ως γνωστόν (Παρεμβολή Lagrage. Παράρτημα: Θεώρημα Αʹ.2.36) ένα πολυώνυμο βαθμού 1 μπορεί να υπολογισθεί αν γνωρίζουμε τις τιμές του σε το πλήθος διακεκριμένες θέσεις. Αυτό αποτελεί ειδική περίπτωση όπου d = 1 ( = k), δηλαδή δεν επιτρέπεται να υπεισέλθουν λάθη κατά τους υπολογισμούς. Εδώ επιτρέπεται να έχουμε λάθη, οπότε θα μπορούσαμε να μιλήσουμε για Θορυβώδη παρεμβολή Lagrage. Παράδειγμα Έστω RS ένας [, k, k+1] πρωταρχικός, υπό την στενή έννοια, συμβατικός κώδικας Reed-Solomo επί ενός πεπερασμένου σώματος F. Στην σελίδα 5.3 είχαμε δει ότι αυτός αποτελεί ειδική περίπτωση ενός γενικευμένου κώδικα Reed-Solomo με στοιχεία εντοπισμού α i = α i 1 και συντελεστές στηλών u i = α i 1, i = 1, 2,,, όπου α είναι ένα πρωταρχικό στοιχείο του σώματος. Τότε, σύμφωνα με το παράδειγμα οι συντελεστές στηλών του δυϊκού κώδικα είναι οι v i = α i /u i = 1, i = 1, 2,,. Συνεπώς από τα προηγούμενα έχουμε ότι: RS = { ( φ(1), φ(α),, φ(α 1 )) φ(x) F k 1 [x]}. Παρατήρηση Στο προηγούμενο παράδειγμα η έκφραση ενός πρωταρχικού, υπό την στενή έννοια, συμβατικού κώδικα Reed-Solomo [, k, k+1] ως RS = { ( φ(1), φ(α),, φ(α 1 )) φ(x) F k 1 [x]} αποτέλεσε, ιστορικά, τον πρώτο ορισμό των κωδίκων Reed-Solomo με όλες τις γενικεύσεις και παραλλαγές, που παρουσιάσαμε μέχρι τώρα, να έπονται. Επίσης αυτό απετέλεσε και την βάση για τον ορισμό των Goppa κωδίκων, τους οποίους θα μελετήσουμε στα επόμενα. Το κυριώτερο όμως είναι ότι ο ορισμός αυτός αποτελεί την πύλη για την είσοδο σε μια ευρύτατη και άκρως ενδιαφέρουσα περιοχή των Μαθηματικών την Αλγεβρική Γεωμετρία και Κώδικες, η οποία αποτελεί πεδίο σύγχρονης έρευνας και μια περαιτέρω αναφορά είναι πέραν του σκοπού αυτού του βιβλίου.

29 5.3. Γενικευμένοι κώδικες Reed-Solomo 333 Για μια πρώτη επαφή ο ενδιαφερόμενος αναγνώστης μπορεί να ανατρέξει στα: Walker, J. L. [2000] και Huffma, C. W. ad Pless, V. [2003] Εναλλασόμενοι Κώδικες Στην παράγραφο σελίδα 321 είχαμε παρουσιάσει τους BCH κώδικες ως υποκώδικες των συμβατικών κωδίκων Reed-Solomo. Εδώ θα δούμε πως μπορούμε να το γενικεύσουμε στην περίπτωση των γενικευμένων κωδίκων Reed-Solomo. Έστω F ένα πεπερασμένο σώμα με q το πλήθος στοιχεία, K μια επέκταση του σώματος F βαθμού s και GRS ένας γενικευμένος κώδικας Reed-Solomo επί του σώματος K με παραμέτρους [, k, d = k + 1] (o κώδικας είναι MDS). Θεωρούμε τον κώδικα A = F GRS, δηλαδή από τον κώδικα GRS επιλέγουμε μόνο τις (κωδικο)λέξεις, των οποίων τα γράμματα (οι χαρακτήρες) ανήκουν στο (αρχικό) σώμα F. Ο κώδικας A είναι ένας υποκώδικας του κώδικα GRS και μάλιστα γραμμικός (ως τομή διανυσματικών χώρων επί του ιδίου σώματος F). Μάλιστα δε ως υποκώδικας του CRS είναι αραιώτερος, δηλαδή η ελάχιστη απόστασή του είναι τουλάχιστον ίση με d. Ορισμός Το ζεύγος των κωδίκων GRS και A ονομάζονται Εναλλασόμενοι κώδικες και καθένας μεμονωμένα εναλλακτικός (ως προς τον άλλο) κώδικας. Έστω H = ( h ij ) ένας πίνακας ελέγχου ισοτιμίας του κώδικα GRS. Με την βοήθεια του πίνακα αυτού θα κατασκευάσουμε έναν πίνακα ελέγχου ισοτιμίας του εναλλακτικού κώδικα A. Κάθε στοιχείο h ij ανήκει στο σώμα K, το οποίο είναι μια επέκταση του σώματος F βαθμού s. Θεωρούμε το σώμα K ως διανυσματικό χώρο επί του F και επιλέγουμε και σταθεροποιούμε μια διατεταγμένη βάση του B = { e 1, e 2,, e s }. Κάθε h ij το εκφράζουμε ως γραμμικό συνδυασμό των δυανυσμάτων της βάσης που επιλέξαμε και με [r j i ] συμβολίζουμε το διάνυσμα στήλη των συντελεστών στην έκφραση αυτή. Δηλαδή h ij = [r j i ]t (e 1, e 2,, e s ) t.

30 334 Κεφάλαιο 5. Κώδικες Reed-Solomo και συναφείς κώδικες Από τον τρόπο ορισμού του κώδικα A έχουμε ότι το στοιχείο c = c 1 c 2 c ανήκει στον κώδικα αν και μόνο αν (c 1, c 2,, c ) H t = 0. Οπότε, σε συνδυασμό με την προηγούμενη σχέση έχουμε ότι το c = c 1 c 2 c ανήκει στον κώδικα αν και μόνο αν c 1 [ri 1]+c 2[ri 2]+ c [ri ] = 0 για κάθε i = 1, 2,, d 1. Κατασκευάζουμε τον πίνακα: P = [r 1 1 ] [r2 1 ] [r3 1 ] [r 1 ] [r 1 2 ] [r2 2 ] [r3 2 ] [r 2 ] [r 1 3 ] [r2 3 ] [r3 3 ] [r 3 ] [r 1 d 1 ] [r2 d 1 ] [r3 d 1 ] [r d 1 ] ο οποίος προκύπτει από τον πίνακα H με την αντικατάσταση κάθε h ij με το διάνυσμα στήλη [r j i ] των συντελεστών του στην έκφρασή του ως γραμμικό συνδυασμό των διανυσμάτων της βάσης B. Προφανώς από τα προηγούμενα έπεται ότι το στοιχείο c = c 1 c 2 c ανήκει στον κώδικα αν και μόνο αν (c 1, c 2,, c ) P t = 0. Στον πίνακα P, αν αναπτύξουμε κάθε στήλη [r j i ], η οποία περιλαμβάνει s το πλήθος στοιχεία, τότε προκύπτει ένας (d 1)s πίνακας H, του οποίου τα στοιχεία είναι από το σώμα F και για τον οποίο ισχύει ότι το στοιχείο c = c 1 c 2 c ανήκει στον κώδικα αν και μόνο αν (c 1, c 2,, c ) H t = 0., Συνεπώς με την διαδικασία αυτή κατασκευάσαμε έναν πίνακα ελέγχου ισοτιμίας για τον εναλλακτικό κώδικα A επί του σώματος F. Συνοψίζοντας, οι παράμετροι του κώδικα A είναι οι εξής: Το μήκος του είναι, ίσον με το μήκος του γενικευμένου κώδικα Reed- Solomo GRS, του οποίου σμίκρυνση αποτελεί ο κώδικας A. Η ελάχιστη απόστασή του είναι μεγαλύτερη ή ίση από την ελάχιστη απόσταση d του κώδικα GRS. Η διάστασή του, έστω r, ικανοποιεί την σχέση r (d 1)s, καθότι η διαφορά r δεν υπερβαίνει το πλήθος των γραμμών του πίνακα ελέγχου ισοτιμίας του. Από την τελευταία σχέση έχουμε r (d 1)s, δηλαδή προκύπτει ένα κάτω φράγμα για την διάσταση του κώδικα A. Ανακεφαλαιώνοντας έχουμε:

31 5.3. Γενικευμένοι κώδικες Reed-Solomo 335 Αν θέλουμε να κατασκευάσουμε έναν κώδικα, επί ενός πεπερασμένου σώματος F με q το πλήθος στοιχεία, μήκους και με επιθυμητή ελάχιστη απόσταση τουλάχιστον ίση με d, τότε αρκεί να επιλέξουμε έναν θετικό ακέραιο s, μια επέκταση K του σώματος F βαθμού s και να κατασκευάσουμε έναν γενικευμένο κώδικα Reed-Solomo GRS επί του K με παραμέτρους [, d+1, d]. Οπότε ο εναλλακτικός κώδικας A που κατασκευάσαμε προηγουμένως πληροί τις απαιτήσεις μας. Επιπλέον η απαίτηση ο κώδικας να είναι όσον το δυνατόν μεγαλύτερος (να έχει ικανότητα κωδικοποίησης μεγάλου όγκου πληροφοριών) επιβάλει το κάτω φράγμα στη σχέση r (d 1)s να είναι όσον το δυνατόν μεγαλύτερο, δηλαδή ο βαθμός επέκτασης s να είναι όσον το δυνατόν μικρότερος. Από την άλλη πλευρά ο περιορισμός, σε έναν γενικευμένο κώδικα Reed-Solomo GRS, το μήκος του κώδικα δεν πρέπει να υπερβαίνει το μέγεθος του σώματος K ( q s ) επιβάλλει s [log q ]. Παρατηρήσεις Η όλη διαδικασία μετάβασης από έναν κώδικα σε έναν άλλο και αντίστροφα, την οποία παρουσιάσαμε προηγουμένως διακαιολογεί την ονομασία εναλλασόμενοι/εναλλακτικοί κώδικες. 2. Όπως θα έχετε ήδη παρατηρήσει, η διαδικασία κατασκευής του εναλλακτικού κώδικα A = F GRS, ως προς τον γενικευμένο κώδικα Reed-Solomo GRS, αποτελεί μια εφαρμογή όσων έχουν παρουσιασθεί στην Παράγραφο Παράδειγμα Έστω F = Z 2, = 7, d = 3 και s = 3. Λαμβάνουμε την επέκταση K = Z 2 [x]/ x 3 + x + 1 και το πρωταρχικό στοιχείο α = x + x 3 + x + 1. Επί του σώματος K κατασκευάζουμε τον πρωταρχικό, κανονικοποιημένο γενικευμένο κώδικα Reed-Solomo GRS με παραμέτρους [ = 7, d + 1 = 5, d = 3], ο οποίος έχει ως πίνακα ελέγχου ισοτιμίας τον πίνακα: H = ( α α 2 α 3 α 4 α 5 α 6 ). Eπιλέγουμε και σταθεροποιούμε την διατεταγμένη βάση B = { 1, α, α 2 } το σώματος K επί του F = Z 2. Κάθε στοιχείο του πίνακα το εκφράζουμε ως

32 336 Κεφάλαιο 5. Κώδικες Reed-Solomo και συναφείς κώδικες γραμμικό συνδυασμό των διανυσμάτων της βάσης που επιλέξαμε και με [r j i ] συμβολίζουμε το διάνυσμα στήλη των συντελεστών του στοιχείου στη θέση (i, j) στην έκφραση αυτή. Για παράδειγμα: 1 = [r1 1]t (1, α, α 2 ) t = (1, 0, 0) (1, α, α 2 ) t, α 6 = [r2 4]t (1, α, α 2 ) t = (1, 0, 1) (1, α, α 2 ) t. Τελικά ο (2 3) 7) πίνακας: H =, ο οποίος κατασκευάστηκε με την διαδικασία που περιγράψαμε, είναι ένας πίνακας ελέγχου ισοτιμίας για τον κώδικα A. Προφανώς μπορούμε να διαγράψουμε την δεύτερη και τρίτη γραμμή του πίνακα H και να προκύψει ο πίνακας: Ĥ = , ο οποίος είναι ένας άλλος πίνακας ελέγχου ισοτιμίας του κώδικα A. Εύκολα βλέπουμε τώρα ότι οι παράμετροι του κώδικα A είναι [7, 3, 4], δηλαδή η ελάχιστη απόσταση του κώδικα A είναι γνήσια μεγαλύτερη από την ελάχιστη απόσταση του κώδικα GRS. Οι κώδικες GRS και A αποτελούν ένα ζεύγος εναλλασομένων κωδίκων. Συγκρίνετε το παράδειγμα αυτό με το παράδειγμα Ασκήσεις 1. Να απαντήσετε σε όλα τα γιατί; αυτής της παραγράφου.

ΚΕΦΑΛΑΙΟ 2. Γραμμικοί Κώδικες. 2.1 Η έννοια του Γραμμικού κώδικα

ΚΕΦΑΛΑΙΟ 2. Γραμμικοί Κώδικες. 2.1 Η έννοια του Γραμμικού κώδικα ΚΕΦΑΛΑΙΟ 2 Γραμμικοί Κώδικες 2.1 Η έννοια του Γραμμικού κώδικα Μέχρι τώρα θεωρούσαμε έναν κώδικα C με παραμέτρους (n, M, d) απλώς ως ένα υποσύνολο του συνόλου A n, όπου A είναι ένα αλφάβητο. Είχαμε, όμως,

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

ΚΕΦΑΛΑΙΟ 3. Πολυωνυμικοί-Κυκλικοί Κώδικες. 3.1 Πολυωνυμικοί κώδικες

ΚΕΦΑΛΑΙΟ 3. Πολυωνυμικοί-Κυκλικοί Κώδικες. 3.1 Πολυωνυμικοί κώδικες ΚΕΦΑΛΑΙΟ 3 Πολυωνυμικοί-Κυκλικοί Κώδικες Στα προηγούμενα ασχοληθήκαμε με τους γραμμικούς κώδικες και είδαμε πώς η δομή ενός γραμμικού κώδικα, ως διανυσματικού χώρου, καθιστά τις διαδικασίες κωδικοποίησης

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

ΚΕΦΑΛΑΙΟ 4. Ενδιαφέροντες'' Κώδικες

ΚΕΦΑΛΑΙΟ 4. Ενδιαφέροντες'' Κώδικες ΚΕΦΑΛΑΙΟ 4 Ενδιαφέροντες'' Κώδικες Πολλές φορές προηγουμένως, αναφερθήκαμε στις ιδιότητες που έχει ένας κώδικας, π.χ. ως προς την αποτελεσματικότητά του να ανιχνεύει ή (και) να διορθώνει λάθη, ως προς

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

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

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

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

Ασκήσεις1 Πολυώνυμα. x x c. με το. b. Να βρεθούν όλες οι τιμές των a, Να βρεθεί ο μκδ και το εκπ τους

Ασκήσεις1 Πολυώνυμα. x x c. με το. b. Να βρεθούν όλες οι τιμές των a, Να βρεθεί ο μκδ και το εκπ τους Aσκήσεις1 1 Βασικά σημεία Ευκλείδεια διαίρεση πολυωνύμων Ορισμός και ιδιότητες μκδ και εκπ Ιδιότητες σχετικών πρώτων πολυωνύμων Τα ανάγωγα πολυώνυμα στο [ ] και [ ] Ασκήσεις1 Πολυώνυμα Ανάλυση πολυωνύμου

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

Ασκήσεις3 Διαγωνισιμότητα Βασικά σημεία Διαγωνίσιμοι πίνακες: o Ορισμός και παραδείγματα.

Ασκήσεις3 Διαγωνισιμότητα Βασικά σημεία Διαγωνίσιμοι πίνακες: o Ορισμός και παραδείγματα. Ασκήσεις 0 Ασκήσεις Διαγωνισιμότητα Βασικά σημεία Διαγωνίσιμοι πίνακες: o Ορισμός και παραδείγματα o H -στήλη του P P είναι E αν και μόνο αν η -στήλη του P είναι ιδιοδιάνυσμα του που αντιστοιχεί στην ιδιοτιμή

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

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

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

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

Ασκήσεις3 Διαγωνίσιμες Γραμμικές Απεικονίσεις

Ασκήσεις3 Διαγωνίσιμες Γραμμικές Απεικονίσεις Ασκήσεις 5 Βασικά σημεία Ιδιότητες ιδιόχωρων: Έστω,, Ισχύουν τα εξής Ασκήσεις Διαγωνίσιμες Γραμμικές Απεικονίσεις κάποιες διακεκριμένες ιδιοτιμές της γραμμικής απεικόνισης : V V, όπου o Αν v v 0, όπου

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

Θέµατα ( ικαιολογείστε πλήρως όλες τις απαντήσεις σας)

Θέµατα ( ικαιολογείστε πλήρως όλες τις απαντήσεις σας) Τµήµα Μαθηµατικών, Πανεπιστηµίου Κρήτης Εξεταστική περίοδος Ιουνίου ακαδηµαϊκού έτους 29-21 Παρασκευή, 1 Ιουνίου 21 Εφαρµοσµένη Άλγεβρα ιδάσκων: Α. Τόγκας Θέµατα ( ικαιολογείστε πλήρως όλες τις απαντήσεις

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

βαθμού 1 με A 2. Υπολογίστε τα χαρακτηριστικά και ελάχιστα πολυώνυμα των

βαθμού 1 με A 2. Υπολογίστε τα χαρακτηριστικά και ελάχιστα πολυώνυμα των Ασκήσεις 6 Ασκήσεις Ελάχιστο Πολυώνυμο Βασικά σημεία Ορισμός ελαχίστου πολυωνύμου πίνακα και ιδιότητές του Ορισμός ελαχίστου πολυωνύμου γραμμικής απεικόνισης και ιδιότητές του Κριτήριο διαγωνισιμότητας

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

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

ΚΕΦΑΛΑΙΟ 3 ΤΟ ΔΙΩΝΥΜΙΚΟ ΘΕΩΡΗΜΑ ΚΕΦΑΛΑΙΟ 3 ΤΟ ΔΙΩΝΥΜΙΚΟ ΘΕΩΡΗΜΑ Εισαγωγή Οι αριθμοί που εκφράζουν το πλήθος των στοιχείων ανά αποτελούν ίσως τους πιο σημαντικούς αριθμούς της Συνδυαστικής και καλούνται διωνυμικοί συντελεστές διότι εμφανίζονται

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

1.3 Ιδεώδη και Περιοχές κυρίων Ιδεωδών 1.3. Ι Π Ι. Για το σύμβολο δεχόμαστε ότι n N {0}, < n καθώς και ότι:

1.3 Ιδεώδη και Περιοχές κυρίων Ιδεωδών 1.3. Ι Π Ι. Για το σύμβολο δεχόμαστε ότι n N {0}, < n καθώς και ότι: 13 Ι Π Ι Για το σύμβολο δεχόμαστε ότι n N {0}, < n καθώς και ότι: n N {0}, ( ) + n = = n + ( ) και ( ) + ( ) = (**) Ονομάζουμε επικεφαλής συντελεστή ενός μη μηδενικού πολυωνύμου f, τον συντελεστή f(i)

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

9 Πολυώνυμα Διαίρεση πολυωνύμων

9 Πολυώνυμα Διαίρεση πολυωνύμων 4ο Κεφάλαιο 9 Πολυώνυμα Διαίρεση πολυωνύμων Α ΑΠΑΡΑΙΤΗΤΕΣ ΓΝΩΣΕΙΣ ΘΕΩΡΙΑΣ Ορισμοί Μονώνυμο του x ονομάζουμε κάθε παράσταση της μορφής ν αx όπου α R, * ν N και x μια μεταβλητή που μπορεί να πάρει οποιαδήποτε

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

Δακτύλιοι και Πρότυπα Ασκήσεις 6. Η ύλη των ασκήσεων αυτών είναι η Ενότητα6, Εφαρμογές Θεωρημάτων Δομής στη Γραμμική Αλγεβρα.

Δακτύλιοι και Πρότυπα Ασκήσεις 6. Η ύλη των ασκήσεων αυτών είναι η Ενότητα6, Εφαρμογές Θεωρημάτων Δομής στη Γραμμική Αλγεβρα. Δακτύλιοι και Πρότυπα 0-7 Ασκήσεις Η ύλη των ασκήσεων αυτών είναι η Ενότητα, Εφαρμογές Θεωρημάτων Δομής στη Γραμμική Αλγεβρα Βρείτε τη ρητή κανονική μορφή και μια κανονική μορφή Jorda του M( ) 0 0 Έστω

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

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

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

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

Ασκήσεις4 48. P AP τριγωνικό. Αφού δείξτε ότι ο A δεν είναι διαγωνίσιμος, βρείτε αντιστρέψιμο A 1 3 1

Ασκήσεις4 48. P AP τριγωνικό. Αφού δείξτε ότι ο A δεν είναι διαγωνίσιμος, βρείτε αντιστρέψιμο A 1 3 1 Ασκήσεις4 48 Ασκήσεις4 Τριγωνισιμότητα Βασικά σημεία Ορισμός τριγωνίσιμου πίνακα, ορισμός τριγωνίσιμης γραμμικής απεικόνισης Θεώρημα: είναι τριγωνίσιμος αν και μόνο αν ( x ) γινόμενο πρωτοβάθμιων παραγόντων

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

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

Αριθμητική Ανάλυση και Εφαρμογές Αριθμητική Ανάλυση και Εφαρμογές Διδάσκων: Δημήτριος Ι. Φωτιάδης Τμήμα Μηχανικών Επιστήμης Υλικών Ιωάννινα 2017-2018 Παρεμβολή και Παρεκβολή Εισαγωγή Ορισμός 6.1 Αν έχουμε στη διάθεσή μας τιμές μιας συνάρτησης

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

1. Για καθένα από τους ακόλουθους διανυσματικούς χώρους βρείτε μια βάση και τη διάσταση. 3. U x y z x y z x y. {(,, ) } a b. c d

1. Για καθένα από τους ακόλουθους διανυσματικούς χώρους βρείτε μια βάση και τη διάσταση. 3. U x y z x y z x y. {(,, ) } a b. c d Γραμμική Άλγεβρα Ι, 07-8 Ασκήσεις6: Βάση και Διάσταση Βασικά σημεία Βάση διανυσματικού χώρου (ορισμός, παραδείγματα, μοναδικότητα συντελεστών) Θεώρημα (ύπαρξη, πρώτη μορφή) Έστω V K μη μηδενικός με K πεπερασμένο

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

Διδάσκων: Καθηγητής Μαρμαρίδης Νικόλαος - Θεοδόσιος

Διδάσκων: Καθηγητής Μαρμαρίδης Νικόλαος - Θεοδόσιος Τίτλος Μαθήματος: Αλγεβρικές Δομές ΙΙ Ενότητα: Ιδεώδη και Περιοχές κυρίων Ιδεωδών Διδάσκων: Καθηγητής Μαρμαρίδης Νικόλαος - Θεοδόσιος Τμήμα: Μαθηματικών 13 Ι Π Ι Για το σύμβολο δεχόμαστε ότι n N {0},

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

Κεφάλαιο 1 Πρότυπα. Στο κεφάλαιο αυτό εισάγουμε την έννοια του προτύπου πάνω από δακτύλιο.

Κεφάλαιο 1 Πρότυπα. Στο κεφάλαιο αυτό εισάγουμε την έννοια του προτύπου πάνω από δακτύλιο. Κεφάλαιο Πρότυπα Στο κεφάλαιο αυτό εισάγουμε την έννοια του προτύπου πάνω από δακτύλιο Ορισμοί και Παραδείγματα Παραδοχές Στo βιβλίο αυτό θα κάνουμε τις εξής παραδοχές Χρησιμοποιούμε προσθετικό συμβολισμό

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

Εφαρμοσμένα Μαθηματικά ΙΙ 9ο Σετ Ασκήσεων (Λύσεις) Διανυσματικοί Χώροι

Εφαρμοσμένα Μαθηματικά ΙΙ 9ο Σετ Ασκήσεων (Λύσεις) Διανυσματικοί Χώροι Εφαρμοσμένα Μαθηματικά ΙΙ 9ο Σετ Ασκήσεων (Λύσεις) Διανυσματικοί Χώροι Επιμέλεια: Ι. Λυχναρόπουλος. Δείξτε ότι ο V R εφοδιασμένος με τις ακόλουθες πράξεις (, a b) + (, d) ( a+, b+ d) και k ( ab, ) ( kakb,

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

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

Αριθμητική Ανάλυση και Εφαρμογές Αριθμητική Ανάλυση και Εφαρμογές Διδάσκων: Δημήτριος Ι. Φωτιάδης Τμήμα Μηχανικών Επιστήμης Υλικών Ιωάννινα 07-08 Πεπερασμένες και Διαιρεμένες Διαφορές Εισαγωγή Θα εισάγουμε την έννοια των διαφορών με ένα

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

(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 Διανυσματικοί Χώροι Στο εισαγωγικό μάθημα Γραμμικής Άλγεβρας ξεκινήσαμε μελετώντας

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

ΚΕΦΑΛΑΙΟ 6. Κώδικες και συνδυαστικές κατασκευές. 6.1 Σχεδιασμοί και Κώδικες

ΚΕΦΑΛΑΙΟ 6. Κώδικες και συνδυαστικές κατασκευές. 6.1 Σχεδιασμοί και Κώδικες ΚΕΦΑΛΑΙΟ 6 Κώδικες και συνδυαστικές κατασκευές Η Συνδυαστική είναι ένας ευρύς, εντυπωσιακός και ενεργός κλάδος των Μαθηματικών με πολλές, τόσο θεωρητικές, όσο και πρακτικές εφαρμογές. Στο κεφάλαιο αυτό

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

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

ΓΡΑΜΜΙΚΗ ΑΛΓΕΒΡΑ Ι (ΑΡΤΙΟΙ) Ασκησεις - Φυλλαδιο 4 ΓΡΑΜΜΙΚΗ ΑΛΓΕΒΡΑ Ι Τµηµα Β (ΑΡΤΙΟΙ) Ασκησεις - Φυλλαδιο 4 ιδασκων: Α Μπεληγιάννης Ιστοσελιδα Μαθηµατος : http://usersuoigr/abeligia/linearalgebrai/lai218/lai218html Παρασκευή 23 Νοεµβρίου 218 Ασκηση 1

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

Τι είναι βαθμωτό μέγεθος? Ένα μέγεθος που περιγράφεται μόνο με έναν αριθμό (π.χ. πίεση)

Τι είναι βαθμωτό μέγεθος? Ένα μέγεθος που περιγράφεται μόνο με έναν αριθμό (π.χ. πίεση) TETY Εφαρμοσμένα Μαθηματικά Ενότητα ΙΙ: Γραμμική Άλγεβρα Ύλη: Διανυσματικοί χώροι και διανύσματα, μετασχηματισμοί διανυσμάτων, τελεστές και πίνακες, ιδιοδιανύσματα και ιδιοτιμές πινάκων, επίλυση γραμμικών

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

ΚΕΦΑΛΑΙΟ 8: Εφαρμογή: Το θεώρημα του Burnside

ΚΕΦΑΛΑΙΟ 8: Εφαρμογή: Το θεώρημα του Burnside ΚΕΦΑΛΑΙΟ 8: Εφαρμογή: Το θεώρημα του Bursde a b Θα αποδείξουμε εδώ ότι κάθε ομάδα τάξης pq ( p, q πρώτοι) είναι επιλύσιμη Το θεώρημα αυτό αποδείχτηκε από τον Bursde το 904 ο οποίος χρησιμοποίησε τη νέα

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

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

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

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

Παραδείγματα (1 ο σετ) Διανυσματικοί Χώροι

Παραδείγματα (1 ο σετ) Διανυσματικοί Χώροι Παραδείγματα ( ο σετ) Διανυσματικοί Χώροι Παράδειγμα Έστω το σύνολο V το σύνολο όλων των θετικών πραγματικών αριθμών εφοδιασμένο με την ακόλουθη πράξη της πρόσθεσης: y y με y, V και του πολλαπλασιασμού:

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

Θέµατα ( ικαιολογείστε πλήρως όλες τις απαντήσεις σας)

Θέµατα ( ικαιολογείστε πλήρως όλες τις απαντήσεις σας) Τµήµα Μαθηµατικών, Πανεπιστηµίου Κρήτης Εξεταστική περίοδος Σεπτεµβρίου ακαδηµαϊκού έτους 29-2 Τρίτη, 3 Αυγούστου 2 Εφαρµοσµένη Άλγεβρα ιδάσκων: Α. Τόγκας Θέµατα ( ικαιολογείστε πλήρως όλες τις απαντήσεις

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

Γραμμική Άλγεβρα II Εαρινό εξάμηνο

Γραμμική Άλγεβρα II Εαρινό εξάμηνο Γραμμική Άλγεβρα II Εαρινό εξάμηνο 0-0 Υποδείξεις/Απαντήσεις των Ασκήσεων Περιεχόμενα Ασκήσεις Πολυώνυμα Ασκήσεις Ιδιοτιμές-Ιδιοδιανύσματα 6 Ασκήσεις Διαγωνίσιμες γραμμικές απεικονίσεις 9 Ασκήσεις4 Τριγωνίσιμες

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

ΚΕΦΑΛΑΙΟ 1: Πρότυπα. x y x z για κάθε x, y, R με την ιδιότητα 1R. x για κάθε x R, iii) υπάρχει στοιχείο 1 R. ii) ( x y) z x ( y z)

ΚΕΦΑΛΑΙΟ 1: Πρότυπα. x y x z για κάθε x, y, R με την ιδιότητα 1R. x για κάθε x R, iii) υπάρχει στοιχείο 1 R. ii) ( x y) z x ( y z) ΚΕΦΑΛΑΙΟ 1: Πρότυπα Στο κεφάλαιο αυτό θα υπενθυμίσουμε τις βασικές έννοιες που αφορούν πρότυπα πάνω από ένα δακτύλιο Θα περιοριστούμε στα πλέον απαραίτητα για αυτά που ακολουθούν στα άλλα κεφάλαια Η κατευθυντήρια

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

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

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

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

Παραδείγματα Διανυσματικοί Χώροι Ι. Λυχναρόπουλος

Παραδείγματα Διανυσματικοί Χώροι Ι. Λυχναρόπουλος Παραδείγματα Διανυσματικοί Χώροι Ι. Λυχναρόπουλος Παράδειγμα Έστω το σύνολο V το σύνολο όλων των θετικών πραγματικών αριθμών εφοδιασμένο με την ακόλουθη πράξη της πρόσθεσης: y y με, y V και του πολλαπλασιασμού

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

2ογελ ΣΥΚΕΩΝ 2ογελ ΣΥΚΕΩΝ ΠΟΛΥΩΝΥΜΙΚΕΣ ΣΥΝΑΡΤΗΣΕΙΣ Β Λυκει(ου ΠΟΛΥΩΝΥΜΙΚΕΣ ΣΥΝΑΡΤΗΣΕΙΣ

2ογελ ΣΥΚΕΩΝ 2ογελ ΣΥΚΕΩΝ ΠΟΛΥΩΝΥΜΙΚΕΣ ΣΥΝΑΡΤΗΣΕΙΣ Β Λυκει(ου ΠΟΛΥΩΝΥΜΙΚΕΣ ΣΥΝΑΡΤΗΣΕΙΣ ογελ ΣΥΚΕΩΝ ογελ ΣΥΚΕΩΝ ΠΟΛΥΩΝΥΜΙΚΕΣ ΣΥΝΑΡΤΗΣΕΙΣ Β Λυκει(ου ο ΓΕΛ ΣΥΚΕΩΝ ΠΟΛΥΩΝΥΜΙΚΕΣ ΣΥΝΑΡΤΗΣΕΙΣ Β ΛΥΚΕΙΟΥ ογελ ΣΥΚΕΩΝ ογελ ΣΥΚΕΩΝ ΣΧΟΛΙΚΟ ΕΤΟΣ -4 ΠΟΛΥΩΝΥΜΙΚΕΣ ΣΥΝΑΡΤΗΣΕΙΣ Επιμέλεια: ΧΑΛΑΤΖΙΑΝ ΠΑΥΛΟΣ

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

Αλγεβρικές Δομές ΙΙ. 1 Ομάδα I. Ά σ κ η σ η 1.1 Έστω R ένας δακτύλιος. Δείξτε ότι το σύνολο

Αλγεβρικές Δομές ΙΙ. 1 Ομάδα I. Ά σ κ η σ η 1.1 Έστω R ένας δακτύλιος. Δείξτε ότι το σύνολο Αλγεβρικές Δομές ΙΙ 1 Ομάδα I Ά σ κ η σ η 1.1 Έστω R ένας δακτύλιος. Δείξτε ότι το σύνολο C(R) = {a R/ax = xa, για κάθε x R} είναι υποδακτύλιος του R, και λέγεται κέντρο του δακτυλίου R. Ά σ κ η σ η 1.2

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

KΕΦΑΛΑΙΟ 1 ΧΡΗΣΙΜΕΣ ΜΑΘΗΜΑΤΙΚΕΣ ΕΝΝΟΙΕΣ. { 1,2,3,..., n,...

KΕΦΑΛΑΙΟ 1 ΧΡΗΣΙΜΕΣ ΜΑΘΗΜΑΤΙΚΕΣ ΕΝΝΟΙΕΣ. { 1,2,3,..., n,... KΕΦΑΛΑΙΟ ΧΡΗΣΙΜΕΣ ΜΑΘΗΜΑΤΙΚΕΣ ΕΝΝΟΙΕΣ Βασικές έννοιες διαιρετότητας Θα συµβολίζουµε µε, τα σύνολα των φυσικών αριθµών και των ακεραίων αντιστοίχως: {,,3,,, } { 0,,,,, } = = ± ± ± Ορισµός Ένας φυσικός αριθµός

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

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

ΓΡΑΜΜΙΚΗ ΑΛΓΕΒΡΑ Ι (ΠΕΡΙΤΤΟΙ) Ασκησεις - Φυλλαδιο 4 ΓΡΑΜΜΙΚΗ ΑΛΓΕΒΡΑ Ι Τµηµα Β (ΠΕΡΙΤΤΟΙ) Ασκησεις - Φυλλαδιο 4 ιδασκων: Α Μπεληγιάννης Ιστοσελιδα Μαθηµατος : http://usersuoigr/abeligia/linearalgebrai/lai217/lai217html Παρασκευή 17 Νοεµβρίου 217 Ασκηση

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

ΠΑΡΑΡΤΗΜΑ Αʹ. Στοιχεία από την Άλγεβρα

ΠΑΡΑΡΤΗΜΑ Αʹ. Στοιχεία από την Άλγεβρα ΠΑΡΑΡΤΗΜΑ Αʹ Στοιχεία από την Άλγεβρα Στο Παράρτημα αυτό, το οποίο παρατίθεται για να συμβάλει στην αυτοδυναμία του βιβλίου, ο αναγνώστης θα μπορεί να προστρέχει για αρωγή σε έννοιες και αποτελέσματα που

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

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

Α Δ Ι. Παρασκευή 25 Οκτωβρίου Ασκηση 1. Στο σύνολο των πραγματικών αριθμών R ορίζουμε μια σχέση R R R ως εξής: Α Δ Ι Α - Φ 1 Δ : Ν. Μαρμαρίδης - Α. Μπεληγιάννης Ι Μ : http://users.uoi.gr/abeligia/algebraicstructuresi/asi.html, https://sites.google.com/site/maths4edu/home/algdom114 Παρασκευή 25 Οκτωβρίου 2013 Ασκηση

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

I. ΜΙΓΑΔΙΚΟΙ ΑΡΙΘΜΟΙ. math-gr

I. ΜΙΓΑΔΙΚΟΙ ΑΡΙΘΜΟΙ. math-gr I ΜΙΓΑΔΙΚΟΙ ΑΡΙΘΜΟΙ i e ΜΕΡΟΣ Ι ΟΡΙΣΜΟΣ - ΒΑΣΙΚΕΣ ΠΡΑΞΕΙΣ Α Ορισμός Ο ορισμός του συνόλου των Μιγαδικών αριθμών (C) βασίζεται στις εξής παραδοχές: Υπάρχει ένας αριθμός i για τον οποίο ισχύει i Το σύνολο

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

L = F +. Είναι, 1 F, άρα και 1 L. Επεκτείνουµε τις πράξεις του F έτσι ώστε

L = F +. Είναι, 1 F, άρα και 1 L. Επεκτείνουµε τις πράξεις του F έτσι ώστε ΕΠΕΚΤΑΣΕΙΣ ΣΩΜΑΤΟΣ Προκαταρκτικά Σώµα = Αντιµεταθετικό σώµα, χαρακτηριστικής µηδενός Τα σώµατα αυτά καλούνται και αριθµητικά σώµατα Θα τα συµβολίζουµε µε τα γράµµατα F, F, L κλπ Έστω ότι κάποια ανάγκη

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

Βασική Άλγεβρα. Ασκήσεις (εκδοχή )

Βασική Άλγεβρα. Ασκήσεις (εκδοχή ) Βασική Άλγεβρα Ασκήσεις 05-6 (εκδοχή 8--05) Βασική Άλγεβρα Ασκήσεις Υποδείξεις/Απαντήσεις Περιεχόμενα σελίδα Ασκήσεις Διαιρετότητα στους ακέραιους, ισοτιμίες Ασκήσεις Ακέραιοι odulo, Θεώρημα του Euler

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

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

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

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

Ασκήσεις2 8. ; Αληθεύει ότι το (1, 0, 1, 2) είναι ιδιοδιάνυσμα της f ; b. Να βρεθούν οι ιδιοτιμές και τα ιδιοδιανύσματα της γραμμικής απεικόνισης 3 3

Ασκήσεις2 8. ; Αληθεύει ότι το (1, 0, 1, 2) είναι ιδιοδιάνυσμα της f ; b. Να βρεθούν οι ιδιοτιμές και τα ιδιοδιανύσματα της γραμμικής απεικόνισης 3 3 Ασκήσεις 8 Ασκήσεις Ιδιοτιμές και ιδιοδιανύσματα Βασικά σημεία Ορισμός ιδιοτιμων και ιδιοδιανυσμάτων, υπολογισμός τους Σε διακεκριμένες ιδιοτιμές αντιστοιχούν γραμμικά ανεξάρτητα ιδιοδιανύσματα Αν ΑΧ=λΧ,

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

Εφαρμοσμένα Μαθηματικά ΙΙ

Εφαρμοσμένα Μαθηματικά ΙΙ Τμήμα Μηχανολόγων Μηχανικών Πανεπιστήμιο Θεσσαλίας Εφαρμοσμένα Μαθηματικά ΙΙ Διανυσματικοί Χώροι Ιωάννης Λυχναρόπουλος Μαθηματικός, MSc, PhD Διανυσματικός Χώρος επί του F Αλγεβρική δομή που αποτελείται

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

Γραμμική Άλγεβρα II. Ασκήσεις με Υποδείξεις - Απαντήσεις. Περιεχόμενα

Γραμμική Άλγεβρα II. Ασκήσεις με Υποδείξεις - Απαντήσεις. Περιεχόμενα Γραμμική Άλγεβρα II Ασκήσεις με Υποδείξεις - Απαντήσεις ΜΜ Περιεχόμενα Ασκήσεις0: Όμοιοι Πίνακες Ασκήσεις: Πολυώνυμα 6 Ασκήσεις: Ιδιοτιμές και Ιδιοδιανύσματα Ασκήσεις: Διαγωνισιμότητα Ασκήσεις4: Τριγωνισιμότητα

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

ΠΑΝΕΠΙΣΤΗΜΙΟ ΑΘΗΝΩΝ Τμήμα Φυσικής Σημειώσεις Ανάλυσης Ι (ανανεωμένο στις 5 Δεκεμβρίου 2012)

ΠΑΝΕΠΙΣΤΗΜΙΟ ΑΘΗΝΩΝ Τμήμα Φυσικής Σημειώσεις Ανάλυσης Ι (ανανεωμένο στις 5 Δεκεμβρίου 2012) ΠΑΝΕΠΙΣΤΗΜΙΟ ΑΘΗΝΩΝ Τμήμα Φυσικής Σημειώσεις Ανάλυσης Ι (ανανεωμένο στις 5 Δεκεμβρίου 2012) Τμήμα Θ. Αποστολάτου & Π. Ιωάννου 1 Σειρές O Ζήνων ο Ελεάτης (490-430 π.χ.) στη προσπάθειά του να υποστηρίξει

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

ΓΡΑΜΜΙΚΗ ΑΛΓΕΒΡΑ (ΗΥ-119)

ΓΡΑΜΜΙΚΗ ΑΛΓΕΒΡΑ (ΗΥ-119) ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ ΣΧΟΛΗ ΘΕΤΙΚΩΝ ΕΠΙΣΤΗΜΩΝ ΤΜΗΜΑ ΕΠΙΣΤΗΜΗΣ ΥΠΟΛΟΓΙΣΤΩΝ ΙΩΑΝΝΗΣ Α. ΤΣΑΓΡΑΚΗΣ ΓΡΑΜΜΙΚΗ ΑΛΓΕΒΡΑ (ΗΥ-119) ΜΕΡΟΣ 5: ΔΙΑΝΥΣΜΑΤΙΚΟΙ ΥΠΟΧΩΡΟΙ ΓΡΑΜΜΙΚΗ ΑΝΕΞΑΡΤΗΣΙΑ ΒΑΣΕΙΣ & ΔΙΑΣΤΑΣΗ Δ.Χ. ΣΗΜΕΙΩΣΕΙΣ

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

Εφαρμοσμένα Μαθηματικά ΙΙ

Εφαρμοσμένα Μαθηματικά ΙΙ Τμήμα Μηχανολόγων Μηχανικών Πανεπιστήμιο Θεσσαλίας Εφαρμοσμένα Μαθηματικά ΙΙ Διανυσματικοί Χώροι Ιωάννης Λυχναρόπουλος Μαθηματικός, MSc, PhD Διανυσματικός Χώρος επί του F Αλγεβρική δομή που αποτελείται

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

Αλγεβρικες οµες ΙΙ. ιδάσκουσα : Χ. Χαραλάµπους. Θέµατα προηγουµένων ετών

Αλγεβρικες οµες ΙΙ. ιδάσκουσα : Χ. Χαραλάµπους. Θέµατα προηγουµένων ετών Αριστοτελειο Πανεπιστηµιο Θεσσαλονικης Σχολη Θετικων Επιστηµων Τµηµα Μαθηµατικων Αλγεβρικες οµες ΙΙ ιδάσκουσα : Θέµατα προηγουµένων ετών 1 Θέµατα Πολλαπλής Επιλογής Στις ερωτήσεις πολλαπλής επιλογής, εάν

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

12. ΑΝΙΣΩΣΕΙΣ Α ΒΑΘΜΟΥ. είναι δύο παραστάσεις μιας μεταβλητής x πού παίρνει τιμές στο

12. ΑΝΙΣΩΣΕΙΣ Α ΒΑΘΜΟΥ. είναι δύο παραστάσεις μιας μεταβλητής x πού παίρνει τιμές στο ΓΕΝΙΚΑ ΠΕΡΙ ΑΝΙΣΩΣΕΩΝ Έστω f σύνολο Α, g Α ΒΑΘΜΟΥ είναι δύο παραστάσεις μιας μεταβλητής πού παίρνει τιμές στο Ανίσωση με έναν άγνωστο λέγεται κάθε σχέση της μορφής f f g g ή, η οποία αληθεύει για ορισμένες

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

1. a. Έστω b. Να βρεθούν οι ιδιοτιμές και τα ιδιοδιανύσματα του A Έστω A και ( x) [ x]

1. a. Έστω b. Να βρεθούν οι ιδιοτιμές και τα ιδιοδιανύσματα του A Έστω A και ( x) [ x] σκήσεις Ασκήσεις Ιδιοτιμές και ιδιοδιανύσματα Βασικά σημεία Ορισμός ιδιοτιμών και ιδιοδιανυσμάτων, υπολογισμός τους Ιδιόχωροι, διάσταση ιδιόχωρου, εύρεση βάσης ιδιόχωρου Σε διακεκριμένες ιδιοτιμές αντιστοιχούν

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

Εφαρμοσμένα Μαθηματικά ΙΙ Τελική Εξέταση Ι. Λυχναρόπουλος

Εφαρμοσμένα Μαθηματικά ΙΙ Τελική Εξέταση Ι. Λυχναρόπουλος 6/6/06 Εφαρμοσμένα Μαθηματικά ΙΙ Τελική Εξέταση Ι. Λυχναρόπουλος Άσκηση (Μονάδες ) 0 Δίνεται ο πίνακας A =. Nα υπολογίσετε την βαθμίδα του και να βρείτε τη διάσταση και από μία βάση α) του μηδενοχώρου

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

,..., v n. W πεπερασμένα παραγόμενοι και dimv. Τα ακόλουθα είναι ισοδύναμα f είναι ισομορφιμός. f είναι 1-1. f είναι επί.

,..., v n. W πεπερασμένα παραγόμενοι και dimv. Τα ακόλουθα είναι ισοδύναμα f είναι ισομορφιμός. f είναι 1-1. f είναι επί. Γραμμική Άλγεβρα Ι, 07-8 Ασκήσεις7: Γραμμικές Απεικονίσεις Βασικά σημεία Ορισμός και παραδείγματα γραμμικών απεικονίσεων Σύνθεση γραμμικών απεικονίσεων, ισομορφισμοί Κάθε γραμμική απεικόνιση f : V W, όπου

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

Παραδείγματα (2) Διανυσματικοί Χώροι

Παραδείγματα (2) Διανυσματικοί Χώροι Παραδείγματα () Διανυσματικοί Χώροι Παράδειγμα 7 Ελέγξτε αν τα ακόλουθα σύνολα διανυσμάτων είναι γραμμικά ανεξάρτητα ή όχι: α) v=(,4,6), v=(,,), v=(7,,) b) v=(,4), v=(,), v=(4,) ) v=(,,), v=(5,,), v=(5,,)

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

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

Γραμμική Άλγεβρα Ενότητα 2: Διανυσματικοί χώροι Γραμμική Άλγεβρα Ενότητα 2: Διανυσματικοί χώροι Ευάγγελος Ράπτης Τμήμα Πληροφορικής 5 Μάθημα 5 Τετάρτη 10 Οκτωβρίου 2012 Με το σημερινό 9 μάθημα αρχίζουμε τη μελέτη των Διανυσματικών χώρων, μία πολύ βασική

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

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. Η πράξη «σύνθεση

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

ΚΕΦΑΛΑΙΟ 7: Αναπαραστάσεις Πεπερασμένων Ομάδων Ι

ΚΕΦΑΛΑΙΟ 7: Αναπαραστάσεις Πεπερασμένων Ομάδων Ι ΚΕΦΑΛΑΙΟ 7: Αναπαραστάσεις Πεπερασμένων Ομάδων Ι Χρησιμοποιώντας το θεώρημα του Weddebu για ημιαπλούς δακτυλίους, αναπτύσσουμε εδώ τις πρώτες προτάσεις από τη θεωρία των αναπαραστάσεων και αρακτήρων πεπερασμένων

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

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

ΓΡΑΜΜΙΚΗ ΑΛΓΕΒΡΑ Ι (ΑΡΤΙΟΙ) Προτεινοµενες Ασκησεις - Φυλλαδιο 4 ΓΡΑΜΜΙΚΗ ΑΛΓΕΒΡΑ Ι Τµηµα Β (ΑΡΤΙΟΙ) Προτεινοµενες Ασκησεις - Φυλλαδιο 4 ιδασκων: Α. Μπεληγιάννης Ιστοσελιδα Μαθηµατος : http://users.uoi.gr/abeligia/linearalgebrai/lai2018/lai2018.html Παρασκευή 23 Νοεµβρίου

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

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

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

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

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

Αριθμητική Ανάλυση και Εφαρμογές Αριθμητική Ανάλυση και Εφαρμογές Διδάσκων: Δημήτριος Ι. Φωτιάδης Τμήμα Μηχανικών Επιστήμης Υλικών Ιωάννινα 07-08 Αριθμητική Παραγώγιση Εισαγωγή Ορισμός 7. Αν y f x είναι μια συνάρτηση ορισμένη σε ένα διάστημα

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

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

7 Μάθημα Πορεία μελέτης Ακόμη μία Άσκηση Περιεχόμενα I Εναρξη μαθήματος 3 II Αρχικά μαθήματα 5 1 Μάθημα 1 5 1.1 Εισαγωγή............................... 5 1.2 Πορεία μελέτης............................ 5 1.3 Γραμμικά συστήματα.........................

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

8.1 Διαγωνοποίηση πίνακα

8.1 Διαγωνοποίηση πίνακα Κεφάλαιο 8 Κανονικές μορφές από 6 Κεφάλαιο 8 Κ Α Ν Ο Ν Ι Κ Ε Σ Μ Ο Ρ Φ Ε Σ 8. Διαγωνοποίηση πίνακα Ορισμός 8.α Ένας πίνακας M n ( ) oνομάζεται διαγωνοποιήσιμος στο αν υπάρχει αντιστρέψιμος πίνακας P M

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

Παραδείγματα (2 ο σετ) Διανυσματικοί Χώροι Επιμέλεια: Ι. Λυχναρόπουλος

Παραδείγματα (2 ο σετ) Διανυσματικοί Χώροι Επιμέλεια: Ι. Λυχναρόπουλος Παραδείγματα ( ο σετ) Διανυσματικοί Χώροι Επιμέλεια: Ι. Λυχναρόπουλος Παράδειγμα Έστω ο υποχώρος W του R 5 που παράγεται από τα διανύσματα v=(,,-,,), v=(,,-,6,8), v=(,,,,6), v=(,,5,,8), v5=(,7,,,9). a)

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

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

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

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

Κεφάλαιο 4 Διανυσματικοί Χώροι

Κεφάλαιο 4 Διανυσματικοί Χώροι Κεφάλαιο Διανυσματικοί Χώροι Διανυσματικοί χώροι - Βασικοί ορισμοί και ιδιότητες Θεωρούμε τρία διαφορετικά σύνολα: Διανυσματικοί Χώροι α) Το σύνολο διανυσμάτων (πινάκων με μία στήλη) με στοιχεία το οποίο

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

Παραδείγματα Ιδιοτιμές Ιδιοδιανύσματα

Παραδείγματα Ιδιοτιμές Ιδιοδιανύσματα Παραδείγματα Ιδιοτιμές Ιδιοδιανύσματα Παράδειγμα Να βρείτε τις ιδιοτιμές και τα αντίστοιχα ιδιοδιανύσματα του πίνακα A 4. Επίσης να προσδιοριστούν οι ιδιοχώροι και οι γεωμετρικές πολλαπλότητες των ιδιοτιμών.

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

ΚΕΦΑΛΑΙΟ 6: Κεντρικές Απλές Άλγεβρες

ΚΕΦΑΛΑΙΟ 6: Κεντρικές Απλές Άλγεβρες ΚΕΦΑΛΑΙΟ 6: Κεντρικές Απλές Άλγεβρες Χρησιμοποιώντας τανυστικά γινόμενα και εφαρμόζοντας το θεώρημα των Wedderbur-Art ( 33) θα αποδείξουμε δύο θεμελιώδη θεωρήματα που αφορούν κεντρικές απλές άλγεβρες *

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

Κώδικες Reed - Solomon. και. Βασικές Επεκτάσεις τους

Κώδικες Reed - Solomon. και. Βασικές Επεκτάσεις τους Κώδικες Reed - Solomon και Βασικές Επεκτάσεις τους Θεοδωρακόπουλος Στέφανος Διπλωματική εργασία Επιβλέπουσα Καθηγήτρια: Σοφία Λαμπροπούλου Συνεπιβλέπων Καθηγητής: Αριστείδης Κοντογεώργης Τριμελής Επιτροπή:

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

n ίδια n διαφορετικά n n 0 n n n 1 n n n n 0 4

n ίδια n διαφορετικά n n 0 n n n 1 n n n n 0 4 Διακριτά Μαθηματικά Ι Επαναληπτικό Μάθημα 1 Συνδυαστική 2 Μεταξύ 2n αντικειμένων, τα n είναι ίδια. Βρείτε τον αριθμό των επιλογών n αντικειμένων από αυτά τα 2n αντικείμενα. Μεταξύ 3n + 1 αντικειμένων τα

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

Βασική Άλγεβρα. Ασκήσεις (εκδοχή )

Βασική Άλγεβρα. Ασκήσεις (εκδοχή ) Βασική Άλγεβρα Ασκήσεις 0-4 (εκδοχή 5--04) Βασική Άλγεβρα Ασκήσεις Υποδείξεις/Απαντήσεις Περιεχόµενα σελίδα Ασκήσεις ιαιρετότητα στους ακέραιους, ισοτιµίες Ασκήσεις Ακέραιοι odulo, Θεώρηµα του Euler 7

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

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

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

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

Κεφάλαιο 4 Διανυσματικοί Χώροι

Κεφάλαιο 4 Διανυσματικοί Χώροι Κεφάλαιο Διανυσματικοί χώροι - Βασικοί ορισμοί και ιδιότητες Θεωρούμε τρία διαφορετικά σύνολα: α) Το σύνολο διανυσμάτων (πινάκων με μία στήλη) με στοιχεία το οποίο συμβολίζουμε με Σε αυτό το σύνολο γνωρίζουμε

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

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

f(t) = (1 t)a + tb. f(n) = Παράρτημα Αʹ Αριθμήσιμα και υπεραριθμήσιμα σύνολα Αʹ1 Ισοπληθικά σύνολα Ορισμός Αʹ11 (ισοπληθικότητα) Εστω A, B δύο μη κενά σύνολα Τα A, B λέγονται ισοπληθικά αν υπάρχει μια συνάρτηση f : A B, η οποία

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

Kεφάλαιο 4. Συστήματα διαφορικών εξισώσεων. F : : F = F r, όπου r xy

Kεφάλαιο 4. Συστήματα διαφορικών εξισώσεων. F : : F = F r, όπου r xy 4 Εισαγωγή Kεφάλαιο 4 Συστήματα διαφορικών εξισώσεων Εστω διανυσματικό πεδίο F : : F = Fr, όπου r x, και είναι η ταχύτητα στο σημείο πχ ενός ρευστού στο επίπεδο Εστω ότι ψάχνουμε τις τροχιές κίνησης των

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

Θεωρία Galois. Πρόχειρες σημειώσεις (εκδοχή )

Θεωρία Galois. Πρόχειρες σημειώσεις (εκδοχή ) Θεωρία Galos Πρόχειρες σημειώσεις 0- (εκδοχή -7-0) Περιεχόμενα 0 Υπενθυμίσεις και συμπληρώματα Ανάγωγα πολυώνυμα Ανάγωγα πολυώνυμα και σώματα Χαρακτηριστική σώματος Απλές ρίζες πολυωνύμων Ασκήσεις 0 Επεκτάσεις

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

Καναλιού. Καναλιού. Προχωρημένα Θέματα Τηλεπικοινωνιών. Κατηγορίες Κωδικών Καναλιού. Τι πετυχαίνει η Κωδ. Καναλιού. Κωδικοποίηση Καναλιού.

Καναλιού. Καναλιού. Προχωρημένα Θέματα Τηλεπικοινωνιών. Κατηγορίες Κωδικών Καναλιού. Τι πετυχαίνει η Κωδ. Καναλιού. Κωδικοποίηση Καναλιού. Προχωρημένα Θέματα Τηλεπικοινωνιών Πηγή Δεδομένων Κωδικοποίηση Καναλιού Κώδικας Πηγής Κώδικας Καναλιού Διαμόρφωση Κανάλι Δέκτης Δεδομένων Αποκωδ/ση Πηγής Αποκωδ/ση Καναλιού Αποδιαμόρφωση Κωδικοποίηση Καναλιού

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

Κεφάλαιο 5. Το Συμπτωτικό Πολυώνυμο

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

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

2.0 ΔΙΑΝΥΣΜΑΤΙΚΟΙ ΧΩΡΟΙ ΚΑΙ ΓΡΑΜΜΙΚΑ ΣΥΣΤΗΜΑΤΑ

2.0 ΔΙΑΝΥΣΜΑΤΙΚΟΙ ΧΩΡΟΙ ΚΑΙ ΓΡΑΜΜΙΚΑ ΣΥΣΤΗΜΑΤΑ .0 ΔΙΑΝΥΣΜΑΤΙΚΟΙ ΧΩΡΟΙ ΚΑΙ ΓΡΑΜΜΙΚΑ ΣΥΣΤΗΜΑΤΑ Έστω διανύσματα που ανήκουν στο χώρο δ i = ( a i, ai,, ai) i =,,, και έστω γραμμικός συνδυασμός των i : xδ + x δ + + x δ = b που ισούται με το διάνυσμα b,

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

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

ΓΡΑΜΜΙΚΗ ΑΛΓΕΒΡΑ Ι (ΠΕΡΙΤΤΟΙ) Προτεινοµενες Ασκησεις - Φυλλαδιο 4 ΓΡΑΜΜΙΚΗ ΑΛΓΕΒΡΑ Ι Τµηµα Β (ΠΕΡΙΤΤΟΙ) Προτεινοµενες Ασκησεις - Φυλλαδιο 4 ιδασκων: Α Μπεληγιάννης Ιστοσελιδα Μαθηµατος : http://usersuoigr/abeligia/linearalgebrai/lai2017/lai2017html Παρασκευή 17 Νοεµβρίου

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

A, και εξετάστε αν είναι διαγωνίσιμη.

A, και εξετάστε αν είναι διαγωνίσιμη. Ασκήσεις 6 Ασκήσεις Ελάχιστο Πολυώνυμο Βασικά σημεία Ορισμός ελαχίστου πολυωνύμου πίνακα και ιδιότητές του Θεώρημα (Κριτήριο διαγωνισιμότητας) Ένας είναι διαγωνίσιμος αν και μόνο αν ( x) γινόμενο διακεκριμένων

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

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

Α Δ Ι. Παρασκευή 15 Νοεμβρίου Ασκηση 1. Να ευρεθεί η τάξη τού στοιχείου a τής ομάδας (G, ), όπου. (4) a = ( 1 + i 3)/2, (G, ) = (C, ), Α Δ Ι Α - Φ 4 Δ : Ν. Μαρμαρίδης - Α. Μπεληγιάννης Ι Μ : http://users.uoi.gr/abeligia/algebraicstructuresi/asi2013/asi2013.html, https://sites.google.com/site/maths4edu/home/algdom114 Παρασκευή 15 Νοεμβρίου

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

Γραµµικη Αλγεβρα ΙΙ Ασκησεις - Φυλλαδιο 10

Γραµµικη Αλγεβρα ΙΙ Ασκησεις - Φυλλαδιο 10 Γραµµικη Αλγεβρα ΙΙ Ασκησεις - Φυλλαδιο 0 Επαναληπτικες Ασκησεις ιδασκοντες: Ν Μαρµαρίδης - Α Μπεληγιάννης Βοηθοι Ασκησεων: Χ Ψαρουδάκης Ιστοσελιδα Μαθηµατος : http://usersuoigr/abeligia/linearalgebraii/laiihtml

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

Ε Μέχρι 18 Μαΐου 2015.

Ε Μέχρι 18 Μαΐου 2015. Ε Μέχρι 18 Μαΐου 2015. 1 Αντικείμενα: δακτύλιοι Fraleigh, 4.1. Ορισμός έννοιας «δακτυλίου». Χαρακτηρισμοί δακτυλίων και στοιχείων αυτών: Δακτύλιος R Στοιχεία δακτυλίου R / (= δεν έχει μηδενοδιαιρέτες άρα

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

Τμήμα Μηχανικών Οικονομίας και Διοίκησης Εφαρμοσμένη Θεωρία Πινάκων. Quiz 3. Σύντομες Λύσεις

Τμήμα Μηχανικών Οικονομίας και Διοίκησης Εφαρμοσμένη Θεωρία Πινάκων. Quiz 3. Σύντομες Λύσεις Τμήμα Μηχανικών Οικονομίας και Διοίκησης Εφαρμοσμένη Θεωρία Πινάκων Γ. Καραγιώργος ykarag@aegean.gr Quiz Σύντομες Λύσεις Άσκηση. Δείξτε ότι η απεικόνιση u, v = u v + 5u v, όπου u = (u, u ), v = (v, v ),

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

Α Δ Ι. Δευτέρα 13 Ιανουαρίου 2014

Α Δ Ι. Δευτέρα 13 Ιανουαρίου 2014 Α Δ Ι Α - Φ 9 Δ : Ν. Μαρμαρίδης - Α. Μπεληγιάννης Ι Μ : http://users.uoi.gr/abeligia/algebraicstructuresi/asi2013/asi2013.html, https://sites.google.com/site/maths4edu/home/algdom114 Δευτέρα 13 Ιανουαρίου

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

α) f(x(t), y(t)) = 0,

α) f(x(t), y(t)) = 0, Ρητές καμπύλες Μια επίπεδη αλγεβρική καμπύλη V (f) είναι το σύνολο όλων των σημείων του επιπέδου K 2 που μηδενίζουν κάποιο συγκεκριμένο ανάγωγο πολυώνυμο f K[x, y], δηλαδή V (f) = {(x 0, y 0 ) K 2 f(x

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

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

ΓΡΑΜΜΙΚΗ ΑΛΓΕΒΡΑ ΙΙ (ΠΕΡΙΤΤΟΙ) Ασκησεις - Φυλλαδιο 9 Επαναληπτικες Ασκησεις ΓΡΑΜΜΙΚΗ ΑΛΓΕΒΡΑ ΙΙ Τµηµα Β ΠΕΡΙΤΤΟΙ Ασκησεις - Φυλλαδιο 9 Επαναληπτικες Ασκησεις ιδασκων: Α Μπεληγιάννης Ιστοσελιδα Μαθηµατος : http://usersuoigr/abeligia/linearalgebraii/laii8/laii8html Παρασκευή 4 Ιουνίου

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

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

Περιεχόμενα. Πρόλογος 3 Πρόλογος Η χρησιμότητα της Γραμμικής Άλγεβρας είναι σχεδόν αυταπόδεικτη. Αρκεί μια ματιά στο πρόγραμμα σπουδών, σχεδόν κάθε πανεπιστημιακού τμήματος θετικών επιστημών, για να διαπιστώσει κανείς την παρουσία

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

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

Pr(10 X 15) = Pr(15 X 20) = 1/2, (10.2) Κεφάλαιο 10 Συνεχείς τυχαίες μεταβλητές Σε αυτό το κεφάλαιο θα εξετάσουμε τις ιδιότητες που έχουν οι συνεχείς τυχαίες μεταβλητές. Εκείνες οι Τ.Μ. X, δηλαδή, των οποίων το σύνολο τιμών δεν είναι διακριτό,

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

Πεπερασμένα σώματα και Κρυπτογραφία Σύμφωνα με τις παραδόσεις του Α. Κοντογεώργη. Τσουκνίδας Ι.

Πεπερασμένα σώματα και Κρυπτογραφία Σύμφωνα με τις παραδόσεις του Α. Κοντογεώργη. Τσουκνίδας Ι. Πεπερασμένα σώματα και Κρυπτογραφία Σύμφωνα με τις παραδόσεις του Α. Κοντογεώργη Τσουκνίδας Ι. 2 Περιεχόμενα 1 Εισαγωγή στα πεπερασμένα σώματα 5 1.1 Μάθημα 1..................................... 5 1.1.1

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

ΤΕΤΥ Εφαρμοσμένα Μαθηματικά 1. Τελεστές και πίνακες. 1. Τελεστές και πίνακες Γενικά. Τι είναι συνάρτηση? Απεικόνιση ενός αριθμού σε έναν άλλο.

ΤΕΤΥ Εφαρμοσμένα Μαθηματικά 1. Τελεστές και πίνακες. 1. Τελεστές και πίνακες Γενικά. Τι είναι συνάρτηση? Απεικόνιση ενός αριθμού σε έναν άλλο. ΤΕΤΥ Εφαρμοσμένα Μαθηματικά 1 Τελεστές και πίνακες 1. Τελεστές και πίνακες Γενικά Τι είναι συνάρτηση? Απεικόνιση ενός αριθμού σε έναν άλλο. Ανάλογα, τελεστής είναι η απεικόνιση ενός διανύσματος σε ένα

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

Μαθηματικά Γ Γυμνασίου

Μαθηματικά Γ Γυμνασίου Α λ γ ε β ρ ι κ έ ς π α ρ α σ τ ά σ ε ι ς 1.1 Πράξεις με πραγματικούς αριθμούς (επαναλήψεις συμπληρώσεις) A. Οι πραγματικοί αριθμοί και οι πράξεις τους Διδακτικοί στόχοι Θυμάμαι ποιοι αριθμοί λέγονται

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

G 1 = G/H. I 3 = {f R : f(1) = 2f(2) ή f(1) = 3f(2)}. I 5 = {f R : f(1) = 0}.

G 1 = G/H. I 3 = {f R : f(1) = 2f(2) ή f(1) = 3f(2)}. I 5 = {f R : f(1) = 0}. Αλγεβρα ΙΙ, Εαρινο Εξαμηνο 2017 18 Ασκησεις που συζητηθηκαν στο φροντιστηριο Φροντιστήριο 1. 1. Δίνεται η ομάδα G = Z 4 Z 8, το στοιχείο a = (1, 2) της G, και η υποομάδα H =< a > της G. Εστω G 1 = G/H.

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

Ασκήσεις6 Διαγωνοποίηση Ερμιτιανών Πινάκων

Ασκήσεις6 Διαγωνοποίηση Ερμιτιανών Πινάκων 7 Βασικά σημεία Ασκήσεις6 Διαγωνοποίηση Ερμιτιανών Πινάκων Το σύνηθες εσωτερικό γινόμενο στο και Ορθοκανονικές βάσεις και η μέθοδος Gram-Schmidt Ορισμός, Ερμιτιανού πίνακα και μοναδιαίου πίνακα Ιδιότητες

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

- ΟΡΙΟ - ΣΥΝΕΧΕΙΑ ΣΥΝΑΡΤΗΣΗΣ ΕΝΟΤΗΤΑ 6: ΜΗ ΠΕΠΕΡΑΣΜΕΝΟ ΟΡΙΟ ΣΤΟ

- ΟΡΙΟ - ΣΥΝΕΧΕΙΑ ΣΥΝΑΡΤΗΣΗΣ ΕΝΟΤΗΤΑ 6: ΜΗ ΠΕΠΕΡΑΣΜΕΝΟ ΟΡΙΟ ΣΤΟ ΚΕΦΑΛΑΙΟ ο: ΣΥΝΑΡΤΗΣΕΙΣ - ΟΡΙΟ - ΣΥΝΕΧΕΙΑ ΣΥΝΑΡΤΗΣΗΣ ΕΝΟΤΗΤΑ 6: ΜΗ ΠΕΠΕΡΑΣΜΕΝΟ ΟΡΙΟ ΣΤΟ R - ΟΡΙΟ ΣΥΝΑΡΤΗΣΗΣ ΣΤΟ ΑΠΕΙΡΟ - ΠΕΠΕΡΑΣΜΕΝΟ ΟΡΙΟ ΑΚΟΛΟΥΘΙΑΣ [Κεφ..6: Μη Πεπερασμένο Όριο στο R - Κεφ..7: Όρια Συνάρτησης

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

ΕΝΑΣ ΔΙΚΡΙΤΗΡΙΟΣ ΑΛΓΟΡΙΘΜΟΣ SIMPLEX

ΕΝΑΣ ΔΙΚΡΙΤΗΡΙΟΣ ΑΛΓΟΡΙΘΜΟΣ SIMPLEX ΚΕΦΑΛΑΙΟ 3 ΕΝΑΣ ΔΙΚΡΙΤΗΡΙΟΣ ΑΛΓΟΡΙΘΜΟΣ SIMPLEX 3.1 Εισαγωγή Ο αλγόριθμος Simplex θεωρείται πλέον ως ένας κλασικός αλγόριθμος για την επίλυση γραμμικών προβλημάτων. Η πρακτική αποτελεσματικότητά του έχει

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

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

Ισότητα, Αλγεβρικές και Αναλυτικές Ιδιότητες Πραγματικών Ακολουθιών Ισότητα, Αλγεβρικές και Αναλυτικές Ιδιότητες Πραγματικών Ακολουθιών Συμβολισμοί Σε αναλογία με τους ορισμούς συμβολίζουμε μια ακολουθία: 1 είτε μέσω του διανυσματικού ορισμού, παραθέτοντας αναγκαστικά

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