Lässt es sich mit cremefarbenem Papier, einer Tönung, mehr Kontrast oder größerer Schrift besser lesen? Wählen Sie Ihre Farben und Ihre Schrift, einmalig für alle Seiten.

Kostenlose Lektion

Funktionen: injektiv, surjektiv, bijektiv

Nach dieser Lektion: Ich kann sagen, ob eine Zuordnung eine Abbildung ist und ob sie injektiv, surjektiv oder bijektiv ist.

Lektion, 60 Min.2 BefehleLab für Compilerbau und Rechnerarchitektur: gcc, flex, bison und RISC-V in einer VM

Welcher Kurs findet in welchem Raum statt?

Eine Abbildung, auch Funktion genannt, ordnet jedem Element einer Menge genau ein Element einer anderen Menge zu. Mit den Wörtern injektiv, surjektiv und bijektiv sagen Sie genau, wie gut eine Zuordnung passt.

Ein Beispiel: Ein Raumplan ordnet jedem Kurs einen Raum zu. Zwei Kurse im selben Raum? Ein Raum ohne Kurs? Dafür gibt es klare Begriffe.

Am Ende dieser Lektion

Notiz

Ich kann sagen, ob eine Zuordnung eine Abbildung ist und ob sie injektiv, surjektiv oder bijektiv ist.

Schlüsselwörter

BegriffWas er bedeutet
Abbildungeine Zuordnung, die jedem Eingabewert genau einen Wert gibt
Definitionsmengealle erlaubten Eingabewerte
Wertemengealle Werte, die herauskommen dürfen
Injektivkeine zwei Eingaben haben denselben Wert
Surjektivjeder Wert der Wertemenge kommt vor
Bijektivinjektiv und surjektiv zugleich

Die Zellen, die Lernende ausfüllen, bleiben in dieser Vorschau leer.

Eine Relation ist eine Menge von Paaren

Eine Relation verbindet Elemente zweier Mengen zu Paaren. Die Paare (Python, H1) und (Statistik, H2) sagen, welcher Kurs in welchem Raum liegt.

Eine Relation darf beliebig sein: Ein Kurs kann in keinem, einem oder mehreren Räumen vorkommen. Erst eine Abbildung ist strenger.

Beispiel: ein Raumplan als Paare

Kurs (Eingabe)Raum (Wert)
PythonH1
StatistikH2
DatenbankenH1
NetzeH2

Die Zellen, die Lernende ausfüllen, bleiben in dieser Vorschau leer.

Eine Abbildung gibt jeder Eingabe genau einen Wert

Eine Abbildung ordnet jedem Element der Definitionsmenge genau ein Element der Wertemenge zu. Genau eines heißt: nicht null und nicht zwei.

Im Raumplan sind die Kurse die Definitionsmenge und die Räume H1, H2 und H3 die Wertemenge. Der Plan ist eine Abbildung, denn jeder Kurs hat einen Raum.

Ein Python-Wörterbuch ist eine Abbildung

Befehl
python3 -c "m = {1: 'a', 2: 'b', 3: 'a'}; print(len(m), len(set(m.values())), set(m.values()) == {'a', 'b', 'c'})"

Hier angezeigt, nicht ausgeführt. Erstellen Sie ein kostenloses Konto, um „Ausführen“ zu drücken und ihn im Terminal Ihres eigenen Labs einzugeben.

Injektiv, surjektiv und bijektiv beschreiben die Passung

Eine Abbildung ist injektiv, wenn keine zwei Eingaben denselben Wert haben. Sie ist surjektiv, wenn jeder Wert der Wertemenge mindestens einmal vorkommt.

Ist sie beides, heißt sie bijektiv. Dann gehört zu jedem Wert genau eine Eingabe, und man kann die Zuordnung umdrehen.

Beispiel: vier Zuordnungen im Vergleich

ZuordnungInjektivSurjektivArt
4 Kurse auf H1, H2, H3: H1 zweimal, H3 nieneinneinweder noch
2 Kurse auf H1, H2, H3: verschiedene Räumejaneininjektiv
3 Kurse auf H1 und H2: H1 zweimalneinjasurjektiv
3 Kurse auf H1, H2, H3: jeder Raum einmaljajabijektiv

Die Zellen, die Lernende ausfüllen, bleiben in dieser Vorschau leer.

Drei Kurse, drei Räume, jeder Raum einmal

Befehl
python3 -c "n = {'Anna': 'H1', 'Ben': 'H2', 'Chiara': 'H3'}; print(len(n), len(set(n.values())), set(n.values()) == {'H1', 'H2', 'H3'})"

Hier angezeigt, nicht ausgeführt. Erstellen Sie ein kostenloses Konto, um „Ausführen“ zu drücken und ihn im Terminal Ihres eigenen Labs einzugeben.

Ein häufiger Fehler

Warnung

Viele glauben, eine Abbildung dürfe zwei Eingaben nicht auf denselben Wert legen. Das darf sie. Nur eine injektive Abbildung darf es nicht. Verboten ist bei einer Abbildung etwas anderes: einer Eingabe zwei Werte zu geben oder keinen.

Eine Äquivalenzrelation sortiert in Gruppen

Manche Relationen sortieren Elemente in Gruppen. „Wohnt in derselben Stadt wie“ ist so eine. Sie heißt Äquivalenzrelation, wenn drei Eigenschaften gelten.

Reflexiv: Jedes Element steht in Relation zu sich selbst. Symmetrisch: Gilt A zu B, gilt auch B zu A. Transitiv: Gilt A zu B und B zu C, gilt auch A zu C.

Beispiel: zwei Relationen im Vergleich

Eigenschaftwohnt in derselben Stadt wieist größer als
Reflexivjanein
Symmetrischjanein
Transitivjaja
Äquivalenzrelationjanein

Die Zellen, die Lernende ausfüllen, bleiben in dieser Vorschau leer.

Weiterführend: die Umkehrung

Eine bijektive Abbildung kann man umdrehen: Aus Kurs und Raum wird Raum und Kurs. Das geht nur, weil jeder Raum genau einen Kurs hat.

Drehen Sie die Paare des Raumplans um. Welche Eigenschaft der Umkehrung verletzt der Plan mit H1 zweimal? Schreiben Sie es in einem Satz auf.

Über dieses Lab und seinen Quellcode: Lab für Compilerbau und Rechnerarchitektur: gcc, flex, bison und RISC-V in einer VM

Sie unterrichten eine Gruppe? Weisen Sie dieses Modul Ihren Studierenden zu, mit Handbuch für Lehrende, automatisch geprüften Aufgaben und einem Lab für jede Person.