Okay, ich hab ein Verknüpfungsgebilde:
(R,*) mit
R = Reelle Zahlen
a*b = sqrt(a²+b²)
und die Abbildung φ: (R,*) -> (R,*) mit
φ(x) = 5x
Die Verknüpfungstreue der Abbildung hab ich schon bewiesen, wobei ich allerdings hänge ist die Bijektivität. (bijektiv = surjektiv und injektiv = rechtstotal und linkseindeutig)
Rechtstotal hieße ja, dass der Nachbereich meiner 2er-Tupel den kompletten Zielbereich ausmacht. Mein Problem: was ist hier der Zielbereich? (R,*) ist für sich ja keine Menge. Ist der Zielbereich meiner Abbildung dann die Menge aller möglichen Ergebnisse von (R,*)?
(R,*) mit
R = Reelle Zahlen
a*b = sqrt(a²+b²)
und die Abbildung φ: (R,*) -> (R,*) mit
φ(x) = 5x
Die Verknüpfungstreue der Abbildung hab ich schon bewiesen, wobei ich allerdings hänge ist die Bijektivität. (bijektiv = surjektiv und injektiv = rechtstotal und linkseindeutig)
Rechtstotal hieße ja, dass der Nachbereich meiner 2er-Tupel den kompletten Zielbereich ausmacht. Mein Problem: was ist hier der Zielbereich? (R,*) ist für sich ja keine Menge. Ist der Zielbereich meiner Abbildung dann die Menge aller möglichen Ergebnisse von (R,*)?
Kommentar