Sobre la unicidad del n-ésimo producto simétrico
Transcript of Sobre la unicidad del n-ésimo producto simétrico
![Page 1: Sobre la unicidad del n-ésimo producto simétrico](https://reader030.fdocuments.net/reader030/viewer/2022012522/61961cb217947c432e351a70/html5/thumbnails/1.jpg)
IX Taller Estudiantil de Teoría de los Continuos y sus Hiperespacios
Sobre la unicidad del n-ésimo productosimétrico
Luis Alberto Guerrero Méndez
Coautores:David Herrera Carrasco
Fernando Macías Romero
Facultad de Ciencias Físico MatemáticasBenemérita Universidad Autónoma de Puebla
IX Taller Estudiantil de Teoría de los Continuosy sus Hiperespacios
Querétaro, México18 de noviembre del 2014
![Page 2: Sobre la unicidad del n-ésimo producto simétrico](https://reader030.fdocuments.net/reader030/viewer/2022012522/61961cb217947c432e351a70/html5/thumbnails/2.jpg)
IX Taller Estudiantil de Teoría de los Continuos y sus Hiperespacios
Sobre la unicidad del n-ésimo productosimétrico
Luis Alberto Guerrero Méndez
Coautores:David Herrera Carrasco
Fernando Macías Romero
Facultad de Ciencias Físico MatemáticasBenemérita Universidad Autónoma de Puebla
IX Taller Estudiantil de Teoría de los Continuosy sus Hiperespacios
Querétaro, México18 de noviembre del 2014
![Page 3: Sobre la unicidad del n-ésimo producto simétrico](https://reader030.fdocuments.net/reader030/viewer/2022012522/61961cb217947c432e351a70/html5/thumbnails/3.jpg)
IX Taller Estudiantil de Teoría de los Continuos y sus Hiperespacios
DefiniciónDado n ∈ N, decimos que un continuo X tiene hiperespacioúnico Fn(X ) si la implicación siguiente es verdadera: si Y esun continuo tal que Fn(X ) es homeomorfo a Fn(Y ), entonces Xes homeomorfo a Y .
Problema¿Que condiciones necesita tener un continuo para que segarantice la unicidad del hiperespacio Fn(X )?
![Page 4: Sobre la unicidad del n-ésimo producto simétrico](https://reader030.fdocuments.net/reader030/viewer/2022012522/61961cb217947c432e351a70/html5/thumbnails/4.jpg)
IX Taller Estudiantil de Teoría de los Continuos y sus Hiperespacios
DefiniciónDado n ∈ N, decimos que un continuo X tiene hiperespacioúnico Fn(X ) si la implicación siguiente es verdadera: si Y esun continuo tal que Fn(X ) es homeomorfo a Fn(Y ), entonces Xes homeomorfo a Y .
Problema¿Que condiciones necesita tener un continuo para que segarantice la unicidad del hiperespacio Fn(X )?
![Page 5: Sobre la unicidad del n-ésimo producto simétrico](https://reader030.fdocuments.net/reader030/viewer/2022012522/61961cb217947c432e351a70/html5/thumbnails/5.jpg)
IX Taller Estudiantil de Teoría de los Continuos y sus Hiperespacios
DefiniciónUna gráfica finita es un continuo que se puede escribir comouna unión finita de arcos tales que cualesquiera dos, o sonajenos o se intersectan solamente en uno o en ambos puntosextremos.
![Page 6: Sobre la unicidad del n-ésimo producto simétrico](https://reader030.fdocuments.net/reader030/viewer/2022012522/61961cb217947c432e351a70/html5/thumbnails/6.jpg)
IX Taller Estudiantil de Teoría de los Continuos y sus Hiperespacios
Teorema (Enrique Castañeda, Alejandro Illanes, 2006)Sean X una gráfica finita, Y un continuo y n ∈ N. Si Fn(X ) eshomeomorfo a Fn(Y ), entonces X es homeomorfo a Y .
![Page 7: Sobre la unicidad del n-ésimo producto simétrico](https://reader030.fdocuments.net/reader030/viewer/2022012522/61961cb217947c432e351a70/html5/thumbnails/7.jpg)
IX Taller Estudiantil de Teoría de los Continuos y sus Hiperespacios
DefiniciónUna dendrita es un continuo localmente conexo sin curvascerradas simples.
![Page 8: Sobre la unicidad del n-ésimo producto simétrico](https://reader030.fdocuments.net/reader030/viewer/2022012522/61961cb217947c432e351a70/html5/thumbnails/8.jpg)
IX Taller Estudiantil de Teoría de los Continuos y sus Hiperespacios
Sean
G = {X : X es una gráfica finita} y
D = {X : X es una dendrita cuyo conjunto de puntos extremoses cerrado en X}.
Se cumple que G 6⊂ D y D 6⊂ G.
![Page 9: Sobre la unicidad del n-ésimo producto simétrico](https://reader030.fdocuments.net/reader030/viewer/2022012522/61961cb217947c432e351a70/html5/thumbnails/9.jpg)
IX Taller Estudiantil de Teoría de los Continuos y sus Hiperespacios
Sean
G = {X : X es una gráfica finita} y
D = {X : X es una dendrita cuyo conjunto de puntos extremoses cerrado en X}.
Se cumple que G 6⊂ D y D 6⊂ G.
![Page 10: Sobre la unicidad del n-ésimo producto simétrico](https://reader030.fdocuments.net/reader030/viewer/2022012522/61961cb217947c432e351a70/html5/thumbnails/10.jpg)
IX Taller Estudiantil de Teoría de los Continuos y sus Hiperespacios
Sean
G = {X : X es una gráfica finita} y
D = {X : X es una dendrita cuyo conjunto de puntos extremoses cerrado en X}.
Se cumple que G 6⊂ D y D 6⊂ G.
![Page 11: Sobre la unicidad del n-ésimo producto simétrico](https://reader030.fdocuments.net/reader030/viewer/2022012522/61961cb217947c432e351a70/html5/thumbnails/11.jpg)
IX Taller Estudiantil de Teoría de los Continuos y sus Hiperespacios
Sean
G = {X : X es una gráfica finita} y
D = {X : X es una dendrita cuyo conjunto de puntos extremoses cerrado en X}.
Se cumple que G 6⊂ D y D 6⊂ G.
![Page 12: Sobre la unicidad del n-ésimo producto simétrico](https://reader030.fdocuments.net/reader030/viewer/2022012522/61961cb217947c432e351a70/html5/thumbnails/12.jpg)
IX Taller Estudiantil de Teoría de los Continuos y sus Hiperespacios
Teorema (Acosta, Hernández Gutiérrez, Martínez de laVega, 2009)Sean X ∈ D y n ∈ N. Si Y es un continuo tal que Fn(X ) eshomeomorfo a Fn(Y ), entonces Y ∈ D.
Teorema (Herrera-Carrasco, Macías-Romero, López-Toriz,2009)Sean X ,Y ∈ D y n ∈ N. Si Fn(X ) es homeomorfo a Fn(Y ),entonces X es homeomorfo a Y .
Teorema (Herrera-Carrasco, Macías-Romero, López-Toriz,2009)Si X ∈ D y n ∈ N, entonces X tiene hiperespacio único Fn(X ).
![Page 13: Sobre la unicidad del n-ésimo producto simétrico](https://reader030.fdocuments.net/reader030/viewer/2022012522/61961cb217947c432e351a70/html5/thumbnails/13.jpg)
IX Taller Estudiantil de Teoría de los Continuos y sus Hiperespacios
Teorema (Acosta, Hernández Gutiérrez, Martínez de laVega, 2009)Sean X ∈ D y n ∈ N. Si Y es un continuo tal que Fn(X ) eshomeomorfo a Fn(Y ), entonces Y ∈ D.
Teorema (Herrera-Carrasco, Macías-Romero, López-Toriz,2009)Sean X ,Y ∈ D y n ∈ N. Si Fn(X ) es homeomorfo a Fn(Y ),entonces X es homeomorfo a Y .
Teorema (Herrera-Carrasco, Macías-Romero, López-Toriz,2009)Si X ∈ D y n ∈ N, entonces X tiene hiperespacio único Fn(X ).
![Page 14: Sobre la unicidad del n-ésimo producto simétrico](https://reader030.fdocuments.net/reader030/viewer/2022012522/61961cb217947c432e351a70/html5/thumbnails/14.jpg)
IX Taller Estudiantil de Teoría de los Continuos y sus Hiperespacios
Teorema (Acosta, Hernández Gutiérrez, Martínez de laVega, 2009)Sean X ∈ D y n ∈ N. Si Y es un continuo tal que Fn(X ) eshomeomorfo a Fn(Y ), entonces Y ∈ D.
Teorema (Herrera-Carrasco, Macías-Romero, López-Toriz,2009)Sean X ,Y ∈ D y n ∈ N. Si Fn(X ) es homeomorfo a Fn(Y ),entonces X es homeomorfo a Y .
Teorema (Herrera-Carrasco, Macías-Romero, López-Toriz,2009)Si X ∈ D y n ∈ N, entonces X tiene hiperespacio único Fn(X ).
![Page 15: Sobre la unicidad del n-ésimo producto simétrico](https://reader030.fdocuments.net/reader030/viewer/2022012522/61961cb217947c432e351a70/html5/thumbnails/15.jpg)
IX Taller Estudiantil de Teoría de los Continuos y sus Hiperespacios
Dado un continuo X , sea
G(X ) = {x ∈ X : x tiene una vecindad G en X
tal que G es una gráfica finita}
y sea
P(X ) = X − G(X ).
DefiniciónUn continuo X es casi enrejado si el conjunto G(X ) es densoen X . Un continuo casi enrejado X es enrejado si X tiene unabase de vecindades B tal que para todo U ∈ B se cumple queU − P(X ) es conexo.
![Page 16: Sobre la unicidad del n-ésimo producto simétrico](https://reader030.fdocuments.net/reader030/viewer/2022012522/61961cb217947c432e351a70/html5/thumbnails/16.jpg)
IX Taller Estudiantil de Teoría de los Continuos y sus Hiperespacios
Dado un continuo X , sea
G(X ) = {x ∈ X : x tiene una vecindad G en X
tal que G es una gráfica finita}
y sea
P(X ) = X − G(X ).
DefiniciónUn continuo X es casi enrejado si el conjunto G(X ) es densoen X . Un continuo casi enrejado X es enrejado si X tiene unabase de vecindades B tal que para todo U ∈ B se cumple queU − P(X ) es conexo.
![Page 17: Sobre la unicidad del n-ésimo producto simétrico](https://reader030.fdocuments.net/reader030/viewer/2022012522/61961cb217947c432e351a70/html5/thumbnails/17.jpg)
IX Taller Estudiantil de Teoría de los Continuos y sus Hiperespacios
![Page 18: Sobre la unicidad del n-ésimo producto simétrico](https://reader030.fdocuments.net/reader030/viewer/2022012522/61961cb217947c432e351a70/html5/thumbnails/18.jpg)
IX Taller Estudiantil de Teoría de los Continuos y sus Hiperespacios
Teorema (Illanes, Hernández-Gutiérrez, Martínez de laVega, 2013)La clase de los continuos enrejados contiene a las clasessiguientes
(i) La clase G.
(ii) La clase D.
Teorema (Illanes, Hernández-Gutiérrez, Martínez de laVega, 2013)Si X es un continuo enrejado, entonces X es localmenteconexo.
![Page 19: Sobre la unicidad del n-ésimo producto simétrico](https://reader030.fdocuments.net/reader030/viewer/2022012522/61961cb217947c432e351a70/html5/thumbnails/19.jpg)
IX Taller Estudiantil de Teoría de los Continuos y sus Hiperespacios
Sean
M = {X : X es un continuo enrejado},
AM = {X : X es continuo casi enrejado} y
LC = {X : X es un continuo localmente conexo}.
Notemos que
G,D (M ( AM∩LC ( AM.
![Page 20: Sobre la unicidad del n-ésimo producto simétrico](https://reader030.fdocuments.net/reader030/viewer/2022012522/61961cb217947c432e351a70/html5/thumbnails/20.jpg)
IX Taller Estudiantil de Teoría de los Continuos y sus Hiperespacios
Sean
M = {X : X es un continuo enrejado},
AM = {X : X es continuo casi enrejado} y
LC = {X : X es un continuo localmente conexo}.
Notemos que
G,D (M ( AM∩LC ( AM.
![Page 21: Sobre la unicidad del n-ésimo producto simétrico](https://reader030.fdocuments.net/reader030/viewer/2022012522/61961cb217947c432e351a70/html5/thumbnails/21.jpg)
IX Taller Estudiantil de Teoría de los Continuos y sus Hiperespacios
Sean
M = {X : X es un continuo enrejado},
AM = {X : X es continuo casi enrejado} y
LC = {X : X es un continuo localmente conexo}.
Notemos que
G,D (M ( AM∩LC ( AM.
![Page 22: Sobre la unicidad del n-ésimo producto simétrico](https://reader030.fdocuments.net/reader030/viewer/2022012522/61961cb217947c432e351a70/html5/thumbnails/22.jpg)
IX Taller Estudiantil de Teoría de los Continuos y sus Hiperespacios
Teorema (Herrera-Carrasco, Macías-Romero,Vázquez-Juárez, 2012)Si X ∈ AM∩LC y n ∈ N con n ≥ 4, entonces X tienehiperespacio único Fn(X ).
![Page 23: Sobre la unicidad del n-ésimo producto simétrico](https://reader030.fdocuments.net/reader030/viewer/2022012522/61961cb217947c432e351a70/html5/thumbnails/23.jpg)
IX Taller Estudiantil de Teoría de los Continuos y sus Hiperespacios
DefiniciónUn alambre en un continuo X es un un subconjunto A de X talque A es una componente de un conjunto abierto en X y A eshomeomorfo a alguno de los espacios (0,1), [0,1), [0,1] o S1.
Dado un continuo X , sea
W (X ) =⋃{A ⊂ X : A es un alambre en X}.
DefiniciónUn continuo X es alambrado si el conjunto W (X ) es denso enX .
![Page 24: Sobre la unicidad del n-ésimo producto simétrico](https://reader030.fdocuments.net/reader030/viewer/2022012522/61961cb217947c432e351a70/html5/thumbnails/24.jpg)
IX Taller Estudiantil de Teoría de los Continuos y sus Hiperespacios
DefiniciónUn alambre en un continuo X es un un subconjunto A de X talque A es una componente de un conjunto abierto en X y A eshomeomorfo a alguno de los espacios (0,1), [0,1), [0,1] o S1.
Dado un continuo X , sea
W (X ) =⋃{A ⊂ X : A es un alambre en X}.
DefiniciónUn continuo X es alambrado si el conjunto W (X ) es denso enX .
![Page 25: Sobre la unicidad del n-ésimo producto simétrico](https://reader030.fdocuments.net/reader030/viewer/2022012522/61961cb217947c432e351a70/html5/thumbnails/25.jpg)
IX Taller Estudiantil de Teoría de los Continuos y sus Hiperespacios
DefiniciónUn alambre en un continuo X es un un subconjunto A de X talque A es una componente de un conjunto abierto en X y A eshomeomorfo a alguno de los espacios (0,1), [0,1), [0,1] o S1.
Dado un continuo X , sea
W (X ) =⋃{A ⊂ X : A es un alambre en X}.
DefiniciónUn continuo X es alambrado si el conjunto W (X ) es denso enX .
![Page 26: Sobre la unicidad del n-ésimo producto simétrico](https://reader030.fdocuments.net/reader030/viewer/2022012522/61961cb217947c432e351a70/html5/thumbnails/26.jpg)
IX Taller Estudiantil de Teoría de los Continuos y sus Hiperespacios
Teorema (Hernández-Gutiérrez, Martínez de la Vega, 2013)Si X es un continuo alambrado y n ∈ N con n ≥ 4, entonces Xtiene hiperespacio único Fn(X ).
SeaW = {X : X es continuo alambrado}.
Se cumple que AM ⊂W. Luego, AM∩LC ⊂ W
EjemploUn solenoide es un ejemplo de un continuo alambrado que noes localmente conexo.
Así, AM∩LC (W.
![Page 27: Sobre la unicidad del n-ésimo producto simétrico](https://reader030.fdocuments.net/reader030/viewer/2022012522/61961cb217947c432e351a70/html5/thumbnails/27.jpg)
IX Taller Estudiantil de Teoría de los Continuos y sus Hiperespacios
Teorema (Hernández-Gutiérrez, Martínez de la Vega, 2013)Si X es un continuo alambrado y n ∈ N con n ≥ 4, entonces Xtiene hiperespacio único Fn(X ).
SeaW = {X : X es continuo alambrado}.
Se cumple que AM ⊂W. Luego, AM∩LC ⊂ W
EjemploUn solenoide es un ejemplo de un continuo alambrado que noes localmente conexo.
Así, AM∩LC (W.
![Page 28: Sobre la unicidad del n-ésimo producto simétrico](https://reader030.fdocuments.net/reader030/viewer/2022012522/61961cb217947c432e351a70/html5/thumbnails/28.jpg)
IX Taller Estudiantil de Teoría de los Continuos y sus Hiperespacios
Teorema (Hernández-Gutiérrez, Martínez de la Vega, 2013)Si X es un continuo alambrado y n ∈ N con n ≥ 4, entonces Xtiene hiperespacio único Fn(X ).
SeaW = {X : X es continuo alambrado}.
Se cumple que AM ⊂W. Luego, AM∩LC ⊂ W
EjemploUn solenoide es un ejemplo de un continuo alambrado que noes localmente conexo.
Así, AM∩LC (W.
![Page 29: Sobre la unicidad del n-ésimo producto simétrico](https://reader030.fdocuments.net/reader030/viewer/2022012522/61961cb217947c432e351a70/html5/thumbnails/29.jpg)
IX Taller Estudiantil de Teoría de los Continuos y sus Hiperespacios
Teorema (Hernández-Gutiérrez, Martínez de la Vega, 2013)Si X es un continuo alambrado y n ∈ N con n ≥ 4, entonces Xtiene hiperespacio único Fn(X ).
SeaW = {X : X es continuo alambrado}.
Se cumple que AM ⊂W. Luego, AM∩LC ⊂ W
EjemploUn solenoide es un ejemplo de un continuo alambrado que noes localmente conexo.
Así, AM∩LC (W.
![Page 30: Sobre la unicidad del n-ésimo producto simétrico](https://reader030.fdocuments.net/reader030/viewer/2022012522/61961cb217947c432e351a70/html5/thumbnails/30.jpg)
IX Taller Estudiantil de Teoría de los Continuos y sus Hiperespacios
Otras clases de continuos que están contenidas enW son
(a) La clase de las compactaciones del rayo [0,∞).
(b) La clase de las compactaciones de la recta real.(c) La clase de los continuos indescomponibles tales que sus
subcontinuos propios son arcos.(d) La clase de los abanicos suaves.
Por lo tanto, los continuos que pertenecen a las clases de losincisos (a)-(d) tienen n-ésimo producto simétrico único cuandon ≥ 4.
![Page 31: Sobre la unicidad del n-ésimo producto simétrico](https://reader030.fdocuments.net/reader030/viewer/2022012522/61961cb217947c432e351a70/html5/thumbnails/31.jpg)
IX Taller Estudiantil de Teoría de los Continuos y sus Hiperespacios
Teorema (Illanes, Martínez-Montejano, 2009)Si X es una compactación del rayo [0,∞) y n ∈ N− {3},entonces X tiene hiperespacio único Fn(X ).
Teorema (Illanes, Martínez-Montejano, 2009)Si X es una compactación del rayo [0,∞) tal que su residuo esANR, entonces X tiene hiperespacio único F3(X ).
![Page 32: Sobre la unicidad del n-ésimo producto simétrico](https://reader030.fdocuments.net/reader030/viewer/2022012522/61961cb217947c432e351a70/html5/thumbnails/32.jpg)
IX Taller Estudiantil de Teoría de los Continuos y sus Hiperespacios
Teorema (Guerrero-Méndez, Herrera-Carrasco,López-Toriz, Macías-Romero)Si X es un continuo enrejado y n ∈ {2,3}, entonces X tienehiperespacio único Fn(X ).
Corolario (Guerrero-Méndez, Herrera-Carrasco,López-Toriz, Macías-Romero)Si X es un continuo enrejado y n ∈ N, entonces X tienehiperespacio único Fn(X ).
PreguntaSi X es un continuo alambrado y n ∈ {2,3}, ¿tiene Xhiperespacio único Fn(X )?
![Page 33: Sobre la unicidad del n-ésimo producto simétrico](https://reader030.fdocuments.net/reader030/viewer/2022012522/61961cb217947c432e351a70/html5/thumbnails/33.jpg)
IX Taller Estudiantil de Teoría de los Continuos y sus Hiperespacios
Teorema (Guerrero-Méndez, Herrera-Carrasco,López-Toriz, Macías-Romero)Si X es un continuo enrejado y n ∈ {2,3}, entonces X tienehiperespacio único Fn(X ).
Corolario (Guerrero-Méndez, Herrera-Carrasco,López-Toriz, Macías-Romero)Si X es un continuo enrejado y n ∈ N, entonces X tienehiperespacio único Fn(X ).
PreguntaSi X es un continuo alambrado y n ∈ {2,3}, ¿tiene Xhiperespacio único Fn(X )?
![Page 34: Sobre la unicidad del n-ésimo producto simétrico](https://reader030.fdocuments.net/reader030/viewer/2022012522/61961cb217947c432e351a70/html5/thumbnails/34.jpg)
IX Taller Estudiantil de Teoría de los Continuos y sus Hiperespacios
Teorema (Guerrero-Méndez, Herrera-Carrasco,López-Toriz, Macías-Romero)Si X es un continuo enrejado y n ∈ {2,3}, entonces X tienehiperespacio único Fn(X ).
Corolario (Guerrero-Méndez, Herrera-Carrasco,López-Toriz, Macías-Romero)Si X es un continuo enrejado y n ∈ N, entonces X tienehiperespacio único Fn(X ).
PreguntaSi X es un continuo alambrado y n ∈ {2,3}, ¿tiene Xhiperespacio único Fn(X )?
![Page 35: Sobre la unicidad del n-ésimo producto simétrico](https://reader030.fdocuments.net/reader030/viewer/2022012522/61961cb217947c432e351a70/html5/thumbnails/35.jpg)
IX Taller Estudiantil de Teoría de los Continuos y sus Hiperespacios
En resumen tenemos que
![Page 36: Sobre la unicidad del n-ésimo producto simétrico](https://reader030.fdocuments.net/reader030/viewer/2022012522/61961cb217947c432e351a70/html5/thumbnails/36.jpg)
IX Taller Estudiantil de Teoría de los Continuos y sus Hiperespacios
PreguntaSi X es un continuo indescomponible tal que todos sussubcontinuos propios son arcos, ¿tiene X hiperespacio únicoF2(X )?
PreguntaSi X es una dendrita y n ∈ N, ¿tiene X hiperespacio únicoFn(X )?
PreguntaSi X es cualquier compactación del rayo [0,∞), ¿tiene Xhiperespacio único F3(X )?
![Page 37: Sobre la unicidad del n-ésimo producto simétrico](https://reader030.fdocuments.net/reader030/viewer/2022012522/61961cb217947c432e351a70/html5/thumbnails/37.jpg)
IX Taller Estudiantil de Teoría de los Continuos y sus Hiperespacios
PreguntaSi X es un continuo encadenable y n ∈ N, ¿tiene Xhiperespacio único Fn(X )?
PreguntaSi X es cualquier abanico y n ∈ N, ¿tiene X hiperespacio únicoFn(X )?
PreguntaSi X es un continuo hereditariamente indescomponible, ¿tieneX hiperespacio único F2(X )?
![Page 38: Sobre la unicidad del n-ésimo producto simétrico](https://reader030.fdocuments.net/reader030/viewer/2022012522/61961cb217947c432e351a70/html5/thumbnails/38.jpg)
IX Taller Estudiantil de Teoría de los Continuos y sus Hiperespacios
PreguntaSean n ∈ N. ¿Existirá un continuo de dimensión finita tal queno tenga hiperespacio único Fn(X )?
Pregunta¿El Pseudo Arco tendrá segundo producto simétrico único?
![Page 39: Sobre la unicidad del n-ésimo producto simétrico](https://reader030.fdocuments.net/reader030/viewer/2022012522/61961cb217947c432e351a70/html5/thumbnails/39.jpg)
IX Taller Estudiantil de Teoría de los Continuos y sus Hiperespacios
Gracias por su fina yamable atención ;)