Next: Άσκηση 45
Up: Άσκηση 44
Previous: Υπόδειξη
Eφόσον το
μπορεί να θεωρηθεί διανυσματικός χώρος πάνω στον
εαυτό του έχουμε ότι dim.
Θα δείξουμε ότι dim
.
Πράγματι, αφού dim,
υπάρχει
ώστε το
να παράγει τον .
Tότε, αν
είναι μια μη-μηδενική
γραμμική απεικόνιση τότε κάθε άλλη γραμμική απεικόνιση γράφεται
σαν πολλαπλάσιο της .
Πράγματι, αν
,
τότε το
για κάθε
και επειδή
γραμμική και
βάση
του ,
υπάρχει
ώστε .
Άρα dim
και το αποτέλεσμα προκύπτει από το Πόρισμα 5.
Vassilis Metaftsis
1999-09-15