Beweisaussage zum Infimum des Bildes einer Menge mit monoton steigender Funktion

Ich habe Schwierigkeiten, einen Beweis einer Aussage zu vervollständigen (mein Versuch steht hinter der Aussage):

Gegeben sei eine monoton steigende Funktion F : R R , und eine beschränkte Menge A R , das versuche ich zu beweisen

inf ( F ( A ) ) = F ( inf ( A ) )

bei dem die F ( A ) ist die durch definierte Menge F ( A ) = { F ( A ) : A A } .

Das konnte ich beweisen inf ( F ( A ) ) F ( inf ( A ) ) :

Lassen A A . Dann per Definition von inf :

A inf ( A )

Weil F ist für alle monoton steigend A , B R so dass A B , F ( A ) F ( B ) .

So:

A A F ( A ) F ( inf ( A ) )

Was bedeutet, dass

inf ( F ( A ) ) F ( inf ( A ) )

Ich kämpfe damit, die umgekehrte Ungleichung zu zeigen (oder einen Widerspruch der starken Ungleichung zu zeigen). Ich habe versucht, die Definition von zu verwenden inf mit ϵ aber ich habe nichts gesehen, was beim Beweis helfen könnte.

Wie könnte ich also den Rest der Aussage beweisen? (Und ist mein Beweis bis zu diesem Punkt richtig?)

Ich habe mich umgesehen und nichts über das Bild einer Menge gefunden (abgebildet durch eine monotone Funktion).

BEARBEITEN:

Es scheint, dass die Aussage nicht wahr ist (eine Antwort gibt ein Gegenbeispiel). Also, ich nehme an, wenn F kontinuierlich ist, dann stimmt es, aber ich habe es nicht überprüft.

Vielleicht A soll auch geschlossen werden?
@Taroccoesbrocco Ich denke, wenn A geschlossen ist, wird es immer noch nicht genug sein. Nachdem ich Joses Antwort gesehen habe, F muss wahrscheinlich kontinuierlich sein, damit das wahr ist.

Antworten (1)

Du kannst es nicht beweisen, weil es falsch ist. Nehmen

F ( X ) = { X  Wenn  X > 0 X 1  ansonsten
Und A = ( 0 , 1 ) . Dann
inf F ( A ) = 0  Und  F ( inf A ) = 1.

A ist begrenzt. Das Beispiel, das Sie gegeben haben, ist nicht begrenzt.
@ ItamarG3 Das ändert nichts. Ich habe meine Antwort bearbeitet.
Ich verstehe. Einen Moment...
OK. Danke. Ich vergesse immer wieder, dass es nicht kontinuierlich sein muss.
Die Annahme scheint fehlgeschlagen zu sein, als ich versuchte, sie zu markieren ... Problem jetzt weg. ooh