ΕΚΔΟΣΕΙΣ ΠΑΝΕΠΙΣΤΗΜΙΟΥ ΠΑΤΡΩΝ

Transcript

1 Δημήτρης Σουρλάς uv, u v ( ) ΕΚΔΟΣΕΙΣ ΠΑΝΕΠΙΣΤΗΜΙΟΥ ΠΑΤΡΩΝ 03

2 Αφιαιρώνεται στην μνήμη του συναδέλφου Κωνσταντίνου Βλάχου.

3 ΠΡΟΛΟΓΟΣ Το βιβλίο αυτό γράφτηκε κυρίως για τις ανάγκες των πρωτοετών φοιτητών του Τμήματος Φυσικής του Πανεπιστημίου Πατρών. Βασίστηκε δε στις παραδόσεις του μαθήματος «Μαθηματικά ΙΙΒ» από το 996 μέχρι το 004 και των μαθημάτων «Γραμμική Άλγεβρα» και «Αναλυτική Γεωμετρία Διανυσματική Ανάλυση» από το 005 μέχρι σήμερα. Απευθύνεται κυρίως στους φοιτητές των Τμημάτων Φυσικής και αυτός είναι ο λόγος που καθόρισε το επίπεδο και το περιεχόμενο αυτού του βιβλίου. Το βιβλίο αποτελείται από δύο μέρη: Το Α μέρος περιλαμβάνει τη Γραμμική Άλγεβρα, της οποίας το περιεχόμενο αποτελείται από οκτώ Κεφάλαια. Το τελευταίο Κεφάλαιο αναφέρεται συνοπτικά στον διανυσματικό χώρο του Hilbert σαν ένα μικρό βοήθημα για όποιον αργότερα θα ασχοληθεί με την Κβαντομηχανική, της οποίας μια βασική μαθηματική έννοια είναι ο χώρος Hilbert. Το Β μέρος περιλαμβάνει την Αναλυτική Γεωμετρία, της οποίας το περιεχόμενο αποτελείται από εννέα Κεφάλαια και δύο Παραρτήματα. Τα οκτώ πρώτα Κεφάλαια αναφέρονται στην Αναλυτική Γεωμετρία και το ένατο περιλαμβάνει μια πολύ σύντομη εισαγωγή στη Διαφορική Γεωμετρία. Το Παράρτημα Α περιλαμβάνει τις θεωρητικές βάσεις και αξιώματα της Ευκλείδειας Γεωμετρίας και έχει γραφεί για να γνωρίζει ο αναγνώστης τις ρίζες της Ευκλείδειας Γεωμετρίας. Το Παράρτημα Β αποτελεί μια στοιχειώδη εισαγωγή στα φανταστικά στοιχεία και στην Προβολική Γεωμετρία. Στο τέλος κάθε κεφαλαίου και των δυο μερώ υπάρχει ένας αριθμός ασκήσεων, σκοπός των οποίων είναι η εμπέδωση της αντίστοιχης θεωρίας. Οι λύσεις των ασκήσεων βρίσκονται στο τέλος του κάθε μέρους. Συνιστάται στους αναγνώστες να μη συμβουλευτούν τις λύσεις των ασκήσεων προτού επιχειρήσουν να δώσουν τις δικές τους λύσεις. Επίσης στο τέλος κάθε μέρους υπάρχουν ενδεικτικές ασκήσεις που αναφέρονται σ όλη την ύλη του βιβλίου και ευθύς αμέσως ακολουθούν οι απαντήσεις. Στην παρούσα δεύτερη έκδοση έγινε προσπάθεια να περιοριστούν τα λάθη όσο είναι αυτό δυνατό. Οποιαδήποτε λάθη ή αβλεψίες που εξακολουθούν να υπάρχουν, αποτελούν ευθύνη του συγγραφέα. Με μεγάλη χαρά θα δεχθώ οποιαδήποτε παρατήρηση, υπόδειξη και ιδίως κριτική αυτού του βιβλίου. Επίσης στη δεύτερη αυτή έκδοση προστέθηκαν κάποιες νέες παράγραφοι στο πρώτο μέρος της Γραμμικής Άλγεβρας, όπως οι παράγραφοι:.4 ΟΡΘΟΓΩΝΙΑ ΣΥΜΠΛΗΡΩΜΑΤΑ ΚΑΙ ΠΡΟΒΟΛΕΣ 3.5 ΜΕΘΟΔΟΣ ΤΩΝ ΕΛΕΧΑΣΤΩΝ ΤΕΤΡΑΓΩΝΩΝ 5.9 ΘΕΤΙΚΑ ΟΡΙΣΜΕΝΟΙ ΠΙΝΑΚΕΣ ΚΑΙ ΕΣΩΤΕΡΙΚΟ ΓΙΝΟΜΕΝΟ Στο Κεφάλαιο VI έγινε μια μικρή αναδιάταξη της ύλης και προστέθηκε η παράγραφος: 6. ΚΑΝΟΝΙΚΕΣ ΜΟΡΦΕΣ ΠΙΝΑΚΩΝ Επίσης στο τέλος του Α μέρους της Γραμμικής Άλγεβρας προστέθηκε η παράγραφος ΒΑΣΙΚΕΣ ΕΝΤΟΛΕΣ ΤΟΥ MAPLE που περιέχει τις βασικές εντολές του μαθηματικού πακέτου Maple για την λύση προβλημάτων της Γραμμικής Άλγεβρας. Πάτρα Μάιος 03 Δημήτρης Σουρλάς Αναπληρωτής Καθηγητής

4

5 ΠΕΡΙΕΧΟΜΕΝΑ Α ΜΈΡΟΣ... I ΓΡΑΜΜΙΚΗ ΑΛΓΕΒΡΑ... I ΕΙΣΑΓΩΓΗ... I ΚΕΦΑΛΑΙΟ Ι... ΕΙΣΑΓΩΓΗ ΣΤΙΣ ΑΛΓΕΒΡΙΚΕΣ ΔΟΜΕΣ.... ΟΡΙΣΜΟΣ ΤΩΝ ΠΡΑΞΕΩΝ.... ΑΛΓΕΒΡΙΚΗ ΔΟΜΗ ΗΜΙΟΜΑΔΑ ΜΟΝΟΕΙΔΕΣ ΟΜΑΔΑ Η ΟΜΑΔΑ ΤΩΝ ΜΕΤΑΣΧΗΜΑΤΙΣΜΩΝ ΥΠΟΟΜΑΔΑ ΔΑΚΤΥΛΙΟΣ ΣΩΜΑ ΠΕΔΙΟ... 6 ΑΣΚΗΣΕΙΣ... 8 ΚΕΦΑΛΑΙΟ ΙΙ... ΔΙΑΝΥΣΜΑΤΙΚΟΙ ΧΩΡΟΙ.... ΔΙΑΝΥΣΜΑΤΙΚΟΣ ΧΩΡΟΣ.... ΔΙΑΝΥΣΜΑΤΙΚΟΣ ΥΠΟΧΩΡΟΣ ΑΛΓΕΒΡΑ ΓΡΑΜΜΙΚΟΣ ΣΥΝΔΥΑΣΜΟΣ ΑΘΡΟΙΣΜΑ ΚΑΙ ΕΥΘΥ ΑΘΡΟΙΣΜΑ ΔΙΑΝΥΣΜΑΤΙΚΩΝ ΥΠΟΧΩΡΩΝ ΓΡΑΜΜΙΚΑ ΕΞΑΡΤΗΜΕΝΑ ΚΑΙ ΑΝΕΞΑΡΤΗΤΑ ΔΙΑΝΥΣΜΑΤΑ ΓΕΝΝΗΤΟΡΕΣ ΕΝΟΣ ΔΙΑΝΥΣΜΑΤΙΚΟΥ ΧΩΡΟΥ ΒΑΣΗ ΚΑΙ ΔΙΑΣΤΑΣΗ ΕΝΟΣ ΔΙΑΝΥΣΜΑΤΙΚΟΥ ΧΩΡΟΥ ΔΙΑΣΤΑΣΗ ΚΑΙ ΥΠΟΧΩΡΟΙ ΕΣΩΤΕΡΙΚΟ ΓΙΝΟΜΕΝΟ ΟΡΘΟΚΑΝΟΝΙΚΟΤΗΤΑ ΚΑΙ ΠΛΗΡΟΤΗΤΑ ΜΕΘΟΔΟΣ ΟΡΘΟΚΑΝΟΝΙΚΟΠΟΙΗΣΗΣ (GRAM SCHMIDT) ΣΤΑΘΜΗΤΟΙ ΚΑΙ ΜΕΤΡΙΚΟΙ ΧΩΡΟΙ ΟΡΘΟΓΩΝΙΑ ΣΥΜΠΛΗΡΩΜΑΤΑ ΚΑΙ ΠΡΟΒΟΛΕΣ ΑΣΚΗΣΕΙΣ... 6 Κ Ε Φ Α Λ Α Ι Ο ΙΙΙ Π Ι Ν Α Κ Ε Σ ΟΡΙΣΜΟΣ ΤΟΥ ΠΙΝΑΚΑ ΠΡΟΣΘΕΣΗ ΠΙΝΑΚΩΝ ΚΑΙ ΒΑΘΜΩΤΟΣ ΠΟΛΛΑΠΛΑΣΙΑΣΜΟΣ ΠΟΛΛΑΠΛΑΣΙΑΣΜΟΣ ΠΙΝΑΚΩΝ ΕΥΘΥ ΑΘΡΟΙΣΜΑ ΚΑΙ ΤΑΝΥΣΤΙΚΟ ΓΙΝΟΜΕΝΟ ΠΙΝΑΚΩΝ... 7 I

6 3.5 ΕΙΔΗ ΠΙΝΑΚΩΝ ΕΙΔΗ ΤΕΤΡΑΓΩΝΙΚΩΝ ΠΙΝΑΚΩΝ ΜΕΤΑΘΕΤΕΣ ΚΑΙ ΑΝΤΙΜΕΤΑΘΕΤΕΣ ΠΙΝΑΚΩΝ ΓΡΑΜΜΟΪΣΟΔΥΝΑΜΟΙ ΠΙΝΑΚΕΣ ΟΡΙΖΟΥΣΕΣ ΙΔΙΟΤΗΤΕΣ ΤΩΝ ΟΡΙΖΟΥΣΩΝ ΥΠΟΛΟΓΙΣΜΟΣ ΟΡΙΖΟΥΣΑΣ ΥΠΟΛΟΓΙΣΜΟΣ ΤΟΥ ΑΝΤΙΣΤΡΟΦΟΥ ΕΝΟΣ ΠΙΝΑΚΑ ΥΠΟΠΙΝΑΚΑΣ ΚΑΙ ΒΑΘΜΟΣ ΠΙΝΑΚΑ ΣΥΣΤΗΜΑΤΑ ΓΡΑΜΜΙΚΩΝ ΕΞΙΣΩΣΕΩΝ ΜΕΘΟΔΟΣ ΤΩΝ ΕΛΑΧΙΣΤΩΝ ΤΕΤΡΑΓΩΝΩΝ ΕΥΑΙΣΘΗΣΙΑ ΕΝΟΣ ΠΙΝΑΚΑ ΚΑΙ ΑΣΤΑΘΕΙΑ ΣΤΙΣ ΛΥΣΕΙΣ ΕΝΟΣ ΓΡΑΜΜΙΚΟΥ ΣΥΣΤΗΜΑΤΟΣ ΜΙΑ ΣΥΝΤΟΜΗ ΙΣΤΟΡΙΚΗ ΑΝΑΔΡΟΜΗ ΤΗΣ ΘΕΩΡΙΑΣ ΤΩΝ ΠΙΝΑΚΩΝ... ΑΣΚΗΣΕΙΣ... 3 Κ Ε Φ Α Λ Α Ι Ο IV... 9 ΓΡΑΜΜΙΚΟΙ ΜΕΤΑΣΧΗΜΑΤΙΣΜΟΙ ΚΑΙ ΤΕΛΕΣΤΕΣ... 9 ΕΙΣΑΓΩΓΗ ΓΡΑΜΜΙΚΟΣ ΜΕΤΑΣΧΗΜΑΤΙΣΜΟΣ ΕΙΚΟΝΑ ΚΑΙ ΠΥΡΗΝΑΣ ΕΝΟΣ ΓΡΑΜΜΙΚΟΥ ΜΕΤΑΣΧΗΜΑΤΙΣΜΟΥ ΙΔΙΑΖΟΝΤΕΣ ΚΑΙ ΜΗ ΜΕΤΑΣΧΗΜΑΤΙΣΜΟΙ ΙΣΟΜΟΡΦΙΣΜΟΣ ΚΑΙ ΙΣΟΜΟΡΦΙΚΟΙ ΧΩΡΟΙ ΠΡΑΞΕΙΣ ΜΕΤΑΞΥ ΤΩΝ ΓΡΑΜΜΙΚΩΝ ΜΕΤΑΣΧΗΜΑΤΙΣΜΩΝ ΓΡΑΜΜΙΚΟΙ ΤΕΛΕΣΤΕΣ ΑΝΤΙΣΤΡΟΦΟΣ ΕΝΟΣ ΤΕΛΕΣΤΗ ΑΣΚΗΣΕΙΣ Κ Ε Φ Α Λ Α Ι Ο V... 4 ΠΙΝΑΚΕΣ ΚΑΙ ΓΡΑΜΜΙΚΟΙ ΤΕΛΕΣΤΕΣ ΕΙΣΑΓΩΓΗ ΠΑΡΑΣΤΑΣΗ ΕΝΟΣ ΤΕΛΕΣΤΗ ΥΠΟ ΜΟΡΦΗ ΠΙΝΑΚΑ ΩΣ ΠΡΟΣ ΜΙΑ ΒΑΣΗ ΕΙΔΗ ΤΕΛΕΣΤΩΝ ΜΕΤΑΣΧΗΜΑΤΙΣΜΟΣ ΒΑΣΗΣ ΜΕΤΑΣΧΗΜΑΤΙΣΜΟΣ ΣΥΝΙΣΤΩΣΩΝ ΔΙΑΝΥΣΜΑΤΟΣ ΚΑΙ ΤΕΛΕΣΤΗ ΟΜΟΙΟΤΗΤΑ ΓΕΝΙΚΗ ΠΕΡΙΠΤΩΣΗ ΜΕΤΑΣΧΗΜΑΤΙΣΜΟΙ ΕΠΙΠΕΔΩΝ ΠΕΡΙΟΧΩΝ ΚΑΙ ΚΑΜΠΥΛΩΝ ΑΠΟ ΕΝΑΝ ΠΙΝΑΚΑ ΘΕΤΙΚΑ ΟΡΙΣΜΕΝΟΙ ΠΙΝΑΚΕΣ ΚΑΙ ΕΣΩΤΕΡΙΚΟ ΓΙΝΟΜΕΝΟ... 6 ΑΣΚΗΣΕΙΣ Κ Ε Φ Α Λ Α Ι Ο VI ΙΔΙΟΤΙΜΕΣ ΚΑΙ ΙΔΙΟΔΙΑΝΥΣΜΑΤΑ ΕΝΟΣ ΤΕΛΕΣΤΗ ΕΙΣΑΓΩΓΗ ΕΥΡΕΣΗ ΤΩΝ ΙΔΙΟΤΙΜΩΝ ΚΑΙ ΙΔΙΟΔΙΑΝΥΣΜΑΤΩΝ ΕΝΟΣ ΤΕΛΕΣΤΗ ΤΟ ΧΑΡΑΚΤΗΡΙΣΤΙΚΟ ΠΟΛΥΩΝΥΜΟ ΑΥΤΟΣΥΝΑΦΕΙΣ ( HERMITIAN) ΚΑΙ ΣΥΜΜΕΤΡΙΚΟΙ ΤΕΛΕΣΤΕΣ ( ΙΣΟΜΕΤΡΙΚΟΙ UNITARY ΚΑΙ ΟΡΘΟΓΩΝΙΟΙ ΤΕΛΕΣΤΕΣ ( ΙΔΙΟΤΙΜΕΣ ΚΑΙ ΙΔΙΟΔΙΑΝΥΣΜΑΤΑ ΤΩΝ ΑΥΤΟΣΥΝΑΦΩΝ ΚΑΙ ΙΣΟΜΕΤΡΙΚΩΝ ΤΕΛΕΣΤΩΝ (... 88

7 6.7 ΔΙΑΓΩΝΟΠΟΙΗΣΗ ΚΑΙ ΙΔΙΟΔΙΑΝΥΣΜΑΤΑ ΤΟ ΕΛΑΧΙΣΤΟ ΠΟΛΥΩΝΥΜΟ ΕΝΟΣ ΠΙΝΑΚΑ ΔΙΑΓΩΝΟΠΟΙΗΣΗ HERMITIAN ΚΑΙ UNITARY ΠΙΝΑΚΩΝ ΓΕΝΙΚΕΥΜΕΝΑ ΙΔΙΟΔΙΑΝΥΣΜΑΤΑ ΚΑΙ ΙΔΙΟΤΙΜΕΣ ( ΚΑΝΟΝΙΚΕΣ ΜΟΡΦΕΣ ΠΙΝΑΚΩΝ ΑΣΚΗΣΕΙΣ... Κ Ε Φ Α Λ Α Ι Ο VII (... 5 ΧΩΡΟΙ HILBERT... 5 ΠΛΗΡΗ ΚΑΙ ΟΡΘΟΚΑΝΟΝΙΚΑ ΣΥΝΟΛΑ ΣΥΝΑΡΤΗΣΕΩΝ ΕΙΣΑΓΩΓΗ ΣΥΝΑΡΤΗΣΙΑΚΟΣ ΧΩΡΟΣ ΚΑΙ HILBERT ΧΩΡΟΣ ΓΡΑΜΜΙΚΑ ΑΝΕΞΑΡΤΗΤΑ ΔΙΑΝΥΣΜΑΤΑ, ΔΙΑΣΤΑΣΗ ΚΑΙ ΒΑΣΗ ΕΝΟΣ ΔΙΑΝΥΣΜΑΤΙΚΟΥ ΧΩΡΟΥ 7.4 ΓΡΑΜΜΙΚΕΣ ΠΟΛΛΑΠΛΟΤΗΤΕΣ ΚΑΙ ΥΠΟΧΩΡΟΙ ΟΡΘΟΚΑΝΟΝΙΚΑ ΣΥΣΤΗΜΑΤΑ ΣΕ ΧΩΡΟ HILBERT... 4 ΛΥΣΕΙΣ ΤΩΝ ΑΣΚΗΣΕΩΝ... 3 ΛΥΣΕΙΣ ΤΩΝ ΑΣΚΗΣΕΩΝ ΚΕΦΑΛΑΙΟΥ Ι ΕΙΣΑΓΩΓΗ ΣΤΙΣ ΑΛΓΕΒΡΙΚΕΣ ΔΟΜΕΣ... 3 ΛΥΣΕΙΣ ΤΩΝ ΑΣΚΗΣΕΩΝ ΚΕΦΑΛΑΙΟΥ ΙΙ ΔΙΑΝΥΣΜΑΤΙΚΟΙ ΧΩΡΟΙ ΛΥΣΕΙΣ ΤΩΝ ΑΣΚΗΣΕΩΝ ΚΕΦΑΛΑΙΟΥ ΙΙΙ ΠΙΝΑΚΕΣ ΛΥΣΕΙΣ ΤΩΝ ΑΣΚΗΣΕΩΝ ΚΕΦΑΛΑΙΟΥ IV ΓΡΑΜΜΙΚΟΙ ΜΕΤΑΣΧΗΜΑΤΙΣΜΟΙ ΚΑΙ ΤΕΛΕΣΤΕΣ ΛΥΣΕΙΣ ΤΩΝ ΑΣΚΗΣΕΩΝ ΚΕΦΑΛΑΙΟΥ V ΠΙΝΑΚΕΣ ΚΑΙ ΓΡΑΜΜΙΚΟΙ ΤΕΛΕΣΤΕΣ ΛΥΣΕΙΣ ΤΩΝ ΑΣΚΗΣΕΩΝ ΚΕΦΑΛΑΙΟΥ VI ΙΔΙΟΤΙΜΕΣ ΚΑΙ ΙΔΙΟΔΙΑΝΥΣΜΑΤΑ ΕΝΟΣ ΤΕΛΕΣΤΗ... 8 ΒΑΣΙΚΕΣ ΕΝΤΟΛΕΣ ΤΟΥ MAPLE Β ΜΕΡΟΣ ΑΝΑΛΥΤΙΚΗ ΓΕΩΜΕΤΡΙΑ ΕΙΣΑΓΩΓΗ ΚΕΦΑΛΑΙΟ Ι ΣΗΜΕΙΟ ΣΤΟ ΧΩΡΟ ΣΥΝΤΕΤΑΓΜΕΝΕΣ ΣΗΜΕΙΟΥ ΔΙΑΝΥΣΜΑ ΘΕΣΗΣ ΕΝΟΣ ΣΗΜΕΙΟΥ ΠΡΑΞΕΙΣ ΣΤΟΝ ΧΩΡΟ ΤΩΝ ΔΙΑΝΥΣΜΑΤΩΝ ΕΛΕΥΘΕΡΑ, ΕΦΑΡΜΟΣΤΑ ΚΑΙ ΟΛΙΣΘΑΙΝΟΝΤΑ ΔΙΑΝΥΣΜΑΤΑ ΑΛΛΑΓΗ ΣΥΣΤΗΜΑΤΟΣ ΣΥΝΤΕΤΑΓΜΕΝΩΝ ΑΣΚΗΣΕΙΣ ΚΕΦΑΛΑΙΟ ΙΙ ΒΑΣΙΚΑ ΘΕΜΑΤΑ ΤΗΣ ΑΝΑΛΥΤΙΚΗΣ ΓΕΩΜΕΤΡΙΑΣ ΓΕΩΜΕΤΡΙΚΟΙ ΤΟΠΟΙ ΣΤΟ ΕΠΙΠΕΔΟ ΚΑΙ ΑΝΑΛΥΤΙΚΕΣ ΕΞΙΣΩΣΕΙΣ ΓΕΩΜΕΤΡΙΚΟΙ ΤΟΠΟΙ ΣΤΟ ΧΩΡΟ ΔΙΑΝΥΣΜΑΤΙΚΕΣ ΚΑΙ ΠΑΡΑΜΕΤΡΙΚΕΣ ΕΞΙΣΩΣΕΙΣ ΠΑΡΑΓΩΓΟΣ ΔΙΑΝΥΣΜΑΤΙΚΗΣ ΣΥΝΑΡΤΗΣΗΣ Α Σ Κ Η Σ Ε Ι Σ ΚΕΦΑΛΑΙΟ ΙΙΙ III

8 ΕΥΘΕΙΑ ΓΡΑΜΜΗ ΔΙΑΝΥΣΜΑΤΙΚΗ ΕΞΙΣΩΣΗ ΕΥΘΕΙΑΣ ΠΑΡΑΜΕΤΡΙΚΕΣ ΚΑΙ ΑΝΑΛΥΤΙΚΕΣ ΕΞΙΣΩΣΕΙΣ ΕΥΘΕΙΑΣ ΚΛΙΣΗ Ή ΣΥΝΤΕΛΕΣΤΗΣ ΔΙΕΥΘΥΝΣΕΩΣ ΜΙΑΣ ΕΥΘΕΙΑΣ ΣΧΕΣΕΙς ΜΕΤΑΞΥ ΔΥΟ ΕΥΘΕΙΩΝ ΣΥΝΘΗΚΗ ΓΙΑ ΝΑ ΔΙΕΡΧΟΝΤΑΙ ΤΡΕΙΣ ΕΥΘΕΙΕΣ ΑΠΟ ΤΟ ΙΔΙΟ ΣΗΜΕΙΟ. ΕΠΕΙΠΕΔΗ ΔΕΣΜΗ ΕΥΘΕΙΩΝ ΓΩΝΙΑ ΔΥΟ ΕΥΘΕΙΩΝ ΠΡΟΣΑΝΑΤΟΛΙΣΜΟΣ ΕΥΘΕΙΑΣ ΚΑΙ ΕΠΙΠΕΔΟΥ. ΜΕΛΕΤΗ ΤΩΝ ΑΝΙΣΟΤΗΤΩΝ Ax+By+Γ ή ΑΠΟΣΤΑΣΗ ΣΗΜΕΙΟΥ ΑΠΟ ΕΥΘΕΙΑ ΑΣΚΗΣΕΙΣ ΚΕΦΑΛΑΙΟ IV ΕΠΙΠΕΔΟ ΚΑΙ ΕΥΘΕΙΑ ΣΤΟ ΧΩΡΟ ΔΙΑΝΥΣΜΑΤΙΚΗ ΕΞΙΣΩΣΗ ΕΠΙΠΕΔΟΥ ΠΑΡΑΜΕΤΡΙΚΕΣ ΕΞΙΣΩΣΕΙΣ ΚΑΙ ΑΝΑΛΥΤΙΚΗ ΕΞΙΣΩΣΗ ΤΟΥ ΕΠΙΠΕΔΟΥ ΔΙΕΡΕΥΝΗΣΗ της ΕΞΙΣΩΣΗΣ AX+BY+ΓZ+Δ= Η ΕΥΘΕΙΑ ΣΤΟ ΧΩΡΟ ΣΑΝ ΤΟΜΗ ΔΥΟ ΕΠΙΠΕΔΩΝ ΘΕΣΗ ΔΥΟ ΕΠΙΠΕΔΩΝ ΣΧΕΤΙΚΗ ΘΕΣΗ ΤΡΙΩΝ ΕΠΙΠΕΔΩΝ ΑΞΟΝΙΚΗ ΚΑΙ ΚΕΝΤΡΙΚΗ ΔΕΣΜΗ ΕΠΙΠΕΔΩΝ ΑΠΟΣΤΑΣΗ ΣΗΜΕΙΟΥ ΑΠΟ ΕΠΙΠΕΔΟ ΓΩΝΙΑ ΔΥΟ ΕΠΙΠΕΔΩΝ. ΓΩΝΙΑ ΔΥΟ ΕΥΘΕΙΩΝ. ΓΩΝΙΑ ΕΥΘΕΙΑΣ ΚΑΙ ΕΠΙΠΕΔΟΥ ΑΠΟΣΤΑΣΗ ΣΗΜΕΙΟΥ ΑΠΌ ΕΥΘΕΙΑ ΣΥΝΘΗΚΗ ΓΙΑ ΝΑ είναι ΔΥΟ ΕΥΘΕΙΕΣ ΣΥΝΕΠΙΠΕΔΕΣ ΑΠΟΣΤΑΣΗ ΔΥΟ ΑΣΥΜΒΑΤΩΝ ΕΥΘΕΙΩΝ. 355 ΑΣΚΗΣΕΙΣ ΚΕΦΑΛΑΙΟ V ΚΑΜΠΥΛΕΣ ΔΕΥΤΕΡΟΥ ΒΑΘΜΟΥ ΣΤΟ ΕΠΙΠΕΔΟ ΚΩΝΙΚΕΣ ΤΟΜΕΣ ΓΕΝΙΚΑ Η ΕΞΙΣΩΣΗ ΤΗΣ ΕΦΑΠΤΟΜΕΝΗς ΜΙΑς ΚΩΝΙΚΗΣ ΤΟΜΗΣ ΕΛΛΕΙΨΗ ΜΗΧΑΝΙΚΗ ΚΑΙ ΓΕΩΜΕΤΡΙΚΗ ΚΑΤΑΣΚΕΥΗ ΤΗΣ ΕΛΛΕΙΨΗΣ ΕΦΑΠΤΟΜΕΝΗ ΚΑΙ ΚΑΘΕΤΟΣ ΤΗΣ ΕΛΛΕΙΨΗς ΒΑΣΙΚΑ ΣΤΟΙΧΕΙΑ της ΕΛΛΕΙΨΗς ΕΚΚΕΝΤΡΟΤΗΤΑ ΚΑΙ ΔΙΕΥΘΕΤΟΥΣΕΣ ΥΠΕΡΒΟΛΗ ΜΗΧΑΝΙΚΗ ΚΑΤΑΣΚΕΥΗ ΤΗΣ ΥΠΕΡΒΟΛΗΣ ΠΑΡΑΜΕΤΡΙΚΕΣ ΕΞΙΣΩΣΕΙΣ ΤΗΣ ΥΠΕΡΒΟΛΗΣ ΕΦΑΠΤΟΜΕΝΗ, ΚΑΘΕΤΗ ΚΑΙ ΑΣΥΜΠΤΩΤΗ ΤΗΣ ΥΠΕΡΒΟΛΗΣ ΕΚΚΕΝΤΡΟΤΗΤΑ ΚΑΙ ΔΙΕΥΘΕΤΟΥΣΑ ΥΠΕΡΒΟΛΗΣ ΠΑΡΑΒΟΛΗ ΜΗΧΑΝΙΚΗ ΚΑΤΑΣΚΕΥΗ ΤΗΣ ΠΑΡΑΒΟΛΗΣ ΕΦΑΠΤΟΜΕΝΗ ΚΑΙ ΚΑΘΕΤΟΣ ΤΗΣ ΠΑΡΑΒΟΛΗΣ ΙΔΙΟΤΗΤΑ ΤΗΣ ΕΣΤΙΑΣ ΤΗΣ ΠΑΡΑΒΟΛΗΣ ΑΣΚΗΣΕΙΣ ΚΕΦΑΛΑΙΟ VΙ ΜΕΛΕΤΗ ΤΗΣ ΕΞΙΣΩΣΗΣ Β ΒΑΘΜΟΥ

9 6. ΓΕΝΙΚΑ ΑΝΑΛΛΟΙΩΤΟΙ ΤΩΝ ΚΑΜΠΥΛΩΝ Β ΒΑΘΜΟΥ ΣΥΝΘΗΚΗ ΓΙΑ ΝΑ ΕΧΕΙ Η ΚΑΜΠΥΛΗ ΚΕΝΤΡΟ Η ΚΑΜΠΥΛΗ ΔΕΝ ΕΧΕΙ ΚΕΝΤΡΟ ΑΣΚΗΣΕΙΣ ΚΕΦΑΛΑΙΟ VII ΠΟΛΙΚΕΣ ΣΥΝΤΕΤΑΓΜΕΝΕΣ ΓΕΝΙΚΑ ΟΙ ΕΞΙΣΩΣΕΙΣ ΤΗΣ ΕΥΘΕΙΑΣ ΤΗΣ ΠΕΡΙΦΕΡΕΙΑΣ ΚΑΙ ΤΩΝ ΚΩΝΙΚΩΝ ΤΟΜΩΝ ΔΙΑΦΟΡΕΣ ΜΟΡΦΕΣ ΤΩΝ ΕΞΙΣΩΣΕΩΝ ΜΙΑΣ ΚΑΜΠΥΛΗΣ ΣΕ ΠΟΛΙΚΕΣ ΣΥΝΤΕΤΑΓΜΕΝΕΣ ΓΡΑΦΙΚΗ ΠΑΡΑΣΤΑΣΗ ΚΑΜΠΥΛΩΝ ΣΕ ΠΟΛΙΚΕΣ ΣΥΝΤΕΤΑΓΜΕΝΕΣ ΑΣΚΗΣΕΙΣ ΚΕΦΑΛΑΙΟ VIII ΕΠΙΦΑΝΕΙΕΣ ΓΕΝΙΚΑ ΚΩΝΙΚΕΣ ΕΠΙΦΑΝΕΙΕΣ ΚΥΛΙΝΔΡΙΚΕΣ ΕΠΙΦΑΝΕΙΕΣ ΕΠΙΦΑΝΕΙΕΣ ΕΚ ΠΕΡΙΣΤΡΟΦΗΣ ΑΛΓΕΒΡΙΚΕΣ ΕΠΙΦΑΝΕΙΕΣ ΕΠΙΦΑΝΕΙΕΣ Β ΒΑΘΜΟΥ ΑΣΚΗΣΕΙΣ ΚΕΦΑΛΑΙΟ ΙΧ... 4 ΣΤΟΙΧΕΙΑ ΤΗΣ ΚΛΑΣΙΚΗΣ ΔΙΑΦΟΡΙΚΗΣ ΓΕΩΜΕΤΡΙΑΣ ΓΕΝΙΚΑ Η ΕΝΝΟΙΑ ΤΗΣ ΚΑΜΠΥΛΗΣ ΟΡΙΣΜΟΣ ΤΗΣ ΚΑΜΠΥΛΗΣ ΠΕΠΛΕΓΜΕΝΕΣ ΠΑΡΑΣΤΑΣΕΙΣ ΚΑΜΠΥΛΩΝ ΜΗΚΟΣ ΤΟΞΟΥ ΚΑΜΠΥΛΗΣ ΕΦΑΠΤΟΜΕΝΗ ΚΑΙ ΚΑΘΕΤΟ ΕΠΙΠΕΔΟ ΜΙΑΣ ΚΑΜΠΥΛΗΣ ΚΑΜΠΥΛΟΤΗΤΑ, ΠΡΩΤΗ ΚΑΘΕΤΟΣ ΚΑΙ ΕΓΓΥΤΑΤΟ ΕΠΙΠΕΔΟ ΜΙΑΣ ΚΑΜΠΥΛΗΣ ΔΕΥΤΕΡΗ ΚΑΘΕΤΟΣ ΚΑΙ ΣΥΝΟΔΕΥΟΝ ΤΡΙΕΔΡΟ ΣΤΡΕΨΗ ΚΑΙ ΤΥΠΟΙ ΤΩΝ SERRET FRENET ΤΥΠΟΙ ΥΠΟΛΟΓΙΣΜΟΥ ΚΑΜΠΥΛΟΤΗΤΑΣ ΚΑΙ ΣΤΡΕΨΗΣ ΑΣΚΗΣΕΙΣ ΠΑΡΑΡΤΗΜΑ Α ΘΕΩΡΗΤΙΚΕΣ ΒΑΣΕΙΣ ΚΑΙ ΑΞΙΩΜΑΤΑ ΤΗΣ ΕΥΚΛΕΙΔΕΙΑΣ ΓΕΩΜΕΤΡΙΑΣ Ι ΑΞΙΩΜΑΤΑ ΘΕΣΗΣ ΙΙ ΑΞΙΩΜΑΤΑ ΔΙΑΤΑΞΗΣ ΙΙΙ ΑΞΙΩΜΑΤΑ ΤΗΣ ΜΕΤΑΤΟΠΙΣΗΣ IV ΑΞΙΩΜΑΤΑ ΤΗΣ ΣΥΝΕΧΕΙΑΣ V ΑΞΙΩΜΑ ΤΩΝ ΠΑΡΑΛΛΗΛΩΝ ΠΑΡΑΡΤΗΜΑ B ΚΑΤ ΕΚΔΟΧΗ ΚΑΙ ΦΑΝΤΑΣΤΙΚΑ ΣΤΟΙΧΕΙΑ V

10 ΠΡΟΒΟΛΙΚΕΣ ΣΥΝΤΕΤΑΓΜΕΝΕΣ B. ΚΑΤ ΕΚΔΟΧΗΝ ΣΗΜΕΙΑ B. ΠΡΟΒΟΛΙΚΕΣ ΣΥΝΤΕΤΑΓΜΕΝΕΣ B.3 ΦΑΝΤΑΣΤΙΚΑ ΣΗΜΕΙΑ ΤΟΥ ΧΩΡΟΥ ΛΥΣΕΙΣ ΤΩΝ ΑΣΚΗΣΕΩΝ ΚΕΦΑΛΑΙΟΥ I ΛΥΣΕΙΣ ΤΩΝ ΑΣΚΗΣΕΩΝ ΚΕΦΑΛΑΙΟΥ II ΛΥΣΕΙΣ ΤΩΝ ΑΣΚΗΣΕΩΝ ΚΕΦΑΛΑΙΟΥ III ΛΥΣΕΙΣ ΤΩΝ ΑΣΚΗΣΕΩΝ ΚΕΦΑΛΑΙΟΥ IV ΛΥΣΕΙΣ ΤΩΝ ΑΣΚΗΣΕΩΝ ΚΕΦΑΛΑΙΟΥ V ΛΥΣΕΙΣ ΤΩΝ ΑΣΚΗΣΕΩΝ ΚΕΦΑΛΑΙΟΥ VI ΛΥΣΕΙΣ ΤΩΝ ΑΣΚΗΣΕΩΝ ΚΕΦΑΛΑΙΟΥ VII ΛΥΣΕΙΣ ΤΩΝ ΑΣΚΗΣΕΩΝ ΚΕΦΑΛΑΙΟΥ VIII ΛΥΣΕΙΣ ΤΩΝ ΑΣΚΗΣΕΩΝ ΚΕΦΑΛΑΙΟΥ IX ΓΕΝΙΚΕΣ ΑΣΚΗΣΕΙΣ ΛΥΣΕΙΣ ΤΩΝ ΓΕΝΙΚΩΝ ΑΣΚΗΣΕΩΝ ΕΥΡΕΤΗΡΙΟ ΒΙΒΛΙΟΓΡΑΦΙΑ ΓΡΑΜΜΙΚΗΣ ΑΛΓΕΒΡΑΣ ΒΙΒΛΙΟΓΡΑΦΙΑ ΑΝΑΛΥΤΙΚΗΣ ΓΕΩΜΕΤΡΙΑΣ... 54

11 Α ΜΕΡΟΣ ΓΡΑΜΜΙΚΗ ΑΛΓΕΒΡΑ

12

13 ΕΙΣΑΓΩΓΗ Στα Μαθηματικά και στις εφαρμογές τους, πολύ συχνά χρειάζεται κανείς να ασχοληθεί με συγκεκριμένα σύνολα, στα στοιχεία των οποίων έχουν ορισθεί κάποιες πράξεις, που ονομάζονται γραμμικές πράξεις. Π.χ στην Μηχανική μπορούμε να προσθέσουμε δυο δυνάμεις F,F, που εφαρμόζονται σ ένα σημείο, δηλαδή να αντικαταστήσουμε τις δυνάμεις αυτές από μια άλλη δύναμη που εφαρμόζεται στο ίδιο σημείο και να γράψουμε F= F+ F. Μια δύναμη F μπορεί να πολλαπλασιαστεί με έναν αριθμό λ και να γράψουμε λf. Το τελευταίο σύμβολο σημαίνει μια δύναμη αυξημένη κατά λ σε σχέση με την F και κατά την διεύθυνση της εάν λ>0 ή κατά την αντίθετη διεύθυνση εάν λ<0. Στην Μηχανική επίσης θεωρούμε την σύνθεση των ταχυτήτων και τον πολλαπλασιασμό μιας ταχύτητας με έναν αριθμό, όπως επίσης την σύνθεση των επιταχύνσεων και τον πολλαπλασιασμό μιας επιτάχυνσης με έναν αριθμό. Οι δυνάμεις, οι ταχύτητες και οι επιταχύνσεις είναι διαφορετικά φυσικά μεγέθη, αλλά από γεωμετρικής πλευράς έχουν την ίδια συμπεριφορά ως προς τις (γραμμικές) πράξεις, που ορίζονται σ αυτά. Αυτός είναι ο λόγος που στην Μηχανική έχουμε έναν γενικό ενοποιημένο τρόπο περιγραφής αυτών των μεγεθών με την μορφή προσανατολισμένων ευθυγράμμων τμημάτων. Έτσι τα μεγέθη αυτά αντιμετωπίζονται από τους γενικούς κανόνες της πρόσθεσης και του βαθμωτού πολλαπλασιασμού των γεωμετρικών διανυσμάτων. Όμως αυτή η γενίκευση προχωρά ακόμα παραπέρα. Ας θεωρήσουμε, για παράδειγμα, το σύνολο όλων των πραγματικών συνεχών συναρτήσεων, ή των περιοδικών συναρτήσεων με συγκεκριμένη περίοδο ή το σύνολο όλων των αλγεβρικών πολυωνύμων. Στα παραπάνω σύνολα μπορούμε να ορίσουμε γραμμικές πράξεις, όπως είναι π.χ. το άθροισμα δυο συναρτήσεων και ο πολλαπλασιασμός ενός αριθμού με μια συνάρτηση, κάτι που συνήθως συμβαίνει στην Ανάλυση. Τα αντικείμενα με τα οποία έχουμε να κάνουμε τώρα, δεν είναι όπως οι δυνάμεις, οι ταχύτητες ή οι επιταχύνσεις ή τα (γεωμετρικά) διανύσματα. Επίσης οι (γραμμικές) πράξεις που εκτελούμε σ αυτά διαφέρουν από τις γραμμικές πράξεις που εκτελούμε στα διανυσματικά φυσικά μεγέθη της Μηχανικής. Π.χ. Για να προσθέσουμε δυο δυνάμεις εφαρμόζουμε τον κανόνα του παραλληλογράμμου, ενώ η πρόσθεση δυο συναρτήσεων ανάγεται στην πρόσθεση δυο αριθμών. Όμως υπάρχει κάτι κοινό στα παραπάνω σύνολα, που μας επιτρέπει να μελετήσουμε τις γραμμικές πράξεις σε αφηρημένο επίπεδο, ανεξάρτητα από την φύση των στοιχείων αυτών των συνόλων. Πρώτα απ όλα παρατηρούμε ότι σε όλα τα παραδείγματά μας οι πράξεις που ορίστηκαν είναι κλειστές. Με την έκφραση κλειστή πράξη εννοούμε ότι το αποτέλεσμα της πράξεως δίνει ένα στοιχείο που ανήκει στο ίδιο σύνολο. Συγκεκριμένα προσθέτοντας διανύσματα ή πολλαπλασιάζοντας ένα διάνυσμα με έναν αριθμό προκύπτει πάλι διάνυσμα. Το άθροισμα δυο συνεχών συναρτήσεων είναι συνεχής συνάρτηση και το αποτέλεσμα του πολλαπλασιασμού μιας συνεχούς συνάρτησης με έναν αριθμό είναι

14 συνεχής συνάρτηση. Το ίδιο συμβαίνει και με το σύνολο των περιοδικών συναρτήσεων και των αλγεβρικών πολυωνύμων. Οι γραμμικές πράξεις που ορίζονται σε διάφορα σύνολα, αν και είναι εντελώς διαφορετικές μεταξύ τους, (η πρόσθεση δυο γεωμετρικών διανυσμάτων είναι μια «διαδικασία» εντελώς διαφορετική και ξένη με την πρόσθεση δυο συναρτήσεων), έχουν κοινές ιδιότητες. Η μελέτη συνόλων, στα οποία έχουν ορισθεί συγκεκριμένες γραμμικές πράξεις, οδηγεί στην έννοια του γραμμικού χώρου ή όπως συνηθέστερα λέγεται του διανυσματικού χώρου. Η θεωρία των διανυσματικών χώρων έχει ευρύ πεδίο εφαρμογών όχι μόνο στα μαθηματικά αλλά και σε όλες τις θετικές επιστήμες. Τους διανυσματικούς χώρους τους διακρίνουμε σε δυο μεγάλες κατηγορίες: α) Στους διανυσματικούς χώρους πεπερασμένης διάστασης. Παραδείγματα τέτοιων χώρων είναι π.χ. η ευθεία, η οποία είναι διανυσματικός χώρος μιας διαστάσεως, το επίπεδο, το οποίο είναι διανυσματικός χώρος δυο διαστάσεων, ο χώρος, ο οποίος είναι διανυσματικός χώρος τριών διαστάσεων, το σύνολο των τετραγωνικών πινάκων τύπου n n είναι διανυσματικός χώρος n διαστάσεων, κ.α. Τους χώρους των πεπερασμένων διαστάσεων τους μελετά η Γραμμική Άλγεβρα. β) Στους διανυσματικούς χώρους άπειρης διάστασης. Παραδείγματα τέτοιων χώρων είναι τα σύνολα των συναρτήσεων, οι οποίες έχουν κάποιες ιδιότητες (να είναι συνεχείς ή παραγωγίσιμες ή τετραγωνικά ολοκληρώσιμες κ.α.). Οι χώροι αυτοί ονομάζονται συναρτησιακοί χώροι, και η μελέτη τους είναι αντικείμενο της Συναρτησιακής Ανάλυσης. Κλασικό παράδειγμα διανυσματικού χώρου πεπερασμένης διαστάσεως είναι ο γνωστός τριδιάστατος χώρος, που αποτελείται από τα γεωμετρικά (ελεύθερα) διανύσματα. Ο χώρος αυτός περιέχει άπειρους σε πλήθος διανυσματικούς χώρους μιας και δυο διαστάσεων, που ονομάζονται υπόχωροι του αρχικού τριδιάστατου χώρου. Κάθε υπόχωρος μιας διάστασης αποτελείται από διανύσματα που βρίσκονται πάνω σε μια ευθεία και κάθε υπόχωρος δυο διαστάσεων αποτελείται από διανύσματα που βρίσκονται πάνω σ' ένα επίπεδο Έτσι για διανυσματικούς χώρους μιας, δυο και τριών διαστάσεων έχουμε γεωμετρικά πρότυπα, (μοντέλα), που αντιστοιχούν στα γνωστά μας διανύσματα, που μπορούμε να τα δούμε σαν προσανατολισμένα ευθύγραμμα τμήματα. Όταν όμως περάσουμε σε διανυσματικούς χώρους διαστάσεων μεγαλύτερων του 3, τότε η γεωμετρική εικόνα δεν υπάρχει, αλλά η θεωρία αυτών των χώρων διατηρεί τον γεωμετρικό τους χαρακτήρα. Οι βασικές έννοιες σε αυτούς τους χώρους προέρχονται από τις αντίστοιχες γεωμετρικές έννοιες του τριδιάστατου διανυσματικού χώρου γενικεύοντάς τες κατάλληλα. Αν και ο κύριος σκοπός της Γραμμικής Άλγεβρας είναι η μελέτη των διανυσματικών χώρων, είμαστε υποχρεωμένοι να ασχοληθούμε στην αρχή με την έννοια της αλγεβρικής δομής και συγκεκριμένα με τις δομές της ομάδας, του δακτυλίου και του σώματος.

15 ΚΕΦΑΛΑΙΟ Ι ΕΙΣΑΓΩΓΗ ΣΤΙΣ ΑΛΓΕΒΡΙΚΕΣ ΔΟΜΕΣ. ΟΡΙΣΜΟΣ ΤΩΝ ΠΡΑΞΕΩΝ Διακρίνουμε τα εξής είδη πράξεων. Εσωτερική πράξη ή εσωτερικός νόμος συνθέσεως: Έστω ένα σύνολο Α (. Κάθε απεικόνιση της μορφής: f: A A A f :( αβ, ) f( αβ, ) =γ με α, β, γ Α που σε δυο στοιχεία του Α, αντιστοιχεί ένα τρίτο στοιχείο του Α, ονομάζεται εσωτερική πράξη ή εσωτερικός νόμος συνθέσεως στο σύνολο Α.. Εξωτερική πράξη ή εξωτερικός νόμος συνθέσεως: Υπάρχουν δυο είδη εξωτερικών πράξεων: α) Εξωτερική πράξη πρώτου είδους: Έστω δυο σύνολα Α,Β. Κάθε απεικόνιση της μορφής: f:b A A f:( αβ, ) f( αβ, ) =γ μεα Βκαιβ, γ Α ονομάζεται εξωτερική πράξη πρώτου είδους από το σύνολο Β στο σύνολο Α. β) Εξωτερική πράξη δευτέρου είδους: Έστω δυο σύνολα A,B. Κάθε απεικόνιση της μορφής: f:a A B f:( αβ, ) f( αβ, ) =γμεα, β Ακαιγ Β ονομάζεται εξωτερική πράξη δευτέρου είδους στο σύνολο Α. Παράδειγμα : Στο σύνολο R των πραγματικών αριθμών, οι αντιστοιχίες: + : R R R + :( αβ,) α+β : R R R :(,) αβ α β δηλαδή η πρόσθεση και ο πολλαπλασιασμός των πραγματικών αριθμών, είναι εσωτερικές πράξεις, (ή εσωτερικοί νόμοι συνθέσεως). ( Στα Μαθηματικά πάντα θεωρούμε ότι το σύνολο με το οποίο θα ασχοληθούμε είναι διάφορο του κενού για τον εξής απλό λόγο: Όταν το σύνολο είναι το κενό τότε μπορούμε να αποδώσουμε στο σύνολο οποιαδήποτε ιδιότητα, π.χ. «τα στοιχεία του είναι κόκκινα», χωρίς να μπορούμε να αποδείξουμε την ορθότητα της ή όχι διότι δεν υπάρχει στοιχείο που να μπορούμε να αποδείξουμε ότι είναι κόκκινο ή π.χ. μπλέ.

16 ΚΕΦΑΛΑΙΟ Ι Παράδειγμα : Αν V είναι το σύνολο των διανυσμάτων των τριών διαστάσεων, δηλαδή V = { v / v = xi + yj + zk, x, y, z R} τότε το εξωτερικό γινόμενο: i j k v u= x y z = i( yz yz ) + j( zx zx ) + k( xy yx ) x y z είναι μια εσωτερική πράξη στο V. Παράδειγμα 3: Θεωρούμε ένα σύνολο Χ και το δυναμοσύνολο του Ρ(Χ), δηλαδή το σύνολο των υποσυνόλων του Χ. Στο σύνολο Ρ(Χ) η ένωση συνόλων : (Α,Β) Ρ(Χ) Ρ(Χ) Α Β Ρ(Χ) και η τομή συνόλων είναι πράξεις εσωτερικής συνθέσεως. : (Α,Β) Ρ(Χ) Ρ(Χ) Α Β Ρ(Χ) Παράδειγμα 4: Στο σύνολο L A ={f / f: A A} των συναρτήσεων με πεδίο ορισμού και πεδίο τιμών το σύνολο Α, η σύνθεση των συναρτήσεων είναι πράξη εσωτερικής συνθέσεως. (f,g) L A L A f g L A Παράδειγμα 5: Αν V είναι το σύνολο των διανυσμάτων των τριών διαστάσεων και R το σύνολο των πραγματικών αριθμών, τότε η αντιστοιχία: :R V V :( α,v) α v=α xi +α yj+αzk είναι μια εξωτερική πράξη πρώτου είδους από το σύνολο R στο σύνολο V και ονομάζεται βαθμωτός πολλαπλασιασμός. Παράδειγμα 6: Στο σύνολο V των διανυσμάτων των τριών διαστάσεων, η αντιστοιχία: fv : V R f:( v, v) f( v, v) = xx + yy + zz με v = x i + y j + z k και v = x i + y j + z k είναι μια εξωτερική πράξη δευτέρου είδους στο σύνολο V. Η πράξη αυτή είναι γνωστή ως εσωτερικό γινόμενο και είναι ειδική περίπτωση της έννοιας του εσωτερικού γινομένου, που θα δοθεί στην παράγραφο.0 στο κεφάλαιο των διανυσματικών χώρων. - -

17 ΕΙΣΑΓΩΓΗ ΣΤΙΣ ΑΛΓΕΒΡΙΚΕΣ ΔΟΜΕΣ. ΑΛΓΕΒΡΙΚΗ ΔΟΜΗ Ορισμός : Ένα σύνολο Α εφοδιασμένο με ένα πεπερασμένο πλήθος εσωτερικών πράξεων, (ή και εξωτερικών με την χρήση ενός δεύτερου συνόλου Β), με ορισμένες ιδιότητες, ονομάζεται αλγεβρική δομή, (algebraic structure). Η πιο απλή αλγεβρική δομή, είναι εκείνη που περιέχει μία μόνο εσωτερική πράξη. Τέτοια δομή είναι η δομή της ημιομάδας..3 ΗΜΙΟΜΑΔΑ ΜΟΝΟΕΙΔΕΣ Ορισμός : Ένα σύνολο G, έχει την δομή ημιομάδας, (semigroup), όταν είναι εφοδιασμένο με μια εσωτερική πράξη που θα την συμβολίζουμε με και που ικανοποιεί την προσεταιριστική ιδιότητα: [ α β γ = α β γ ] ( α, β, γ G) ( ) ( ) Το ζεύγος (G, ) ονομάζεται ημιομάδα. Η χρησιμότητα της προσεταιριστικής ιδιότητας βρίσκεται στο γεγονός ότι από όπου και αν αρχίσουμε τις πράξεις, είτε από τα αριστερά, είτε από τα δεξιά, το αποτέλεσμα είναι το ίδιο. Ορισμός : Μια ημιομάδα ονομάζεται μονοειδές, (monoid), εάν το G περιέχει ένα στοιχείο e τέτοιο ώστε: ( α G)[α e=e α=α] Το στοιχείο e ονομάζεται ουδέτερο στοιχείο, (identity element). Παράδειγμα : Οι φυσικοί αριθμοί Ν με εσωτερική πράξη την πρόσθεση, (ή τον πολλαπλασιασμό), αποτελούν ημιομάδα, διότι η πρόσθεση, (και ο πολλαπλασιασμός), ικανοποιεί την προσεταιριστική ιδιότητα. Επίσης η ημιομάδα αυτή αποτελεί μονοειδές με ουδέτερο στοιχείο το 0 ως προς την πρόσθεση, (και το ως προς τον πολλαπλασιασμό). Παράδειγμα : Το σύνολο V των διανυσμάτων των τριών διαστάσεων με εσωτερική πράξη το εξωτερικό γινόμενο δεν αποτελεί ημιομάδα διότι δεν ισχύει η προσεταιριστική ιδιότητα. Πράγματι είναι γνωστό ότι: v ( u w ) = u ( v w ) w ( v u ) και ( v u ) w = u ( v w ) v ( u w ) εκ των οποίων έχουμε ότι: v ( u w) ( v u) w - 3 -

18 ΚΕΦΑΛΑΙΟ Ι.4 ΟΜΑΔΑ Ορισμός : Ονομάζουμε ομάδα, (group), ένα ζεύγος (G, ) με G και μια εσωτερική πράξη στο G, που έχει τις εξής ιδιότητες:. ( α, β, γ G) [( α β) γ = α ( β γ )] Προσεταιριστική ιδιότητα. (e G)( α G) [ α e= e α=α ] Ύπαρξη ουδετέρου στοιχείου 3. ( G)( G) [ e] α α α α=α α= Ύπαρξη συμμετρικού στοιχείου Ορισμός : Αν η εσωτερική πράξη έχει επί πλέον την ιδιότητα: 4. ( α, β G) [ α β = β α ] Αντιμεταθετική ιδιότητα τότε η ομάδα (G,*) λέγεται αντιμεταθετική ή Αβελιανή. Παρατήρηση : Αντί για την έκφραση το ζεύγος (G, ) αποτελεί ομάδα χρησιμοποιείται συχνά η έκφραση το σύνολο G είναι ομάδα ως προς την πράξη. Αν η εσωτερική πράξη έχει την μορφή της πρόσθεσης, τότε η ομάδα λέγεται προσθετική και το συμμετρικό στοιχείο αντίθετο, ενώ αν έχει την μορφή του πολλαπλασιασμού, η ομάδα λέγεται πολλαπλασιαστική και το συμμετρικό στοιχείο αντίστροφο. Θεώρημα : Το ουδέτερο στοιχείο e μιας ομάδας G είναι μοναδικό. Απόδειξη: Για κάθε α G θα ισχύει η σχέση: α + e = e + α = α ( ) Αν e ένα δεύτερο ουδέτερο στοιχείο της ομάδος, τότε αυτό θα ικανοποιεί την σχέση β + e = e + β = β β G () Επειδή οι σχέσεις () και () ισχύουν για κάθε α και β, θέτουμε α = e και β = e και έχουμε από τις οποίες προκύπτει ότι e = e. e + e = e + e = e και e + e = e + e = e Θεώρημα : Το συμμετρικό α κάθε στοιχείου α μιας ομάδας G είναι μοναδικό. Απόδειξη: Αν υπάρχει ένα δεύτερο συμμετρικό στοιχείο α του α τότε Με την βοήθεια των σχέσεων αυτών έχουμε α + α = α + α = e και α + α = α + α = e. α = α + e = α + (α + α ) = (α + α) + α = e + α = α

19 ΕΙΣΑΓΩΓΗ ΣΤΙΣ ΑΛΓΕΒΡΙΚΕΣ ΔΟΜΕΣ Θεώρημα 3: Αν α,β,γ στοιχεία μιας ομάδας G τότε α + β = α + γ β = γ. Απόδειξη: α + β = α + γ α + α + β = α + α + γ e + β = e + γ β = γ. Παράδειγμα : Τα σύνολα Ζ των ακεραίων, Q των ρητών, R των πραγματικών και C των μιγαδικών αριθμών, εύκολα αποδεικνύεται ότι αποτελούν αβελιανές ομάδες ως προς την πρόσθεση, δηλαδή εδώ έχουμε =+, ενώ οι φυσικοί αριθμοί Ν δεν αποτελούν ομάδα. Παράδειγμα : Το σύνολο των τετραγωνικών πινάκων ( n n με στοιχεία από την αβελιανή ομάδα C των μιγαδικών αριθμών αποτελεί αβελιανή ομάδα με εσωτερική πράξη την πρόσθεση των πινάκων. Το ουδέτερο στοιχείο εδώ είναι ο μηδενικός πίνακας: e= α α α α α α και για κάθε πίνακα: A= α α α ο αντίθετος του είναι ο πίνακας: n n n n nn α α α α α α A = α α α n n n n nn Παράδειγμα 3: Επίσης το σύνολο των τετραγωνικών πινάκων τύπου n n με στοιχεία από την αβελιανή ομάδα C των μιγαδικών αριθμών και ορίζουσα διάφορη του μηδενός αποτελεί ομάδα, με εσωτερική πράξη τον πολλαπλασιασμό των πινάκων. Κατ αρχήν το γινόμενο δυο πινάκων (3 Α τύπου n k και Β τύπου l m ορίζεται μόνο όταν k=l δηλαδή όταν ο αριθμός των στηλών του Α συμπίπτει με τον αριθμό των γραμμών του Β. Ο πίνακας Γ=A B είναι τότε τύπου n m, το δε στοιχείο γ ij, (δηλαδή το στοιχείο που βρίσκεται στη i-γραμμή και j-στήλη), δίνεται από την σχέση: γ = k α β ij ip pj p= ( Περί πινάκων βλέπε Κεφάλαιο ΙΙΙ (3 Βλέπε Κεφάλαιο ΙΙΙ παράγραφος

20 ΚΕΦΑΛΑΙΟ Ι η οποία προκύπτει από τον ορισμό του πολλαπλασιασμού μεταξύ των πινάκων. Στην περίπτωση των τετραγωνικών πινάκων n n, ο πολλαπλασιασμός ορίζεται πάντα και δίνει πάλι τετραγωνικό πίνακα τύπου n n. Για να αποδείξουμε ότι οι τετραγωνικοί πίνακες αποτελούν ομάδα, αρκεί να αποδείξουμε τις τρεις γνωστές ιδιότητες:. Προσεταιριστική ιδιότητα: (Α Β) Γ=A (B Γ) () Θέτουμε Δ=A B και E=B Γ και έχουμε για απόδειξη την Δ Γ=A E δηλαδή (Δ Γ) ij =(A E) ij αλλά: και επομένως Επίσης και επομένως n ( Δ Γ ) = δ γ και ij ik kj k= n n ij il lk kj k= l= δ = n α β ik il lk l= ( Δ Γ ) = α β γ () n (A E) = α e και ij il lj l= e n n n n n = β γ lj lk kj k= (3) (A E) = α β γ = α β γ ij il lk kj il lk kj l= k= k= l= Από τις σχέσεις () και (3) έχουμε την σχέση ().. Προφανώς το ουδέτερο στοιχείο είναι ο ταυτοτικός πίνακας: I= Για κάθε πίνακα Α με deta 0, ορίζεται ο αντίστροφος Α - ώστε: A A - =A - A=I Παρατήρηση : Η αντιμεταθετική ιδιότητα Α Β=Β Α στην ομάδα των πινάκων δεν ισχύει διότι n ( Α Β ) = α β και ij ik kj k= n ( Β Α ) = β α ( Α Β) (B A) ij ik kj ij ij k= Παράδειγμα 4: Το σύνολο των περιστροφών στο επίπεδο, αποτελεί ομάδα με εσωτερική πράξη την σύνθεση δυο περιστροφών. Είναι γνωστό, (βλέπε Β Μέρος παρ..5), ότι μια περιστροφή κατά γωνία φ γύρω από την αρχή των αξόνων ενός καρτεσιανού συστήματος αναφοράς XOY, δίνεται από τον τετραγωνικό πίνακα R φ τύπου : cosϕ sinϕ R ϕ = sinϕ cosϕ Η σύνθεση δυο περιστροφών R φ και R θ παριστάνει μια περιστροφή R ω η οποία προκύπτει

21 ΕΙΣΑΓΩΓΗ ΣΤΙΣ ΑΛΓΕΒΡΙΚΕΣ ΔΟΜΕΣ από το γινόμενο των αντιστοίχων πινάκων: cosϕ sinϕ cosθ sin θ Rω = Rϕ Rθ = sinϕ cosϕ sin θ cosθ = cosϕcos θ sinϕsin θ cosϕsin θ sinϕcos θ = = sinϕcosθ+ cosϕsin θ sinϕsin θ+ cosϕcos θ cos( ϕ+θ) sin( ϕ+θ) cosω sin ω = = sin( ϕ+θ) cos( ϕ+θ) sin ω cosω με ω=φ+θ. Η σύνθεση R ω =R φ R θ των περιστροφών ως εσωτερική πράξη έχει την ιδιότητα της προσεταιριστικότητας, διότι: ( Rω Rϕ ) Rθ = Rω+ϕ Rθ = R( ω+ϕ ) +θ Rω ( Rϕ Rθ) = Rω Rϕ+θ= Rω+ ( ϕ+θ) άρα: ( Rω Rϕ) Rθ Rω ( Rϕ Rθ) = διότι (ω+φ)+θ=ω+(φ+θ) Το ουδέτερο στοιχείο είναι η μηδενική περιστροφή, δηλαδή: cos 0 sin 0 0 R 0 = = sin 0 cos 0 0 που συμπίπτει με τον ταυτοτικό, πίνακα, και για κάθε περιστροφή R φ υπάρχει η αντίθετη περιστροφή R φ με φ =-φ. Πράγματι: R ϕ R ϕ = R ϕ R ϕ = R ϕ ϕ = R 0 Επίσης ισχύει και η αντιμεταθετική ιδιότητα R ϕ R θ = R θ R. ϕ Άρα το σύνολο των περιστροφών στο επίπεδο αποτελεί αβελιανή ομάδα. Παράδειγμα 5: Θεωρούμε το σύνολο των διαφορίσιμων πραγματικών συναρτήσεων άπειρης τάξης: Σ(f)={f:R R / f=διαφορίσιμη άπειρης τάξης} Τότε μια συνάρτηση f(x) δέχεται το εξής ανάπτυγμα κατά Τaylor γύρω από τον πραγματικό αριθμό α: f( α) f( α) f ( α) 3 f(x +α ) = f( α ) + x+ x + x +...!! 3! ή αλλάζοντας το α με το x: f (x) f (x) f (x) 3 f(x +α ) = f(x) + α+ α + α +... =!! 3! - 7 -

22 ΚΕΦΑΛΑΙΟ Ι 3 α α α = f(x) + f (x) + f (x) + f (x) +... =!! 3! 3 3 d α d α d α d α dx = f(x) e f(x) 3 =! dx! dx 3! dx d α dx e f(x) = f(x +α ) Αν τώρα θεωρήσουμε το σύνολο: d α dx J = T α /Τ α = e, α R τότε το σύνολο J αποτελεί αβελιανή ομάδα με εσωτερική πράξη: d d d b ( α+ b) α dx dx dx α b = = = α+ b δηλαδή: T T e e e T Πράγματι: T (Τ T) = T (T ) = T = T = T T = (T T) T d 0. To ουδέτερο στοιχείο είναι το Τ dx 0 = e = διότι: T T = T = Τ = Τ Τ = Τ. α b c α b+ c α+ (b+ c) ( α+ b) + c α+ b c α b c 0 α 0+α α+ 0 α 0 α 3. Για κάθε στοιχείο Τ α το αντίστροφο του είναι το Τ -α, διότι: T α Τ -α =Τ α-α =Τ 0 = και T -α Τ α =Τ -α+α =Τ 0 = άρα T α Τ -α =T -α Τ α =Τ 0 = 4. Τα Τb = Tα+ b = Tb+α = Τb Τα η έκφραση Τ α = d dx e α ονομάζεται τελεστής μετατοπίσεως, (displacement operator). Στα προηγούμενα παραδείγματα το πλήθος των στοιχείων των αντιστοίχων ομάδων ήταν άπειρο. Υπάρχουν όμως και ομάδες με πεπερασμένο πλήθος στοιχείων. Ορισμός 3: Το πλήθος των στοιχείων μιας ομάδας ονομάζεται τάξη της ομάδας. Μια ομάδα που περιέχει πεπερασμένο πλήθος στοιχείων ονομάζεται πεπερασμένη ομάδα, ενώ αν περιέχει άπειρο πλήθος στοιχείων ονομάζεται άπειρη ομάδα. Μια άπειρη ομάδα ονομάζεται διακεκριμένη ή συνεχής ανάλογα εάν το πλήθος των στοιχείων είναι αριθμήσιμο (4 ή συνεχές. Παράδειγμα 6: Θεωρούμε το σύνολο G των παρακάτω έξι συναρτήσεων: (4 Ένα άπειρο σύνολο Α λέγεται αριθμήσιμο εάν μπορούμε να βρούμε μια απεικόνιση f μεταξύ των φυσικών αριθμών Ν και των στοιχείων του συνόλου Α, δηλαδή να έχουμε f: N A, f: n f(n) A. Συνήθως την εικόνα f(n) την συμβολίζουμε με α n και έτσι μπορούμε να πούμε ότι ένα αριθμήσιμο σύνολο αποτελείται από τα στοιχεία μιας ακολουθίας α n

23 ΕΙΣΑΓΩΓΗ ΣΤΙΣ ΑΛΓΕΒΡΙΚΕΣ ΔΟΜΕΣ f (x)=x, f (x)=-x, f 3 (x)= x x, f 4(x)= x, f 5(x)= x, f 6(x)= x x με κοινό πεδίου ορισμού το R-{0,} και με νόμο εσωτερικής συνθέσεως, την σύνθεση των συναρτήσεων. Το σύνολο αυτό αποτελεί ομάδα ως προς την σύνθεση των συναρτήσεων. Για να το διαπιστώσουμε αυτό υπολογίζουμε όλες τις δυνατές συνθέσεις των στοιχείων του G ανά δύο π.χ. η σύνθεση των συναρτήσεων f 5 και f 3 είναι η συνάρτηση f 5 f 3 η οποία ορίζεται ως εξής: (f 5 f 3 )(x) = f 5 (f 3 (x)) = x x f 5 = = = x = f (x) έτσι έχουμε f 5 f 3 = f. x x x Εργαζόμενοι με αυτό τον τρόπο κατασκευάζουμε τον πίνακα: f f f 3 f 4 f 5 f 6 f f f f 3 f 4 f 5 f 6 f f f f 5 f 6 f 3 f 4 f 3 f 3 f 6 f f 5 f 4 f f 4 f 4 f 3 f 6 f f f 3 f 5 f 5 f 4 f f 3 f 6 f f 6 f 6 f 3 f 4 f f f 5 Τα στοιχεία του πίνακα κατασκευάζονται από την σύνθεση f i f j όπου f i τα στοιχεία της πρώτης στήλης και f j τα στοιχεία της πρώτης γραμμής. Παρατηρώντας τον πίνακα αυτόν συμπεραίνουμε ότι: Α) Η πράξη της σύνθεσης είναι κλειστή. Και αυτό γιατί όλα τα αποτελέσματα της σύνθεσης των συναρτήσεων ανά δύο είναι επίσης συναρτήσεις του συνόλου G. Β) Η συνάρτηση f είναι το ουδέτερο στοιχείο της σύνθεσης. (Παρατηρήστε ότι τα στοιχεία της πρώτης γραμμής και στήλης του πίνακα είναι τα ίδια με τα αντίστοιχα της σκιασμένης γραμμής και στήλης). Γ) Για κάθε στοιχείο f i υπάρχει το αντίστοιχο συμμετρικό του. (Παρατηρήστε ότι το ουδέτερο στοιχείο υπάρχει σε όλες τις γραμμές του πίνακα). Για να συμπληρωθεί η απόδειξη πρέπει να αποδειχθεί και η προσεταιριστική ιδιότητα της πράξης. Η ιδιότητα αυτή δεν προκύπτει άμεσα από τον πίνακα αλλά πρέπει να αποδείξουμε για κάθε τριάδα (i,j,k ) με i=,...,6, j=,...,6 και k=,...,6 ότι ισχύει η σχέση ( ) ( i ) f f f = f f f. i j k j k - 9 -

24 ΚΕΦΑΛΑΙΟ Ι.5 Η ΟΜΑΔΑ ΤΩΝ ΜΕΤΑΣΧΗΜΑΤΙΣΜΩΝ (5 Από ιστορικής πλευράς η έννοια της δομής της ομάδας πρωτοεμφανίστηκε στις αρχές του 9 ου αιώνα από την μελέτη του συνόλου των μετασχηματισμών που μπορούμε να ορίσουμε σ ένα σύνολο. Επειδή ένα τέτοιο σύνολο μετασχηματισμών παρουσιάζει μεγάλο ενδιαφέρον τόσο από μαθηματικής πλευράς όσο και από φυσικής πλευράς, είναι ωφέλιμο, αν όχι απαραίτητο, να αναφερθούμε σ αυτό. Ορισμός : Μια αμφιμονοσήμαντη, (-), και επί αντιστοιχία f: S S με πεδίο ορισμού και τιμών το σύνολο S λέγεται μετασχηματισμός του S. Παρατήρηση : Το σύνολο των μετασχηματισμών του S συμβολίζεται με M(S). Η ταυτοτική απεικόνιση ( ) I:x S S x = x S είναι μετασχηματισμός του S, δηλαδή Ι Μ(S). Εύκολα μπορεί κανείς να δείξει ότι το σύνολο M(S) αποτελεί ομάδα ως προς την σύνθεση των απεικονίσεων. Πρώτα παρατηρούμε ότι εάν εκτελέσουμε διαδοχικά δυο μετασχηματισμούς, το αποτέλεσμα είναι ένας νέος μετασχηματισμός. Έτσι η σύνθεση δυο οποιωνδήποτε μετασχηματισμών είναι πάλι ένας μετασχηματισμός και επομένως το σύνολο των μετασχηματισμών είναι κλειστό ως προς την σύνθεση των μετασχηματισμών. Μπορούμε να ορίσουμε το ταυτοτικό στοιχείο να είναι ο ταυτοτικός μετασχηματισμός, και προφανώς ανήκει στο σύνολο. Για κάθε μετασχηματισμό υπάρχει ο αντίστροφος του με την έννοια ότι ο αρχικός μετασχηματισμός και ο αντίστοφος του μας δίνει τον ταυτοτικό μετασχηματισμό. Τέλος η διαδοχική εφαρμογή των μετασχηματισμών συμμετρίας υπακούει την προσεταιριστική ιδιότητα. Ορισμός : Η ομάδα μετασχηματισμών του συνόλου S={,,, n}, n N *, λέγεται συμμετρική ομάδα n βαθμού και συμβολίζεται με S n. Τα στοιχεία της λέγονται μεταθέσεις n βαθμού. Παρατήρηση : α) Επειδή μια μετάθεση s S n είναι αμφιμονοσήμαντη συνάρτηση: s: {,,, n} {,,, n} οι τιμές της s()=, s()=,, s(n)=n είναι πάλι οι δείκτες,,, n με διαφορετική γενικά διάταξη β) Η μετάθεση s S n συμβολίζεται με 3 n s = 3 n () (5 Η παράγραφος αυτή μπορεί να παραληφθεί σε πρώτη ανάγνωση - 0 -

25 ΕΙΣΑΓΩΓΗ ΣΤΙΣ ΑΛΓΕΒΡΙΚΕΣ ΔΟΜΕΣ 3 4 π. χ. η μετάθεση s = είναι η συνάρτηση s: {,, 3, 4} {,, 3, 4} όπου 4 3 s()=, s()=4, s(3)=, s(4)=3. γ) Στον παραπάνω συμβολισμό () μπορούμε να αλλάξουμε τη διάταξη των στοιχείων της πάνω γραμμής, αρκεί να γράψουμε την εικόνα k =s(k) κάτω από το πρότυπο k, για κάθε k Έτσι s = = = = δ) Η σύνθεση s t των συναρτήσεων t, s S n συμβολίζεται με st και λέγεται γινόμενο των t, s. ε) Τα γινόμενα st και ts των μεταθέσεων s= και t= βρίσκονται ως εξής: t s st t s st t s st st = t s st t s st s t ts s t ts 3 3 s t ts ts= s t ts 4 4 s t ts στ) Τα παραπάνω στοιχεία t και s της S 5 δεν αντιμετατίθενται αφού ts st. Γενικά η συμμετρική ομάδα S n δεν είναι αντιμεταθετική. ζ) Το γινόμενο st δυο μεταθέσεων βρίσκεται πιο σύντομα ως εξής: Γράφουμε σαν πάνω γραμμή της s την κάτω γραμμή της t και το γινόμενο st έχει πάνω γραμμή εκείνη της t και κάτω γραμμή εκείνη, (τη νέα), της s. Έτσι στο προηγούμενο παράδειγμα: st= = = =

26 ΚΕΦΑΛΑΙΟ Ι η) Η αντίστροφη s - μιας μετάθεσης s S n προκύπτει από την s με αμοιβαία αλλαγή των θέσεων των γραμμών της. Έτσι εάν 3 n s = 3 n τότε 3 n s = 3 n π. χ. εάν s= τότε s - = = θ) Το πλήθος των στοιχείων της συμμετρικής ομάδας S n είναι ίσο με 3 (n-)n=n! Ορισμός 3: Μια μετάθεση της μορφής: x x x3 xk xk x x3 x4 xk x λέγεται κυκλική μετάθεση ή κύκλος μήκους k και συμβολίζεται με: (x, x, x 3,, x k ) Παρατήρηση : α) Είναι (5 4 3 )= = β) Τα στοιχεία ενός κύκλου μπορούν να εναλλαχθούν κυκλικά, δηλαδή: (x, x, x 3,, x k )=(x, x 3,, x k, x )=(x 3, x 4,, x k, x, x )= γ) Δεχόμαστε ότι κύκλος μήκους παριστάνει τη μονάδα της S n, ότι δηλαδή: ()=()= =(n)= Ορισμός 4: Ένας κύκλος μήκους λέγεται αντιμετάθεση ή μετάβαση. Παρατήρηση 3: α) Η μετάθεση = = ( 5) είναι αντιμετάθεση. β) Για κάθε αντιμετάθεση s έχουμε s - =s, αφού ( ) ( ) ( ) p q q p p q = = = q p = p q q p p q γ) Από την ισότητα (x x x 3 x k )=(x x k )(x x k- ) (x x ) η οποία αποδεικνύεται πολύ εύκολα, προκύπτει ότι: - -

27 ΕΙΣΑΓΩΓΗ ΣΤΙΣ ΑΛΓΕΒΡΙΚΕΣ ΔΟΜΕΣ «κύκλος μήκους k> αναλύεται σε γινόμενο k- αντιμεταθέσεων». δ) Η ανάλυση κύκλου σε γινόμενο αντιμεταθέσεων δεν είναι μοναδική, π. χ. (3)=(3)()=(4)(3)(43)() Θεώρημα : Κάθε μετάθεση s αναλύεται κατά μοναδικό τρόπο σε γινόμενο πεπερασμένου πλήθους κύκλων μήκους μεγαλύτερου του, οι οποίοι δεν έχουν ανά δυο κοινά στοιχεία. Παρατήρηση 4: Επειδή και κάθε κύκλος αναλύεται σε γινόμενο πεπερασμένου πλήθους αντιμεταθέσεων, κάθε μετάθεση αναλύεται σε γινόμενο πεπερασμένου πλήθους αντιμεταθέσεων. Η ανάλυση όμως αυτή δεν είναι μοναδική, π.χ. για την μετάθεση: έχουμε: s = s s s s s s s s s s 5 3 4, 6 8 6, 7 7, και άρα s=( 5 3 4)(6 8)(7)(9 0)=( 5 3 4)(6 8)(9 0) Ορισμός 5: Μια μετάθεση λέγεται άρτια, (ή περιττή), αν αναλύεται σε γινόμενο αρτίου, (ή περιττού), πλήθους αντιμεταθέσεων. Ισοδύναμα μπορούμε να πούμε ότι μια μετάθεση s είναι άρτια, (ή περιττή), εάν υπάρχει άρτιο, (ή περιττό), πλήθος ζευγών (i,j) για τα οποία ισχύει: i>j αλλά το i προηγείται του j στη μετάθεση s. Παράδειγμα : Να βρεθεί το πρόσημο της μετάθεσης s=(5463). ος τρόπος: Πρέπει να βρούμε το πλήθος των ζευγών (i,j) για τα οποία i>j και το I να προηγείται του j στη μετάθεση s. Υπάρχουν: 3 αριθμοί (5, 4, ) μεγαλύτεροι και πριν από το, αριθμοί (5, 4) μεγαλύτεροι και πριν από το, 3 αριθμοί (5, 4, 6) μεγαλύτεροι και πριν από το 3, αριθμοί (5) μεγαλύτεροι και πριν από το 4, 0 αριθμοί μεγαλύτεροι και πριν από το 5, 0 αριθμοί μεγαλύτεροι και πριν από το 6. Εφ οσον =9 η μετάθεση είναι περιττή. ος τρόπος:μετακινούμε το στην πρώτη θέση ως εξής: ( ) ( ) - 3 -

28 ΚΕΦΑΛΑΙΟ Ι Μετακινούμε το στην δεύτερη θέση ως εξής: ( ) ( ) Μετακινούμε το 3 στην τρίτη θέση ως εξής: ( ) ( ) Μετακινούμε το 4 στην τέταρτη θέση ως εξής: ( ) ( ) Παρατηρούμε ότι το 5 και το 6 είναι στις «σωστές» θέσεις και δεν προχωρούμε περισσότερο. Τώρα μετράμε το πλήθος των αριθμών που «προσπεράσαμε» κατά τις μετακινήσεις: 3++3+=9 και η μετάθεση είναι περιττή. Παρατήρηση 5: α) Η μονάδα είναι άρτια μετάθεση, αφού =(pq)(pq) και κάθε αντιμετάθεση είναι περιττή. β) Επειδή ένας κύκλος μήκους p> αναλύεται σε γινόμενο p- αντιμεταθέσεων, ένας κύκλος μήκους p είναι αρτία, (αντίστοιχα περιττή), μετάθεση όταν ο p είναι περιττός, (αντίστοιχα άρτιος). Ορισμός 6: Θεωρούμε μια μετάθεση s. Ονομάζουμε σημείο ή πρόσημο της μετάθεσης και θα το συμβολίζουμε με ε(s), το + ή το εάν η μετάθεση είναι άρτια ή περιττή. Συγκεκριμένα θα έχουμε:, αν ηs εναι ί άρτια ε (s) =, αν η s ε ί ναι περιττ ή Παρατήρηση 6: Επειδή η μονάδα, (ταυτοτική συνάρτηση), είναι άρτια μετάθεση και κάθε αντιμετάθεση (pq) είναι περιττή, έχουμε ε()=+, ε(pq)=-. Πρόταση : α) Εάν s=c c c p είναι μια ανάλυση της μετάθεσης s σε γινόμενο p αντιμεταθέσεων, τότε είναι: ε(s)=(-) p. β) ε(st)=ε(s)ε(t), ε(s - )=ε(s) για όλες τις μεταθέσεις s, t S n..6 ΥΠΟΟΜΑΔΑ Ορισμός : Αν (G, *) είναι μια ομάδα, τότε το ζεύγος (G, *) με G G λέγεται υποομάδα, (subgroup), της ομάδας (G, *), όταν είναι ομάδα με την ίδια εσωτερική πράξη, η οποία θα πρέπει φυσικά να είναι κλειστή στο G, δηλαδή: [ ] ( α, β G ) α β G - 4 -

29 ΕΙΣΑΓΩΓΗ ΣΤΙΣ ΑΛΓΕΒΡΙΚΕΣ ΔΟΜΕΣ Παρατήρηση : Γενικά ένα υποσύνολο Η Α μιας αλγεβρικής δομής Α είναι υποδομή όταν αποτελεί την ίδια δομή με τις ίδιες πράξεις σύνθεσης. Παράδειγμα : Το σύνολο Ζ των ακεραίων αριθμών, αποτελεί υποομάδα της ομάδας R των πραγματικών αριθμών, αν ως εσωτερική πράξη θεωρήσουμε την πρόσθεση..7 ΔΑΚΤΥΛΙΟΣ Ορισμός : Έστω ( G, ) μια αβελιανή ομάδα. Ορίζουμε τώρα μια δεύτερη εσωτερική πράξη, που την συμβολίζουμε με με τις εξής ιδιότητες: [ ] [ ] [ ] ( α, β, γ G) ( α β) γ = α ( β γ) προσεταιριστική ( α, β, γ G) α ( β γ ) = ( α β) ( α γ) επιμεριστική εξ αριστερών ( α, β, γ G) ( β γ) α = ( β α) ( γ α) επιμεριστική εκ δεξιών Η ομάδα ( G, ) με την δεύτερη εσωτερική πράξη, λέγεται δακτύλιος, (ring), και συμβολίζεται με την τριάδα ( G,, ). Παρατήρηση : Ένα σύνολο G δέχεται την δομή δακτυλίου, αν έχουν ορισθεί δυο εσωτερικές πράξεις με τις ιδιότητες: α) Η πρώτη πράξη ορίζει στο G την δομή της αβελιανής ομάδας. β) Η δεύτερη πράξη ορίζει στο G την δομή της ημιομάδας. γ) Η δεύτερη πράξη είναι επιμεριστική ως προς την πρώτη. Παράδειγμα : Το σύνολο R των πραγματικών αριθμών με εσωτερικές πράξεις την πρόσθεση και τον πολλαπλασιασμό, δέχεται την δομή δακτυλίου διότι: α) Το ζεύγος (R,+) είναι αβελιανή ομάδα. β) Το ζεύγος (R, ) είναι ημιομάδα. γ) Ισχύει: ( α,β,γ)[ α (β+γ)=α β+α γ ] και ( α,β,γ)[ (β+γ) α=β α+γ α ] Ορισμός : Αν σ ένα δακτύλιο ( G,, ) ισχύει: ( αβ, G) [ α β=β α] τότε ο δακτύλιος λέγεται αντιμεταθετικός

30 ΚΕΦΑΛΑΙΟ Ι Ορισμός 3: Ένας δακτύλιος ( G,, ) λέγεται δακτύλιος με μοναδιαίο στοιχείο, (ή με μονάδα), αν υπάρχει ένα στοιχείο, που ας το συμβολίσουμε με Ι με την ιδιότητα: ( α G)[ α Ι = Ι α = α] δηλαδή να υπάρχει ουδέτερο στοιχείο ως προς την δεύτερη εσωτερική πράξη. Παράδειγμα : Ο δακτύλιος (R,+, ) είναι αντιμεταθετικός με μοναδιαίο στοιχείο. Στα επόμενα με 0 θα συμβολίζουμε το ουδέτερο στοιχείο της πρώτης πράξης, (που συνήθως είναι η γνωστή πρόσθεση), και με το ουδέτερο στοιχείο της δεύτερης πράξης, (που συνήθως είναι ο γνωστός πολλαπλασιασμός). Ορισμός 4: Σ ένα δακτύλιο είναι δυνατόν να υπάρχουν στοιχεία α 0 και b 0, με την ιδιότητα α b =0. Τα στοιχεία του δακτυλίου με αυτή την ιδιότητα, λέγονται μηδενοδιαιρέτες, (divisors of zero). Ένας δακτύλιος χωρίς μηδενοδιαιρέτες, λέγεται ακέραια περιοχή, (integral domain). Παράδειγμα 3: Το σύνολο των τετραγωνικών πινάκων τύπου αποτελεί δακτύλιο με εσωτερικές πράξεις την πρόσθεση και τον πολλαπλασιασμό των πινάκων. Αν θεωρήσουμε τους πίνακες: A = 0 0 και B = 0 0 που είναι διάφοροι του μηδενικού πίνακα: O = 0 0 τότε το γινόμενο Α.Β είναι: 0 0 A B= 0 0 = = Άρα ο δακτύλιος των τετραγωνικών πινάκων τύπου δεν είναι ακέραια περιοχή..8 ΣΩΜΑ ΠΕΔΙΟ Στον δακτύλιο (R,+,.) μπορούμε να κάνουμε την εξής παρατήρηση: Οι πραγματικοί αριθμοί R αποτελούν ομάδα ως προς την πρόσθεση. Για να αποτελούν ομάδα και ως προς τον πολλαπλασιασμό, θα πρέπει να ισχύει η ιδιότητα του συμμετρικού στοιχείου, δηλαδή: α R α R α α=α α= ( )( )[ ] Αλλά αν σαν α θεωρήσουμε το 0, τότε δεν ισχύει η παραπάνω ιδιότητα γιατί δεν ορίζεται το αντίστροφο στοιχείο του μηδενός. Αν δεν λάβουμε υπ όψη μας το 0, τότε το σύνολο R-{0} δέχεται την δομή της ομάδας ως προς τον πολλαπλασιασμό. Έτσι φθάνουμε στον ορισμό του σώματος

31 ΕΙΣΑΓΩΓΗ ΣΤΙΣ ΑΛΓΕΒΡΙΚΕΣ ΔΟΜΕΣ Ορισμός : Σώμα ή πεδίο, (field), ονομάζεται ένας αντιμεταθετικός δακτύλιος ( G,, ) με μοναδιαίο στοιχείο, τέτοιος ώστε το σύνολο G-{e} να δέχεται την δομή ομάδας ως προς την δεύτερη πράξη. Παράδειγμα : Εκτός από το σύνολο R, και τα σύνολα Q των ρητών αριθμών και C των μιγαδικών αριθμών είναι σώματα, δηλαδή δέχονται την δομή σώματος. Σ ένα σώμα, π.χ. στο R, ορίζονται και οι τέσσερις γνωστές πράξεις (+), (.), (-), (:). Οι δυο πρώτες από τον ορισμό του σώματος, η τρίτη, (αφαίρεση), από την ύπαρξη για κάθε στοιχείο του αντιθέτου και η τέταρτη, (η διαίρεση), από την ύπαρξη για κάθε μη μηδενικό στοιχείο του αντιστρόφου. Έτσι σ ένα σώμα ( G,, ) πάντα έχουν μονοσήμαντη λύση οι εξισώσεις: α x=β α,β G, α x=β με α,β G και α 0. Στα επόμενα θα χρησιμοποιούμε τους εξής συμβολισμούς: ) ( G, ) για την αλγεβρική δομή της ομάδας G group=ομάδα ) ( R,, ) για την αλγεβρική δομή του δακτυλίου R ring=δακτύλιος 3) ( F,, ) για την αλγεβρική δομή του σώματος ή πεδίου F field=πεδίο Τελειώνουμε το κεφάλαιο αυτό με ένα διάγραμμα ροής, το οποίο περιλαμβάνει τις αλγεβρικές δομές που μελετήσαμε μέχρι τώρα. Ημιομάδα Μονοειδές Ομάδα Αβελιανή ομάδα Ακεραία περιοχή Δακτύλιος Mη Ακεραία περιοχή Δακτύλιος με μονάδα Αντιμεταθετικός δακτύλιος Σώμα - 7 -

32 ΚΕΦΑΛΑΙΟ Ι ΑΣΚΗΣΕΙΣ ) Να ελέγξτε εάν τα παρακάτω ζεύγη αποτελούν ομάδες: α) (G, ),όπου G =Ζ οι ακέραιοι αριθμοί και η πράξη της αφαιρέσεως, β) (G, ),όπου G ={,-} και η πράξη του πολλαπλασιασμού, γ) (G, ),όπου G =Q-{0} το σύνολο των μη μηδενικών ρητών αριθμών και η πράξη της διαιρέσεως, δ) (G, ),όπου G ={α+iβ / α,β Ζ} οι μιγαδικοί αριθμοί με πραγματικό και φανταστικό μέρος ακέραιους αριθμούς και η πράξη της προσθέσεως. (Απ. α) ναι, β) ναι, γ) όχι, δεν ισχύει η προσεταιριστική ιδιότητα, δ) ναι) ) Σε μια ομάδα (G, ) οι δυνάμεις ορίζονται ως εξής: α 0 =e, α n =α α n-, α -n =(α n ) -, όπου n N. και το α - σημαίνει το συμμετρικό στοιχείο του α. Να δείξετε ότι ισχύουν οι σχέσεις: α) α r α s =α r+s β) (α r ) s =α rs γ) (α r+s ) t =α rt+st. 3) Δείξτε ότι εάν (G, ) είναι μια αβελιανή ομάδα, τότε ισχύει: (α β) n =α n β n α,β G και n Z. 4) Έστω (G, ) μια ομάδα τέτοια ώστε (α β) =α β α,β G. Να δειχθεί ότι η ομάδα (G, ) είναι αβελιανή. 5) Εάν Η είναι ένα υποσύνολο μιας ομάδας (G, ), να δειχθεί ότι το Η είναι υποομάδα εάν και μόνο εάν α) το Η και β) α,β Η α β - Η. 6) Δείξτε ότι το σύνολο όλων των δυνάμεων ενός στοιχείου α μιας ομάδας (G, ) είναι υποομάδα. Η υποομάδα αυτή ονομάζεται κυκλική ομάδα που παράγεται από το στοιχείο α. 7) Δείξτε ότι σ ένα δακτύλιο (R,+, ) ισχύουν οι σχέσεις: α) α 0=0 α=0 β) α (-β)=(-α) β=-α β γ) (-α) (-β)=α β 8) Δείξτε ότι σ ένα δακτύλιο (R,+, ) με μονάδα ισχύουν οι σχέσεις: α) (-) α=-α, β) (-) (-)=. 9) Έστω ότι α =α α R. Να δειχθεί ότι ο δακτύλιος R είναι αντιμεταθετικός. (Ένας τέτοιος δακτύλιος ονομάζεται δακτύλιος Bool) 0) Έστω (R,+, ) ένας δακτύλιος με μονάδα. Κατασκευάζουμε το σύστημα: ( ˆR,, ) όπου ˆR =R, α β α+β+, α β α β+α+β. Να δείξετε ότι το ( ˆR,, ) είναι δακτύλιος. Να ορισθούν τα ουδέτερα στοιχεία ως προς τις νέες πράξεις

33 ΕΙΣΑΓΩΓΗ ΣΤΙΣ ΑΛΓΕΒΡΙΚΕΣ ΔΟΜΕΣ ) Να αποδειχθεί ότι το σύνολο F={α+β / α,β Q } είναι σώμα ως προς την πρόσθεση + και τον συνήθη πολλαπλασιασμό. ) Να δειχθεί ότι το σύνολο D={α+β / α,β Z } είναι ακέραια περιοχή αλλά όχι σώμα

34

35 ΚΕΦΑΛΑΙΟ ΙΙ ΔΙΑΝΥΣΜΑΤΙΚΟΙ ΧΩΡΟΙ. ΔΙΑΝΥΣΜΑΤΙΚΟΣ ΧΩΡΟΣ Θεωρούμε ένα σώμα (F,, ), (όπου με συμβολίζουμε την πρώτη εσωτερική πράξη του F και με την δεύτερη), και ένα σύνολο V, (τα στοιχεία του οποίου θα τα συμβολίζουμε με v), στο οποίο έχει ορισθεί μια εσωτερική πράξη, που την συμβολίζουμε με +, (συνήθως ονομάζεται διανυσματική πρόσθεση), και για την οποία το ζεύγος (V,+) είναι αβελιανή ομάδα. Επίσης θεωρούμε μια εξωτερική πράξη α είδους που την συμβολίζουμε με ( ): : F V V με τις ιδιότητες:. ( α F)( v,w V) α ( v+ w) = α v+ α w. ( α, β F)( v V) ( α β) v=α v+β v 3. ( α, β F)( v V) ( α β) v=α ( β v) 4. ( v V)[ v = v ] Η τετράδα ( VF,,,) + ονομάζεται διανυσματικός χώρος (6 επί του σώματος F, (vector space over the field F). Οι παραπάνω 4 σχέσεις παίρνουν μια πιο οικεία μορφή εάν χρησιμοποιήσουμε το σύμβολο + και για τον πρώτο νόμο εσωτερικής συνθέσεως του σώματος F αντί για το και την τελεία αντί για το σύμβολο, (συνήθως παραλείπουμε την τελεία). Έτσι οι 4 αυτές σχέσεις γράφονται:. ( α F)( v,w V) α ( v+ w) = α v+ α w. ( α, β F)( v V) ( α + β) v= α v+ β v 3. ( α, β F)( v V) ( αβ) v= α ( β v) v V v = v 4. ( )[ ] Θα πρέπει όμως από εδώ και πέρα να μην γίνεται σύγχυση σχετικά με το σύμβολο + όταν αυτό χρησιμοποιείται μεταξύ αριθμών α+β και μεταξύ διανυσμάτων v+ w (6 Τον διανυσματικό χώρο ( VF,,,). + θα τον συμβολίζουμε και με V[F] ή πιο απλά με V.

36 ΚΕΦΑΛΑΙΟ ΙΙ Στη Φυσική το σώμα F μπορεί να είναι το σώμα R των πραγματικών αριθμών ή το σώμα C των μιγαδικών αριθμών. Στην περίπτωση που F=R ο διανυσματικός χώρος V ονομάζεται πραγματικός χώρος, (real space), ενώ όταν F=C, ο διανυσματικός χώρος V ονομάζεται μιγαδικός χώρος, (complex space). Μια από τις αρχές της φυσικής, είναι η αρχή της επαλληλίας, (superposition principle). Η διαδικασία της επαλληλίας είναι ένα είδος προσθετικής διαδικασίας κατά την οποία διάφορες καταστάσεις ενός φυσικού συστήματος μπορούν κατά κάποιον τρόπο να προστεθούν και να δώσουν μια νέα κατάσταση ή αν μια κατάσταση την πολλαπλασιάσουμε με έναν αριθμό, να έχουμε μια νέα κατάσταση. Επομένως οι καταστάσεις πρέπει να συνδυαστούν με μαθηματικά μεγέθη που να μπορούν να προστεθούν και να δώσουν ένα νέο μέγεθος του ίδιου είδους, ή αν τα πολλαπλασιάσουμε με έναν αριθμό να δίνουν μαθηματικά μεγέθη του ίδιου είδους. Τέτοια μαθηματικά μεγέθη είναι τα διανύσματα. Η χρησιμοποίηση του διανυσματικού χώρου ως μαθηματική δομή για την φυσική, οφείλεται στην αρχή της επαλληλίας. Θεώρημα : Σ ένα διανυσματικό χώρο V επί του σώματος F ισχύουν οι σχέσεις:. ( α F) α 0= 0. ( v V) e v = 0 3. ( α F)( v V) α v = 0 α = eή v = 0 4. ( α F)( v V )[( α) v = α( v) = ( α v) ] όπου 0 το ουδέτερο στοιχείο του V ως προς την εσωτερική πράξη και e το ουδέτερο στοιχείο του F ως προς την πρώτη εσωτερική πράξη. Απόδειξη:. Από τον ορισμό του μηδενικού διανύσματος ως ουδέτερου στοιχείου ως προς την εσωτερική πράξη του V έχουμε 0+ 0 = 0. Πολλαπλασιάζουμε από αριστερά με α F: α 0+ 0 =α 0 α 0+α 0=α 0 ( ) Προσθέτοντας το ( α 0) που είναι το συμμετρικό του α 0 ως προς την εσωτερική πράξη του V, έχουμε: α 0+α 0 + α 0 =α 0+ α0 α 0+ α 0 + ( α 0) = 0 α 0+ 0= 0 α 0= 0 ( ) ( ) ( ) ( ). Επειδή το e είναι το ουδέτερο στοιχείο του F ως προς την πρώτη εσωτερική πράξη, θα έχουμε: e e= e (e e)v = ev ev + ev = ev Προσθέτοντας το e v, (συμμετρικό του e v ως προς την εσωτερική πράξη του V), και στα δυο μέλη, έχουμε: ( ev + ev ) + ( ev ) = ev + ( ev ) ev + ( ev ev ) = 0 e v+0=0 e v=0 - -

37 3. Έστω α v = 0 και α e. Τότε υπάρχει α - τέτοιο ώστε α α= Άρα v= v= ( α α) v=α ( α v) =α 0= 0 v= 0 αν α=e τότε προφανώς α v= e v= 0 ΔΙΑΝΥΣΜΑΤΙΚΟΙ ΧΩΡΟΙ 4. Έχουμε: 0= v + ( v) 0=α 0=α ( v+ ( v) ) =α v+α ( v) Προσθέτουμε και στα δυο μέλη το α v ( α v) + 0 = (( α v) + α v ) + α( v) α v = α( v) επίσης έχουμε: e =α α ( ) 0= e v =α α ( ( )) v=α v + α ( ) v Προσθέτουμε και στα δυο μέλη το ( α v) ( α v) + 0 = ( ( α v) + α v ) + ( α)v α v= 0 + ( α)v α v = ( α)v Άρα ( α) v = α( v) = α v Παράδειγμα : Το σύνολο R 3 των διανυσμάτων του τρισδιάστατου πραγματικού χώρου με εσωτερική πράξη την πρόσθεση των διανυσμάτων, που ορίζεται με τον κανόνα του παραλληλογράμμου και με εξωτερική πράξη τον πολλαπλασιασμό διανύσματος επί αριθμό, είναι ένας διανυσματικός χώρος επί του σώματος R. n Παράδειγμα : Αν στο καρτεσιανό γινόμενο R = R... R όπου R οι πραγματικοί αριθμοί, ορίσουμε ως εσωτερική πράξη μεταξύ δυο τυχόντων στοιχείων: (x,x,,x n ) και (y,y,,y n ) το άθροισμα (x +y,x +y,,x n +y n ) και ως εξωτερική πράξη το γινόμενο ενός αριθμού λ R επί το στοιχείο (x,x,,x n ) του R n, δηλαδή (λx,λx,,λx n ), τότε το σύνολο R n με τις δυο αυτές πράξεις αποτελεί διανυσματικό χώρο επί του σώματος R. Είναι εύκολο να δούμε ότι το στοιχείο (0,0,,0) είναι το ουδέτερο στοιχείο της εσωτερικής πράξης και ότι το (-x,-x,,-x n ) είναι το αντίθετο στοιχείο του (x,x,,x n ). Με παρόμοιο τρόπο και το C n γίνεται διανυσματικός χώρος επί του σώματος C. Παράδειγμα 3: Το σύνολο V των πολυωνύμων α 0 +α x+ +α n x n, n βαθμού με συντελεστές α i, i=0,,,n από ένα σώμα F αποτελεί διανυσματικό χώρο επί του σώματος F με εσωτερική πράξη την πρόσθεση των πολυωνύμων και εξωτερική πράξη τον πολλαπλασιασμό πολυωνύμου με ένα στοιχείο του σώματος F. Παράδειγμα 4: Ας θεωρήσουμε το σύνολο ( ) n { } V= f/f: α,β R των πραγματικών συναρτήσεων που ορίζονται στο, (πεπερασμένο ή άπειρο), διάστημα (α,β). Στο σύνολο αυτό ορίζουμε ως εσωτερική πράξη το άθροισμα των συναρτήσεων και ως εξωτερική

38 ΚΕΦΑΛΑΙΟ ΙΙ πράξη τον πολλαπλασιασμό ενός αριθμού επί μια συνάρτηση. Μ αυτές τις πράξεις το σύνολο V γίνεται διανυσματικός χώρος επί του σώματος R. { } Παράδειγμα 5: Έστω ( ) L= f/f: α,β R με την ιδιότητα f(x) dx< } το σύνολο των τετραγωνικά ολοκληρωσίμων κατά Lebesque πραγματικών συναρτήσεων. Αν ορίσουμε ως εσωτερική και εξωτερική πράξη όπως στο προηγούμενο παράδειγμα, τότε το σύνολο L αποτελεί διανυσματικό χώρο επί του σώματος R, και παρίσταται με το σύμβολο L (α,β). Οι διανυσματικοί χώροι με στοιχεία συναρτήσεις ονομάζονται συναρτησιακοί χώροι, (function spaces). Παράδειγμα 6: Αν F είναι σώμα, τότε το σύνολο V=F n είναι διανυσματικός χώρος επί του σώματος F με εσωτερική πράξη: v+u= ( v,v,...,v n) + ( u,u,...,u n) = ( v +u,v +u,...,v n+u n) β α όπου v i, u i F i=,,n Παράδειγμα 7: Ας υποθέσουμε ότι το F είναι ένα σώμα, το οποίο περίχει ένα υποσώμα Κ. Τότε το F μπορεί να θεωρηθεί ως διανυσματικός χώρος επί του σώματος Κ, θεωρώντας την συνήθη πρόσθεση στο F ως την διανυσματική πρόσθεση και ορίζοντας τον βαθμωτό πολλαπλασιασμό kv του k K και v F να είναι το γινόμενο του k και v ως στοιχεία του του σώματος F. Έτσι το σώμα των μιγαδικών αριθμών C είναι είναι διανυσματικός χώρος στο σώμα των πραγματικών αριθμών και το σώμα των πραγματικών αριθμών είναι διανυσματικός χώρος στο σώμα τωνρητών αριθμών Q. Στα επόμενα τα στοιχεία ενός διανυσματικού χώρου V θα τα συμβολίζουμε με τα τελευταία γράμματα του Λατινικού αλφάβητου και με έντονη γραφή: v, u, w, x, y, z, κ.λ.π. ενώ τα στοιχεία του σώματος F, (συντελεστές), με τα πρώτα γράμματα του Λατινικού ή Ελληνικού αλφάβητου α, a, β, b, κ.λ.π... ΔΙΑΝΥΣΜΑΤΙΚΟΣ ΥΠΟΧΩΡΟΣ Ένα μη κενό υποσύνολο W ενός διανυσματικού χώρου V επί του σώματος F ονομάζεται διανυσματικός υπόχωρος του V, (ή απλώς υπόχωρος), (vector subspace), αν από μόνο του το W με τις ίδιες πράξεις είναι διανυσματικός χώρος. Αποδεικνύεται ότι το W είναι διανυσματικός υπόχωρος αν είναι κλειστός ως προς τις δυο πράξεις: α) ( v,u W)[v+u W] - 4 -