mirror of
https://gitlab.gwdg.de/j.hahn02/university.git
synced 2026-01-01 06:44:25 -05:00
60 lines
1.9 KiB
Typst
60 lines
1.9 KiB
Typst
// Main VL template
|
|
#import "../preamble.typ": *
|
|
|
|
// Fix theorems to be shown the right way in this document
|
|
#import "@preview/ctheorems:1.1.3": *
|
|
#show: thmrules
|
|
|
|
// Main settings call
|
|
#show: conf.with(
|
|
// May add more flags here in the future
|
|
num: 6,
|
|
type: 0, // 0 normal, 1 exercise
|
|
date: datetime.today().display(),
|
|
//date: datetime(
|
|
// year: 2025,
|
|
// month: 5,
|
|
// day: 1,
|
|
//).display(),
|
|
)
|
|
|
|
= Uebersicht
|
|
|
|
#theorem[
|
|
Sei $(X, norm(*))$ ein normierter Vektorraum. Dann gilt:
|
|
- Es gibt eine Isometrie $z: X -> hat(X)$ in einen Banachraum $hat(X)$, deren Bild dicht in $hat(X)$ liegt
|
|
- Die Isometrie $z$ ist durch $(X, norm(*))$ im wesentlichen eindeutig bestimmt (d.h. ist $z_(2) :X -> hat(X)_(2) $ eine weitere Isometrie, so gibt es einen isometrischen Isomorphismus $phio$
|
|
]
|
|
|
|
#proof[
|
|
Betrachte alle Cauchyfolgen in $QQ$. Nun laesst sich dort $QQ$ wiederfinden durch
|
|
$
|
|
q |-> (q, q, ...) ~ (q + 1, q + 1/2, q + 1/3, ...).
|
|
$
|
|
]
|
|
|
|
Ob etwas eine Cauchyfolge ist kommt auf die bezuegliche Norm an.
|
|
|
|
Betrachte
|
|
$
|
|
L^2 ([0, 1], RR) \, space f = g <==> f = g + h \, space h : N -> RR \
|
|
l^2 (CC) = {(a_0, a_1, a_2, a_3, ...) subset CC : underbrace(sum abs(a_(j) )^2, = norm(a)_(l^2 )^2 ) < oo } \
|
|
v_(n) = (v_(n, 0), v_(n, 1), ... ) "ist eine Folge in" l^2 (CC) "also" sum_(k = 0)^(oo) abs(v_(n, k))^2 < oo \
|
|
(v_(n) )_(n in NN) "ist Cauchyfolge".
|
|
$
|
|
|
|
Bildung des Grenzwerts
|
|
$
|
|
V = (lim_(n -> oo) v_(n, 0) , underbrace(lim_(n -> oo) v_(n, 1), in CC) , ...) in l^2 (CC).
|
|
$
|
|
Abstand
|
|
$
|
|
norm(v_(n) - V)^2 _(l^2 ) = sum_(k = 0)^(oo) abs(v_(n, k) - V_(k) )^2
|
|
$
|
|
Epsilon delta
|
|
$
|
|
forall epsilon > 0 exists delta > 0 : norm(phio (v) - phio (u_0 )) < epsilon space forall v, u_0 "mit" norm(v - u_0 ) < delta \
|
|
phio_("linear") phio (v - u_0 ) \
|
|
norm(phio (w)) < epsilon space forall norm( w) < delta \, space norm(A)_(oo) = sup _(norm(w)= 1) norm(A (u)) = sup_(u != 0) (norm(A (u))) / (norm(u)).
|
|
$
|