Ich kenne einige der Standardbeweise der Aussage. Ich habe jedoch versucht, einen Beweis zu konstruieren, der am besten zu meiner natürlichen Intuition passt. Dazu gegeben , definiere ich eine Funktion
Lassen . Wenn kontinuierlich ist dann das Infimum erreicht würde und daher nicht Null ist (andernfalls wäre die Funktion an diesem Punkt nicht stetig). Und, , was eine gleichmäßige Kontinuität beweist. Allerdings finde ich es sehr schwierig, das zu beweisen ist kontinuierlich. Könnte mir jemand helfen zu beweisen ist kontinuierlich? Wenn ist nicht unbedingt kontinuierlich, können Sie ein Beispiel geben?
Vielen Dank im Voraus.
Die Funktion muss nicht kontinuierlich sein. Fix , und überlegen definiert von
Allerdings – ich bin mir nicht sicher, ob das für Sie nützlich sein wird – es ist ziemlich einfach, das zu zeigen ist unterhalbkontinuierlich , und das impliziert das erreicht sein Infimum (auf kompakten Sets), was daher streng positiv ist. Wenn Sie sich mit Semikontinuität auskennen, hilft dies, sonst wahrscheinlich nicht.
Divakaran
Daniel Fischer