midiendo conjuntos no medibles y espacios de banach ... · pdf filevi escuela taller de...
TRANSCRIPT
![Page 1: Midiendo conjuntos no medibles y espacios de Banach ... · PDF fileVI Escuela Taller de Análisis Funcional Tutor: Antonio Avilés ... conjunto X y una función f definida sobre X,](https://reader033.vdocuments.net/reader033/viewer/2022042600/5a796bca7f8b9ade698b511f/html5/thumbnails/1.jpg)
Introducción
Extensión de medidas
σ−álgebra generada por rectángulos
Espacios de Banach universales
Midiendo conjuntos no medibles y
espacios de Banach universales
Abel Álvarez, Miguel Ángel Andrés, Javier Canto, PabloGerlach, Daniel Morales, Alberto Rodríguez
Universidad de ExtremaduraVI Escuela Taller de Análisis Funcional
Tutor: Antonio AvilésXII Encuentro de la Red de Análisis Funcional y Aplicaciones
2 de marzo de 2016
Grupo 1 Midiendo conjuntos no medibles
![Page 2: Midiendo conjuntos no medibles y espacios de Banach ... · PDF fileVI Escuela Taller de Análisis Funcional Tutor: Antonio Avilés ... conjunto X y una función f definida sobre X,](https://reader033.vdocuments.net/reader033/viewer/2022042600/5a796bca7f8b9ade698b511f/html5/thumbnails/2.jpg)
Introducción
Extensión de medidas
σ−álgebra generada por rectángulos
Espacios de Banach universales
Indice
1 Introducción
2 Extensión de medidas
3 σ−álgebra generada por rectángulos
4 Espacios de Banach universales
Grupo 1 Midiendo conjuntos no medibles
![Page 3: Midiendo conjuntos no medibles y espacios de Banach ... · PDF fileVI Escuela Taller de Análisis Funcional Tutor: Antonio Avilés ... conjunto X y una función f definida sobre X,](https://reader033.vdocuments.net/reader033/viewer/2022042600/5a796bca7f8b9ade698b511f/html5/thumbnails/3.jpg)
Introducción
Extensión de medidas
σ−álgebra generada por rectángulos
Espacios de Banach universales
Objetivos
Preguntémonos lo siguiente:
1. ¿Existe una medida que extienda la medida de Lebesgueen P(R)?
2. ¿Están todos los subconjuntos de R2 en la σ−álgebragenerada por los conjuntos de la forma A×B, donde A y Bson subconjuntos arbitrarios de R?
3. ¿Todos los espacios de Banach de la cardinalidad delcontinuo son isométricos (o al menos isomorfos) asubespacios del espacio cociente l∞/c0?
Grupo 1 Midiendo conjuntos no medibles
![Page 4: Midiendo conjuntos no medibles y espacios de Banach ... · PDF fileVI Escuela Taller de Análisis Funcional Tutor: Antonio Avilés ... conjunto X y una función f definida sobre X,](https://reader033.vdocuments.net/reader033/viewer/2022042600/5a796bca7f8b9ade698b511f/html5/thumbnails/4.jpg)
Introducción
Extensión de medidas
σ−álgebra generada por rectángulos
Espacios de Banach universales
Objetivos
Preguntémonos lo siguiente:
1. ¿Existe una medida que extienda la medida de Lebesgueen P(R)?
2. ¿Están todos los subconjuntos de R2 en la σ−álgebragenerada por los conjuntos de la forma A×B, donde A y Bson subconjuntos arbitrarios de R?
3. ¿Todos los espacios de Banach de la cardinalidad delcontinuo son isométricos (o al menos isomorfos) asubespacios del espacio cociente l∞/c0?
Grupo 1 Midiendo conjuntos no medibles
![Page 5: Midiendo conjuntos no medibles y espacios de Banach ... · PDF fileVI Escuela Taller de Análisis Funcional Tutor: Antonio Avilés ... conjunto X y una función f definida sobre X,](https://reader033.vdocuments.net/reader033/viewer/2022042600/5a796bca7f8b9ade698b511f/html5/thumbnails/5.jpg)
Introducción
Extensión de medidas
σ−álgebra generada por rectángulos
Espacios de Banach universales
Objetivos
Preguntémonos lo siguiente:
1. ¿Existe una medida que extienda la medida de Lebesgueen P(R)?
2. ¿Están todos los subconjuntos de R2 en la σ−álgebragenerada por los conjuntos de la forma A×B, donde A y Bson subconjuntos arbitrarios de R?
3. ¿Todos los espacios de Banach de la cardinalidad delcontinuo son isométricos (o al menos isomorfos) asubespacios del espacio cociente l∞/c0?
Grupo 1 Midiendo conjuntos no medibles
![Page 6: Midiendo conjuntos no medibles y espacios de Banach ... · PDF fileVI Escuela Taller de Análisis Funcional Tutor: Antonio Avilés ... conjunto X y una función f definida sobre X,](https://reader033.vdocuments.net/reader033/viewer/2022042600/5a796bca7f8b9ade698b511f/html5/thumbnails/6.jpg)
Introducción
Extensión de medidas
σ−álgebra generada por rectángulos
Espacios de Banach universales
Objetivos
Preguntémonos lo siguiente:
1. ¿Existe una medida que extienda la medida de Lebesgueen P(R)?
2. ¿Están todos los subconjuntos de R2 en la σ−álgebragenerada por los conjuntos de la forma A×B, donde A y Bson subconjuntos arbitrarios de R?
3. ¿Todos los espacios de Banach de la cardinalidad delcontinuo son isométricos (o al menos isomorfos) asubespacios del espacio cociente l∞/c0?
Grupo 1 Midiendo conjuntos no medibles
![Page 7: Midiendo conjuntos no medibles y espacios de Banach ... · PDF fileVI Escuela Taller de Análisis Funcional Tutor: Antonio Avilés ... conjunto X y una función f definida sobre X,](https://reader033.vdocuments.net/reader033/viewer/2022042600/5a796bca7f8b9ade698b511f/html5/thumbnails/7.jpg)
Introducción
Extensión de medidas
σ−álgebra generada por rectángulos
Espacios de Banach universales
Objetivos
Preguntémonos lo siguiente:
1. ¿Existe una medida que extienda la medida de Lebesgueen P(R)?
2. ¿Están todos los subconjuntos de R2 en la σ−álgebragenerada por los conjuntos de la forma A×B, donde A y Bson subconjuntos arbitrarios de R?
3. ¿Todos los espacios de Banach de la cardinalidad delcontinuo son isométricos (o al menos isomorfos) asubespacios del espacio cociente l∞/c0?
Grupo 1 Midiendo conjuntos no medibles
![Page 8: Midiendo conjuntos no medibles y espacios de Banach ... · PDF fileVI Escuela Taller de Análisis Funcional Tutor: Antonio Avilés ... conjunto X y una función f definida sobre X,](https://reader033.vdocuments.net/reader033/viewer/2022042600/5a796bca7f8b9ade698b511f/html5/thumbnails/8.jpg)
Introducción
Extensión de medidas
σ−álgebra generada por rectángulos
Espacios de Banach universales
Axiomática ZFC
1. Axioma de extensibilidad: Dos conjuntos X e Y soniguales (lo cual se denotará como X = Y ) únicamente sitienen los mismos elementos.
2. Axioma de pares: Dados cualesquiera conjuntos x e yexiste otro conjunto, representado por {x , y}, cuyoselementos son únicamente x e y .
3. Axioma de la unión: Dada cualquier colección {Ci}i∈I deconjuntos, existe un conjunto, representado por
⋃i∈I
Ci y
llamado unión de {Ci}i∈I , que contiene todos loselementos de cada conjunto Ci para todo i ∈ I.
4. Axioma del conjunto potencia: Para cualquier conjuntoX existe otro, que denotaremos P(X ), que contiene todoslos subconjuntos de X .
Grupo 1 Midiendo conjuntos no medibles
![Page 9: Midiendo conjuntos no medibles y espacios de Banach ... · PDF fileVI Escuela Taller de Análisis Funcional Tutor: Antonio Avilés ... conjunto X y una función f definida sobre X,](https://reader033.vdocuments.net/reader033/viewer/2022042600/5a796bca7f8b9ade698b511f/html5/thumbnails/9.jpg)
Introducción
Extensión de medidas
σ−álgebra generada por rectángulos
Espacios de Banach universales
Axiomática ZFC
1. Axioma de extensibilidad: Dos conjuntos X e Y soniguales (lo cual se denotará como X = Y ) únicamente sitienen los mismos elementos.
2. Axioma de pares: Dados cualesquiera conjuntos x e yexiste otro conjunto, representado por {x , y}, cuyoselementos son únicamente x e y .
3. Axioma de la unión: Dada cualquier colección {Ci}i∈I deconjuntos, existe un conjunto, representado por
⋃i∈I
Ci y
llamado unión de {Ci}i∈I , que contiene todos loselementos de cada conjunto Ci para todo i ∈ I.
4. Axioma del conjunto potencia: Para cualquier conjuntoX existe otro, que denotaremos P(X ), que contiene todoslos subconjuntos de X .
Grupo 1 Midiendo conjuntos no medibles
![Page 10: Midiendo conjuntos no medibles y espacios de Banach ... · PDF fileVI Escuela Taller de Análisis Funcional Tutor: Antonio Avilés ... conjunto X y una función f definida sobre X,](https://reader033.vdocuments.net/reader033/viewer/2022042600/5a796bca7f8b9ade698b511f/html5/thumbnails/10.jpg)
Introducción
Extensión de medidas
σ−álgebra generada por rectángulos
Espacios de Banach universales
Axiomática ZFC
1. Axioma de extensibilidad: Dos conjuntos X e Y soniguales (lo cual se denotará como X = Y ) únicamente sitienen los mismos elementos.
2. Axioma de pares: Dados cualesquiera conjuntos x e yexiste otro conjunto, representado por {x , y}, cuyoselementos son únicamente x e y .
3. Axioma de la unión: Dada cualquier colección {Ci}i∈I deconjuntos, existe un conjunto, representado por
⋃i∈I
Ci y
llamado unión de {Ci}i∈I , que contiene todos loselementos de cada conjunto Ci para todo i ∈ I.
4. Axioma del conjunto potencia: Para cualquier conjuntoX existe otro, que denotaremos P(X ), que contiene todoslos subconjuntos de X .
Grupo 1 Midiendo conjuntos no medibles
![Page 11: Midiendo conjuntos no medibles y espacios de Banach ... · PDF fileVI Escuela Taller de Análisis Funcional Tutor: Antonio Avilés ... conjunto X y una función f definida sobre X,](https://reader033.vdocuments.net/reader033/viewer/2022042600/5a796bca7f8b9ade698b511f/html5/thumbnails/11.jpg)
Introducción
Extensión de medidas
σ−álgebra generada por rectángulos
Espacios de Banach universales
Axiomática ZFC
1. Axioma de extensibilidad: Dos conjuntos X e Y soniguales (lo cual se denotará como X = Y ) únicamente sitienen los mismos elementos.
2. Axioma de pares: Dados cualesquiera conjuntos x e yexiste otro conjunto, representado por {x , y}, cuyoselementos son únicamente x e y .
3. Axioma de la unión: Dada cualquier colección {Ci}i∈I deconjuntos, existe un conjunto, representado por
⋃i∈I
Ci y
llamado unión de {Ci}i∈I , que contiene todos loselementos de cada conjunto Ci para todo i ∈ I.
4. Axioma del conjunto potencia: Para cualquier conjuntoX existe otro, que denotaremos P(X ), que contiene todoslos subconjuntos de X .
Grupo 1 Midiendo conjuntos no medibles
![Page 12: Midiendo conjuntos no medibles y espacios de Banach ... · PDF fileVI Escuela Taller de Análisis Funcional Tutor: Antonio Avilés ... conjunto X y una función f definida sobre X,](https://reader033.vdocuments.net/reader033/viewer/2022042600/5a796bca7f8b9ade698b511f/html5/thumbnails/12.jpg)
Introducción
Extensión de medidas
σ−álgebra generada por rectángulos
Espacios de Banach universales
Axiomática ZFC
5. Esquema axiomático de especificación: Si tenemos unconjunto X y una propiedad P existe el conjunto formadolos elementos x ∈ X que verifican P.
6. Esquema axiomático de reemplazo: Si tenemos unconjunto X y una función f definida sobre X , existe elconjunto {f (t) : t ∈ X}.
7. Axioma de infinitud: Existe un conjunto X tal que ∅ ∈ X ytal que si y ∈ X entonces y ∪ {y} ∈ X (en otras palabras,existe un conjunto inductivo).
8. Axioma de regularidad: Para todo conjunto no vacío Xexiste un conjunto Y ∈ X tal que X ∩ Y = ∅.
9. Axioma de elección: Si tenemos una función f definidaen X , de tal forma que f (x) 6= ∅ para todo x ∈ X entoncesexiste una g definida en X tal que g(x) ∈ f (x) para todox ∈ X .
Grupo 1 Midiendo conjuntos no medibles
![Page 13: Midiendo conjuntos no medibles y espacios de Banach ... · PDF fileVI Escuela Taller de Análisis Funcional Tutor: Antonio Avilés ... conjunto X y una función f definida sobre X,](https://reader033.vdocuments.net/reader033/viewer/2022042600/5a796bca7f8b9ade698b511f/html5/thumbnails/13.jpg)
Introducción
Extensión de medidas
σ−álgebra generada por rectángulos
Espacios de Banach universales
Axiomática ZFC
5. Esquema axiomático de especificación: Si tenemos unconjunto X y una propiedad P existe el conjunto formadolos elementos x ∈ X que verifican P.
6. Esquema axiomático de reemplazo: Si tenemos unconjunto X y una función f definida sobre X , existe elconjunto {f (t) : t ∈ X}.
7. Axioma de infinitud: Existe un conjunto X tal que ∅ ∈ X ytal que si y ∈ X entonces y ∪ {y} ∈ X (en otras palabras,existe un conjunto inductivo).
8. Axioma de regularidad: Para todo conjunto no vacío Xexiste un conjunto Y ∈ X tal que X ∩ Y = ∅.
9. Axioma de elección: Si tenemos una función f definidaen X , de tal forma que f (x) 6= ∅ para todo x ∈ X entoncesexiste una g definida en X tal que g(x) ∈ f (x) para todox ∈ X .
Grupo 1 Midiendo conjuntos no medibles
![Page 14: Midiendo conjuntos no medibles y espacios de Banach ... · PDF fileVI Escuela Taller de Análisis Funcional Tutor: Antonio Avilés ... conjunto X y una función f definida sobre X,](https://reader033.vdocuments.net/reader033/viewer/2022042600/5a796bca7f8b9ade698b511f/html5/thumbnails/14.jpg)
Introducción
Extensión de medidas
σ−álgebra generada por rectángulos
Espacios de Banach universales
Axiomática ZFC
5. Esquema axiomático de especificación: Si tenemos unconjunto X y una propiedad P existe el conjunto formadolos elementos x ∈ X que verifican P.
6. Esquema axiomático de reemplazo: Si tenemos unconjunto X y una función f definida sobre X , existe elconjunto {f (t) : t ∈ X}.
7. Axioma de infinitud: Existe un conjunto X tal que ∅ ∈ X ytal que si y ∈ X entonces y ∪ {y} ∈ X (en otras palabras,existe un conjunto inductivo).
8. Axioma de regularidad: Para todo conjunto no vacío Xexiste un conjunto Y ∈ X tal que X ∩ Y = ∅.
9. Axioma de elección: Si tenemos una función f definidaen X , de tal forma que f (x) 6= ∅ para todo x ∈ X entoncesexiste una g definida en X tal que g(x) ∈ f (x) para todox ∈ X .
Grupo 1 Midiendo conjuntos no medibles
![Page 15: Midiendo conjuntos no medibles y espacios de Banach ... · PDF fileVI Escuela Taller de Análisis Funcional Tutor: Antonio Avilés ... conjunto X y una función f definida sobre X,](https://reader033.vdocuments.net/reader033/viewer/2022042600/5a796bca7f8b9ade698b511f/html5/thumbnails/15.jpg)
Introducción
Extensión de medidas
σ−álgebra generada por rectángulos
Espacios de Banach universales
Axiomática ZFC
5. Esquema axiomático de especificación: Si tenemos unconjunto X y una propiedad P existe el conjunto formadolos elementos x ∈ X que verifican P.
6. Esquema axiomático de reemplazo: Si tenemos unconjunto X y una función f definida sobre X , existe elconjunto {f (t) : t ∈ X}.
7. Axioma de infinitud: Existe un conjunto X tal que ∅ ∈ X ytal que si y ∈ X entonces y ∪ {y} ∈ X (en otras palabras,existe un conjunto inductivo).
8. Axioma de regularidad: Para todo conjunto no vacío Xexiste un conjunto Y ∈ X tal que X ∩ Y = ∅.
9. Axioma de elección: Si tenemos una función f definidaen X , de tal forma que f (x) 6= ∅ para todo x ∈ X entoncesexiste una g definida en X tal que g(x) ∈ f (x) para todox ∈ X .
Grupo 1 Midiendo conjuntos no medibles
![Page 16: Midiendo conjuntos no medibles y espacios de Banach ... · PDF fileVI Escuela Taller de Análisis Funcional Tutor: Antonio Avilés ... conjunto X y una función f definida sobre X,](https://reader033.vdocuments.net/reader033/viewer/2022042600/5a796bca7f8b9ade698b511f/html5/thumbnails/16.jpg)
Introducción
Extensión de medidas
σ−álgebra generada por rectángulos
Espacios de Banach universales
Objetivos
1. ¿Existe una medida que extienda la medida de Lebesgueen P(R)?
2. ¿Están todos los subconjuntos de R2 en la σ−álgebragenerada por los conjuntos de la forma A×B, donde A y Bson subconjuntos arbitrarios de R?
3. ¿Todos los espacios de Banach de la cardinalidad delcontinuo son isométricos (o al menos isomorfos) asubespacios del espacio cociente l∞/c0?
Grupo 1 Midiendo conjuntos no medibles
![Page 17: Midiendo conjuntos no medibles y espacios de Banach ... · PDF fileVI Escuela Taller de Análisis Funcional Tutor: Antonio Avilés ... conjunto X y una función f definida sobre X,](https://reader033.vdocuments.net/reader033/viewer/2022042600/5a796bca7f8b9ade698b511f/html5/thumbnails/17.jpg)
Introducción
Extensión de medidas
σ−álgebra generada por rectángulos
Espacios de Banach universales
Objetivos
1. ¿Existe una medida que extienda la medida de Lebesgueen P(R)?
2. ¿Están todos los subconjuntos de R2 en la σ−álgebragenerada por los conjuntos de la forma A×B, donde A y Bson subconjuntos arbitrarios de R?
3. ¿Todos los espacios de Banach de la cardinalidad delcontinuo son isométricos (o al menos isomorfos) asubespacios del espacio cociente l∞/c0?
Grupo 1 Midiendo conjuntos no medibles
![Page 18: Midiendo conjuntos no medibles y espacios de Banach ... · PDF fileVI Escuela Taller de Análisis Funcional Tutor: Antonio Avilés ... conjunto X y una función f definida sobre X,](https://reader033.vdocuments.net/reader033/viewer/2022042600/5a796bca7f8b9ade698b511f/html5/thumbnails/18.jpg)
Introducción
Extensión de medidas
σ−álgebra generada por rectángulos
Espacios de Banach universales
Objetivos
1. ¿Existe una medida que extienda la medida de Lebesgueen P(R)?
2. ¿Están todos los subconjuntos de R2 en la σ−álgebragenerada por los conjuntos de la forma A×B, donde A y Bson subconjuntos arbitrarios de R?
3. ¿Todos los espacios de Banach de la cardinalidad delcontinuo son isométricos (o al menos isomorfos) asubespacios del espacio cociente l∞/c0?
Grupo 1 Midiendo conjuntos no medibles
![Page 19: Midiendo conjuntos no medibles y espacios de Banach ... · PDF fileVI Escuela Taller de Análisis Funcional Tutor: Antonio Avilés ... conjunto X y una función f definida sobre X,](https://reader033.vdocuments.net/reader033/viewer/2022042600/5a796bca7f8b9ade698b511f/html5/thumbnails/19.jpg)
Introducción
Extensión de medidas
σ−álgebra generada por rectángulos
Espacios de Banach universales
NO 1: No existe ningunamedida λ que extienda ala medida de Lebesgue.
2: La σ−algebra de losrectangulos coincide conlas partes del plano.
3: l∞/c0 es un espacio deBanach universal.
Hipotesis del Continuo.
Grupo 1 Midiendo conjuntos no medibles
![Page 20: Midiendo conjuntos no medibles y espacios de Banach ... · PDF fileVI Escuela Taller de Análisis Funcional Tutor: Antonio Avilés ... conjunto X y una función f definida sobre X,](https://reader033.vdocuments.net/reader033/viewer/2022042600/5a796bca7f8b9ade698b511f/html5/thumbnails/20.jpg)
Introducción
Extensión de medidas
σ−álgebra generada por rectángulos
Espacios de Banach universales
Extensión de medidas
Pregunta 1
¿Existe una medida que extienda la medida de Lebesgue enP(R)?
Vitali demostró que no existe una medida así que seainvariante por traslaciones.Banach y Kuratowski demostraron que la Hipótesis delContinuo responde negativamente a la pregunta.Solovay demostró que “no se puede demostrar que no sepueda demostrar que la respuesta sea negativa.”
Grupo 1 Midiendo conjuntos no medibles
![Page 21: Midiendo conjuntos no medibles y espacios de Banach ... · PDF fileVI Escuela Taller de Análisis Funcional Tutor: Antonio Avilés ... conjunto X y una función f definida sobre X,](https://reader033.vdocuments.net/reader033/viewer/2022042600/5a796bca7f8b9ade698b511f/html5/thumbnails/21.jpg)
Introducción
Extensión de medidas
σ−álgebra generada por rectángulos
Espacios de Banach universales
Extensión de medidas
Pregunta 1
¿Existe una medida que extienda la medida de Lebesgue enP(R)?
Vitali demostró que no existe una medida así que seainvariante por traslaciones.
Banach y Kuratowski demostraron que la Hipótesis delContinuo responde negativamente a la pregunta.Solovay demostró que “no se puede demostrar que no sepueda demostrar que la respuesta sea negativa.”
Grupo 1 Midiendo conjuntos no medibles
![Page 22: Midiendo conjuntos no medibles y espacios de Banach ... · PDF fileVI Escuela Taller de Análisis Funcional Tutor: Antonio Avilés ... conjunto X y una función f definida sobre X,](https://reader033.vdocuments.net/reader033/viewer/2022042600/5a796bca7f8b9ade698b511f/html5/thumbnails/22.jpg)
Introducción
Extensión de medidas
σ−álgebra generada por rectángulos
Espacios de Banach universales
Extensión de medidas
Pregunta 1
¿Existe una medida que extienda la medida de Lebesgue enP(R)?
Vitali demostró que no existe una medida así que seainvariante por traslaciones.Banach y Kuratowski demostraron que la Hipótesis delContinuo responde negativamente a la pregunta.
Solovay demostró que “no se puede demostrar que no sepueda demostrar que la respuesta sea negativa.”
Grupo 1 Midiendo conjuntos no medibles
![Page 23: Midiendo conjuntos no medibles y espacios de Banach ... · PDF fileVI Escuela Taller de Análisis Funcional Tutor: Antonio Avilés ... conjunto X y una función f definida sobre X,](https://reader033.vdocuments.net/reader033/viewer/2022042600/5a796bca7f8b9ade698b511f/html5/thumbnails/23.jpg)
Introducción
Extensión de medidas
σ−álgebra generada por rectángulos
Espacios de Banach universales
Extensión de medidas
Pregunta 1
¿Existe una medida que extienda la medida de Lebesgue enP(R)?
Vitali demostró que no existe una medida así que seainvariante por traslaciones.Banach y Kuratowski demostraron que la Hipótesis delContinuo responde negativamente a la pregunta.Solovay demostró que “no se puede demostrar que no sepueda demostrar que la respuesta sea negativa.”
Grupo 1 Midiendo conjuntos no medibles
![Page 24: Midiendo conjuntos no medibles y espacios de Banach ... · PDF fileVI Escuela Taller de Análisis Funcional Tutor: Antonio Avilés ... conjunto X y una función f definida sobre X,](https://reader033.vdocuments.net/reader033/viewer/2022042600/5a796bca7f8b9ade698b511f/html5/thumbnails/24.jpg)
Introducción
Extensión de medidas
σ−álgebra generada por rectángulos
Espacios de Banach universales
Esta demostrado que no se puede demostrar que no se pueda demostrar que la respuesta sea negativa.
nexo verbosujeto atributo
C. directoverboAdvnexo Oracion subordinada Sujeto
Oracion subordinada Sujeto
verbo atributo Oracion subordinada Sujeto
nexo Adv verbo C. directo
Grupo 1 Midiendo conjuntos no medibles
![Page 25: Midiendo conjuntos no medibles y espacios de Banach ... · PDF fileVI Escuela Taller de Análisis Funcional Tutor: Antonio Avilés ... conjunto X y una función f definida sobre X,](https://reader033.vdocuments.net/reader033/viewer/2022042600/5a796bca7f8b9ade698b511f/html5/thumbnails/25.jpg)
Introducción
Extensión de medidas
σ−álgebra generada por rectángulos
Espacios de Banach universales
Extensión de medidas
Axioma
Existe una medida λ definida sobre todos los subconjuntos deR que coincide con la medida de Lebesgue en los conjuntos dela σ−álgebra de Lebesgue.
Teorema
Si el axioma es cierto, entonces existe un conjunto D ⊆ R2 talque D 6∈ σ2(R) = P(R)⊗ P(R).
Grupo 1 Midiendo conjuntos no medibles
![Page 26: Midiendo conjuntos no medibles y espacios de Banach ... · PDF fileVI Escuela Taller de Análisis Funcional Tutor: Antonio Avilés ... conjunto X y una función f definida sobre X,](https://reader033.vdocuments.net/reader033/viewer/2022042600/5a796bca7f8b9ade698b511f/html5/thumbnails/26.jpg)
Introducción
Extensión de medidas
σ−álgebra generada por rectángulos
Espacios de Banach universales
Extensión de medidas
Axioma
Existe una medida λ definida sobre todos los subconjuntos deR que coincide con la medida de Lebesgue en los conjuntos dela σ−álgebra de Lebesgue.
Teorema
Si el axioma es cierto, entonces existe un conjunto D ⊆ R2 talque D 6∈ σ2(R) = P(R)⊗ P(R).
Grupo 1 Midiendo conjuntos no medibles
![Page 27: Midiendo conjuntos no medibles y espacios de Banach ... · PDF fileVI Escuela Taller de Análisis Funcional Tutor: Antonio Avilés ... conjunto X y una función f definida sobre X,](https://reader033.vdocuments.net/reader033/viewer/2022042600/5a796bca7f8b9ade698b511f/html5/thumbnails/27.jpg)
Introducción
Extensión de medidas
σ−álgebra generada por rectángulos
Espacios de Banach universales
Extensión de medidas
Demostración.
Sea ≺ un buen orden de R. Denotamos
I≺(x) := {y ∈ R : y ≺ x}.
Hay dos opciones:Si λ(I≺(x)) = 0 para todo x ∈ R, tomaremos X = R.Si existe un x0 con λ(I≺(x0)) > 0, entonces tomamosX = I≺(x) con x = min≺{y ∈ R : λ(I≺(y)) > 0}.
En cualquier caso, sea D = {(x , y) ∈ X 2 : y ≺ x}.
Grupo 1 Midiendo conjuntos no medibles
![Page 28: Midiendo conjuntos no medibles y espacios de Banach ... · PDF fileVI Escuela Taller de Análisis Funcional Tutor: Antonio Avilés ... conjunto X y una función f definida sobre X,](https://reader033.vdocuments.net/reader033/viewer/2022042600/5a796bca7f8b9ade698b511f/html5/thumbnails/28.jpg)
Introducción
Extensión de medidas
σ−álgebra generada por rectángulos
Espacios de Banach universales
Extensión de medidas
Demostración.
Sea ≺ un buen orden de R. Denotamos
I≺(x) := {y ∈ R : y ≺ x}.
Hay dos opciones:
Si λ(I≺(x)) = 0 para todo x ∈ R, tomaremos X = R.Si existe un x0 con λ(I≺(x0)) > 0, entonces tomamosX = I≺(x) con x = min≺{y ∈ R : λ(I≺(y)) > 0}.
En cualquier caso, sea D = {(x , y) ∈ X 2 : y ≺ x}.
Grupo 1 Midiendo conjuntos no medibles
![Page 29: Midiendo conjuntos no medibles y espacios de Banach ... · PDF fileVI Escuela Taller de Análisis Funcional Tutor: Antonio Avilés ... conjunto X y una función f definida sobre X,](https://reader033.vdocuments.net/reader033/viewer/2022042600/5a796bca7f8b9ade698b511f/html5/thumbnails/29.jpg)
Introducción
Extensión de medidas
σ−álgebra generada por rectángulos
Espacios de Banach universales
Extensión de medidas
Demostración.
Sea ≺ un buen orden de R. Denotamos
I≺(x) := {y ∈ R : y ≺ x}.
Hay dos opciones:Si λ(I≺(x)) = 0 para todo x ∈ R, tomaremos X = R.
Si existe un x0 con λ(I≺(x0)) > 0, entonces tomamosX = I≺(x) con x = min≺{y ∈ R : λ(I≺(y)) > 0}.
En cualquier caso, sea D = {(x , y) ∈ X 2 : y ≺ x}.
Grupo 1 Midiendo conjuntos no medibles
![Page 30: Midiendo conjuntos no medibles y espacios de Banach ... · PDF fileVI Escuela Taller de Análisis Funcional Tutor: Antonio Avilés ... conjunto X y una función f definida sobre X,](https://reader033.vdocuments.net/reader033/viewer/2022042600/5a796bca7f8b9ade698b511f/html5/thumbnails/30.jpg)
Introducción
Extensión de medidas
σ−álgebra generada por rectángulos
Espacios de Banach universales
Extensión de medidas
Demostración.
Sea ≺ un buen orden de R. Denotamos
I≺(x) := {y ∈ R : y ≺ x}.
Hay dos opciones:Si λ(I≺(x)) = 0 para todo x ∈ R, tomaremos X = R.Si existe un x0 con λ(I≺(x0)) > 0, entonces tomamosX = I≺(x) con x = min≺{y ∈ R : λ(I≺(y)) > 0}.
En cualquier caso, sea D = {(x , y) ∈ X 2 : y ≺ x}.
Grupo 1 Midiendo conjuntos no medibles
![Page 31: Midiendo conjuntos no medibles y espacios de Banach ... · PDF fileVI Escuela Taller de Análisis Funcional Tutor: Antonio Avilés ... conjunto X y una función f definida sobre X,](https://reader033.vdocuments.net/reader033/viewer/2022042600/5a796bca7f8b9ade698b511f/html5/thumbnails/31.jpg)
Introducción
Extensión de medidas
σ−álgebra generada por rectángulos
Espacios de Banach universales
Extensión de medidas
Demostración.
Sea ≺ un buen orden de R. Denotamos
I≺(x) := {y ∈ R : y ≺ x}.
Hay dos opciones:Si λ(I≺(x)) = 0 para todo x ∈ R, tomaremos X = R.Si existe un x0 con λ(I≺(x0)) > 0, entonces tomamosX = I≺(x) con x = min≺{y ∈ R : λ(I≺(y)) > 0}.
En cualquier caso, sea D = {(x , y) ∈ X 2 : y ≺ x}.
Grupo 1 Midiendo conjuntos no medibles
![Page 32: Midiendo conjuntos no medibles y espacios de Banach ... · PDF fileVI Escuela Taller de Análisis Funcional Tutor: Antonio Avilés ... conjunto X y una función f definida sobre X,](https://reader033.vdocuments.net/reader033/viewer/2022042600/5a796bca7f8b9ade698b511f/html5/thumbnails/32.jpg)
Introducción
Extensión de medidas
σ−álgebra generada por rectángulos
Espacios de Banach universales
Extensión de medidas
Demostración.
Tenemos
Dx = {y ∈ X : (x , y) ∈ D} = {y ∈ X : y ≺ x} = I≺(x)
λ(Dx) = 0.
Por otro lado,
Dy = {x ∈ X : (x , y) ∈ D} = {x ∈ X : y ≺ x} = X \ I≺(y).
λ(Dy ) = λ(X \ I≺(y)) > 0.
Grupo 1 Midiendo conjuntos no medibles
![Page 33: Midiendo conjuntos no medibles y espacios de Banach ... · PDF fileVI Escuela Taller de Análisis Funcional Tutor: Antonio Avilés ... conjunto X y una función f definida sobre X,](https://reader033.vdocuments.net/reader033/viewer/2022042600/5a796bca7f8b9ade698b511f/html5/thumbnails/33.jpg)
Introducción
Extensión de medidas
σ−álgebra generada por rectángulos
Espacios de Banach universales
Extensión de medidas
Demostración.
Tenemos
Dx = {y ∈ X : (x , y) ∈ D} = {y ∈ X : y ≺ x} = I≺(x)
λ(Dx) = 0.
Por otro lado,
Dy = {x ∈ X : (x , y) ∈ D} = {x ∈ X : y ≺ x} = X \ I≺(y).
λ(Dy ) = λ(X \ I≺(y)) > 0.
Grupo 1 Midiendo conjuntos no medibles
![Page 34: Midiendo conjuntos no medibles y espacios de Banach ... · PDF fileVI Escuela Taller de Análisis Funcional Tutor: Antonio Avilés ... conjunto X y una función f definida sobre X,](https://reader033.vdocuments.net/reader033/viewer/2022042600/5a796bca7f8b9ade698b511f/html5/thumbnails/34.jpg)
Introducción
Extensión de medidas
σ−álgebra generada por rectángulos
Espacios de Banach universales
Extensión de medidas
Demostración.
Tenemos
Dx = {y ∈ X : (x , y) ∈ D} = {y ∈ X : y ≺ x} = I≺(x)
λ(Dx) = 0.
Por otro lado,
Dy = {x ∈ X : (x , y) ∈ D} = {x ∈ X : y ≺ x} = X \ I≺(y).
λ(Dy ) = λ(X \ I≺(y)) > 0.
Grupo 1 Midiendo conjuntos no medibles
![Page 35: Midiendo conjuntos no medibles y espacios de Banach ... · PDF fileVI Escuela Taller de Análisis Funcional Tutor: Antonio Avilés ... conjunto X y una función f definida sobre X,](https://reader033.vdocuments.net/reader033/viewer/2022042600/5a796bca7f8b9ade698b511f/html5/thumbnails/35.jpg)
Introducción
Extensión de medidas
σ−álgebra generada por rectángulos
Espacios de Banach universales
Extensión de medidas
Demostración.
Tenemos
Dx = {y ∈ X : (x , y) ∈ D} = {y ∈ X : y ≺ x} = I≺(x)
λ(Dx) = 0.
Por otro lado,
Dy = {x ∈ X : (x , y) ∈ D} = {x ∈ X : y ≺ x} = X \ I≺(y).
λ(Dy ) = λ(X \ I≺(y)) > 0.
Grupo 1 Midiendo conjuntos no medibles
![Page 36: Midiendo conjuntos no medibles y espacios de Banach ... · PDF fileVI Escuela Taller de Análisis Funcional Tutor: Antonio Avilés ... conjunto X y una función f definida sobre X,](https://reader033.vdocuments.net/reader033/viewer/2022042600/5a796bca7f8b9ade698b511f/html5/thumbnails/36.jpg)
Introducción
Extensión de medidas
σ−álgebra generada por rectángulos
Espacios de Banach universales
Extensión de medidas
Demostración.
Supongamos que D ∈ σ2(R).
Por el teorema de Fubini:
λ⊗ λ(D) =
∫Rλ(Dx)dλ(x) =
∫Rλ(Dy )dλ(y)
Por un lado tenemos,∫Rλ(Dx)dλ(x) =
∫R
0dλ(x) = 0
y por el otro ∫Rλ(Dy )dλ(y) =
∫Xλ(Dy )dλ(y) > 0.
Grupo 1 Midiendo conjuntos no medibles
![Page 37: Midiendo conjuntos no medibles y espacios de Banach ... · PDF fileVI Escuela Taller de Análisis Funcional Tutor: Antonio Avilés ... conjunto X y una función f definida sobre X,](https://reader033.vdocuments.net/reader033/viewer/2022042600/5a796bca7f8b9ade698b511f/html5/thumbnails/37.jpg)
Introducción
Extensión de medidas
σ−álgebra generada por rectángulos
Espacios de Banach universales
Extensión de medidas
Demostración.
Supongamos que D ∈ σ2(R). Por el teorema de Fubini:
λ⊗ λ(D) =
∫Rλ(Dx)dλ(x) =
∫Rλ(Dy )dλ(y)
Por un lado tenemos,∫Rλ(Dx)dλ(x) =
∫R
0dλ(x) = 0
y por el otro ∫Rλ(Dy )dλ(y) =
∫Xλ(Dy )dλ(y) > 0.
Grupo 1 Midiendo conjuntos no medibles
![Page 38: Midiendo conjuntos no medibles y espacios de Banach ... · PDF fileVI Escuela Taller de Análisis Funcional Tutor: Antonio Avilés ... conjunto X y una función f definida sobre X,](https://reader033.vdocuments.net/reader033/viewer/2022042600/5a796bca7f8b9ade698b511f/html5/thumbnails/38.jpg)
Introducción
Extensión de medidas
σ−álgebra generada por rectángulos
Espacios de Banach universales
Extensión de medidas
Demostración.
Supongamos que D ∈ σ2(R). Por el teorema de Fubini:
λ⊗ λ(D) =
∫Rλ(Dx)dλ(x) =
∫Rλ(Dy )dλ(y)
Por un lado tenemos,∫Rλ(Dx)dλ(x) =
∫R
0dλ(x) = 0
y por el otro ∫Rλ(Dy )dλ(y) =
∫Xλ(Dy )dλ(y) > 0.
Grupo 1 Midiendo conjuntos no medibles
![Page 39: Midiendo conjuntos no medibles y espacios de Banach ... · PDF fileVI Escuela Taller de Análisis Funcional Tutor: Antonio Avilés ... conjunto X y una función f definida sobre X,](https://reader033.vdocuments.net/reader033/viewer/2022042600/5a796bca7f8b9ade698b511f/html5/thumbnails/39.jpg)
Introducción
Extensión de medidas
σ−álgebra generada por rectángulos
Espacios de Banach universales
Extensión de medidas
Demostración.
Supongamos que D ∈ σ2(R). Por el teorema de Fubini:
λ⊗ λ(D) =
∫Rλ(Dx)dλ(x) =
∫Rλ(Dy )dλ(y)
Por un lado tenemos,∫Rλ(Dx)dλ(x) =
∫R
0dλ(x) = 0
y por el otro ∫Rλ(Dy )dλ(y) =
∫Xλ(Dy )dλ(y) > 0.
Grupo 1 Midiendo conjuntos no medibles
![Page 40: Midiendo conjuntos no medibles y espacios de Banach ... · PDF fileVI Escuela Taller de Análisis Funcional Tutor: Antonio Avilés ... conjunto X y una función f definida sobre X,](https://reader033.vdocuments.net/reader033/viewer/2022042600/5a796bca7f8b9ade698b511f/html5/thumbnails/40.jpg)
Introducción
Extensión de medidas
σ−álgebra generada por rectángulos
Espacios de Banach universales
NO 1: No existe ningunamedida λ que extienda ala medida de Lebesgue.
2: La σ−algebra de losrectangulos coincide conlas partes del plano.
3: l∞/c0 es un espacio deBanach universal.
Hipotesis del Continuo.
Grupo 1 Midiendo conjuntos no medibles
![Page 41: Midiendo conjuntos no medibles y espacios de Banach ... · PDF fileVI Escuela Taller de Análisis Funcional Tutor: Antonio Avilés ... conjunto X y una función f definida sobre X,](https://reader033.vdocuments.net/reader033/viewer/2022042600/5a796bca7f8b9ade698b511f/html5/thumbnails/41.jpg)
Introducción
Extensión de medidas
σ−álgebra generada por rectángulos
Espacios de Banach universales
NO 1: No existe ningunamedida λ que extienda ala medida de Lebesgue.
2: La σ−algebra de losrectangulos coincide conlas partes del plano.
3: l∞/c0 es un espacio deBanach universal.
Hipotesis del Continuo.
Grupo 1 Midiendo conjuntos no medibles
![Page 42: Midiendo conjuntos no medibles y espacios de Banach ... · PDF fileVI Escuela Taller de Análisis Funcional Tutor: Antonio Avilés ... conjunto X y una función f definida sobre X,](https://reader033.vdocuments.net/reader033/viewer/2022042600/5a796bca7f8b9ade698b511f/html5/thumbnails/42.jpg)
Introducción
Extensión de medidas
σ−álgebra generada por rectángulos
Espacios de Banach universales
σ−álgebra generada por rectángulos
Pregunta 2
¿Están todos los subconjuntos de R2 en la σ−álgebragenerada por los conjuntos de la forma A× B, donde A y B sonsubconjuntos arbitrarios de R?
1. Fue formulada por Ulam en el año 1938.2. Rothberger demostró que la Hipótesis del Continuo implica
que la respuesta a dicha pregunta es “Sí”.3. Kunen hizo notar que otros axiomas conocidos implican
que la respuesta es “No”.
Grupo 1 Midiendo conjuntos no medibles
![Page 43: Midiendo conjuntos no medibles y espacios de Banach ... · PDF fileVI Escuela Taller de Análisis Funcional Tutor: Antonio Avilés ... conjunto X y una función f definida sobre X,](https://reader033.vdocuments.net/reader033/viewer/2022042600/5a796bca7f8b9ade698b511f/html5/thumbnails/43.jpg)
Introducción
Extensión de medidas
σ−álgebra generada por rectángulos
Espacios de Banach universales
σ−álgebra generada por rectángulos
Pregunta 2
¿Están todos los subconjuntos de R2 en la σ−álgebragenerada por los conjuntos de la forma A× B, donde A y B sonsubconjuntos arbitrarios de R?
1. Fue formulada por Ulam en el año 1938.2. Rothberger demostró que la Hipótesis del Continuo implica
que la respuesta a dicha pregunta es “Sí”.3. Kunen hizo notar que otros axiomas conocidos implican
que la respuesta es “No”.
Grupo 1 Midiendo conjuntos no medibles
![Page 44: Midiendo conjuntos no medibles y espacios de Banach ... · PDF fileVI Escuela Taller de Análisis Funcional Tutor: Antonio Avilés ... conjunto X y una función f definida sobre X,](https://reader033.vdocuments.net/reader033/viewer/2022042600/5a796bca7f8b9ade698b511f/html5/thumbnails/44.jpg)
Introducción
Extensión de medidas
σ−álgebra generada por rectángulos
Espacios de Banach universales
σ−álgebra generada por rectángulos
Pregunta 2
¿Están todos los subconjuntos de R2 en la σ−álgebragenerada por los conjuntos de la forma A× B, donde A y B sonsubconjuntos arbitrarios de R?
1. Fue formulada por Ulam en el año 1938.
2. Rothberger demostró que la Hipótesis del Continuo implicaque la respuesta a dicha pregunta es “Sí”.
3. Kunen hizo notar que otros axiomas conocidos implicanque la respuesta es “No”.
Grupo 1 Midiendo conjuntos no medibles
![Page 45: Midiendo conjuntos no medibles y espacios de Banach ... · PDF fileVI Escuela Taller de Análisis Funcional Tutor: Antonio Avilés ... conjunto X y una función f definida sobre X,](https://reader033.vdocuments.net/reader033/viewer/2022042600/5a796bca7f8b9ade698b511f/html5/thumbnails/45.jpg)
Introducción
Extensión de medidas
σ−álgebra generada por rectángulos
Espacios de Banach universales
σ−álgebra generada por rectángulos
Pregunta 2
¿Están todos los subconjuntos de R2 en la σ−álgebragenerada por los conjuntos de la forma A× B, donde A y B sonsubconjuntos arbitrarios de R?
1. Fue formulada por Ulam en el año 1938.2. Rothberger demostró que la Hipótesis del Continuo implica
que la respuesta a dicha pregunta es “Sí”.
3. Kunen hizo notar que otros axiomas conocidos implicanque la respuesta es “No”.
Grupo 1 Midiendo conjuntos no medibles
![Page 46: Midiendo conjuntos no medibles y espacios de Banach ... · PDF fileVI Escuela Taller de Análisis Funcional Tutor: Antonio Avilés ... conjunto X y una función f definida sobre X,](https://reader033.vdocuments.net/reader033/viewer/2022042600/5a796bca7f8b9ade698b511f/html5/thumbnails/46.jpg)
Introducción
Extensión de medidas
σ−álgebra generada por rectángulos
Espacios de Banach universales
σ−álgebra generada por rectángulos
Pregunta 2
¿Están todos los subconjuntos de R2 en la σ−álgebragenerada por los conjuntos de la forma A× B, donde A y B sonsubconjuntos arbitrarios de R?
1. Fue formulada por Ulam en el año 1938.2. Rothberger demostró que la Hipótesis del Continuo implica
que la respuesta a dicha pregunta es “Sí”.3. Kunen hizo notar que otros axiomas conocidos implican
que la respuesta es “No”.
Grupo 1 Midiendo conjuntos no medibles
![Page 47: Midiendo conjuntos no medibles y espacios de Banach ... · PDF fileVI Escuela Taller de Análisis Funcional Tutor: Antonio Avilés ... conjunto X y una función f definida sobre X,](https://reader033.vdocuments.net/reader033/viewer/2022042600/5a796bca7f8b9ade698b511f/html5/thumbnails/47.jpg)
Introducción
Extensión de medidas
σ−álgebra generada por rectángulos
Espacios de Banach universales
σ−álgebra generada por rectángulos
Pregunta 2
¿Están todos los subconjuntos de R2 en la σ−álgebragenerada por los conjuntos de la forma A× B, donde A y B sonsubconjuntos arbitrarios de R?
1. Fue formulada por Ulam en el año 1938.2. Rothberger demostró que la Hipótesis del Continuo implica
que la respuesta a dicha pregunta es “Sí”.3. Kunen hizo notar que otros axiomas conocidos implican
que la respuesta es “No”.
Grupo 1 Midiendo conjuntos no medibles
![Page 48: Midiendo conjuntos no medibles y espacios de Banach ... · PDF fileVI Escuela Taller de Análisis Funcional Tutor: Antonio Avilés ... conjunto X y una función f definida sobre X,](https://reader033.vdocuments.net/reader033/viewer/2022042600/5a796bca7f8b9ade698b511f/html5/thumbnails/48.jpg)
Introducción
Extensión de medidas
σ−álgebra generada por rectángulos
Espacios de Banach universales
NO 1: No existe ningunamedida λ que extienda ala medida de Lebesgue.
2: La σ−algebra de losrectangulos coincide conlas partes del plano.
3: l∞/c0 es un espacio deBanach universal.
Hipotesis del Continuo.
Grupo 1 Midiendo conjuntos no medibles
![Page 49: Midiendo conjuntos no medibles y espacios de Banach ... · PDF fileVI Escuela Taller de Análisis Funcional Tutor: Antonio Avilés ... conjunto X y una función f definida sobre X,](https://reader033.vdocuments.net/reader033/viewer/2022042600/5a796bca7f8b9ade698b511f/html5/thumbnails/49.jpg)
Introducción
Extensión de medidas
σ−álgebra generada por rectángulos
Espacios de Banach universales
Espacios de Banach universales
Pregunta 3
¿Todos los espacios de Banach de la cardinalidad del continuoson isométricos (o al menos isomorfos) a subespacios delespacio cociente l∞/c0?
Grupo 1 Midiendo conjuntos no medibles
![Page 50: Midiendo conjuntos no medibles y espacios de Banach ... · PDF fileVI Escuela Taller de Análisis Funcional Tutor: Antonio Avilés ... conjunto X y una función f definida sobre X,](https://reader033.vdocuments.net/reader033/viewer/2022042600/5a796bca7f8b9ade698b511f/html5/thumbnails/50.jpg)
Introducción
Extensión de medidas
σ−álgebra generada por rectángulos
Espacios de Banach universales
Espacios de Banach universales
Pregunta 3
¿Todos los espacios de Banach de la cardinalidad del continuoson isométricos (o al menos isomorfos) a subespacios delespacio cociente l∞/c0?
Grupo 1 Midiendo conjuntos no medibles
![Page 51: Midiendo conjuntos no medibles y espacios de Banach ... · PDF fileVI Escuela Taller de Análisis Funcional Tutor: Antonio Avilés ... conjunto X y una función f definida sobre X,](https://reader033.vdocuments.net/reader033/viewer/2022042600/5a796bca7f8b9ade698b511f/html5/thumbnails/51.jpg)
Introducción
Extensión de medidas
σ−álgebra generada por rectángulos
Espacios de Banach universales
Espacios de Banach universales
Lema
Si f : X −→ Y es una función, entonces la funciónf × f : X × X −→ Y × Y, dada por
(f × f )(x1, x2) = (f (x1), f (x2)),
es σ2(X )− σ2(Y )− medible.
Demostración.
Se sigue del hecho de que
(f × f )−1(A× B) = f−1(A)× f−1(B).
Grupo 1 Midiendo conjuntos no medibles
![Page 52: Midiendo conjuntos no medibles y espacios de Banach ... · PDF fileVI Escuela Taller de Análisis Funcional Tutor: Antonio Avilés ... conjunto X y una función f definida sobre X,](https://reader033.vdocuments.net/reader033/viewer/2022042600/5a796bca7f8b9ade698b511f/html5/thumbnails/52.jpg)
Introducción
Extensión de medidas
σ−álgebra generada por rectángulos
Espacios de Banach universales
Espacios de Banach universales
Lema
Si f : X −→ Y es una función, entonces la funciónf × f : X × X −→ Y × Y, dada por
(f × f )(x1, x2) = (f (x1), f (x2)),
es σ2(X )− σ2(Y )− medible.
Demostración.
Se sigue del hecho de que
(f × f )−1(A× B) = f−1(A)× f−1(B).
Grupo 1 Midiendo conjuntos no medibles
![Page 53: Midiendo conjuntos no medibles y espacios de Banach ... · PDF fileVI Escuela Taller de Análisis Funcional Tutor: Antonio Avilés ... conjunto X y una función f definida sobre X,](https://reader033.vdocuments.net/reader033/viewer/2022042600/5a796bca7f8b9ade698b511f/html5/thumbnails/53.jpg)
Introducción
Extensión de medidas
σ−álgebra generada por rectángulos
Espacios de Banach universales
Espacios de Banach universales
Lema
Se tiene que el conjunto {(a,b) ∈ R2 : a < b} ∈ σ2(R).
Demostración.
Podemos escribir nuestro conjunto {(a,b) ∈ R2 : a < b} comola siguiente unión de rectángulos:
{(a,b) ∈ R2 : a < b} =⋃
I1,I2⊂RI1 × I2,
donde I1, I2 ⊂ R son intervalos de extremos racionales queverifican max(I1) < min(I2).
Grupo 1 Midiendo conjuntos no medibles
![Page 54: Midiendo conjuntos no medibles y espacios de Banach ... · PDF fileVI Escuela Taller de Análisis Funcional Tutor: Antonio Avilés ... conjunto X y una función f definida sobre X,](https://reader033.vdocuments.net/reader033/viewer/2022042600/5a796bca7f8b9ade698b511f/html5/thumbnails/54.jpg)
Introducción
Extensión de medidas
σ−álgebra generada por rectángulos
Espacios de Banach universales
Espacios de Banach universales
Lema
Se tiene que el conjunto {(a,b) ∈ R2 : a < b} ∈ σ2(R).
Demostración.
Podemos escribir nuestro conjunto {(a,b) ∈ R2 : a < b} comola siguiente unión de rectángulos:
{(a,b) ∈ R2 : a < b} =⋃
I1,I2⊂RI1 × I2,
donde I1, I2 ⊂ R son intervalos de extremos racionales queverifican max(I1) < min(I2).
Grupo 1 Midiendo conjuntos no medibles
![Page 55: Midiendo conjuntos no medibles y espacios de Banach ... · PDF fileVI Escuela Taller de Análisis Funcional Tutor: Antonio Avilés ... conjunto X y una función f definida sobre X,](https://reader033.vdocuments.net/reader033/viewer/2022042600/5a796bca7f8b9ade698b511f/html5/thumbnails/55.jpg)
Introducción
Extensión de medidas
σ−álgebra generada por rectángulos
Espacios de Banach universales
Espacios de Banach universales
Lema
Si A ⊂ R, entonces A′ := {(a,a) : a ∈ A} ∈ σ2(R).
Demostración.
La idea consiste en demostrarlo por doble contención, tratandode ver
A′ =⋂ n⋃
k=1
(A ∩ Ik )× (A ∩ Ik ),
donde I1, . . . , In son intervalos con extremos racionales talesque I1 ∪ I2 ∪ . . . In = R.
Grupo 1 Midiendo conjuntos no medibles
![Page 56: Midiendo conjuntos no medibles y espacios de Banach ... · PDF fileVI Escuela Taller de Análisis Funcional Tutor: Antonio Avilés ... conjunto X y una función f definida sobre X,](https://reader033.vdocuments.net/reader033/viewer/2022042600/5a796bca7f8b9ade698b511f/html5/thumbnails/56.jpg)
Introducción
Extensión de medidas
σ−álgebra generada por rectángulos
Espacios de Banach universales
Espacios de Banach universales
Lema
Si A ⊂ R, entonces A′ := {(a,a) : a ∈ A} ∈ σ2(R).
Demostración.
Si escribimos el intervalos Ik = (pk ,qk ) siendo pk ,qk ∈ Qtenemos que la parte derecha se convierte en
B :=⋂ n⋃
k=1
(A ∩ Ik )× (A ∩ Ik ) =⋂ n⋃
k=1
{(a,a) : pk < a < qk}.
Grupo 1 Midiendo conjuntos no medibles
![Page 57: Midiendo conjuntos no medibles y espacios de Banach ... · PDF fileVI Escuela Taller de Análisis Funcional Tutor: Antonio Avilés ... conjunto X y una función f definida sobre X,](https://reader033.vdocuments.net/reader033/viewer/2022042600/5a796bca7f8b9ade698b511f/html5/thumbnails/57.jpg)
Introducción
Extensión de medidas
σ−álgebra generada por rectángulos
Espacios de Banach universales
Espacios de Banach universales
Axioma (Afirmación de la Pregunta 2)
Todos los subconjuntos de R2 están en la σ−álgebra generadapor todos los conjuntos de la forma A× B, donde A y B sonconjuntos arbitrarios de R.
Teorema
Si el axioma anterior es falso, entonces existe un espacio deBanach de la cardinalidad del continuo que no es isométrico aningún subespacio de l∞/c0.
Grupo 1 Midiendo conjuntos no medibles
![Page 58: Midiendo conjuntos no medibles y espacios de Banach ... · PDF fileVI Escuela Taller de Análisis Funcional Tutor: Antonio Avilés ... conjunto X y una función f definida sobre X,](https://reader033.vdocuments.net/reader033/viewer/2022042600/5a796bca7f8b9ade698b511f/html5/thumbnails/58.jpg)
Introducción
Extensión de medidas
σ−álgebra generada por rectángulos
Espacios de Banach universales
Espacios de Banach universales
Axioma (Afirmación de la Pregunta 2)
Todos los subconjuntos de R2 están en la σ−álgebra generadapor todos los conjuntos de la forma A× B, donde A y B sonconjuntos arbitrarios de R.
Teorema
Si el axioma anterior es falso, entonces existe un espacio deBanach de la cardinalidad del continuo que no es isométrico aningún subespacio de l∞/c0.
Grupo 1 Midiendo conjuntos no medibles
![Page 59: Midiendo conjuntos no medibles y espacios de Banach ... · PDF fileVI Escuela Taller de Análisis Funcional Tutor: Antonio Avilés ... conjunto X y una función f definida sobre X,](https://reader033.vdocuments.net/reader033/viewer/2022042600/5a796bca7f8b9ade698b511f/html5/thumbnails/59.jpg)
Introducción
Extensión de medidas
σ−álgebra generada por rectángulos
Espacios de Banach universales
Espacios de Banach universales
Como vamos a trabajar en el espacio cociente l∞/c0 debemosconsiderar la norma dada por
‖x‖l∞/c0= ‖x + c0‖l∞/c0
:= inf{‖x + y‖l∞ : y ∈ c0},
siendo x un representante de la clase x ∈ l∞/c0.
Un resultado fundamental para la demostración será laequivalencia de
limsupn→+∞
|xn| = inf{
supn∈N|xn + yn| : yn −→ 0
}=: ‖x‖l∞/c0
.
Grupo 1 Midiendo conjuntos no medibles
![Page 60: Midiendo conjuntos no medibles y espacios de Banach ... · PDF fileVI Escuela Taller de Análisis Funcional Tutor: Antonio Avilés ... conjunto X y una función f definida sobre X,](https://reader033.vdocuments.net/reader033/viewer/2022042600/5a796bca7f8b9ade698b511f/html5/thumbnails/60.jpg)
Introducción
Extensión de medidas
σ−álgebra generada por rectángulos
Espacios de Banach universales
Espacios de Banach universales
Como vamos a trabajar en el espacio cociente l∞/c0 debemosconsiderar la norma dada por
‖x‖l∞/c0= ‖x + c0‖l∞/c0
:= inf{‖x + y‖l∞ : y ∈ c0},
siendo x un representante de la clase x ∈ l∞/c0.Un resultado fundamental para la demostración será laequivalencia de
limsupn→+∞
|xn| = inf{
supn∈N|xn + yn| : yn −→ 0
}=: ‖x‖l∞/c0
.
Grupo 1 Midiendo conjuntos no medibles
![Page 61: Midiendo conjuntos no medibles y espacios de Banach ... · PDF fileVI Escuela Taller de Análisis Funcional Tutor: Antonio Avilés ... conjunto X y una función f definida sobre X,](https://reader033.vdocuments.net/reader033/viewer/2022042600/5a796bca7f8b9ade698b511f/html5/thumbnails/61.jpg)
Introducción
Extensión de medidas
σ−álgebra generada por rectángulos
Espacios de Banach universales
NO 1: No existe ningunamedida λ que extienda ala medida de Lebesgue.
2: La σ−algebra de losrectangulos coincide conlas partes del plano.
3: l∞/c0 es un espacio deBanach universal.
Hipotesis del Continuo.
Grupo 1 Midiendo conjuntos no medibles
![Page 62: Midiendo conjuntos no medibles y espacios de Banach ... · PDF fileVI Escuela Taller de Análisis Funcional Tutor: Antonio Avilés ... conjunto X y una función f definida sobre X,](https://reader033.vdocuments.net/reader033/viewer/2022042600/5a796bca7f8b9ade698b511f/html5/thumbnails/62.jpg)
Introducción
Extensión de medidas
σ−álgebra generada por rectángulos
Espacios de Banach universales
Espacios de Banach universales
Axioma (Afirmación de la Pregunta 2)
Todos los subconjuntos de R2 están en la σ−álgebra generadapor todos los conjuntos de la forma A× B, donde A y B sonconjuntos arbitrarios de R.
Teorema
Si el axioma anterior es falso, entonces existe un espacio deBanach de la cardinalidad del continuo que no es isométrico aningún subespacio de l∞/c0.
Grupo 1 Midiendo conjuntos no medibles
![Page 63: Midiendo conjuntos no medibles y espacios de Banach ... · PDF fileVI Escuela Taller de Análisis Funcional Tutor: Antonio Avilés ... conjunto X y una función f definida sobre X,](https://reader033.vdocuments.net/reader033/viewer/2022042600/5a796bca7f8b9ade698b511f/html5/thumbnails/63.jpg)
Introducción
Extensión de medidas
σ−álgebra generada por rectángulos
Espacios de Banach universales
Espacios de Banach universales
Supongamos que existe un conjunto E ⊂ R2 que no pertenecea la σ−álgebra σ2(R).
Podemos escribir nuestro conjunto E dela siguiente manera
E = E1 ∪ E2 ∪ E3
siendoE1 = {(a,b) ∈ E : a < b},E2 = {(a,b) ∈ E : a = b},E3 = {(a,b) ∈ E : a > b}.
Grupo 1 Midiendo conjuntos no medibles
![Page 64: Midiendo conjuntos no medibles y espacios de Banach ... · PDF fileVI Escuela Taller de Análisis Funcional Tutor: Antonio Avilés ... conjunto X y una función f definida sobre X,](https://reader033.vdocuments.net/reader033/viewer/2022042600/5a796bca7f8b9ade698b511f/html5/thumbnails/64.jpg)
Introducción
Extensión de medidas
σ−álgebra generada por rectángulos
Espacios de Banach universales
Espacios de Banach universales
Supongamos que existe un conjunto E ⊂ R2 que no pertenecea la σ−álgebra σ2(R). Podemos escribir nuestro conjunto E dela siguiente manera
E = E1 ∪ E2 ∪ E3
siendo
E1 = {(a,b) ∈ E : a < b},E2 = {(a,b) ∈ E : a = b},E3 = {(a,b) ∈ E : a > b}.
Grupo 1 Midiendo conjuntos no medibles
![Page 65: Midiendo conjuntos no medibles y espacios de Banach ... · PDF fileVI Escuela Taller de Análisis Funcional Tutor: Antonio Avilés ... conjunto X y una función f definida sobre X,](https://reader033.vdocuments.net/reader033/viewer/2022042600/5a796bca7f8b9ade698b511f/html5/thumbnails/65.jpg)
Introducción
Extensión de medidas
σ−álgebra generada por rectángulos
Espacios de Banach universales
Espacios de Banach universales
Supongamos que existe un conjunto E ⊂ R2 que no pertenecea la σ−álgebra σ2(R). Podemos escribir nuestro conjunto E dela siguiente manera
E = E1 ∪ E2 ∪ E3
siendoE1 = {(a,b) ∈ E : a < b},
E2 = {(a,b) ∈ E : a = b},E3 = {(a,b) ∈ E : a > b}.
Grupo 1 Midiendo conjuntos no medibles
![Page 66: Midiendo conjuntos no medibles y espacios de Banach ... · PDF fileVI Escuela Taller de Análisis Funcional Tutor: Antonio Avilés ... conjunto X y una función f definida sobre X,](https://reader033.vdocuments.net/reader033/viewer/2022042600/5a796bca7f8b9ade698b511f/html5/thumbnails/66.jpg)
Introducción
Extensión de medidas
σ−álgebra generada por rectángulos
Espacios de Banach universales
Espacios de Banach universales
Supongamos que existe un conjunto E ⊂ R2 que no pertenecea la σ−álgebra σ2(R). Podemos escribir nuestro conjunto E dela siguiente manera
E = E1 ∪ E2 ∪ E3
siendoE1 = {(a,b) ∈ E : a < b},E2 = {(a,b) ∈ E : a = b},
E3 = {(a,b) ∈ E : a > b}.
Grupo 1 Midiendo conjuntos no medibles
![Page 67: Midiendo conjuntos no medibles y espacios de Banach ... · PDF fileVI Escuela Taller de Análisis Funcional Tutor: Antonio Avilés ... conjunto X y una función f definida sobre X,](https://reader033.vdocuments.net/reader033/viewer/2022042600/5a796bca7f8b9ade698b511f/html5/thumbnails/67.jpg)
Introducción
Extensión de medidas
σ−álgebra generada por rectángulos
Espacios de Banach universales
Espacios de Banach universales
Supongamos que existe un conjunto E ⊂ R2 que no pertenecea la σ−álgebra σ2(R). Podemos escribir nuestro conjunto E dela siguiente manera
E = E1 ∪ E2 ∪ E3
siendoE1 = {(a,b) ∈ E : a < b},E2 = {(a,b) ∈ E : a = b},E3 = {(a,b) ∈ E : a > b}.
Grupo 1 Midiendo conjuntos no medibles
![Page 68: Midiendo conjuntos no medibles y espacios de Banach ... · PDF fileVI Escuela Taller de Análisis Funcional Tutor: Antonio Avilés ... conjunto X y una función f definida sobre X,](https://reader033.vdocuments.net/reader033/viewer/2022042600/5a796bca7f8b9ade698b511f/html5/thumbnails/68.jpg)
Introducción
Extensión de medidas
σ−álgebra generada por rectángulos
Espacios de Banach universales
Espacios de Banach universales
Lema
Existe un espacio de Banach XE de cardinalidad del continuo y vectores{ea : a ∈ R} de X unitarios tales que para todo a < b se verifican
1. ‖ea + eb‖ = 2 si (a, b) ∈ E.
2. ‖ea + eb‖ = 1 si (a, b) 6∈ E.
Demostración.
Dada una función f : R −→ R definiremos
‖f‖∞ = sup{|f (a)| : a ∈ R},‖f‖E := sup{|f (a) + f (b)| : (a, b) ∈ E},‖f‖ := max{‖f‖∞, ‖f‖E},
así como el espacio
Y := {f : R −→ R : ‖f‖ < +∞}.
Grupo 1 Midiendo conjuntos no medibles
![Page 69: Midiendo conjuntos no medibles y espacios de Banach ... · PDF fileVI Escuela Taller de Análisis Funcional Tutor: Antonio Avilés ... conjunto X y una función f definida sobre X,](https://reader033.vdocuments.net/reader033/viewer/2022042600/5a796bca7f8b9ade698b511f/html5/thumbnails/69.jpg)
Introducción
Extensión de medidas
σ−álgebra generada por rectángulos
Espacios de Banach universales
Espacios de Banach universales
Lema
Existe un espacio de Banach XE de cardinalidad del continuo y vectores{ea : a ∈ R} de X unitarios tales que para todo a < b se verifican
1. ‖ea + eb‖ = 2 si (a, b) ∈ E.
2. ‖ea + eb‖ = 1 si (a, b) 6∈ E.
Demostración.
Dada una función f : R −→ R definiremos
‖f‖∞ = sup{|f (a)| : a ∈ R},‖f‖E := sup{|f (a) + f (b)| : (a, b) ∈ E},‖f‖ := max{‖f‖∞, ‖f‖E},
así como el espacio
Y := {f : R −→ R : ‖f‖ < +∞}.
Grupo 1 Midiendo conjuntos no medibles
![Page 70: Midiendo conjuntos no medibles y espacios de Banach ... · PDF fileVI Escuela Taller de Análisis Funcional Tutor: Antonio Avilés ... conjunto X y una función f definida sobre X,](https://reader033.vdocuments.net/reader033/viewer/2022042600/5a796bca7f8b9ade698b511f/html5/thumbnails/70.jpg)
Introducción
Extensión de medidas
σ−álgebra generada por rectángulos
Espacios de Banach universales
Espacios de Banach universales
Lema
Existe un espacio de Banach XE de cardinalidad del continuo y vectores{ea : a ∈ R} de X unitarios tales que para todo a < b se verifican
1. ‖ea + eb‖ = 2 si (a, b) ∈ E.
2. ‖ea + eb‖ = 1 si (a, b) 6∈ E.
Demostración.
Dada una función f : R −→ R definiremos
‖f‖∞ = sup{|f (a)| : a ∈ R},‖f‖E := sup{|f (a) + f (b)| : (a, b) ∈ E},‖f‖ := max{‖f‖∞, ‖f‖E},
así como el espacio
Y := {f : R −→ R : ‖f‖ < +∞}.
Grupo 1 Midiendo conjuntos no medibles
![Page 71: Midiendo conjuntos no medibles y espacios de Banach ... · PDF fileVI Escuela Taller de Análisis Funcional Tutor: Antonio Avilés ... conjunto X y una función f definida sobre X,](https://reader033.vdocuments.net/reader033/viewer/2022042600/5a796bca7f8b9ade698b511f/html5/thumbnails/71.jpg)
Introducción
Extensión de medidas
σ−álgebra generada por rectángulos
Espacios de Banach universales
Espacios de Banach universales
Lema
Existe un espacio de Banach XE de cardinalidad del continuo y vectores{ea : a ∈ R} de X unitarios tales que para todo a < b se verifican
1. ‖ea + eb‖ = 2 si (a, b) ∈ E.
2. ‖ea + eb‖ = 1 si (a, b) 6∈ E.
Demostración.
Dada una función f : R −→ R definiremos
‖f‖∞ = sup{|f (a)| : a ∈ R},‖f‖E := sup{|f (a) + f (b)| : (a, b) ∈ E},‖f‖ := max{‖f‖∞, ‖f‖E},
así como el espacio
Y := {f : R −→ R : ‖f‖ < +∞}.
Grupo 1 Midiendo conjuntos no medibles
![Page 72: Midiendo conjuntos no medibles y espacios de Banach ... · PDF fileVI Escuela Taller de Análisis Funcional Tutor: Antonio Avilés ... conjunto X y una función f definida sobre X,](https://reader033.vdocuments.net/reader033/viewer/2022042600/5a796bca7f8b9ade698b511f/html5/thumbnails/72.jpg)
Introducción
Extensión de medidas
σ−álgebra generada por rectángulos
Espacios de Banach universales
Espacios de Banach universales
Lema
Existe un espacio de Banach XE de cardinalidad del continuo y vectores{ea : a ∈ R} de X unitarios tales que para todo a < b se verifican
1. ‖ea + eb‖ = 2 si (a, b) ∈ E.
2. ‖ea + eb‖ = 1 si (a, b) 6∈ E.
Demostración.
Dada una función f : R −→ R definiremos
‖f‖∞ = sup{|f (a)| : a ∈ R},
‖f‖E := sup{|f (a) + f (b)| : (a, b) ∈ E},‖f‖ := max{‖f‖∞, ‖f‖E},
así como el espacio
Y := {f : R −→ R : ‖f‖ < +∞}.
Grupo 1 Midiendo conjuntos no medibles
![Page 73: Midiendo conjuntos no medibles y espacios de Banach ... · PDF fileVI Escuela Taller de Análisis Funcional Tutor: Antonio Avilés ... conjunto X y una función f definida sobre X,](https://reader033.vdocuments.net/reader033/viewer/2022042600/5a796bca7f8b9ade698b511f/html5/thumbnails/73.jpg)
Introducción
Extensión de medidas
σ−álgebra generada por rectángulos
Espacios de Banach universales
Espacios de Banach universales
Lema
Existe un espacio de Banach XE de cardinalidad del continuo y vectores{ea : a ∈ R} de X unitarios tales que para todo a < b se verifican
1. ‖ea + eb‖ = 2 si (a, b) ∈ E.
2. ‖ea + eb‖ = 1 si (a, b) 6∈ E.
Demostración.
Dada una función f : R −→ R definiremos
‖f‖∞ = sup{|f (a)| : a ∈ R},‖f‖E := sup{|f (a) + f (b)| : (a, b) ∈ E},
‖f‖ := max{‖f‖∞, ‖f‖E},
así como el espacio
Y := {f : R −→ R : ‖f‖ < +∞}.
Grupo 1 Midiendo conjuntos no medibles
![Page 74: Midiendo conjuntos no medibles y espacios de Banach ... · PDF fileVI Escuela Taller de Análisis Funcional Tutor: Antonio Avilés ... conjunto X y una función f definida sobre X,](https://reader033.vdocuments.net/reader033/viewer/2022042600/5a796bca7f8b9ade698b511f/html5/thumbnails/74.jpg)
Introducción
Extensión de medidas
σ−álgebra generada por rectángulos
Espacios de Banach universales
Espacios de Banach universales
Lema
Existe un espacio de Banach XE de cardinalidad del continuo y vectores{ea : a ∈ R} de X unitarios tales que para todo a < b se verifican
1. ‖ea + eb‖ = 2 si (a, b) ∈ E.
2. ‖ea + eb‖ = 1 si (a, b) 6∈ E.
Demostración.
Dada una función f : R −→ R definiremos
‖f‖∞ = sup{|f (a)| : a ∈ R},‖f‖E := sup{|f (a) + f (b)| : (a, b) ∈ E},‖f‖ := max{‖f‖∞, ‖f‖E},
así como el espacio
Y := {f : R −→ R : ‖f‖ < +∞}.
Grupo 1 Midiendo conjuntos no medibles
![Page 75: Midiendo conjuntos no medibles y espacios de Banach ... · PDF fileVI Escuela Taller de Análisis Funcional Tutor: Antonio Avilés ... conjunto X y una función f definida sobre X,](https://reader033.vdocuments.net/reader033/viewer/2022042600/5a796bca7f8b9ade698b511f/html5/thumbnails/75.jpg)
Introducción
Extensión de medidas
σ−álgebra generada por rectángulos
Espacios de Banach universales
Espacios de Banach universales
Lema
Existe un espacio de Banach XE de cardinalidad del continuo y vectores{ea : a ∈ R} de X unitarios tales que para todo a < b se verifican
1. ‖ea + eb‖ = 2 si (a, b) ∈ E.
2. ‖ea + eb‖ = 1 si (a, b) 6∈ E.
Demostración.
Dada una función f : R −→ R definiremos
‖f‖∞ = sup{|f (a)| : a ∈ R},‖f‖E := sup{|f (a) + f (b)| : (a, b) ∈ E},‖f‖ := max{‖f‖∞, ‖f‖E},
así como el espacio
Y := {f : R −→ R : ‖f‖ < +∞}.
Grupo 1 Midiendo conjuntos no medibles
![Page 76: Midiendo conjuntos no medibles y espacios de Banach ... · PDF fileVI Escuela Taller de Análisis Funcional Tutor: Antonio Avilés ... conjunto X y una función f definida sobre X,](https://reader033.vdocuments.net/reader033/viewer/2022042600/5a796bca7f8b9ade698b511f/html5/thumbnails/76.jpg)
Introducción
Extensión de medidas
σ−álgebra generada por rectángulos
Espacios de Banach universales
Espacios de Banach universales
Demostración.
Consideremos la función característica ea ∈ Y del punto a ∈ R
ea(a) = 1, y ea(b) = 0, ∀b 6= a.
Se tiene que (Y , ‖ · ‖) conforma un espacio de Banach. Además, losvectores ea cumplen
1. ‖ea + eb‖ = 2 si (a,b) ∈ E .
2. ‖ea + eb‖ = 1 si (a,b) 6∈ E .
3. ‖ea‖ = 1 ∀a ∈ R.
Basta considerar entonces el espacio de Banach
XE := span{ea : a ∈ R},
el cual tiene la cardinalidad del continuo.
Grupo 1 Midiendo conjuntos no medibles
![Page 77: Midiendo conjuntos no medibles y espacios de Banach ... · PDF fileVI Escuela Taller de Análisis Funcional Tutor: Antonio Avilés ... conjunto X y una función f definida sobre X,](https://reader033.vdocuments.net/reader033/viewer/2022042600/5a796bca7f8b9ade698b511f/html5/thumbnails/77.jpg)
Introducción
Extensión de medidas
σ−álgebra generada por rectángulos
Espacios de Banach universales
Espacios de Banach universales
Demostración.
Consideremos la función característica ea ∈ Y del punto a ∈ R
ea(a) = 1, y ea(b) = 0, ∀b 6= a.
Se tiene que (Y , ‖ · ‖) conforma un espacio de Banach.
Además, losvectores ea cumplen
1. ‖ea + eb‖ = 2 si (a,b) ∈ E .
2. ‖ea + eb‖ = 1 si (a,b) 6∈ E .
3. ‖ea‖ = 1 ∀a ∈ R.
Basta considerar entonces el espacio de Banach
XE := span{ea : a ∈ R},
el cual tiene la cardinalidad del continuo.
Grupo 1 Midiendo conjuntos no medibles
![Page 78: Midiendo conjuntos no medibles y espacios de Banach ... · PDF fileVI Escuela Taller de Análisis Funcional Tutor: Antonio Avilés ... conjunto X y una función f definida sobre X,](https://reader033.vdocuments.net/reader033/viewer/2022042600/5a796bca7f8b9ade698b511f/html5/thumbnails/78.jpg)
Introducción
Extensión de medidas
σ−álgebra generada por rectángulos
Espacios de Banach universales
Espacios de Banach universales
Demostración.
Consideremos la función característica ea ∈ Y del punto a ∈ R
ea(a) = 1, y ea(b) = 0, ∀b 6= a.
Se tiene que (Y , ‖ · ‖) conforma un espacio de Banach. Además, losvectores ea cumplen
1. ‖ea + eb‖ = 2 si (a,b) ∈ E .
2. ‖ea + eb‖ = 1 si (a,b) 6∈ E .
3. ‖ea‖ = 1 ∀a ∈ R.
Basta considerar entonces el espacio de Banach
XE := span{ea : a ∈ R},
el cual tiene la cardinalidad del continuo.
Grupo 1 Midiendo conjuntos no medibles
![Page 79: Midiendo conjuntos no medibles y espacios de Banach ... · PDF fileVI Escuela Taller de Análisis Funcional Tutor: Antonio Avilés ... conjunto X y una función f definida sobre X,](https://reader033.vdocuments.net/reader033/viewer/2022042600/5a796bca7f8b9ade698b511f/html5/thumbnails/79.jpg)
Introducción
Extensión de medidas
σ−álgebra generada por rectángulos
Espacios de Banach universales
Espacios de Banach universales
Demostración.
Consideremos la función característica ea ∈ Y del punto a ∈ R
ea(a) = 1, y ea(b) = 0, ∀b 6= a.
Se tiene que (Y , ‖ · ‖) conforma un espacio de Banach. Además, losvectores ea cumplen
1. ‖ea + eb‖ = 2 si (a,b) ∈ E .
2. ‖ea + eb‖ = 1 si (a,b) 6∈ E .
3. ‖ea‖ = 1 ∀a ∈ R.
Basta considerar entonces el espacio de Banach
XE := span{ea : a ∈ R},
el cual tiene la cardinalidad del continuo.Grupo 1 Midiendo conjuntos no medibles
![Page 80: Midiendo conjuntos no medibles y espacios de Banach ... · PDF fileVI Escuela Taller de Análisis Funcional Tutor: Antonio Avilés ... conjunto X y una función f definida sobre X,](https://reader033.vdocuments.net/reader033/viewer/2022042600/5a796bca7f8b9ade698b511f/html5/thumbnails/80.jpg)
Introducción
Extensión de medidas
σ−álgebra generada por rectángulos
Espacios de Banach universales
Espacios de Banach universales
Teorema
El conjunto XE construido anteriormente es un espacio de Banach dela cardinalidad del continuo que no es isométrico a ningúnsubespacio de l∞/c0.
Demostración.
Supongamos para ello que tenemos una isometría
T : XE −→ l∞/c0
y denotemos mediante
S(a) := (S(a)n)n∈N ∈ l∞
a un representante cualquiera de la clase de equivalencia de T (ea)en el espacio cociente l∞/c0.
Grupo 1 Midiendo conjuntos no medibles
![Page 81: Midiendo conjuntos no medibles y espacios de Banach ... · PDF fileVI Escuela Taller de Análisis Funcional Tutor: Antonio Avilés ... conjunto X y una función f definida sobre X,](https://reader033.vdocuments.net/reader033/viewer/2022042600/5a796bca7f8b9ade698b511f/html5/thumbnails/81.jpg)
Introducción
Extensión de medidas
σ−álgebra generada por rectángulos
Espacios de Banach universales
Espacios de Banach universales
Teorema
El conjunto XE construido anteriormente es un espacio de Banach dela cardinalidad del continuo que no es isométrico a ningúnsubespacio de l∞/c0.
Demostración.
Supongamos para ello que tenemos una isometría
T : XE −→ l∞/c0
y denotemos mediante
S(a) := (S(a)n)n∈N ∈ l∞
a un representante cualquiera de la clase de equivalencia de T (ea)en el espacio cociente l∞/c0.
Grupo 1 Midiendo conjuntos no medibles
![Page 82: Midiendo conjuntos no medibles y espacios de Banach ... · PDF fileVI Escuela Taller de Análisis Funcional Tutor: Antonio Avilés ... conjunto X y una función f definida sobre X,](https://reader033.vdocuments.net/reader033/viewer/2022042600/5a796bca7f8b9ade698b511f/html5/thumbnails/82.jpg)
Introducción
Extensión de medidas
σ−álgebra generada por rectángulos
Espacios de Banach universales
Espacios de Banach universales
Teorema
El conjunto XE construido anteriormente es un espacio de Banach dela cardinalidad del continuo que no es isométrico a ningúnsubespacio de l∞/c0.
Demostración.
Supongamos para ello que tenemos una isometría
T : XE −→ l∞/c0
y denotemos mediante
S(a) := (S(a)n)n∈N ∈ l∞
a un representante cualquiera de la clase de equivalencia de T (ea)en el espacio cociente l∞/c0.
Grupo 1 Midiendo conjuntos no medibles
![Page 83: Midiendo conjuntos no medibles y espacios de Banach ... · PDF fileVI Escuela Taller de Análisis Funcional Tutor: Antonio Avilés ... conjunto X y una función f definida sobre X,](https://reader033.vdocuments.net/reader033/viewer/2022042600/5a796bca7f8b9ade698b511f/html5/thumbnails/83.jpg)
Introducción
Extensión de medidas
σ−álgebra generada por rectángulos
Espacios de Banach universales
Espacios de Banach universales
Demostración.
Definimos a continuación los conjuntos
An = {a ∈ R : S(a)n > 2/3},Bn = {a ∈ R : S(a)n < −2/3}.
La idea consistirá en demostrar que podemos escribir
E =
⋂m∈N
⋃n≥m
An × An
∪⋂
m∈N
⋃n≥m
Bn × Bn
,
lo cual nos llevará a contradicción con la suposición dada en elaxioma de que E 6∈ σ2(R).
Grupo 1 Midiendo conjuntos no medibles
![Page 84: Midiendo conjuntos no medibles y espacios de Banach ... · PDF fileVI Escuela Taller de Análisis Funcional Tutor: Antonio Avilés ... conjunto X y una función f definida sobre X,](https://reader033.vdocuments.net/reader033/viewer/2022042600/5a796bca7f8b9ade698b511f/html5/thumbnails/84.jpg)
Introducción
Extensión de medidas
σ−álgebra generada por rectángulos
Espacios de Banach universales
Espacios de Banach universales
Demostración.
Definimos a continuación los conjuntos
An = {a ∈ R : S(a)n > 2/3},
Bn = {a ∈ R : S(a)n < −2/3}.
La idea consistirá en demostrar que podemos escribir
E =
⋂m∈N
⋃n≥m
An × An
∪⋂
m∈N
⋃n≥m
Bn × Bn
,
lo cual nos llevará a contradicción con la suposición dada en elaxioma de que E 6∈ σ2(R).
Grupo 1 Midiendo conjuntos no medibles
![Page 85: Midiendo conjuntos no medibles y espacios de Banach ... · PDF fileVI Escuela Taller de Análisis Funcional Tutor: Antonio Avilés ... conjunto X y una función f definida sobre X,](https://reader033.vdocuments.net/reader033/viewer/2022042600/5a796bca7f8b9ade698b511f/html5/thumbnails/85.jpg)
Introducción
Extensión de medidas
σ−álgebra generada por rectángulos
Espacios de Banach universales
Espacios de Banach universales
Demostración.
Definimos a continuación los conjuntos
An = {a ∈ R : S(a)n > 2/3},Bn = {a ∈ R : S(a)n < −2/3}.
La idea consistirá en demostrar que podemos escribir
E =
⋂m∈N
⋃n≥m
An × An
∪⋂
m∈N
⋃n≥m
Bn × Bn
,
lo cual nos llevará a contradicción con la suposición dada en elaxioma de que E 6∈ σ2(R).
Grupo 1 Midiendo conjuntos no medibles
![Page 86: Midiendo conjuntos no medibles y espacios de Banach ... · PDF fileVI Escuela Taller de Análisis Funcional Tutor: Antonio Avilés ... conjunto X y una función f definida sobre X,](https://reader033.vdocuments.net/reader033/viewer/2022042600/5a796bca7f8b9ade698b511f/html5/thumbnails/86.jpg)
Introducción
Extensión de medidas
σ−álgebra generada por rectángulos
Espacios de Banach universales
Espacios de Banach universales
Demostración.
Definimos a continuación los conjuntos
An = {a ∈ R : S(a)n > 2/3},Bn = {a ∈ R : S(a)n < −2/3}.
La idea consistirá en demostrar que podemos escribir
E =
⋂m∈N
⋃n≥m
An × An
∪⋂
m∈N
⋃n≥m
Bn × Bn
,
lo cual nos llevará a contradicción con la suposición dada en elaxioma de que E 6∈ σ2(R).
Grupo 1 Midiendo conjuntos no medibles
![Page 87: Midiendo conjuntos no medibles y espacios de Banach ... · PDF fileVI Escuela Taller de Análisis Funcional Tutor: Antonio Avilés ... conjunto X y una función f definida sobre X,](https://reader033.vdocuments.net/reader033/viewer/2022042600/5a796bca7f8b9ade698b511f/html5/thumbnails/87.jpg)
Introducción
Extensión de medidas
σ−álgebra generada por rectángulos
Espacios de Banach universales
Espacios de Banach universales
Demostración.
Tomemos para ello a < b tal que (a,b) ∈ E . Vimos entoncesque
‖ea + eb‖ = 2,
por lo que al ser T una isometría y gracias a la elección de Scomo representante obtenemos que
‖T (ea) + T (eb)‖ =limsupn→+∞
|S(a)n + S(b)n| = 2.
Grupo 1 Midiendo conjuntos no medibles
![Page 88: Midiendo conjuntos no medibles y espacios de Banach ... · PDF fileVI Escuela Taller de Análisis Funcional Tutor: Antonio Avilés ... conjunto X y una función f definida sobre X,](https://reader033.vdocuments.net/reader033/viewer/2022042600/5a796bca7f8b9ade698b511f/html5/thumbnails/88.jpg)
Introducción
Extensión de medidas
σ−álgebra generada por rectángulos
Espacios de Banach universales
Espacios de Banach universales
Demostración.
Consideremos primero el caso en que
limsupn→+∞
(S(a)n + S(b)n) = 2.
Debido a que ‖ea‖ = ‖eb‖ = 1 obtenemos que |S(a)n|, |S(b)n| ≤ 7/6para casi todo n ∈ N (por ejemplo). En consecuencia, debe ser
S(a)n > 2/3 y S(b)n > 2/3,
ya que en caso contrario (supongamos que S(a)n ≤ 2/3) tendríamosque
|S(a)n + S(b)n| ≤ |S(a)n|+ |S(b)n| ≤23+
76=
116< 2,
lo cual no es posible.
Grupo 1 Midiendo conjuntos no medibles
![Page 89: Midiendo conjuntos no medibles y espacios de Banach ... · PDF fileVI Escuela Taller de Análisis Funcional Tutor: Antonio Avilés ... conjunto X y una función f definida sobre X,](https://reader033.vdocuments.net/reader033/viewer/2022042600/5a796bca7f8b9ade698b511f/html5/thumbnails/89.jpg)
Introducción
Extensión de medidas
σ−álgebra generada por rectángulos
Espacios de Banach universales
Espacios de Banach universales
Demostración.
Consideremos primero el caso en que
limsupn→+∞
(S(a)n + S(b)n) = 2.
Debido a que ‖ea‖ = ‖eb‖ = 1 obtenemos que |S(a)n|, |S(b)n| ≤ 7/6para casi todo n ∈ N (por ejemplo). En consecuencia, debe ser
S(a)n > 2/3 y S(b)n > 2/3,
ya que en caso contrario (supongamos que S(a)n ≤ 2/3) tendríamosque
|S(a)n + S(b)n| ≤ |S(a)n|+ |S(b)n| ≤23+
76=
116< 2,
lo cual no es posible.
Grupo 1 Midiendo conjuntos no medibles
![Page 90: Midiendo conjuntos no medibles y espacios de Banach ... · PDF fileVI Escuela Taller de Análisis Funcional Tutor: Antonio Avilés ... conjunto X y una función f definida sobre X,](https://reader033.vdocuments.net/reader033/viewer/2022042600/5a796bca7f8b9ade698b511f/html5/thumbnails/90.jpg)
Introducción
Extensión de medidas
σ−álgebra generada por rectángulos
Espacios de Banach universales
Espacios de Banach universales
Demostración.
Consideremos primero el caso en que
limsupn→+∞
(S(a)n + S(b)n) = 2.
Debido a que ‖ea‖ = ‖eb‖ = 1 obtenemos que |S(a)n|, |S(b)n| ≤ 7/6para casi todo n ∈ N (por ejemplo). En consecuencia, debe ser
S(a)n > 2/3 y S(b)n > 2/3,
ya que en caso contrario (supongamos que S(a)n ≤ 2/3) tendríamosque
|S(a)n + S(b)n| ≤ |S(a)n|+ |S(b)n| ≤23+
76=
116< 2,
lo cual no es posible.Grupo 1 Midiendo conjuntos no medibles
![Page 91: Midiendo conjuntos no medibles y espacios de Banach ... · PDF fileVI Escuela Taller de Análisis Funcional Tutor: Antonio Avilés ... conjunto X y una función f definida sobre X,](https://reader033.vdocuments.net/reader033/viewer/2022042600/5a796bca7f8b9ade698b511f/html5/thumbnails/91.jpg)
Introducción
Extensión de medidas
σ−álgebra generada por rectángulos
Espacios de Banach universales
Espacios de Banach universales
Demostración.
Luego, (a, b) ∈ An × An ocurre para un número infinito de índices, lo cualsignifica que
(a, b) ∈
⋂m∈N
⋃n≥m
An × An
.
Análogamente, si tomamos el caso en que
limsupn→+∞
(S(a)n + S(b)n) = −2,
llegaríamos a que
(a, b) ∈
⋂m∈N
⋃n≥m
Bn × Bn
.
Grupo 1 Midiendo conjuntos no medibles
![Page 92: Midiendo conjuntos no medibles y espacios de Banach ... · PDF fileVI Escuela Taller de Análisis Funcional Tutor: Antonio Avilés ... conjunto X y una función f definida sobre X,](https://reader033.vdocuments.net/reader033/viewer/2022042600/5a796bca7f8b9ade698b511f/html5/thumbnails/92.jpg)
Introducción
Extensión de medidas
σ−álgebra generada por rectángulos
Espacios de Banach universales
Espacios de Banach universales
Demostración.
Luego, (a, b) ∈ An × An ocurre para un número infinito de índices, lo cualsignifica que
(a, b) ∈
⋂m∈N
⋃n≥m
An × An
.
Análogamente, si tomamos el caso en que
limsupn→+∞
(S(a)n + S(b)n) = −2,
llegaríamos a que
(a, b) ∈
⋂m∈N
⋃n≥m
Bn × Bn
.
Grupo 1 Midiendo conjuntos no medibles
![Page 93: Midiendo conjuntos no medibles y espacios de Banach ... · PDF fileVI Escuela Taller de Análisis Funcional Tutor: Antonio Avilés ... conjunto X y una función f definida sobre X,](https://reader033.vdocuments.net/reader033/viewer/2022042600/5a796bca7f8b9ade698b511f/html5/thumbnails/93.jpg)
Introducción
Extensión de medidas
σ−álgebra generada por rectángulos
Espacios de Banach universales
Espacios de Banach universales
Demostración.
Para demostrar la inclusión contraria, tomemos (a,b) tal que
(a,b) ∈
⋂m∈N
⋃n≥m
An × An
∪⋂
m∈N
⋃n≥m
Bn × Bn
.
Por lo tanto, a,b ∈ An para infinitos índices n ∈ N de modo que
limsupn→+∞
|S(a)n + S(b)n| > 1.
Luego, deducimos que ‖ea + eb‖ > 1, por lo que (a,b) ∈ E .Hemos probado entonces que E es un elemento de la σ−álgebragenerada por rectángulos σ2(R), lo cual contradice la suposiciónrealizada.
Grupo 1 Midiendo conjuntos no medibles
![Page 94: Midiendo conjuntos no medibles y espacios de Banach ... · PDF fileVI Escuela Taller de Análisis Funcional Tutor: Antonio Avilés ... conjunto X y una función f definida sobre X,](https://reader033.vdocuments.net/reader033/viewer/2022042600/5a796bca7f8b9ade698b511f/html5/thumbnails/94.jpg)
Introducción
Extensión de medidas
σ−álgebra generada por rectángulos
Espacios de Banach universales
Espacios de Banach universales
Demostración.
Para demostrar la inclusión contraria, tomemos (a,b) tal que
(a,b) ∈
⋂m∈N
⋃n≥m
An × An
∪⋂
m∈N
⋃n≥m
Bn × Bn
.
Por lo tanto, a,b ∈ An para infinitos índices n ∈ N de modo que
limsupn→+∞
|S(a)n + S(b)n| > 1.
Luego, deducimos que ‖ea + eb‖ > 1, por lo que (a,b) ∈ E .Hemos probado entonces que E es un elemento de la σ−álgebragenerada por rectángulos σ2(R), lo cual contradice la suposiciónrealizada.
Grupo 1 Midiendo conjuntos no medibles
![Page 95: Midiendo conjuntos no medibles y espacios de Banach ... · PDF fileVI Escuela Taller de Análisis Funcional Tutor: Antonio Avilés ... conjunto X y una función f definida sobre X,](https://reader033.vdocuments.net/reader033/viewer/2022042600/5a796bca7f8b9ade698b511f/html5/thumbnails/95.jpg)
Introducción
Extensión de medidas
σ−álgebra generada por rectángulos
Espacios de Banach universales
Espacios de Banach universales
Demostración.
Para demostrar la inclusión contraria, tomemos (a,b) tal que
(a,b) ∈
⋂m∈N
⋃n≥m
An × An
∪⋂
m∈N
⋃n≥m
Bn × Bn
.
Por lo tanto, a,b ∈ An para infinitos índices n ∈ N de modo que
limsupn→+∞
|S(a)n + S(b)n| > 1.
Luego, deducimos que ‖ea + eb‖ > 1, por lo que (a,b) ∈ E .Hemos probado entonces que E es un elemento de la σ−álgebragenerada por rectángulos σ2(R), lo cual contradice la suposiciónrealizada.
Grupo 1 Midiendo conjuntos no medibles
![Page 96: Midiendo conjuntos no medibles y espacios de Banach ... · PDF fileVI Escuela Taller de Análisis Funcional Tutor: Antonio Avilés ... conjunto X y una función f definida sobre X,](https://reader033.vdocuments.net/reader033/viewer/2022042600/5a796bca7f8b9ade698b511f/html5/thumbnails/96.jpg)
Introducción
Extensión de medidas
σ−álgebra generada por rectángulos
Espacios de Banach universales
NO 1: No existe ningunamedida λ que extienda ala medida de Lebesgue.
2: La σ−algebra de losrectangulos coincide conlas partes del plano.
3: l∞/c0 es un espacio deBanach universal.
Hipotesis del Continuo.
Grupo 1 Midiendo conjuntos no medibles
![Page 97: Midiendo conjuntos no medibles y espacios de Banach ... · PDF fileVI Escuela Taller de Análisis Funcional Tutor: Antonio Avilés ... conjunto X y una función f definida sobre X,](https://reader033.vdocuments.net/reader033/viewer/2022042600/5a796bca7f8b9ade698b511f/html5/thumbnails/97.jpg)
Introducción
Extensión de medidas
σ−álgebra generada por rectángulos
Espacios de Banach universales
NO 1: No existe ningunamedida λ que extienda ala medida de Lebesgue.
2: La σ−algebra de losrectangulos coincide conlas partes del plano.
3: l∞/c0 es un espacio deBanach universal.
Hipotesis del Continuo.
Grupo 1 Midiendo conjuntos no medibles
![Page 98: Midiendo conjuntos no medibles y espacios de Banach ... · PDF fileVI Escuela Taller de Análisis Funcional Tutor: Antonio Avilés ... conjunto X y una función f definida sobre X,](https://reader033.vdocuments.net/reader033/viewer/2022042600/5a796bca7f8b9ade698b511f/html5/thumbnails/98.jpg)
Introducción
Extensión de medidas
σ−álgebra generada por rectángulos
Espacios de Banach universales
NO 1: No existe ningunamedida λ que extienda ala medida de Lebesgue.
2: La σ−algebra de losrectangulos coincide conlas partes del plano.
3: l∞/c0 es un espacio deBanach universal.
Hipotesis del Continuo.
Grupo 1 Midiendo conjuntos no medibles
![Page 99: Midiendo conjuntos no medibles y espacios de Banach ... · PDF fileVI Escuela Taller de Análisis Funcional Tutor: Antonio Avilés ... conjunto X y una función f definida sobre X,](https://reader033.vdocuments.net/reader033/viewer/2022042600/5a796bca7f8b9ade698b511f/html5/thumbnails/99.jpg)
Introducción
Extensión de medidas
σ−álgebra generada por rectángulos
Espacios de Banach universales
Espacios de Banach universales
Teorema
Sea X un espacio de Banach, Y una subálgebra separable deX, x ∈ X, y T : Y −→ l∞/c0 una isometría multiplicativa.Entonces existe una isometría multiplicativaT : Alg(Y , x) −→ l∞/c0 que extiende a T .
Esto nos permitiría demostrar el siguiente resultado.
Teorema
Si la Hipótesis del Continuo es cierta, entonces todo espaciode Banach de cardinalidad el continuo es isométrico a unsubespacio de l∞/c0.
Grupo 1 Midiendo conjuntos no medibles
![Page 100: Midiendo conjuntos no medibles y espacios de Banach ... · PDF fileVI Escuela Taller de Análisis Funcional Tutor: Antonio Avilés ... conjunto X y una función f definida sobre X,](https://reader033.vdocuments.net/reader033/viewer/2022042600/5a796bca7f8b9ade698b511f/html5/thumbnails/100.jpg)
Introducción
Extensión de medidas
σ−álgebra generada por rectángulos
Espacios de Banach universales
Espacios de Banach universales
Teorema
Sea X un espacio de Banach, Y una subálgebra separable deX, x ∈ X, y T : Y −→ l∞/c0 una isometría multiplicativa.Entonces existe una isometría multiplicativaT : Alg(Y , x) −→ l∞/c0 que extiende a T .
Esto nos permitiría demostrar el siguiente resultado.
Teorema
Si la Hipótesis del Continuo es cierta, entonces todo espaciode Banach de cardinalidad el continuo es isométrico a unsubespacio de l∞/c0.
Grupo 1 Midiendo conjuntos no medibles
![Page 101: Midiendo conjuntos no medibles y espacios de Banach ... · PDF fileVI Escuela Taller de Análisis Funcional Tutor: Antonio Avilés ... conjunto X y una función f definida sobre X,](https://reader033.vdocuments.net/reader033/viewer/2022042600/5a796bca7f8b9ade698b511f/html5/thumbnails/101.jpg)
Introducción
Extensión de medidas
σ−álgebra generada por rectángulos
Espacios de Banach universales
Espacios de Banach universales
Teorema
Sea X un espacio de Banach, Y una subálgebra separable deX, x ∈ X, y T : Y −→ l∞/c0 una isometría multiplicativa.Entonces existe una isometría multiplicativaT : Alg(Y , x) −→ l∞/c0 que extiende a T .
Esto nos permitiría demostrar el siguiente resultado.
Teorema
Si la Hipótesis del Continuo es cierta, entonces todo espaciode Banach de cardinalidad el continuo es isométrico a unsubespacio de l∞/c0.
Grupo 1 Midiendo conjuntos no medibles
![Page 102: Midiendo conjuntos no medibles y espacios de Banach ... · PDF fileVI Escuela Taller de Análisis Funcional Tutor: Antonio Avilés ... conjunto X y una función f definida sobre X,](https://reader033.vdocuments.net/reader033/viewer/2022042600/5a796bca7f8b9ade698b511f/html5/thumbnails/102.jpg)
Introducción
Extensión de medidas
σ−álgebra generada por rectángulos
Espacios de Banach universales
Espacios de Banach universales
Teorema
Sea X un espacio de Banach, Y una subálgebra separable deX, x ∈ X, y T : Y −→ l∞/c0 una isometría multiplicativa.Entonces existe una isometría multiplicativaT : Alg(Y , x) −→ l∞/c0 que extiende a T .
Esto nos permitiría demostrar el siguiente resultado.
Teorema
Si la Hipótesis del Continuo es cierta, entonces todo espaciode Banach de cardinalidad el continuo es isométrico a unsubespacio de l∞/c0.
Grupo 1 Midiendo conjuntos no medibles
![Page 103: Midiendo conjuntos no medibles y espacios de Banach ... · PDF fileVI Escuela Taller de Análisis Funcional Tutor: Antonio Avilés ... conjunto X y una función f definida sobre X,](https://reader033.vdocuments.net/reader033/viewer/2022042600/5a796bca7f8b9ade698b511f/html5/thumbnails/103.jpg)
Introducción
Extensión de medidas
σ−álgebra generada por rectángulos
Espacios de Banach universales
Espacios de Banach universales
Ejemplo
Sin utilizar ningún axioma fuera de ZFC, se puede demostrarque l∞ ↪→ l∞/c0.
Para ello basta considerar la aplicación
(xn)n∈N 7−→ (x1, x1, x2, x1, x2, x3, . . .).
Grupo 1 Midiendo conjuntos no medibles
![Page 104: Midiendo conjuntos no medibles y espacios de Banach ... · PDF fileVI Escuela Taller de Análisis Funcional Tutor: Antonio Avilés ... conjunto X y una función f definida sobre X,](https://reader033.vdocuments.net/reader033/viewer/2022042600/5a796bca7f8b9ade698b511f/html5/thumbnails/104.jpg)
Introducción
Extensión de medidas
σ−álgebra generada por rectángulos
Espacios de Banach universales
Espacios de Banach universales
Ejemplo
Sin utilizar ningún axioma fuera de ZFC, se puede demostrarque l∞ ↪→ l∞/c0.Para ello basta considerar la aplicación
(xn)n∈N 7−→ (x1, x1, x2, x1, x2, x3, . . .).
Grupo 1 Midiendo conjuntos no medibles
![Page 105: Midiendo conjuntos no medibles y espacios de Banach ... · PDF fileVI Escuela Taller de Análisis Funcional Tutor: Antonio Avilés ... conjunto X y una función f definida sobre X,](https://reader033.vdocuments.net/reader033/viewer/2022042600/5a796bca7f8b9ade698b511f/html5/thumbnails/105.jpg)
Introducción
Extensión de medidas
σ−álgebra generada por rectángulos
Espacios de Banach universales
NO 1: No existe ningunamedida λ que extienda ala medida de Lebesgue.
2: La σ−algebra de losrectangulos coincide conlas partes del plano.
3: l∞/c0 es un espacio deBanach universal.
Hipotesis del Continuo.
Grupo 1 Midiendo conjuntos no medibles
![Page 106: Midiendo conjuntos no medibles y espacios de Banach ... · PDF fileVI Escuela Taller de Análisis Funcional Tutor: Antonio Avilés ... conjunto X y una función f definida sobre X,](https://reader033.vdocuments.net/reader033/viewer/2022042600/5a796bca7f8b9ade698b511f/html5/thumbnails/106.jpg)
Introducción
Extensión de medidas
σ−álgebra generada por rectángulos
Espacios de Banach universales
NO 1: No existe ningunamedida λ que extienda ala medida de Lebesgue.
2: La σ−algebra de losrectangulos coincide conlas partes del plano.
3: l∞/c0 es un espacio deBanach universal.
Hipotesis del Continuo.
Grupo 1 Midiendo conjuntos no medibles
![Page 107: Midiendo conjuntos no medibles y espacios de Banach ... · PDF fileVI Escuela Taller de Análisis Funcional Tutor: Antonio Avilés ... conjunto X y una función f definida sobre X,](https://reader033.vdocuments.net/reader033/viewer/2022042600/5a796bca7f8b9ade698b511f/html5/thumbnails/107.jpg)
Introducción
Extensión de medidas
σ−álgebra generada por rectángulos
Espacios de Banach universales
NO 1: No existe ningunamedida λ que extienda ala medida de Lebesgue.
2: La σ−algebra de losrectangulos coincide conlas partes del plano.
3: l∞/c0 es un espacio deBanach universal.
Hipotesis del Continuo.
Grupo 1 Midiendo conjuntos no medibles
![Page 108: Midiendo conjuntos no medibles y espacios de Banach ... · PDF fileVI Escuela Taller de Análisis Funcional Tutor: Antonio Avilés ... conjunto X y una función f definida sobre X,](https://reader033.vdocuments.net/reader033/viewer/2022042600/5a796bca7f8b9ade698b511f/html5/thumbnails/108.jpg)
Introducción
Extensión de medidas
σ−álgebra generada por rectángulos
Espacios de Banach universales
Midiendo conjuntos no medibles y
espacios de Banach universales
Abel Álvarez, Miguel Ángel Andrés, Javier Canto, PabloGerlach, Daniel Morales, Alberto Rodríguez
Universidad de ExtremaduraVI Escuela Taller de Análisis Funcional
Tutor: Antonio AvilésXII Encuentro de la Red de Análisis Funcional y Aplicaciones
2 de marzo de 2016
Grupo 1 Midiendo conjuntos no medibles