Kontinuierliche surjektive Funktion vom geschlossenen Intervall zu sich selbst, die nur die Endpunkte festlegt

Ich versuche folgende Frage zu lösen

Gibt es eine stetige Funktion von [ A , B ] Zu [ A , B ] das ist auf und A Und B sind das nur zwei Fixpunkte?

Die Funktion F ( X ) = X hat A Und B als Fixpunkte, hat aber auch andere Fixpunkte.

Wenn A = 0 Und B = 1 die Funktion F ( X ) = X 2 funktioniert. Also habe ich die Funktion ausprobiert F ( X ) = ( X A ) ( X B ) + X aber im Allgemeinen fand ich, dass es nicht funktioniert.

Die Funktion F ( X ) = Protokoll ( e B e A B A X + B e A A e B B A ) funktioniert für mehrere Beispiele, die ich überprüft habe, aber ich kann es nicht allgemein beweisen.

Gegebene Punkte A < B , kann ich mir eine Funktion innerhalb des Eckpunktrechtecks ​​vorstellen ( A , A ) , ( A , B ) , ( B , A ) , ( B , B ) so dass sich die Kurve verbindet ( A , A ) Und ( B , B ) und geht durch keine Punkte der Form ( X , X ) aber ich bin nicht in der Lage, explizit zu konstruieren. Hinweise sind willkommen.

Da dies ein HNQ ist, könnte vielleicht jemand mit Bearbeitungsrechten den Tippfehler im Titel ("funktioniert") beheben.

Antworten (3)

Das einfache Beispiel haben Sie bereits gefunden F ( X ) = X 2 auf dem Intervall [ 0 , 1 ] . Dieses Beispiel lässt sich auf jedes andere Intervall übertragen [ A , B ] , Wo A < B . Einfach nehmen

G ( X ) = ( B A ) ( X A B A ) 2 + A .
Im Allgemeinen, wenn F ( X ) ist eine solche Funktion auf dem Intervall [ 0 , 1 ] Dann
G ( X ) = ( B A ) F ( X A B A ) + A ,
ist eine solche Funktion auf dem Intervall [ A , B ] .

Lassen A < C < B . Definieren F die stückweise lineare Funktion sein, die die Punkte verbindet ( A , A ) , ( C , B ) , Und ( B , B ) .

Im Allgemeinen jeder Homöomorphismus G : [ A , B ] [ 0 , 1 ] veranlasst das Beispiel G 1 ( G ( X ) 2 ) An [ A , B ] , und ganz allgemein, G 1 ( F ( G ( X ) ) ) für irgendein Beispiel F ( X ) An [ 0 , 1 ] .

Die Antwort von Servaes verwendet die Bijektion G ( X ) = X A B A . Das funktioniert, weil es wirklich eine Komposition ist [ A , B ] [ 0 , B A ] [ 0 , 1 ] .

Alternativ könnte man stattdessen tun [ A , B ] [ 1 , B A + 1 ] [ 0 , 1 ] wobei die erste Funktion subtrahiert A und ergänzt 1 und die zweite Funktion nimmt den Logarithmus zur Basis B A + 1 .

So, H ( X ) = ( B A + 1 ) ( Protokoll B A + 1 ( X A + 1 ) ) 2 + A 1 (oder allgemeiner H ( X ) = ( B A + 1 ) F ( Protokoll B A + 1 ( X A + 1 ) ) + A 1 ) Wo F ( X ) arbeitet an [ 0 , 1 ] ) funktioniert auch [ A , B ] .