Nachbar von nicht messbarer Funktion noch nicht messbar

Gibt es eine nicht messbare Funktion? F : R R so dass für jede Funktion G : R R mit

| G ( X ) F ( X ) | < 1
für alle X R , Dann G ist auch nicht messbar?

Ich denke an die Funktion F so dass F ( X ) = | X | + 100 für X in jeder nicht messbaren Teilmenge von R Und F ( X ) = | X | 100 für X in jedem messbaren Satz von R . Aber ich weiß nicht, ob das funktioniert oder nicht, da sich messbare Mengen und nicht messbare überschneiden können. Danke.

Hinweis: Das Maß hier ist das Lebesgue-Maß

Antworten (1)

Deine Grundidee funktioniert. Korrigieren Sie eine nicht messbare Teilmenge A R und definieren F = 3 1 A . Wenn G ist dann messbar G 1 ( 2 , ) ist messbar. Wenn | F ( X ) G ( X ) | < 1 für jeden X Dann G ( X ) > 2 iff X A so dass A messbar ist, was ein Widerspruch ist.

Danke, ich war im Zweifel, ob es einen nicht leeren Schnittpunkt einer nicht messbaren und einer messbaren Menge gibt, also habe ich keine charakteristische Funktion ausprobiert.