Urbildanzahl/Multiplikationsabbildung/Bis 5/Aufgabe/Kommentar
Bei einer Abbildung sollte die erste automatische Frage eigentlich immer sein: injektiv? surjektiv? bijektiv? Bei endlichen Elementen sollte man immer direkt nach ihrer Anzahl fragen, oder zumindest nach einer Abschätzung dafür. In diesem Fall stehen links und rechts jeweils Elemente, in diesem Fall könnte die Abbildungen von den numerischen Bedingungen her injektiv sein (und wäre dann nach Fakt auch surjektiv). Da die Abbildung das Multiplizieren mit natürlichen Zahlen ist, sollte man sofort an Teilbarkeit, Primzahlen, Primfaktorzerlegung denken. Damit ist sofort klar, dass die Abbildung nicht surjektiv ist, da die Primzahlen größer als nicht getroffen werden. Es wird also nicht getroffen. Das ist aber noch nicht alles. Auch
und und werden nicht getroffen. Wegen der Nichtsurjektivität ist auch nicht injektiv. Dies ist auch direkt klar und links eine Produktmenge steht, wo ja die Paare wie und verschieden sind, aber beide auf gehen. Ferner hat man noch das Phänomen, dass alle auf gehen. Man lasse sich hier auch nicht von der Eindeutigkeit der Primfaktorzerlegung in die Irre führen.
Bestimme wir nun für jedes die Anzahl der Elemente in der Urbildmenge . Dabei geht man möglichst systematisch vor. Knüpfen wir an die obige Überlegung zu nicht surjektiv an, also bestimmen wir die Elemente rechts mit leerer Faser. Es geht um alle Zahlen zwischen und , die man nicht als ein Produkt mit zwei Faktoren schreiben kann, die beide aus bis kommen. Das sind, wie oben erwähnt, die Primzahlen größer als , und die zerlegbaren Zahlen, wo es keine Faktorzerlegung in die kleine Faktoren gibt. Dies heißt, dass ein Faktor zumindest ist. Gehen wir diese ohne die Primzahlen durch.
ist im Bild, ist im Bild, ist im Bild, ist im Bild, ist im Bild, ist nicht im Bild, da eine Primzahl ist, ist im Bild, ist im Bild (es gibt auch die Faktorzerlegung , die spielt aber in der derzeitigen Abbildung keine Rolle). ist nicht im Bild, da beide nichttriviale Faktorzerlegung mit zwei Faktoren einen zu goßen Faktor benötigen, das haben wir oben übersehen, ist im Bild, ist nicht im Bild, ist nicht im Bild, ist im Bild. Die Fasern zu
sind also leer.
Zu welchen Zahlen sind die Fasern einelement? Wegen der Produktmenge kommen dafür nur Quadratzahlen in Frage. Hier spielt aber die eine besondere Rolle, da für die die Faser aus Elementen besteht. Die Quadratzahlen
haben genau ein Urbild.
Genau zwei Urbilder. Diese Zahlen sind insbesondere Produkte von zwei verschiedenen Zahlen aus bis . Da es
zweielementige Teilmengen gibt, erhalten wir Produkte, für die es (wegen der Vertauschungsmöglichkeit) zumindest Urbilder gibt. Dab ist die aber wieder dabei, das dürfen wir nicht mehrfach zählen. Die Zahlen
besitzen genau Urbilder. Die Summe ist nach Fakt gleich der Mächtigkeit der Ausgangsmenge, also gleich . Dies ergibt sich auch als
