Linjärt rum

Matematiska begrepp
Tal Mängd Variabel Ekvation Funktion Operator Vektor Linjärt rum

Ett linjärt rum, även kallat vektorrum, är en mängd med en linjär struktur.

Två element i mängden kan sammanfogas (adderas) till ett nytt element, som även det tillhör mängden:

$x,y \in L \quad \Rightarrow \quad x+y \in L.$

Ett element i mängden kan "multipliceras" med ett reellt tal. Då bildas ett nytt element som även det tillhör mängden:

$x \in L, \quad c \in \mathbb{R}, \quad \Rightarrow \quad c \cdot x \in L$

Detta kan också formuleras som att mängden är sluten under addition och multiplikation med skalärer. "Skalär" används oftast som en synonym för reellt tal, men det går också att definiera vektorrum mer allmänt genom att låta skalär betyda element i en bestämd kropp. Om exempelvis skalär betyder komplext tal, så har man ett komplext linjärt rum.

"Sammanfogningen" ($+$) och "multiplikationen" ($\cdot$) har samma grundläggande egenskaper som vanlig addition och multiplikation.

Definition

Ett linjärt rum, även lineärt rum eller vektorrum, är en mängd $L$ tillsammans med en kropp $F$ där addition ($+$) och multiplikation ($\cdot$) är definierade så att följande axiom är uppfyllda för alla $\mathbf{x},\mathbf{y},\mathbf{z}\in L$ och $\lambda,\mu\in F$.

I. Addition

$+ : L \times L \rightarrow L,$ (Slutenhet);

1. (Associativitet): $(\mathbf{x}+\mathbf{y})+\mathbf{z}=\mathbf{x}+(\mathbf{y}+\mathbf{z}),$
2. (Kommutativitet): $\mathbf{x}+\mathbf{y}=\mathbf{y}+\mathbf{x},$
3. (Enhetselement): $\exist \mathbf{0} \in L$ så att $\mathbf{0}+\mathbf{x}=\mathbf{x}, \qquad$
4. (Invers): $\forall \mathbf{x} \in L \ \exist \mathbf{y} \in L$ så att $\mathbf{x}+\mathbf{y}=\mathbf{0},$

II. Multiplikation med skalär

$\cdot : F \times L \rightarrow L,$ (Slutenhet);

1. (Associativitet): $\lambda\cdot(\mu\cdot\mathbf{x})=(\lambda\mu)\cdot\mathbf{x},$
2. (Distributivitet): $(\lambda+\mu)\cdot\mathbf{x}=\lambda\cdot\mathbf{x}+\mu\cdot\mathbf{x}, \qquad:$
3. (Distributivitet): $\lambda\cdot(\mathbf{x}+\mathbf{y})=\lambda\cdot\mathbf{x}+\lambda\cdot\mathbf{y}, \qquad($
4. (Enhetselement): $1\cdot\mathbf{x}=\mathbf{x}$.

Elementen i mängden $L$ kallas vektorer, elementen i mängden $F$ kallas skalärer, och $L$ sägs vara ett vektorrum över $F$.

Med hjälp av ovanstående axiom kan man bland annat visa att

$0\cdot\mathbf{x}=\mathbf{0}$

$\lambda\cdot\mathbf{0}=\mathbf{0}$

Om $F=\mathbb{R}$ så kallas det linjära rummet reellt; om $F=\mathbb{C}$ så är det komplext. Man brukar även tala om dimensionen av ett linjärt rum vilket är kardinaliteten på en bas till rummet. En bas till ett linjärt rum är en delmängd av rummet sådan att varje vektor i rummet kan, på ett unikt sätt, skrivas som en linjärkombination av vektorer från basen. Vektorerna i en bas kallas även för basvektorer. Tex om $L=F$ blir dimensionen 1 men om $L=\mathbb{C}$ och $F=\mathbb{R}$ blir dimensionen 2. Varje linjärt rum med ändlig dimension n är isomorft med $F^n$ där $F$ är kroppen.

Att man ovan kräver att operationerna (+) och (*) är slutna, innebär att
om vektorerna x och y ligger i L så ligger också x+y i L, d. v. s. vektorsummor "stannar kvar" i L. På motsvarande sätt gäller för varje skalär a ∈ F och vektor x ∈ L att produkten $a \mathbf x \in L$.
Det är ibland krångligt att bevisa slutenhetsegenskaperna. En delmängd till L, som innehåller nollvektorn, är ett delrum precis om det är slutet under de två operationerna.

En funktion F från ett linjärt rum L till ett linjärt rum L' kallas för en linjär avbildning om F "respekterar operationerna", d. v. s. om

$F ( \lambda\cdot\mathbf{x} + \mu\cdot\mathbf{y} ) = \lambda\cdot F(\mathbf{x}) + \mu\cdot F(\mathbf{y}), \forall \mathbf{x},\mathbf{y}\in L,\forall \lambda,\mu\in F$.

Här kan L antingen vara ett annat rum än L', eller det gälla att L=L'.

Exempel

Klicka på bilden för att läsa ett exempel.

$\mathbb{R}^n$ som ett reellt linjärt rum där vektorerna är definierade som n-tiplar av reella tal.

Mängden av alla kontinuerliga funktioner $f\colon\mathbb{R}\rightarrow\mathbb{R}$ - en mängd som oftast betecknas C⁰ - är också ett linjärt rum, men med oändlig dimension.

Generalisering

Om man behåller alla villkor i definitionen av ett linjärt rum över F, utom att man släpper kravet att området F av skalärer ska vara en kropp, och bara kräver att F är en ring, så får man en modul. Annorlunda uttryckt kan linjära rum definieras som moduler över kroppar. Moduler i allmänhet har vissa men inte alla egenskaper som kroppar har. Viktigast är, att en modul i allmänhet inte har någon bas. Linjära rum har ju baser, och är därför fria moduler.

Se även

• Linjär algebra
• Delrum
• Metriskt rum
  • Normerat rum
    • Banachrum
    • Inre produktrum
      • Hilbertrum