0 Daumen
325 Aufrufe

Aufgabe:

Sei V V ein K K -Vektorraum und seien W1,W2V W_{1}, W_{2} \subseteq V zwei Unterräume. Beweisen Sie, dass W1W2 W_{1} \cup W_{2} genau dann ein Unterraum ist, wenn W1W2 W_{1} \subseteq W_{2} oder W2W1 W_{2} \subseteq W_{1} gilt.


Ansatz/Problem:

Ich würde gerne wissen, ob die Idee für die Richtung "⇒" passt.

Richtung "⇐": Wenn W1 ⊆ W2 gilt, dann ist W1 ∪ W2 = W1, analog wenn W2 ⊆ W1, dann ist W1 ∪ W2 = W2
Und laut Aufgabe sind W1 und W2 ja Unterräume. Also ist dann auch W1 ∪ W2 Unterraum.

Richtung "⇒": W1 ∪ W2 ist ein Unterraum, dann muss gelten:
- W1 und W2 sind jeweils ein Unterraum.
- Es muss für jedes wi aus W1 ∪ W2 die Abgeschlossenheit der Vektoraddition gelten (neben der Existenz der 0 und der Skalarmultiplikation) . Das geht nur, wenn alle wi ∈ W1, ∈ W2 sind, da man sonst w1 und w2  finden kann, sodass
w1 ∈ W1 aber w1 ∉ W1 ∪ W2   bzw.    w2 ∈ W2 aber w2 ∉ W1 ∪ W2.
Daher muss W1 ⊆ W2 oder W1 ⊆ W2 gelten.

Ich bin mir sicher, es geht auch kürzer bzw effizienter haha

Avatar von

1 Antwort

0 Daumen
 
Beste Antwort
Es muss für jedes wi aus W1 ∪ W2 die Abgeschlossenheit der Vektoraddition gelten

Das ist eine falsche Formulierung: Abgeschlossenheit bezüglich der Addition eines (potentiellen) Unterraums U bedeutet: u,vU : u+vU\forall u,v \in U: u+v \in U

w1 ∈ W1 aber w1 ∉ W1 ∪ W2

Das geht nicht, weil W1W1W2W_1 \sube W_1 \cup W_2

Den gesuchten Beweis kann man indirekt so führen, Annahme: Es ist weder W1W2W_1 \sube W_2 noch W2W1W_2 \sube W_1, aber dennoch W1W2W_1 \cup W_2 ein Unterraum. Wähle uW1W2u \in W_1 \setminus W_2 und vW2W1v \in W_2 \setminus W_1. also  u+vW1W2u+v \in W_1 \cup W_2.$$

FALL :  u+v=wW2u=wvW2 :  Widerspruch\text{FALL: }u+v=w \in W_2 \Rightarrow u=w-v \in W_2 \text{: Widerspruch}

FALL :  u+v=wW1v=wuW1 :  Widerspruch\text{FALL: }u+v=w \in W_1 \Rightarrow v=w-u \in W_1 \text{: Widerspruch}

Avatar von 14 k

Vielen Dank!
blob.png

Text erkannt:

w1 W1 \mathrm{w} 1 \in \mathrm{~W} 1 aber w1 W1 W2 \mathrm{w} 1 \notin \mathrm{~W} 1 \cup \mathrm{~W} 2

Das geht nicht, weil W1W1W2 W_{1} \subseteq W_{1} \cup W_{2}

Genau das wollte ich zeigen mit einem Widerspruch :)

LG

Ein anderes Problem?

Stell deine Frage