,
sei Vektorraum, heißt Untervektorraum (Teilraum) von
, falls
gelten:
,

,

,
ist Teilraum von
.
ist Teilraum von
.
:
,
Ist dies ein Unterraum? Nein, es sei denn
.

,
:



sei Vektorraum:
,
,
heißen linear unabhängig, falls aus
folgt
.
Folgende Vektoren
sind linear unabhängig:

sei Vektorraum:
,
,
heißen linear abhängig, falls die nicht
linear unabhängig sind, d.h. es gibt:

Auch sind folgende Vektoren
linear unabhängig:

Wir betrachten außerdem
.
,
,
und
sind dann linear
abhängig:



Drücke
durch
aus. Sind
,
,
,
linear abhängig, so
heißt das:
, wobei mindestens
. Es sei etwa
. Damit ergibt sich
, das heißt:
,
,
,
=
,
,
. {
,
,
sind linear abhängig, falls ein
Vektor der Nullvektor
ist.
Eine Basis (Koordinatensystem) in einem Vektorraum
ist eine Menge
von
Vektoren mit folgenden Eigenschaften:
ist linear unabhängig.
Der Vektorraum heißt endlich dimensional, wenn es eine endliche Basis gibt. Der
Vektorraum ist unendlich dimensional, wenn es zu jedem
n linear
unabhängige Vektoren gibt.

Diese nennt man kanonische Basis, natürliche Basis, Standardbasis.
,
,
sind linear unabhängig.


:
,
,
,
sind Basis in
.


Wie kann man das zeigen?
Setze vier
-Werte ein und berechne
Man kann auch nacheinander differenzieren und
-Werte einsetzen.
|
Es sei |
|
|
|

Zu überprüfen ist, daß aus
folgt
,
,
,
.

,
,
,

,
,
,
,
sind linear abhängig.

:
gegeben durch:


,
und
sind gesucht:



ist injektiv und surjektiv.

|
Es sei |
|
|
Wir nehmen an, daß
,
,
linear unabhängig sind:
. Ist etwa
:


|
Es seien |
|
und
wird mit vorhergehendem Satz ausgeschlossen. Daraus ergibt
sich
.
Wir erinnern uns:


|
Es sei ![]()
|
Es ist zu zeigen, daß
ein Skalarprodukt auf
ist.





![1
integral ----
C[0,1] : <f,g> = f(x)g(x)dx
0](ma568x.gif)
ist sowohl stetig als auch komplex.

Betrachten wir die
-periodische Funktion aus
:

Ein komplexer Vektorraum
mit Skalarprodukt
heißt unitärer Raum. Ein
reeller Vektorraum mit Skalarprodukt heißt euklidischer Raum.
|
|

![1 1
| integral 1 ---- | ( integral 1 ) 2 ( integral 1 ) 2
C[0,1] :|| f(x)g(x)dx||< |f (x)|2dx |g(x)|2dx
0 0 0](ma591x.gif)
In einem unitären Raum heißen
,
orthogonal zueinander, falls
gilt.



|
|
|
Es sei |
|


:

![ikx
In C[- p,p] : ek(x) = e](ma621x.gif)



Aufgaben 2/4: Übergang von einer Basis zu einer Orthonormalbasis
|
In einem unitären Vektorraum
|



