Gesucht ist eine Funktion \(f\) mit der Definitionsmenge \(D=\{1;2;3;4;5\}\) und der Wertemenge \(W=\{a;b;c\}\). Zusätzlich gilt:
- \(f(1)=a\),
- \(f(2)=b\),
- \(f(3)\ne a\),
- \(f(4)=f(5)\).
a) Gib eine mögliche vollständige Wertetabelle für \(f\) an.
b) Begründe, dass deine Tabelle alle Bedingungen erfüllt und die Wertemenge tatsächlich genau \(W\) ist.
c) Ist die umgekehrte Zuordnung zu deiner Funktion eine Funktion? Begründe.
d) Gibt es mehr als eine mögliche Wertetabelle? Begründe durch ein zweites Beispiel oder durch eine allgemeine Überlegung.
Denkanstöße
- Beginne mit den beiden bereits festgelegten Zuordnungen und prüfe, welcher Wert aus der vorgegebenen Wertemenge noch vorkommen muss.
- Die Gleichung \(f(4)=f(5)\) muss erfüllt sein, ohne einen Wert außerhalb von \(W\) einzuführen.
- Prüfe am Ende für jedes Element aus \(D\), ob genau ein Funktionswert festgelegt ist.
- Für die Umkehrung untersuchst du, ob ein vorkommender Funktionswert zu mehreren Argumenten gehört.
Lösung
1. Wegen \(f(1)=a\) und \(f(2)=b\) kommen \(a\) und \(b\) bereits vor. Damit die Wertemenge genau \(\{a;b;c\}\) ist, muss auch \(c\) mindestens einmal vorkommen. Eine mögliche Wahl ist \(f(3)=c\) und \(f(4)=f(5)=b\).
2. Die vollständige Tabelle lautet damit \(1\mapsto a\), \(2\mapsto b\), \(3\mapsto c\), \(4\mapsto b\), \(5\mapsto b\). Jedes Argument besitzt genau einen Funktionswert, und die vorkommenden Werte sind genau \(a\), \(b\) und \(c\). Außerdem gilt \(f(3)\ne a\) und \(f(4)=f(5)\).
3. Die umgekehrte Zuordnung ist keine Funktion. Zum Funktionswert \(b\) gehören hier die verschiedenen Argumente \(2\), \(4\) und \(5\).
4. Die Wertetabelle ist nicht eindeutig. Zum Beispiel ist auch \(f(3)=b\) und \(f(4)=f(5)=c\) möglich; alle übrigen festen Zuordnungen bleiben gleich.
Antwort
a) Zum Beispiel \(1\mapsto a,\ 2\mapsto b,\ 3\mapsto c,\ 4\mapsto b,\ 5\mapsto b\)
b) Alle fünf Argumente haben genau einen Wert; es kommen genau \(a\), \(b\), \(c\) vor und die Zusatzbedingungen sind erfüllt.
c) Nein. Mindestens ein Funktionswert gehört zu mehreren Argumenten, zum Beispiel \(b\).
d) Ja, zum Beispiel ist auch \(1\mapsto a,\ 2\mapsto b,\ 3\mapsto b,\ 4\mapsto c,\ 5\mapsto c\) möglich.