Kategorien. Anna Katharina Binder (1. Teil) und Tobias Kamke (2. Teil) einer Ansammlung ob C von Objekten A, B, C...
|
|
- Nora Salzmann
- vor 6 Jahren
- Abrufe
Transkript
1 Kategorien Anna Katarina Binder (1. Teil) und Tobias Kamke (2. Teil) Kategorien, Funktoren und natürlice Transormationen 1. Deinition Eine Kategorie C bestet aus einer Ansammlung ob C von Objekten A, B, C... einer Ansammlung mor C von Morpismen, g,... zwei Operationen dom, cod von den Morpismen au die Objekte (Screibweise: ist Morpismus mit dom = A und cod = B wird gescrieben als A B) einer Operation A 1 A von den Objekten au die Morpismen derart, daß A 1 A A einer partiellen binären Operation (auc Komposition genannt) au den Morpismen mor C mor C mor C, (, g) g, deiniert genau im Fall dom = cod g mit den Eigenscaten Morpismus, dom = cod g = dom ( g) = dom g, cod ( g) = cod Morpismus, dom = A = 1 A = g Morpismus, cod g = A = 1 A g = g, g, Morpismen, cod = dom g, cod g = dom = ( g) = (g ) 1
2 2. Beispiele 1. Die Kategorie Set. Objekte sind alle Mengen, Morpismen sind die Funktionen zwiscen diesen Mengen. 2. Die Kategorie Grp. Objekte sind alle Gruppen, Morpismen sind die Gruppenomomorpismen zwiscen diesen Gruppen. Analog auc Ab (ablescen Gruppen), Rng (Ringe), CRng (kommutative Ringe), Vect K (K-Vektorräume) etc. 3. Eine Gruppe kann man als eine Kategorie mit nur einem Objekt auassen. Die Gruppenelemente entsprecen den Morpismen. 4. Eine Kategorie C, in der ür beliebige A, B ob C öcstens ein Morpismus A B existiert, nennt man auc eine Präordnung, denn die Ansammlung ob C besitzt mit = {(A, B) : A, B ob C A B mor C} eine relexive, transitive (Ordnungs-)Relation. 3. Dualität Jeder Kategorie C kann man in olgender Weise eine duale Kategorie C op zuordnen: Die Objekte und die Morpismen von C op sind diejenigen von C (um Verwecslungen zu vermeiden jedoc otmals verseen mit einem op ), dom und cod sind jedoc vertausct und die Komposition op umgekert, d.. op op g op = (g ) op. Daraus olgt das Dualitätsprinzip der Kategorienteorie: Ist P eine allgemeingültige Aussage über Kategorien, so gilt auc die Aussage P, die man aus P durc Umkerung aller Peile erält. 4. Deinitionen Es seien C eine Kategorie und A, B ob C. Ein Morpismus A e B mor C eißt invertierbar in C, alls B e A mor C existiert mit e e = 1 B und e e = 1 A. A, B eißen isomorp, alls ein invertierbarer Morpismus A e B mor C existiert. Isomorpie ist eine Äquivalenzrelation au ob C. Ein Morpismus A m B mor C eißt monomorp (auc monic) in C, alls ür alle D 1 A, D 2 A mor C gilt: m 1 = m 2 = 1 = 2. Ein Morpismus A B mor C eißt epimorp (auc epi, epic) in C, alls ür alle B g 1 C, B g 2 C mor C gilt: g 1 = g 2 = g 1 = g 2. Ein Objekt T ob C eißt terminal in C, alls zu jedem Objekt A ob C genau ein Morpismus A T mor C existiert. Ein Objekt S ob C eißt initial in C, alls S op terminal in C op ist. 2
3 5. Deinition Es seien C und D Kategorien. Ein (kovarianter) Funktor T : C D bestet aus einer Abbildung zwiscen den Objekten T : ob C ob D und einer Abbildung zwiscen den Morpismen T : mor C mor D mit den Eigenscaten T (1 A ) = 1 T A und T (g ) = T (g) T (), wenn g erklärt ist. Ein (kontravarianter) Funktor T : C D bestet aus einer Abbildung zwiscen den Objekten T : ob C ob D und einer Abbildung zwiscen den Morpismen T : mor C mor D mit den Eigenscaten T (1 A ) = 1 T A und T (g ) = T () T (g), wenn g erklärt ist. 6. Beispiele 1. Der Vergißunktor. Die Objekte in C seien Mengen mit einer bestimmten Struktur (etwa Gruppen, Ringe, topologisce Räume etc.), die Morpismen strukturverträglice Abbildungen dazwiscen. Der Vergißunktor C Set ordnet jedem Objekt die zugrundeliegende Menge, jedem Morpismus die entsprecende Mengenabbildung zu. 2. Der Funktor T : Grp Ab ordnet jeder Gruppe G die Faktorgruppe G/[G, G] und jedem Gruppenomomorpismus : G H den induzierten Gruppenomomorpismus ˆ : G/[G, G] H/[H, H] zu. 3. Ein Funktor zwiscen Gruppen ist ein Gruppenomomorpismus. 7. Deinition Es seien S, T : C D zwei Funktoren. Eine natürlice Transormation τ zwiscen S und T (Screibweise: τ : S T ), ordnet jedem Objekt A ob C einen Morpismus τa : SA T A mor D zu, so daß ür alle A B mor C das olgende Diagramm kommutiert: SA τa T A S SB T τb T B 3
4 8. Beispiel Au den Funktor T aus Beispiel 6 läßt sic eine natürlice Transormation vom identiscen Funktor konstruieren (wobei die Kategorie Ab als eine Unterkategorie von Grp augeaßt wird). Denn mit der Wal τg = p G : G G/[G, G] (p G Projektion) kommutiert das olgende Diagramm: G p G G/[G, G] T p H H H/[H, H] 9. Deinition Es seien C, D Kategorien, S : D C ein Funktor und B ob C. Die Komma-Kategorie (B S) at als Objekte alle Paare (G, ), wobei G ob D und B SG mor C und als Morpismen (G, ) (G, ) diejenigen Morpismen G G mor D, so daß S =. In Diagrammorm: B SG S SG Komposition von Morpismen ist gegeben durc die Komposition von Morpismen in D. Anmerkung: Gleiceit von Morpismen (, G) (, G ), (, G) (, G ) mor (B S) liegt vor, wenn = in D. 2 Universals 10. Deinition Es seien C, D Kategorien, S : D C ein Funktor und A C. Ein Paar (R, u), wobei R ob D und A u SR mor C, eißt ein universeller Peil von A nac S, alls es zu jedem Paar (B, ), B ob D 4
5 und A SB mor C, genau einen Morpismus R B mor D gibt mit S u =. In Diagrammorm: A u SR S SB 11. Bemerkung Das Paar (R, u) ist genau dann ein universeller Peil von A nac S, wenn (R, u) ein initiales Objekt in der Komma-Kategorie (A S) ist. Insbesondere olgt, daß (R, u) eindeutig bis au Isomorpie bestimmt ist; insbesondere ist das Objekt R aus D eindeutig bis au Isomorpie. 12. Beispiele 1. Vektorräume. Es sei X eine Menge und V X der K-Vektorraums, welcer aus allen ormalen K-Linearkombinationen der Elemente aus X bestet. Dann ist (V X, u : {X UV X, x x}) ein universeller Peil von X zum Vergißunktor U : Vct K Set. In Diagrammorm: X u UV X U UW 2. Freie Gruppen. Es sei X eine Menge. Eine Gruppe F X mit X F X eißt rei über X, alls (F X, u : {X UF X, x x}) ein universeller Peil von X zum Vergißunktor U : Grp Set ist. In Diagrammorm: 5
6 X u UF X U UG Änlic lassen sic auc reie Monoide, Polynomalgebren etc. bescreiben. 3 Anwendung 13. Satz (2. Isomorpiesatz der Gruppenteorie) Es sei G eine Gruppe und M, N G seien Normalteiler mit M N. Dann gilt (G/M)/(N/M) = G/N. Beweis Es sei HG N : Grp Set der Funktor, der eine Gruppe H ob Grp au {G H mor Grp : (N) = e H } und einen Morpismus H g H au {HG N(H) HN G (H ), j j g} abbildet. Damit ist (G/N, (p G N ) ) ein universeller Peil von { } nac HG N. pg N bezeicnet dabei die Projektion G G/N und (p G N ) die Abbildung { } p G N. In Diagrammorm: { } (p G N ) H N G (G/N) H N G ( ) HG N (G ) Zum Beweis des Isomorpiesatzes benötigt man olgende vier Diagramme: { } (pg M ) H M G (G/M) (p G N ) H M G (g) 6 HG M (G/N)
7 { } (pg/m N/M ) H N/M G/M ((G/M)/N/M)) g H N/M G/M () H N/M G/M (G/N) { } (pg M ) H M G (G/M) (p G/M N/M pg M ) HG M ((G/M)/(N/M)) H M G (k) = HM G (pg/m N/M ) { } (p G N ) H N G (G/N) (p G/M N/M pg M ) H N G () HG N ((G/M)/(N/M)) Aus der Konstruktion ergibt sic die Eindeutigkeit von, g,, k. Es liegen olgende Identitäten vor: 1. g p G M = pg N 2. p G/M N/M = g 3. p G N = pg/m N/M pg M Damit olgt g p G M gilt p G N universell = = 1 G/N. (1) = p G N (3) = p G/M N/M pg M (1) = g p G M = pg/m N/M pg M Ebenso ergibt sic p G/M N/M = pg/m N/M universell = g = p G/M N/M. Weiter (2) = g p G M (1) = p G N universell = = 1 (G/M)/(N/M). Literatur: Saunders Mac Lane (1997): Categories or te Working Matematician. Springer-Verlag, New York 7
Seminar Kategorientheorie
Seminar Kategorientheorie Holger rnold 20. pril 2004 1 Kategorien Begrie: Kategorie, Objekt, Morphismus, kommutatives Diagramm, Monoid Deinition 1 (Kategorie) Eine Kategorie C = (Obj C, Mor C,, id) ist
Mehr9.A Kategorien, Limiten und Funktoren
9.A Kategorien, Limiten und Funktoren Die Sprache der Kategorien und Funktoren ist unabdingbar für viele Aussagen in der heutigen Mathematik. Sie ist formal und weniger als Selbstzweck anzusehen, sondern
Mehr3 Allgemeine Algebren
Grundlagen der Matematik für Informatiker 1 Grundlagen der Matematik für Informatiker 2 3 Allgemeine Algebren Definition 3.1 Für eine Menge A nennen wir eine n-stellige Funktion : A n A eine n-äre algebraisce
MehrGeometrisch ergibt sich deren Graph als Schnitt von G mit der senkrechten Ebene y = b bzw. x = a:
Fläcen im Raum Grap und Scnittkurven Im ganzen Artikel bezeicnet D eine Teilmenge des R 2 und eine skalarwertige Funktion in zwei Veränderlicen. Der Grap f : D R 2 R : (x, y) z = f(x, y) G = { (x, y, z)
MehrKapitel 2. Endliche Körper und Anwendungen. 2.1 Körpererweiterungen
Kapitel 2 Endliche Körper und Anwendungen 2.1 Körpererweiterungen Deinition Sei L ein Körper und K ein Unterkörper von L. Dann sagen wir, dass L ein Erweiterungskörper von K ist. Wir sagen dann auch: K
MehrTangenten an Funktionsgraphen (Differenzialrechnung) Aufgaben ab Seite 4
Klasse / Augaben ab Seite 4 rundlagen und Begrie der Dierenzialrecnung Die Zeicnungen und Erklärungen sind etwas ausürlicer als notwendig u versciedene Screibweisen und Darstellungen auzuzeigen. Steigung
Mehr2 Gruppen, Ringe, Körper, Algebren
2 Gruppen, Ringe, Körper, Algebren 2.1 Gruppen Definition 2.1. Sei G eine Menge, 1 G G, sowie : G G G eine Abbildung (statt (g,h) schreiben wir meistens g h und nennen eine binäre Verknüpfung). Wir nennen
MehrDifferentialrechnung. Kapitel 7. Differenzenquotient. Graphische Interpretation des Differentialquotienten. Differentialquotient
Differenzenquotient Sei f : R R eine Funktion. Der Quotient Kapitel 7 Differentialrecnung f f 0 + f 0 f f 0 0 eißt Differenzenquotient an der Stelle 0. f, f Sekante 0, f 0 f 0 Josef Leydold Matematik für
MehrDiskrete Strukturen Kapitel 2: Grundlagen (Relationen)
WS 2016/17 Diskrete Strukturen Kapitel 2: Grundlagen (Relationen) Hans-Joachim Bungartz Lehrstuhl für wissenschaftliches Rechnen Fakultät für Informatik Technische Universität München http://www5.in.tum.de/wiki/index.php/diskrete_strukturen_-_winter_16
MehrTopologieseminar. Faserbündel. Michael Espendiller. 16. Oktober 2010 Universität Münster - 3 Faserbündel oder lokal triviale Bündel 4
Wintersemester 2010/2011 Topologieseminar Faserbündel Michael Espendiller 16. Oktober 2010 Universität Münster - Inhaltsverzeichnis 1 Allgemeine Bündel 1 2 Morphismen und Schnitte 2 3 Faserbündel oder
MehrKörper- und Galoistheorie
Prof. Dr. H. Brenner Osnabrück SS 2011 Körper- und Galoistheorie Vorlesung 5 In dieser Vorlesung diskutieren wir Normalteiler, das sind Untergruppen, für die Links- und Rechtsnebenklassen übereinstimmen.
MehrFunktionentheorie auf Riemannschen Flächen
Funktionentheorie auf Riemannschen Flächen Universität Regensburg Sommersemester 2014 Daniel Heiß: 5: Maximale analytische Fortsetzung 20.05.2014 Abstract Zunächst werden Garben und weitere benötigte Begriffe
Mehr3. Algebra und Begriffsverbände. Algebraische Strukturen
3. Algebra und Begriffsverbände Algebraische Strukturen Def.: Eine n-stellige (n-äre) [algebraische] Operation [auch: Verknüpfung] auf einer Menge A ist eine Abbildung f : A n A. Der Spezialfall n = 0:
MehrWS 2009/10. Diskrete Strukturen
WS 2009/10 Diskrete Strukturen Prof. Dr. J. Esparza Lehrstuhl für Grundlagen der Softwarezuverlässigkeit und theoretische Informatik Fakultät für Informatik Technische Universität München http://www7.in.tum.de/um/courses/ds/ws0910
MehrInhalt der Vorlesung Elemente der Algebra und Zahlentheorie Prof. Dr. Arno Fehm TU Dresden SS Grundlegende Definitionen (Wiederholung)
Inhalt der Vorlesung Elemente der Algebra und Zahlentheorie Prof. Dr. Arno Fehm TU Dresden SS2017 Kapitel I. Gruppen 1 Grundlegende Definitionen (Wiederholung) 1.1 Definition. Eine Gruppe ist ein Paar
MehrAufgaben zur Verbandstheorie
TU Bergakademie Freiberg WS 2005/06 Institut für Diskrete Mathematik & Algebra Prof. Dr. Udo Hebisch Aufgaben zur Verbandstheorie 1. Für ein beliebiges n IN sei X n die Menge aller Teiler von n. Definiert
MehrÜbungsblatt 1: Monoide und Gruppen
Übungsblatt 1: Monoide und Gruppen Die schriftlichen Übungsaufgaben sind durch ein S gekennzeichnet und sollen in der Übung der nächsten Woche abgegeben werden. Die Votieraufgaben sind mit einem V gekennzeichnet.
Mehr1 Der Satz von Poincaré-Birkhoff-Witt. 2 Die freie Algebra. 3 Die universell einhüllende Algebra
1 Der Satz von Poincaré-Birkhoff-Witt Darstellungen von assoziativen Algebren sind oft einfacher zu handhaben als Darstellungen von Lie- Algebren. Die universell einhüllende Algebra einer Lie-Algebra hat
MehrEigenschaften von Funktionen. Definition der Umkehrfunktion. WS 2013 Torsten Schreiber
Eigenschaten von Funktionen Deinition der Umkehrunktion WS 013 Torsten Schreiber Diese Lücken sollten nicht auch bei Ihnen vorhanden sein: Eine basiert au einem Produkt und stellt die vorhandenen Komponenten
Mehr5.9 Permutationsgruppen. Sei nun π S n. Es existiert folgende naive Darstellung: Kürzer schreibt man auch
5.9 Permutationsgruppen Definition 103 Eine Permutation ist eine bijektive Abbildung einer endlichen Menge auf sich selbst; o. B. d. A. sei dies die Menge U := {1, 2,..., n}. S n (Symmetrische Gruppe für
Mehr2 Mengen, Abbildungen und Relationen
Vorlesung WS 08 09 Analysis 1 Dr. Siegfried Echterhoff 2 Mengen, Abbildungen und Relationen Definition 2.1 (Mengen von Cantor, 1845 1918) Eine Menge M ist eine Zusammenfassung von wohlbestimmten und wohl
MehrPROSEMINAR DARSTELLUNGEN ENDLICHEN GRUPPEN: FUNDAMENTALE BEGRIFFEN. pg 1, g 2 q ÞÑ g 1 G g 2,
PROSEMINAR DARSTELLUNGEN ENDLICHEN GRUPPEN: FUNDAMENTALE BEGRIFFEN LOUIS-HADRIEN ROBERT 1. Gruppe und Wirkungen Definition 1.1. Eine Gruppe pg, Gq ist eine Menge G mit einer Multiplikation: so dass G :
Mehr(Sommersemester 2107, Weiss)
KATEGORIEN 4.08.2017 (Sommersemester 2107, Weiss) 1. Begriff Kategorie; Produkte und Koprodukte Definition 1.1. Eine kleine Kategorie C besteht aus einer Menge Ob(C) und, zu jeder Wahl von a, b Ob(C),
Mehr1. Hilbertschen Geometrie I: Punkte, Geraden, Ebenen
1. Hilbertscen eometrie I: Punkte, eraden, benen Wir bescreiben den axiomatiscen Zuan zur eometrie, wie er von Hilbert erstmals formuliert wurde. Der Ausanspunkt unserer Betractun ist die folende Definition.
MehrMathematik für Informatiker I,
Teil II Algebra 70 Kapitel 8 Gruppen 8.1 Bedeutung in der Informatik Gruppen sind abstrakte Modelle für Mengen, auf denen eine Verknüpfung (etwa Addition oder Multiplikation) definiert ist. Allgemeine
MehrIdentifizierungstopologie, Zusammenkleben von topologischen Räumen
Identiizierungstopologie, Zusammenkleben von topologischen Räumen Katharina Schalk katharina.schalk@tu-dortmund.de Proseminar Lineare Algebra (WS 2013/2014) Seminarleitung: Pro. Dr. Lorenz Schwachhöer
MehrRelationen (Teschl/Teschl 5.1)
Relationen (Teschl/Teschl 5.1) Eine (binäre) Relation zwischen den Mengen M und N ist eine Teilmenge R der Produktmenge M N. Beispiele M Menge aller Studierenden, N Menge aller Vorlesungen, R : {(x, y)
MehrMusterlösung zu Übungsblatt 1
Prof. R. Pandaripande J. Scmitt, C. Scießl Funktionenteorie 23. September 16 HS 2016 Musterlösung zu Übungsblatt 1 Aufgabe 1. Sei F ein Körper, der R als einen Unterkörper entält. Das eisst R ist eine
MehrDiskrete Strukturen 5.9 Permutationsgruppen 168/558 c Ernst W. Mayr
Bemerkung: Der folgende Abschnitt Boolesche Algebren ist (im WS 2010/11) nicht Teil des Prüfungsstoffs, soweit nicht Teile daraus in der Übung behandelt werden! Diskrete Strukturen 5.9 Permutationsgruppen
MehrÜbungsaufgaben zur Kursarbeit
Übungsaufgaben zur Kursarbeit I) Tema Funktionen. Gib jeweils die maximale Definitionsmenge der Funktion an f(x) = (x ) D f = R (x) = x D = {x R /x } g(x) = (x ) D = {x R /x } g k(x) = x D = {x R /x >
MehrDie rationalen Zahlen. Caterina Montalto Monella
Die rationalen Zahlen Caterina Montalto Monella 07.12.2016 1 1 Die Konstruktion der rationalen Zahlen In dieser Ausarbeitung konstruieren wir die rationalen Zahlen aus den ganzen und den natürlichen Zahlen.
Mehr3.2 Polarkoordinaten und exponentielle Darstellung
42 3.2 Polarkoordinaten und exponentielle Darstellung Ein Punkt z = a + bi der Gaußscen Zalenebene ist durc seine kartesiscen Koordinaten a und b eindeutig festgelegt. Man kann jedoc auc zwei andere Grössen
MehrLineare Algebra I (Lehramt Gymnasium)
Lineare Algebra I (Lehramt Gymnasium) Technische Universität München, WS 2013/14 Vorlesung: Caroline Lasser (aktualisiert am 31. Januar 2014) 1 Vorspiel Mengen (15.10.): intuitiver Mengenbegriff, x M,
MehrMathematik 1 für Studierende der Biologie Teil II: Limes & Konvergenz
Matematik 1 für Studierende der Biologie Teil II: Limes & Konvergenz Cristian Leibold 7. Oktober 2014 Folgen Allgemeines zu Folgen Monotonie und Bescränkteit Grenzwerte und Konvergenz Summen und Reien
MehrVorkurs Mathematik Abbildungen
Vorkurs Mathematik Abbildungen Philip Bell 19. September 2016 Diese Arbeit beruht im Wesentlichen auf dem Vortrag Relationen, Partitionen und Abbildungen von Fabian Grünig aus den vorangehenden Jahren.
MehrExplizite, eingebettete und implizite RK-Verfahren
Kutta-Teorie: Explizite, eingebettete und implizite RK-Verfaren Lukas Klic Kutta-Teorie: : Explizite, eingebettete und implizite RK- Verfaren Lukas Klic Seite: Gliederung -Verfaren - Explizite Verfaren
Mehr6. Boolesche Algebren
6. Boolesche Algebren 6.1 Definitionen Eine Boolesche Algebra ist eine Algebra S,,,, 0, 1,, sind binäre, ist ein unärer Operator, 0 und 1 sind Konstanten. Es gilt: 1 und sind assoziativ und kommutativ.
MehrDefinition: Halbgruppe. Definition: Gruppoid. Definition: Gruppe. Definition: Monoid. Definition: Gruppenhomomorphismus. Definition: abelsche Gruppe
1 Gruppoid 2 Halbgruppe 3 Monoid 4 Gruppe 5 abelsche Gruppe 6 Gruppenhomomorphismus 7 Kern(ϕ) 8 Bild(ϕ) 9 Untergruppe 10 Untergruppenkriterium Es sei (G, ) ein Gruppoid. Ist die Verknüpfung zusätzlich
MehrKlausur zur Vorlesung
Institut für Algebra und Geometrie 06. September 011 Klausur zur Vorlesung Aufgabe 1 (5 Punkte) Sei G eine Gruppe und X G eine beliebige Teilmenge von G. X := X N G a) Zeigen Sie, dass X der kleinste Normalteiler
MehrKlassische Algebra. Gesucht sind die Lösungsmengen der folgenden Gleichungen: x n + a n 1 x n a 1 x + a 0 = 0 (a 0,...
Klassische Algebra Gesucht sind die Lösungsmengen der folgenden Gleichungen: x n + a n 1 x n 1 + + a 1 x + a 0 = 0 (a 0,..., a n 1 Q) Formeln für n {1, 2, 3, 4} sind bekannt. Abel, Galois: Für n N mit
MehrMathematische Methoden für Informatiker
Prof. Dr. www.math.tu-dresden.de/ baumann 13.07.2018 Klassische Algebra Gesucht sind die Lösungsmengen der folgenden Gleichungen: x n + a n 1 x n 1 + + a 1 x + a 0 = 0 (a 0,..., a n 1 Q) Formeln für n
MehrLösungsskizzen zu Übungsblatt 1
Lösungsskizzen zu Übungsblatt 1 26. Oktober 2016 Algebra Wintersemester 2016-17 Prof. Andreas Rosenschon, PhD Anand Sawant, PhD Diese Lösungen erheben nicht den Anspruch darauf vollständig zu sein. Insbesondere
MehrElemente der Algebra
Prof. Dr. H. Brenner Osnabrück SS 2015 Elemente der Algebra Vorlesung 1 Der Gruppenbegriff Definition 1.1. Eine Verknüpfung auf einer Menge M ist eine Abbildung : M M M, (x,y) (x,y) = x y. Statt (x,y)
MehrEinführung in die Kategorientheorie
Einührung in die Kategorientheorie Christian Dzierzon 1 7. Juni 2005 1 Universität Bremen, dzierzon@tzi.de Inhaltsverzeichnis 1 Einührung 3 1.1 Motivation..................................... 3 1.2 Grundlagen/Mengenlehre.............................
Mehr3 Lineare Abbildungen und Matrizen
3 Lineare Abbildungen und Matrizen Definition 3.1. Es seien V und W zwei Vektorräume über demselben Zahlkörper k. Eine Abbildung heisst linear, falls gilt i) [ λ k ] [ v V ] [ f (λ v) = λ f ( v) ] ii)
MehrKapitel 2: Mathematische Grundlagen
[ Computeranimation ] Kapitel 2: Mathematische Grundlagen Prof. Dr. Stefan M. Grünvogel stefan.gruenvogel@fh-koeln.de Institut für Medien- und Phototechnik Fachhochschule Köln 2. Mathematische Grundlagen
MehrMathematische Methoden für Informatiker
Prof. Dr. www.math.tu-dresden.de/ baumann 24.10.2017 24. Vorlesung Kongruenzrelationen in Gruppen Faktorgruppe nach einer Kongruenzrelation R Normalteiler in Gruppen Faktorgruppe nach einem Normalteiler
MehrGRUNDLAGEN DER ANALYSIS, TOPOLOGIE UND GEOMETRIE (WWU 2016) 45
GRUNDLAGEN DER ANALSIS, TOPOLOGIE UND GEOMETRIE (WWU 2016) 45 16. ÜBERLAGERUNGEN UND HOCHHEBUNGSSÄTZE Überlagerungen sind ein mächtiges Werkzeug zur Berechnung von Fundamentalgruen. In den olgenden ca.
Mehr1 Gruppen. 1.1 Grundlagen. 1.2 Homomorphie- und Isomorphiesätze
1 Gruppen 1.1 Grundlagen 1.2 Homomorphie- und Isomorphiesätze Sind G und G Gruppen und ϕ : G G ein Gruppenhomomorphismus. Dann gilt: G/Kern(ϕ) = Bild(ϕ) Beispiele 1.1 (a) G/Z(G) = Aut i (G) Satz 1 Sei
MehrElemente der mengentheoretischen Topologie
Elemente der mengentheoretischen Topologie Es hat sich herausgestellt, dass das Konzept des topologischen Raumes die geeignete Struktur darstellt für die in der Analysis fundamentalen Begriffe wie konvergente
MehrRinge und Körper. Das Homomorphieprinzip für Ringe
Ringe und Körper Das Homomorphieprinzip für Ringe Wir beginnen mit einem Beispiel. R = Z/m Z sei die Faktorgruppe von Z nach der Untergruppe m Z, m IN. Für m = 0 ist der kanonische Homomorphismus Z Z/m
MehrEin immer wiederkehrendes Konzept in der Mathematik ist die Zurückführung auf Bekanntes, beziehungsweise auf besonders
Vorlesung 14 Differentialrecnung Ein immer wiedererendes Konzept in der Matemati ist die Zurücfürung auf Beanntes, bezieungsweise auf besonders einface Fälle. Besonders einfac sind lineare Funtionen in
MehrLineare Gleichungssysteme
Kapitel 2 Lineare Gleichungssysteme 21 Lineare Gleichungssysteme und Matrizen Lernziele 2 Lineare Gleichungssysteme definieren Matrizen, Matrizen definieren lineare Abbildungen, Lösen von linearen Gleichungssystemen
MehrSeminar über Darstellungstheorie endlicher Gruppen Darstellungen
Seminar über Darstellungstheorie endlicher Gruppen Darstellungen Fabia Weber, Samet Armagan 25. Februar 2016 Inhaltsverzeichnis 1.1 Denition einer linearen Darstellung 2 1.2 Die Gruppenalgebra F G 4 1.3
MehrSerie 2: Relationen, Abbildungen, Mächtigkeit, Gruppen
D-MATH Lineare Algebra I HS 2016 Dr. Meike Akveld Serie 2: Relationen, Abbildungen, Mächtigkeit, Gruppen 1. Auf Z definieren wir eine Relation durch x, y Z : (x y : x y ist gerade) a) Zeigen Sie, dass
MehrKLAUSUR ZUR ALGEBRA (B3) 18. Februar 2009 MUSTERLÖSUNG
KLAUSUR ZUR ALGEBRA (B3) 18. Februar 2009 MUSTERLÖSUNG Name: Studiengang: Aufgabe 1 2 3 4 5 6 7 Summe Punktzahl /50 Allgemeine Hinweise: Bitte schreiben Sie Ihre Lösungen jeweils unter die Aufgabenstellung
MehrLineare Algebra I 5. Tutorium Die Restklassenringe /n
Lineare Algebra I 5. Tutorium Die Restklassenringe /n Fachbereich Mathematik WS 2010/2011 Prof. Dr. Kollross 19. November 2010 Dr. Le Roux Dipl.-Math. Susanne Kürsten Aufgaben In diesem Tutrorium soll
MehrJgst. 11/I 1.Klausur
Jgst. /I.Klausur..00 A. Bestimme den Scnittpunkt und den Scnittwinkel der beiden folgenden Geraden: g : x y = 5 : + y = 5x Zunäcst müssen die beiden Geraden auf Normalform gebract werden: x y = 5 y = x
MehrInhalt. Teil I: Formale Grundlagen der Informatik I Endliche Automaten und formale Sprachen. Teil II: Formale Grundlagen der Informatik II
Inalt Teil I: Formale Grundlagen der Informatik I Endlice Automaten und formale Spracen Teil II: Formale Grundlagen der Informatik II Martin Otto Logik in der Informatik Professor für Matematisce Logik
Mehr4. Mathematische und notationelle Grundlagen. Beispiel Mengen. Bezeichnungen:
4. Mathematische und notationelle Grundlagen 4.1 Mengen Beispiel 3 A 1 = {2, 4, 6, 8}; A 2 = {0, 2, 4, 6,...} = {n N 0 ; n gerade} Bezeichnungen: x A A x x A B A B A { } x Element A x nicht Element A B
MehrLösung zu Serie [Aufgabe] Zeige: Das folgende Diagramm kommutiert insgesamt genau dann, wenn alle 6 Teilquadrate kommutieren.
Lineare Algebra D-MATH, HS 2014 Prof. Richard Pink Lösung zu Serie 8 1. [Aufgabe] Zeige: Das folgende Diagramm kommutiert insgesamt genau dann, wenn alle 6 Teilquadrate kommutieren. a 1 A 1 a 2 A 2 a 3
Mehr( ), und legen deshalb eine Ebene fest. Als Aufpunkt dient ein beliebiger Punkt von g oder h, als Spannvektoren
Lösungen zur analytiscen Geometrie, Buc S. 9f. a) E in die Parameterform umwandeln: x = x + x + Wäle: x = ; x = x = + E : X = x x x = + + = + In F einsetzen: + + = + = = In E einsetzen: s: X = + + ( )
MehrModuln über einem kommutativen Ring
1 Marko Roczen: Algebra individuell (Online-Fassung, Ver. 0.1) Moduln über einem kommutativen Ring Die nachfolgende Definition verallgemeinert den Begriff des Vektorraumes. Anstelle eines Grundkörpers
MehrKapitel 1. Erste algebraische Strukturen. 1.2 Ringe und Körper
Kapitel 1 Lineare Algebra individuell M. Roczen und H. Wolter, W. Pohl, D.Popescu, R. Laza Erste algebraische Strukturen Hier werden die grundlegenden Begriffe eingeführt; sie abstrahieren vom historisch
MehrZentralübung zur Vorlesung Diskrete Strukturen
WS 2010/11 Zentralübung zur Vorlesung Diskrete Strukturen Dr. Werner Meixner Fakultät für Informatik TU München http://www14.in.tum.de/lehre/2010ws/ds/uebung/ 1. Dezember 2010 ZÜ DS ZÜ VI Übersicht: 1.
MehrLINEARE ALGEBRA I (LEHRAMT GYMNASIUM) WINTERSEMESTER 2015/16
LINEARE ALGEBRA I (LEHRAMT GYMNASIUM) WINTERSEMESTER 2015/16 CAROLINE LASSER Inhaltsverzeichnis 1. Vektorräume 2 1.1. Vektorräume und Unterräume (13.10.) 2 1.2. Lineare Unabhängigkeit (20.10.) 3 1.3. Basen
MehrRinge. Kapitel Einheiten
Kapitel 8 Ringe Die zahlreichen Analogien zwischen Matrizenringen und Endomorphismenringen (beides sind zugleich auch Vektorräume) legen es nahe, allgemeinere ringtheoretische Grundlagen bereitzustellen,
Mehr122 KAPITEL 7. POTENZREIHEN
Kapitel 7 Potenzreien 7.1 Der Konvergenzradius Definition 7.1: (Komplexe Potenzreien) Eine Potenzreie um den Punt z 0 C ist eine Reie der Form a (z z 0 ), a, z, z 0 C. Dort, wo die Reie onvergiert, definiert
MehrBilineare duale Hyperovale und elementar abelsche TI Gruppen
Bilineare duale Hyperovale und elementar abelsche TI Gruppen DEFINITION. Sei V ein endlich-dimensionaler Raum über F q und D eine Teilmenge n-dimensionaler Unterräume. D ist ein duales Hyperoval vom Rang
MehrAlgebra I - Wintersemester 05/06 - Zusammenfassung
Algebra I - Wintersemester 05/06 - Zusammenfassung Die Autoren 28. September 2017 1 Gruppen 1.1 Grundlagen 1.2 Homomorphie- und Isomorphiesätze Sind G und G Gruppen und ϕ : G G ein Gruppenhomomorphismus.
MehrMusterlösung zur Probeklausur Lineare Algebra I
Musterlösung zur Probeklausur Lineare Algebra I Aufgabe 1 5 Punkte: Welche der folgenden Aussagen sind wahr bzw. falsch? Setzen Sie in jeder Zeile genau ein Kreuz. Für jede korrekte Antwort erhalten Sie
MehrRepetitorium Mathematik für Informatiker I, Sommersemester Probeklausur Nr. 2. Information
Prof. Dr. Bernhard Steffen Dawid Kopetzki Repetitorium zur Vorlesung Mathematik für Informatiker 1 Sommersemester 2015 Probeklausur Nr. 2 Information Diese Aufgaben dienen als Grundlage zur Wiederholung
MehrAbb lokales Maximum und Minimum
.13 Lokale Extrema, Monotonie und Konvexität Wir kommen nun zu den ersten Anwendungen der Dierentialrechnung. Zwischen den Eigenschaten einer Funktion, dem Verlau des zugehörigen Graphen und den Ableitungen
MehrLogik und Mengenlehre. Mengenlehre Aussagenlogik Prädikatenlogik Mengenalgebra Relationen Funktionen. Russelsche Antinomie Die freie Software R Quiz
Logik und Mengenlere Mengenlere Aussagenlogik Prädikatenlogik Mengenalgebra Relationen Funktionen Russelsce Antinomie Die freie Software R Qui Mengenlere 1 Am Anfang war das Nicts Die leere Menge 2 entält
Mehr4 Homomorphismen von Halbgruppen und Gruppen
4 Homomorphismen von Halbgruppen und Gruppen Bei der Betrachtung der Gruppe S 3 hatten wir auf die Ähnlichkeit im Verhalten der Permutationen von 1,2,3} mit dem der Symmetrien (Deckbewegungen) eines gleichseitigen
MehrÜbersicht. Einführung Universelles Hashing Perfektes Hashing
Hasing Übersict Einfürung Universelles Hasing Perfektes Hasing 2 Das Wörterbuc-Problem Gegeben: Universum U = [0 N-1], wobei N eine natürlice Zal ist. Ziel: Verwalte Menge S U mit folgenden Operationen.
MehrMathematik I. Vorlesung 14. Rang von Matrizen
Prof Dr H Brenner Osnabrück WS 2009/2010 Mathematik I Vorlesung 14 Rang von Matrizen Definition 141 Es sei K ein Körper und sei M eine m n-matrix über K Dann nennt man die Dimension des von den Spalten
MehrSerie 3: Ringe, Körper, Vektorräume
D-MATH Lineare Algebra I HS 2016 Dr. Meike Akveld Serie 3: Ringe, Körper, Vektorräume 1. Im Folgenden sei n N und Z n bezeichne die Menge der Äquivalenzklassen von Z bezüglich der Relation: k n l n k l
Mehr3 Allgemeine Algebren
Grundlagen der Mathematik für Informatiker 1 3 Allgemeine Algebren Definition 3.1 Für eine Menge A nennen wir eine n-stellige Funktion ω : A n A eine n-äre algebraische Operation. Bemerkung zum Fall n
Mehr5 Lineare Abbildungen
5 Lineare Abbildungen Pink: Lineare Algebra 2014/15 Seite 59 5 Lineare Abbildungen 5.1 Definition Gegeben seien Vektorräume U, V, W über einem Körper K. Definition: Eine Abbildung f : V W heisst K-linear,
Mehr4 Terme und Σ-Algebren
Grundlagen der Mathematik für Informatiker 1 Grundlagen der Mathematik für Informatiker 2 4 Terme und Σ-Algebren 4.1 Grundterme und Terme Menge S von unktionssymbolen funktionale Signatur: Σ S N Menge
MehrGrundlagen der linearen Algebra und analytischen Geometrie
Grundlagen der linearen Algebra und analytischen Geometrie Sascha Trostorff 27. Oktober 2017 Inhaltsverzeichnis I. Einführung in die Mengenlehre 3 1. Grundlagen der Aussagenlogik 4 2. Naive Mengenlehre
MehrFormale Grundlagen 2008W. Vorlesung im 2008S Institut für Algebra Johannes Kepler Universität Linz
Formale Grundlagen Institut für Algebra Johannes Kepler Universität Linz Vorlesung im 2008S http://www.algebra.uni-linz.ac.at/students/win/fg Inhalt Definition Sei A eine Menge und ɛ A A A eine zweistellige
MehrLineare Algebra. 1 Lineare Abbildungen
Lineare Algebra Die lineare Algebra ist ein Teilgebiet der Mathematik, welches u. A. zur Beschreibung geometrischer Abbildungen und diverser Prozesse und zum Lösen linearer Gleichungssysteme mit Hilfe
Mehr7 Vektorräume und Körperweiterungen
$Id: vektor.tex,v 1.3 2009/05/25 15:03:47 hk Exp $ 7 Vektorräume und Körperweiterungen Wir sind gerade bei der Besprechung derjenigen Grundeigenschaften des Tensorprodukts, die mit vergleichsweise wenig
MehrKongruenzen und Restklassenringe. 2. Kongruenzen und Restklassenringe
2. Kongruenzen und Restklassenringe Kongruenzen Definition: Wir sagen a ist kongruent zu b modulo m schreiben a b mod m, wenn m die Differenz b-a te Beispiel: Es gilt 2 19 mod 21, 10 0 mod 2. Reflexivität:
Mehr(1.18) Def.: Eine Abbildung f : M N heißt
Zurück zur Mengenlehre: Abbildungen zwischen Mengen (1.17) Def.: Es seien M, N Mengen. Eine Abbildung f : M N von M nach N ist eine Vorschrift, die jedem x M genau ein Element f(x) N zuordnet. a) M = N
MehrInvariantentheorie. Vorlesung 2. Gruppenoperationen
Prof. Dr. H. Brenner Osnabrück WS 2012/2013 Invariantentheorie Vorlesung 2 Gruppenoperationen In den beiden Beispielen der ersten Vorlesung operiert eine Gruppe auf einer Menge: Die Kongruenzabbildungen
MehrLösungsmenge L I = {x R 3x + 5 = 9} = L II = {x R 3x = 4} = L III = { }
Zur Einleitung: Lineare Gleichungssysteme Wir untersuchen zunächst mit Methoden, die Sie vermutlich aus der Schule kennen, explizit einige kleine lineare Gleichungssysteme. Das Gleichungssystem I wird
Mehr11 Multilineare Algebra
11 Multilineare Algebra Pink: Lineare Algebra 2014/15 Seite 117 11 Multilineare Algebra 11.1 Multilineare Abbildungen Definition: Betrachte K-Vektorräume V 1,...,V r und W. Eine Abbildung ϕ: V 1... V r
MehrÄquivalenz von Matrizen
Äquivalenz von Matrizen Wir befassen uns jetzt mit der Fragestellung, ob man zu einer gegebenen linearen Abbildung F : V W geeignete Basen für V und W finden kann, sodass die darstellende Matrix von F
Mehr= k 0+k 0 ( ). Wir addieren (0 k) zu den Seiten der Gleichung ( ): 0 = k 0.
Def 4 Eine Menge K mit zwei Abbildungen + : K K K und : K K K (heißen Addition und Multiplikation; wir werden a b bzw a+b statt (a,b), +(a,b) schreiben) ist ein kommutativer Ring, falls: (R1) (K, +) ist
MehrDie reellen Zahlen als Äquivalenzklassen rationaler Cauchy-Folgen. Steven Klein
Die reellen Zahlen als Äquivalenzklassen rationaler Cauchy-Folgen Steven Klein 04.01.017 1 In dieser Ausarbeitung konstruieren wir die reellen Zahlen aus den rationalen Zahlen. Hierzu denieren wir zunächst
Mehr6.6 Normal- und Kompositionsreihen
282 6.6 Normal- und Kompositionsreihen Es geht jetzt um die innere Struktur von Gruppen, soweit diese mit Ketten von ineinandergeschachtelten Normalteilern beschrieben werden kann. Erinnern wir uns deshalb
MehrÜber die algebraische Struktur physikalischer Größen
Über die algebraische Struktur physikalischer Größen Alois Temmel Juni 2001 c 2001, A. Temmel Inhaltsverzeichnis 1 Physikalische Größen 3 1.1 Das internationale Einheitensystem............... 3 1.2 Die
Mehr5. Äquivalenzrelationen
5. Äquivalenzrelationen 35 5. Äquivalenzrelationen Wenn man eine große und komplizierte Menge (bzw. Gruppe) untersuchen will, so kann es sinnvoll sein, zunächst kleinere, einfachere Mengen (bzw. Gruppen)
MehrTeil I. Lineare Algebra I Vorlesung Sommersemester Olga Holtz. MA 378 Sprechstunde Fr und n.v.
Teil I Lineare Algebra I Vorlesung Sommersemester 2011 Olga Holtz MA 378 Sprechstunde Fr 14-16 und nv holtz@mathtu-berlinde Sadegh Jokar MA 373 Sprechstunde, Do 12-14 und nv jokar@mathtu-berlinde Kapitel
MehrVereinbarte Schreibweisen in der Mathematik am Kranich-Gymnasium
Gt: Vereinbarte mathematische Schreibweisen laut Fachkonerenzbeschlüssen Stand:..6 Vereinbarte Schreibweisen in der Mathematik am Kranich-Gymnasium Mengen Kurz und knapp Mengen Will man ausdrücken, dass
MehrÜbungen zur Diskreten Mathematik I Blatt 6
1 Blatt 6 Aufgabe 19 Es sei M := {n N : n 2} und R := {(n, m) M M : n teilt m}. a) Zeigen Sie, dass R eine Ordnungsrelation auf M ist. b) Überprüfen Sie, ob R eine totale Ordnung auf M ist. c) Zeigen Sie,
Mehr1.4 Gruppen, Ringe, Körper
14 Gruppen, Ringe, Körper Definition 141 Eine Verknüpfung auf einer Menge M ist eine Abbildung : M M M : (a, b a b Die Verknüpfung heißt assoziativ falls gilt: a (b c = (a b c a, b, c M; kommutativ falls
Mehr