Conjunto de Vitali

Conjunto de Vitali

En teoría de la medida, un conjunto de Vitali es un ejemplo básico de conjunto de números reales que no es Lebesgue-medible. El teorema de Vitali es el teorema de existencia de dichos conjuntos. Es así llamado en honor a Giuseppe Vitali.

A pesar del nombre, hay muchos conjuntos de Vitali. Su existencia se demuestra usando el axioma de elección, lo que lo hace un resultado no constructivo: es imposible describir explícitamente un conjunto de Vitali.

La importancia de los conjuntos no medibles

Ciertos conjuntos tienen un "tamaño" definido; por ejemplo, el intervalo [0, 1] se asume con longitud 1, y en general, un intervalo [a, b], con ab, se asume con longitud ba. Si se piensa en tales intervalos como barras de metal, tendrán asimismo masas definidas. Si la barra [0, 1] pesa 1 kilo, la [3, 9] pesará 6 kilos. El conjunto [0, 1] ∪ [2, 3] está compuesto por dos barras de 1 kilo cada una, con lo que su peso total será de 2 kilos; en términos matemáticos, su longitud total es de 2.

Aquí surge una pregunta natural: si E es un subconjunto arbitrario de la recta real, ¿necesariamente tendrá una longitud? Como ejemplo, uno se puede preguntar por la longitud del conjunto de números racionales. Como están finamente esparcidos por la recta real, cualquier respuesta podría parecer razonable a primera vista.

La solución matemáticamente correcta resulta ser la teoría de la medida. En este marco, la medida de Lebesgue, que asigna el peso ba al intervalo [a, b], le asignará un peso de 0 al conjunto de los racionales (de hecho, todo conjunto numerable tendrá longitud 0). Todo conjunto que tenga un peso bien definido se dice medible. De la construcción de la medida de Lebesgue (por ejemplo, usando una medida exterior), sin embargo, no es evidente que haya o no conjuntos no medibles.

Construcción y demostración

Si x e y son reales, y xy es racional, se dirá que x e y son equivalentes, lo que se denota por x ~ y; evidentemente, ~ es una relación de equivalencia. Por lo tanto, las clases de equivalencia de los reales, definidas por [x] = {yR | x ~ y} para xR, forman una partición de R. Invocando el axioma de elección, se puede tomar un conjunto V ⊆ [0, 1] que contenga exactamente un miembro representativo de cada clase de equivalencia; esto es, que para cada real x, el conjunto V ∩ [x] es un conjunto unitario.
El conjunto V es un conjunto de Vitali. Hay por supuesto infinitas posibilidades para V; lo importante es que el axioma de elección estipula la existencia de al menos una de ellas.

Ahora, para demostrar que el conjunto de Vitali no es medible, se asumirá que sí lo es. De la definición de conjuntos medibles, se puede demostrar que todos ellos tienen las siguientes dos propiedades:

  1. Si Ai es una secuencia numerable de conjuntos medibles disjuntos dos a dos, entonces
    \lambda\left(\bigcup_{i=1}^{\infty}A_i\right)=\sum_{i=1}^{\infty}\lambda(A_i).
  2. La medida de Lebesgue es invariante por translación; esto es, para todo real x y todo conjunto medible A, λ(A) = λ(A + x).

De la hipótesis de que V es Lebesgue-medible, se puede demostrar algo absurdo, a saber, que a + a + a +... (una suma infinita de números idénticos) está entre 1 y 3. Con ello, la única hipótesis sin demostración (que V es medible) será la errónea.

Primeramente, sea q1, q2,... una enumeración de los racionales en [−1, 1] (pues este conjunto es numerable). Por la construcción de V, los conjuntos Vk = V + qk, con k natural, son disjuntos dos a dos (de lo contrario habría dos números equivalentes en V, contradiciendo su definición). Por otro lado, se puede demostrar que

[0,1]\subseteq\bigcup_{k=1}^\infty V_k\subseteq[-1,2].

Para ver la primera inclusión, sea x ∈ [0, 1] y sea v el único elemento de [x] ∩ V; xv es entonces un racional que necesariamente ha de estar entre −1 y 1, por ejemplo qk, y por lo tanto xVk. La segunda inclusión es consecuencia del hecho que V ⊆ [0, 1].

Ahora bien, como la medida λ es contablemente aditiva y no negativa, tiene la propiedad de la monotonía; esto es, si AB, entonces λ(A)≤λ(B). Por lo tanto,

1 \leq \lambda\left(\bigcup_{k=1}^\infty V_k\right) \leq 3.

Por otro lado, gracias a la aditividad de λ, se tiene también que

\lambda\left(\bigcup_{k=1}^\infty V_k\right) = \sum_{k=1}^\infty \lambda(V_k),

puesto que los Vk son disjuntos. Como λ es invariante por translación, λ(Vk) = λ(V) para todo k. Reemplazando en los resultados anteriores, queda

1 \leq \sum_{k=1}^\infty \lambda(V) \leq 3

Esto es, una suma infinita de un solo término real y no negativo está entre 1 y 3; ahora bien, si el término fuera cero, la suma daría asimismo cero y sería por lo tanto inferior a 1, mientras que si fuera distinto de cero, la suma daría infinito y por lo tanto sería superior a 3.

Esta conclusión es absurda, con lo cual, V no puede ser medible.

Véase también


Wikimedia foundation. 2010.

Игры ⚽ Поможем написать курсовую

Mira otros diccionarios:

  • Inducción transfinita — La inducción transfinita es una extensión de la inducción matemática a (grandes) conjuntos bien ordenados, tales como conjuntos de ordinales o cardinales. Definición formal Supóngase que si para todo β < α vale P(β), entonces P(α) vale también …   Wikipedia Español

  • Axioma de elección — Saltar a navegación, búsqueda En matemáticas, el axioma de elección o axioma de escogencia, abreviado usualmente AE, o AC por sus siglas en inglés, es un axioma de la teoría de conjuntos. Intuitivamente, AE dice que dada una colección de… …   Wikipedia Español

  • Teoría de la medida — Una medida aplica ciertos subconjuntos (pertenecientes a una σ álgebra) en valores del intervalo [0, ∞]. En matemáticas, una medida es una función que asigna un número, un tamaño , un volumen , o una probabilidad , a los subconjuntos de un… …   Wikipedia Español

  • Medida de Lebesgue — En matemáticas, la medida de Lebesgue es la forma estándar de asignar una longitud, área, o volumen a los subconjuntos del espacio euclídeo. Se usa en el análisis real, especialmente para definir la integración de Lebesgue. Los conjuntos a los… …   Wikipedia Español

  • Unión Atlético Maracaibo — En este artículo se detectaron los siguientes problemas: No tiene una redacción neutral. Carece de fuentes o referencias que aparezcan en una fuente acreditada. Por favor …   Wikipedia Español

  • Aragua Fútbol Club — Saltar a navegación, búsqueda Aragua FC Nombre completo Asociación Civil Aragua Fútbol Club Apodo(s) Aurirrojos, Auriazules Chocolateros Fundación 20 de agosto de 200 …   Wikipedia Español

  • Leo Marini — En la película ¡Qué rico el mambo! de 1952. Datos generales Nombre real Alberto Batet Vitali …   Wikipedia Español

  • Racing Club — Para otros usos de este término, véase Racing. Racing Club Nombre completo Racing Club Apodo(s) La Academia, Acadé, La Gloriosa, El Primer Grande de los Grandes[1] …   Wikipedia Español

  • Club Deportivo Lara — Este artículo o sección necesita una revisión de ortografía y gramática. Puedes colaborar editándolo (lee aquí sugerencias para mejorar tu ortografía). Cuando se haya corregido, borra este aviso por favor …   Wikipedia Español

  • Iglesia Viva — La Iglesia Viva (en ruso: Живая Церковь, живоцерковники), también llamada Iglesia Renovacionista o Renovacionismo (обновленчество, обновленческая церковь de обновление ‘renovación’) fue un cisma dentro de la Iglesia ortodoxa rusa entre 1922 y… …   Wikipedia Español

Compartir el artículo y extractos

Link directo
Do a right-click on the link above
and select “Copy Link”