diff --git a/src/cheatsheets/LinearAlgebra.typ b/src/cheatsheets/LinearAlgebra.typ index 1c3ab02..80c9c75 100644 --- a/src/cheatsheets/LinearAlgebra.typ +++ b/src/cheatsheets/LinearAlgebra.typ @@ -20,7 +20,7 @@ number-align: center ) -#set text(size: 8pt) +#set text(size: 6pt) #place(top+center, scope: "parent", float: true, heading( [Linear Algebra EI] @@ -38,24 +38,19 @@ #let MathAlignLeft(e) = { align(left, block(e)) } -#columns(4, gutter: 2mm)[ - #bgBlock(fill: colorAllgemein)[ - #subHeading(fill: colorAllgemein)[Komplexe Zahlen] - - #ComplexNumbersSection() - - #sinTable - ] +#columns(5, gutter: 2mm)[ + #bgBlock(fill: colorGruppen)[ #subHeading(fill: colorGruppen)[Gruppen] *Halbgruppe:* $(M, compose): M times M arrow M$ - - Assoziativgesetz: $a dot (b dot c) = (a dot b) dot c$ + - Assoziativgesetz: $a dot (b dot c) = (a dot b) dot c$ \ + z.B. Komposition von Funktionen *Monoid* Halbgruppe $M$ mit: - - Identitätselment: $e in M : a e = e a = a$ + - Neutrales-/Identäts-Element: $e in M : a e = e a = a$ *Kommutativ/abelsch:* Halbgruppe/Monoid mit - - Kommutativgesetz; $a dot b = b dot a$ + - Kommutativgesetz $a dot b = b dot a$ #SeperatorLine @@ -64,6 +59,10 @@ - Eindeutig Lösung für Gleichungen Zusatz: - Inverseregel: $(a dot b)^(-1) = b^(-1) dot a^(-1)$ + - Wenn $a = a^(-1) =>$ Gruppe kommutativ + + + *Untergruppe:* - Gruppe: $(G, dot)$, $U subset G$ - $a,b in U <=> a dot b in U$ @@ -87,24 +86,34 @@ ($0$ ist Neutrales Element von $+$) - $(a + b) dot c = (a dot c) + (a dot b) space$ (Distributiv Gesetz) _Beweiß durch Überprüfung der Eigneschaften_ - ] + #SeperatorLine + + $S_n$: Symetrisch Gruppe (Permutation von element) \ + $(S_n, compose)$ ist Gruppe, aber nicht kommutativ + ] + #colbreak() #bgBlock(fill: colorVR)[ #subHeading(fill: colorVR)[Vektorräume (VR)] - $(V, plus.o, dot.o)$ ist ein über Körper $K$ - - $+: V times V -> V, (v,w) -> v + w$ - - $dot: K times V -> V, (lambda,v) -> lambda v$ - Es gilt: $lambda,mu in K, space v,w in V$ - - $(lambda mu)v = lambda (mu v)$ - - $lambda(v + w) = lambda v + lambda w$\ - $(lambda + mu)v = lambda v + lambda mu$ - - $1v = v$, $arrow(0) in V$ + $(V, plus.o, dot.o)$ ist ein über Körper $K (V, +, dot)$ \ + $(V, +), (V, dot)$ kommutativ Gruppe + - Vektor-Addition $+: V times V -> V, (v,w) -> v + w$ + - Scalar-Multiplikation $dot: K times V -> V, (lambda,v) -> lambda v$ + Es gilt: $lambda,mu in K, space v,w in V "über" K$ + - Linearität $(lambda mu)v = lambda (mu v)$ \ + $lambda(v + w) = lambda v + lambda w$\ + $(lambda + mu)v = lambda v + mu v$ + - Neutrales Element für $dot.o : 1v = v$ + - Neutrales Element für $plus.o : arrow(0) in V$ Bsp: $KK^n$ ($RR^n, CC^n$) - *Untervektorraum:* $U subset V$ \ - $v,w in U, lambda in K$ \ - $ <=> v + w in U$, $arrow(0) in U$ UND $lambda v in U$ - - $(U inter W) subset V$ + *Untervektorraum: (UVR)* $U subset V$ \ + + #grid(columns: (1fr, 1fr, 1fr), + align(center, $forall v,w : v + w in U$), + align(center, $arrow(0) in U$), + align(center, $forall v,lambda : lambda v in U$) + ) ] #bgBlock(fill: colorVR)[ @@ -136,32 +145,49 @@ *Injectiv (Monomorphismus):*\ _one to one_ \ - $f(x) = f(y) <=> x = y$ + $f(x) = f(y) <=> x = y$ \ + Gilt immer: $x = y => f(x) = f(y)$ - *Surjectiv (Epimorhismis):* \ + Injektiv zweigen: Beweiß durch Wiederspruch. \ + Angnomen $x != y, f(x) = f(y) -"Umstellen"--> x = y$ + + Nicht Injektiv: Gegenbeispiel finden + + + + *Surjectiv (Epimorhismus):* \ _Output space coverered_ \ - Zeigen das $f(f^(-1)(x)) = x$ für $x in DD$ - $forall y in B: exists x in A : f(x) = y$ - NICHT surjektiv wenn $abs(a) < abs(b)$ + NICHT surjektiv wenn $abs(A) < abs(B)$ *Bijektiv (Isomorphismus):* \ _Injectiv und Surjectiv_ \ + - $<=>$ Umkehrbar - In einer Gruppe ist $f(x) = x c$ für $c,x in G$ bijektiv - isomorph: $V,W$ VRs, $f$ bijektiv $f(V) = W => V tilde.equiv W$ Beweiß durch Wiederspruch \ für Gegenbeweiß - *Endomorphismus:* $A -> B$ mit $A, B subset.eq C$ + *Vektorraum-Homomorphismus:* linear Abbildung zwischen VR \ + Bsp. jede Matrix - *Automorphismus:* Endomorphismus und Bijektiv (Isomorphismus) - - *Vektorraum-Homomorphismus:* linear Abbildung zwischen VR + *Endomorphismus:* $A -> B$ mit $A, B subset.eq C$ + + Endomorphismus: $KK^n -> KK^n$ \ + KEIN Endomorphismus: $KK^n -> KK^m, m != n$ \ + Bsp. #underline("Qudratische") Matrix + + *Automorphismus:* Endomorphismus und Bijektiv (Isomorphismus) \ + Bsp. #underline("Invertierbare") Matrix, $f(x) = x$ ] // Spann und Bild, Kern #bgBlock(fill: colorAbbildungen)[ #subHeading(fill: colorAbbildungen)[Spann und Bild] + $f: A -> B$ + *Spann:* - Vektorraum $V : op("spann")(V) = limits(inter)_(M subset V) U$ - $B : op("spann")(U) = {lambda_0 v_0 + ... + lambda_n v_n, lambda_0, ... lambda_n in K}$ @@ -426,5 +452,15 @@ #bgBlock(fill: colorMatrix)[ #subHeading(fill: colorMatrix)[Differenzialgleichungen] ] + + #colbreak() + + #bgBlock(fill: colorAllgemein)[ + #subHeading(fill: colorAllgemein)[Komplexe Zahlen] + + #ComplexNumbersSection() + ] + + #sinTable ] diff --git a/src/cheatsheets/test.typ b/src/cheatsheets/test.typ new file mode 100644 index 0000000..b667ea4 --- /dev/null +++ b/src/cheatsheets/test.typ @@ -0,0 +1,25 @@ +#set page( + paper: "a3", + margin: ( + bottom: 10mm, + top: 5mm, + left: 5mm, + right: 5mm + ), + flipped:true, +) + +#import "../lib/styles.typ" : * +#import "../lib/common_rewrite.typ" : * +#import "../lib/mathExpressions.typ" : * + + +#columns(5)[ + #bgBlock(fill: gray)[ + #block(height: 100%) + #block(height: 100%) + #block(height: 100%) + #block(height: 100%) + #block(height: 100%) + ] +] \ No newline at end of file