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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Bericht vom 1. Leipziger Seminar am 25. November 2006

Bericht vom 1. Leipziger Seminar am 25. November 2006 Bericht vom 1. Leipziger Seminar am 25. November 2006 Das Wythoff-Nim-Spiel Wir wollen uns ein Spiel für zwei Personen ansehen, welches sich W.A.Wythoff 1907 ausgedacht hat: Vor den Spielern liegen zwei

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

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

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

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

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

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

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

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

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

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

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

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

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

Ü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

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

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

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

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

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

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

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

Anforderungen und Auswahlkriterien für Projektmanagement-Software

Anforderungen und Auswahlkriterien für Projektmanagement-Software Anforderungen und Auswahlkriterien für Projektmanagement-Software Anika Gobert 1,Patrick Keil 2,Veronika Langlotz 1 1 Projektmanagement Payment Giesecke &Devrient GmbH Prinzregentenstr. 159, Postfach 800729,

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

Übersicht. Datenstrukturen und Algorithmen Vorlesung 5: Rekursionsgleichungen (K4) Übersicht. Binäre Suche. Joost-Pieter Katoen. 20.

Übersicht. Datenstrukturen und Algorithmen Vorlesung 5: Rekursionsgleichungen (K4) Übersicht. Binäre Suche. Joost-Pieter Katoen. 20. Übersicht Datenstrukturen und Algorithmen Vorlesung 5: (K4) Joost-Pieter Katoen Lehrstuhl für Informatik 2 Software Modeling and Verification Group http://www-i2.informatik.rwth-aachen.de/i2/dsal12/ 20.

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

Invariantentheorie. Vorlesung 5. Invariantenringe zu Untergruppen

Invariantentheorie. Vorlesung 5. Invariantenringe zu Untergruppen Prof. Dr. H. Brenner Osnabrück WS 2012/2013 Invariantentheorie Vorlesung 5 Invariantenringe zu Untergruppen Proposition 5.1. Es sei R G R eine Operation einer Gruppe G auf einem kommutativen Ring durch

Mehr

Thesen. Gut vortragen! Aber wie? Thesen. Vortragen ist Kommunikation. Die vier Seiten (nach Schulz von Thun) Vortragen ist Kommunikation

Thesen. Gut vortragen! Aber wie? Thesen. Vortragen ist Kommunikation. Die vier Seiten (nach Schulz von Thun) Vortragen ist Kommunikation Thesen Gutes Vortragen ist Begabungssache Gut vortragen! Aber? Institut für Informatik Jeder kann Vortragen lernen! Gutes Vortragen ist Einstellungssache Handwerk Übungssache harte Arbeit Punkt dieser

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

Spezielle Eigenfunktionen des Transfer-Operators für Hecke Kongruenz Untergruppen

Spezielle Eigenfunktionen des Transfer-Operators für Hecke Kongruenz Untergruppen Spezielle Eigenfunktionen des Transfer-Operators für Hecke Kongruenz Untergruppen Diplomarbeit 2005 Markus Fraczek Institut für Theoretische Physik Technische Universität Clausthal Abteilung Statistische

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 I. Nikos Canterakis. Lehrstuhl für Mustererkennung, Universität Freiburg,

Computer Vision I. Nikos Canterakis. Lehrstuhl für Mustererkennung, Universität Freiburg, Nikos Canterakis Lehrstuhl für Mustererkennung, Universität Freiburg, Literatur Richard Hartle and Andrew Zisserman. Multiple View Geometr in computer vision, Cambridge Universit Press, 2 nd Ed., 23. O.D.

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

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

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

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

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

Zeichen bei Zahlen entschlüsseln

Zeichen bei Zahlen entschlüsseln Zeichen bei Zahlen entschlüsseln In diesem Kapitel... Verwendung des Zahlenstrahls Absolut richtige Bestimmung von absoluten Werten Operationen bei Zahlen mit Vorzeichen: Addieren, Subtrahieren, Multiplizieren

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

Vorlesung Diskrete Strukturen Graphen: Wieviele Bäume?

Vorlesung Diskrete Strukturen Graphen: Wieviele Bäume? Vorlesung Diskrete Strukturen Graphen: Wieviele Bäume? Bernhard Ganter Institut für Algebra TU Dresden D-01062 Dresden bernhard.ganter@tu-dresden.de WS 2013/14 Isomorphie Zwei Graphen (V 1, E 1 ) und (V

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

1 Ziele der Computeralgebra

1 Ziele der Computeralgebra Einleitung zur Vorlesung Computeralgebra Sommersemester 25 Prof. Dr. Peter Bürgisser Martin Lotz Diese Einleitung soll einen Überblick darüber geben, worum es in der Computeralgebra und in dieser Vorlesung

Mehr

Elemente der Analysis II

Elemente der Analysis II Elemente der Analysis II Kapitel 3: Lineare Abbildungen und Gleichungssysteme Informationen zur Vorlesung: http://www.mathematik.uni-trier.de/ wengenroth/ J. Wengenroth () 15. Mai 2009 1 / 35 3.1 Beispiel

Mehr

Präsentationsvorlage Wie präsentiere ich richtig mit Powerpoint

Präsentationsvorlage Wie präsentiere ich richtig mit Powerpoint Präsentationsvorlage Wie präsentiere ich richtig mit Powerpoint Masterseminar Sommersemester 2012 Lehrstuhl für BWL, Controlling und Interne Unternehmensrechnung, Prof. Dr. Szczesny von: Christian Schuhwerk

Mehr

Abrechnung von Dienstleistungen und Fertigmeldungen

Abrechnung von Dienstleistungen und Fertigmeldungen Dieses Infoblatt beschreibt die von uns empfohlenen kaufmännischen Standardvorgänge für Softwarehersteller und Dienstleister im Bereich IT. Bestandteil sind unsere Module ERP, PROJEKT sowie als Erweiterung

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

PD Dr. R. Schätzle 9.4.2001 Dr. A. Karlsson. Funktionentheorie II SS 2001

PD Dr. R. Schätzle 9.4.2001 Dr. A. Karlsson. Funktionentheorie II SS 2001 ETH Zürich Departement der Mathematik PD Dr. R. Schätzle 9.4.2001 Dr. A. Karlsson Funktionentheorie II SS 2001 1.Übung AUFGABE 1: Zeigen Sie, daß die Riemannschen Flächen CI und D := {z CI z < 1 } mit

Mehr

Universität Koblenz-Landau, Abteilung Koblenz FB 4 Informatik. Seminar Entscheidungsverfahren für logische Theorien. Endliche Modelle.

Universität Koblenz-Landau, Abteilung Koblenz FB 4 Informatik. Seminar Entscheidungsverfahren für logische Theorien. Endliche Modelle. Universität Koblenz-Landau, Abteilung Koblenz FB 4 Informatik Seminar Entscheidungsverfahren für logische Theorien Tobias Hebel Koblenz, am 18.02.2005 Inhaltsverzeichnis 1 Einleitung... 3 2 Grundlagen...

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

Module und Modulprüfungen im Lehramtsstudium Mathematik

Module und Modulprüfungen im Lehramtsstudium Mathematik FB Mathematik und Informatik Modulprüfungsausschuss Lehramt Der Vorsitzende Prof. Dr. Thomas Bauer Hans-Meerwein-Straße 35032 Marburg Telefon: 06421 282 54 90 tbauer@mathematik.uni-marburg.de www.mathematik.uni-marburg.de/

Mehr

Höhere Mathematik 3. Apl. Prof. Dr. Norbert Knarr. Wintersemester 2015/16. FB Mathematik

Höhere Mathematik 3. Apl. Prof. Dr. Norbert Knarr. Wintersemester 2015/16. FB Mathematik Höhere Mathematik 3 Apl. Prof. Dr. Norbert Knarr FB Mathematik Wintersemester 2015/16 4. Homogene lineare Dierentialgleichungen 4.1. Grundbegrie 4.1.1. Denition. Es sei J R ein Intervall und a 0 ; : :

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

Abschlussbericht Mathematik-Online

Abschlussbericht Mathematik-Online Abschlussbericht Mathematik-Online 1 Zusammenfassung. Im November 2001 riefen die Universitäten Stuttgart und Ulm das von dem Ministerium für Wissenschaft, Forschung und Kunst geförderte Projekt Mathematik-

Mehr

Grundbegriffe der Wahrscheinlichkeitstheorie

Grundbegriffe der Wahrscheinlichkeitstheorie KAPITEL 1 Grundbegriffe der Wahrscheinlichkeitstheorie 1. Zufallsexperimente, Ausgänge, Grundmenge In der Stochastik betrachten wir Zufallsexperimente. Die Ausgänge eines Zufallsexperiments fassen wir

Mehr

Einige Tipps zur Präsentation von Referaten mit PowerPoint sowie zur Anfertigung schriftlicher Arbeiten

Einige Tipps zur Präsentation von Referaten mit PowerPoint sowie zur Anfertigung schriftlicher Arbeiten Einige Tipps zur Präsentation von Referaten mit PowerPoint sowie zur Anfertigung schriftlicher Arbeiten Markus Knauff Institut für Kognitionsforschung Übersicht (1) Motivation und Einleitung Gestaltung

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

Bildverarbeitung Herbstsemester. Binärbildanalyse

Bildverarbeitung Herbstsemester. Binärbildanalyse Bildverarbeitung Herbstsemester Herbstsemester 2010 2012 Binärbildanalyse 1 Inhalt Einführung Partikelfilterung und -analyse Auffinden von Regionen und Konturen Gruppenarbeit Erkennung von geometrischen

Mehr

Definition. Fibonacci-Zahlen als Beispiel Für f = (f n ) n 0 = (0, 1, 1, 2, 3, 5, 8, 13, 21, 34,...) gilt Rekursion. Matrix-Formulierung. c 2.

Definition. Fibonacci-Zahlen als Beispiel Für f = (f n ) n 0 = (0, 1, 1, 2, 3, 5, 8, 13, 21, 34,...) gilt Rekursion. Matrix-Formulierung. c 2. Fibonacci-Zahlen als Beispiel Für f = (f n ) = (0,,, 2, 3, 5, 8, 3, 2, 34,...) gilt Rekursion erzeugende Funktion f n2 = f n f n (n 0), f 0 = 0, f = f(z) = f n z n = z z z 2 Partialbruchzerlegung mit φ

Mehr

Bestimmung einer ersten

Bestimmung einer ersten Kapitel 6 Bestimmung einer ersten zulässigen Basislösung Ein Problem, was man für die Durchführung der Simplexmethode lösen muss, ist die Bestimmung einer ersten zulässigen Basislösung. Wie gut das geht,

Mehr

Optimierung. Optimierung. Vorlesung 7 Lineare Programmierung II. 2013 Thomas Brox, Fabian Kuhn

Optimierung. Optimierung. Vorlesung 7 Lineare Programmierung II. 2013 Thomas Brox, Fabian Kuhn Optimierung Vorlesung 7 Lineare Programmierung II 1 Lineare Programme Lineares Programm: Lineare Zielfunktion Lineare Nebenbedingungen (Gleichungen oder Ungleichungen) Spezialfall der konvexen Optimierung

Mehr

Beweisbar sichere Verschlüsselung

Beweisbar sichere Verschlüsselung Beweisbar sichere Verschlüsselung ITS-Wahlpflichtvorlesung Dr. Bodo Möller Ruhr-Universität Bochum Horst-Görtz-Institut für IT-Sicherheit Lehrstuhl für Kommunikationssicherheit bmoeller@crypto.rub.de 6

Mehr