Podprzestrzeń liniowa: Różnice pomiędzy wersjami

[wersja przejrzana][wersja przejrzana]
Usunięta treść Dodana treść
→‎Wymiar i kowymiar: drobne redakcyjne, drobne merytoryczne
Linia 52:
: <math>\dim V = \dim U_1 +\ldots \dim U_n</math>,
to
: <math>V= U_1\oplus +\ldots +\oplus U_n</math>{{odn|Axler|1997|s=34}}.
 
Niech <math> U</math> oraz <math> W</math> będą podprzestrzeniami <math> V</math>. '''Kowymiarem''' podprzestrzeni <math> U</math> w <math> V,</math> oznaczanym <math> \mathrm{codim}\; U</math> nazywa się wymiar [[przestrzeń ilorazowa (algebra liniowa)|przestrzeni ilorazowej]] <math> V/U.</math> Jeżeli <math> V</math> jest przestrzenią skończenie wymiarową, to