El siguiente topológico pequeñez (en lugar de medir la pequeñez) resultado puede ser de su interés.
Deje ${\mathbb P}[0,1]$ ser la colección de todos los subconjuntos de a $[0,1]$ modulo de la equivalencia de la relación de $\sim$ definido por $E \sim F \Leftrightarrow {\lambda^{*}(E \Delta F)} = 0,$ donde $\lambda^{*}$ es Lebesgue exterior de la medida y de $\Delta$ es la diferencia simétrica de la operación sobre los conjuntos. El conjunto ${\mathbb P}[0,1]$ puede ser hecha en un espacio métrico por la definición de la función de distancia $d,$ donde $d(E,F) = {\lambda^{*} (E \Delta F)}.$ En el documento citado a continuación se ha demostrado que la colección de subconjuntos medibles de $[0,1]$ es un perfecto nada denso conjunto en ${\mathbb P}[0,1].$
Por lo tanto, en este escenario, la colección de subconjuntos medibles de $[0,1]$ hace una muy pequeña parte de la colección de todos los subconjuntos de a $[0,1].$ Nota de que en el espacio de ${\mathbb P}[0,1]$ la colección de subconjuntos medibles no es sólo una primera categoría subconjunto de ${\mathbb P}[0,1]$ (esto sólo hace que la colección de un pequeño subconjunto de ${\mathbb P}[0,1]$), pero, de hecho, la colección de subconjuntos medibles en realidad es un lugar denso subconjunto de ${\mathbb P}[0,1]$ (de ahí mi diciendo que la colección es un muy pequeño subconjunto de ${\mathbb P}[0,1]$).
Nobuyuki Kato, Tadashi Kanzo, y Oharu Shinnosuke, Una nota en la medida de problema, Revista Internacional de la Educación Matemática en la Ciencia y la Tecnología 19 (1988), 315-318.