Podprzestrzeń liniowa: Różnice pomiędzy wersjami
[wersja przejrzana] | [wersja przejrzana] |
Usunięta treść Dodana treść
m To stwierdzenie z teorii grup nie nie wnosi do teorii przestrzeni liniowych. Brzmi bardzo groźnie a jest w gruncie strasznie banalne. Jak stwierdzenie, że gdy ktoś umrze, to nie żyje. |
→Działania: przeredagowanie sekcji |
||
Linia 24:
W [[analiza funkcjonalna|analizie funkcjonalnej]] dużą uwagę poświęca się podprzestrzeniom [[przestrzeń funkcyjna|przestrzeni funkcyjnych]] o kowymiarze 1.
== Działania na podprzestrzeniach liniowych ==
[[przekrój (matematyka)|Część wspólna]] dowolnie wielu podprzestrzeni liniowych danej przestrzeni jest podprzestrzenią liniową, gdyż każda kombinacja liniowa elementów przekroju rodziny podprzestrzeni liniowych należy do tego przekroju jako, że należy ona do każdej podprzestrzeni, których część wspólną się rozważa.
Zamiast nieprzydatnej tu sumy mnogościowej<ref>[[Suma zbiorów|Suma mnogościowa]] dwu (i więcej) podprzestrzeni liniowych nie jest na ogół
:: <math>U + W := \{\mathbf u + \mathbf w\colon \mathbf u \in U \mbox{ oraz } \mathbf w \in W \}</math>
; Dowód
: Niech <math>\mathbf x, \mathbf y \in U + W.</math> Wówczas <math>\mathbf x
:: <math>\mathbf x + \mathbf y = \mathbf x_U + \mathbf x_W + \mathbf y_U + \mathbf y_W = \underbrace{\mathbf x_U + \mathbf y_U}_{\in U} + \underbrace{\mathbf x_W + \mathbf y_W}_{\in W} \in U + W.</math>
:
:: <math>c\mathbf x = c(\mathbf x_U + \mathbf x_W) = \underbrace{c\mathbf x_U}_{\in U} + \underbrace{c\mathbf x_W}_{\in W} \in U + W.</math>
|