TU Wien:Algebra und Diskrete Mathematik VU (diverse)/Übungen 2025W/Beispiel 463

Untersuchen Sie, ob $W$ Teilraum des Vektorraums $V={ℝ}^3$ über $ℝ$ ist und beschreiben Sie die Menge $W$ geometrisch:

$W=\{(x,y,z)\mid x=2\cdot y\}$

Dieses Beispiel hat einen unbekannten Lösungsstatus. Bitte editiere diese Seite und schreibe den dir bekannten Status ins Beispiel. Die möglichen Werte sind hier: Vorlage:Beispiel dokumentiert. Führe folgende Änderung durch:

{{Beispiel|1=
Angabetext
}}

oder

{{Beispiel|
Angabetext
}}

zu (im Falle einer korrekten, unverifizierten Lösung "solved". Auch möglich "unsolved", "wrong", "verified_by_tutor". Alle möglichen Werte sind hier: Vorlage:Beispiel dokumentiert.)

{{Beispiel|status=solved|1=
Angabetext
}}

Hilfreiches

Untervektorraum

Untervektorraum

Sei $⟨U,+,K⟩$ ein Vektorraum, $U\subseteq V$ heißt Unterraum oder Teilraum, wenn:

• $U\ne \varnothing$
• $\overrightarrow{x},\overrightarrow{y}\in U⟹\overrightarrow{x}+\overrightarrow{y}\in U(U$ ist abgeschlossen bezüglich $U+U)$
• $\overrightarrow{x}\in U,\lambda \in K⟹\lambda \overrightarrow{x}\in U(U$ ist abgeschlossen bezüglich $U\cdot K)$

Lösungsvorschlag von Berti

1. Kriterium

Kriterium 1 ist, dass $W$ keine leere Menge sein darf. Da es aber offensichtlich eine Lösung für $x=2y,\mathrm{\forall }x,y\in ℝ$ gibt, ist das Kriterium erfüllt.

Beispiel:

$\left[\begin{array}{c}2\\ 1\\ z\end{array}\right]$

2. Kriterium

Kriterium 2 ist die Abgeschlossenheit bezüglich $U+U$. Da $x+x=2y+2y=4y$ nicht im Widerspruch zu $2\cdot x=2\cdot 2y=4y$ steht.

Beispiel:

$\left[\begin{array}{c}2\\ 1\\ z\end{array}\right]+\left[\begin{array}{c}4\\ 2\\ z\end{array}\right]=\left[\begin{array}{c}6\\ 3\\ 2z\end{array}\right]$

3. Kriterium

Kriterium 3 ist die Abgeschlossenheit bezüglich $U\cdot K$. Da $\lambda x=\lambda 2y$ nicht im Widerspruch zu $\lambda x=2\lambda y$ steht:

$\left[\begin{array}{c}2\\ 1\\ z\end{array}\right]\cdot \lambda =\left[\begin{array}{c}2\lambda \\ \lambda \\ \lambda z\end{array}\right]$

Anmerkung: muss man nicht noch die 4 Kriterien eines Vektorraums beweisen, die im Mathematik für Informatik Buch stehen? Es ist ja nicht automatisch gegeben, dass es abgeschlossene Teilmenge eines Vektorraums auch ein UnterRAUM ist. Müsste man dafür nicht auch die 4 Sachen beweisen?

Geometrische Darstellung

Am einfachsten lässt es sich so vorstellen:

Ich schaue genau von oben die z Achse nach unten. Dann bilden x und y Achse einen rechten Winkel. Der Unterraum läuft jetzt schräg mit einer Steigung von 2 wie eine Linie nach oben.

https://picload.org/image/rodalclo/plot.jpg

Unter Mac OS X ist das vorinstallierte Tool Grapher sehr praktisch um interaktive 2D und 3D Plots zu machen.

-- Berti933 (Diskussion) 19:16, 18. Jan. 2015 (CET)

Hilfreiches von Har203

Vektorraum

Vektorraum

Sei $(V,+)$ eine abelsche Gruppe und $K$ ein Körper. $(V,+,K)$ heißt Vektorraum, wenn $\mathrm{\forall }\overrightarrow{x},\overrightarrow{y}\in V,\mathrm{\forall }\lambda ,\mu \in K$ folgendes gilt:

1. $\lambda \cdot (\overrightarrow{x}+\overrightarrow{y})=\lambda \overrightarrow{x}+\lambda \overrightarrow{y}$
2. $(\lambda +\mu )\cdot \overrightarrow{x}=\lambda \overrightarrow{x}+\mu x$
3. $(\lambda \cdot \mu )\cdot \overrightarrow{x}=\lambda \cdot (\mu \overrightarrow{x})$
4. $1\cdot \overrightarrow{x}=\overrightarrow{x}$

Untervektorraum

Sei $⟨V,+,K⟩$ ein Vektorraum, $U\subseteq V$ heißt Unterraum oder Teilraum, wenn:

• $U\ne \varnothing$
• $\overrightarrow{x},\overrightarrow{y}\in U⟹\overrightarrow{x}+\overrightarrow{y}\in U(U$ ist abgeschlossen bezüglich $U+U)$
• $\overrightarrow{x}\in aU,\lambda \in K⟹\lambda \overrightarrow{x}\in U(U$ ist abgeschlossen bezüglich $U\cdot K)$

Lösungsvorschlag von Har203

--Har203 22:06, 3. Mär. 2026 (CET)

Untersuchen Sie, ob $W$ Teilraum des Vektorraums $V={ℝ}^3$ über $ℝ$ ist und beschreiben Sie die Menge $W$ geometrisch:

$W=\{(x,y,z)\mid x=2\cdot y\}$

Nicht leer:

• $W\ne \mathrm{\varnothing }$, da $\overrightarrow{0}=(x_1,x_2,x_3)=(0,0,0)\in W$, mit $x_1=2\cdot x_2⟹\overrightarrow{0}\in W$.

Abgeschlossen bezüglich Addition:

• Seien $\overrightarrow{x}=(x_1,(x_1/2),x_3),\overrightarrow{y}=(y_1,(y_1/2),y_3)\in W⟹\overrightarrow{x}+\overrightarrow{y}=(x_1,(x_1/2),x_3)+(y_1,(y_1/2),y_3)=(x_1+y_1,(1/2)\cdot (x_1+y_1),x_3+y_3)⟹(\overrightarrow{x}+\overrightarrow{y})\in W$.

Daher ist $W=\{(x,y,z)\mid x=2\cdot y\}$ bezüglich der Addition abgeschlossen.

Abgeschlossen bezüglich der Skalarmultiplikation:

• Seien $\overrightarrow{x}=(x_1,(x_1/2),x_3)\in W,\lambda \in ℝ$.

$\lambda \cdot \overrightarrow{x}=\lambda \cdot (x_1,(x_1/2),x_3)=(\lambda \cdot x_1,\lambda \cdot (x_1/2),\lambda \cdot x_3⟹$

Gilt $\lambda \cdot x_1=2\cdot \lambda \cdot (x_1/2)=\lambda \cdot x_1:\text{Ja!}⟹(\lambda \cdot \overrightarrow{x})\in W$.

Das heißt , dass $W=\{(x,y,z)\mid x=2\cdot y\}$ bezüglich der Skalarmultiplikation abgeschlossen ist.

Geometrische Interpretation: $W=\{(x,y,z)\mid x=2\cdot y\}:$ $z\in ℝ$ ist beliebig, das heißt, dass alle Figuren entlang der $z$-Richtungen gestreckt werden (ins $\pm$ Unendliche). Es gilt $x=2\cdot y$, nach $z$ aufgelöst, gilt $y=(x/2)$. Das ist eine Gerade durch den Ursprung ($d=0$) mit der Steigung $k=(1/2)$ in der $xy$-Ebene. Da $z$ beliebig ist, wird diese Gerade in den $z$-Richtungen zu einer Ebene aufgespannt bzw. gestreckt.

Die Menge $W$ reduziert sich auf:

$W=\{(x,(x/2),z)\mid x,z\in ℝ\}$

Gesamtergebnis: Da $W\ne \mathrm{\varnothing }$ und abgeschlossen bezüglich der Addition, sowie abgeschlossen bezüglich der Skalarmultiplikation ist, folgt $W\le V$. Somit ist $W$ ein Untervektorraum von ${ℝ}^3$.

Eine Basis des Unterraumes wäre: $b_1=(1,(1/2),0)$ und $b_2=(0,0,1)$ und die Dimension des Unterraumes ist $\dim (W)=2$. $◼$.

Links

Wikipedia:

• Vektorraum
• Teilraum, Unterraum

Ähnliche Beispiele:

• TU_Wien:Algebra_und_Diskrete_Mathematik_VU_(diverse)/Übungen_2025W/Beispiel_464
• TU_Wien:Algebra_und_Diskrete_Mathematik_VU_(diverse)/Übungen_2025W/Beispiel_465
• TU_Wien:Algebra_und_Diskrete_Mathematik_VU_(diverse)/Übungen_2025W/Beispiel_466
• TU_Wien:Algebra_und_Diskrete_Mathematik_VU_(diverse)/Übungen_2025W/Beispiel_467
• TU_Wien:Algebra_und_Diskrete_Mathematik_VU_(diverse)/Übungen_2025W/Beispiel_468
• TU_Wien:Algebra_und_Diskrete_Mathematik_VU_(diverse)/Übungen_2025W/Beispiel_469
• TU_Wien:Algebra_und_Diskrete_Mathematik_VU_(diverse)/Übungen_2025W/Beispiel_470
• TU_Wien:Algebra_und_Diskrete_Mathematik_VU_(diverse)/Übungen_2025W/Beispiel_471
• TU_Wien:Algebra_und_Diskrete_Mathematik_VU_(diverse)/Übungen_2025W/Beispiel_472
• TU_Wien:Algebra_und_Diskrete_Mathematik_VU_(diverse)/Übungen_2025W/Beispiel_473
• TU_Wien:Algebra_und_Diskrete_Mathematik_VU_(diverse)/Übungen_2025W/Beispiel_474

Weitere Beispiele:

• TU Wien:Mathematik 1 UE (diverse)/Übungen WS07/Beispiel 326
• TU Wien:Mathematik 1 UE (diverse)/Übungen WS07/Beispiel 327
• TU Wien:Mathematik 1 UE (diverse)/Übungen WS07/Beispiel 328
• TU Wien:Mathematik 1 UE (diverse)/Übungen WS07/Beispiel 329
• TU Wien:Mathematik 1 UE (diverse)/Übungen WS07/Beispiel 330
• TU Wien:Mathematik 1 UE (diverse)/Übungen WS07/Beispiel 331
• TU Wien:Mathematik 1 UE (diverse)/Übungen WS07/Beispiel 332
• TU Wien:Mathematik 1 UE (diverse)/Übungen WS07/Beispiel 333
• TU Wien:Mathematik 1 UE (diverse)/Übungen WS07/Beispiel 334
• TU Wien:Mathematik 1 UE (diverse)/Übungen WS07/Beispiel 335
• TU Wien:Mathematik 1 UE (diverse)/Übungen WS07/Beispiel 336