Workshop über Kompaktifizierungen von Modulräumen und tropische Geometrie. Einführung. Termine WS 2007/08

Größe: px
Ab Seite anzeigen:

Download "Workshop über Kompaktifizierungen von Modulräumen und tropische Geometrie. Einführung. Termine WS 2007/08"

Transkript

1 WS 2007/08 Workshop über Kompaktifizierungen von Modulräumen und tropische Geometrie Termine Der Workshop findet an drei Samstagen im Wintersemester stattfinden: 10. November, 1. Dezember, 19. Januar. Über den Ort (der jeweils wechseln sollte) ist noch zu entscheiden. Einführung Sei M 0,n der Modulraum glatter projektiver Kurven vom Geschlecht 0 mit n markierten Punkten (mit anderen Worten: der Raum von n-tupeln von Punkten auf P 1 k ). (Wir arbeiten über einem algebraisch abgeschlossenen Körper k der Charakteristik 0.) Der Raum M 0,n der n-punktierten stabilen Kurven vom Geschlecht 0, die Grothendieck- Knudsen-Kompaktifizierung von M 0,n besitzt eine Reihe schöner Eigenschaften. Beispielsweise kann man M 0,n neben der Interpretation als Modulraum auch als die logkanonische Kompaktifizierung charakterisieren. Das zentrale Objekt im Workshop wird der Modulraum X(r, n) von n-tupeln von Hyperebenen in P r 1 in allgemeiner Lage sein. Dies ist offenbar eine Verallgemeinerung von M 0,n : es ist X(2, n) = M 0,n. Wir wollen für diese Verallgemeinerung die Kompaktifizierung durch den Hilbert-Quotienten studieren, insbesondere in Hinsicht auf eine Interpretation als Modulraum, die Beschreibung der 1-Parameter-Degenerationen, und auf die Mori-theoretische Bedeutung. Diese Kompaktifizierung ist von Kapranov in [K1] (und in [K2] im Fall M 0,n ) studiert worden. Die Varietäten, die Lafforgue in [L] betrachtet, hängen eng damit zusammen. Wir richten uns im wesentlichen nach den neueren Arbeiten von Hacking, Keel und Tevelev [HKT1], [KT], [T]. Die Beziehung zum Mori-Programm und zur logarithmischen Geometrie ist oben schon angeklungen, und auch im Programm an vielen Stellen präsent. Die tropische Geometrie taucht zwar ganz prominent im Titel des Workshops auf, aber nicht ganz so sichtbar im Programm; daher hier noch ein Satz dazu, was wir unter dem tropischen Aspekt verstehen. Wir interessieren uns für Kompaktifizierungen sehr affiner Varietäten, d. h. abgeschlossener Untervarietäten X G N m. Die Bewertung auf dem Körper K der Puiseux-Reihen über k liefert eine Abbildung deg: T (K) X,Q = Q N. Das Bild A von X(K) unter dieser Abbildung bezeichnet man als die nichtarchimedische Amöbe von X. Es gibt Fächer mit zugrundeliegender Menge A, und man kann X durch Abschlussbildung in der zugehörigen torischen Varietät kompaktifizieren. Siehe [T] 2. In loc. cit. wird diese Methode sowohl für Komplemente von Hyperebenenarrangements, als auch für X(r, n) diskutiert. Im Workshop ist vor allem der erste Fall von Interesse. In [KT], Thm werden die Membranen, gewisse

2 Teilmenge des Bruhat-Tits-Gebäudes der P GL r, mit nichtarchimedischen Amöben identifiziert; siehe Vortrag 3.1. Für eine detailliertere Einführung verweisen wir (neben dem genauen Programm unten) auf die Einleitungen von [K1], [KT] und [HKT2]. Einige interessante Aspekte, die nahe an diesem Thema liegen, können wir aus Zeitgründen nicht behandeln. Zu nennen ist etwa die Arbeit [HKT2], in der Modulräume von del-pezzo-flächen kompaktifiziert werden. Ein anderes interessantes Thema wäre die Kompaktifizierung des Konfigurationsraums von n-tupeln verschiedener Punkte in einer Varietät X, wo die Isomorphismen nicht herausgeteilt werden, siehe etwa die Arbeiten von Fulton und MacPherson [FM], Totaro [To], Ulyanov [U]. Organisatorisches An jedem Termin sollte ein Team vier oder fünf Vorträge bestreiten, dessen Mitglieder idealerweise auch im Vorfeld Gelegenheit haben, diese Vorträge miteinander zu diskutieren, d.h. am gleichen oder an nahe beisammenliegenden Standorten arbeiten. Die Angaben zur Vortragsdauer unten sind als Vorschläge zu verstehen. Die Teams können in dieser Hinsicht in eigener Regie umdisponieren. Allerdings sollte die Gesamtvortragsdauer von vier Stunden pro Treffen festbleiben. Sprache Zu der Frage, ob die Vorträge auf Deutsch oder auf Englisch gehalten werden sollten ist unser Vorschlag (der natürlich diskutiert werden kann): jeder Vortragende entscheidet selbst unter Berücksichtigung seiner eigenen Sprachkenntnisse und der seiner Zuhörer, mit welcher Sprache er die beste Kommunikation herstellen kann. 1 Chow-Quotienten von Grassmannschen 1.1 Chow-Quotient und Hilbert-Quotient (60 Min.) Wir beginnen mit der allgemeinen Definition des Chow-Quotienten und des Hilbert- Quotienten; siehe [K1] 0. (Die Definition von Chow- und Hilbert-Schema sollte vielleicht kurz wiederholt werden; ihre Existenz nehmen wir hin.) Den Chow-Quotienten des projektiven Raums nach einer Torus-Operation kann man recht konkret beschreiben, siehe loc. cit. 0.2, [KSZ], [KT] 2.1. Wir wollen dies nun anwenden auf die Konstruktion des Quotienten der Grassmannschen Gr(r, n) der r-dimensionalen Unterräume von k n nach der Operation des Torus G n m, der in natürlicher Weise auf k n und damit auf Gr(r, n) operiert. In [K1], Thm wird gezeigt, dass in diesem Fall Chow- und Hilbert-Quotient übereinstimmen.

3 Die Gelfand-MacPherson-Korrespondenz stellt dann den Zusammenhang her zum Modulraum von n-tupeln von Hyperebenen in P r 1 (in allgemeiner Lage): [K1], Thm , siehe auch [HKT1] Lafforgues torische Varietät der Pflasterungen eines Matroidpolytops (60 Min.) Neben dem Hilbert-Quotienten spielt insbesondere die Kompaktifizierung von Lafforgue im folgenden eine Rolle. (Beide Kompaktifizierungen haben dieselbe Normalisierung.) In diesem Vortrag sollen die Abschnitte [KT] behandelt werden, und, soweit möglich, die Teile aus [L] bewiesen werden, die dort benötiget werden. Sofern es Erleichterungen mit sich bringt, kann man sich stets auf den in [KT] betrachteten Fall einschränken. Wo es sich anbietet, sollte man als Beispiel auf den Fall r = 2 (wo X(2, n) = M 0,n ) eingehen. 1.3 Der Modulraum von Paaren (60 Min.) In diesem Vortrag konstruieren wir mit Hilfe des multi-graduierten Hilbert-Schemas ein weiteres kompaktes Schema M X(r, n), das X(r, n) enthält (und das wir in Vortrag 2.1 als Modulraum sehr stabiler Paare beschreiben werden). Wir folgen [HKT1] 3. Die Räume X(r, n), M, und Lafforgues Kompaktifizierung X L (r, n) sollen dann verglichen werden. Siehe [HKT1], Cor. 3.9, [KT] Familie der sichtbaren Konturen (60 Min.) Zum Abschluss des ersten Treffens definieren und untersuchen wir die Familie der sichtbaren Konturen auf dem Modulraum X(r, n) bzw. M. Insgesamt sollten die Ergebnisse aus [KT] und [HKT1] 4 (die sich zu einem guten Teil überschneiden), besprochen werden. Vergleiche auch [HKT1], 2, und [T], insbesondere Thm. 1.4, Modulare Beschreibung und die Singularitäten von (X(r, n), B) Bei diesem Treffen werden einige Begriffe aus der logarithmischen Geometrie benötigt. Uns scheint es am sinnvollsten, darauf keinen eigenen Vortrag zu verwenden, sondern die benötigten Begriffe jeweils an Ort und Stelle zu behandeln. In jedem Fall sollten sie kurz wiederholt werden. Referenzen sind zum Beispiel [KMM], [Ka], [O1], [O2].

4 2.1 Modulare Beschreibung (75 Min.) Nun geht es um die Beschreibung des Raums M aus Vortrag 1.3 als feiner Modulraum, [HKT1], 5 7. Sicherlich lässt sich nicht alles im Detail besprechen; wir überlassen die Gewichtung dem Vortragenden. Das Beispiel in 7 sollte aber nach Möglichkeit behandelt werden. 2.2 Log-Struktur (45 Min.) Wir diskutieren einige Eigenschaften von X(r, n) im Sinne der logarithmischen Geometrie: [KT], Abschnitt X(r, n) ist nicht log-kanonisch I (45 Min.) Nach den im vorhergehenden Vortrag behandelten Ergebnissen (insbesondere [KT], Prop. 2.18) und allgemeinen Vermutungen aus der Mori-Theorie erwartet man, dass X(r, n) eine log-kanonische Kompaktifizierung besitzt. Das wesentliche Ergebnis dieses Vortrags ist, dass aber die Kompaktifizierung durch (die Normalisierung des) Hilbert- Quotienten nicht die gesuchte ist: [KT] Thm Der Ansatz, um zu zeigen, dass die Kompaktifizierung X(r, n) X(r, n) (abgesehen von den wenigen ausgeschlossenen Fällen) nicht log-kanonisch ist, ist ganz einfach: wäre sie es, so müssten die Durchschnitte der Divisoren im Rand die erwarteten Dimensionen haben (siehe [KT], Prop. 3.18). Dass das nicht der Fall ist, lässt sich durch kombinatorische Argumente zeigen. Wir folgen [KT], X(r, n) ist nicht log-kanonisch II (30 Min.) In diesem Vortrag soll [KT], Thm behandelt werden. (Natürlich kann der Stoff der Vorträge 2.3 und 2.4 auch anders aufgeteilt werden.) 2.5 Mnëvs Theorem (45 Min.) Wir zeigen hier, dass die Singularitäten im Rand von X(3, n) beliebig schlecht sind, [KT] 1.8, Thm Das ist eine Variante von Mnëvs Theorem, siehe [L], Thm Parameter-Degenerationen 3.1 Grundlagen über das Bruhat-Tits-Gebäude, die Membran (45 Min.) In diesem Vortrag soll [KT] 4 behandelt werden. Zur Erleichterung des Verständnisses und mit Blick auf Vortrag 3.3 sollte der Fall der P GL 2 stets als Beispiel mitgeführt werden; siehe auch [K2], p Vergleiche auch [JSY], wo ein kombinatorischer Beweis von [KT] Thm gegeben wird.

5 3.2 Tropische Kompaktifizierungen (45 Min.) An dieser Stelle machen wir noch einen kleinen Exkurs über tropische Kompaktifizierungen, und behandeln so viel von [T] (insbesondere aus 5), wie möglich ist (d. h.: dem Vortragenden sinnvoll erscheint). Das ist damit abzustimmen, was in vorhergehenden Vorträgen (insbesondere 1.4) schon zu diesem Thema gesagt wurde. Eventuell ist es sinnvoll, die Reihenfolge der Vorträge 3.1 und 3.2 zu tauschen. 3.3 Der Fall von M 0,n (60 Min.) [K2] Thm. 0.1 (dabei Teil (c) ohne Beweis), 3. Siehe auch [K1], Thm , das zumindest zitiert werden sollte: darin wird gezeigt, dass der Hilbert-Quotient X(2, n) gerade die Grothendieck-Knudsen-Kompaktifizierung von X(2, n) = M 0,n ist. 3.4 Deligne-Schemata und semistabile Auflösung (45 Min.) Wir betrachten nun einparametrige Degenerationen in X(r, n). Zu einem K = k((z))- wertigen Punkt von X(r, n), gegeben durch Elemente f 1,..., f n K r, (von denen je r linear unabhängig sind), suchen wir den zugehörigen R = k[[z]]-wertigen Punkt von X(r, n). Die f i beschreiben eine Membran im Bruhat-Tits-Gebäude, und die spezielle Faser der zugehörigen Familie lässt sich durch einen Mustafin-Join in Termen dieser Membran beschreiben, siehe [KT] Thm Insgesamt sollen loc. cit. 5, 6 behandelt (und damit Theorem 1.13 bewiesen) werden. Wenn die Zeit ausreicht, kann man auch noch etwas zum Übergang zum Limes sagen, wie in loc. cit Explizite Beschreibung der speziellen Faser (45 Min.) Schließlich betrachten wir die Frage, wie man die Faser in der Familie der sichtbaren Konturen über dem speziellen Punkt einer einparametrigen Familie explizit beschreiben kann: [KT], 8. Vielleicht muss man hier noch etwas zur Variation von GIT- Quotienten wiederholen, [DH]. Literatur [DH] [F] I. Dolgachev, Y. Hu, Variation of geometric invariant theory quotients, Inst. Hautes Études Sci. Publ. Math. 87 (1998), G. Faltings, Toroidal resolutions for some matrix singularities, in: Moduli of Abelian Varieties (Texel 1999), Prog. Math. 195, Birkhäuser 2001, O [FM] W. Fulton, R. MacPherson, A compactification of configuration spaces, Ann. Math. 139 (1994), [JSY] M. Joswig, B. Sturmfels, J. Yu, Affine Buildings and Tropical Convexity, ar- Xiv: v1

6 [K1] M. Kapranov, Chow quotients of Grassmannians, I, in: I. M. Gelfand Seminar, Adv. Soviet. Math. 16, Part 2, AMS 1993, [K2] M. Kapranov, Veronese curves and Grothendieck-Knudsen moduli space M 0,n, J. Alg. Geom. 2 (1993), [KSZ] M. Kapranov, B. Sturmfels, A. Zelevinsky, Quotients of toriv varieties, Math. Ann. 290 (1991), [Ka] K. Kato, Logarithmic structures of Fontaine-Illusie, in: Algebraic analysis, geometry, and number theory (Baltimore, 1988), Johns Hopkins Univ. Press (1989), [KMM] Y. Kawamata, K. Matsuda, K. Matsuki, Introduction to the minimal model program, in: Algebraic Geometry (Sendai, 1985), Adv. Stud. Pure Math. 10, North Holland (1987), [H] P. Hacking, Compact moduli of hyperplane arrangements, math.ag/ [HKT1] P. Hacking, S. Keel, J. Tevelev, Compactification of the moduli space of hyperplane arrangements, J. Alg. Geom. 15 (2006), no. 4, math.ag/ [HKT2] P. Hacking, S. Keel, J. Tevelev, Stable pair, tropical, and log canonical compact moduli of del Pezzo surfaces, math.ag/ [KT] S. Keel, J. Tevelev, Geometry of Chow quotients of Grassmannians, Duke Math. J. 134, no. 2 (2006), vgl. auch math.ag/ [L] L. Lafforgue, Chirurgie des grassmanniennes, CRM Monogr. Ser. 19, AMS [O1] M. Olsson, Logarithmic geometry and algebraic stacks, Ann. Sci. École Norm. Sup. (4) 36 (2003), [O2] M. Olsson, The logarithmic cotangent complex, Math. Ann. 333 (2005), [T] J. Tevelev, Compactifications of subvarieties of tori, Amer. J. Math. 129, no. 4 (2007), tevelev/trop70.pdf [To] B. Totaro, Configuration spaces of algebraic varieties, Topology 35 (1996), [U] A. Ulyanov, Polydiagonal compactification of configuration spaces, J. Alg. Geom. 11 (2002),

9.2. DER SATZ ÜBER IMPLIZITE FUNKTIONEN 83

9.2. DER SATZ ÜBER IMPLIZITE FUNKTIONEN 83 9.. DER SATZ ÜBER IMPLIZITE FUNKTIONEN 83 Die Grundfrage bei der Anwendung des Satzes über implizite Funktionen betrifft immer die folgende Situation: Wir haben eine Funktion f : V W und eine Stelle x

Mehr

Lösungen zum 3. Aufgabenblatt

Lösungen zum 3. Aufgabenblatt SS, Lineare Algebra Die Lösungen wurden erstellt von: Isabel Voigt, Vanessa Lamm und Matthias Rehder Hinweis: Eine Liste der zur Bearbeitung verwendeten Literatur ist unter www.mathematiwelt.com aufrufbar.

Mehr

Tropische Kurven zählen. Enumerative Geometrie. Alg. Geometrie. Beispiel Strategie. Geometrie. Kurven Multiplizität Correspondence Theorem Ergebnisse

Tropische Kurven zählen. Enumerative Geometrie. Alg. Geometrie. Beispiel Strategie. Geometrie. Kurven Multiplizität Correspondence Theorem Ergebnisse Alg. Ebene e Hannah Markwig Technische Universität Kaiserslautern 6. Juli 2006 Alg. Inhalt 1 () 2 3 Der Algorithmus zum Zählen ebener 4 Der Algorithmus Alg. Algebraische Geometrische Objekte sind Nullstellengebilde

Mehr

Im gesamten Kapitel sei Ω eine nichtleere Menge. Wir bezeichnen die Potenzmenge

Im gesamten Kapitel sei Ω eine nichtleere Menge. Wir bezeichnen die Potenzmenge 1 Mengensysteme Ein Mengensystem ist eine Familie von Teilmengen einer Grundmenge und damit eine Teilmenge der Potenzmenge der Grundmenge. In diesem Kapitel untersuchen wir Mengensysteme, die unter bestimmten

Mehr

Projektive Moduln. Lemma/Definition 1.1. Folgende Aussagen für einen R-Modul P sind äquivalent: (i) P erfüllt folgende Liftungseigenschaft:

Projektive Moduln. Lemma/Definition 1.1. Folgende Aussagen für einen R-Modul P sind äquivalent: (i) P erfüllt folgende Liftungseigenschaft: Seminar Summen von Quadraten und K-Theorie Projektive Moduln Im Folgenden sei R ein assoziativer Ring mit Eins, nicht notwendigerweise kommutativ. R-Modul ist im Folgenden stets ein Rechts-R-Modul. Ein

Mehr

Lineare Gleichungssysteme

Lineare Gleichungssysteme Lineare Gleichungssysteme Sei K ein Körper, a ij K für 1 i m, 1 j n. Weiters seien b 1,..., b m K. Dann heißt a 11 x 1 + a 12 x 2 +... + a 1n x n = b 1 a 21 x 1 + a 22 x 2 +... + a 2n x n = b 2... a m1

Mehr

Algorithmen II Vorlesung am 15.11.2012

Algorithmen II Vorlesung am 15.11.2012 Algorithmen II Vorlesung am 15.11.2012 Kreisbasen, Matroide & Algorithmen INSTITUT FÜR THEORETISCHE INFORMATIK PROF. DR. DOROTHEA WAGNER KIT Universität des Landes Baden-Württemberg und Algorithmen nationales

Mehr

Die Weierstraßsche Funktion

Die Weierstraßsche Funktion Die Weierstraßsche Funktion Nicolas Weisskopf 7. September 0 Zusammenfassung In dieser Arbeit führen wir die Weierstraßsche Funktion ein und untersuchen einige ihrer Eigenschaften. Wir zeigen, dass jede

Mehr

Optimalitätskriterien

Optimalitätskriterien Kapitel 4 Optimalitätskriterien Als Optimalitätskriterien bezeichnet man notwendige oder hinreichende Bedingungen dafür, dass ein x 0 Ω R n Lösung eines Optimierungsproblems ist. Diese Kriterien besitzen

Mehr

Programm des Hauptseminars Symmetrie

Programm des Hauptseminars Symmetrie Programm des Hauptseminars Symmetrie Prof. Dr. Irene Bouw Universität Ulm Institut für Reine Mathematik SS 2008 irene.bouw at uni-ulm.de Vortrag 1: Einführung (2 Personen) Dieser Vortrag soll eine Einführung

Mehr

7 Vektorräume und Körperweiterungen

7 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

Mehr

Vorlesung. Funktionen/Abbildungen 1

Vorlesung. Funktionen/Abbildungen 1 Vorlesung Funktionen/Abbildungen 1 1 Grundlagen Hinweis: In dieser Vorlesung werden Funktionen und Abbildungen synonym verwendet. In der Schule wird eine Funktion häufig als eindeutige Zuordnung definiert.

Mehr

Charakteristikenmethode im Beispiel

Charakteristikenmethode im Beispiel Charakteristikenmethode im Wir betrachten die PDE in drei Variablen xu x + yu y + (x + y )u z = 0. Das charakteristische System lautet dann ẋ = x ẏ = y ż = x + y und besitzt die allgemeine Lösung x(t)

Mehr

Algebraische Kurven. Vorlesung 26. Die Schnittmultiplizität

Algebraische Kurven. Vorlesung 26. Die Schnittmultiplizität Prof. Dr. H. Brenner Osnabrück SS 2012 Algebraische Kurven Vorlesung 26 Die Schnittmultiplizität Es seien zwei ebene algebraische Kurven C,D A 2 K gegeben, die keine Komponente gemeinsam haben. Dann besteht

Mehr

Geometrische Mannigfaltigkeiten

Geometrische Mannigfaltigkeiten Geometrische Mannigfaltigkeiten Thilo Kuessner Abstract Kurzfassung der Vorlesung: Definitionen, Beispiele und Sätze, keine Beweise. Definition 1. Ein topologischer Raum ist eine Menge X mit einer Familie

Mehr

Beispiel 11.2. Wenn p ein Polynom vom Grad größer gleich 1 ist, ist q : C Ĉ definiert durch q (z) =

Beispiel 11.2. Wenn p ein Polynom vom Grad größer gleich 1 ist, ist q : C Ĉ definiert durch q (z) = Funktionentheorie, Woche Funktionen und Polstellen. Meromorphe Funktionen Definition.. Sei U C offen und sei f : U gilt, nennt man f meromorph auf U: Ĉ eine Funktion. Wenn folgendes. P := f hat keine Häufungspunkte;.

Mehr

Lineare Algebra I. Prof. Dr. M. Rost. Übungen Blatt 10 (WS 2010/2011) Abgabetermin: Donnerstag, 13. Januar.

Lineare Algebra I. Prof. Dr. M. Rost. Übungen Blatt 10 (WS 2010/2011) Abgabetermin: Donnerstag, 13. Januar. Lineare Algebra I Prof. Dr. M. Rost Übungen Blatt 10 (WS 2010/2011) Abgabetermin: Donnerstag, 13. Januar http://www.math.uni-bielefeld.de/~rost/la1 Erinnerungen und Ergänzungen zur Vorlesung: Hinweis:

Mehr

Ein RSA verwandtes, randomisiertes Public Key Kryptosystem

Ein RSA verwandtes, randomisiertes Public Key Kryptosystem Seminar Codes und Kryptographie WS 2003 Ein RSA verwandtes, randomisiertes Public Key Kryptosystem Kai Gehrs Übersicht 1. Motivation 2. Das Public Key Kryptosystem 2.1 p-sylow Untergruppen und eine spezielle

Mehr

TECHNISCHE UNIVERSITÄT MÜNCHEN. Abzählbarkeit, Injektivität, Sürjektivität und Bijektivität

TECHNISCHE UNIVERSITÄT MÜNCHEN. Abzählbarkeit, Injektivität, Sürjektivität und Bijektivität TECHNISCHE UNIVERSITÄT MÜNCHEN Zentrum Mathematik Prof. Dr. Friedrich Roesler Ralf Franken, PhD Max Lein Lineare Algebra 1 WS 26/7 en Blatt 4 13.11.26 Abzählbarkeit, Injektivität, Sürjektivität und Bijektivität

Mehr

Seminar A - Spieltheorie und Multiagent Reinforcement Learning in Team Spielen

Seminar A - Spieltheorie und Multiagent Reinforcement Learning in Team Spielen Seminar A - Spieltheorie und Multiagent Reinforcement Learning in Team Spielen Michael Gross mdgrosse@sbox.tugraz.at 20. Januar 2003 1 Spieltheorie 1.1 Matrix Game Definition 1.1 Ein Matrix Game, Strategic

Mehr

Wintersemester 2005/2006 Gedächtnisprotokoll der mündlichen Prüfung

Wintersemester 2005/2006 Gedächtnisprotokoll der mündlichen Prüfung Wintersemester 2005/2006 Gedächtnisprotokoll der mündlichen Prüfung Ulrich Loup 24.03.2006 Prüfungsstoff: Alegebra I, Analysis IV, Graphentheorie I Prüfer: Prof. Dr. Wilhelm Plesken Protokollant: Dipl.

Mehr

Vorlesung Analysis I / Lehramt

Vorlesung Analysis I / Lehramt Vorlesung Analysis I / Lehramt TU Dortmund, Wintersemester 2012/ 13 Winfried Kaballo Die Vorlesung Analysis I für Lehramtsstudiengänge im Wintersemester 2012/13 an der TU Dortmund basiert auf meinem Buch

Mehr

Fixpunktsemantik logischer Programme Pascal Hitzler Juli 1997 Kurzuberblick im Rahmen der Vorlesung Einfuhrung in Prolog von T. Cornell im Sommersemester 1997 an der Universitat Tubingen. Beweise sind

Mehr

Kapitel 15. Lösung linearer Gleichungssysteme

Kapitel 15. Lösung linearer Gleichungssysteme Kapitel 15. Lösung linearer Gleichungssysteme Lineare Gleichungssysteme Wir befassen uns nun mit der Lösung im allgemeinen nichthomogener linearer Gleichungssysteme in zweifacher Hinsicht. Wir studieren

Mehr

Seminararbeit für das SE Reine Mathematik- Graphentheorie

Seminararbeit für das SE Reine Mathematik- Graphentheorie Seminararbeit für das SE Reine Mathematik- Graphentheorie Der binäre Rang, der symplektische Graph, die Spektralzerlegung und rationale Funktionen Vortrag am 24.01.2012 Heike Farkas 0410052 Inhaltsverzeichnis

Mehr

Nichtlineare Optimierung ohne Nebenbedingungen

Nichtlineare Optimierung ohne Nebenbedingungen Kapitel 2 Nichtlineare Optimierung ohne Nebenbedingungen In diesem Abschnitt sollen im wesentlichen Verfahren zur Bestimmung des Minimums von nichtglatten Funktionen in einer Variablen im Detail vorgestellt

Mehr

Definition 27 Affiner Raum über Vektorraum V

Definition 27 Affiner Raum über Vektorraum V Definition 27 Affiner Raum über Vektorraum V Definition 27 Affiner Raum über Vektorraum V ist die Menge A = Definition 27 Affiner Raum über Vektorraum V ist die Menge A = mit einer Abbildung + : A V A,

Mehr

Dr. Jürgen Roth. Fachbereich 6: Abteilung Didaktik der Mathematik. Elemente der Algebra. Dr. Jürgen Roth 3.1

Dr. Jürgen Roth. Fachbereich 6: Abteilung Didaktik der Mathematik. Elemente der Algebra. Dr. Jürgen Roth 3.1 .1 Dr. Jürgen Roth Fachbereich 6: Abteilung Didaktik der Mathematik Elemente der Algebra . Inhaltsverzeichnis Elemente der Algebra & Argumentationsgrundlagen, Gleichungen und Gleichungssysteme Quadratische

Mehr

Lineare Algebra - alles was man wissen muß

Lineare Algebra - alles was man wissen muß Statistik für Bioinformatiker SoSe 3 Rainer Spang Lineare Algebra - alles was man wissen muß Der Titel ist natürlich gelogen, aber was wir hier zusammengetragen haben ist zumindest ein Anfang. Weniger

Mehr

2 Durchschnitt und Verbindungsraum

2 Durchschnitt und Verbindungsraum 2 Durchschnitt und Verbindungsraum Seien X und Y nicht leere affine Unterräume des R n (21) Satz: a) Ist X Y, so ist T(X) T(Y ) b) Ist X Y φ so ist X Y ein affiner Raum mit Richtungsvektorraum T(X) T(Y

Mehr

Topologische Räume und stetige Abbildungen Teil 2

Topologische Räume und stetige Abbildungen Teil 2 TU Dortmund Mathematik Fakultät Proseminar zur Linearen Algebra Ausarbeitung zum Thema Topologische Räume und stetige Abbildungen Teil 2 Anna Kwasniok Dozent: Prof. Dr. L. Schwachhöfer Vorstellung des

Mehr

2. Stetige lineare Funktionale

2. Stetige lineare Funktionale -21-2. Stetige lineare Funktionale Die am Ende von 1 angedeutete Eigenschaft, die ein lineares Funktional T : D(ú) 6 verallgemeinerten Funktion macht, ist die Stetigkeit von T in jedem n 0 0 D(ú). Wenn

Mehr

Austausch- bzw. Übergangsprozesse und Gleichgewichtsverteilungen

Austausch- bzw. Übergangsprozesse und Gleichgewichtsverteilungen Austausch- bzw. Übergangsrozesse und Gleichgewichtsverteilungen Wir betrachten ein System mit verschiedenen Zuständen, zwischen denen ein Austausch stattfinden kann. Etwa soziale Schichten in einer Gesellschaft:

Mehr

Konzepte von Betriebssystem-Komponenten: Mehrkern-Echtzeitsysteme

Konzepte von Betriebssystem-Komponenten: Mehrkern-Echtzeitsysteme Konzepte von Betriebssystem-Komponenten: Mehrkern-Echtzeitsysteme Peter Ulbrich Lehrstuhl für Informatik 4 Verteilte Systeme und Betriebssysteme Friedrich-Alexander-Universität Erlangen-Nürnberg Wintersemester

Mehr

Expander Graphen und Ihre Anwendungen

Expander Graphen und Ihre Anwendungen Expander Graphen und Ihre Anwendungen Alireza Sarveniazi Mathematisches Institut Universität Göttingen 21.04.2006 Alireza Sarveniazi (Universität Göttingen) Expander Graphen und Ihre Anwendungen 21.04.2006

Mehr

3 Elementare Umformung von linearen Gleichungssystemen und Matrizen

3 Elementare Umformung von linearen Gleichungssystemen und Matrizen 3 Elementare Umformung von linearen Gleichungssystemen und Matrizen Beispiel 1: Betrachte das Gleichungssystem x 1 + x 2 + x 3 = 2 2x 1 + 4x 2 + 3x 3 = 1 3x 1 x 2 + 4x 3 = 7 Wir formen das GLS so lange

Mehr

Ergänzungen zur Analysis I

Ergänzungen zur Analysis I 537. Ergänzungsstunde Logik, Mengen Ergänzungen zur Analysis I Die Behauptungen in Satz 0.2 über die Verknüpfung von Mengen werden auf die entsprechenden Regelnfür die Verknüpfung von Aussagen zurückgeführt.

Mehr

Kompakte Graphmodelle handgezeichneter Bilder

Kompakte Graphmodelle handgezeichneter Bilder Kompakte Graphmodelle handgezeichneter Bilder Einbeziehung in Authentizierung und Bilderkennung Inhaltsverzeichnis Seminar Mustererkennung WS 006/07 Autor: Stefan Lohs 1 Einleitung 1 Das graphische Modell.1

Mehr

Seminar der WE AlZAGK. Glatte Zahlen

Seminar der WE AlZAGK. Glatte Zahlen Seminar der WE AlZAGK WiSe 200/ Glatte Zahlen von Sonja Riedel Mail: sriedel@math.uni-bremen.de Motivation Glatte Zahlen sind, grob gesagt, Zahlen, die nur kleine Primfaktoren besitzen. Sie werden in vielen

Mehr

Das Kryptosystem von McEliece. auf der Basis von linearen Codes

Das Kryptosystem von McEliece. auf der Basis von linearen Codes Das Kryptosystem von McEliece auf der Basis von linearen Codes Anforderungen Public-Key Kryptosysteme E e (m) = c Verschlüsselung D d (c) = m Entschlüsselung mit Schl. effizient effizient 2/25 Anforderungen

Mehr

3. Zusammenhang. 22 Andreas Gathmann

3. Zusammenhang. 22 Andreas Gathmann 22 Andreas Gathmann 3. Zusammenhang Eine der anschaulichsten Eigenschaften eines topologischen Raumes ist wahrscheinlich, ob er zusammenhängend ist oder aus mehreren Teilen besteht. Wir wollen dieses Konzept

Mehr

6.2 Perfekte Sicherheit

6.2 Perfekte Sicherheit 04 6.2 Perfekte Sicherheit Beweis. H(B AC) + H(A C) = H(ABC) H(AC) + H(AC) H(C) Wegen gilt Einsetzen in die Definition gibt = H(AB C). H(A BC) = H(AB C) H(B C). I(A; B C) = H(A C) H(AB C) + H(B C). Da

Mehr

Computer Vision: 3D-Geometrie. D. Schlesinger () Computer Vision: 3D-Geometrie 1 / 17

Computer Vision: 3D-Geometrie. D. Schlesinger () Computer Vision: 3D-Geometrie 1 / 17 Computer Vision: 3D-Geometrie D. Schlesinger () Computer Vision: 3D-Geometrie 1 / 17 Lochkamera Modell C Projektionszentrum, Optische Achse, Bildebene, P Hauptpunkt (optische Achse kreuzt die Bildebene),

Mehr

Seminar Analysis Konvexe Funktionen und einige wichtige Ungleichungen

Seminar Analysis Konvexe Funktionen und einige wichtige Ungleichungen Seminar Analysis Konvexe Funktionen und einige wichtige Ungleichungen Michael Schaeer 3.04.03 Abstract This seminar is about convex functions and several imortant ineualities. At the beginning the term

Mehr

Absolute Stetigkeit von Maßen

Absolute Stetigkeit von Maßen Absolute Stetigkeit von Maßen Definition. Seien µ und ν Maße auf (X, Ω). Dann heißt ν absolut stetig bezüglich µ (kurz ν µ ), wenn für alle A Ω mit µ(a) = 0 auch gilt dass ν(a) = 0. Lemma. Sei ν ein endliches

Mehr

Zahlen und metrische Räume

Zahlen und metrische Räume Zahlen und metrische Räume Natürliche Zahlen : Die natürlichen Zahlen sind die grundlegendste Zahlenmenge, da man diese Menge für das einfache Zählen verwendet. N = {1, 2, 3, 4,...} Ganze Zahlen : Aus

Mehr

Einführung in die Algebra

Einführung in die Algebra Prof. Dr. H. Brenner Osnabrück SS 2009 Einführung in die Algebra Vorlesung 13 Einheiten Definition 13.1. Ein Element u in einem Ring R heißt Einheit, wenn es ein Element v R gibt mit uv = vu = 1. DasElementv

Mehr

7.4 Analyse anhand der SQL-Trace. 7.3.5 Vorabanalyse mit dem Code Inspector

7.4 Analyse anhand der SQL-Trace. 7.3.5 Vorabanalyse mit dem Code Inspector 7.4 Analyse anhand der SQL-Trace 337 7.3.5 Vorabanalyse mit dem Code Inspector Der Code Inspector (SCI) wurde in den vorangegangenen Kapiteln immer wieder erwähnt. Er stellt ein paar nützliche Prüfungen

Mehr

Die Poincaré-Vermutung

Die Poincaré-Vermutung Die Poincaré-Vermutung Dipl.-Math. Bastian Rieck Arbeitsgruppe Computergraphik und Visualisierung Interdisziplinäres Zentrum für Wissenschaftliches Rechnen 3. September 2012 B. Rieck (CoVis) Die Poincaré-Vermutung

Mehr

Frohe Weihnachten und ein gutes neues Jahr!

Frohe Weihnachten und ein gutes neues Jahr! Frohe Weihnachten und ein gutes neues Jahr! Die mit dem Stern * gekennzeichneten Übungen sind nicht verpflichtend, aber sie liefern zusätzliche Punkte. Unten wird immer mit I das reelle Intervall [0, 1]

Mehr

Mathematik für Studierende der Biologie und des Lehramtes Chemie Wintersemester 2013/14. Auswahl vorausgesetzter Vorkenntnisse

Mathematik für Studierende der Biologie und des Lehramtes Chemie Wintersemester 2013/14. Auswahl vorausgesetzter Vorkenntnisse UNIVERSITÄT DES SAARLANDES FACHRICHTUNG 6.1 MATHEMATIK Dipl.-Math. Kevin Everard Mathematik für Studierende der Biologie und des Lehramtes Chemie Wintersemester 2013/14 Auswahl vorausgesetzter Vorkenntnisse

Mehr

Vom Satz des Pythagoras zu aktueller Algebraischer Geometrie

Vom Satz des Pythagoras zu aktueller Algebraischer Geometrie Vom Satz des Pythagoras zu aktueller Algebraischer Geometrie Universität des Saarlandes, Saarbrücken, E-Mail: Labs@Math.Uni-Sb.de, mail@oliverlabs.net, Web: www.oliverlabs.net Saarbrücken, Otto Hahn Gymnasium,

Mehr

Betragsgleichungen und die Methode der Fallunterscheidungen

Betragsgleichungen und die Methode der Fallunterscheidungen mathe online Skripten http://www.mathe-online.at/skripten/ Betragsgleichungen und die Methode der Fallunterscheidungen Franz Embacher Fakultät für Mathematik der Universität Wien E-mail: franz.embacher@univie.ac.at

Mehr

Modulabschlussklausur Analysis II

Modulabschlussklausur Analysis II Modulabschlussklausur Analysis II. Juli 015 Bearbeitungszeit: 150 min Aufgabe 1 [5/10 Punkte] Es sei a R und f a : R 3 R mit f a (x, y, z) = x cos(y) + z 3 sin(y) + a 3 + (z + ay a y) cos(x) a) Bestimmen

Mehr

Installation. Arbeiten mit der MATLAB-Entwicklungsumgebung. MATLAB als Taschenrechner mit Matrix- und Vektorrechnung.

Installation. Arbeiten mit der MATLAB-Entwicklungsumgebung. MATLAB als Taschenrechner mit Matrix- und Vektorrechnung. Installation. Arbeiten mit der MATLAB-Entwicklungsumgebung. MATLAB als Taschenrechner mit Matrix- und Vektorrechnung. Die heutige Sitzung dient dem ersten Kennenlernen von MATLAB. Wir wollen MATLAB zuerst

Mehr

Vortrag 11: Der Satz von Mordell-Weil

Vortrag 11: Der Satz von Mordell-Weil Vortrag 11: Der Satz von Mordell-Weil Max Daniel 30. Januar 2013 Inhaltsverzeichnis 1 Höhenfunktionen auf elliptischen Kurven 2 2 Ausblick 7 Einleitung Sei E/K eine über einem Zahlkörper K definierte elliptische

Mehr

Maple-Skripte. A.1 Einleitung. A.2 Explizite Zweischritt-Runge-Kutta-Verfahren. Bei der Ausführung

Maple-Skripte. A.1 Einleitung. A.2 Explizite Zweischritt-Runge-Kutta-Verfahren. Bei der Ausführung A Maple-Skripte A.1 Einleitung Bei der Ausführung mechanischer Rechnungen können Computeralgebra-Programme sehr nützlich werden. Wenn man genau weiß, was eingesetzt, umgeformt, zusammengefaßt oder entwickelt

Mehr

Haskell zur Constraint-Programmierung HaL8

Haskell zur Constraint-Programmierung HaL8 Haskell zur Constraint-Programmierung HaL8 Alexander Bau 2. Mai 2013 Wir benutzen eine Teilmenge von Haskell zur Spezifikation von Constraint- Systemen über Haskell-Datentypen. Ein Constraint-Compiler

Mehr

Hinweise zum Seminar Kognitive Robotik

Hinweise zum Seminar Kognitive Robotik Hinweise zum Seminar Kognitive Robotik Das menschliche Gehirn ist eine großartige Sache. Es funktioniert vom Moment der Geburt an bis zu dem Zeitpunkt, wo du aufstehst, um eine Rede zu halten. (Mark Twain

Mehr

Partitionen II. 1 Geometrische Repräsentation von Partitionen

Partitionen II. 1 Geometrische Repräsentation von Partitionen Partitionen II Vortrag zum Seminar zur Höheren Funktionentheorie, 09.07.2008 Oliver Delpy In diesem Vortrag geht es um Partitionen, also um Aufteilung von natürlichen Zahlen in Summen. Er setzt den Vortrag

Mehr

Kählersche Geometrie auf komplexen Mannigfaltigkeiten, Skalarkrümmung und das Yamabe-Problem und Simulationen einer kryogenen Gas-Stopzelle

Kählersche Geometrie auf komplexen Mannigfaltigkeiten, Skalarkrümmung und das Yamabe-Problem und Simulationen einer kryogenen Gas-Stopzelle Kählersche Geometrie auf komplexen Mannigfaltigkeiten, Skalarkrümmung und das Yamabe-Problem und Simulationen einer kryogenen Gas-Stopzelle Technische Universität Dresden Dr. rer. nat. Frank Morherr Was

Mehr

Analysis III. Vorlesung 87. Mannigfaltigkeiten mit Rand

Analysis III. Vorlesung 87. Mannigfaltigkeiten mit Rand Prof. Dr. H. Brenner Osnabrück WS 2015/2016 Analysis III Vorlesung 87 Mannigfaltigkeiten mit Rand Eine zweidimensionale Mannigfaltigkeit mit Rand. Der Rand besteht aus den vier geschlossenen Bögen. Definition

Mehr

Numerische Verfahren und Grundlagen der Analysis

Numerische Verfahren und Grundlagen der Analysis Numerische Verfahren und Grundlagen der Analysis Rasa Steuding Hochschule RheinMain Wiesbaden Wintersemester 2011/12 R. Steuding (HS-RM) NumAna Wintersemester 2011/12 1 / 16 4. Groß-O R. Steuding (HS-RM)

Mehr

Michael Artin. Algebra. Aus dem Englischen übersetzt von Annette A'Campo. Birkhäuser Verlag Basel Boston Berlin

Michael Artin. Algebra. Aus dem Englischen übersetzt von Annette A'Campo. Birkhäuser Verlag Basel Boston Berlin Michael Artin Algebra Aus dem Englischen übersetzt von Annette A'Campo Birkhäuser Verlag Basel Boston Berlin INHALTSVERZEICHNIS Vorwort Hinweise viii x Kapitel 1 MATRIZEN 1 1. Matrizenkalkül 1 2. Zeilenreduktion

Mehr

Minimale Darstellungen, Kommutator- und Fixräume, projektive Geometrie

Minimale Darstellungen, Kommutator- und Fixräume, projektive Geometrie Notation Die in dieser Arbeit verwendete Notation ist im Wesentlichen Standard, so wie sie beispielsweise in [As] zu nden ist. Einige Abweichungen hiervon, Klarstellungen und zusätzliche Notationen (sofern

Mehr

Überblick. Lineares Suchen

Überblick. Lineares Suchen Komplexität Was ist das? Die Komplexität eines Algorithmus sei hierbei die Abschätzung des Aufwandes seiner Realisierung bzw. Berechnung auf einem Computer. Sie wird daher auch rechnerische Komplexität

Mehr

Definition:Eine meromorphe Modulform vom Gewicht k Z ist eine meromorphe. f : H C. (ii) C > 0, so daß f(z) im Bereich Im z > C keine Singularität hat.

Definition:Eine meromorphe Modulform vom Gewicht k Z ist eine meromorphe. f : H C. (ii) C > 0, so daß f(z) im Bereich Im z > C keine Singularität hat. Die k/2 - Formel von Renate Vistorin Zentrales Thema dieses Vortrages ist die k/2 - Formel für meromorphe Modulformen als eine Konsequenz des Residuensatzes. Als Folgerungen werden danach einige Eigenschaften

Mehr

1 Eingebettete Untermannigfaltigkeiten des R d

1 Eingebettete Untermannigfaltigkeiten des R d $Id: unter.tex,v 1.2 2014/04/14 13:19:35 hk Exp hk $ 1 Eingebettete Untermannigfaltigkeiten des R d In diesem einleitenden Paragraphen wollen wir Untermannigfaltigkeiten des R d studieren, diese sind die

Mehr

WS 2008/09. Diskrete Strukturen

WS 2008/09. Diskrete Strukturen WS 2008/09 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/ws0809

Mehr

8. Quadratische Reste. Reziprozitätsgesetz

8. Quadratische Reste. Reziprozitätsgesetz O Forster: Prizahlen 8 Quadratische Reste Rezirozitätsgesetz 81 Definition Sei eine natürliche Zahl 2 Eine ganze Zahl a heißt uadratischer Rest odulo (Abkürzung QR, falls die Kongruenz x 2 a od eine Lösung

Mehr

Matrizennorm. Definition 1. Sei A M r,s (R). Dann heißt A := sup die Matrixnorm. Wir wissen zunächst nicht, ob A eine reelle Zahl ist.

Matrizennorm. Definition 1. Sei A M r,s (R). Dann heißt A := sup die Matrixnorm. Wir wissen zunächst nicht, ob A eine reelle Zahl ist. Matrizennorm Es seien r,s N Mit M r,s (R bezeichnen wir die Menge der reellen r s- Matrizen (also der linearen Abbildungen R s R r, und setze M s (R := M s,s (R (also die Menge der linearen Abbildungen

Mehr

2. Spezielle anwendungsrelevante Funktionen

2. Spezielle anwendungsrelevante Funktionen 2. Spezielle anwendungsrelevante Funktionen (1) Affin-lineare Funktionen Eine Funktion f : R R heißt konstant, wenn ein c R mit f (x) = c für alle x R existiert linear, wenn es ein a R mit f (x) = ax für

Mehr

7. Ringe und Körper. 7. Ringe und Körper 49

7. Ringe und Körper. 7. Ringe und Körper 49 7. Ringe und Körper 49 7. Ringe und Körper In den bisherigen Kapiteln haben wir nur Gruppen, also insbesondere nur Mengen mit lediglich einer Verknüpfung, untersucht. In der Praxis gibt es aber natürlich

Mehr

a n + 2 1 auf Konvergenz. Berechnen der ersten paar Folgenglieder liefert:

a n + 2 1 auf Konvergenz. Berechnen der ersten paar Folgenglieder liefert: Beispiel: Wir untersuchen die rekursiv definierte Folge a 0 + auf Konvergenz. Berechnen der ersten paar Folgenglieder liefert: ( ) (,, 7, 5,...) Wir können also vermuten, dass die Folge monoton fallend

Mehr

Einführung in die Kodierungstheorie

Einführung in die Kodierungstheorie Einführung in die Kodierungstheorie Einführung Vorgehen Beispiele Definitionen (Code, Codewort, Alphabet, Länge) Hamming-Distanz Definitionen (Äquivalenz, Coderate, ) Singleton-Schranke Lineare Codes Hamming-Gewicht

Mehr

3.3 Eigenwerte und Eigenräume, Diagonalisierung

3.3 Eigenwerte und Eigenräume, Diagonalisierung 3.3 Eigenwerte und Eigenräume, Diagonalisierung Definition und Lemma 3.3.1. Sei V ein K-Vektorraum, φ End K (V ), λ K. Wir defnieren den zu λ gehörigen Eigenraum von φ als Dies ist ein Unterraum von V.

Mehr

Grundlagen Theoretischer Informatik I SoSe 2011 in Trier. Henning Fernau Universität Trier fernau@uni-trier.de

Grundlagen Theoretischer Informatik I SoSe 2011 in Trier. Henning Fernau Universität Trier fernau@uni-trier.de Grundlagen Theoretischer Informatik I SoSe 2011 in Trier Henning Fernau Universität Trier fernau@uni-trier.de 1 Grundlagen Theoretischer Informatik I Gesamtübersicht Organisatorisches; Einführung Logik

Mehr

Kombinatorische Geometrien

Kombinatorische Geometrien KAPITEL 5 Kombinatorische Geometrien Beispiele von Geometrien wurden schon als Inzidenzstrukturen (z.b. projektive Ebenen) gegeben. Wir nehmen hier einen anderen Standpunkt ein und verstehen unter einer

Mehr

GeoGebra Quickstart Eine Kurzanleitung für GeoGebra

GeoGebra Quickstart Eine Kurzanleitung für GeoGebra GeoGebra Quickstart Eine Kurzanleitung für GeoGebra Dynamische Geometrie, Algebra und Analysis ergeben GeoGebra, eine mehrfach preisgekrönte Unterrichtssoftware, die Geometrie und Algebra als gleichwertige

Mehr

Das Briefträgerproblem

Das Briefträgerproblem Das Briefträgerproblem Paul Tabatabai 30. Dezember 2011 Inhaltsverzeichnis 1 Problemstellung und Modellierung 2 1.1 Problem................................ 2 1.2 Modellierung.............................

Mehr

Studienplan TECHNIKPÄDAGOGIK (Diplom - Gewerbelehrer/-in) Fachstudienberatung der Fakultät Informatik Universitätsstr. 38, Tel. 7816-392 Prof.

Studienplan TECHNIKPÄDAGOGIK (Diplom - Gewerbelehrer/-in) Fachstudienberatung der Fakultät Informatik Universitätsstr. 38, Tel. 7816-392 Prof. Seite C1 Wahlpflichtfach: Studienberatung: Informatik Fachstudienberatung der Fakultät Informatik Universitätsstr. 38, Tel. 7816-392 Prof. Lagally Im Wahlpflichtfach Informatik sind Veranstaltungen mit

Mehr

6 Fehlerkorrigierende Codes

6 Fehlerkorrigierende Codes R. Reischuk, ITCS 35 6 Fehlerkorrigierende Codes Wir betrachten im folgenden nur Blockcodes, da sich bei diesen das Decodieren und auch die Analyse der Fehlertoleranz-Eigenschaften einfacher gestaltet.

Mehr

Definition 3.1: Ein Differentialgleichungssystem 1. Ordnung

Definition 3.1: Ein Differentialgleichungssystem 1. Ordnung Kapitel 3 Dynamische Systeme Definition 31: Ein Differentialgleichungssystem 1 Ordnung = f(t, y) ; y R N ; f : R R N R N heißt namisches System auf dem Phasenraum R N Der Parameter t wird die Zeit genannt

Mehr

3.Inferenzsysteme 3.4 Logische Programme und Antwortmengensemantik

3.Inferenzsysteme 3.4 Logische Programme und Antwortmengensemantik Darstellung, Verarbeitung und Erwerb von Wissen 3.Inferenzsysteme 3.4 Logische Programme und Antwortmengensemantik DVEW WS 2004/05 c Gabriele Kern-Isberner 1 Stratifizierte Programme (Whlg.) Sei P ein

Mehr

Basis und Dimension. Als nächstes wollen wir die wichtigen Begriffe Erzeugendensystem und Basis eines Vektorraums definieren.

Basis und Dimension. Als nächstes wollen wir die wichtigen Begriffe Erzeugendensystem und Basis eines Vektorraums definieren. Basis und Dimension Als nächstes wollen wir die wichtigen Begriffe Erzeugendensystem und Basis eines Vektorraums definieren. Definition. Sei V ein K-Vektorraum und (v i ) i I eine Familie von Vektoren

Mehr

11. Folgen und Reihen.

11. Folgen und Reihen. - Funktionen Folgen und Reihen Folgen Eine Folge reeller Zahlen ist eine Abbildung a: N R Statt a(n) für n N schreibt man meist a n ; es handelt sich also bei einer Folge um die Angabe der Zahlen a, a

Mehr

Seminar Komplexität und Kryptologie

Seminar Komplexität und Kryptologie Graphalgorithmen Johannes Köbler Sommersemester 2014 und Übersicht für heute 1 2 und 3 und Übersicht für heute 1 2 und 3 und Thema auswählen Referat vorbereiten Referat halten Ausarbeitung schreiben und

Mehr

Caputo fraktionale Differentialgleichungen. 1 Riemann Liouville fraktionale Differentialgleichungen

Caputo fraktionale Differentialgleichungen. 1 Riemann Liouville fraktionale Differentialgleichungen Seminar Fraktionale Differentialgleichungen Prof. Dr. P.E. Kloeden, WS1000/2001 Caputo fraktionale Differentialgleichungen Lars Grüne, 25.1.2001 Basierend auf Fractional Differential Equations, Theory

Mehr

Die komplexen Zahlen und Skalarprodukte Kurze Wiederholung des Körpers der komplexen Zahlen C.

Die komplexen Zahlen und Skalarprodukte Kurze Wiederholung des Körpers der komplexen Zahlen C. Die omplexen Zahlen und Salarprodute Kurze Wiederholung des Körpers der omplexen Zahlen C. Erinnerung an die Definition von exp, sin, cos als Potenzreihen C C Herleitung der Euler Formel Definition eines

Mehr

Codierungstheorie Rudolf Scharlau, SoSe 2006 9

Codierungstheorie Rudolf Scharlau, SoSe 2006 9 Codierungstheorie Rudolf Scharlau, SoSe 2006 9 2 Optimale Codes Optimalität bezieht sich auf eine gegebene Quelle, d.h. eine Wahrscheinlichkeitsverteilung auf den Symbolen s 1,..., s q des Quellalphabets

Mehr

Teil II. Nichtlineare Optimierung

Teil II. Nichtlineare Optimierung Teil II Nichtlineare Optimierung 60 Kapitel 1 Einleitung In diesem Abschnitt wird die Optimierung von Funktionen min {f(x)} x Ω betrachtet, wobei Ω R n eine abgeschlossene Menge und f : Ω R eine gegebene

Mehr

Kapitel 4. Euklidische Ringe und die Jordansche Normalform. 4.1 Euklidische Ringe

Kapitel 4. Euklidische Ringe und die Jordansche Normalform. 4.1 Euklidische Ringe Kapitel 4 Euklidische Ringe und die Jordansche Normalform 4.1 Euklidische Ringe Die Ringe der ganzen Zahlen, Z, sowie Polynomringe über Körpern, K[X], wobei K ein Körper ist, haben die folgenden Gemeinsamheiten:

Mehr

Über dieses Buch. Kapitel 1. 1.1 Einleitung

Über dieses Buch. Kapitel 1. 1.1 Einleitung Kapitel 1 Über dieses Buch 1.1 Einleitung Dieses Buch behandelt das Vorgehensmodell Kanban und seinen Einsatz in Softwareentwicklungsprojekten. Kanban ist ein Vorgehensmodell der schlanken Softwareentwicklung

Mehr

Holomorphe Zusammenhänge und flache Strukturen auf holomorphen Vektorbündeln. Diplomarbeit von Sönke Rollenske

Holomorphe Zusammenhänge und flache Strukturen auf holomorphen Vektorbündeln. Diplomarbeit von Sönke Rollenske Holomorphe Zusammenhänge und flache Strukturen auf holomorphen Vektorbündeln Diplomarbeit von Sönke Rollenske angefertigt am Mathematischen Institut der Universität zu Köln unter Anleitung von Prof. Dr.

Mehr

Seminar: Lösen Spezieller Gleichungen Wintersemester 2009/2010 Prof. Dr. Annette Huber-Klawitter Betreuer: Stephen Enright-Ward

Seminar: Lösen Spezieller Gleichungen Wintersemester 2009/2010 Prof. Dr. Annette Huber-Klawitter Betreuer: Stephen Enright-Ward Seminar: Lösen Spezieller Gleichungen Wintersemester 2009/2010 Prof. Dr. Annette Huber-Klawitter Betreuer: Stephen Enright-Ward Ort und Zeit: Dienstag, 14-16 Uhr, SR 127 Inhalt: Wir wollen uns in diesem

Mehr

OPERATIONS-RESEARCH (OR)

OPERATIONS-RESEARCH (OR) OPERATIONS-RESEARCH (OR) Man versteht darunter die Anwendung mathematischer Methoden und Modelle zur Vorbereitung optimaler Entscheidungen bei einem Unternehmen. Andere deutsche und englische Bezeichnungen:

Mehr

27 Taylor-Formel und Taylor-Entwicklungen

27 Taylor-Formel und Taylor-Entwicklungen 136 IV. Unendliche Reihen und Taylor-Formel 27 Taylor-Formel und Taylor-Entwicklungen Lernziele: Konzepte: klein o - und groß O -Bedingungen Resultate: Taylor-Formel Kompetenzen: Bestimmung von Taylor-Reihen

Mehr

Was ist ein Compiler?

Was ist ein Compiler? Was ist ein Compiler? Was ist ein Compiler und worum geht es? Wie ist ein Compiler aufgebaut? Warum beschäftigen wir uns mit Compilerbau? Wie ist die Veranstaltung organisiert? Was interessiert Sie besonders?

Mehr

Die Cantor-Funktion. Stephan Welz

Die Cantor-Funktion. Stephan Welz Die Cantor-Funktion Stephan Welz Ausarbeitung zum Vortrag im Proseminar Überraschungen und Gegenbeispiele in der Analysis (Sommersemester 2009, Leitung PD Dr. Gudrun Thäter) Zusammenfassung: In dieser

Mehr

Universität Bonn, Institut für Angewandte Mathematik. WS 2012/2013 Prüfung Angewandte Mathematik und Statistik - Agrarwiss. /ELW

Universität Bonn, Institut für Angewandte Mathematik. WS 2012/2013 Prüfung Angewandte Mathematik und Statistik - Agrarwiss. /ELW Universität Bonn, Institut für Angewandte Mathematik Dr. Antje Kiesel WS 2012/2013 Prüfung Angewandte Mathematik und Statistik - Agrarwiss. /ELW 08.03.2013 Matrikelnummer Platz Name Vorname 1 2 3 4 5 6

Mehr