0 Daumen
7,6k Aufrufe

Zeigen Sie, dass der mengentheoretische Durchschnitt A ∩ B zweier Unterräume A und B eines Vektorraumes V wiederum ein Unterraum von V ist.

Avatar von
Nutze ein/das untergruppenkriterium.

Meinst du nicht das Untervektorraumkriterium? ;-)

Ja, ich sollte abends weniger trinken.

1 Antwort

+1 Daumen
 
Beste Antwort

Ein Teilmenge U eines Vektorraumes V über einem Körper K  heißt Untervektorraum, wenn gilt:

a) U ≠ ∅

b ) u , v => ( u + v ) U

und

c) a ∈ K ∧ u U => a * UU

 

Seien  nun A  und B Untervektorräume von V.
Zeige, dass dann auch A ∩ B ein Untervektorraum von V ist, dass also A ∩ B die Definition eines Untervektorraumes von V erfüllt.

a) Da A und B Untervektorräume von V sind, erfüllen beide die angegebene Definition. Insbesondere sind also beide nicht leer.
Wenn sie aber nicht leer sind, dann enthalten sie in jedem Falle den Nullvektor von V.
Denn dieser ist entweder ohnehin Element beider Mengen A und B oder A und/oder B enthalten mindestens einen  Vektor xV bzw. yV . Dann aber gilt, weil  A und B als Untervektorräume abgeschlossen bzgl. der Skalarmultiplikation sind ( Teil c der Definition) insbesondere für a = 0 : 0 * x  = 0  ∈ A bzw. 0 * y = 0 B.
Wenn also A bzw. B einen Vektor ≠  0 enthält, dann folgt daraus, dass auch der Nullvektor von V in A bzw. B enthalten ist..

Wenn aber beide Untervektorräume A und B den Nullvektor von V enthalten, dann enthält auch A ∩ B den Nullvektor von V und dann gilt also:

A ∩ B ≠ ∅

 

b) u, vA ∩ B

=> u , vAu , vB

Da A und B Untervektorräume sind, sind sie abgeschlossen bzgl. der Addition (Teil b der Definition), also:

=>  u + v  ∈ A ∧  u + B

=> ( u + v ) A ∩ B

 

c)  uA ∩ B

=> u AuB

Da A und B Untervektorräume sind, sind sie abgeschlossen bzgl. der Skalarmultiplikation  (Teil c der Definition), also gilt für alle a ∈ K:

=> a * uAa * u B

=> ( a * u ) ∈ A ∩ B

 

Der Beweis zu a) mag vielleicht noch etwas eleganter zu führen bzw. zu formulieren sein ...

Avatar von 32 k

Ein anderes Problem?

Stell deine Frage

Willkommen bei der Mathelounge! Stell deine Frage einfach und kostenlos

x
Made by a lovely community