Autor Tema: Comentarios a "Extensiones finitamente aditivas de la medida de Lebesgue".

0 Usuarios y 2 Visitantes están viendo este tema.

20 Octubre, 2013, 12:03 am
Leído 6992 veces

Carlos Ivorra

  • Administrador
  • Mensajes: 9,763
  • País: es
  • Karma: +0/-0
  • Sexo: Masculino
    • Página web personal
En este hilo contestaré a todas las preguntas y comentarios que surjan en relación con el artículo

Extensiones finitamente aditivas de la medida de Lebesgue.

20 Octubre, 2013, 12:35 am
Respuesta #1

argentinator

  • Consultar la FIRMAPEDIA
  • Administrador
  • Mensajes: 7,381
  • País: ar
  • Karma: +0/-0
  • Sexo: Masculino
  • Vean mis posts activos en mi página personal
    • Mis posts activos (click aquí)

20 Octubre, 2013, 10:23 pm
Respuesta #2

jbgg

  • $$\Large \color{#5e8d56}\pi\,\pi\,\pi$$
  • Mensajes: 218
  • Karma: +0/-0
  • Sexo: Masculino
Antes de exponer mi duda, agradecer el tiempo que dedicas en escribir estas cosas.

Mi duda viene de la siguiente afirmación

La relación exacta entre los conjuntos medibles Lebesgue y los conjuntos de Borel es que un conjunto \( A \) es medible Lebesgue si y sólo si \( A=B\cup N \), donde \( B \) es un conjunto de Borel y \( N\subset C \), para otro conjunto de Borel \( C \) de medida nula.

Y mi razonamiento es el siguiente, los conjuntos de Borel forman un álgebra, así que la unión de dos de ellos es un conjunto de Borel, entonces si cada medible Lebesgue se escribe como unión de dos conjuntos de Borel, todo conjunto medible Lebesgue es de Borel. Pero por lo siguiente

Sin embargo, sucede que \( \mathcal M_n \) es estrictamente mayor que \( \mathcal B_n \). De hecho tiene una propiedad que no cumple el álgebra de Borel:

Si \( A \) es un conjunto medible Lebesgue con medida \( 0 \) y \( B\subset A \), entonces \( B \) es medible Lebesgue (obviamente de medida \( 0 \)).

no puede ocurrir.

¿puede ser que en la afirmación de la equivalencia de conjunto medible Lebesgue, el conjunto de medida nula no tiene porqué ser de Borel?

Gracias.

Edito: fallo mio. Acabo de leer bien la proposición y el conjunto \( N \) no es de Borel, sino un subconjunto de un conjunto de medida nula de Borel.

He mezclado la proposición que vale para medibles Lebesgue y no para Borel, pensando que sí vale para estos últimos. Al tenerlo delante (por citarlo) me he dado cuenta.

20 Octubre, 2013, 10:55 pm
Respuesta #3

Carlos Ivorra

  • Administrador
  • Mensajes: 9,763
  • País: es
  • Karma: +0/-0
  • Sexo: Masculino
    • Página web personal
Te estaba respondiendo sobre la marcha, pero ya he visto que te has respondido tú solo.