¿Existe una función no medible? tal que para cada función con
Estoy pensando en la función. tal que para en cualquier subconjunto no medible de y para en cualquier conjunto medible de . 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
Su idea básica funciona. Corregir un subconjunto no medible y definir . Si es medible entonces es medible. Si para cada entonces si y si de modo que es medible, lo cual es una contradicción.
Laurence PW