Académique Documents
Professionnel Documents
Culture Documents
Matrikelnummer: 30102839
Datum: 20. Marz 2011
Fachbereich Mathematik und Naturwissenschaften
der Universitat Kassel
Ausarbeitung zum Proseminar:
Zahlen
Kapitel 8
' 3. Satz von HOPF
Wintersemester 2010/11
INHALT
Inhalt
Inhalt 1
1 Topologisierung reeller Algebren 2
2 Die Quadratabbildung A A, x x
2
. HOPFsches Lemma 5
3 Satz von Hopf 7
4 Beschreibung Algebren mit Einselement 9
Literatur 12
1
1 TOPOLOGISIERUNG REELLER ALGEBREN
1 Topologisierung reeller Algebren
Denition 1 (Norm). Sei V ein reeller Vektorraum. Eine Abbildung
|.| : V R
mit den Eigenschaften
1. |x| > 0 f ur x = 0
2. |x| = [[|x| x V, R
3. |x + y| |x| +|y| x, y V
heit Norm in V. Ein Vektorraum mit einer Norm heit normierter Vektorraum.
Beispiel. Jeder euklidische Vektorraum mit Skalarprodukt 'x,y` besitzt die so-
genannte euklidische Norm
|x| :=
'x,x`.
Besitzt ein Vektorraum V eine Norm, so lasst sich in ihm ein Abstandsbegri, eine
sogenannte Metrik d(.,.), mittels d(x,y) := |x y| denieren. Diese ermoglicht
uns f ur normierte Vektorraume alle topologischen Begrie wie z.B. oene und
abgeschlossene Mengen, Kovergenz, Stetigkeit, usw. einzuf uhren. Damit wird V
zu einem topologischen Raum. Ein wichtiger Satz aus der Analysis besagt, dass in
endlichdimensionalen Vektorraumen alle Normen aquivalant sind, was bedeutet,
dass sie alle zu den selben topologischen Eigenschaften f uhren. Es besteht somit
die freie Wahl einer Norm.
Lemma 1. Die folgenden Abbildungen sind stetig:
1. |.| : V R, x |x|
2. + : V V V, (x,y) x + y
3. : R V V, (,x) x
Beweis: Zu 1.: Sei x, y V .
Aus
|x| = |x y + y| |x y| +|y|
folgt:
|x y| |x| |y|.
Sei also |x y| <
[|x| |y|[ |x y| < :=
2
1 TOPOLOGISIERUNG REELLER ALGEBREN
|.| ist stetig.
Zu 2.: Sei (x
k
,y
k
)
kN
eine Folge von Punkten aus V V mit
lim
k
(x
k
,y
k
) = (x,y).
Damit gilt:
lim
k
x
k
= x und lim
k
y
k
= y.
lim
k
+(x
k
,y
k
) = lim
k
(x
k
+ y
k
) = lim
k
x
k
+ lim
k
y
k
= x + y
+ ist stetig.
Zu 3.: Sei nun (
k
,x
k
)
kN
eine Folge von Punkten aus R V mit
lim
k
(
k
,x
k
) = (,x).
Daraus folgt wieder:
lim
k
k
= und lim
k
x
k
= x.
lim
k
(
k
,x
k
) = lim
k
(
k
x
k
) = ( lim
k
k
)( lim
k
x
k
) = x
* ist stetig.
(x).
2.Fall: |x| < |y| |x y| |y| |x| = [|x| 1[ = y / B
(x).
3
1 TOPOLOGISIERUNG REELLER ALGEBREN
Also ist V `S oen und S somit abgeschlossen. Nach dem Satz von Heine-Borel
ist S damit kompakt.
n
i=1
i
v
i
und y :=
n
i=1
i
v
i
.
Da V endlichdimensional ist, ist er isomorph zu R
n
und somit ist die Abbildung
f : x (
1
, . . . ,
n
)
T
ein Isomorphismus. Diese ist stetig, weil lineare Abbildun-
gen zwischen endlichdimensionalen Raumen immer stetig sind.(*)
Die Abb. f ist genau dann stetig, wenn sie in jeder Komponente stetig ist. Hieraus
folgt, dass auch x
i
stetig ist. Und weil die Multiplikation in R stetig ist und
nach Lemma 1 auch die Vektoraddition und die Multiplikation eines Vektors mit
einem Skalar stetig sind, ist auch (x,y)
n
i,j=1
j
v
i
v
j
= xy stetig.
Zu 2. bzw. 3.: Es gen ugt zu zeigen, dass Zahlen > 0 exestieren, sodass f ur
alle x, y A mit |x| = |y| = 1 gilt: |xy| , denn alle anderen Elemente
der Algebra sind linear abhangig zu solchen Elemten. Also gilt f ur x
:= x und
y
:= y, , R: |x
||y
| = [[|x|[[|y| [[|xy| = |x
| [[ =
|x
||y
<
|x y| <
|A| =: .
2 Die Quadratabbildung A A, x x
2
. HOPF-
sches Lemma
In jeder R-Algebra A ist die Quadratabbildung A A, x x
2
wohlde-
niert, da f ur jedes x A das Element x
2
A eindeutig bestimmt ist.
Denition 3. Sei A nullteilerfrei und A
, x x
2
.
Lemma 4. Ist A kommutativ und nullteilerfrei, so hat jeder Punkt y Im(q)
genau zwei verschiedene Urbilder in A
.
Beweis: Sei w Im(q) und sei a
2
= w, a A
. Sei nun c A
Bevor wir nun zu dem wichtigsten Resultat in diesem Paragraphen, dem HOPF-
schen Lemma kommen, m ussen wir noch einige Begrie denieren, die essentiel
f ur unseren Beweis des HOPFschen Lemmas sind.
Denition 4. Seien X und Y zwei topologische Raume und eine Abbildung f :
X Y gegeben.
1. f heit lokal-topologisch in x X, wenn es eine oene Umgebung U von x
gibt, so dass f(U) oen in Y und die induzierte Abbildung f[U : U f(U)
topologisch ist.
2. f heit eine
Uberlagerung, wenn jeder Punkt y Y eine oene Umgebung
W besitzt, sodass f
1
die dijunkte Vereinigung von in X oenen Mengen
U
j
, so, dass alle Abbildungen f
j
: U
j
W topologisch sind. Ist der Raum
X zusammenhangend, so heit f zusammenhangende
Uberlagerung. Hat
jeder Punkt y Y genau k (k N) verschiedene f-Urbilder, so heit f
k-blattrig.
Lemma 5 (HOPFsches Lemma). Sei A = (V,) eine kommutative und nulltei-
lerfreie reelle Algebra, so dass gilt:
1. Es gibt eine Norm auf V, so dass die Abbildung q in allen Punkten von A
lokal-topologisch ist.
2. Jedes Element aus A ist ein Quadrat bzw. besitzt eine Quadratwurzel.
Dann ist A ist zweidimensional.
Beweis: Da in A jedes Element nach Vorraussetzung eine Quadratwurzel be-
sitzt und in R unter anderem die -1 kein Quadrat ist, konnen A und R nicht
isomorph zueinander sein. Somit gilt nach Satz 4 im Repertorium: dim(A) = 1.
Um nun dim(A) > 2 auszuschlieen, beweisen wir die folgende Zwischenbehaup-
tung:
Die Abbildung q ist eine 2-blattrige zusammenhangende
Uberlagerung.
Beweis der Zwischenbehauptung:
Zuerst zeigen wir, dass q eine
Uberlagerung ist.
Sei also w A
und sei q
1
(w) = a, a. Da q nach Vorraussetzung in allen
Punkten von A
von a bzw. a, die jeweils durch q topologisch auf oene Umgebungen von w
6
3 SATZ VON HOPF
abgebildet werden. Wir d urfen annehmen, dass
U
U
U) q(
), U := q
1
(w)
U und U
:= q
1
(W)
U
.
Da sowohl q(
U) als auch q(
W
topologisch. Auerdem gilt wieder U U
. Also gilt q
1
(W) = U U
. Hieraus folgt,
dass q eine
Uberlagerung ist.
Nach der zweiten Vorraussetzung ist q surjektiv und damit hat nach Lemma 4
jeder Punkt aus A
zusam-
menhangend und somit ist q eine 2-blattrige zusammenhangende
Uberlagerung.
Nun gilt aber f ur jeden normierten reellen Vektorraum V folgender Zusammen-
hang:
Ist dim(V ) 3, so ist jede zusammenhangende
Uberlagerung : X V `0
einblattrig.
Mit Hilfe dieser Bemerkung und der vorher bewiesenen Zwischenbehauptung lasst
sich nun auch dim(A) > 2 ausschlieen.
Daraus folgt, dass A zweidimensional ist.
(v)(h)|
|h|
= 0, h V.
Bemerkung: Die Abbildung f
(a) = L
a
+ R
a
, wobei L
a
: V V, x ax und
R
a
: V V, x xa gilt. Ist A dar uber hinaus noch kommutativ, so ist q
(a) f ur
alle a A bijektiv.
Beweis: Nach Lemma 3 gilt: |h
2
| |h|
2
, R.
lim
h0,h=0
|q(a + h) q(a) q
(a)(h)|
|h|
= lim
h0,h=0
|(a + h)
2
a
2
(L
a
+ R
a
(h)|
|h|
= lim
h0,h=0
|a
2
+ ah + ha + h
2
a
2
(ah + ha)|
|h|
= lim
h0,h=0
|h
2
|
|h|
lim
h0,h=0
|h| = 0, a A.
Wenn A kommutativ ist, gilt L
a
= R
a
und damit auch: q
(a)(v) = 2L
a
(v) =
2av, v A. Damit gilt oensichtlich: q
(a)(x) q
: V Hom(V,V ), v f
(v)
stetig ist.
Satz 2 (Lokaler Umkehrsatz). Sei f : V V stetig dierenzierbar. Ist v V
ein Punkt, sodass f
lokal-topologisch.
Beweis: Nach Lemma 5 ist q in jedem Punkt a A dierenzierbar und q
(a)
in jedem Punkt a A
(a)(h) + q
(b)(h).
8
4 BESCHREIBUNG ALGEBREN MIT EINSELEMENT
Da V endlichdimensional ist, ist q
lokal-topologisch ist.
ist. Es
gilt:
q(A
) =
i
q(U
i
)
offen
q(A
= q(A
)
.
(A
`q(A
)) folgt: A
`q(A
) = , d.h. q(A
) = A
. Damit
ist auch die zweite Bedingung des Hopfschen Lemmas erf ullt, also ist dim(A) = 2.
=0
= 0. Es gilt: Rx Ry = 0, denn
sonst waren Rx = Ry = Im(A) und x,y Im(A). Abb. 1 zeigt geometrisch,
wie man sich ein solches w konstruiren kann:
Abb. 1: Wir wahlen e und ein beliebiges Element z A`Re als Basis von A. Da
Rx Ry = 0 gilt, sind die Geraden Rx und Ry nicht parallel. Somit lasst sich
immer eine Gerade nden, die durch e geht und Rx und Ry so schneidet, dass
die Schnittpunkte x und y den gleichen Abstand zu e haben. F ur w := e x
gilt dann die Aussage in (*).
10
4 BESCHREIBUNG ALGEBREN MIT EINSELEMENT
Lemma 9. F ur jede zweidimensionale reelle Algebra A mit Einselement e sind
drei Falle moglich:
1. A ist isomorph zur
Algebra (R
2
,) der dualen Zahlen, d.h., dass e =:
(1,0) R
2
Einselement ist und f ur := (0,1) R
2
gilt:
2
= 0.
2. A ist isomorph zur
=e
+2ew + w
2
=e
) =
1
2
(e + w) = u
v
2
= [
1
2
(e w)]
2
=
1
4
( e
2
=e
2ew + w
2
=e
) =
1
2
(e w) = v
uv = [
1
2
(e + w)][
1
2
(e w)] =
1
4
( e
2
=e
w
2
=e
) = 0.
11
LITERATUR
Literatur
[1] Heinz-Dieter Ebinghaus et al.: Zahlen, 3. Auage, Springer Verlag 1992
[2] Otto Forster: Analysis 2, 7. Auage, vieweg Verlag 2006
12