Professional Documents
Culture Documents
Γραμμικά συστήματα
1.1:Βασικοί ορισμοί
4x1-x2+3x3 = -1
3x1+x2+9x3= -4 έχει για λύση του, την x1=1, x2 =2, x3= -1.
β) Το γραμμικό σύστημα
x1+ x2 = 4
2x1+2x2 = 6 δεν έχει λύσεις.
Συμβατό γραμμικό σύστημα : Γραμμικό σύστημα που έχει τουλάχιστον μια λύση.
Μη-συμβατό γραμμικό σύστημα : Γραμμικό σύστημα που δεν έχει καμμία λύση.
Θεώρημα 1.1 :
Κάθε γραμμικό σύστημα έχει ακριβώς μια λύση ή άπειρο αριθμό λύσεων ή καμμία λύση.
Άσκηση : Αποδείξτε το Θεώρημα 1.1 για γραμμικά συστήματα 2 εξισώσεων με 2 μεταβλητές. Απόδειξη
ο πίνακας :
Στοιχειώδη πράξη ή στοιχειώδη γραμμομετασχηματισμό σ'ένα πίνακα ονομάζουμε κάθε διαδικασία που
ανήκει σε μια από τις 3 παρακάτω κατηγορίες:
Ορισμός:
Εάν ένας πίνακας Β προκύπτει από τον πίνακα Α κατόπιν κάποιων στοιχειωδών γραμμομετασχηματισμών τότε
θα λέμε ότι ο πίνακας Β είναι γραμμοϊσοδύναμος του Α και αυτό συμβολίζεται με Α ~ Β.
Παρατηρήσεις
(1) Κάθε στοιχειώδης γραμμομετασχηματισμός είναι αντιστρέψιμος.
(2) Η σχέση ~ είναι συμμετρική ( δηλ. εάν Α ~ Β τότε Β ~ Α ).
Ορισμός:
Ένας πίνακας θα λέμε ότι βρίσκεται σε απλή κλιμακωτή μορφή ( Α.Κ.Μ.) εάν έχει τα εξής χαρακτηριστικά :
(1) Εάν υπάρχουν μηδενικές γραμμές , αυτές είναι οι τελευταίες γραμμές του πίνακα .
(2) Εάν μια γραμμή περιέχει τουλάχιστον ένα μη-μηδενικό στοιχείο, τότε το πρώτο της μη-μηδενικό στοιχείο
είναι το 1 ( βασικό 1 ) .
(3) Για κάθε ζεύγος γειτονικών γραμμών i και i+1 το βασικό 1 της i+1 θα βρίσκεται δεξιότερα του βασικού 1
της i .
(4) Κάθε στήλη , η οποία περιέχει κάποιο βασικό 1, θα έχει σ'όλες τις άλλες θέσεις μηδενικά .
π.χ.
1.2: Αλγόριθμος των Gauss-Jordan
Βήμα 2 Εάν το πρώτο στοιχείο της στήλης του βήματος 1 είναι 0, τότε
εναλλάσουμε την πρώτη γραμμή με κάποια άλλη έτσι ώστε το πρώτο στοιχείο
της παραπάνω στήλης να γίνει διάφορο του μηδενός.
Βήμα 3 Εάν τώρα μετά το βήμα 2, το πρώτο στοιχείο της στήλης του βήματος 1
είναι a, τότε πολλαπλασιάζουμε την πρώτη γραμμή με 1/a (Δημιουργούμε
βασικό 1)
Βήμα 5 Καλύπτουμε την πρώτη γραμμή και εφαρμόζουμε τα βήματα 1-5 στον
υποπίνακα που προκύπτει.
Βήμα 6 Ξεκινώντας από την τελευταία γραμμή που περιέχει τουλάχιστον ένα μη-μηδενικό στοιχείο και
προχωρώντας προς τα πάνω προσθέτουμε πολλαπλάσια της κάθε γραμμής στις πιο πάνω γραμμές έτσι
ώστε να προκύψουν μηδενικά πάνω από κάθε βασικό 1.
Θεώρημα 1.2 :
Εάν οι επαυξημένοι πίνακες δύο γραμμικών συστημάτων είναι γραμμοϊσοδύναμοι, τότε αυτά έχουν τις ίδιες
λύσεις.
π.χ.
Παρατήρηση:
Εάν ο επαυξημένος πίνακας ενός γραμμικού συστήματος βρίσκεται σε Απλή Κλιμακωτή Μορφή τότε ο
προσδιορισμός των λύσεών του είναι προφανής.
Το Θεώρημα 1.2 και η παρατήρηση που το ακολουθεί μας παρέχουν ένα συστηματικό τρόπο επίλυσης των
γραμμικών συστημάτων. Συγκεκριμένα βρίσκουμε τον επαυξημένο πίνακα του γραμμικού συστήματος και
τον μετατρέπουμε σε πίνακα Α.Κ.Μ. χρησιμοποιώντας τον αλγόριθμο των Gauss-Jordan.
Ο πίνακας Α.Κ.Μ. είναι προφανώς γραμμοϊσοδύναμος με τον αρχικό, διότι ο αλγόριθμος περιέχει
στοιχειώδεις γραμμομετασχηματισμούς. Βρίσκουμε το γραμμικό σύστημα που έχει για επαυξημένο πίνακα
τον πίνακα Α.Κ.Μ. και το οποίο έχει ακριβώς τις ίδιες λύσεις με το αρχικό. Ο προσδιορισμός των λύσεων
αυτού του συστήματος είναι προφανής.
Παραδείγματα :
x1 +2x2+2x3 = 3
-2x1 +3x2-x3 = 9
2x3 = -4
x1 +2x2 + x3 = 1
x1 +2x2+2x3 = 1
x1 +2x2+2x3 = 2
Παρατηρήσεις:
Έστω γραμμικό σύστημα , m εξισώσεων με n μεταβλητές, του οποίου ο επαυξημένος πίνακας βρίσκεται σε απλή
κλιμακωτή μορφή (Α.Κ.Μ.)
(1) Θα ονομάζουμε :
(α) Βασικές μεταβλητές του: Μεταβλητές που αντιστοιχούν στα βασικά 1
(β) Ελεύθερες μεταβλητές του: Μεταβλητές που δεν είναι βασικές
(γ) Βασικές εξισώσεις του:Εξισώσεις που έχουν μεταβλητές στο αριστερό μέρος
(δ) Απαλοίφουσες εξισώσεις του: Εξισώσεις που δεν είναι βασικές
(ε) Βαθμός ή τάξη του συστήματος: Ο αριθμός (ρ) των βασικών του εξισώσεων. Είναι ρ < m , n .
(2) Το σύστημα είναι συμβατό εάν και μόνον εάν ικανοποιούνται όλες οι απαλοίφουσες εξισώσεις του.
(3) Αν το σύστημα είναι συμβατό και ρ = n , τότε έχει ακριβώς μια λύση.
(4) Αν το σύστημα είναι συμβατό και ρ < n , τότε έχει άπειρο αριθμό λύσεων (παραμετρική λύση ).
(5) Αν m < n τότε το σύστημα αποκλείεται να έχει ακριβώς μια λύση.
a11x1+a12x2+ . . . +a1nxn= 0
a21x1+a22x2+ . . . +a2nxn= 0
. . .
. . .
. . .
am1x1+am2x2+. . .+amnxn= 0
(Σε κάθε περίπτωση να βρεθούν επίσης ο βαθμός του συστήματος , ο αριθμός ελεύθερων μεταβλητών και ο
αριθμός βασικών μεταβλητών.)
Σύστημα συμβατό
(i) (ii)
x + 2y - 3z = a x - 2y + z = a
3x - y + z = b x+y-z=b
-2x + 3y - 3z = c 2x - y - z = c
(i)
(ii)
3) Να βρεθούν οι τιμές του k για τις οποίες τα παρακάτω γραμμικά συστήματα έχουν καμμία λύση , μια
λύση , πολλές λύσεις :
(i) (ii)
kx + y + z = 1 x + 2y + kz = 1
x + ky + z = 1 2x + ky + 8z = 3
x + y + kz = 1
i)
Όταν k=1 το σύστημα γίνεται η εξίσωση x+y+z = 1 και έχει άπειρες λύσεις με δύο, από τις τρεις
μεταβλητές, ελεύθερες.
Όταν k = -2 το σύστημα δεν έχει καμμία λύση διότι άν προστεθούν οι τρεις εξισώσεις δίνουν 0 = 3.
Όταν το k είναι διάφορο από -2 ή 1 τότε το σύστημα έχει μια μόνο λύση που δίνεται από τις σχέσεις x = y
= z = 1/(k+2)
ii)
Όταν k = 4 το σύστημα γίνεται {x+2y+4z = 1 , 2x+4y+8z = 3} που είναι μη συμβατό.
Όταν k δεν είναι 4 τότε το σύστημα έχει άπειρες λύσεις με μια μεταβλητή ελεύθερη.
Οι λύσεις δίνονται από τις παρακάτω σχέσεις (όπου ελεύθερη μεταβλητή είναι η z ) ,
{ x = - (6-k-16z+k2z)/(k-4) , y = (1-8z+2kz)/(k-4) }.
Κεφάλαιο 2
Διανυσματικοί χώροι
2.1:Βασικοί ορισμοί
Εάν ν θετικός ακέραιος , θεωρούμε το σύνολο όλων των διατεταγμένων ν-άδων πραγματικών αριθμών (
a1,a2, . . .,aν ). Κάθε στοιχείο αυτού του συνόλου το συμβολίζουμε με =( a1,a2, . . .,aν ) και το ονομάζουμε
διάνυσμα. Τους ν αριθμούς a1,a2, . . .,aν που το ορίζουν , τους ονομάζουμε συντεταγμένες ή συνιστώσες του.
Συγκεκριμένα :
+ = + , - = όπου - = (-1)
+( + )=( + )+ , + = + =
λ(μ ) = (λμ) , (λ+μ) =λ +μ
λ( + )=λ +λ , 1 = , 0 =
Το σύνολο των διανυσμάτων , που ορίσαμε προηγουμένως , εφοδιασμένο με τις δύο πράξεις και τις
αντίστοιχες ιδιότητές τους, το ονομάζουμε ν-διανυσματικό χώρο και το συμβολίζουμε με .
Το γινόμενο αυτό ονομάζεται εσωτερικό γινόμενο μεταξύ των δύο διανυσμάτων. Το εσωτερικό γινόμενο έχει
όλες τις γνωστές ιδιότητες που έχει η αντίστοιχη πράξη μεταξύ διανυσμάτων του επιπέδου και του χώρου.
Συγκεκριμένα :
= , λ( ) = (λ )=( λ )
=0 , ( + )= +
Το μήκος ή η νόρμα ενός διανύσματος =( a1,a2, . . .,aν ) συμβολίζεται με | | και ορίζεται ως εξής :
Θα λέμε ότι δύο διανύσματα και είναι ορθογώνια ή κάθετα μεταξύ τους , αν μηδενίζεται το εσωτερικό
τους γινόμενο , δηλαδή εάν = 0.
όπου το i έχει την i-συντεταγμένη ίση με 1 και όλες τις άλλες μηδενικές .
Τα διανύσματα αυτά είναι μοναδιαία και ανά δύο ορθογώνια μεταξύ τους.
Επίσης κάθε διάνυσμα =( a1,a2, . . .,aν ) μπορεί να γραφεί στη μορφή
= a1 1 + a2 2 + . . .+ aν ν = a1(1,0,...,0) + a2(0,1,...,0) +. . .+ aν(0,0,...,1)
Γενικώτερα, αν 1 , 2 ,..., k είναι διανύσματα του , κάθε διάνυσμα που γράφεται στη μορφή
= t1 1 + t2 2 + . . . + tk k
για κάποιους πραγματικούς αριθμούς t1 , t2 , ... , tk , λέμε ότι είναι γραμμικός συνδυασμός των 1 , 2 , ... , k
.
Εάν , διανύσματα του , το διάνυσμα
2.2: Υπόχωρος
(i) , V + V
και (ii) V και λ λ V
Σημείωση :
Εάν το σύνολο V έχει τις δύο παραπάνω ιδιότητες , λέμε τότε ότι είναι κλειστό ως προς αυτές τις δύο
πράξεις.
Παραδείγματα
α) Θεωρούμε το σύνολο διανυσμάτων
Απόδειξη :
Έστω 1 , 2 V όπου 1 = (a1 , b1 , c1 , d1) και 2 = (a2 , b2 , c2 , d2).
Τότε 1 + 2 = (a1+a2 , b1+ b2 , c1+c2 , d1+d2).
Όμως επειδή
1 , 2 V , d1 = a1 - b1 , c1 = a1 + b1 , d2 = a2 - b2 , c2 = a2 + b2 .
Άρα d1 + d2 = (a1 + a2) - (b1 + b2) , c1 + c2 = (a1 + a2) + (b1 + b2) και επομένως 1 + 2 V.
Έστω τώρα ότι 1 V όπου 1 = (a1 , b1 , c1 , d1) και λ .
Τότε λ 1 = (λa1 , λb1 , λc1 , λd1) .
Όμως επειδή 1 V είναι d1 = a1 - b1 και c1 = a1 + b1. Άρα λd1 = λa1 - λb1 και λc1 = λa1 + λb1 και
επομένως λ 1 V.
β) Θεωρούμε το σύνολο διανυσμάτων
V = {(a , b , c , d) | a=b+c+d+2}
Το V δεν είναι υπόχωρος του 4
Απόδειξη :
Έστω 1 , 2 V όπου 1 = (a1 , b1 , c1 , d1) και 2 = (a2 , b2 , c2 , d2).
Τότε 1 + 2 = (a1+a2 , b1+ b2 , c1+c2 , d1+d2).
Όμως επειδή 1 , 2 V , a1 = b1 + c1 + d1 +2 , a2 = b2 + c2 + d2 +2 .
Άρα a1 + a2 = (b1+b2) + (c1+c2) + (d1+d2) +4 και επομένως 1 + 2 V.
Το σύνολο V δεν είναι κλειστό ως προς την πράξη της πρόσθεσης μεταξύ διανυσμάτων , άρα δεν είναι
υπόχωρος του 4.
Παρατηρήσεις :
Σημείωση
Σ' αυτή την περίπτωση , λέμε ότι ο υπόχωρος V παράγεται από τα διανύσματα
1 , 2 , ... , k και αυτός συμβολίζεται με L( 1 , 2 , ... , k).
Άσκηση:
Θεωρούμε τα διανύσματα 1 = (1,-1,0) , 2 = (1,1,0) , 3 = (2,1,0) , = (5,-7,0).
(i) Να αποδειχθεί ότι L( 1 , 2 , 3)
(ii) Nα εκφρασθεί το ως γραμμικός συνδυασμός των 1 , 2 , 3
Παρατήρηση (1)
Παρατήρηση (2)
Έστω 1 , 2 , ... , k .
Το σύνολο V , όλων των γραμμικών συνδυασμών των 1 , 2 , ... , k , αποτελεί υπόχωρο του .
Απόδειξη
= t1 1 + t2 2+ . . . + tk k
και = t΄1 1 + t΄2 2 + . . . + t΄k k
όπου ti , t΄i (i = 1 , 2 , . . . , k ) .
Θεωρούμε το διάνυσμα
+ = (t1 1 + t2 2 + . . . + tk k) + (t΄1 1 + t΄2 2 + . . . + t΄k k) = (t1+t΄1) 1 + . . . + (tk+t΄k) k
Άρα το + είναι γραμμικός συνδυασμός των 1 , 2 , . . . , k και επομένως + V .
Έστω V και λ . Επειδή το V , μπορεί να εκφρασθεί στην μορφή = t1 1 + t2 2 + . . . + tk k.
Θεωρούμε το διάνυσμα λ = λ(t1 1 + t2 2 + . . . + tk k) = (λt1) 1 + (λt2) 2 + . . . + (λtk) k.
Άρα το λ είναι γραμμικός συνδυασμός των 1 , 2 , . . . , k και επομένως λ V.
Άσκηση:
Θεωρούμε τα διανύσματα 1 = (1,-1,0) , 2 = (1,1,0) , 3 = (2,1,0) , = (5,-7,0).
(i) Να αποδειχθεί ότι L( 1 , 2 , 3)
(ii) Nα εκφρασθεί το ως γραμμικός συνδυασμός των 1 , 2 , 3
Απάντηση
(i) Το L( 1 , 2 , 3) υπάρχουν πραγματικοί αριθμοί λ1 , λ2 , λ3 τέτοιοι ώστε =λ1 1 +λ2 2+λ3 3
( Εάν δηλαδή (5,-7,0)=λ1(1,-1,0)+λ2(1,1,0)+λ3(2,1,0) )
το παρακάτω γραμμικό σύστημα είναι συμβατό:
Ο πίνακας Απλής Κλιμακωτής Μορφής που προκύπτει είναι ο επαυξημένος πίνακας του γραμμικού
συστήματος
0=0
που έχει τις ίδιες λύσεις με το αρχικό γραμμικό σύστημα. Η απαλοίφουσα εξίσωση του παραπάνω
γραμμικού συστήματος ικανοποιείται , άρα αυτό είναι συμβατό , επομένως και το αρχικό σύστημα είναι
συμβατό:
Άρα (5,-7,0) L((1,-1,0),(1,1,0),(2,1,0))
(ii) Για να εκφράσουμε το ως γραμμικό συνδυασμό των 1 , 2 , 3 , αρκεί να βρούμε μια λύση του
συστήματος
0=0
το οποίο έχει άπειρο αριθμό λύσεων. Πράγματι εάν θέσουμε λ3 = t ( όπου t ) , έχουμε
Τα διανύσματα μιας συλλογής 1 , 2 , . . . , k , θα λέμε ότι είναι γραμμικώς εξαρτημένα αν ισχύει μια από
τις παρακάτω ισοδύναμες συνθήκες:
Άσκηση : Να αποδειχθεί η ισοδυναμία των παραπάνω προτάσεων (1) και (2) . Απόδειξη
Διανύσματα που δεν είναι γραμμικώς εξαρτημένα μεταξύ τους , θα λέμε ότι είναι γραμμικώς ανεξάρτητα.
Παρατήρηση :
Χρησιμοποιώντας τον ορισμό της γραμμικής εξάρτησης , έχουμε το εξής :
Τα διανύσματα 1 , 2 , . . . , k , θα είναι γραμμικώς ανεξάρτητα η διανυσματική εξίσωση
λ1 1 + λ2 2 + . . . + λk k =
Άσκηση :
Tα διανύσματα 1 = (1,-2,3) , 2 = (5,6,-1) , 3 = (3,2,1) είναι γραμμικώς ανεξάρτητα ή γραμμικώς
εξαρτημένα ;
Απάντηση :
Θα πρέπει να εξετάσουμε τι είδους λύσεις έχει η διανυσματική εξίσωση ,
λ1(1,-2,3)+λ2(5,6,-1)+λ3(3,2,1) = (0,0,0)
Το γραμμικό σύστημα
λ1+λ3/2=0
λ2+λ3/2=0
0=0
έχει τις ίδιες λύσεις με το αρχικό γραμμικό σύστημα και εάν θέσουμε όπου λ3 = t , έχουμε
Άρα το σύστημα έχει άπειρο αριθμό λύσεων και επομένως η συλλογή διανυσμάτων { 1, 2, 3} αποτελείται από
γραμμικώς εξαρτημένα διανύσματα.
(1) Μια συλλογή γραμμικώς ανεξαρτήτων διανυσμάτων δεν μπορεί να περιέχει το μηδενικό διάνυσμα.
Απόδειξη
Έστω { 1 , 2 ,..., k } συλλογή γραμικώς ανεξαρτήτων διανυσμάτων και έστω ότι 1 = . Όμως
σ'αυτήν την περίπτωση η διανυσματική εξίσωση λ1 1 + λ2 2 + . . . + λk k = έχει και μη-μηδενικές
λύσεις. Για παράδειγμα την λ1 = t (όπου t -{0}) , λ2 = λ3 = . . . = λk = 0. Όμως κάτι τέτοιο δεν μπορεί να
ισχύει διότι τα 1 , 2 , . . . , k είναι γραμμικώς ανεξάρτητα και επομένως το δεν μπορεί να ανήκει
σ'αυτήν την συλλογή διανυσμάτων.
(2) Έστω σύνολο S , το οποίο περιέχει για στοιχεία του , γραμμικώς ανεξάρτητα διανύσματα . Κάθε
υποσύνολο του S , θα αποτελείται επίσης από γραμμικώς ανεξάρτητα διανύσματα .
Απόδειξη
Έστω S = { 1 , 2 , . . . , k } και έστω ότι υπάρχει υποσύνολο S* του S , το οποίο αποτελείται από
γραμμικώς εξαρτημένα διανύσματα. Μπορούμε να υποθέσουμε χωρίς να βλάψουμε την γενικότητα των
επιχειρημάτων μας, ότι
λ1 1 + λ2 2 + . . . + λm m =
λ1 1 + λ2 2 + . . . + λm m + λm+1 m+1 + . . . + λk k =
Η παραπάνω διανυσματική εξίσωση θα έχει μη-μηδενικές λύσεις. Για παράδειγμα μια τέτοια μη-μηδενική
λύση είναι η λ1 = t1 , λ2 = t2 , . . . , λm = tm , λm+1 = λm+2 =. . . = λk = 0 (όπου τουλάχιστον ένας από τους
αριθμούς t1 , t2 , . . . , tm είναι διάφορος του μηδενός )
Όμως αυτό δεν μπορεί να ισχύει, διότι το S είναι σύνολο γραμμικώς ανεξαρτήτων διανυσμάτων. Άρα το S*
θα αποτελείται από γραμμικώς ανεξάρτητα διανύσματα.
(3) Έστω σύνολο S, το οποίο περιέχει για στοιχεία του, γραμμικώς εξαρτημένα διανύσματα . Κάθε
υπερσύνολο του S, θα αποτελείται επίσης από γραμμικώς εξαρτημένα διανύσματα.
Απόδειξη
Υποθέτωντας ότι S = { 1 , 2 , . . . , m } αποτελείται από γραμμικώς εξαρτημένα διανύσματα και έστω ένα
υπερσύνολό του , S* = { 1 , 2 , . . . , m , m+1 , . . . , k}. Εφ'όσον τα { 1 , 2 , . . . , m } είναι γραμμικώς
εξαρτημένα θα υπάρχουν λ1 , λ2 , . . . , λm με τουλάχιστον ένα από τα λi , i = 1, . . . ,m διάφορο του μηδενός
και τέτοια ώστε να επαληθεύεται η διανυσματική εξίσωση
λ1 1 + λ2 2 + . . . + λm m =
λ1 1 + λ2 2 + . . . + λm m +0 m+1 +...+0 k =
Από την τελευταία εξίσωση επειδή δεν είναι όλοι οι συντελεστές των διανυσμάτων μηδέν βγαίνει το συμπέρασμα
ότι το S* = { 1 , 2 , . . . , m , m+1 , . . . , k} αποτελείται από γραμμικώς εξαρτημένα διανύσματα
2.4: Βάση
Ορισμός :
Έστω V υπόχωρος του και έστω 1 , 2, . . . , k V.
Θα λέμε ότι τα διανύσματα 1 , 2 , . . . , k αποτελούν βάση του V εάν ισχύουν τα εξής:
Παραδείγματα :
2
a) Τα διανύσματα 1 = (1,0) , 2 = (0,1) αποτελούν βάση για τον , διότι αυτά είναι γραμμικώς ανεξάρτητα
και διότι αυτά παράγουν τον 2 .
b) Τα διανύσματα 1 = (4,1) , 2 = (-7,-8) αποτελούν επίσης βάση του 2 .
Απόδειξη : Θα αποδείξουμε πρώτα , ότι τα 1 = (4,1) , 2 = (-7,-8) είναι γραμμικώς ανεξάρτητα.
Θεωρούμε την διανυσματική εξίσωση
4λ1 - λ2 = 0
λ1 - 8λ2 = 0
Το παραπάνω γραμμικό ομογενές σύστημα έχει για μόνη λύση του, την μηδενική. Άρα τα 1 = (4,1) , 2 =
(-7,-8) είναι γραμμικώς ανεξάρτητα.
Επίσης 2 = L( 1 , 2 ) διότι εάν (a1,a2) 2
, είναι
Θεώρημα 2.1 :
Θεώρημα 2.2 :
Έστω V υπόχωρος του και έστω ότι το σύνολο { 1 , 2 , . . . , k} αποτελεί βάση για τον V. Τότε κάθε
συλλογή m διανυσμάτων του V, όπου m > k , θα είναι συλλογή γραμμικώς εξαρτημένων διανυσμάτων.
Θεώρημα 2.3 :
Όλες οι βάσεις ενός υπόχωρου V του , έχουν τον ίδιο αριθμό διανυσμάτων. Ο αριθμός αυτός ονομάζεται
διάσταση του V και τον συμβολίζουμε με dimV.
Απόδειξη :
Έστω S = { 1 , 2 , . . . , k} και S΄ = { 1 , 2 , . . . , m} δύο βάσεις του V .
Επειδή το S αποτελεί βάση του V και επειδή τα 1 , 2 , . . . , m είναι γραμμικώς ανεξάρτητα , από το
Θεώρημα 2.2 έχουμε
Τώρα επειδή το S΄ αποτελεί βάση του V και επειδή τα 1 , 2 ,..., k είναι γραμμικώς ανεξάρτητα, πάλι
από το Θεώρημα 2.2 έχουμε
οπότε έχουμε
λ1 1 + λ2 2 + . . . + λk k =
έχει για μόνη λύση της , την μηδενική, διότι τα 1 , 2 ,..., k είναι γραμμικώς ανεξάρτητα διανύσματα.
Άρα
δηλαδή
και επομένως το μπορεί να εκφρασθεί ως γραμμικός συνδυασμός των διανυσμάτων της βάσης μ' έναν και
μοναδικό τρόπο.
Ορισμός :
Mια βάση { 1 , 2 , . . . , k} ενός υπόχωρου V του , θα λέμε ότι είναι ορθογώνια βάση , αν τα διανύσματά
της είναι ανά δύο κάθετα μεταξύ τους, εάν δηλαδή i . j = 0 όταν i j . Εάν τα 1 , 2 , . . . , k είναι
επιπλέον μοναδιαία , τότε η βάση ονομάζεται ορθοκανονική .
Κάθε υπόχωρος έχει ορθογώνιες και ορθοκανονικές βάσεις. Μάλιστα ξεκινώντας από οιαδήποτε βάση του
υπόχωρου μπορούμε να κατασκευάσουμε μία ορθογώνια του με μια απλή διαδικασία που είναι γνωστή ως
διαδικασία ορθογωνοποίησης Gramm-Schmidt. Η διαδικασία αυτή περιγράφεται στο παρακάτω θεώρημα.
Θεώρημα 2.6 :
1 = 1 , j = j - pr j (j=2,...,k)
Στην συνέχεια , εάν έχουμε μια ορθογώνια βάση του υπόχωρου , μπορούμε να κατασκευάσουμε μια
ορθοκανονική βάση , στηριζόμενοι στο παρακάτω θεώρημα.
Θεώρημα 2.7 :
Το σύνολο S* = { , ,...,
} αποτελεί ορθοκανονική βάση του V.
Παράδειγμα :
Τα διανύσματα 1 = (1,1,1) , 2 = (0,1,1) , 3 = (0,0,1) , αποτελούν βάση του 3. Ξεκινώντας απ' αυτήν την
βάση και χρησιμοποιώντας τα Θεωρήματα 2.6 , 2.7 θα βρούμε μια ορθοκανονική βάση του 3.
Θεωρούμε τα διανύσματα ,
3
Από το Θεώρημα 2.6 έχουμε ότι τα διανύσματα 1 , 3 , 3 αποτελούν ορθογώνια βάση του .
Στην συνέχεια θεωρούμε τα διανύσματα :
3
Από το Θεώρημα 2.7 έχουμε ότι τα διανύσματα αποτελούν ορθοκανονική βάση του .
Θεώρημα 2.8 :
Ορισμός :
Ο υπόχωρος Κ που αναφέρεται στο Θεώρημα 2.8, ονομάζεται άθροισμα των υποχώρων V , W και
συμβολίζεται με Κ = V + W.
Τώρα εάν = V + W και V W = { } , τότε λέμε ότι οι V , W είναι συμπληρωματικοί και επίσης ότι ο
είναι το ευθύ άθροισμα των V , W.
Το τελευταίο συμβολίζεται με = V W.
Παράδειγμα :
Έστω V, ο υπόχωρος του 3 που παράγεται από τα διανύσματα 1 = (1,0,0) , 2 = (0,1,0) και W ο υπόχωρος
του 3 που παράγεται από το διάνυσμα 3 = (0,0,1) .
Οι V , W είναι συμπληρωματικοί υπόχωροι.
Απόδειξη :
Κατ' αρχήν είναι εύκολο να δούμε ότι κάθε διάνυσμα ( α1, α2 , α3 ) του 3, μπορεί να εκφρασθεί ως
άθροισμα δύο διανυσμάτων εκ των οποίων το ένα ανήκει στον V, και το άλλο ανήκει στον W.
Πράγματι ( α1, α2 , α3 ) = ( α1, α2 , 0 ) + ( 0, 0 , α3 ) όπου ( α1, α2 , 0 ) V διότι
( α1, α2 , 0 ) = α1(1,0,0) + α2(0,1,0) και (0 , 0 , α3 ) = α3(0,0,1).
Στην συνέχεια θα αποδείξουμε ότι V W = { }.
Έστω = ( α1, α2 , α3 ) V W. Αυτό σημαίνει ότι το ( α1, α2 , α3 ) μπορεί να εκφρασθεί ως γραμμικός
συνδυασμός των 1 , 2 , οπότε έχουμε ότι α3 = 0 και επίσης ότι το ( α1, α2 , α3 ) μπορεί να εκφρασθεί ως
γραμμικός συνδυασμός του 3 , οπότε έχουμε α1 = α2 = 0. Άρα V W = { }.
Θεώρημα 2.9 :
Ο αποτελεί το ευθύ άθροισμα των υπόχωρων V και W κάθε μπορεί να εκφρασθεί μ' έναν
και μοναδικό τρόπο στην μορφή = + ,
όπου V και W.
Όπως θα δούμε στα επόμενα θεωρήματα που είναι απλή συνέπεια των παραπάνω, συμπληρωματικοί χώροι
αντιστοιχούν σε συμπληρωματικές βάσεις.
Θεώρημα 2.10 :
Αν χωρίσουμε μια βάση του σε δύο υποσύνολα τότε οι υπόχωροι που παράγονται από το κάθε υποσύνολο
είναι συμπληρωματικοί και αντιστρόφως.
Θεώρημα 2.11 :
Το άθροισμα των διαστάσεων δύο συμπληρωματικών υπόχωρων ισούται με την διάσταση ολοκλήρου του
χώρου .
1) Για ποιές τιμές του k το διάνυσμα = (1,-2,k) είναι γραμμικός συνδυασμός των
= (3,0,-2) , = (2,-1,-5) ;
Απάντηση
Θα πρέπει να υπάρχουν λ1 και λ2 για τα οποία να αληθεύει η διανυσματική εξίσωση
3λ1 + 2λ2 = 1
0λ1 + (-1)λ2 = -2
(-2)λ1 + (-5)λ2 = k
Το σύστημα δίνει άμεσα λ2 = 2 οπότε έχουμε από την πρώτη εξίσωση 3λ1 + 2λ2 = 1 δηλαδή λ1 = -1. Η τρίτη
εξίσωση (-2)λ1 + (-5)λ2 = k γίνεται τότε (-2)(-1) + (-5)(2) = k που δίνει k = -8. Πράγματι με k = -8 έχουμε
(1,-2,-8) = (-1)(3,0,-2) + 2(2,-1,-5)
x( + - 3 ) + y( + 3 - ) + z( + )=
x+y = 0
x+3y+z = 0
-3x-y+z = 0
ως προς τις λύσεις του. Ο επαυξημένος πίνακας των συντελεστών μας δίνει :
Οπότε είναι x = 1/2t , y = -1/2t , z = t ή π.χ. για t = 2 , έχουμε x = 1 , y = -1 , z = 2 .
Και ισχύει η παρακάτω σχέση
1( + - 3 ) -1( + 3 - ) + 2( + )=
x 1 +y 2 +z 3 =
x + y = 0 , x + αy + z = 0 , x + βz = 0
Αυτό το ομογενές σύστημα θα πρέπει να μην έχει άλλη λύση πλήν της μηδενικής . Παίρνουμε τον
επαυξημένο πίνακα του συστήματος και τον φέρνουμε σε Α.Κ.Μ. και έχουμε
από τον τελευταίο πίνακα έχουμε την συνθήκη β - 1 - αβ 0 μεταξύ των α , β ώστε να μην υπάρχει άλλη
λύση πλην της μηδενικής. Δηλαδή όταν τα α , β ικανοποιούν την συνθήκη β - 1 - αβ 0 τα 1 = 1 + 2 +
3 , 2 = 1 + α 2 , 3 = 2 + β 3 θα είναι γραμμικώς ανεξάρτητα.
4) Να διερευνηθεί ποιές από τις παρακάτω συνθήκες στα διανύσματα (x,y,z) ορίζουν υπόχωρους του 3
.
(a) 2x + y = 0 , (b) x + y z = 1 , (c) xy = 0 , (d) x = y = z , (e) x = y2
Απάντηση
Σε κάθε περίπτωση θα πρέπει το σύνολο των διανυσμάτων να είναι κλειστό ως προς τις δύο πράξεις, της
πρόσθεσης διανυσμάτων και του πολλαπλασιασμού διανύσματος με αριθμό.
a) Έστω δύο διανύσματα (α , β , γ) , (δ , ε , ζ ) , τα οποία ανήκουν στο σύνολο V των διανυσμάτων που
ικανοποιούν την συνθήκη 2x + y = 0.
Από το διάνυσμα (α+δ , β+ε , γ+ζ) έχουμε 2(α+δ) + (β+ε) = 2α+β + 2δ+ε = 0+0 = 0, δηλαδή ότι το άθροισμα
ανήκει στο V.
Επίσης από την λ(α , β , γ) = (λα , λβ , λγ) με λ και την 2λα +λβ = λ(2α + β) = λ(0)=0 έχουμε ότι και κάθε
διάνυσμα του V πολλαπλασιαζόμενο με αριθμό ανήκει στο V. Επομένως το V είναι κλειστό ως προς τις δύο
πράξεις , δηλαδή είναι υπόχωρος.
b) Έστω V το σύνολο των διανυσμάτων που ικανοποιούν την x + y z = 1. Το διάνυσμα (1,0,0) του V όταν
πολλαπλασιασθεί π.χ. με το 3 δίνει το (3,0,0) που δεν ανήκει στο V, που σημαίνει ότι το V δεν είναι κλειστό
ως προς τις δύο πράξεις, δηλαδή δεν είναι υπόχωρος. Eπίσης η παρατήρηση ότι το (0,0,0) δεν ανήκει στο V
δίνει το ίδιο συμπέρασμα.
c) Έστω V το σύνολο των διανυσμάτων που ικανοποιούν την xy = 0 . Τα διανύσματα (1,0,1) και (0,1,1)
ανήκουν στo V αλλά το άθροισμά τους (1,1,2) δεν ανήκει , που σημαίνει ότι το V δεν είναι κλειστό ως προς
τις δύο πράξεις, δηλαδή δεν είναι υπόχωρος.
d) Έστω τα διανύσματα (α,α,α) και (β,β,β) που ικανοποιούν την x = y = z και το άθροισμά τους
(α+β,α+β,α+β) , επίσης ικανοποιεί την x = y = z .
Έστω λ τότε το διάνυσμα λ(α,α,α) = (λα,λα,λα) ανήκει και αυτό στα διανύσματα που ικανοποιούν την x
=y=z.
Επομένως το σύνολο είναι κλειστό ως προς τις δύο πράξεις άρα είναι υπόχωρος.
e) Tο διάνυσμα (1,1,1) ικανοποιεί την x = y2 όμως το 2(1,1,1) = (2,2,2) δεν την αληθεύει άρα το σύνολο δεν
είναι υπόχωρος.
5) Να αποδειχθεί ότι το σύνολο των διανυσμάτων (a , b , c) του 3 που ικανοποιούν την σχέση 2a + b - c =
0 ορίζουν υπόχωρο διάστασης 2.
Απάντηση
Έστω V το σύνολο αυτών των διανυσμάτων . Εάν (a1 , b1 , c1) , (a2 , b2, c2) είναι δύο διανύσματα του V,
από το άθροισμά τους (a1+a2 , b1+b2 , c1+c2) έχουμε 2(a1+a2)+(b1+b2)-(c1+c2) = 2a1 + b1 - c1 + 2a2 + b2 -
c2 = 0 + 0 = 0 δηλαδή το V κλειστό ως προς το άθροισμα .Εάν λ το λ(a1 , b1 , c1)=(λa1 , λb1 , λc1) δίνει
2λa1 + λb1 - λc1 = λ(2a1 + b1 - c1) = λ(0) = 0 που σημαίνει ότι το V είναι κλειστό και ως προς τον
πολλαπλασιασμό με αριθμό , άρα είναι υπόχωρος.
Tα διανύσματα (1,0,2) και (0,1,1) ανήκουν στο V και είναι γραμμικώς ανεξάρτητα διότι το ένα δεν μπορεί
να είναι πολλαπλάσιο του άλλου. Το διάνυσμα (a , b , c ) του V μπορεί να εκφρασθεί σαν γραμμικός
συνδυασμός των (1,0,2) και (0,1,1) διότι έχουμε a(1,0,2) + b(0,1,1) = (a , b , 2a+b ) = (a , b , c ) και ισχύει
2a + b - c = 0.
To συμπέρασμα είναι ότι τα (1,0,2) , (0,1,1) αποτελούν βάση του υπόχωρου V διότι είναι γραμμικώς
ανεξάρτητα και τον παράγουν. Σύμφωνα με το Θεώρημα 2.3 η διάσταση του χώρου είναι 2 διότι η βάση
αποτελείται από δύο διανύσματα.
4
6) Θεωρούμε τον υπόχωρο του που παράγεται από τα διανύσματα
Εάν διαιρέσουμε τα ορθογώνια διανύσματα με τα μέτρα τους θα έχουμε την ορθοκανονική βάση
Παρατήρηση: Εάν αλλάζαμε την σειρά των διανυσμάτων της βάσης και πέρναμε σαν βάση τα διανύσματα
(0,0,0,1) , (1,0,01) , (1,0,1,0) το αποτέλεσμα στην ορθοκανονική μορφή θα ήταν αρκετά απλούστερο.
Απάντηση
= t1 1 + t2 2 + . . . + tk k = t1 1 + t2 2 + . . . + tk k +0
L( 1 , 2 ,..., ) L(
k , 1 , 2 ,..., )
k σχέση 2
L( , 1 , 2 ,..., k )
L( 1 , 2 ,..., )
k
9) Έστω V ο υπόχωρος του 3 παράγεται από τα διανύσματα 1 = (1,1,0) , 2 = (0,1,1) και W ο υπόχωρος
του 3 που παράγεται από το διάνυσμα 3 = (1,0,0). Να αποδειχθεί ότι οι V και W είναι συμπληρωματικοί
υπόχωροι.
Απάντηση
3
Ένας τρόπος είναι να δείξουμε ότι τα τρία διανύσματα αποτελούν βάση του οπότε το Θεώρημα 2.10
δηλώνει ότι οι V και W είναι συμπληρωματικοί υπόχωροι του 3.
Πράγματι η διανυσματική εξίσωση
x+z=0
x +y = 0
y=0
που έχει μοναδική λύση την x = y = z = 0. Επομένως τα τρία διανύσματα είναι γραμμικώς ανεξάρτητα και
παράγουν τον χώρο 3 διότι
Τα διανύσματα (1,1,0) , (0,1,1) , (1,0,0) αποτελούν βάση και αν χωρισθούν στα υποσύνολα { (1,1,0) ,
(0,1,1) } και { (1,0,0) } σύμφωνα με το Θεώρημα 2.10 οι υπόχωροι V ,W που παράγονται από το κάθε
υποσύνολο είναι συμπληρωματικοί.
Κεφάλαιο 3
Πίνακες
3.1:Βασικές έννοιες
Πίνακα ή μήτρα μεγέθους mxn ονομάζουμε κάθε ορθογώνια διάταξη m n το πλήθος αριθμών σε m-
γραμμές και n-στήλες. Το στοιχείο που ανήκει στην i-γραμμή και j-στήλη συμβολίζεται συνήθως με aij
(όπου 1 < i < m και 1 < j < n ).
Έχουμε δηλαδή
Πράξεις
Α = [aij] και Β = [bij] τότε Α + Β =C = [cij], όπου cij = aij + bij, (i,j).
Στην πράξη αυτή πολλαπλασιάζουμε κάθε στοιχείο του πίνακα με τον αριθμό.
Συγκεκριμένα εάν Α = [aij] και λ , τότε λΑ = Β = [bij] όπου bij = λaij, (i,j).
Για τις δύο πράξεις που ορίσαμε , ισχύουν όλες οι γνωστες ιδιότητες που έχουν οι αντίστοιχες πράξεις σε
διανυσματκούς χώρους.
Έχουμε δηλαδή
Α +Β =Β + Α , λ(μΑ) = (λμ)Α ,
Α + (Β + C) = (Α + Β) + C , (λ+μ)Α = λΑ + μΑ ,
A+0=0+A=Α, λ(Α + Β) = λΑ + λΒ ,
Α + (-Α) = (-Α) + Α = 0 όπου -Α = (-1)Α , 1Α = Α , 0Α = 0
Σημείωση : Το άθροισμα Α +(-Β) ονομάζεται και διαφορά του Β από τον Α και συμβολίζεται με Α-Β.
Έστω πίνακας Α = [aij] μεγέθους mxn και πίνακας Β = [bjk] μεγέθους nxr. To γινόμενο Α Β θα είναι ένας
πίνακας C = [cik] μεγέθους mxr, του οποίου κάθε στοιχείο cik είναι το άθροισμα των γινομένων των n
στοιχείων της i-γραμμής του Α με τα αντίστοιχα n στοιχεία της k-στήλης του Β. Έχουμε δηλαδή
Παράδειγμα
Εάν
Τότε
Παρατήρηση : Θα πρέπει να τονισθεί ότι το γινόμενο Α Β ορίζεται μόνον όταν ο αριθμός των στηλών του
Α ισούται με τον αριθμό των γραμμών του Β.
Γενικά δεν ισχύει η αντιμεταθετικότητα, δηλαδή συνήθως έχουμε Α Β B A όπου το ένα από τα δύο
γινόμενα μπορεί και να μην ορίζεται αν τα μεγέθη των πινάκων δεν είναι τα σωστά.
Ανάστροφος πίνακας
Αν πάρουμε τις γραμμές ενός πίνακα Α και τις τοποθετήσουμε ως στήλες στην ίδια σειρά, τότε
δημιουργείται ένας νέος πίνακας που ονομάζεται ανάστροφος του Α και συμβολίζεται με ΑT. Δηλαδή οι
γραμμές και στήλες του Α γίνονται αντίστοιχα στήλες και γραμμές του ΑT.
Έτσι αν το μέγεθος του Α είναι mxn το μέγεθος του ΑT θα είναι nxm.
Παράδειγμα
Η αναστροφή πινάκων έχει τις παρακάτω ιδιότητες : (οι οποίες εύκολα μπορούν να αποδειχθούν
χρησιμοποιώντας τον ορισμό του ανάστροφου πίνακα που αναφεραμε προηγουμένως).
(A + B)T = AT + BT , (A B)T = BT AT
(λA)T = λΑT , (AT)T = A
Θεωρούμε τα διανύσματα,
. . . . .
. . . . .
. . . . .
m = (am1 , am2 , ... , amn)
τα οποία ονομάζουμε διανύσματα γραμμών του Α.
Επίσης θεωρούμε τα διανύσματα ,
. . . . .
. . . . .
. . . . .
n = ( a1n , a2n , ... , amn )
Θεώρημα 3.1 :
Στοιχειώδης γραμμομετασχηματισμοί δεν αλλάζουν τον γραμμοχώρο ενός πίνακα. (Δηλαδή εάν Α~Β τότε οι
Α , Β έχουν τον ίδιο γραμμοχώρο)
Θεώρημα 3.2 :
Έστω πίνακας Α , ο οποίος βρίσκεται σε Απλή Κλιμακωτή Μορφή. Τα μη-μηδενικά διανύσματα γραμμών
του Α , αποτελούν βάση για τον γραμμοχώρο του.
Εάν εφαρμόσουμε σ'έναν πίνακα Α τον αλγόριθμο των Gauss-Jordan, θα προκύψει ένας πίνακας Β , ο οποίος
βρίσκεται σε Απλή Κλιμακωτή Μορφή. Τα μη-μηδενικά διανύσματα γραμμών του Β αποτελούν βάση για
τον γραμμοχώρο του Α.
Το Πόρισμα 3.1 είναι πολύ χρήσιμο στην εύρεση βάσης υπόχωρου που παράγεται από κάποια συλλογή
διανυσμάτων.
Άσκηση :
5
Να βρεθεί μια βάση για τον υπόχωρο του που παράγεται από τα διανύσματα :
1 = (1,1,1,0,0) , 2 = (1,-1,-1,1,1) , 3 = (2,0,0,1,1) , 4 = (0,-2,-2,1,1)
Απάντηση
Θεωρούμε έναν πίνακα Α, ο οποίος έχει διανύσματα γραμμών του τα δοθέντα διανύσματα 1 , 2 , 3 , 4 .
Έχουμε δηλαδή
O γραμμοχώρος του Α ταυτίζεται με τον υπόχωρο του οποίου μια βάση θελουμε να προσδιορίσουμε. Άρα
για αρκεί να βρούμε μια βάση του γραμμοχώρου του Α.
Εφαρμόζουμε στον πίνακα Α την διαδικασία των Gauss-Jordan οπότε έχουμε :
Επομένως από το Πόρισμα 3.1, τα διανύσματα (1,0,0,1/2,1/2) , (0,1,1,-1/2,-1/2) αποτελούν βάση του
υπόχωρου L( 1 , 2 , 3 , 4).
Ερώτηση : Με τις γνώσεις που έχουμε αποκτήσει μέχρι τώρα, μπορούμε να βρούμε μια βάση για τον
στηλοχώρο ενός πίνακα;
Για παράδειγμα εάν Α = μπορούμε να βρούμε μια βάση για τον στηλοχώρο του Α ; Απάντηση
Το επόμενο Θεώρημα 3.3 είναι από τα πιο θεμελιώδη θεωρήματα της Γραμμικής Άλγεβρας.
Θεώρημα 3.3
Για κάθε πίνακα Α , η διάσταση του γραμμοχώρου του ισούται με την διάσταση του στηλοχώρου του.( Η
κοινή τιμή της διάστασης των δύο υπόχωρων ονομάζεται βαθμός του Α και συμβολίζεται με ρ(Α) )
Άσκηση : Έστω πίνακας Α μεγέθους mxn. Ποιά είναι η μέγιστη πιθανή τιμή του βαθμού του Α ; Απάντηση
Εάν έχουμε ένα γραμμικό σύστημα m εξισώσεων με n μεταβλητές , χρησιμοποιώντας τον συμβολισμό
πινάκων, μπορούμε να το εκφράσουμε στην παρακάτω μορφή :
Ονομάζουμε τους πίνακες Α , Χ και Β, πίνακες συντελεστών , μεταβλητών και σταθερών αντίστοιχα.
Επειδή ο πίνακας Χ είναι μεγέθους nx1 και ο πίνακας Β είναι μεγέθους mx1, αυτοί μπορούν να θεωρηθούν
και ως διανύσματα. Οπότε το παραπάνω γραμμικό σύστημα γράφεται και στην μορφή Α = .
Σ' αυτή την περίπτωση το ονομάζεται διάνυσμα μεταβλητών και το διάνυσμα σταθερών.
Το Θεώρημα 1.1 που διατυπώσαμε στο Κεφάλαιο 1 αναφερόταν στον αριθμό των λύσεων που μπορεί να
έχει ένα γραμμικό σύστημα.( Θεώρημα 1.1 : Κάθε γραμμικό σύστημα έχει ακριβώς μια λύση ή άπειρο
αριθμό λύσεων ή καμμία λύση)
Αποδείξαμε τότε σαν άσκηση, ότι το Θεώρημα αυτό ισχύει για γραμμικά συστήματα 2 εξισώσεων με 2
μεταβλητές. Σ' αυτό το σημείο θα αποδείξουμε το Θεώρημα 1.1, στην γενικότητά του.
Απόδειξη Θεωρήματος 1.1
Θεώρημα 3.4 :
Πόρισμα 3.2 :
Έστω γραμμικό σύστημα Α = m εξισώσεων με n μεταβλητές . Το Α = είναι συμβατό εάν μόνον εάν ο
επαυξημένος πίνακας ( Α : ) έχει τον ίδιο βαθμό με τον πίνακα των συντελεστών Α.
Απόδειξη Πορίσματος 3.2
Άσκηση :
Θεώρημα 3.5 :
Άσκηση :
Να αποδειχθεί το πρώτο σκέλος του Θεωρήματος 3.5.Δηλαδή να αποδειχθεί ότι το σύνολο των λύσεων του
Α = αποτελεί υπόχωρο του n
. Απόδειξη
Θεώρημα 3.6 :
Έστω γραμμικό σύστημα Α = , το οποίο είναι συμβατό. Οι λύσεις του συστήματος θα είναι ένα σύνολο
της μορφής +V={ | = + , V }, όπου είναι μια οιαδήποτε λύση του Α = και V είναι ο
υπόχωρος των λύσεων του ομογενούς συστήματος Α = .
1) Για καθένα από τους παρακάτω πίνακες να επαληθευτεί ότι η διάσταση του γραμμοχώρου του ισούται
με την διάσταση του στηλοχώρου του.
Απάντηση :
Ο πίνακας (i) σε Α.Κ.Μ. δίνει
και σύμφωνα με το Θεώρημα 3.1 και το Θεώρημα 3.2 έχουμε ότι η διάσταση του γραμμοχώρου του είναι
δύο.
Αν πάρουμε τον ανάστροφο του πίνακα (i) και τον φέρουμε σε Α.Κ.Μ. θα βρούμε
οπότε η διάσταση του στηλοχώρου του αρχικού πίνακα είναι πάλι δύο.
Το αποτέλεσμα αυτό είναι μια επαλήθευση του Θεωρήματος 3.3
Aνάλογα για τον πίνακα (ii) έχουμε :
όπου φαίνεται όπως και προηγουμένως ότι οι διαστάσεις στηλοχώρου και γραμμοχώρου είναι τρία.
2) Κατασκευάστε έναν πίνακα του οποίου ο γραμμοχώρος περιέχει τα διανύσματα (1,1) , (1,2) ενώ ο
στηλοχώρος τα διανύσματα (1,0,0) , (0,0,1).
Απάντηση :
Τα δοθέντα διανύσματα (1,0,0) και (0,0,1) είναι γραμμικώς ανεξάρτητα όπως είναι και τα (1,1) , (1,2).
Σχηματίζουμε ένα πίνακα που έχει τα διανύσματα (1,0,0) και (0,0,1) ως στήλες. Ο στηλοχώρος αυτού του
πίνακα περιέχει τα (1,0,0) και (0,0,1). Προσθέτουμε την τρίτη γραμμή στην πρώτη και κατόπιν την πρώτη
στην τρίτη. Τότε παρουσιάζονται στις γραμμές του πίνακα τα δύο διανύσματα (1,1) , (1,2) δηλαδή ο
γραμμοχώρος του πίνακα περιέχει και τα (1,1) , (1,2). .
3) Έστω πίνακας Α μεγέθους mxn , όπου m n. Nα αποδειχθεί ότι: Τα διανύσματα γραμμών του Α ή τα
διανύσματα στηλών του Α είναι γραμμικώς εξαρτημένα.
Απάντηση :
Μεταξύ των m και n το ένα θα είναι μεγαλύτερο από το άλλο, χωρίς να επιρρεάζεται η γενικότητα
μπορούμε να υποθέσουμε ότι m μεγαλύτερο από n.
Τότε σύμφωνα με το Θεώρημα 3.3 θα είναι ρ(Α) < n < m. Το τελευταίο όμως σημαίνει ότι το πλήθος των
διανυσμάτων γραμμών είναι μεγαλύτερο από τον βαθμό του πίνακα Α. Επομένως όλα τα διανύσματα
γραμμές δεν μπορούν να είναι γραμμικώς ανεξάρτητα διότι τότε το ρ(Α) θα ήταν ίσο με m που είναι άτοπο.
Συμπέρασμα τα m διανύσματα γραμμές είναι γραμμικώς εξαρτημένα. Ανάλογο συμπέρασμα θα έχουμε εάν
είναι n μεγαλύτερο από m.
4) Εάν , να βρεθεί μια βάση και μια ορθοκανονική βάση για τον υπόχωρο των
διανυσμάτων για τα οποία είναι συμβατό το γραμμικό σύστημα
Α = .
Απάντηση :
2x1 - x2 + x3 - x4 = 0
x1 + x2 - x3 + 2x4 = 0
x1 - 2x2 + 2x3 - 3x4 = 0
Να βρεθεί η διάσταση και μια βάση για τον υπόχωρο V ( του 4 ) των λύσεων του.
Απάντηση :
Φέρνουμε τον πίνακα των συντελεστών των αγνώστων σε Α.Κ.Μ.
Ο πίνακας είναι βαθμού ρ = 2 και σύμφωνα με το Θεώρημα 3.5 τα διανύσματα που είναι λύσεις του
συστήματος σχηματίζουν υπόχωρο διαστάσεως 4-2 = 2.
Έχουμε για
Tα δύο διανύσματα { (-1,-4,1,3) , (-1,-5,0,3) } είναι γραμμικώς ανεξάρτητα και αποτελούν βάση του
υπόχωρου V των λύσεων του συστήματος.
6) Έστω πίνακας Α μεγέθους 23 x 15 και βαθμού 10. Ποιός είναι ο μέγιστος αριθμός γραμμικώς
ανεξαρτήτων διανυσμάτων που ικανοποιούν το ομογενές σύστημα
ΑΤ = ;
Απάντηση :
Ο πίνακας ΑΤ του συστήματος είναι μεγέθους 15 x 23 και βαθμού 10. Επομένως βάσει του Θεωρήματος 3.5
τα διανύσματα που είναι λύσεις του συστήματος σχηματίζουν υπόχωρο διαστάσεως 23 - 10 = 13. Άρα ο
μέγιστος αριθμός γραμμικώς ανεξαρτήτων διανυσμάτων που ικανοποιούν το σύστημα είναι 13 όσο και η
διάσταση του υπόχωρου των λύσεων.
x1 - x2 + x3 + x4 = 1
x1 - x2 + 0x3 - x4 = -1
2x1 - 2x2 + x3 + 0x4 = 0
x1 + x2 + x3 + x4 = 1
Οπότε έχουμε ότι ο βαθμός του πίνακα είναι 3 άρα ο υπόχωρος των λύσεων V του ομογενούς έχει διάσταση
4-3 = 1 και το διάνυσμα π.χ. ( 1 , 0 , -2 , 1 ) είναι η βάση των λύσεων του αντιστοίχου ομογενούς συστήματος
δηλαδή βάση του υπόχωρου V. Μια λύση του μη ομογενούς συστήματος είναι το διάνυσμα (-1,2,0,0) που
επαληθεύει το αρχικό σύστημα.. Οπότε βάσει του Θεωρήματος 3.6 η γενική λύση του μη ομογενούς
συστήματος είναι τα διανύσματα
= (-1,2,0,0) + ( t , 0 -2t , t) με το t
Πίνακες που έχουν τον ίδιο αριθμό γραμμών και στηλών ονομάζονται τετραγωνικοί πίνακες. Τέτοιοι είναι οι
πίνακες :
Από τα στοιχεία ενός τετραγωνικού πίνακα Α = [aij] μεγέθους ν x ν, ξεχωρίζουμε τα a11 , a22 , . . . , aνν, για τα
οποία λέμε ότι αποτελούν την κύρια διαγώνιο του Α.
Έστω τετραγωνικός πίνακας Α = [aij]
Ο Α ονομάζεται πάνω τριγωνικός, εάν τα στοιχεία κάτω από την κύρια διαγώνιο του ( aij , i > j ) είναι
μηδενικά.
Ο Α ονομάζεται κάτω τριγωνικός, εάν τα στοιχεία πάνω από την κύρια διαγώνιο του ( aij , i < j ) είναι
μηδενικά.
O Α ονομάζεται διαγώνιος, εάν τα στοιχεία εκτός της κύριας διαγωνίου του ( aij , i j ) είναι μηδενικά.
Ο διαγώνιος πίνακας ονομάζεται μοναδιαίος ή ταυτοτικός εάν τα στοιχεία της κυρίας διαγωνίου του ( aij
, i = j ) είναι ίσα με 1.( Ένας ταυτοτικός πίνακας μεγέθους ν x ν συμβολίζεται με Ιν ή απλώς με Ι ).
Έτσι έχουμε :
Σημείωση : Για τετραγωνικούς πίνακες Α του ιδίου μεγέθους μ'ένα μοναδιαίο πίνακα Ι, έχουμε
ΑΙ = ΙΑ=Α
Ορισμός Έστω τετραγωνικός πίνακας Α. Θα λέμε ότι ο πίνακας Β είναι αντίστροφος του Α, εάν
ΑΒ=ΒΑ=Ι
Θεώρημα 4.1 :
Απόδειξη
Ορισμός Εάν ένας τετραγωνικός πίνακας Α έχει αντίστροφο, τότε ο Α λέμε ότι έιναι αντιστρέψιμος και ο
αντίστροφός του συμβολίζεται με Α-1.
Θεώρημα 4.2 :
Εάν οι Α και Β είναι αντιστρέψιμοι τετραγωνικοί πίνακες του ιδίου μεγέθους, τότε
Απόδειξη
Θεώρημα 4.3 :
4.3:Ορίζουσες
Σε κάθε τετραγωνικό πίνακα Α αντιστοιχούμε έναν αριθμό |Α| τον οποίο ονομάζουμε ορίζουσα του Α. Για
τον ορισμό της ορίζουσας του Α, χρειαζόμαστε την έννοια της μετάθεσης των στοιχείων ενός σύνολου.
Έστω σύνολο Κ = { α1 , α2 , . . . , αν }. Μετάθεση των ν στοιχείων του Κ ονομάζεται κάθε διατεταγμένη ν-
άδα στην οποία κάθε στοιχείο του Κ εμφανίζεται ακριβώς μια φορά. π.χ. εάν Κ = { 1, 2 , 3 }
Οι διατεταγμένες 3-άδες
+1 εάν η σ είναι
sgn(σ άρτια
) { -1 εάν η σ είναι
περιττή
Μετά από την αναφορά που κάναμε στην έννοια των μεταθέσεων μπορούμε να ορίσουμε την ορίζουσα.
Ορισμός : Έστω τετραγωνικός πίνακας Α = [αij] μεγέθους νxν. Ονομάζουμε ορίζουσα του πίνακα Α τον
αριθμό sgn(σ)α1σ1α2σ2 . . . ανσν όπου το άθροισμα θεωρείται πάνω σε όλες τις μεταθέσεις σ = ( σ1,σ2 , . . . ,σν
) του συνόλου Κ= {1,2, . . . ,ν }.
Παράδειγμα : Έστω
Σύμφωνα με τον ορισμό που δώσαμε |Α| = sgn(σ)α1σ1α2σ2 όπου το άθροισμα θεωρείται πάνω σ'όλες τις
μεταθέσεις σ = ( σ1,σ2) του Κ = {1,2}. Το Κ έχει δύο μεταθέσεις τις (1,2) και (2,1). Η πρώτη είναι άρτια ενώ
η δεύτερη περιττή. Άρα
|Α| = (+1)α11α22+(-1)α12α21
Θεώρημα 4.4
Η ορίζουσα ενός πίνακα Α και του αναστρόφου του ΑΤ είναι ίσες. Δηλαδή |Α| = |ΑΤ|
Παρατήρηση Από το Θεώρημα 4.4 προκύπτει το εξής: Εάν έχουμε ένα θεώρημα , το οποίο είναι σχετικό με
ορίζουσες και το οποίο αναφέρεται στις γραμμές ενός πίνακα, το ίδιο ισχύει και για τις στήλες του (και
αντίστροφα).
Τα επόμενα θεωρήματα αναφέρονται επίσης σε ιδιότητες της ορίζουσας.
Θεώρημα 4.5
Θεώρημα 4.6
Εάν εναλλάξουμε δύο γραμμές (στήλες) ενός πίνακα τότε η ορίζουσα αλλάζει πρόσημο.
Θεώρημα 4.7
Απόδειξη
Θεώρημα 4.9
(i) Εάν πολλαπλασιάσουμε μια γραμμή (στήλη) ενός πίνακα με αριθμό, τότε η ορίζουσα πολλαπλασιάζεται
με τον ίδιο αριθμό.
(ii) Αν προσθέσουμε ένα πολλαπλάσιο μιας γραμμής (στήλης) σε μια άλλη γραμμή (στήλη) τότε η ορίζουσα
παραμένει η ίδια.
Εάν από ένα τεραγωνικό πίνακα Α = [αij] μεγέθους νxν αφαιρέσουμε την i-γραμμή του και την j-στήλη του,
τότε μένει ένας τετραγωνικός πίνακας Μij μεγέθους (ν-1)x(ν-1). Ελάσσων ορίζουσα του στοιχείου αij του
πίνακα Α ονομάζουμε την ορίζουσα του πίνακα Μij .
Ο συμπαράγοντας του στοιχείου αij συμβολίζεται με Αij και ορίζεται ως εξής
Παράδειγμα : Εάν
έχουμε
Eάν
Το άθροισμα των γινομένων που μας δίνει την ορίζουσα του Α, μπορεί επίσης να γραφεί με τους εξής
τρόπους:
Δηλαδή
Mε άλλα λόγια παρατηρούμε ότι η ορίζουσα του Α ισούται με το άθροισμα των γινoμένων των στοιχείων
μιας οποιαδήποτε γραμμής του με τους αντίστοιχους συμπαράγοντες. Αυτό δεν ισχύει μόνον για πίνακες
μεγέθους 3x3, αλλά γενικά για κάθε τετραγωνικό πίνακα. Συγκεκριμένα έχουμε το εξής θεώρημα.
Θεώρημα 4.10:
Παράδειγμα Εάν
αx+βy+γz = δ
α΄x+β΄y+γ΄z = δ΄
α΄΄x+β΄΄y+γ΄΄z = δ΄΄
τέμνονται σε ένα και μόνο σημείο εάν δεν μηδενίζεται η ορίζουσα των συντελεστών, εάν δηλαδή
Απάντηση
Οι εξισώσεις των τριών επιπέδων αποτελούν ένα γραμμικό σύστημα με τρείς εξισώσεις και τρείς
μεταβλητές. Εάν τα επίπεδα τέμνονται σε ένα μόνο σημείο τότε οι συντεταγμένες μόνον αυτού του σημείου
θα επαληθεύουν το σύστημα. Δηλαδή το σύστημα θα πρέπει να έχει μια και μοναδική λύση. Σύμφωνα με το
Θεώρημα 4.13 για να έχει μια και μοναδική λύση θα πρέπει η ορίζουσα των συντελεστών να είναι διάφορη
του μηδενός.
2) Να αποδειχθεί ότι τα παρακάτω συστήματα έχουν μια και μοναδική λύση. Επίσης να λυθούν με τον
αλγόριθμο των Gauss-Jordan, με τον κανόνα Cramer και με αντιστροφή του πίνακα συντελεστών.
x1 - x2 + 2x3 = 1 x1 + 3x2 - x3 = 0
-2x1 + 3x2 + x3 = 0 x1 + x2 + x3 = 0
x1 - 3x2 + 4x3 = 2 x1 - x3 = 1
Απάντηση
Οι ορίζουσες των συντελεστών των αγνώστων για τα δύο συστήματα είναι:
Σύμφωνα με το Θεώρημα 4.13 το κάθε σύστημα έχει μια και μοναδική λύση διότι η αντίστοιχη ορίζουσα
είναι διάφορη του μηδενός. Εφαρμόζουμε τον αλγόριθμο Gauss-Jordan για την λύση του πρώτου
συστήματος. Ο επαυξημένος πίνακας
Για να είναι αντιστρέψιμος ο πίνακας θα πρέπει η αντίστοιχη ορίζουσα να είναι μη μηδενική δηλαδή ( αδ -
βγ )2 0.
Εάν πληρούται η συνθήκη ( αδ - βγ )2 0 τότε υπάρχει ο αντίστροφος και είναι ο
5) Δώστε παράδειγμα πινάκων Α και Β έτσι ώστε : ο Α - Β να είναι αντιστρέψιμος ενώ οι Α , Β να μην είναι
αντιστρέψιμοι.
Απάντηση
6) Να αποδειχθεί ο τύπος |ΑΒ| = |Α||Β| για πάνω τριγωνικούς πίνακες.
Απάντηση
Ο πίνακας (μεγέθους νxν ) Α=[aij] με aij = 0 για όλα τα ζεύγη (i,j) με i > j .
Ο πίνακας (μεγέθους νxν ) B=[bij] με bij = 0 για όλα τα ζεύγη (i,j) με i > j .
To γινόμενο ΑΒ=[cij] με cij=ai1b1j + ai2b2j + . . . + aivbvj είναι μεγέθους νxν.
Στον πίνακα ΑΒ τα στοιχεία cij για τα οποία είναι i > j είναι cij = 0 διότι ο κάθε όρος του αθροίσματος ai1b1j +
ai2b2j + . . . + aivbvj όταν i > j θα έχει τουλάχιστον έναν από τους παράγοντες των γινομένων airbrj ( r = 1, 2 , ...
,ν ) ίσο με μηδέν.
Επομένως ο ΑΒ είναι πάνω τριγωνικός.
Τα στοιχεία (c11 , c22 , . . . , cνν ) της διαγωνίου του ΑΒ είναι
Οι συμπαράγοντες Αij των στοιχείων αij με i < j του πάνω τριγωνικού πίνακα Α είναι όλοι μηδέν διότι κάθε
συμπαράγοντας Αij = (-1)i+j|Mij| όπου |Mij| είναι η ελάσσων ορίζουσα του πάνω τριγωνικού πίνακα Mij
μεγέθους (ν-1)x(ν-1) που προκύπτει από τον Α εάν αφαιρεθούν i-γραμμή και j-στήλη. Όμως ο πίνακας Mij
ως τριγωνικός θα έχει ορίζουσα ίση με το γινόμενο των στοιχείων της διαγωνίου του ( Θεώρημα 4.8 ). Η
διαγώνιος του Mij αποτελείται μέχρι και το στοιχείο της θέσης (i-1,j-1) από τα στοιχεία ( α11 , α22 , . . . , α(i-1)(j-
1) ) δηλαδή τα ίδια τα στοιχεία του Α. Με την αφαίρεση της i-γραμμής αφαιρείται και το αii στοιχείο της
διαγωνίου του Α και στον πίνακα Mij που προέκυψε, στην θέση (i,i) θα είναι το στοιχείο α(i+1)i του πίνακα Α,
που είναι όμως μηδενικό. Επομένως |Mij| = 0 για όλα τα ζεύγη (i,j) με i < j . Καθώς ο πίνακας των
συμπαραγόντων είναι κάτω τριγωνικός , ο ανάστροφός του θα είναι πάνω τριγωνικός. Άρα και ο Α-1 θα
είναι πάνω τριγωνικός.