Dimensione (spazio vettoriale): differenze tra le versioni

Contenuto cancellato Contenuto aggiunto
Thijs!bot (discussione | contributi)
m robot Aggiungo: cs:Dimenze
m →‎Proprietà: fix link
Riga 18:
* Due spazi vettoriali qualsiasi su ''F'' aventi la stessa dimensione sono [[isomorfismo|isomorfi]]. Ogni mappa [[biiezione|biiettiva]] fra le loro basi può essere estesa in un solo modo a una mappa lineare biiettiva fra gli spazi vettoriali. Se ''B'' è un determinato insieme, uno spazio vettoriale di dimensione |''B''| su ''F'' può essere costruito nel seguente modo: si prenda l'insieme ''F''<sup>(''B'')</sup> di tutte le funzioni ''f'' : ''B'' &rarr; ''F'' tali che ''f''(''b'') = 0 per tutti i ''b'' (in numero finito) in ''B''. Queste funzioni possono essere sommate e moltiplicate con elementi di ''F'', e otteniamo così l<nowiki>'</nowiki>''F''-spazio desiderato.
* La [[formula di Grassmann]] e il [[teorema della dimensione]] sono due risultati importanti che mettono in relazione le dimensioni di alcuni sottospazi in certe configurazioni.
* Se ''F''/''K'' è una [[campo (matematica)#Sottocampo e estensione di uncampo|estensione di campo]], allora ''F'' è in particolare uno spazio vettoriale su ''K''. Inoltre, ogni ''F''-spazio ''V'' è anche un ''K''-spazio. Le dimensioni sono messe in relazione dalla formula <blockquote>dim<sub>''K''</sub>(''V'') = dim<sub>''K''</sub>(''F'') dim<sub>''F''</sub>(''V''). </blockquote> In particolare ogni spazio vettoriale complesso di dimensione ''n'' è uno spazio vettoriale reale di dimensione 2''n''.
 
* Alcune formule semplici mettono in relazione la dimensione di uno spazio vettoriale con la [[cardinalità]] del campo base e la cardinalità dello spazio stesso. Se ''V'' è uno spazio vettoriale su un campo ''F'', allora, indicando la dimensione di ''V'' con dim''V'', abbiamo: