Tutorium: Diskrete Mathematik

Größe: px
Ab Seite anzeigen:

Download "Tutorium: Diskrete Mathematik"

Transkript

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

2 3 c 2017 Steven Köhler 22. November 2017 Definition I Eine Funktion (oder Abbildung) f : A B stellt eine Abbildungsvorschrift dar, die jedem Element der Menge A ein Element der Menge B zuordnet. Eine Funktion kann formal wie folgt geschrieben werden: f : A B a f (a). 4 c 2017 Steven Köhler 22. November 2017

3 Definition II Grafisch lässt sich eine Abbildung wie folgt veranschaulichen: 5 c 2017 Steven Köhler 22. November 2017 Definition III Bei den nachfolgenden Beispielen handelt es sich nicht um. (Wieso nämlich?) 6 c 2017 Steven Köhler 22. November 2017

4 Definition IV Bezeichnungen: A: Definitionsbereich, Urbildmenge B: Bildmenge, Bildbereich A B: Signatur a f (a): Funktionsvorschrift, Abbildungsvorschrift { } Wertebereich: W f := f (A) = f (a) :a A. Nicht alle Elemente von B müssen ein Urbild haben. Es gilt f (A) B. 7 c 2017 Steven Köhler 22. November 2017 Definition V Beispiel: f : R R x x 2 Definitions- und Wertebereich der Funktion f : { } D f = x R = R; { W f = x R } x 0. Für dieses Beispiel gilt also W f R. 8 c 2017 Steven Köhler 22. November 2017

5 Eigenschaften von I Man nennt eine Abbildung injektiv, falls für alle x, y A gilt: Aus x y folgt stets f (x) f (y); surjektiv, falls es zu jedem b B mindestens ein a A gibt, für das f (a) =b gilt; bijektiv, falls sie injektiv und surjektiv ist. 9 c 2017 Steven Köhler 22. November 2017 Eigenschaften von II Beispiele: 1. Es sei A = { 1, 2, 3 } und B = { 1, 2, 3 }. f : A B sei definiert durch f (1) =1, f (2) =1 und f (3) =2. 2. Es sei A = { 1, 2, 3 } und B = { 1, 2, 3, 4 }. f : A B sei definiert durch f (1) =1, f (2) =3 und f (3) =4. 3. Es sei A = { 1, 2, 3 } und B = { 4, 5 }. f : A B sei definiert durch f (1) =4, f (2) =5 und f (3) =4. 4. Es sei A = { 1, 2, 3 } und B = { 3, 4, 5 }. f : A B sei definiert durch f (1) =4, f (2) =5 und f (3) =3. 10 c 2017 Steven Köhler 22. November 2017

6 Eigenschaften von III Lösungen: 1. nicht injektiv, nicht surjektiv 2. injektiv, nicht surjektiv 3. nicht injektiv, surjektiv 4. injektiv, surjektiv, bijektiv 11 c 2017 Steven Köhler 22. November 2017 Eigenschaften von IV Es sei f : A B eine Abbildung einer endlichen Menge A auf eine endliche Menge B. Es gilt: Ist A > B, so kann f nicht injektiv sein; Ist A < B, so kann f nicht surjektiv sein. Wichtig: Dies gilt nur für endliche Mengen A und B. 12 c 2017 Steven Köhler 22. November 2017

7 Umkehrfunktion Ist f : A B eine bijektive Funktion, dann bezeichnet man mit f 1 : B A die zugehörige Umkehrfunktion. Der Funktionswert f 1 (y) ist definiert als das eindeutig bestimmte x A, für das f (x) =y gilt. 13 c 2017 Steven Köhler 22. November 2017 Nachweis der Injektivität I Der Nachweis der Injektivität erfolgt immer nach demselben einfachen Schema: f (x) =f (y) x = y. Ist f (x) =f (y) nur genau dann wahr, wenn x = y gilt, so ist die Funktion injektiv. Andernfalls ist sie nicht injektiv. 14 c 2017 Steven Köhler 22. November 2017

8 Nachweis der Injektivität II Aufgabe: Entscheide, ob die folgende Funktion injektiv ist. f : Z Z f (x) =5x 2 15 c 2017 Steven Köhler 22. November 2017 Nachweis der Injektivität III Lösung: f (x) =f (y) 5x 2 = 5y 2 5x = 5y x = y Aus f (x) =f (y) folgt nur die Lösung x = y. Dies bedeutet, dass keine zwei verschiedenen Elemente x und y auf denselben Wert abgebildet werden. Die Funktion ist also injektiv. 16 c 2017 Steven Köhler 22. November 2017

9 Nachweis der Injektivität IV Aufgabe: Entscheide, ob die folgende Funktion injektiv ist. f : Z Z Z Z ( ) f (a, b) = a + b, a c 2017 Steven Köhler 22. November 2017 Nachweis der Injektivität V Lösung: ( a + b, a f (a, b) =f (c, d) ) = ( c + d, c Zwei Tupel sind genau dann gleich, wenn ihre Komponenten übereinstimmen. Es muss gelten: a + b = c + d a = c ) 18 c 2017 Steven Köhler 22. November 2017

10 Nachweis der Injektivität VI Aus der zweiten Gleichung folgt a = ±c. Einsetzen in die erste Gleichung und Umstellen nach b ergibt zwei mögliche Lösungen: (I) a = c (II) a = c b = d b = 2c + d Da es mehr als eine Lösung gibt, folgt also insbesondere, dass die Abbildung nicht injektiv sein kann. 19 c 2017 Steven Köhler 22. November 2017 Nachweis der Injektivität VII Alternative Lösung: Der Nachweis, dass die Funktion nicht injektiv ist, hätte auch durch Angabe eines Gegenbeispiels erfolgen können: f (1, 2) =(3, 1) =f ( 1, 4). Da mehrere Elemente der Urbildmenge dasselbe Bild haben, ist die Funktion nicht injektiv. 20 c 2017 Steven Köhler 22. November 2017

11 Nachweis der Injektivität VIII Aufgabe: Entscheide, ob die folgenden Funktionen injektiv sind. f : Z Z f (x) =(x + 2) 2 g : N Z g(x) =(x + 2) 2 ( h : Z 2 Z 3 ) h(a, b) = ab, (a + 1)b, a(b 2 + 1) 21 c 2017 Steven Köhler 22. November 2017 Nachweis der Injektivität IX Abschließend noch zwei Bemerkungen zur Injektivität: Falls die Bildmenge ein Tupel ist, ist keine Aussage über die Injektivität der Abbildung möglich, wenn die Injektivität lediglich für einzelne Komponenten gezeigt wurde. f : Z 2 Z 2 ) f (a, b) = (3a + 2, (b 1) 2 Obwohl für keine der Komponenten Injektivität gilt, kann die gesamte Abbildung dennoch injektiv sein. f : Z ( 2 Z 2 ) f (a, b) = a + b, a b 22 c 2017 Steven Köhler 22. November 2017

12 Nachweis der Surjektivität I Der Nachweis der Surjektivität ist im Allgemeinen deutlich schwieriger als der Nachweis der Injektivität. Für jedes Element b der Bildmenge muss gezeigt werden, dass es mindestens ein Element a der Urbildmenge gibt, für das f (a) =b gilt. Es gibt leider kein allgemeingültiges Verfahren, dies zu bewerkstelligen. Eine Möglichkeit ist es jedoch, die Umkehrfunktion zu bestimmen, falls diese existiert. 23 c 2017 Steven Köhler 22. November 2017 Nachweis der Surjektivität II Aufgabe: Entscheide, ob die folgende Funktion surjektiv ist. f : Z Z f (x) =5x 2 24 c 2017 Steven Köhler 22. November 2017

13 Nachweis der Surjektivität III Lösung: Es gilt y = f (x) =5x 2. Um die Umkehrfunktion zu bestimmen, stellen wir die Gleichung nach x um: 5x = y + 2 x = y Dies sieht wie die Umkehrfunktion aus, ABER im Allgemeinen gilt y + 2 / Z. Beispielsweise hat y = 1 kein zugehöriges x Z. Die 5 Funktion ist also nicht surjektiv. 25 c 2017 Steven Köhler 22. November 2017 Nachweis der Surjektivität IV Aufgabe: Entscheide, ob die folgende Funktion surjektiv ist. f : Z Z f (x) =x c 2017 Steven Köhler 22. November 2017

14 Nachweis der Surjektivität V Lösung: Es gilt y = f (x) =x + 7. Um die Umkehrfunktion zu bestimmen, stellen wir die Gleichung nach x um: x = y 7. Ist y Z, so ist auch y 7 Z. Es bleibt zu prüfen, ob y 7 tatsächlich ein Urbild für y ist. Einsetzen in f ergibt Die Funktion f ist also surjektiv. f (y 7) =y = y. 27 c 2017 Steven Köhler 22. November 2017 Nachweis der Surjektivität VI Aufgabe: Entscheide, ob die folgenden Funktionen surjektiv sind. f : Z 2 Z f (a, b) =a + b g : Z Z x + 1 g(x) = 2 ( h : Z 2 Z 3 ) h(a, b) = 2a + 3b, a 2, (b 1) 2 a 28 c 2017 Steven Köhler 22. November 2017

15 Nachweis der Surjektivität VII Abschließend noch zwei Bemerkungen zur Surjektivität: Ist eine Komponente einer Abbildung nicht surjektiv, so ist es auch die gesamte Abbildung nicht. ( h : Z 2 Z 3 ) h(a, b) = 2a + 3b, a 2, (b 1) 2 a Ist jede Komponente einer Abbildung surjektiv, so muss dies dennoch nicht für die gesamte Abbildung gelten. ( ) f (a) = a, a c 2017 Steven Köhler 22. November 2017 Verkettung von Funktionen I Es sei h : A C eine Komposition (Verkettung) der Funktionen f : A B und g : B C. h = g f ( ) h(x) =g f (x) Statt Komposition kann man auch Nacheinanderausführung sagen. g f bedeutet also, g wird nach f ausgeführt. 30 c 2017 Steven Köhler 22. November 2017

16 Verkettung von Funktionen II Es gelten die folgenden Eigenschaften: Sind sowohl f als auch g injektiv, so ist auch g f injektiv. Sind sowohl f als auch g surjektiv, so ist auch g f surjektiv. 31 c 2017 Steven Köhler 22. November 2017 Aufgabe 1 Entscheide für die folgenden, ob sie injektiv sind. Gib jeweils eine (kurze) Begründung. a) N Z, f (n) = ( n 2 ) 2 b) Z Z, f (n) =42n 23 c) Z Z Z, f (n) = ( (n 3) 2, n 2) d) N Z Z Z, f (a, b) = ( ba, 5a + 1 ) e) Z Z Z, f (n, m) =7n m f) Z Z Z Z Z, f (x, y) = ( xy 3, xy 3 2y 9, (y 2 5)x ) 32 c 2017 Steven Köhler 22. November 2017

17 Aufgabe 2 Entscheide für die folgenden, ob sie surjektiv sind. Gib jeweils eine (kurze) Begründung. a) Z Z, f (n) =23n 42 b) Z Z Z, f (n) = ( (n + 5) 2, n 2) c) Z Z Z Z, f (n, m) = ( n + m 2, n + 1 ) d) Z Z Z, f (n, m) =7n m e) N N N, f (n, m) =n + m 33 c 2017 Steven Köhler 22. November 2017 Aufgabe 3 Gibt es bijektive Z Z 2? Gib im Falle der Existenz eine solche Abbildung an; begründe im Fall der Nicht-Existenz, wieso eine solche Abbildung nicht existiert. 34 c 2017 Steven Köhler 22. November 2017

18 Vollständige Induktion 35 c 2017 Steven Köhler 22. November 2017 Vollständige Induktion Vollständige Induktion I Vollständige Induktion als Beweismethode wird bei Problemen der folgenden Art angewandt: Für jede natürliche Zahl n sei A(n) eine Aussage. Es soll bewiesen werden, dass A(n) für alle natürlichen Zahlen n gilt, d.h., es soll die Gültigkeit der unendlich vielen Aussagen A(1), A(2), A(3)... nachgewiesen werden. 36 c 2017 Steven Köhler 22. November 2017

19 Vollständige Induktion Vollständige Induktion II Um eine Aussage A(n) für alle n N zu beweisen, genügt es, Folgendes zu zeigen: (I) Induktionsanfang A(1) ist richtig. (II) Induktionsschritt Für jedes n N gilt: Falls A(n) richtig ist, so ist auch die Aussage A(n + 1) richtig. 37 c 2017 Steven Köhler 22. November 2017 Vollständige Induktion Vollständige Induktion III Behauptung: Die Summe der ersten n natürlichen Zahlen (d.h n) n(n + 1) ist gleich c 2017 Steven Köhler 22. November 2017

20 Vollständige Induktion Vollständige Induktion IV Beweis: Mit vollständiger Induktion lässt sich zeigen, dass A(n) nicht nur für bestimmte n, sondern für alle n N gilt: (I) Induktionsanfang A(1) ist richtig, da 1 = 1 (1 + 1) 2 gilt. 39 c 2017 Steven Köhler 22. November 2017 Vollständige Induktion Vollständige Induktion V (II) Induktionsschritt Es sei n N eine beliebig gewählte natürliche Zahl; wir setzen voraus, dass A(n) für dieses n richtig ist, d.h., es gelte (für dieses n): n i = n( n + 1 ). ( ) 2 i=1 Wir haben zu zeigen, dass unter dieser Voraussetzung auch A(n + 1) richtig ist, d.h., wir müssen Folgendes nachweisen: n+1 i = i=1 ( n + 1 )( (n + 1)+1 ) c 2017 Steven Köhler 22. November 2017

21 Vollständige Induktion Vollständige Induktion VI Dies ergibt sich durch die folgende Rechnung: n+1 i = i=1 ( ) = Zusammenfassen = (n+1) ausklammern = = n i + ( n + 1 ) i=1 n ( n + 1 ) + ( n + 1 ) 2 n ( n + 1 ) + 2 ( n + 1 ) ( )( 2 ) n + 1 n + 2 ( )( 2 ) n + 1 (n + 1)+1 Damit sind (I) und (II) gezeigt; nach dem Induktionsprinzip gilt A(n) also für alle n N c 2017 Steven Köhler 22. November 2017 Vollständige Induktion Aufgabe 4 Beweise durch vollständige Induktion! a) Für alle n N gilt: 8 ( 3 2n + 7 ). n b) Für alle n N 0 gilt: q i = 1 qn+1 1 q. c) Für alle n N gilt: i=0 n i=1 1 (2i 1)(2i+1) = n 2n+1. d) Für alle n N mit n 3 gilt: n n > n + n. n ( e) Für alle n N 0 gilt: i ( 1) = n+1 n 1). i=1 42 c 2017 Steven Köhler 22. November 2017

22 Wahrheitswerte 43 c 2017 Steven Köhler 22. November 2017 Wahrheitswerte Logische Verknüpfungen I A und B seien Aussagen, die entweder wahr oder falsch sein können. Konjunktion: A B Die Aussage A B ist genau dann wahr, wenn sowohl A als auch B wahr ist. Disjunktion: A B Die Aussage A B ist wahr, wenn entweder A oder B wahr ist; oder natürlich auch beide. 44 c 2017 Steven Köhler 22. November 2017

23 Wahrheitswerte Logische Verknüpfungen II A und B seien Aussagen, die entweder wahr oder falsch sein können. Implikation: A B Die Aussage A B bedeutet, dass immer, wenn A wahr ist, auch B wahr ist. ( B folgt aus A. ) Biimplikation: A B Die Aussage A B bedeutet, dass immer, wenn A wahr ist, auch B wahr ist und umgekehrt. ( genau dann wenn ) 45 c 2017 Steven Köhler 22. November 2017 Wahrheitswerte Logische Verknüpfungen III A sei eine Aussage, die entweder wahr oder falsch sein kann. Negation: A Die Aussage A ist genau dann wahr, wenn die Aussage A falsch ist. 46 c 2017 Steven Köhler 22. November 2017

24 Wahrheitswerte Aufgabe 5 Es seien A und B zwei Wahrheitswerte. Zeige mithilfe einer Wahrheitstafel, dass es sich bei A B und (A B) ( A B) um zwei äquivalente Aussagen handelt. 47 c 2017 Steven Köhler 22. November 2017

Vorkurs: Mathematik für Informatiker

Vorkurs: Mathematik für Informatiker Vorkurs: Mathematik für Informatiker Teil 3 Wintersemester 2016/17 Steven Köhler [email protected] mathe.stevenkoehler.de 2 c 2016 Steven Köhler Wintersemester 2016/17 Inhaltsverzeichnis Teil 1 Teil

Mehr

Vorkurs: Mathematik für Informatiker

Vorkurs: Mathematik für Informatiker Vorkurs: Mathematik für Informatiker Lösungen Wintersemester 2016/17 Steven Köhler [email protected] mathe.stevenkoehler.de 2 c 2016 Steven Köhler Wintersemester 2016/17 Kapitel I: Mengen Aufgabe

Mehr

mathe plus Aussagenlogik Seite 1

mathe plus Aussagenlogik Seite 1 mathe plus Aussagenlogik Seite 1 1 Aussagenlogik 1.1 Grundbegriffe Def 1 Aussage Eine Aussage ist ein beschriebener Sachverhalt, dem eindeutig einer der Wahrheitswerte entweder wahr oder falsch zugeordnet

Mehr

Vorkurs Mathematik Abbildungen

Vorkurs Mathematik Abbildungen Vorkurs Mathematik Abbildungen Philip Bell 19. September 2016 Diese Arbeit beruht im Wesentlichen auf dem Vortrag Relationen, Partitionen und Abbildungen von Fabian Grünig aus den vorangehenden Jahren.

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

Warum Mathe? IG/StV-Mathematik der KFU-Graz. 1 Mengen Mengenoperationen Rechenregeln Mengen 4. Funktionen 7

Warum Mathe? IG/StV-Mathematik der KFU-Graz. 1 Mengen Mengenoperationen Rechenregeln Mengen 4. Funktionen 7 Warum Mathe? IG/StV-Mathematik der KFU-Graz März 2011 Inhalt 1 Mengen 1 1.1 Mengenoperationen.............................. 2 1.2 Rechenregeln.................................. 3 2 Übungsbeispiele zum

Mehr

Einführung in die Mathematik (Vorkurs 1 )

Einführung in die Mathematik (Vorkurs 1 ) Einführung in die Mathematik (Vorkurs 1 ) Wintersemester 2015/16 Dr. J. Jordan Institut für Mathematik Universität Würzburg Germany 1 Modulbezeichnung 10-M-VKM 1 Inhaltsverzeichnis 1 Aussagenlogik 4 2

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

3. Die Definition einer Abbildung von A in B beinhaltet eigentlich zwei Bedingungen, nämlich

3. Die Definition einer Abbildung von A in B beinhaltet eigentlich zwei Bedingungen, nämlich Kapitel 3: Abbildungen Seite 32 Kap 3: Abbildungen Kap. 3.1: Abbildungen (Funktion), Bild und Urbild Der Begriff der Abbildung ist wie auch der Begriff der Menge von fundamentaler Bedeutung für die Mathematik.

Mehr

Übungen Mathematik I, M

Übungen Mathematik I, M Übungen Mathematik I, M Übungsblatt, Lösungen (Stoff aus Mathematik 0) 09.0.0. Kommissar K hat 3 Tatverdächtige P, Q und R. Er weiß: (a) Wenn sich Q oder R als Täter herausstellen, dann ist P unschuldig.

Mehr

Vorlesung. Funktionen/Abbildungen

Vorlesung. Funktionen/Abbildungen Vorlesung Funktionen/Abbildungen 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

4.1 Definition. Gegeben: Relation f X Y f heißt Funktion (Abbildung) von X nach Y, wenn. = y 1. = y 2. xfy 1. xfy 2

4.1 Definition. Gegeben: Relation f X Y f heißt Funktion (Abbildung) von X nach Y, wenn. = y 1. = y 2. xfy 1. xfy 2 4.1 Definition Gegeben: Relation f X Y f heißt Funktion (Abbildung) von X nach Y, wenn xfy 1 xfy 2 = y 1 = y 2 Y heißt Zielbereich oder Zielmenge von f. Statt (x, y) f oder xfy schreibt man y = f(x). Vollständige

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

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

Surjektive, injektive und bijektive Funktionen.

Surjektive, injektive und bijektive Funktionen. Kapitel 1: Aussagen, Mengen, Funktionen Surjektive, injektive und bijektive Funktionen. Definition. Sei f : M N eine Funktion. Dann heißt f surjektiv, falls die Gleichung f(x) = y für jedes y N mindestens

Mehr

Elementare Beweismethoden

Elementare Beweismethoden Elementare Beweismethoden Christian Hensel 404015 Inhaltsverzeichnis Vortrag zum Thema Elementare Beweismethoden im Rahmen des Proseminars Mathematisches Problemlösen 1 Einführung und wichtige Begriffe

Mehr

Tutorium: Diskrete Mathematik. Vorbereitung der Bonusklausur am Lösungen der Aufgaben (Teil 2)

Tutorium: Diskrete Mathematik. Vorbereitung der Bonusklausur am Lösungen der Aufgaben (Teil 2) Tutorium: Diskrete Mathematik Vorbereitung der Bonusklausur am 20.11.2015 Lösungen der Aufgaben (Teil 2) Steven Köhler [email protected] mathe.stevenkoehler.de 2 Aufgabe 1 Es sei M = 1; 2 ª.Esgilt

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

Aussagenlogik. Lehrstuhl für BWL, insb. Mathematik und Statistik Prof. Dr. Michael Merz Mathematik für Betriebswirte I Wintersemester 2015/2016

Aussagenlogik. Lehrstuhl für BWL, insb. Mathematik und Statistik Prof. Dr. Michael Merz Mathematik für Betriebswirte I Wintersemester 2015/2016 Aussagenlogik 1. Gegeben seien folgende Aussagen: A: 7 ist eine ungerade Zahl B: a + b < a + b, a, b R C: 2 ist eine Primzahl D: 7 7 E: a + 1 b, a, b R F: 3 ist Teiler von 9 Bestimmen Sie den Wahrheitswert

Mehr

Lineare Algebra 1. Detlev W. Hoffmann. WS 2013/14, TU Dortmund

Lineare Algebra 1. Detlev W. Hoffmann. WS 2013/14, TU Dortmund Lineare Algebra 1 Detlev W. Hoffmann WS 2013/14, TU Dortmund 1 Mengen und Zahlen 1.1 Mengen und Abbildungen Eine Menge ist eine Zusammenfassung wohlunterscheidbarer Objekte unserer Anschauung/unseres Denkens/unserer

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

ELEMENTARE DISKRETE MATHEMATIK Kapitel 4: Mächtigkeit von Mengen

ELEMENTARE DISKRETE MATHEMATIK Kapitel 4: Mächtigkeit von Mengen ELEMENTARE DISKRETE MATHEMATIK Kapitel 4: Mächtigkeit von Mengen MAA.01011UB MAA.01011PH Vorlesung mit Übung im WS 2016/17 Christoph GRUBER Günter LETTL Institut für Mathematik und wissenschaftliches Rechnen

Mehr

1.1 Mengen und Abbildungen

1.1 Mengen und Abbildungen Lineare Algebra I WS 2015/16 c Rudolf Scharlau 3 1.1 Mengen und Abbildungen In diesem Abschnitt stellen wir die grundlegende mathematische Sprache und Notation zusammen, die für jede Art von heutiger Mathematik

Mehr

Mengen, Funktionen und Logik

Mengen, Funktionen und Logik Wirtschaftswissenschaftliches Zentrum Universität Basel Mathematik für Ökonomen 1 Dr. Thomas Zehrt Mengen, Funktionen und Logik Literatur Referenz: Gauglhofer, M. und Müller, H.: Mathematik für Ökonomen,

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

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

Aufgaben und Lösungen zum Vorkurs Mathematik: Beweismethoden Für Mittwoch den

Aufgaben und Lösungen zum Vorkurs Mathematik: Beweismethoden Für Mittwoch den Fachbereich Mathematik Aufgaben und Lösungen zum Vorkurs Mathematik: Beweismethoden Für Mittwoch den 8.9.011 Vorkurs Mathematik WS 011/1 Die mit * gekennzeichneten Aufgaben sind etwas schwerer. Dort braucht

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

Mathematik für Ökonomen 1

Mathematik für Ökonomen 1 Mathematik für Ökonomen 1 Dr. Thomas Zehrt Wirtschaftswissenschaftliches Zentrum Universität Basel Herbstemester 2008 Mengen, Funktionen und Logik Inhalt: 1. Mengen 2. Funktionen 3. Logik Teil 1 Mengen

Mehr

A N A L Y S I S I F Ü R T P H, U E ( ) 1. Übungstest (FR, ) (mit Lösung )

A N A L Y S I S I F Ü R T P H, U E ( ) 1. Übungstest (FR, ) (mit Lösung ) Institut für Analysis und Scientific Computing TU Wien W. Auzinger WS 05/6 A N A L Y S I S I F Ü R T P H, U E (03.088). Übungstest (FR, 6..05) (mit Lösung ) Aufgabe. a ) Wandeln Sie die periodische Dezimalzahl

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

11 Logarithmus und allgemeine Potenzen

11 Logarithmus und allgemeine Potenzen Logarithmus und allgemeine Potenzen Bevor wir uns mit den Eigenschaften von Umkehrfunktionen, und insbesondere mit der Umkehrfunktion der Eponentialfunktion ep : R R + beschäftigen, erinnern wir an den

Mehr

Fachwissenschaftliche Grundlagen

Fachwissenschaftliche Grundlagen Fachwissenschaftliche Grundlagen Vorlesung im Wintersemester 2011/2012, Universität Landau Roland Gunesch 8. Vorlesung Roland Gunesch (Mathematik) Fachwissenschaftliche Grundlagen 8. Vorlesung 1 / 25 Themen

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

Abbildungseigenschaften

Abbildungseigenschaften Abbildungseigenschaften.5. Injektivität Injektivität (injektiv, linkseindeutig) ist eine Eigenschaft einer mathematischen Funktion. Sie bedeutet, dass jedes Element der Zielmenge höchstens einmal als Funktionswert

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

TECHNISCHE UNIVERSITÄT MÜNCHEN

TECHNISCHE UNIVERSITÄT MÜNCHEN TECHNISCHE UNIVERSITÄT MÜNCHEN Zentrum Mathematik PROF. DR.DR. JÜRGEN RICHTER-GEBERT, VANESSA KRUMMECK, MICHAEL PRÄHOFER Aufgabe 45. Polynome sind stets stetig. Höhere Mathematik für Informatiker II (Sommersemester

Mehr

Einführung in die Mathematik (Vorkurs 1 )

Einführung in die Mathematik (Vorkurs 1 ) Einführung in die Mathematik (Vorkurs 1 ) Wintersemester 2008/09 Dr. J. Jordan Institut für Mathematik Universität Würzburg Germany 1 Modulbezeichnung 10-M-VKM 1 Inhaltsverzeichnis 1 Aussagen und Beweise

Mehr

17 Logarithmus und allgemeine Potenz

17 Logarithmus und allgemeine Potenz 7 Logarithmus und allgemeine Potenz 7. Der natürliche Logarithmus 7.3 Die allgemeine Potenz 7.4 Die Exponentialfunktion zur Basis a 7.5 Die Potenzfunktion zum Exponenten b 7.6 Die Logarithmusfunktion zur

Mehr

Grundbegriffe der Informatik Musterlösung zu Aufgabenblatt 1

Grundbegriffe der Informatik Musterlösung zu Aufgabenblatt 1 Grundbegriffe der Informatik Musterlösung zu Aufgabenblatt 1 Aufgabe 1.1 (2+2+2 Punkte) a) Stellen Sie folgende Formel mit möglichst wenig Aussagevariablen dar und überprüfen Sie Ihr Ergebnis anhand einer

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

1 Algebraische Grundbegriffe

1 Algebraische Grundbegriffe 1 Algebraische Grundbegriffe Eine Algebra besteht aus einer Trägermenge S sowie eineroder mehreren Operationen. Eine Operation ist dabei eine k-stellige Abbildung, d.h. es gilt für eine Operation f f S

Mehr

Aufgaben und Lösungen zum Vorkurs Mathematik: Beweismethoden Für Donnerstag den x > 1 3x > 3 3x + 3 > 6 6x + 3 > 3x + 6.

Aufgaben und Lösungen zum Vorkurs Mathematik: Beweismethoden Für Donnerstag den x > 1 3x > 3 3x + 3 > 6 6x + 3 > 3x + 6. Fachbereich Mathematik Aufgaben und Lösungen zum Vorkurs Mathematik: Beweismethoden Für Donnerstag den 7.9.01 Vorkurs Mathematik WS 01/13 Die mit * gekennzeichneten Aufgaben sind etwas schwerer. Dort braucht

Mehr

Mathematische Grundlagen der Ökonomie Übungsblatt 8

Mathematische Grundlagen der Ökonomie Übungsblatt 8 Mathematische Grundlagen der Ökonomie Übungsblatt 8 Abgabe Donnerstag 7. Dezember, 0:5 in H 5+7+8 = 20 Punkte Mit Lösungshinweisen zu einigen Aufgaben 29. Das Bisektionsverfahren sucht eine Nullstelle

Mehr

Mathematik und Logik

Mathematik und Logik Mathematik und Logik 5. Übungsaufgaben 2006-11-21 1. Beweisen Sie, daß die Aussage allgemeingültig ist. A = A Beweis. Dies ist ein Spezialfall von (((A = B) = B) = B) = (A = B), was wir wie folgt beweisen.

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

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

Repetitorium Mathe 1

Repetitorium Mathe 1 Übungsaufgaben Skript Repetitorium Mathe 1 WS 2014/15 25./26.01. und 31.01./01.02.2015 Inhaltsverzeichnis 1 Bruchrechnung 2 2 Zahlsysteme 2 3 Arithmetisches und geometrisches Mittel 2 4 Wachstum 2 5 Lineare

Mehr

Vorlesung. Vollständige Induktion 1

Vorlesung. Vollständige Induktion 1 WS 015/16 Vorlesung Vollständige Induktion 1 1 Einführung Bei der vollständigen Induktion handelt es sich um ein wichtiges mathematisches Beweisverfahren, mit dem man Aussagen, die für alle natürlichen

Mehr

I. II. I. II. III. IV. I. II. III. I. II. III. IV. I. II. III. IV. V. I. II. III. IV. V. VI. I. II. I. II. III. I. II. I. II. I. II. I. II. III. I. II. III. IV. V. VI. VII. VIII.

Mehr

13. Übungsblatt zur Mathematik I für Maschinenbau

13. Übungsblatt zur Mathematik I für Maschinenbau Fachbereich Mathematik Prof. Dr. M. Joswig Dr. habil. Sören Kraußhar Dipl.-Math. Katja Kulas 3. Übungsblatt zur Mathematik I für Maschinenbau Gruppenübung WS 00/ 07.0.-.0. Aufgabe G Stetigkeit) a) Gegeben

Mehr

Lineare Algebra I. Auswahlaxiom befragen. (Wer schon im Internet danach sucht, sollte das auch mal mit dem Begriff

Lineare Algebra I. Auswahlaxiom befragen. (Wer schon im Internet danach sucht, sollte das auch mal mit dem Begriff Universität Konstanz Wintersemester 2009/2010 Fachbereich Mathematik und Statistik Lösungsblatt 2 Prof. Dr. Markus Schweighofer 11.11.2009 Aaron Kunert / Sven Wagner Lineare Algebra I Lösung 2.1: Behauptung:

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

Vertiefungskurs Mathematik

Vertiefungskurs Mathematik Vertiefungskurs Mathematik Anforderungen für das Universitäts-Zertifikat im Schuljahr 01/13 Grundvoraussetzung: Teilnahme am Vertiefungskurs Mathematik in Klasse 11. Inhaltliche Voraussetzungen: Aussagenlogik

Mehr

1.3 Abbildungen. Definition : Abbildung, Definitionsbereich, Zielbereich, Bildmenge

1.3 Abbildungen. Definition : Abbildung, Definitionsbereich, Zielbereich, Bildmenge Abbildungen Grundlagen der Mathematik Abbildungen Deinition : Abbildung, Deinitionsbereich, Zielbereich, Bildmenge Eine Abbildung : D Z ordnet jedem Element D eindeutig ein Z zu D heißt Deinitionsbereich

Mehr

5.1 Drei wichtige Beweistechniken... 55 5.2 Erklärungen zu den Beweistechniken... 56

5.1 Drei wichtige Beweistechniken... 55 5.2 Erklärungen zu den Beweistechniken... 56 5 Beweistechniken Übersicht 5.1 Drei wichtige Beweistechniken................................. 55 5. Erklärungen zu den Beweistechniken............................ 56 Dieses Kapitel ist den drei wichtigsten

Mehr

Musterlösung zu Blatt 11, Aufgabe 1

Musterlösung zu Blatt 11, Aufgabe 1 Musterlösung zu Blatt 11, Aufgabe 1 I Aufgabenstellung Es sei I =[a, b] ein kompaktes Intervall. (a) Zeigen Sie, daß eine stetige Funktion f : I R genau dann injektiv ist, wenn sie strikt monoton ist.

Mehr

Theoretische Informatik

Theoretische Informatik Theoretische Informatik Einheit 1 Mathematische Methodik 1. Problemlösen 2. Beweistechniken 3. Wichtige Grundbegriffe Methodik des Problemlösens Klärung der Voraussetzungen Welche Begriffe sind zum Verständnis

Mehr

Algorithmen und Datenstrukturen

Algorithmen und Datenstrukturen Algorithmen und Datenstrukturen Große Übung #2 Phillip Keldenich, Arne Schmidt 10.11.2016 Organisatorisches Fragen? Checkliste: Anmeldung kleine Übungen Anmeldung Mailingliste Dies ersetzt nicht die Prüfungsanmeldung!

Mehr

Mengenlehre gibt es seit den achtziger Jahren des 19. Jahrhunderts. Sie wurde von

Mengenlehre gibt es seit den achtziger Jahren des 19. Jahrhunderts. Sie wurde von Grundbegriffe der Mengenlehre 2 Mengenlehre gibt es seit den achtziger Jahren des 19. Jahrhunderts. Sie wurde von Georg Cantor begründet. Der Begriffsapparat der Mengenlehre hat sich als so nützlich für

Mehr

TU8 Beweismethoden. Daniela Andrade

TU8 Beweismethoden. Daniela Andrade TU8 Beweismethoden Daniela Andrade [email protected] 12.12.2016 1 / 21 Kleine Anmerkung Meine Folien basieren auf den DS Trainer von Carlos Camino, den ihr auf www.carlos-camino.de/ds findet ;) 2

Mehr

Logik (Teschl/Teschl 1.1 und 1.3)

Logik (Teschl/Teschl 1.1 und 1.3) Logik (Teschl/Teschl 1.1 und 1.3) Eine Aussage ist ein Satz, von dem man eindeutig entscheiden kann, ob er wahr (true, = 1) oder falsch (false, = 0) ist. Beispiele a: 1 + 1 = 2 b: Darmstadt liegt in Bayern.

Mehr

Grundlagen der Mathematik

Grundlagen der Mathematik Grundlagen der Mathematik Übungsaufgaben zu Kapitel 1 Einführung 1.1.1 Für reelle Zahlen a und b gilt (a+b) (a-b) = a 2 -b 2. Was ist die Voraussetzung? Wie lautet die Behauptung? Beweisen Sie die Behauptung.

Mehr

Ersetzbarkeitstheorem

Ersetzbarkeitstheorem Ersetzbarkeitstheorem Die Abgeschlossenheit läßt sich auch folgendermaßen formulieren: Ersetzbarkeitstheorem Seien F und G Formeln mit F G. SeienH und H Formeln, so daß H aus H hervorgeht, indem ein Vorkommen

Mehr

Logik und Beweise. Logik und Beweise. Vorsemesterkurs SoSe März 2016

Logik und Beweise. Logik und Beweise. Vorsemesterkurs SoSe März 2016 Logik und Beweise Logik und Beweise Vorsemesterkurs SoSe16 Ronja Düffel 21. März 2016 Logik und Beweise Wozu Beweise in der Informatik?... um Aussagen wie 1 Das Programm erfüllt die gewünschte Aufgabe.

Mehr

Brückenkurs Mathematik. Dienstag Freitag

Brückenkurs Mathematik. Dienstag Freitag Brückenkurs Mathematik Dienstag 29.09. - Freitag 9.10.2015 Vorlesung 2 Mengen, Zahlen, Logik Kai Rothe Technische Universität Hamburg-Harburg Mittwoch 30.09.2015 Mengen.................................

Mehr

Fachwissenschaftliche Grundlagen

Fachwissenschaftliche Grundlagen Fachwissenschaftliche Grundlagen Vorlesung im Wintersemester 2011/2012, Universität Landau Roland Gunesch 9. Vorlesung Roland Gunesch (Mathematik) Fachwissenschaftliche Grundlagen 9. Vorlesung 1 / 17 Themen

Mehr

Logik, Mengen und Abbildungen

Logik, Mengen und Abbildungen Kapitel 1 Logik, Mengen und bbildungen Josef Leydold Mathematik für VW WS 2016/17 1 Logik, Mengen und bbildungen 1 / 26 ussage Um Mathematik betreiben zu können, sind ein paar Grundkenntnisse der mathematischen

Mehr

Technische Universität München Zentrum Mathematik Mathematik 1 (Elektrotechnik) Übungsblatt 1

Technische Universität München Zentrum Mathematik Mathematik 1 (Elektrotechnik) Übungsblatt 1 Technische Universität München Zentrum Mathematik Mathematik 1 (Elektrotechnik) Prof. Dr. Anusch Taraz Dr. Michael Ritter Übungsblatt 1 Hausaufgaben Aufgabe 1.1 Zeigen Sie mit vollständiger Induktion:

Mehr

Aufgaben und Lösungen Ausarbeitung der Übungsstunde zur Vorlesung Analysis I

Aufgaben und Lösungen Ausarbeitung der Übungsstunde zur Vorlesung Analysis I Aufgaben und Lösungen Ausarbeitung der Übungsstunde zur Vorlesung Analysis I Wintersemester 2008/2009 Übung 11 Einleitung Es wird eine 15-minütige Mikroklausur geschrieben. i) Sei D R oderd C. Wann heißt

Mehr

Handout zu Beweistechniken

Handout zu Beweistechniken Handout zu Beweistechniken erstellt vom Lernzentrum Informatik auf Basis von [Kre13],[Bün] Inhaltsverzeichnis 1 Was ist ein Beweis? 2 2 Was ist Vorraussetzung, was ist Behauptung? 2 3 Beweisarten 3 3.1

Mehr

ANALYSIS I FÜR TPH WS 2016/17 1. Übung Übersicht

ANALYSIS I FÜR TPH WS 2016/17 1. Übung Übersicht . Übung Übersicht Aufgaben zu Kapitel und 2 Aufgabe : Drei klassische Ungleichungen Aufgabe 2: ) Beweis einer Summenformel Induktion) Aufgabe : ) Teleskopsummen Aufgabe 4: Noch etwas Formelmanipulation

Mehr

Kapitel III. Stetige Funktionen. 14 Stetigkeit und Rechenregeln für stetige Funktionen. 15 Hauptsätze über stetige Funktionen

Kapitel III. Stetige Funktionen. 14 Stetigkeit und Rechenregeln für stetige Funktionen. 15 Hauptsätze über stetige Funktionen Kapitel III Stetige Funktionen 14 Stetigkeit und Rechenregeln für stetige Funktionen 15 Hauptsätze über stetige Funktionen 16 Konvergenz von Funktionen 17 Logarithmus und allgemeine Potenz C 1 14 Stetigkeit

Mehr

Aussagenlogik-Boolesche Algebra

Aussagenlogik-Boolesche Algebra Aussagenlogik-Boolesche Algebra 1 Aussagen In der Mathematik und in der Logik werden Sätze der Umgangssprache nur unter bestimmten Bedingungen Aussagen genannt. Sätze nennt man Aussagen, wenn sie etwas

Mehr

1. Gruppen. 1. Gruppen 7

1. Gruppen. 1. Gruppen 7 1. Gruppen 7 1. Gruppen Wie schon in der Einleitung erläutert wollen wir uns in dieser Vorlesung mit Mengen beschäftigen, auf denen algebraische Verknüpfungen mit gewissen Eigenschaften definiert sind.

Mehr

Lineare Abbildungen und Darstellungsmatrizen

Lineare Abbildungen und Darstellungsmatrizen KAPITEL 4 Lineare Abbildungen und Darstellungsmatrizen 1. Lineare Abbildungen Definition 4.1 (Lineare Abbildungen). Seien V und W zwei Vektorräume über den selben Körper K. Eine Abbildung f : V W heißt

Mehr

Folgen und endliche Summen

Folgen und endliche Summen Kapitel 2 Folgen und endliche Summen Folgen und ihre Eigenschaften Endliche arithmetische und geometrische Folgen und Reihen Vollständige Induktion Anwendungen Folgen/endliche Summen Eigenschaften Folgen

Mehr

1 Das Prinzip der vollständigen Induktion

1 Das Prinzip der vollständigen Induktion 1 1 Das Prinzip der vollständigen Induktion 1.1 Etwas Logik Wir nennen eine Formel oder einen Satz der Alltagssprache eine Aussage, wenn sie wahr oder falsch sein kann. Die Formeln 2 = 3, 2 4, 5 5 sind

Mehr

Weitere Beweistechniken und aussagenlogische Modellierung

Weitere Beweistechniken und aussagenlogische Modellierung Weitere Beweistechniken und aussagenlogische Modellierung Vorlesung Logik in der Informatik, HU Berlin 2. Übungsstunde Aussagenlogische Modellierung Die Mensa versucht ständig, ihr Angebot an die Wünsche

Mehr

Kurze Wiederholung: [Relationen und Abbildungen]

Kurze Wiederholung: [Relationen und Abbildungen] SS 2012, Lineare Algebra 1 Lösungen zum 1. Aufgabenblatt Die Lösungen wurden erstellt von: Isabel Voigt und Matthias Rehder Hinweis: Eine Liste der zur Bearbeitung verwendeten Literatur ist unter www.mathematiwelt.com

Mehr

Universität Basel Wirtschaftswissenschaftliches Zentrum. Kombinatorik. Dr. Thomas Zehrt. Inhalt: 1. Endliche Mengen 2. Einfache Urnenexperimente

Universität Basel Wirtschaftswissenschaftliches Zentrum. Kombinatorik. Dr. Thomas Zehrt. Inhalt: 1. Endliche Mengen 2. Einfache Urnenexperimente Universität Basel Wirtschaftswissenschaftliches Zentrum Kombinatorik Dr. Thomas Zehrt Inhalt: 1. Endliche Mengen 2. Einfache Urnenexperimente 2 Teil 1 Endliche Mengen Eine endliche Menge M ist eine Menge,

Mehr

Also kann nur A ist roter Südler und B ist grüner Nordler gelten.

Also kann nur A ist roter Südler und B ist grüner Nordler gelten. Aufgabe 1.1: (4 Punkte) Der Planet Og wird von zwei verschiedenen Rassen bewohnt - dem grünen und dem roten Volk. Desweiteren sind die Leute, die auf der nördlichen Halbkugel geboren wurden von denen auf

Mehr

Kapitel IV. Endliche, abzählbare und überabzählbare Mengen. IV.1 Abzählbare Mengen

Kapitel IV. Endliche, abzählbare und überabzählbare Mengen. IV.1 Abzählbare Mengen Kapitel IV Endliche, abzählbare und überabzählbare Mengen Wir haben schon einige Mengen in den Kapiteln I und II kennengelernt, etwa die Zahlenmengen N, Z, Q und R. Jede dieser Zahlenmengen enthält unendlich

Mehr

1 Übungen zu Mengen. Aufgaben zum Vorkurs B S. 1. Aufgabe 1: Geben Sie folgende Mengen durch Aufzählen ihrer Elemente an:

1 Übungen zu Mengen. Aufgaben zum Vorkurs B S. 1. Aufgabe 1: Geben Sie folgende Mengen durch Aufzählen ihrer Elemente an: Aufgaben zum Vorkurs B S. 1 1 Übungen zu Mengen Geben Sie folgende Mengen durch Aufzählen ihrer Elemente an: A = {x N 0 < x < 4, 8} B = {t N t ist Teiler von 4} C = {z Z z ist positiv, durch 3 teilbar

Mehr

Reihen/Partialsummenfolgen und vollständige Induktion. Robert Klinzmann

Reihen/Partialsummenfolgen und vollständige Induktion. Robert Klinzmann Reihen/Partialsummenfolgen und vollständige Induktion Robert Klinzmann 3. Mai 00 Reihen / Partialsummen 1 Inhaltsverzeichnis 1 Vorwort Das Prinzip der vollständigen Induktion 3 3 Herleitung der Gauß schen

Mehr

Die Dimension eines Vektorraumes

Die Dimension eines Vektorraumes Die Dimension eines Vektorraumes Ist (b 1, b 2,..., b n ) eine Basis des Vektorraums V, so heißt n die Dimension von V. Die Möglichkeit dieser Definition beruht auf dem folgenden nichttrivialen Satz. Je

Mehr

Schnupperkurs: Ausgewählte Methoden zur Aufgabenlösung

Schnupperkurs: Ausgewählte Methoden zur Aufgabenlösung Mathematisches Institut II.06.004 Universität Karlsruhe Priv.-Doz. Dr. N. Grinberg SS 05 Schnupperkurs: Ausgewählte Methoden zur Aufgabenlösung Vorlesung 3: Elementare Beweismethoden: Direkter Beweis,

Mehr

3 Die natürlichen, die ganzen und die rationalen

3 Die natürlichen, die ganzen und die rationalen 3 Die natürlichen, die ganzen und die rationalen Zahlen 3.2 Die Menge N der natürlichen Zahlen 3.3 Induktionsprinzip 3.5 N ist abgeschlossen bzgl. Addition und Multiplikation 3.6 N ist wohlgeordnet 3.7

Mehr

Stetige Funktionen. Definition. Seien (X, d) und (Y, ϱ) metrische Räume und f : X Y eine Abbildung. D(f) X sei der Definitionsbereich von f.

Stetige Funktionen. Definition. Seien (X, d) und (Y, ϱ) metrische Räume und f : X Y eine Abbildung. D(f) X sei der Definitionsbereich von f. Stetige Funktionen Abbildungen f : X Y, wobei X und Y strukturierte Mengen sind (wie z.b. Vektorräume oder metrische Räume), spielen eine zentrale Rolle in der Mathematik. In der Analysis sind Abbildungen

Mehr

Topologische Räume und stetige Abbildungen Teil 2

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

Mehr

Mathematik 1 für Informatiker und Wirtschaftsinformatiker Wintersemester 07/08 (Winkler) Musterprüfung mit Lösungen

Mathematik 1 für Informatiker und Wirtschaftsinformatiker Wintersemester 07/08 (Winkler) Musterprüfung mit Lösungen Mathematik für Informatiker und Wirtschaftsinformatiker Wintersemester 07/08 (Winkler Musterprüfung mit Lösungen. Sei T N. (a Unter welchen beiden Voraussetzungen an T garantiert das Induktionsaxiom (nach

Mehr

Stetigkeit. Kapitel 4. Stetigkeit. Peter Becker (H-BRS) Analysis Sommersemester / 543

Stetigkeit. Kapitel 4. Stetigkeit. Peter Becker (H-BRS) Analysis Sommersemester / 543 Kapitel 4 Stetigkeit Peter Becker (H-BRS) Analysis Sommersemester 2016 254 / 543 Inhalt Inhalt 4 Stetigkeit Eigenschaften stetiger Funktionen Funktionenfolgen und gleichmäßige Konvergenz Umkehrfunktionen

Mehr

1 Aussagenlogik und Mengenlehre

1 Aussagenlogik und Mengenlehre 1 Aussagenlogik und engenlehre 1.1 engenlehre Definition (Georg Cantor): nter einer enge verstehen wir jede Zusammenfassung von bestimmten wohl unterschiedenen Objekten (m) unserer Anschauung oder unseres

Mehr

Elementare Mengenlehre

Elementare Mengenlehre Vorkurs Mathematik, PD Dr. K. Halupczok WWU Münster Fachbereich Mathematik und Informatik 5.9.2013 Ÿ2 Elementare Mengenlehre Der grundlegendste Begri, mit dem Objekte und Strukturen der Mathematik (Zahlen,

Mehr

2. Vorlesung. Die Theorie der schwarz-weissen Ketten.

2. Vorlesung. Die Theorie der schwarz-weissen Ketten. 2. Vorlesung. Die Theorie der schwarz-weissen Ketten. Die Theorie der schwarzen Steinchen haben wir jetzt halbwegs vertanden. Statt mit schwarzen Steinen wie die Griechen, wollen wir jetzt mit schwarzen

Mehr

Aussagenlogik. Aussagen und Aussagenverknüpfungen

Aussagenlogik. Aussagen und Aussagenverknüpfungen Aussagenlogik Aussagen und Aussagenverknüpfungen Aussagen sind Sätze, von denen sich sinnvollerweise sagen läßt, sie seien wahr oder falsch. Jede Aussage besitzt also einen von zwei möglichen Wahrheitswerten,

Mehr