edit-this-file.tex 4.37 KB
Newer Older
Harry Fuchs's avatar
Harry Fuchs committed
1
2
* Compiled on \today

Harry Fuchs's avatar
Harry Fuchs committed
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
* Ü1

bla

** Ü2

bla

*** Ü3

bla

**** Ü4

bla

***** Ü5

bla

****** Ü6

Harry Fuchs's avatar
Harry Fuchs committed
25
* Ü2
Harry Fuchs's avatar
Harry Fuchs committed
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46

bla bla bla

- S1
 - S2
  - S3
   - S4

bla bla bla

1. S1
 2. S2
  3. S3
   4. S3

Zitat:

#+BEGIN_QUOTE
Zitatinhalt
#+END_QUOTE

Harry Fuchs's avatar
Harry Fuchs committed
47
48
German „quotes“ and ‚inner quoates‘.

Harry Fuchs's avatar
Harry Fuchs committed
49
50
51
52
* Thema
** Definition

Sei $x\in \mathbb R$, dann:
Harry Fuchs's avatar
Harry Fuchs committed
53
$$1
Harry Fuchs's avatar
Harry Fuchs committed
54
  x=\sqrt{b}
Harry Fuchs's avatar
Harry Fuchs committed
55
$$1
Harry Fuchs's avatar
Harry Fuchs committed
56
57
58
59
60
61
für ein $b\in \mathbb C$.

Beweis:

- Als erstes $f\colon A \to B$
- Nun noch
Harry Fuchs's avatar
Harry Fuchs committed
62
$$
Harry Fuchs's avatar
Harry Fuchs committed
63
  3 5&=& 2 + 1
Harry Fuchs's avatar
Harry Fuchs committed
64
  \\&=& 1 + 1 +1
Harry Fuchs's avatar
Harry Fuchs committed
65
$$
Harry Fuchs's avatar
Harry Fuchs committed
66
67
68
69
70
71
72
73
74

** Satz von X

Wenn $A(x)$, dann $\neg \neg A(x)$.

Beweis:

 * Siehe vorheriger Beweis
 * dann erhalte nichts
Harry Fuchs's avatar
Harry Fuchs committed
75

Harry Fuchs's avatar
Harry Fuchs committed
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

* Erinnerungen an WS

Wir studieren Mannigfaltigkeiten (Mfg).

$\approx$ topologische Räume, die lokal wie $\mathbb R^n$ aussehen + glatte ~Strukturen~ von glatten Abbildungen zu sprechen.

Konkret: um jeden Punkt $p\in M$ gibt es eine Umgebung $U\ni p$ zusammen mit einer Karte $x\colon U\to \mathbb R^n$

%Bild 1

Idee: da $M$ lokal wie $\mathbb R^n$ aussieht, versucht man, Objekte aus der Analysis auch auf $M$ zu verstehen.

~Wichtig dabei~: das Objekt auf $M$ muss koordinatenunabhängig werden! (Physik verlangt das auch!)

1. ~Tangentialraum~ „über“ jedem Punkt $p\in M$ „hängt“ ein Vektorraum $T_pM$, $\dim T_pM = \dim M$ Elemente von $T_pM$ heißen Tangentialvektoren.
  %TODO %TYPO: remove space here
  $$
    T_pM &=& \{ \text{Ableitungen von Funktionen an } p \}
    \\&=& \{ \partial \colon C^{\infty}(M) \to \mathbb R \text{ linear} \ |\ \partial(fg) = f(p)\cdot\partial(g) + g(p)\cdot\partial(f) \}
  $$
  
  Motto: Tangentialvektor $\mathrel{\hat=}$ Richtungsableitung!
  
  %Bild 2
  
  $\pi \colon TM \to M$ ist glatt
  $v\in T_pM \mapsto p$
  
  Nutzen: wir verstehen „wirklich“, was Ableitungen sind
  
  Früher: 
  $$
    f\in C^\infty(\mathbb R^m, \mathbb R^n) &\rightsquigarrow& D_pf \in \mathbb M_{n\times m} (\mathbb R)
    \\&& Df \in C^\infty(\mathbb R^m, \mathbb M_{n\times m}(\mathbb R))
  $$
  
  Jetzt in Diffgeo:
  
  $$1
  f\in C^\infty(M, N) \underset{p\in M}\rightsquigarrow D_pf \colon T_pM \to T_{f(p)}N \text{ linear}
  $$1
  
  %Bild 3
  
2. ODEs als Flüsse von Vektorfeldern
  %Bild 4
  
  Vektorfeld: $X\colon M \to TM$ mit $\pi \circ X = id_M$ ($\Leftrightarrow X(p) \in T_pM$)
  Gegeben $X \rightsquigarrow \Phi \colon \underset{\subseteq \mathbb R \times M}W \to M$ (Fluss des Vektorfeldes)
  
  s.d. $\forall p\in M\ \gamma_p(t) := \Phi(t,p)$ die ODE
  $$1
    \dot \gamma(t) = X(\gamma(t))
  $$1
  lässt

3. Lie-Klammer von Vektorfeld und Lie-Gruppen Auf Vektorfeldern auf $M$ ergibt es eine interessante algebraische Struktur: die Lie-Klammer: gegeben $X$, $Y \in \underbrace{\Gamma(TM)}_{Vektorfeld} \rightsquigarrow [X,Y] \in \Gamma (TM)$
  
  $(\Gamma(TM), [\cdot, \cdot])$ wird zu einer Lie-Algebra.
  
  Def. Eine Lie-Algebra $(V, [\cdot, \cdot])$ ist ein Vektorraum $V$ mit einer bilinearen Abbildung $[\cdot, \cdot]: V\times V \to V$ mit folgenden Eingenschaften:
  
    1. $[X,Y] = -[Y,X]$, $\ X$, $Y \in V$
    2. Jacobi-Identität: $X$, $Y$, $Z\in V$:
    $$
      [X, [Y,Z]] + [Y, [Z, X]] + [Z, [X,Y]] = 0
    $$
    
  Beispiele:
    1. $\Gamma(TM)$, $[\cdot, \cdot]$ ist eine Lie-Algebra
    2. $\mathbb M_u(\mathbb R)$, $[A,B] = AB - BA$ ist eine Lie-Algebra
  
  Verbindung zwischen 1) und 2)%ref
  -- Lie-Gruppen
  Lie-Gruppe $=$ Mannigfaltigkeit und Gruppe (auf kompatible Weise) Multiplikation, Inversion glatt.
  
  $G$ Lie-Gruppe $\rightsquigarrow \operatorname{Lie}(G) = 2(G) = \{ X\in \Gamma(TG) \ |\ \underbrace{(Lg)_*}_{(Lg)_{*,p} = D_pLg} X = X \} = \{ x\ |\ x \text{ linksinvariantes Vektorfeld } \}$
  
  $\rightarrow$ Lie-Algebra bzgl. $[\cdot, \cdot]$, heißt Lie-Algebra von $G$.
  
  Eigenschaften: $\operatorname{Lie}(G) \cong T_1G$ als Vektoraum
  $\Rightarrow \dim_{\mathbb R} \operatorname{Lie}(G) = \dim G$
 
  %TODO %TYPO vertical space
  $$
    Lg \colon G &\to& G\\
    h &\mapsto& g\cdot h
  $$

  Satz $G = GL(n, \mathbb R) \underset{\text{offen}}{\subset} \mathbb M_n(\mathbb R)$
  
  $\operatorname{Lie}(G) \cong T_1G \underset{\text{Vektoraum}}\cong \mathbb M_n (\mathbb R)$
  
  Dies ist auch ein Isomorphismus zwischen Lie-Algebren!
  
  $$1
    (\operatorname{Lie}(\operatorname{GL(n, \mathbb R)}), [\cdot, \cdot]) \cong (\mathbb M_n(\mathbb R), [\cdot, \cdot])
  $$1
  
  Für jedes $G< \operatorname{GL}(n, \mathbb R)$ ist dann $\operatorname{Lie}(G) \subseteq (\mathbb M_n(\mathbb R), [\cdot, \cdot])$.
  $$1
    [A,B] = AB - BA
  $$1