Vecino de función no medible todavía no medible

¿Existe una función no medible? F : R R tal que para cada función gramo : R R con

| gramo ( X ) F ( X ) | < 1
para todos X R , entonces gramo es también no medible?

Estoy pensando en la función. F tal que F ( X ) = | X | + 100 para X en cualquier subconjunto no medible de R y F ( X ) = | X | 100 para X en cualquier conjunto medible de R . Pero no sé si esto funciona o no, ya que el conjunto medible y el no medible pueden cruzarse. Gracias.

Nota: la medida aquí es la medida de Lebesgue

Respuestas (1)

Su idea básica funciona. Corregir un subconjunto no medible A R y definir F = 3 1 A . Si gramo es medible entonces gramo 1 ( 2 , ) es medible. Si | F ( X ) gramo ( X ) | < 1 para cada X entonces gramo ( X ) > 2 si y si X A de modo que A es medible, lo cual es una contradicción.

Gracias, tenía dudas sobre si existe una intersección no vacía de un conjunto no medible y uno medible, así que no probé la función característica.