Relationen und Funktionen
|
|
- Gitta Lorenz
- vor 6 Jahren
- Abrufe
Transkript
1 Relationen und Funktionen Relationen und Funktionen Vorkurs Informatik Theoretischer Teil WS 2013/14 2. Oktober 2013 Vorkurs Informatik WS 2013/14 1/27
2 Relationen und Funktionen > Relationen Relationen Vorkurs Informatik WS 2013/14 2/27
3 Relationen und Funktionen > Relationen Einführung (1/2) Wozu überhaupt Relationen? Beziehungen zwischen den Elementen von Mengen darstellen Datenbanken Prädikatenlogik Beispiele: 5 ist kleiner oder gleich 6, kurz: 5 6 (Robert-Mayer-Straße, 11, 60325, Frankfurt am Main) als Ergebnis einer Datenbank-Abfrage Vorkurs Informatik WS 2013/14 3/27
4 Relationen und Funktionen > Relationen Einführung (2/2) Nach unserer Definition von Mengen gilt {Suppe, Pizza, Eis} = {Eis, Suppe, Pizza} = {Suppe, Pizza, Eis, Eis}. Wir können also mit Mengen nicht unterscheiden, in welcher Reihenfolge die Speisen verzehrt werden. Ebenso wenig können wir ausdrücken, dass es zweimal Eis geben soll. Dafür brauchen wir einen neuen Datentyp. Vorkurs Informatik WS 2013/14 4/27
5 Relationen und Funktionen > Relationen Tupel (1/2) Definition (Tupel) Seien m, n N. 1 Für n Objekte a 1,..., a n bezeichnet (a 1,..., a n ) das Tupel mit Komponenten a 1, a 2,..., a n. 2 a i ist die i-te Komponente und die Zahl n heißt Länge des Tupels. 3 Tupel der Länge 2 nennen wir auch geordnete Paare, Tupel der Länge 3 Tripel, Tupel der Länge n kurz n-tupel. 4 Zwei Tupel (a 1,..., a n ) und (b 1,..., b m ) sind gleich, falls m = n ist und für alle i {1,..., n} gilt: a i = b i. Vorkurs Informatik WS 2013/14 5/27
6 Relationen und Funktionen > Relationen Tupel (2/2) Beispiele: Das leere Tupel () hat die Länge 0. Es ist (1, 2) (1, 2, 1) (1, 2, 2), aber {1, 2, 1} = {1, 2, 2} = {1, 2}. (Anna, Peter) ist ein geordnetes Paar, {Anna, Peter} ist eine zweielementige Menge, manchmal auch Paar genannt. Es gilt (a 1, a 2,..., a n ) {a 1, a 2,..., a n } für beliebige Objekte a 1, a 2,..., a n. Vorkurs Informatik WS 2013/14 6/27
7 Relationen und Funktionen > Relationen Kartesisches Produkt (1/4) Definition (Kartesisches Produkt) Sei n N und seien M 1,..., M n Mengen. Das kartesische Produkt von M 1,..., M n ist die Menge M 1... M n := {(a 1,..., a n ) a 1 M 1, a 2 M 2,..., a n M n }. Falls M := M 1 = M 2 =... = M n, so schreiben wir M n anstelle von M 1 M 2... M n. Das kartesische Produkt enthält alle n-tupel, bei denen die erste Komponente aus M 1 ist, die zweite aus M 2 usw. Vorkurs Informatik WS 2013/14 7/27
8 Relationen und Funktionen > Relationen Kartesisches Produkt (2/4) Beispiele: Das kartesische Produkt der Menge W aller weiblichen und der Menge M aller männlichen Besucher eines Tanzkurses ist W M, die Menge aller Tanzpaare der Form (Frau, Mann). Die Menge aller Uhrzeiten im Format SS:MM ist {00, 01,..., 23} {00, 01,..., 59}. Die Menge aller dreigängigen Menüs, die eine Speisekarte bietet, ist V H N, wobei V die Menge aller Vorspeisen, H die Menge aller Hauptspeisen, N die Menge aller Nachspeisen ist. Die reelle Zahlenebene ist R 2 = R R. Vorkurs Informatik WS 2013/14 8/27
9 Relationen und Funktionen > Relationen Kartesisches Produkt (3/4) Übung: Wie lauten die folgenden kartesischen Produkte in expliziter Schreibweise und ihre Mächtigkeiten? {0, 1} {0, 1} M 0 und M 1 für eine beliebige Menge M M für eine beliebige Menge M {rot, gelb, grün} {Ball, Kleid, Auto} Wie lässt sich die Menge aller Spielkarten eines Skatblatts als kartesisches Produkt zweier Mengen auffassen? Welche Mächtigkeiten haben diese? Vorkurs Informatik WS 2013/14 9/27
10 Relationen und Funktionen > Relationen Kartesisches Produkt (4/4) Satz Sei n N und seien M 1, M 2,..., M n Mengen. Dann gilt M 1 M 2... M n = M 1 M 2... M n. Beweis: durch Induktion nach n (später mehr dazu). Vorkurs Informatik WS 2013/14 10/27
11 Relationen und Funktionen > Relationen Relation (1/2) Definition (Relation) Sei n N und seien M 1, M 2,..., M n Mengen. Eine Teilmenge R des kartesischen Produkts M 1 M 2... M n heißt Relation von M 1, M 2,..., M n mit Stelligkeit n. Nach der obigen Definition ist jedes kartesische Produkt M 1 M 2... M n selbst eine (n-stellige) Relation von M 1, M 2,..., M n. Vorkurs Informatik WS 2013/14 11/27
12 Relationen und Funktionen > Relationen Relation (2/2) Beispiele: Sei M das deutsche Alphabet, als Menge aufgefasst. Wenn wir jedes Wort als Tupel seiner Buchstaben interpretieren, ist die Menge aller dreibuchstabigen deutschen Wörter eine Relation von M, M, M. Für die zuvor definierte Menge W M aller denkbaren Tanzpaare ist die Menge aller tatsächlich gebildeten Tanzpaare für den Abschlussball eine Relation von W und M. Die Menge aller bereits bestellten dreigängigen Menüs ist eine Relation der zuvor definierten Mengen V, H und N. Die Menge {(x, y) x = y }, bei deren Elementen die erste Komponente der Betrag der zweiten ist, stellt eine Relation von R und R dar. Vorkurs Informatik WS 2013/14 12/27
13 Funktionen Vorkurs Informatik WS 2013/14 13/27
14 Funktion (1/5) Was wir aus der Schule kennen: f (x) = x 2 g(x) = sin(x) h(x) = e x... Vielleicht auch schon sowas: def verdoppeln(x): y = 2*x return y Vorkurs Informatik WS 2013/14 14/27
15 Funktion (2/5) Funktionen sind spezielle Relationen: Eine Funktion ist eine Relation von zwei Mengen, bei der jedes Element der ersten Menge in genau einem Tupel der Relation als erste Komponente auftritt. Das heißt: Zu jedem Element der ersten Menge gibt es genau ein zugehöriges in der zweiten Menge. Vorkurs Informatik WS 2013/14 15/27
16 Funktion (3/5) Definition Seien X und Y Mengen. (a) Eine Relation f X Y, bei der es zu jedem x X genau ein y Y mit (x, y) f gibt, nennen wir Funktion von X nach Y (in Zeichen: f : X Y ). Die Menge X heißt Definitionsbereich von f und die Menge Y Bildbereich von f. (b) Sei f eine Funktion von X nach Y. Für jedes x X bezeichnen wir mit f (x) das eindeutige y Y, für das (x, y) f gilt. Wir nennen f (x) auch den Funktionswert von x. (c) Sei f eine Funktion von X nach Y. Wir nennen die Menge f (X ) := {y Y Es gibt ein x X mit f (x) = y} das Bild von f. Vorkurs Informatik WS 2013/14 16/27
17 Funktion (4/5) Übung: Bei welchen der folgenden Relationen handelt es sich um Funktionen? Versuche, für jede Funktion auch ihr Bild anzugeben. 1 Die geordneten Paare der Form (Personalausweisnummer, Einwohner Deutschlands über 16) als Teilmenge des kartesischen Produkts von N mit den Einwohnern Deutschlands 2 Die geordneten Paare der Form (Adresse, Einwohner Deutschlands) als Teilmenge des kartesischen Produkts der Menge aller Adressen in Deutschland und der Einwohner Deutschlands 3 Die Menge aller tatsächlich gebildeten Tanzpaare der Form (Frau, Mann) als Teilmenge des kartesischen Produkts der weiblichen und der männlichen Tanzkursteilnehmer (vorausgesetzt, jede Frau findet einen Tanzpartner) Vorkurs Informatik WS 2013/14 17/27
18 Funktion (5/5) Übung: Bei welchen der folgenden Relationen handelt es sich um Funktionen? Versuche, für jede Funktion auch ihr Bild anzugeben. 4 {(x, x) R 2 } 5 {(x, y) R 2 y = 5x} 6 {(x, y) R 2 x 2 + y 2 = 1} Vorkurs Informatik WS 2013/14 18/27
19 Notation von Funktionen Notation Die Varianten f 1 = {(0, 0), (1, 2), (2, 4), (4, 8),... } N N f 2 = {(x, y) N 2 y = 2x} f 3 : N N, f 3 (n) := 2n f 4 : N N, f 4 : n 2n beschreiben allesamt dieselbe Funktion von N nach N, die jeder natürlichen Zahl ihr Doppeltes zuweist. Vorkurs Informatik WS 2013/14 19/27
20 Eigenschaften von Funktionen (1/7) Definition (Gleichheit von Funktionen) Seien X und Y Mengen, seien f und g Funktionen mit dem gleichen Definitionsbereich X und dem gleichen Bildbereich Y. Wir bezeichnen f und g als gleich (in Zeichen: f g), wenn für alle x X gilt: f (x) = g(x). Warum müssen wir für beide Funktionen den gleichen Definitionsbereich fordern? Antwort: Weil dies sonst dem Gleichheitsbegriff für Mengen widersprechen würde. Vorkurs Informatik WS 2013/14 20/27
21 Eigenschaften von Funktionen (2/7) Satz Seien f : X f Y f und g : X g Y g Funktionen. Falls X f X g, so sind f und g nicht gleich im Sinne der Definition der Gleichheit von Mengen. Vorkurs Informatik WS 2013/14 21/27
22 Eigenschaften von Funktionen (3/7) Und warum fordern wir auch gleiche Bildbereiche? Antwort: Weil weitere interessante Eigenschaften von Funktionen davon abhängen. Beispiel: f 0 : N N, f 0 (n) := n f 1 : N Z, f 1 (n) := n Beobachtung: Alle Elemente aus N sind Funktionswerte von f 0, aber nicht alle Elemente aus Z sind Funktionswerte von f 1. Zum Beispiel gibt es kein n N, so dass f 1 (n) = 1. Vorkurs Informatik WS 2013/14 22/27
23 Eigenschaften von Funktionen (4/7) Definition Sei f : X Y eine Funktion. (a) Wir bezeichnen f als surjektiv, wenn es für jedes y Y mindestens ein x X mit f (x) = y gibt. (b) Wir bezeichnen f als injektiv, wenn es für jedes y Y höchstens ein x X mit f (x) = y gibt. (c) Wir bezeichnen f als bijektiv, wenn es für jedes y Y genau ein x X mit f (x) = y gibt. Beobachtung: f ist genau dann bijektiv, wenn f injektiv und surjektiv ist. Vorkurs Informatik WS 2013/14 23/27
24 Eigenschaften von Funktionen (5/7) (a) surjektive Funktion (b) injektive Funktion (c) bijektive Funktion Abbildung : Quelle: Analysis: Grundlagen: Funktionen Vorkurs Informatik WS 2013/14 24/27
25 Eigenschaften von Funktionen (6/7) Beispiel: Sind die folgenden Funktionen surjektiv, injektiv, bijektiv? f : R R, f (x) := x g : R R 0, g(x) := x h : R 0 R 0, g(x) := x Beobachtung: g entsteht aus f durch Verkleinerung des Bildbereichs. Jede nicht-surjektive Funktion lässt sich so in eine surjektive verwandeln. Vorkurs Informatik WS 2013/14 25/27
26 Eigenschaften von Funktionen (7/7) Satz Seien X und Y endliche Mengen. Es gilt X = Y genau dann, wenn es eine bijektive Funktion von X nach Y gibt. Vorkurs Informatik WS 2013/14 26/27
27 Fragen? Quelle Bild: fragezeichen.png Vorkurs Informatik WS 2013/14 27/27
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
MehrEinfü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,
MehrMathematik 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
MehrMengen, 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,
MehrMengen 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
MehrMengen und Abbildungen
1 Mengen und bbildungen sind Hilfsmittel ( Sprache ) zur Formulierung von Sachverhalten; naive Vorstellung gemäß Georg Cantor (1845-1918) (Begründer der Mengenlehre). Definition 1.1 Eine Menge M ist eine
MehrKapitel 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
MehrKapitel 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
MehrKapitel 2 MENGENLEHRE
Kapitel 2 MENGENLEHRE In diesem Kapitel geben wir eine kurze Einführung in die Mengenlehre, mit der man die ganze Mathematik begründen kann. Wir werden sehen, daßjedes mathematische Objekt eine Menge ist.
Mehr1 Mengen. 1.1 Elementare Definitionen. Einige mathematische Konzepte
Einige mathematische Konzepte 1 Mengen 1.1 Elementare Definitionen Mengendefinition Die elementarsten mathematischen Objekte sind Mengen. Für unsere Zwecke ausreichend ist die ursprüngliche Mengendefinition
Mehr1.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
MehrVorlesung. 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.
Mehr2 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:
Mehr3 M E N G E N, A L P H A B E T E, A B B I L D U N G E N
3 M E N G E N, A L P H A B E T E, A B B I L D U N G E N Im Kapitel über Signale, Nachrichten,... usw. haben wir auch über Inschriften gesprochen. Ein typisches Beispiel ist der Rosetta-Stein (Abb. 3.1),
MehrMengenlehre 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
MehrDiskrete Strukturen Kapitel 2: Grundlagen (Relationen)
WS 2016/17 Diskrete Strukturen Kapitel 2: Grundlagen (Relationen) Hans-Joachim Bungartz Lehrstuhl für wissenschaftliches Rechnen Fakultät für Informatik Technische Universität München http://www5.in.tum.de/wiki/index.php/diskrete_strukturen_-_winter_16
MehrMathematik-Vorkurs für Informatiker (Wintersemester 2012/13) Übungsblatt 8 (Relationen und Funktionen)
DEPENDABLE SYSTEMS AND SOFTWARE Fachrichtung 6. Informatik Universität des Saarlandes Christian Eisentraut, M.Sc. Julia Krämer Mathematik-Vorkurs für Informatiker (Wintersemester 0/3) Übungsblatt 8 (Relationen
MehrÜ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.
MehrDie Schreibweise x M bedeutet, dass das Objekt x in der Menge M liegt. Ist dies nicht der Fall, dann schreibt man
Die Schreibweise x M bedeutet, dass das Objekt x in der Menge M liegt. Ist dies nicht der Fall, dann schreibt man x / M. Man sagt, M ist Teilmenge von N und schreibt M N, wenn für jedes x M auch x N gilt.
MehrMengen. 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: {
MehrElementare 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,
MehrEinführung in die Theoretische Informatik
Technische Universität München Fakultät für Informatik Prof. Tobias Nipkow, Ph.D. Dr. Werner Meixner, Dr. Alexander Krauss Sommersemester 2 Lösungsblatt 3. April 2 Einführung in die Theoretische Informatik
MehrMathematik für Studierende der Biologie und des Lehramtes Chemie Wintersemester 2013/14. Auswahl vorausgesetzter Vorkenntnisse
UNIVERSITÄT DES SAARLANDES FACHRICHTUNG 6.1 MATHEMATIK Dipl.-Math. Kevin Everard Mathematik für Studierende der Biologie und des Lehramtes Chemie Wintersemester 2013/14 Auswahl vorausgesetzter Vorkenntnisse
MehrMathematische Grundlagen der Computerlinguistik Relationen und Funktionen
Mathematische Grundlagen der Computerlinguistik Relationen und Funktionen Dozentin: Wiebke Petersen 2. Foliensatz Wiebke Petersen math. Grundlagen 25 n-tupel und Cartesisches Produkt Mengen sind ungeordnet,
MehrTheoretische Informatik
Theoretische Informatik für die Studiengänge Ingenieur-Informatik berufsbegleitendes Studium Lehramt Informatik (Sekundar- und Berufsschule) http://theo.cs.uni-magdeburg.de/lehre04s/ Lehrbeauftragter:
Mehrmathematische Grundlagen der Modelltheorie: Mengen, Relationen, Funktionen
Einführung in die Logik - 6 mathematische Grundlagen der Modelltheorie: Mengen, Relationen, Funktionen Modelltheoretische / Denotationelle Semantik der Prdikatenlogik Ein Modell ist ein künstlich geschaffenes
Mehr3. Relationen Erläuterungen und Schreibweisen
3. Relationen Eine Relation ist allgemein eine Beziehung, die zwischen Dingen bestehen kann. Relationen im Sinne der Mathematik sind ausschließlich diejenigen Beziehungen, bei denen stets klar ist, ob
MehrMengenlehre. Jörg Witte
Mengenlehre Jörg Witte 25.10.2007 1 Grbegriffe Die Menegenlehre ist heute für die Mathematik grlegend. Sie spielt aber auch in der Informatik eine entscheidende Rolle. Insbesondere fußt die Theorie der
MehrVorkurs 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
MehrNatü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!)
Mehr2. 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
MehrDer Kalkül der Mengen 1 / 58
Der Kalkül der Mengen 1 / 58 Präzise beschreiben und argumentieren: Aber wie? In welcher Sprache sollten wir versuchen, komplexe Sachverhalte vollständig und eindeutig zu beschreiben? Natürliche Sprachen
MehrWarum 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
MehrELEMENTARE 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
MehrZahlen und metrische Räume
Zahlen und metrische Räume Natürliche Zahlen : Die natürlichen Zahlen sind die grundlegendste Zahlenmenge, da man diese Menge für das einfache Zählen verwendet. N = {1, 2, 3, 4,...} Ganze Zahlen : Aus
Mehr2. Grundlegende Strukturen 2.1 Wertebereiche beschrieben durch Mengen
2. Grundlegende Strukturen 2.1 Wertebereiche beschrieben durch Mengen In der Modellierung von Systemen, Aufgaben, Lösungen kommen Objekte unterschiedlicher Art und Zusammensetzung vor. Für Teile des Modells
MehrVorlesung. 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.
Mehr2 ZAHLEN UND VARIABLE
Zahlen und Variable 2 ZAHLEN UND VARIABLE 2.1 Grundlagen der Mengenlehre Unter einer Menge versteht man die Zusammenfassung von unterscheidbaren Objekten zu einem Ganzen. Diese Objekte bezeichnet man als
Mehr3. 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.
MehrVorkurs Mathematik Abbildungen
Vorkurs Mathematik Abbildungen Philip Bell 19. September 2016 Diese Arbeit beruht im Wesentlichen auf dem Vortrag Relationen, Partitionen und Abbildungen von Fabian Grünig aus den vorangehenden Jahren.
Mehr4.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
MehrWS 2009/10. Diskrete Strukturen
WS 2009/10 Diskrete Strukturen Prof. Dr. J. Esparza Lehrstuhl für Grundlagen der Softwarezuverlässigkeit und theoretische Informatik Fakultät für Informatik Technische Universität München http://www7.in.tum.de/um/courses/ds/ws0910
Mehr4 Einige Grundstrukturen. Themen: Abbildungen und Relationen Gruppen Die natürlichen Zahlen Körper
4 Einige Grundstrukturen Themen: Abbildungen und Relationen Gruppen Die natürlichen Zahlen Körper Abbildungen Seien X und Y Mengen. Eine (einstellige) Abbildung f : X Y ordnet jedem x X genau ein Element
Mehr2 Modellierung mit Wertebereichen
2 Modellierung mit Wertebereichen Mod-2.1 In der Modellierung von Systemen, Aufgaben, Lösungen kommen Objekte unterschiedlicher Art und Zusammensetzung vor. Für Teile des Modells wird angegeben, aus welchem
Mehr1. 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.
MehrMathematischen Grundlagen und Notationen
Mathematischen Grundlagen und Notationen Susanne Schimpf Juni 008 Es geht in dieser Lerneinheit darum, mathematische Notationen besser zu verstehen und auch selbst korrekt zu benutzen. Außerdem sollen
MehrMengen (siehe Teschl/Teschl 1.2)
Mengen (siehe Teschl/Teschl 1.2) Denition nach Georg Cantor (1895): Eine Menge ist eine Zusammenfassung von bestimmten und wohlunterschiedenen Objekten unserer Anschauung oder unseres Denkens zu einem
MehrFerienkurs Analysis 1 - Wintersemester 2014/15. 1 Aussage, Mengen, Induktion, Quantoren
Ferienkurs Analysis 1 - Wintersemester 2014/15 Können Sie die folgenden Fragen beantworten? Sie sollten es auf jeden Fall versuchen. Dieser Fragenkatalog orientiert sich an den Themen der Vorlesung Analysis
MehrWS 2009/10. Diskrete Strukturen
WS 2009/10 Diskrete Strukturen Prof. Dr. J. Esparza Lehrstuhl für Grundlagen der Softwarezuverlässigkeit und theoretische Informatik Fakultät für Informatik Technische Universität München http://www7.in.tum.de/um/courses/ds/ws0910
Mehrw a is die Anzahl der Vorkommen von a in w Beispiel: abba a = 2
1 2 Notation für Wörter Grundlagen der Theoretischen Informatik Till Mossakowski Fakultät für Informatik Otto-von-Guericke Universität Magdeburg w a is die Anzahl der Vorkommen von a in w Beispiel: abba
MehrTopologische Aspekte: Eine kurze Zusammenfassung
Kapitel 1 Topologische Aspekte: Eine kurze Zusammenfassung Wer das erste Knopfloch verfehlt, kommt mit dem Zuknöpfen nicht zu Rande J. W. Goethe In diesem Kapitel bringen wir die Begriffe Umgebung, Konvergenz,
MehrZahlen und metrische Räume
Zahlen und metrische Räume Natürliche Zahlen : Die natürlichen Zahlen sind die grundlegendste Zahlenmenge, da man diese Menge für das einfache Zählen verwendet. N = {1, 2, 3, 4,...} bzw. N 0 = {0, 1, 2,
MehrEine Menge A ist die Zusammenfassung gleichartiger Elemente zu einer Gesamtheit. Eine Menge kann definiert werden durch
1.2 Mengenlehre Grundlagen der Mathematik 1 1.2 Mengenlehre Definition: Menge, Element, Variablenraum Eine Menge A ist die Zusammenfassung gleichartiger Elemente zu einer Gesamtheit. Eine Menge kann definiert
MehrEinführung in die Mengenlehre
Einführung in die Mengenlehre D (Menge von Georg Cantor 845-98) Eine Menge ist eine Zusammenfassung bestimmter wohlunterschiedener Objekte unseres Denkens oder unserer Anschauung zu einem Ganzen wobei
MehrUniversitä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,
Mehr1.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
MehrIn diesem Kapitel wiederholen wir Begriffe und Notationen für grundlegende mathematische
Kapitel 1 Mathematische Objekte In diesem Kapitel wiederholen wir Begriffe und Notationen für grundlegende mathematische Objekte wie Tupel, Mengen, Relationen und Funktionen. Außerdem erklären wir die
MehrMathematik 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
MehrVorlesung 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
MehrIm 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.
MehrVorbereitungskurs Mathematik zum Sommersemester 2015 Mengen und Relationen
Vorbereitungskurs Mathematik zum Sommersemester 2015 Mengen und Relationen Susanna Pohl Vorkurs Mathematik TU Dortmund 10.03.2015 Mengen und Relationen Mengen Motivation Beschreibung von Mengen Mengenoperationen
MehrSurjektive, 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
MehrAbbildungseigenschaften
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
MehrDie Sprache der Mathematik
Die Sprache der Mathematik Bernhard Ganter Institut für Algebra TU Dresden D-01062 Dresden bernhard.ganter@tu-dresden.de Diese Lehrveranstaltung...... ist Pflicht für alle Studenten der Informatik und
MehrA 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
MehrVorsemesterkurs Informatik
Vorsemesterkurs Informatik Vorsemesterkurs Informatik Mario Holldack WS2015/16 30. September 2015 Vorsemesterkurs Informatik 1 Einleitung 2 Aussagenlogik 3 Mengen Vorsemesterkurs Informatik > Einleitung
MehrEINFÜHRUNG IN DIE THEORETISCHE INFORMATIK 1. ALPHABETE, WÖRTER, SPRACHEN. Prof. Dr. Klaus Ambos-Spies. Sommersemester 2011
EINFÜHRUNG IN DIE THEORETISCHE INFORMATIK Prof. Dr. Klaus Ambos-Spies Sommersemester 2011 1. ALPHABETE, WÖRTER, SPRACHEN Theoretische Informatik (SoSe 2011) 1. Alphabete, Wörter, Sprachen 1 / 25 Vorbemerkung:
MehrDank. Grundlagen der Theoretischen Informatik / Einführung in die Theoretische Informatik I. Probleme über Sprachen. Teil II.
Dank Vorlesung Grundlagen der Theoretischen Informatik / Einführung in die Theoretische Informatik I Bernhard Beckert Diese Vorlesungsmaterialien basieren ganz wesentlich auf den Folien zu den Vorlesungen
MehrKapitel 2 Mathematische Grundlagen
Kapitel 2 Mathematische Grundlagen Ziel: Einführung/Auffrischung einiger mathematischer Grundlagen 2.1 Mengen, Relationen, Ordnungen Definition: Eine Menge ist eine Zusammenfassung von wohlbestimmten und
MehrLineare Abhängigkeit
Lineare Abhängigkeit Vorbemerkung. Es sei X eine Menge. Eine Familie von Elementen von X ist eine Abbildung I X, i x i. I heißt dabei Indexmenge. Man verwendet dabei oft die Schreibweise (x i ) oder (x
MehrPrädikate sind Funktionen. Prädikatenlogik. Quantoren. n stellige Prädikate. n stellige Prädikate:
Aussagenlogik: Aussagen Ausssageformen Prädikatenlogik beschäftigt sich mit Aussagen sind Sätze die entweder wahr oder falsch sind sind Sätze mit Variablen, die beim Ersetzen dieser Variablen durch Elemente
Mehr2. 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
MehrMathematik II für Studierende der Informatik. Wirtschaftsinformatik (Analysis und lineare Algebra) im Sommersemester 2016
und Wirtschaftsinformatik (Analysis und lineare Algebra) im Sommersemester 2016 25. April 2016 Die Dimensionsformel Definition 3.9 Sei f : V W eine lineare Abbildung zwischen zwei K-Vektorräumen. Der Kern
MehrVorkurs Mathematik B
Vorkurs Mathematik B Dr. Thorsten Camps Fakultät für Mathematik TU Dortmund 20. September 2011 Definition (R n ) Wir definieren: 1 Der R 2 sei die Menge aller Punkte in der Ebene. Jeder Punkt wird in ein
MehrWS 2016/17 Torsten Schreiber
104 Diese Fragen sollten Sie ohne Skript beantworten können: Was bedeutet die Rechtseindeutigkeit einer Relation? Was weiß man von einer surjektiven Funktion? Wann ist eine Funktion total / partiell? Welche
MehrLineare 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:
MehrWS 2009/10. Diskrete Strukturen
WS 2009/10 Diskrete Strukturen Prof. Dr. J. Esparza Lehrstuhl für Grundlagen der Softwarezuverlässigkeit und theoretische Informatik Fakultät für Informatik Technische Universität München http://www7.in.tum.de/um/courses/ds/ws0910
MehrDIE SPRACHE DER WAHRSCHEINLICHKEITEN
KAPITEL 1 DIE SPRACHE DER WAHRSCHEINLICHKEITEN Es ist die Aufgabe der ersten drei Kapitel, eine vollständige Beschreibung des grundlegenden Tripels (Ω, A, P) und seiner Eigenschaften zu geben, das heutzutage
MehrEinführung in das mathematische Arbeiten im SS Funktionen. Evelina Erlacher 1 7. März 2007
Workshops zur VO Einführung in das mathematische Arbeiten im SS 007 Inhaltsverzeichnis Funktionen Evelina Erlacher 7. März 007 Der Funktionsbegriff Darstellungsmöglichkeiten von Funktionen 3 Einige Typen
MehrBei der Berechnung von Laplace-Wahrscheinlichkeiten muss man die Mächtigkeit von Ergebnisräumen und Ereignissen bestimmen.
VI. Kombinatorik ================================================================== 6.1 Einführung --------------------------------------------------------------------------------------------------------------
MehrFormale Grundlagen 2008W. Vorlesung im 2008S Institut für Algebra Johannes Kepler Universität Linz
Formale Grundlagen Institut für Algebra Johannes Kepler Universität Linz Vorlesung im 2008S http://www.algebra.uni-linz.ac.at/students/win/fg Inhalt Definition Sei A eine Menge und ɛ A A A eine zweistellige
MehrRelationen und Partitionen
Relationen und Partitionen Ein Vortrag im Rahmen des mathematischen Vorkurses der Fachschaft MathPhys von Fabian Grünig Fragen, Anmerkungen und Korrekturen an fabian@mathphys.fsk.uni-heidelberg.de Inhaltsverzeichnis
MehrGrundlagen 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
MehrMathematik 1 für Wirtschaftsinformatik
Mathematik 1 für Wirtschaftsinformatik Wintersemester 01/13 Hochschule Augsburg Mathematik : Gliederung 7 Folgen und Reihen 8 Finanzmathematik 9 Reelle Funktionen 10 Differenzieren 1 11 Differenzieren
MehrMengenlehre. Yanhai Song. Proseminar Mathematische Modellierung. Fakultät für Informatik Technische Universität München. 12.Juni.
Mengenlehre Yanhai Song songy@in.tum.de Proseminar Mathematische Modellierung Fakultät für Informatik Technische Universität München 12.Juni.2001 Zusammenfassung Die Mengenlehre gehört zu den vier Teilgebieten
MehrMathematik I Herbstsemester 2014
Mathematik I Herbstsemester 2014 www.math.ethz.ch/education/bachelor/lectures/hs2014/other/mathematik1 BIOL Prof. Dr. Erich Walter Farkas http://www.math.ethz.ch/ farkas 1 / 32 1 Stetigkeit Grenzwert einer
Mehr5. Übungsblatt (Musterlösung)
Universität Konstanz Mathematische Grundlagen der Informatik Fachbereich Informatik & Informationswissenschaft WS 2015/2016 Prof. Dr. Sven Kosub / Dominik Bui, Franz Hahn, Fabian Sperrle 5. Übungsblatt
Mehr1.3 Funktionen einer reellen Veränderlichen und ihre Darstellung im x, y - Koordinatensystem
.0.0. Funktionen einer reellen Veränderlichen und ihre Darstellung im, - Koordinatensstem Vereinbarungen Wir betrachten vorerst nur noch Funktionen f, deren Definitionsund Wertebereich jeweils R oder ein
MehrMathematik für Naturwissenschaftler I WS 2009/2010
Mathematik für Naturwissenschaftler I WS 2009/2010 Lektion 8 10. November 2009 Kapitel 2. Konvergenz von Folgen und Reihen Definition 27. Eine (reelle bzw. komplexe) Zahlenfolge ist eine R- bzw. C-wertige
MehrANALYSIS 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
MehrKapitel 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
MehrKapitel 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
MehrRelationales Datenmodell
Relationales Datenmodell Ein Datenmodell hat zwei Bestandteile: Eine mathematische Notation zur Darstellung von Daten und Beziehungen. Operationen auf den Daten, um Abfragen und andere Manipulationen zu
MehrMathematik für Studierende der Biologie und des Lehramtes Chemie Wintersemester 2007/2008. Erforderliche Vorkenntnisse
UNIVERSITÄT DES SAARLANDES FACHRICHTUNG 6.1 MATHEMATIK Dr. Christoph Barbian e Mathematik für Studierende der Biologie und des Lehramtes Chemie Wintersemester 007/008 Erforderliche Vorkenntnisse In der
Mehr4. Induktives Definieren - Themenübersicht
Induktives Definieren 4. Induktives Definieren - Themenübersicht Induktives Definieren Natürliche Zahlen Operationen auf natürlichen Zahlen Induktive Algorithmen Induktiv definierte Mengen Binärbäume Boolesche
Mehr1. Einleitung wichtige Begriffe
1. Einleitung wichtige Begriffe Da sich meine besondere Lernleistung mit dem graziösen Färben (bzw. Nummerieren) von Graphen (speziell von Bäumen), einem Teilgebiet der Graphentheorie, beschäftigt, und
MehrAnalysis I. Vorlesung 4. Angeordnete Körper
Prof. Dr. H. Brenner Osnabrück WS 2013/2014 Analysis I Vorlesung 4 Angeordnete Körper Zwei reelle Zahlen kann man ihrer Größe nach vergleichen, d.h. die eine ist größer als die andere oder es handelt sich
MehrAufgaben 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
MehrGrundbegriffe der Informatik
Grundbegriffe der Informatik Kapitel 4: Wörter Thomas Worsch KIT, Institut für Theoretische Informatik Wintersemester 2015/2016 GBI Grundbegriffe der Informatik KIT, Institut für Theoretische Informatik
Mehr1 Euklidische und unitäre Vektorräume
1 Euklidische und unitäre Vektorräume In diesem Abschnitt betrachten wir reelle und komplexe Vektorräume mit Skalarprodukt. Dieses erlaubt uns die Länge eines Vektors zu definieren und (im Fall eines reellen
Mehr