Diskrete Mathematik. Marcel Erné Fakultät für Mathematik und Physik

Größe: px
Ab Seite anzeigen:

Download "Diskrete Mathematik. Marcel Erné Fakultät für Mathematik und Physik"

Transkript

1 Diskrete Mathematik Marcel Erné Fakultät für Mathematik und Physik Vorlesung für Studierende des Bachelor- und Master-Studienganges Mathematik Sommersemester Natürliche Zahlen und endliche Mengen 1

2 Inhaltsverzeichnis 0 Natürliche Zahlen und endliche Mengen Zählen, Induktion und Rekursion Endliche Mengen

3 0 Natürliche Zahlen und endliche Mengen 0.1 Zählen, Induktion und Rekursion Was ist eine natürliche Zahl? Obwohl man eine intuitive Vorstellung von Zahlen hat, bedarf es zur fundierten Begründung der Mathematik einer exakten Definition natürlicher Zahlen. John von Neumanns ebenso einfache wie geniale Antwort beruht auf einer rekursiven Definition der natürlichen Zahlen als gewisser Mengen, die aus der leeren Menge durch sukzessive Hinzunahme bestimmter Elemente entstehen: 0 := (die einzige Menge mit keinem Element) 1 := {0} (eine Menge mit genau einem Element) 2 := {0, 1} (eine Menge mit genau zwei Elementen) 3 := {0, 1, 2} (eine Menge mit genau drei Elementen) usw. Aber was ist genau mit und so weiter gemeint? Um dies zu präzisieren, definiert man für jede Menge x ihren Nachfolger x + := x {x} und versteht unter einer Nachfolgermenge eine Menge, die das Element 0 und mit x immer auch x + enthält. Die Existenz einer solchen Menge basiert auf dem sogenannten Unendlichkeitsaxiom, das aus den übrigen Mengenaxiomen (zur Sicherung der Konstruktion von Paarmengen, Vereinigungsmengen, Potenzmengen etc.) nicht abgeleitet werden kann. Der Durchschnitt aller Nachfolgermengen (zu dessen Bildung man mindestens eine solche Menge haben muss) ist dann die kleinste Nachfolgermenge. Sie wird mit N 0 bezeichnet. Ihre Elemente heißen natürliche Zahlen. Informale Schreibweise: N 0 = {0, 1, 2,...} Es gilt nun per definitionem das Prinzip der vollständigen Induktion I: Ist eine Aussage A(n) über natürliche Zahlen n für n = 0 richtig, und folgt aus A(n) stets A(n + ), so gilt A(n) für alle natürlichen Zahlen n. Das Induktionsprinzip muss in diesem System also weder bewiesen noch als Axiom gefordert werden! Anschaulich beschreibt es einen Domino-Effekt. Eine erste Anwendung des Induktionsprinzips ist Lemma 0.1 Für n N 0 folgt aus x n stets x n, d.h. jedes Element einer natürlichen Zahl ist auch echte Teilmenge dieser Zahl. Insbesondere gilt n n. 3

4 Beweis. Der Induktionsbeginn n=0 ist klar: Es gibt kein x und kein x. Aus x n + = n {n} folgt x n oder x = n, im ersten Fall also nach Induktionsannahme x n n +. Im zweiten Fall ist x = n n +, da sonst n n gelten müsste, was ebenfalls nach Induktionsannahme ausgeschlossen ist. Ebenso leicht sieht man: Lemma 0.2 Für m, n N 0 ist m n äquivalent zu m n. Beweis. Der Induktionsschritt geht so: Sei m n +. Ist m n, so folgt mittels Induktionsannahme m n n +, und im Falle m = n ist wieder m n +. Andernfalls wäre n m, also n m n +, was wegen n + = n {n} nicht geht. Die intuitiv geläufige und für die gesamte Mathematik grundlegende Ordnung auf den natürlichen Zahlen definiert man nun einfach als Teilmengenbeziehung! m < n m n, m n m n, m n n m. Wir wissen, dass die Teilmengenrelation auf beliebigen Mengensystemen eine Ordnung, d.h. reflexiv, transitiv und antisymmetrisch ist: (r) (t) (a) x x x y z x z x y x x = y Diese Inklusionsordnungen sind allerdings nur selten total, d.h. vielfach gilt weder x y noch y x. Anders bei natürlichen Zahlen: Satz 0.3 Für natürliche Zahlen m und n gilt genau eine der Beziehungen m < n, m = n, n < m. ist eine totale Ordnung auf N 0 und sogar eine Wohlordnung, d.h. jede nichtleere Teilmenge von N 0 hat ein kleinstes Element. Beweis. Hat eine Teilmenge M von N 0 kein kleinstes Element, so liegt 0 nicht in M (sonst wäre 0 das kleinste Element). Liegt kein m n in M, so auch n + nicht (sonst wäre n + das kleinste Element von M). Induktiv folgt, dass kein Element in M liegt, d.h. M ist leer. Wir haben soeben die Wohlgeordnetheit der natürlichen Zahlen aus dem Prinzip der vollständigen Induktion hergeleitet. Interessanterweise funktioniert es auch umgekehrt: Wir setzen A(0) sowie A(n) A(n + ) und die Wohlordnung von N 0 voraus. Wäre A(n) nicht für alle n N 0 richtig, so gäbe es ein kleinstes m, für das A(m) falsch ist. Dieses m kann nicht gleich 0 sein, also wäre es eine Nachfolgerzahl n +, und wegen n < m und der Minimalität von m wäre A(n) richtig, also auch A(n + ), ein Widerspruch. 4

5 Die Induktion kann statt bei 0 bei einer beliebigen natürlichen Zahl k starten, indem man N 0 durch N k := {n N 0 n k} ersetzt. Um eine Aussage A(n) für alle n N k aus den Voraussetzungen A(k) und A(n) A(n + ) herzuleiten, wendet man das Induktionsprinzip I auf die Aussage es gilt n < k oder A(n) an. Beispiel 0.4 Für n 5 gilt n 2 < 2 n. Obwohl die Aussage auch für n = 0 und n = 1 richtig ist, darf man die Induktion dort nicht beginnen, weil dann der Induktionsschluss versagt (es ist ja n 2 = 2 n für n = 2, 4 und n 2 > 2 n für n = 3). Jedoch ist 5 2 = 25 < 32 = 2 5 richtig, und aus n 2 < 2 n folgt für n 5: (n + ) 2 = (n + 1) 2 = n 2 + 2n + 1 < 2 n + 2 n = 2 n+1 = 2 n+, da 2n + 1 < 2 n sogar für n 3 gilt (was man seinerseits sofort durch Induktion verifiziert). Ein nützliches und scheinbar stärkeres Induktionsprinzip ist die folgende Variante, die entsteht, indem man das Induktionsprinzip I statt auf A(n) auf die Aussage A(m) gilt für alle m n anwendet (wie wir das oben im Beweis von 0.3 getan haben): Prinzip der vollständigen Induktion II: Folgt aus der Richtigkeit von A(m) für alle m < n stets auch A(n), so gilt A(n) für alle natürlichen Zahlen n. Beachten Sie, dass in der Voraussetzung der Induktionsanfang A(0) mit versteckt ist, weil es kein m N 0 mit m < 0 gibt! Ein berühmtes Beispiel für die Anwendung des Induktionsprinzips II ist der Beweis der eindeutigen Primfaktorzerlegung natürlicher Zahlen: Haben alle Zahlen m < n eine Primfaktorzerlegung, so auch n selbst, denn entweder ist n = 1 das leere Produkt, oder n ist eine Primzahl, oder n ist ein Produkt kleinerer Zahlen, die dann bereits eine Primfaktorzerlegung haben. Beim Beweis der Eindeutigkeit geht man ähnlich vor. Für die vorangehenden Beipiele braucht man selbstverständlich Addition, Multiplikation und Potenzierung natürlicher Zahlen. Axiomatisch führt man sie folgendermaßen rekursiv ein: m + 0 := m, m + n + := (m + n) +, m 0 = 0, m n + := m n + m, m 0 := 1, m n+ := m n m. Man kann dann die Assoziativ-, Kommutativ- und Distributivgesetze sowie die Potenzgesetze (m n) k = m k n k, k m+n = k m k n und (k m ) n = k m n allesamt induktiv beweisen, was wir dem Leser überlassen. Zu m, n N 0 mit m n gibt es genau ein k N 0 mit m+k = n (Induktion!), bezeichnet mit n m. 5

6 Wie bei den soeben gegebenen Definitionen geht es in vielen Problemstellungen der diskreten Mathematik darum, mit einer Rekursionsvorschrift eine Folge von Zahlen zu bestimmen. Dabei ist die Rekursion häufig evident, während die Angabe eine expliziten Formel schwer bis unmöglich sein kann. Auch wenn aus theoretischer Sicht explizite Formeln meist die Wunschkandidaten bleiben, erweist sich in vielen Fällen die Rekursion für die Bearbeitung mit dem Computer als erheblich schneller und einfacher. Wir schreiben ab jetzt n+1 statt n +. Beispiele 0.5 (Durch Rekursion definierte Folgen) (1) Aus der Rekursionsvorschrift F n+1 = c F n und einem Startwert F 0 gewinnt man die explizite Darstellung F n = c n F 0, die man mit Induktion beweisen kann. (2) Die Rekursion F n = n F n 1 liefert für F 0 = 1 die Fakultäten F n = n! = n k=1 k = 1... n. (3) Die Rekursion F n = F n 1 + F n 2 führt auf die Fibonacci-Folgen. Für die Startwerte F 0 = 0, F 1 = 1 bekommt man die explizite Binetsche Formel F n = 1 5 (Φ n ( Φ) n ), wobei Φ = 1 2 ( 5 + 1) der Goldene Schnitt ist. Diese Formel zu finden, erforderte Finesse, sie induktiv zu beweisen, ist Routine. (4) Die Rekursion F n = n 1 k=0 F k wird nach Einsetzen zu F n+1 = 2F n und führt daher auf F n = 2 n 1 F 0. (5) Die Rekursion F n = 2 + n 1 k=0 F k ergibt für F 0 = 3 die Folge der Fermatzahlen F n = 2 2n + 1. Deren Teilerfremdheit ist unmittelbar klar aus der Rekursion. Wieder stellt sich eine grundsätzliche Frage: Was ist eigentlich eine Rekursionsvorschrift? Und was garantiert, dass sie eine Lösung hat und diese eindeutig ist? Um solche Fragen zu beantworten, formulieren wir ohne Beweis den wichtigen Rekursionssatz in seiner allgemeinen Form. Für beliebige Mengen X und Y bezeichnet Y X die Menge der Abbildungen von X nach Y. Speziell ist X n für n N 0 die Menge der n-tupel mit Koeffizienten in X (wobei wir oft (x 1,..., x n ) statt (x 0,..., x n 1 schreiben), und X = {X n n N 0 } ist die Menge der endlichen Folgen in X. Hingegen ist X N0 die Menge der unendlichen Folgen in X. Lassen wir das Wort unendlich im Zusammenhang mit Folgen weg, meinen wir meist unendliche Folgen. Häufig schreibt man F n statt F (n). Mit dem Induktionsprinzip II kann man nun zeigen: Satz 0.6 (Rekursionssatz) Sei X eine Menge und R eine Funktion von X nach X. Dann existiert genau eine Folge F : N 0 X mit F n = R(F n ) für alle n N 0 (Rekursionsvorschrift). Dabei ist F n die Einschränkung von F auf die Menge n = {0,..., n 1}. Machen Sie sich in 0.5 jeweils klar, welche Funktion die Rekursion liefert. Bei den Fibonaccifolgen ist R( ) = F 0, R(x 0 ) = F 1, R(x 0,..., x n 1 ) = x n 1 + x n 2 (n>1). 6

7 0.2 Endliche Mengen Was ist eine endliche Menge? Wieder glaubt man, eine recht konkrete Vorstellung davon zu haben, was endlich bedeutet versucht man es aber zu erklären, verstrickt man sich leicht in undefinierte Begriffsbildungen oder Zirkelschlüsse. ( Eine Menge ist endlich, wenn sie endlich viele Elemente hat?) Es war die geniale Idee von Richard Dedekind (schon zu Ende des 19. Jahrhunderts), endliche Mengen durch die Eigenschaft zu charakterisieren, dass sie keine gleichmächtigen echten Teilmengen haben (d.h. keine Bijektion auf echte Teilmengen zulassen). So schön dieser von allen Zahlen freie Gedanke ist er hat einen kleinen Nachteil: Will man zum Beispiel zeigen, dass die Potenzmenge einer endlichen Menge wieder endlich ist, braucht man so schwere und unkonstruktive Geschütze wie das Auswahlaxiom. Es erweist sich daher als vorteilhaft, die Endlichkeit doch mittels natürlicher Zahlen zu definieren. Dazu ist es ganz wichtig, natürliche Zahlen als Mengen eingeführt zu haben. Wir setzen die Begriffe Relation, Funktion, Injektion, Surjektion und Bijektion als bekannt voraus. Das Bild einer Teilmenge Z von X unter einer Funktion F von X nach Y bezeichnen wir mit F [Z], das Urbild einer Menge W von Y mit F [W ]. Die Umkehrfunktion einer Bijektion F notieren wir als F oder F 1. Zwei Mengen X und Y heißen gleichmächtig, in Zeichen X Y, falls eine Bijektion zwischen X und Y existiert. Offenbar definiert dies eine Äquivalenzrelation auf jedem System von Mengen (da die Verknüpfung von Bijektionen und deren Umkehrfunktion wieder eine Bijektion ist). Um festzustellen, ob zwei Mengen gleichmächtig sind, braucht man sie also nicht beide abzuzählen, sondern lediglich ihre Elemente paarweise einander zuzuordnen. Wir sagen nun, eine Menge sei endlich, wenn sie gleichmächtig zu einer natürlichen Zahl n ist, was anschaulich bedeutet, dass man die Menge mit den endlich vielen Zahlen, die Elemente (!) von n sind, abzählen oder durchnummerieren kann. Von fundamentaler Bedeutung ist dabei: Lemma 0.7 Jede endliche Menge N ist zu genau einer natürlichen Zahl n gleichmächtig. Diese Zahl nennt man Kardinalität oder Mächtigkeit der Menge N und bezeichnet sie mit #N oder N. Man sagt auch, N habe n Elemente. Beweis. Wegen der Transitivität der Gleichmächtigkeitsrelation reicht es zu zeigen, dass zwei gleichmächtige natürliche Zahlen m und n schon gleich sind. Dies folgt aus der Vergleichbarkeit der natürlichen Zahlen (siehe 0.3) und der Dedekindschen Beschreibung der Endlichkeit: Satz 0.8 Eine endliche Menge ist zu keiner echten Teilmenge gleichmächtig. Beweis. Es genügt, die folgende Aussage durch Induktion zu beweisen: A(n): Ist M n N 0 und F : M n bijektiv, so ist M = n. n = 0 = hat keine echte Teilmenge. Sei nun N n + und G : N n + bijektiv. Das Urbild von n n + unter G sei m ; wir vertauschen es mit n, definieren also eine Bijektion (Transposition) 7

8 F : n + n + durch F (m) = n, F (n) = m, F (x) = x sonst. n n n m m n m 3 F G Nun ist die Urbildmenge M = F [N \ {m}] eine Teilmenge von n und vermöge der eingeschränkten Bijektion G F gleichmächtig zu n, da G F [M] = G[ N \{m}] = n + \ {n} = n. n + Nach Induktionsannahme ist dann M = n, und folglich N = F [M] {m} = F [n + ] = n +. Ein schlagkräftiges Hilfsmittel für viele kombinatorische Beweisführungen ist Satz 0.9 (Vergleichbarkeitssatz) Für je zwei endliche Mengen M, N gilt: (1) M N es gibt eine Injektion von M in N, (2) M N es gibt eine Surjektion von M auf N oder N ist leer, (3) M = N es gibt eine Bijektion von M auf N. Beweis. (1) Ist M = m und N = n, so gibt es Bijektionen F : M m und G : N n. Im Falle m n, d.h. m n, ist dann G F : M N eine wohldefinierte Injektion. Ist umgekehrt eine Injektion H : M N gegeben, so ist G H F : m n ebenfalls injektiv, und daraus folgt m n (sonst hätte man nach Satz 0.3 n m ; also wäre m zu einer echten Teilmenge von m gleichmächtig, im Widerspruch zu Satz 0.8). (2) Im Falle M N existiert nach (1) eine Injektion F : N M. Indem man G : M N durch G(x) := F (x) für x F [N] und sonst beliebig definiert, was für N sicher möglich ist, bekommt man eine Surjektion von M auf N. Umgekehrt ist im Falle N = natürlich N M ; hat man eine Surjektion G von M auf N, so definiert man eine Injektion von N nach M, indem man jedem Element von N ein Urbild bezüglich G zuordnet (wegen der Endlichkeit von N geht das ohne Auswahlaxiom). Mit (1) schließt man M N. (3) ergibt sich analog, folgt aber nicht unmittelbar aus (1) und (2)! In den Anwendungen bestimmt man die Elementezahl von M durch Angabe einer Bijektion auf eine Menge N, deren Elementezahl bekannt oder leichter zu bestimmen ist. Analog geht man bei Abschätzungen für Anzahlen vor. 8

9 Beispiel 0.10 Indem man jeder Teilmenge Y einer Menge X ihre charakteristische Funktion χ Y : X 2 mit χ Y (x) = 1 x Y zuordnet, erhält man eine Bijektion zwischen der Potenzmenge PX und der Menge 2 X aller Funktionen von X nach 2. Das sind im Falle X = n genau 2 n viele; somit hat auch PX genau 2 n Elemente (was man natürlich auch auf andere Weisen zeigen kann). In den nachfolgenden Formeln bedeutet M + N usw. disjunkte Vereinigung. Satz 0.11 (Mächtigkeitsformeln) Für endliche Mengen K, M, N, M 1,..., M n gilt: M + N = M + N, M M n = M M n, M N = M N, M 1... M n = M 1... M n, M N = M N, (M N) K = M K N K, K (M N) = (K M ) N, K M+N = K M K N, K (M +N) = (K M) + (K N). Im letzten Fall sind sogar die Mengen gleich, nicht nur ihre Kardinalitäten. Aus diesen Formeln erhält man die entsprechenden Regeln für natürliche Zahlen als Spezialfall. Ein weiteres sehr nützliches Prinzip der Kombinatorik ist die doppelte Summation. Es beruht auf der Vertauschbarkeit endlicher Doppelsummen, die induktiv aus dem Assoziativ- und Kommutativgesetz für die Addition folgt: Satz 0.12 (Vertauschungregel) Für endliche Mengen J, M und jede Funktion F : J M A in eine kommutative Halbgruppe A gilt: F jm. j J m M F jm = m M j J Insbesondere gilt für jede Relation R J M zwischen endlichen Mengen: jr = Rm = R, j J m M wobei jr = {m M j R m} und Rm = {j J j R m} gesetzt wird. Zum Beweis des zweiten Teils betrachtet man einfach die Koeffizienten F jm mit F jm = 1, falls j R m, und F jm = 0 sonst. Beispiel 0.13 Für die Anzahl der Teiler τ(n) der Zahl n und die mittlere Teilerzahl τ(n) = 1 n n m=1 τ(m) findet man durch doppelte Summation: nτ(n) = m n d m 1 = d n n d = n d n 1 d ε(n) mit 0 ε(n) n, also wegen ln(n) d n 1 d ln(n) + 1: τ(n) ln(n) 1. 9

10 Anhang 1. Die sieben elementaren Mengenoperationen Für Mengen X und Y ist X Y = {x x X oder x Y } die Vereinigung X Y = {x x X und x Y } der Durchschnitt X \ Y = {x x X und x Y } die Differenz X Y = (X \ Y ) (Y \ X) die symmetrische Differenz X + Y = {(0, x) x X} {(1, y) y Y } die (disjunkte) Summe X Y = {(x, y) x X und y Y } das (kartesische) Produkt X Y = {f f Funktion von Y nach X} die (kartesische) Potenz 2. Spezielle Mengen Bezeichnung Menge Elemente 0,, { } leere Menge keine 3. Mächtigkeiten 1 Einermenge {0} 0 2 Zweiermenge {0, 1} 0, 1 n {1, 2,...n} natürliche Zahlen von 1 bis n N {1, 2, 3...} natürliche Zahlen ohne 0 N 0 {0, 1, 2...} natürliche Zahlen ab 0 N n {n, n+1, n+2,...} natürliche Zahlen ab n Z {0, 1, 1, 2, 2...} ganze Zahlen Q { z n z Z, n N} rationale Zahlen (Brüche) R {z + k=1 d k2 k z Z, d k 2} reelle Zahlen (dyadisch) P {2, 3, 5, 7, 11,...} Primzahlen Eine Menge X heißt endlich, falls es eine natürliche Zahl n und eine Bijektion F : X n (genannt Abzählung von X) gibt. In diesem Fall ist n eindeutig bestimmt und heißt Mächtigkeit von X, in Symbolen: X = n. Elementare Rechenregeln für Mächtigkeiten X + Y = X + Y X Y = X Y X Y = X + Y X Y X \ Y = X X Y X Y = X + Y 2 X Y X Y = X Y 10

11 Literatur M. Aigner, Diskrete Mathematik, Vieweg, Wiesbaden 2004 (gut lesbare Auswahl wichtigen Grundlagen, mit Schwerpunkt auf Algorithmen) Th. Ihringer, Diskrete Mathematik, Heldermann Verlag, Berlin 2002 (mittlerer Umfang und Schwierigkeitsgrad) J. Matoušek und J. Nešetřil, Diskrete Mathematik, Springer-Verlag, Berlin 2001 (ausführliche und anschauliche Darstellung der Grundideen) R. P. Stanley, Enumerative Combinatorics, Volume 1 2, Cambridge Studies in Advanced Mathematics 62, Cambridge University Press 1999 (umfassende, teilweise sehr anspruchsvolle Enzyklopädie mit einer riesigen Sammlung von Aufgaben und Literaturzitaten) A. Steger, Diskrete Strukturen, Band 1: Kombinatorik, Graphentheorie, Algebra, Springer-Verlag, Berlin 2007 (präzise Darstellung mit vielen Beispielen und Aufgaben) 11

Grundlagen. Kapitel Mengen

Grundlagen. Kapitel Mengen Kapitel 1 Grundlagen 1.1 Mengen Grundobjekte mathematischer Theorien sind Mengen. Zwar stellt man sich darunter Gesamtheiten von gewissen Dingen (den Elementen der Menge) vor, doch führt die uneingeschränkte

Mehr

Analysis I - Notizen 1. Daniel Lenz Jena - Wintersemester 2016

Analysis I - Notizen 1. Daniel Lenz Jena - Wintersemester 2016 Analysis I - Notizen 1 Daniel Lenz Jena - Wintersemester 2016 1 Es handelt sich nicht um ein Skriptum zur Vorlesung. Besten Dank an alle, die zu Verbesserungen früherer Notizen zur Analysis I beigetragen

Mehr

Kapitel 1. Grundlagen Mengen

Kapitel 1. Grundlagen Mengen Kapitel 1. Grundlagen 1.1. Mengen Georg Cantor 1895 Eine Menge ist die Zusammenfassung bestimmter, wohlunterschiedener Objekte unserer Anschauung oder unseres Denkens, wobei von jedem dieser Objekte eindeutig

Mehr

Skript und Übungen Teil II

Skript und Übungen Teil II Vorkurs Mathematik Herbst 2009 M. Carl E. Bönecke Skript und Übungen Teil II Das erste Semester wiederholt die Schulmathematik in einer neuen axiomatischen Sprache; es ähnelt damit dem nachträglichen Erlernen

Mehr

3 Werkzeuge der Mathematik

3 Werkzeuge der Mathematik 3.1 Mengen (18.11.2011) Definition 3.1 Die Menge heißt leere Menge. :=»x M x x Definition 3.2 Es seien N und M Mengen. Wir definieren: und analog M N : (x M x N). N M : (x N x M). Wir sagen M ist Teilmenge

Mehr

Vollständige Induktion. Analysis I. Guofang Wang. Universität Freiburg

Vollständige Induktion. Analysis I. Guofang Wang. Universität Freiburg Universität Freiburg 26.10.2011 Vollständige Induktion Wir unterbrechen jetzt die Diskussion der Axiome der reellen Zahlen, um das Beweisverfahren der vollständigen Induktion kennenzulernen. Wir setzen

Mehr

Kapitel 1. Grundlagen

Kapitel 1. Grundlagen Kapitel 1. Grundlagen 1.1. Mengen Georg Cantor 1895 Eine Menge ist die Zusammenfassung bestimmter, wohlunterschiedener Objekte unserer Anschauung oder unseres Denkens, wobei von jedem dieser Objekte eindeutig

Mehr

Vorkurs Mathematik und Informatik Mengen, natürliche Zahlen, Induktion

Vorkurs Mathematik und Informatik Mengen, natürliche Zahlen, Induktion Vorkurs Mathematik und Informatik Mengen, natürliche Zahlen, Induktion Saskia Klaus 07.10.016 1 Motivation In den ersten beiden Vorträgen des Vorkurses haben wir gesehen, wie man aus schon bekannten Wahrheiten

Mehr

2 Mengen, Abbildungen und Relationen

2 Mengen, Abbildungen und Relationen Vorlesung WS 08 09 Analysis 1 Dr. Siegfried Echterhoff 2 Mengen, Abbildungen und Relationen Definition 2.1 (Mengen von Cantor, 1845 1918) Eine Menge M ist eine Zusammenfassung von wohlbestimmten und wohl

Mehr

Übung: Teilmengen. Beweis: Für alle Elemente einer Menge, die Teilmenge einer Menge ist, gilt, dass auch Element von ist. (Definition der Teilmenge)

Übung: Teilmengen. Beweis: Für alle Elemente einer Menge, die Teilmenge einer Menge ist, gilt, dass auch Element von ist. (Definition der Teilmenge) 15 Übung: Teilmengen seien Mengen. Zu zeigen ist: wenn Beweis: dann auch Für alle Elemente einer Menge, die Teilmenge einer Menge ist, gilt, dass auch Element von ist. (Definition der Teilmenge) für alle

Mehr

Logische Grundlagen der Mathematik, WS 2014/15

Logische Grundlagen der Mathematik, WS 2014/15 Logische Grundlagen der Mathematik, WS 0/ Thomas Timmermann 8. Januar 0 Kardinalzahlen und die Mächtigkeit von Mengen Gleichmächtigkeit von Menge Zur Erinnerung: Wir wollen unendlich große Mengen hinsichtlich

Mehr

Tutorium: Diskrete Mathematik

Tutorium: Diskrete Mathematik Tutorium: Diskrete Mathematik Vorbereitung der Bonusklausur am 24.11.2016 (Teil 2) 23. November 2016 Steven Köhler mathe@stevenkoehler.de mathe.stevenkoehler.de 2 c 2016 Steven Köhler 23. November 2016

Mehr

1 Axiomatische Charakterisierung der reellen. 3 Die natürlichen, die ganzen und die rationalen. 4 Das Vollständigkeitsaxiom und irrationale

1 Axiomatische Charakterisierung der reellen. 3 Die natürlichen, die ganzen und die rationalen. 4 Das Vollständigkeitsaxiom und irrationale Kapitel I Reelle Zahlen 1 Axiomatische Charakterisierung der reellen Zahlen R 2 Angeordnete Körper 3 Die natürlichen, die ganzen und die rationalen Zahlen 4 Das Vollständigkeitsaxiom und irrationale Zahlen

Mehr

Technische Universität München. Ferienkurs Lineare Algebra 1. Mengenlehre, Aussagen, Relationen und Funktionen. 21. März 2011.

Technische Universität München. Ferienkurs Lineare Algebra 1. Mengenlehre, Aussagen, Relationen und Funktionen. 21. März 2011. Technische Universität München Ferienkurs Lineare Algebra 1 Mengenlehre, Aussagen, Relationen und Funktionen 21. März 2011 Tanja Geib Inhaltsverzeichnis 1 Aussagen 1 2 Mengenlehre 3 2.1 Grundlegende Definitionen

Mehr

Kapitel 1. Grundlagen

Kapitel 1. Grundlagen Kapitel 1. Grundlagen 1.1. Mengen Georg Cantor 1895 Eine Menge ist die Zusammenfassung bestimmter, wohlunterschiedener Objekte unserer Anschauung oder unseres Denkens, wobei von jedem dieser Objekte eindeutig

Mehr

Kapitel 1. Mengen und Abbildungen. 1.1 Mengen

Kapitel 1. Mengen und Abbildungen. 1.1 Mengen Kapitel 1 Mengen und Abbildungen 1.1 Mengen Die Objekte der modernen Mathematik sind die Mengen. Obwohl die Logik einen axiomatischen Zugang zur Mengenlehre bietet, wollen wir uns in dieser Vorlesung auf

Mehr

Formale Sprachen und Automaten

Formale Sprachen und Automaten Mengen Eine Menge ist eine Gruppe von Elementen, die eine Einheit bilden (siehe z.b. Halmos 1976). Formale Sprachen und Automaten Mathematisches Rüstzeug Mengen können verschiedene Typen von Elementen

Mehr

Logische Grundlagen der Mathematik, WS 2014/15

Logische Grundlagen der Mathematik, WS 2014/15 Logische Grundlagen der Mathematik, WS 2014/15 Thomas Timmermann 12. November 2014 Darstellung natürlicher Zahlen durch Mengen 1. Wie können wir natürliche Zahlen durch Mengen darstellen? Idee 0 = und

Mehr

Vorkurs Mathematik. Prof. Udo Hebisch WS 2017/18

Vorkurs Mathematik. Prof. Udo Hebisch WS 2017/18 Vorkurs Mathematik Prof. Udo Hebisch WS 2017/18 1 1 Logik 2 1 Logik Unter einer Aussage versteht man in der Mathematik einen in einer natürlichen oder formalen Sprache formulierten Satz, für den eindeutig

Mehr

Mengenlehre und vollständige Induktion

Mengenlehre und vollständige Induktion Fachschaft MathPhys Heidelberg Mengenlehre und vollständige Induktion Vladislav Olkhovskiy Vorkurs 018 Inhaltsverzeichnis 1 Motivation 1 Mengen.1 Grundbegriffe.................................. Kostruktionen

Mehr

Mathematik I für Studierende der Informatik und Wirtschaftsinformatik (Diskrete Mathematik) im Wintersemester 2017/18

Mathematik I für Studierende der Informatik und Wirtschaftsinformatik (Diskrete Mathematik) im Wintersemester 2017/18 Mathematik I für Studierende der Informatik und Wirtschaftsinformatik (Diskrete Mathematik) im Wintersemester 2017/18 9. November 2017 1/34 Beispiel 3.6 Wir können die rationalen Zahlen wie folgt konstruieren:

Mehr

b liegt zwischen a und c.

b liegt zwischen a und c. 2 DIE ANORDNUNGSAXIOME 5 (2.4) a, b, c R : (a < b 0 < c) ac < bc Monotoniegesetz der Multiplikation Bezeichnungen a > b : b < a (> wird gelesen: größer als ) a b : a < b oder a = b a b : a > b oder a =

Mehr

Donnerstag, 11. Dezember 03 Satz 2.2 Der Name Unterraum ist gerechtfertigt, denn jeder Unterraum U von V ist bzgl.

Donnerstag, 11. Dezember 03 Satz 2.2 Der Name Unterraum ist gerechtfertigt, denn jeder Unterraum U von V ist bzgl. Unterräume und Lineare Hülle 59 3. Unterräume und Lineare Hülle Definition.1 Eine Teilmenge U eines R-Vektorraums V heißt von V, wenn gilt: Unterraum (U 1) 0 U. (U ) U + U U, d.h. x, y U x + y U. (U )

Mehr

Lösungsmenge L I = {x R 3x + 5 = 9} = L II = {x R 3x = 4} = L III = { }

Lösungsmenge L I = {x R 3x + 5 = 9} = L II = {x R 3x = 4} = L III = { } Zur Einleitung: Lineare Gleichungssysteme Wir untersuchen zunächst mit Methoden, die Sie vermutlich aus der Schule kennen, explizit einige kleine lineare Gleichungssysteme. Das Gleichungssystem I wird

Mehr

Mengen. (Nicht-) Elemente einer Menge { 3, 4 } { 1, { 2 }, { 3, 4 }, { 5 } } 3 { 1, { 2 }, { 3, 4 }, { 5 } }

Mengen. (Nicht-) Elemente einer Menge { 3, 4 } { 1, { 2 }, { 3, 4 }, { 5 } } 3 { 1, { 2 }, { 3, 4 }, { 5 } } Mengen Definition (Intuitive Mengenlehre) Eine Menge ist die Zusammenfassung von Elementen unserer Anschauung zu einem wohldefinierten Ganzen. (Georg Cantor) Notation 1. Aufzählung aller Elemente: { 1,

Mehr

Kapitel III. Aufbau des Zahlensystems

Kapitel III. Aufbau des Zahlensystems Kapitel III. Aufbau des Zahlensystems 1 Addition und Multiplikation natürlicher Zahlen Wir wollen erklären, wie man natürliche Zahlen addiert und multipliziert und dabei nur den Begriff das Zählens verwenden.

Mehr

Mengen. Eigenschaften. Spezielle Mengen (1) Prominente Mengen. ! Mengenzugehörigkeit

Mengen. Eigenschaften. Spezielle Mengen (1) Prominente Mengen. ! Mengenzugehörigkeit Mengen! Definition (Intuitive Mengenlehre) Eine Menge ist die Zusammenfassung von Elementen unserer Anschauung zu einem wohldefinierten Ganzen. (Georg Cantor)! Notation 1. Aufzählung aller Elemente: {

Mehr

Tutorium: Diskrete Mathematik

Tutorium: Diskrete Mathematik Tutorium: Diskrete Mathematik Vorbereitung der Bonusklausur am 01.12.2017 (Teil 1) 22. November 2017 Steven Köhler mathe@stevenkoehler.de mathe.stevenkoehler.de 2 c 2017 Steven Köhler 22. November 2017

Mehr

MATHEMATIK FÜR NATURWISSENSCHAFTLER I WINTERSEMESTER 2016/ OKTOBER 2016

MATHEMATIK FÜR NATURWISSENSCHAFTLER I WINTERSEMESTER 2016/ OKTOBER 2016 MATHEMATIK FÜR NATURWISSENSCHAFTLER I WINTERSEMESTER 2016/17 MARK HAMILTON LMU MÜNCHEN 1.1. Grundbegriffe zu Mengen. 1. 17. OKTOBER 2016 Definition 1.1 (Mengen und Elemente). Eine Menge ist die Zusammenfassung

Mehr

Lösungen zu Kapitel 2

Lösungen zu Kapitel 2 Lösungen zu Kapitel 2 Lösung zu Aufgabe 1: Wir zeigen die Behauptung durch vollständige Induktion über n. Die einzige Menge mit n = 0 Elementen ist die leere Menge. Sie besitzt nur sich selbst als Teilmenge,

Mehr

Kardinalzahlen. Bemerkung. Eine unendliche Kardinalzahl α muss eine Limesordinalzahl sein. (Beweis zur Übung)

Kardinalzahlen. Bemerkung. Eine unendliche Kardinalzahl α muss eine Limesordinalzahl sein. (Beweis zur Übung) Kardinalzahlen Kardinalzahlen sollen die Größe von Mengen messen, daher suchen wir eine Aussage der Form, dass jede Menge bijektiv auf eine Kardinalzahl abgebildet werden kann. Um eine brauchbare Theorie

Mehr

HM I Tutorium 1. Lucas Kunz. 27. Oktober 2016

HM I Tutorium 1. Lucas Kunz. 27. Oktober 2016 HM I Tutorium 1 Lucas Kunz 27. Oktober 2016 Inhaltsverzeichnis 1 Theorie 2 1.1 Logische Verknüpfungen............................ 2 1.2 Quantoren.................................... 3 1.3 Mengen und ihre

Mehr

Diskrete Strukturen Kapitel 2: Grundlagen (Relationen)

Diskrete Strukturen Kapitel 2: Grundlagen (Relationen) WS 2016/17 Diskrete Strukturen Kapitel 2: Grundlagen (Relationen) Hans-Joachim Bungartz Lehrstuhl für wissenschaftliches Rechnen Fakultät für Informatik Technische Universität München http://www5.in.tum.de/wiki/index.php/diskrete_strukturen_-_winter_16

Mehr

Diskrete Mathematik I

Diskrete Mathematik I Diskrete Mathematik I Alexander May Fakultät für Mathematik Ruhr-Universität Bochum Wintersemester 08/09 DiMa I - Vorlesung 01-13.10.2008 Mengen, Relationen, Funktionen, Indirekter Beweis 1 / 59 Organisatorisches

Mehr

Mengen und Abbildungen

Mengen und Abbildungen Mengen und Abbildungen Der Mengenbegriff Durchschnitt, Vereinigung, Differenzmenge Kartesisches Produkt Abbildungen Prinzip der kleinsten natürlichen Zahl Vollständige Induktion Mengen und Abbildungen

Mehr

Diskrete Mathematik I Wintersemester 2007 A. May

Diskrete Mathematik I Wintersemester 2007 A. May Diskrete Mathematik I Wintersemester 2007 A. May Literatur Vorlesung richtet sich nach A. Steger: Diskrete Strukturen Band 1: Kombinatorik-Graphentheorie- Algebra Springer Verlag T. Schickinger, A. Steger:

Mehr

WS 20013/14. Diskrete Strukturen

WS 20013/14. Diskrete Strukturen WS 20013/14 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/ws1314

Mehr

Grundlagen der Mengenlehre

Grundlagen der Mengenlehre mathe plus Grundlagen der Mengenlehre Seite 1 1 Grundbegriffe Grundlagen der Mengenlehre Def 1 Mengenbegriff nach Georg Cantor (1845-1918) Eine Menge ist die Zusammenfassung bestimmter, wohlunterschiedener

Mehr

Natürliche, ganze und rationale Zahlen

Natürliche, ganze und rationale Zahlen 3 Natürliche, ganze und rationale Zahlen Die Existenz der reellen Zahlen setzen wir von nun an voraus. Jetzt geht es darum, unter diesen die natürlichen, ganzen, und rationalen Zahlen zu identifizieren.

Mehr

Denition 1 (Die Peanoschen Axiome). Es gibt eine Menge N und eine sogenannte Nachfolgefunktion S mit folgenden Eigenschaften.

Denition 1 (Die Peanoschen Axiome). Es gibt eine Menge N und eine sogenannte Nachfolgefunktion S mit folgenden Eigenschaften. In dieser Ausarbeitung handelt es sich es um die Menge der natürlichen Zahlen und deren Eigenschaften. In der Analysis werden häug zunächst die reellen Zahlen als vollständig geordneter Körper betrachtet

Mehr

σ-algebren, Definition des Maßraums

σ-algebren, Definition des Maßraums σ-algebren, Definition des Maßraums Ziel der Maßtheorie ist es, Teilmengen einer Grundmenge X auf sinnvolle Weise einen Inhalt zuzuordnen. Diese Zuordnung soll so beschaffen sein, dass dabei die intuitiven

Mehr

1 Aufbau des Zahlensystems

1 Aufbau des Zahlensystems 1 Aufbau des Zahlensystems 1.1 Die Menge N der natürlichen Zahlen 1.1.1 Definition Die mathematischen Eigenschaften dieser durch das Abzählen von Gegenständen motivierten Zahlenmenge lassen sich auf die

Mehr

WS 2009/10. Diskrete Strukturen

WS 2009/10. Diskrete Strukturen WS 2009/10 Diskrete Strukturen Prof. Dr. J. Esparza Lehrstuhl für Grundlagen der Softwarezuverlässigkeit und theoretische Informatik Fakultät für Informatik Technische Universität München http://www7.in.tum.de/um/courses/ds/ws0910

Mehr

Natürliche, ganze und rationale Zahlen

Natürliche, ganze und rationale Zahlen Natürliche, ganze und rationale Zahlen Zunächst haben die zum Zählen verwendeten natürlichen Zahlen 0, 1, 2, 3,... nichts mit dem reellen Zahlen zu tun. Durch die ausgezeichnete reelle Zahl 1 (Maßeinheit!)

Mehr

Diskrete Strukturen Kapitel 2: Grundlagen (Mengen)

Diskrete Strukturen Kapitel 2: Grundlagen (Mengen) WS 2016/17 Diskrete Strukturen Kapitel 2: Grundlagen (Mengen) Hans-Joachim Bungartz Lehrstuhl für wissenschaftliches Rechnen Fakultät für Informatik Technische Universität München http://www5.in.tum.de/wiki/index.php/diskrete_strukturen_-_winter_16

Mehr

1. Grundlagen. Gliederung 1.1 Was ist Analysis? 1.2 Aussagen und Mengen 1.3 Natürliche Zahlen 1.4 Ganze Zahlen, rationale Zahlen

1. Grundlagen. Gliederung 1.1 Was ist Analysis? 1.2 Aussagen und Mengen 1.3 Natürliche Zahlen 1.4 Ganze Zahlen, rationale Zahlen 1. Grundlagen Gliederung 1.1 Was ist Analysis? 1.2 Aussagen und Mengen 1.3 Natürliche Zahlen 1.4 Ganze Zahlen, rationale Zahlen Peter Buchholz 2016 MafI 2 Grundlagen 7 1.1 Was ist Analysis? Analysis ist

Mehr

1. Grundlagen. 1.1 Was ist Analysis? 1.2 Aussagen und Mengen

1. Grundlagen. 1.1 Was ist Analysis? 1.2 Aussagen und Mengen . Grundlagen Gliederung. Was ist Analysis?.2 Aussagen und Mengen.3 Natürliche Zahlen.4 Ganze Zahlen, rationale Zahlen. Was ist Analysis? Analysis ist neben der linearen Algebra ein Grundpfeiler der Mathematik!

Mehr

Folgen. Definition. Sei M eine beliebige Menge. Eine Abbildung a : N M oder a : N 0 M heißt eine Folge.

Folgen. Definition. Sei M eine beliebige Menge. Eine Abbildung a : N M oder a : N 0 M heißt eine Folge. Folgen Eine Folge stellt man sich am einfachsten als eine Aneinanderreihung von Zahlen (oder Elementen irgendeiner anderen Menge) vor, die immer weiter geht Etwa,,,,,, oder,,, 8,,,, oder 0,,,,,,,, In vielen

Mehr

Grundlegendes der Mathematik

Grundlegendes der Mathematik Kapitel 2 Grundlegendes der Mathematik (Prof. Udo Hebisch) 2.1 Logik Unter einer Aussage versteht man in der Mathematik einen in einer natürlichen oder formalen Sprache formulierten Satz, für den eindeutig

Mehr

Teil 4. Mengen und Relationen

Teil 4. Mengen und Relationen Teil 4 Mengen und Relationen KAPITEL 10 Äquivalenzrelationen und Faktormengen 1. Äquivalenzrelationen Wir nennen eine Relation von A nach A auch eine Relation auf A. DEFINITION 10.1. SeiΡeine Relation

Mehr

Logische Grundlagen der Mathematik, WS 2014/15

Logische Grundlagen der Mathematik, WS 2014/15 Logische Grundlagen der Mathematik, WS 2014/15 Thomas Timmermann 26. November 2014 Was kommt nach den natürlichen Zahlen? Mehr als die natürlichen Zahlen braucht man nicht, um einige der schwierigsten

Mehr

Kombinatorik. Dr. Lucia Draque Penso. Universität Ulm. Dr. Lucia Draque Penso (Universität Ulm) Kombinatorik 1 / 26

Kombinatorik. Dr. Lucia Draque Penso. Universität Ulm. Dr. Lucia Draque Penso (Universität Ulm) Kombinatorik 1 / 26 Kombinatorik Dr. Lucia Draque Penso Universität Ulm Dr. Lucia Draque Penso (Universität Ulm) Kombinatorik 1 / 26 Erste Vorlesung Dr. Lucia Draque Penso (Universität Ulm) Kombinatorik 2 / 26 Formales Vorlesung:

Mehr

2. Grundlagen. A) Mengen

2. Grundlagen. A) Mengen Chr.Nelius: Zahlentheorie (SoSe 2019) 5 A) Mengen 2. Grundlagen Eine Menge ist durch Angabe ihrer Elemente bestimmt. Man kann eine Menge aufzählend oder beschreibend definieren. Im ersten Falle werden

Mehr

1.2 Klassen und Mengen

1.2 Klassen und Mengen 14 1.2 Klassen und Mengen Als undefinierten Grundbegriff verwenden wir den Begriff der Klasse. Dieser ist allgemeiner als der Mengenbegriff und wird in der Algebra zur Definition sogenannter Kategorien

Mehr

WS 2013/14. Diskrete Strukturen

WS 2013/14. Diskrete Strukturen WS 2013/14 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/ws13/14

Mehr

Institut für Analysis WiSe 2018/2019 Prof. Dr. Dirk Hundertmark Dr. Markus Lange. Analysis 1. Aufgabenzettel 4

Institut für Analysis WiSe 2018/2019 Prof. Dr. Dirk Hundertmark Dr. Markus Lange. Analysis 1. Aufgabenzettel 4 Institut für Analysis WiSe 2018/2019 Prof. Dr. Dirk Hundertmark 08.11.2018 Dr. Markus Lange Analysis 1 Aufgabenzettel 4 Abgabe bis 14. November 2018, 19:00 Uhr Erinnerung: Die Anmeldung für den Übungsschein

Mehr

2. Symmetrische Gruppen

2. Symmetrische Gruppen 14 Andreas Gathmann 2 Symmetrische Gruppen Im letzten Kapitel haben wir Gruppen eingeführt und ihre elementaren Eigenschaften untersucht Wir wollen nun eine neue wichtige Klasse von Beispielen von Gruppen

Mehr

Analysis I - Notizen 1. Daniel Lenz Jena - Wintersemester 2016

Analysis I - Notizen 1. Daniel Lenz Jena - Wintersemester 2016 Analysis I - Notizen 1 Daniel Lenz Jena - Wintersemester 2016 1 Es handelt sich nicht um ein Skriptum zur Vorlesung. Besten Dank an alle, die zu Verbesserungen früherer Notizen zur Analysis I beigetragen

Mehr

(P3 ) Ist M D mit d M und S(M) M, dann gilt M = D.

(P3 ) Ist M D mit d M und S(M) M, dann gilt M = D. Kapitel 2 Die natürlichen Zahlen 2.1 Peano-Systeme Definition 2.1. Ein Tripel (D, S, d) mit den Eigenschaften (P1) d D, (P2) S : D D, (P3) S(n) d für alle n D, (P4) S ist injektiv, (P5) Ist M D mit d M

Mehr

Kapitel 1: Grundbegriffe

Kapitel 1: Grundbegriffe Kapitel 1: Stefan Ruzika Mathematisches Institut Universität Koblenz-Landau Campus Koblenz Stefan Ruzika (KO) 1 / 20 Gliederung 1 Logik Ein ganz kurzer Ausflug in die Kombinatorik Stefan Ruzika (KO) 2

Mehr

D-MATH, D-PHYS, D-CHAB Analysis I HS 2017 Prof. Manfred Einsiedler. Lösung 2

D-MATH, D-PHYS, D-CHAB Analysis I HS 2017 Prof. Manfred Einsiedler. Lösung 2 D-MATH, D-PHYS, D-CHAB Analysis I HS 2017 Prof. Manfred Einsiedler Lösung 2 Hinweise 1. Eine Möglichkeit ist, auf diese Forderungen massgeschneiderte Relationen explizit anzugeben. Dies ist aber nicht

Mehr

1.3 Relationen und Funktionen

1.3 Relationen und Funktionen 1.3. RELATIONEN UND FUNKTIONEN 1 1.3 Relationen und Funktionen Es gibt eine Konstruktion (Übungsaufgabe!) einer Klasse (a, b) mit der Eigenschaft (a, b) = (c, d) a = c b = d. Diese Klasse (a, b) heißt

Mehr

WS 2009/10. Diskrete Strukturen

WS 2009/10. Diskrete Strukturen WS 2009/10 Diskrete Strukturen Prof. Dr. J. Esparza Lehrstuhl für Grundlagen der Softwarezuverlässigkeit und theoretische Informatik Fakultät für Informatik Technische Universität München http://www7.in.tum.de/um/courses/ds/ws0910

Mehr

3 Vom Zählen zur Induktion

3 Vom Zählen zur Induktion 7 3 Vom Zählen zur Induktion 3.1 Natürliche Zahlen und Induktions-Prinzip Seit unserer Kindheit kennen wir die Zahlen 1,, 3, 4, usw. Diese Zahlen gebrauchen wir zum Zählen, und sie sind uns so vertraut,

Mehr

Vollständigkeit der reellen Zahlen

Vollständigkeit der reellen Zahlen Vollständigkeit der reellen Zahlen Vorlesung zur Didaktik der Analysis Oliver Passon Vollständigkeit von R 1 take home message I Wollte man mit Zahlen nur rechnen, könnte man mit den rationalen Zahlen

Mehr

Seminar zum Thema Kryptographie

Seminar zum Thema Kryptographie Seminar zum Thema Kryptographie Michael Hampton 11. Mai 2017 Inhaltsverzeichnis 1 Einleitung 3 1.1 Konventionen.................................. 3 1.2 Wiederholung.................................. 3

Mehr

: das Bild von ) unter der Funktion ist gegeben durch

: das Bild von ) unter der Funktion ist gegeben durch % 1.3 Funktionen Seien und Mengen nennt man Funktion oder Abbildung. Beachte: Zuordnung ist eindeutig. Bezeichnungen: : Definitionsbereich : Bildbereich (Zielmenge) von Der Graph einer Funktion: graph!

Mehr

Halbgruppen, Gruppen, Ringe

Halbgruppen, Gruppen, Ringe Halbgruppen-1 Elementare Zahlentheorie Einige Bezeichnungen Halbgruppen, Gruppen, Ringe Die Menge N 0 der natürlichen Zahlen 0, 1, 2, Die Menge N = N 1 der von Null verschiedenen natürlichen Zahlen Die

Mehr

Grundlagen der Mathematik

Grundlagen der Mathematik Grundlagen der Mathematik Die mündliche Prüfung Stand 31. Januar 2018 Allgemeine Hinweise Die mündlichen Prüfung ist idealerweise ein flüssiges Gespräch, wobei (kurzes) Nachdenken natürlich jederzeit erlaubt

Mehr

Dezimaldarstellung ganzer Zahlen (Division mit Rest) 1 Division mit Rest in der Hochschule

Dezimaldarstellung ganzer Zahlen (Division mit Rest) 1 Division mit Rest in der Hochschule Berufsfeldbezogenes Fachseminar - Zahlentheorie Lisa Laudan Prof. Dr. Jürg Kramer Wintersemester 2014/2015 Dezimaldarstellung ganzer Zahlen (Division mit Rest) 1 Division mit Rest in der Hochschule 1.1

Mehr

5. Ordinalzahlen (Vorlesung 11)

5. Ordinalzahlen (Vorlesung 11) EINFÜHRUNG IN DIE LOGIK UND MENGENLEHRE 29 5.. Grundlegende Eigenschaften. 5. Ordinalzahlen (Vorlesung ) Definition 5. (Wohlordnung). Eine lineare Ordnung < auf einer Menge a heißt Wohlordnung, wenn jede

Mehr

13 Auswahlaxiom und Zornsches Lemma

13 Auswahlaxiom und Zornsches Lemma 13 Auswahlaxiom und Zornsches Lemma Handout zur Funktionalanalysis I von H. Glöckner, 25.11.2008 Wichtige Teile der modernen Mathematik beruhen auf dem sogenannten Auswahlaxiom der Mengenlehre. Dieses

Mehr

Brückenkurs Mathematik

Brückenkurs Mathematik Brückenkurs Mathematik 6.10. - 17.10. Vorlesung 1 Logik,, Doris Bohnet Universität Hamburg - Department Mathematik Mo 6.10.2008 Zeitplan Tagesablauf: 9:15-11:45 Vorlesung Audimax I 13:00-14:30 Übung Übungsräume

Mehr

Einführung in die Informatik 2

Einführung in die Informatik 2 Einführung in die Informatik 2 Mathematische Grundbegriffe Sven Kosub AG Algorithmik/Theorie komplexer Systeme Universität Konstanz E 202 Sven.Kosub@uni-konstanz.de Sprechstunde: Freitag, 12:30-14:00 Uhr,

Mehr

Diskrete Strukturen und Logik WiSe 2007/08 in Trier. Henning Fernau Universität Trier

Diskrete Strukturen und Logik WiSe 2007/08 in Trier. Henning Fernau Universität Trier Diskrete Strukturen und Logik WiSe 2007/08 in Trier Henning Fernau Universität Trier fernau@uni-trier.de 1 Diskrete Strukturen und Logik Gesamtübersicht Organisatorisches Einführung Logik & Mengenlehre

Mehr

3 Vollständige Induktion

3 Vollständige Induktion 3.1 Natürliche Zahlen In den vorherigen Kapiteln haben wir die Menge der natürlichen Zahlen schon mehrfach als Beispiel benutzt. Das Konzept der natürlichen Zahlen erscheint uns einfach, da wir es schon

Mehr

Weitere Eigenschaften

Weitere Eigenschaften Weitere Eigenschaften Erklärung der Subtraktion: x y := x + ( y) (5) Die Gleichung a + x = b hat die eindeutig bestimmte Lösung x = b a. Beweis: (a) Zunächst ist x = b a eine Lösung, denn a + x = a + (b

Mehr

5.9 Permutationsgruppen. Sei nun π S n. Es existiert folgende naive Darstellung: Kürzer schreibt man auch

5.9 Permutationsgruppen. Sei nun π S n. Es existiert folgende naive Darstellung: Kürzer schreibt man auch 5.9 Permutationsgruppen Definition 103 Eine Permutation ist eine bijektive Abbildung einer endlichen Menge auf sich selbst; o. B. d. A. sei dies die Menge U := {1, 2,..., n}. S n (Symmetrische Gruppe für

Mehr

2 Mengen und Abbildungen

2 Mengen und Abbildungen 2.1 Mengen Unter einer Menge verstehen wir eine Zusammenfassung von Objekten zu einem Ganzen. Die Objekte heiÿen Elemente. Ist M eine Menge und x ein Element von M so schreiben wir x M. Wir sagen auch:

Mehr

Kapitel 3. Natürliche Zahlen und vollständige Induktion

Kapitel 3. Natürliche Zahlen und vollständige Induktion Kapitel 3 Natürliche Zahlen und vollständige Induktion In Kapitel 1 haben wir den direkten Beweis, den modus ponens, kennen gelernt, der durch die Tautologie ( A (A = B) ) = B gegeben ist Dabei war B eine

Mehr

Aufgabenblatt 1: Abgabe am vor der Vorlesung

Aufgabenblatt 1: Abgabe am vor der Vorlesung Aufgabenblatt 1: Abgabe am 17.09.09 vor der Vorlesung Aufgabe 1. a.) (1P) Geben Sie die Lösungsmenge der folgenden Gleichung an: 6x + y = 10. Zeichnen Sie die Lösungsmenge in ein Koordinatensystem. b.)

Mehr

Vorlesung 4. Tilman Bauer. 13. September Wir befassen uns in dieser Vorlesung noch einmal mit Mengen.

Vorlesung 4. Tilman Bauer. 13. September Wir befassen uns in dieser Vorlesung noch einmal mit Mengen. Vorlesung 4 Universität Münster 13. September 2007 1 Kartesische Wir befassen uns in dieser Vorlesung noch einmal mit Mengen. Seien M und N zwei Mengen. Dann bezeichnen wir mit M N das (kartesische) Produkt

Mehr

Mengenlehre: Mengen und Zahlen

Mengenlehre: Mengen und Zahlen TH Mittelhessen, Sommersemester 2016 Lösungen zu Übungsblatt 3 Fachbereich MNI, Diskrete Mathematik 2./9./12. Mai 2016 Prof. Dr. Hans-Rudolf Metz Mengenlehre: Mengen und Zahlen Aufgabe 1. Gegeben seien

Mehr

Im allerersten Unterabschnitt wollen wir uns mit einer elementaren Struktur innerhalb der Mathematik beschäftigen: Mengen.

Im allerersten Unterabschnitt wollen wir uns mit einer elementaren Struktur innerhalb der Mathematik beschäftigen: Mengen. Kapitel 1 - Mathematische Grundlagen Seite 1 1 - Mengen Im allerersten Unterabschnitt wollen wir uns mit einer elementaren Struktur innerhalb der Mathematik beschäftigen: Mengen. Definition 1.1 (G. Cantor.

Mehr

Übersichtsblatt Hertrampf/Bahrdt. 1 Mathematische Aussagen. Theoretische Informatik I WS2018/19

Übersichtsblatt Hertrampf/Bahrdt. 1 Mathematische Aussagen. Theoretische Informatik I WS2018/19 Theoretische Informatik I WS2018/19 Übersichtsblatt Hertrampf/Bahrdt Institut für Formale Methoden der Informatik Theoretische Informatik Universität Stuttgart 1 Mathematische Aussagen Um mathematische

Mehr

Lineare Algebra. Jung Kyu Canci. Mit der Hilfe von: Stefano Iula, Olivia Ebneter, Katharina Laubscher, Viviane Wehrle

Lineare Algebra. Jung Kyu Canci. Mit der Hilfe von: Stefano Iula, Olivia Ebneter, Katharina Laubscher, Viviane Wehrle Lineare Algebra Jung Kyu Canci Mit der Hilfe von: Stefano Iula, Olivia Ebneter, Katharina Laubscher, Viviane Wehrle Herbstsemester 2015 2 Inhaltsverzeichnis 1 Einführung in die Lineare Algebra 5 1.1 Elementare

Mehr

Mathematik 1 für Informatik Inhalt Grundbegrie

Mathematik 1 für Informatik Inhalt Grundbegrie Mathematik 1 für Informatik Inhalt Grundbegrie Mengen, speziell Zahlenmengen Aussagenlogik, Beweistechniken Funktionen, Relationen Kombinatorik Abzählverfahren Binomialkoezienten Komplexität von Algorithmen

Mehr

Die reellen Zahlen als Äquivalenzklassen rationaler Cauchy-Folgen. Steven Klein

Die reellen Zahlen als Äquivalenzklassen rationaler Cauchy-Folgen. Steven Klein Die reellen Zahlen als Äquivalenzklassen rationaler Cauchy-Folgen Steven Klein 04.01.017 1 In dieser Ausarbeitung konstruieren wir die reellen Zahlen aus den rationalen Zahlen. Hierzu denieren wir zunächst

Mehr

Vorlesung 4. Tilman Bauer. 13. September 2007

Vorlesung 4. Tilman Bauer. 13. September 2007 Vorlesung 4 Universität Münster 13. September 2007 Kartesische Wir befassen uns in dieser Vorlesung noch einmal mit Mengen. Definition Seien M und N zwei Mengen. Dann bezeichnen wir mit M N das (kartesische)

Mehr

Analysis I. Guofang Wang Universität Freiburg

Analysis I. Guofang Wang Universität Freiburg Universität Freiburg 16.11.2016 Kapital 3. Mächtigkeit der Mengen und komplexe Zahlen Jetzt wollen wir uns einer neuen Frage zuwenden: Wie kann man die unendlichen Mengen N Z Q R der Größe nach vergleichen?

Mehr

Beispiel 27 (Beweis durch Widerspruch) Satz 28 3 ist irrational, d. h. Beweis: Widerspruchsannahme: 3 Q.

Beispiel 27 (Beweis durch Widerspruch) Satz 28 3 ist irrational, d. h. Beweis: Widerspruchsannahme: 3 Q. Beispiel 27 (Beweis durch Widerspruch) Wir nehmen an, dass die zu zeigende Aussage falsch ist und führen diese Annahme zu einem Widerspruch. Satz 28 3 ist irrational, d. h. 3 / Q. Beweis: Widerspruchsannahme:

Mehr

Grundlagen der Mathematik

Grundlagen der Mathematik Universität Hamburg Winter 016/17 Fachbereich Mathematik Janko Latschev Lösungsskizzen 6 Grundlagen der Mathematik Präsenzaufgaben (P9) Die Ordnung der natürlichen Zahlen I Wir hatten in der Vorlesung

Mehr

aus der Bedingung/Annahme A folgt ein Widerspruch ), so ist A falsch!

aus der Bedingung/Annahme A folgt ein Widerspruch ), so ist A falsch! Bemerkungen: 1 Die Bedeutung von (und damit ) ist klar. wird oft, vor allem in Beweisen, auch als geschrieben (im Englischen: iff, if and only if). 2 Für zwei boolesche Aussagen A und B ist A B falsch

Mehr

17 Lineare Abbildungen

17 Lineare Abbildungen Chr.Nelius: Lineare Algebra II (SS2005) 1 17 Lineare Abbildungen Wir beginnen mit der Klärung des Abbildungsbegriffes. (17.1) DEF: M und N seien nichtleere Mengen. Eine Abbildung f von M nach N (in Zeichen:

Mehr

4. Mathematische und notationelle Grundlagen. Beispiel Mengen. Bezeichnungen:

4. Mathematische und notationelle Grundlagen. Beispiel Mengen. Bezeichnungen: 4. Mathematische und notationelle Grundlagen 4.1 Mengen Beispiel 3 A 1 = {2, 4, 6, 8}; A 2 = {0, 2, 4, 6,...} = {n N 0 ; n gerade} Bezeichnungen: x A A x x A B A B A { } x Element A x nicht Element A B

Mehr

Vorlesung Diskrete Strukturen Die Sprache der modernen Mathematik

Vorlesung Diskrete Strukturen Die Sprache der modernen Mathematik Vorlesung Diskrete Strukturen Die Sprache der modernen Mathematik Bernhard Ganter Institut für Algebra TU Dresden D-01062 Dresden bernhard.ganter@tu-dresden.de WS 2009/10 1 Bernhard Ganter, TU Dresden

Mehr

Vorkurs: Grundlagen für das Mathematikstudium. Caroline Uhler

Vorkurs: Grundlagen für das Mathematikstudium. Caroline Uhler Vorkurs: Grundlagen für das Mathematikstudium Caroline Uhler Inhaltsverzeichnis 1 Logische Grundbegriffe 3 2 Elementare Mengenlehre 5 3 Relationen und Abbildungen 8 3.1 Produkte......................................

Mehr

1. Mengentheoretische Grundbegriffe. naiver Mengenbegriff : Eine Menge ist eine Zusammenfassung M von bestimmten, wohlunterschiedenen

1. Mengentheoretische Grundbegriffe. naiver Mengenbegriff : Eine Menge ist eine Zusammenfassung M von bestimmten, wohlunterschiedenen 1. Mengentheoretische Grundbegriffe Cantors (1845 1918) naiver Mengenbegriff : Slide 1 Eine Menge ist eine Zusammenfassung M von bestimmten, wohlunterschiedenen Objekten unserer Anschauung oder unseres

Mehr