67
Preliminares Modelos para F 2 C {p} (X) Resultados para FnC K (X) La Esctructura del Espacio F n C K (X ) Roberto Carlos Mondragón Álvarez Facultad de Ciencias, UAEMéx. XI Taller Estudiantil de la Teoría de los Continuos y sus Hiperespacios Octubre de 2016 Roberto Carlos Mondragón Álvarez La Esctructura del Espacio FnC K (X)

La Esctructura del Espacio F CKlya.fciencias.unam.mx/paty/2016/etc/pdf/2016/robertomondragon.pdf · SeanX uncontinuo,K ⊂X uncompactonovacíoyn >1,definimosel espaciocociente: F

  • Upload
    others

  • View
    6

  • Download
    0

Embed Size (px)

Citation preview

Page 1: La Esctructura del Espacio F CKlya.fciencias.unam.mx/paty/2016/etc/pdf/2016/robertomondragon.pdf · SeanX uncontinuo,K ⊂X uncompactonovacíoyn >1,definimosel espaciocociente: F

PreliminaresModelos para F2C{p}(X)Resultados para FnCK (X)

La Esctructura del Espacio FnCK (X )

Roberto Carlos Mondragón Álvarez

Facultad de Ciencias, UAEMéx.

XI Taller Estudiantil de la Teoría de los Continuos y sus HiperespaciosOctubre de 2016

Roberto Carlos Mondragón Álvarez La Esctructura del Espacio FnCK (X)

Page 2: La Esctructura del Espacio F CKlya.fciencias.unam.mx/paty/2016/etc/pdf/2016/robertomondragon.pdf · SeanX uncontinuo,K ⊂X uncompactonovacíoyn >1,definimosel espaciocociente: F

PreliminaresModelos para F2C{p}(X)Resultados para FnCK (X)

Conceptos Básicos

Un continuo X , es un espacio métrico, compacto, conexo y no vacío.

Roberto Carlos Mondragón Álvarez La Esctructura del Espacio FnCK (X)

Page 3: La Esctructura del Espacio F CKlya.fciencias.unam.mx/paty/2016/etc/pdf/2016/robertomondragon.pdf · SeanX uncontinuo,K ⊂X uncompactonovacíoyn >1,definimosel espaciocociente: F

PreliminaresModelos para F2C{p}(X)Resultados para FnCK (X)

Conceptos Básicos

Dado un continuo X , los hiperespacios de X , son ciertas familias desubconjuntos de X con algúna característica particular.

Roberto Carlos Mondragón Álvarez La Esctructura del Espacio FnCK (X)

Page 4: La Esctructura del Espacio F CKlya.fciencias.unam.mx/paty/2016/etc/pdf/2016/robertomondragon.pdf · SeanX uncontinuo,K ⊂X uncompactonovacíoyn >1,definimosel espaciocociente: F

PreliminaresModelos para F2C{p}(X)Resultados para FnCK (X)

Ejemplos de Hiperespacios

1 2X = {A ⊂ X : A es no vacío y cerrado};

2 C(X ) = {A ∈ 2X : A es conexo};

Para cada n ∈ N,

3 Fn(X ) = {A ∈ 2X : A tiene a lo más n puntos};4 Cn(X ) = {A ∈ 2X : A tiene a lo más n componentes}.

Roberto Carlos Mondragón Álvarez La Esctructura del Espacio FnCK (X)

Page 5: La Esctructura del Espacio F CKlya.fciencias.unam.mx/paty/2016/etc/pdf/2016/robertomondragon.pdf · SeanX uncontinuo,K ⊂X uncompactonovacíoyn >1,definimosel espaciocociente: F

PreliminaresModelos para F2C{p}(X)Resultados para FnCK (X)

Ejemplos de Hiperespacios

1 2X = {A ⊂ X : A es no vacío y cerrado};2 C(X ) = {A ∈ 2X : A es conexo};

Para cada n ∈ N,

3 Fn(X ) = {A ∈ 2X : A tiene a lo más n puntos};4 Cn(X ) = {A ∈ 2X : A tiene a lo más n componentes}.

Roberto Carlos Mondragón Álvarez La Esctructura del Espacio FnCK (X)

Page 6: La Esctructura del Espacio F CKlya.fciencias.unam.mx/paty/2016/etc/pdf/2016/robertomondragon.pdf · SeanX uncontinuo,K ⊂X uncompactonovacíoyn >1,definimosel espaciocociente: F

PreliminaresModelos para F2C{p}(X)Resultados para FnCK (X)

Ejemplos de Hiperespacios

1 2X = {A ⊂ X : A es no vacío y cerrado};2 C(X ) = {A ∈ 2X : A es conexo};

Para cada n ∈ N,

3 Fn(X ) = {A ∈ 2X : A tiene a lo más n puntos};

4 Cn(X ) = {A ∈ 2X : A tiene a lo más n componentes}.

Roberto Carlos Mondragón Álvarez La Esctructura del Espacio FnCK (X)

Page 7: La Esctructura del Espacio F CKlya.fciencias.unam.mx/paty/2016/etc/pdf/2016/robertomondragon.pdf · SeanX uncontinuo,K ⊂X uncompactonovacíoyn >1,definimosel espaciocociente: F

PreliminaresModelos para F2C{p}(X)Resultados para FnCK (X)

Ejemplos de Hiperespacios

1 2X = {A ⊂ X : A es no vacío y cerrado};2 C(X ) = {A ∈ 2X : A es conexo};

Para cada n ∈ N,

3 Fn(X ) = {A ∈ 2X : A tiene a lo más n puntos};4 Cn(X ) = {A ∈ 2X : A tiene a lo más n componentes}.

Roberto Carlos Mondragón Álvarez La Esctructura del Espacio FnCK (X)

Page 8: La Esctructura del Espacio F CKlya.fciencias.unam.mx/paty/2016/etc/pdf/2016/robertomondragon.pdf · SeanX uncontinuo,K ⊂X uncompactonovacíoyn >1,definimosel espaciocociente: F

PreliminaresModelos para F2C{p}(X)Resultados para FnCK (X)

Conceptos Básicos

El hiperespacio Fn(X ), conocido como el n−ésimo producto simétrico deX , fué introducido por K. Borsuk y S. Ulam en 1931.

Roberto Carlos Mondragón Álvarez La Esctructura del Espacio FnCK (X)

Page 9: La Esctructura del Espacio F CKlya.fciencias.unam.mx/paty/2016/etc/pdf/2016/robertomondragon.pdf · SeanX uncontinuo,K ⊂X uncompactonovacíoyn >1,definimosel espaciocociente: F

PreliminaresModelos para F2C{p}(X)Resultados para FnCK (X)

Conceptos Básicos

Sean X un continuo, n > 1, y K ⊂ X compacto no vacío.

Fn(K ,X ) = {A ∈ Fn(X ) : K ⊂ A}

Observaciónes:1.- K tiene a lo más n puntos.2.- Si K consta de exactamente n puntos, entonces Fn(K ,X ) = {K}.

Roberto Carlos Mondragón Álvarez La Esctructura del Espacio FnCK (X)

Page 10: La Esctructura del Espacio F CKlya.fciencias.unam.mx/paty/2016/etc/pdf/2016/robertomondragon.pdf · SeanX uncontinuo,K ⊂X uncompactonovacíoyn >1,definimosel espaciocociente: F

PreliminaresModelos para F2C{p}(X)Resultados para FnCK (X)

Conceptos Básicos

Sean X un continuo, n > 1, y K ⊂ X compacto no vacío.

Fn(K ,X ) = {A ∈ Fn(X ) : K ⊂ A}

Observaciónes:1.- K tiene a lo más n puntos.2.- Si K consta de exactamente n puntos, entonces Fn(K ,X ) = {K}.

Roberto Carlos Mondragón Álvarez La Esctructura del Espacio FnCK (X)

Page 11: La Esctructura del Espacio F CKlya.fciencias.unam.mx/paty/2016/etc/pdf/2016/robertomondragon.pdf · SeanX uncontinuo,K ⊂X uncompactonovacíoyn >1,definimosel espaciocociente: F

PreliminaresModelos para F2C{p}(X)Resultados para FnCK (X)

Conceptos Básicos

Sean X un continuo, n > 1, y K ⊂ X compacto no vacío.

Fn(K ,X ) = {A ∈ Fn(X ) : K ⊂ A}

Observaciónes:

1.- K tiene a lo más n puntos.2.- Si K consta de exactamente n puntos, entonces Fn(K ,X ) = {K}.

Roberto Carlos Mondragón Álvarez La Esctructura del Espacio FnCK (X)

Page 12: La Esctructura del Espacio F CKlya.fciencias.unam.mx/paty/2016/etc/pdf/2016/robertomondragon.pdf · SeanX uncontinuo,K ⊂X uncompactonovacíoyn >1,definimosel espaciocociente: F

PreliminaresModelos para F2C{p}(X)Resultados para FnCK (X)

Conceptos Básicos

Sean X un continuo, n > 1, y K ⊂ X compacto no vacío.

Fn(K ,X ) = {A ∈ Fn(X ) : K ⊂ A}

Observaciónes:1.- K tiene a lo más n puntos.

2.- Si K consta de exactamente n puntos, entonces Fn(K ,X ) = {K}.

Roberto Carlos Mondragón Álvarez La Esctructura del Espacio FnCK (X)

Page 13: La Esctructura del Espacio F CKlya.fciencias.unam.mx/paty/2016/etc/pdf/2016/robertomondragon.pdf · SeanX uncontinuo,K ⊂X uncompactonovacíoyn >1,definimosel espaciocociente: F

PreliminaresModelos para F2C{p}(X)Resultados para FnCK (X)

Conceptos Básicos

Sean X un continuo, n > 1, y K ⊂ X compacto no vacío.

Fn(K ,X ) = {A ∈ Fn(X ) : K ⊂ A}

Observaciónes:1.- K tiene a lo más n puntos.2.- Si K consta de exactamente n puntos, entonces Fn(K ,X ) = {K}.

Roberto Carlos Mondragón Álvarez La Esctructura del Espacio FnCK (X)

Page 14: La Esctructura del Espacio F CKlya.fciencias.unam.mx/paty/2016/etc/pdf/2016/robertomondragon.pdf · SeanX uncontinuo,K ⊂X uncompactonovacíoyn >1,definimosel espaciocociente: F

PreliminaresModelos para F2C{p}(X)Resultados para FnCK (X)

Conceptos Básicos

Sean X un continuo, K ⊂ X un compacto no vacío y n > 1, definimos elespacio cociente:

FnCK (X ) = Fn(X )/Fn(K ,X ),

Consideremos a FnCK (X ) con la topología cociente.

TeoremaSean X un continuo, n ∈ N con n > 1 y K ⊂ X con a lo más n puntos,entonces FnCK (X ) es un continuo.

Roberto Carlos Mondragón Álvarez La Esctructura del Espacio FnCK (X)

Page 15: La Esctructura del Espacio F CKlya.fciencias.unam.mx/paty/2016/etc/pdf/2016/robertomondragon.pdf · SeanX uncontinuo,K ⊂X uncompactonovacíoyn >1,definimosel espaciocociente: F

PreliminaresModelos para F2C{p}(X)Resultados para FnCK (X)

Conceptos Básicos

Sean X un continuo, K ⊂ X un compacto no vacío y n > 1, definimos elespacio cociente:

FnCK (X ) = Fn(X )/Fn(K ,X ),

Consideremos a FnCK (X ) con la topología cociente.

TeoremaSean X un continuo, n ∈ N con n > 1 y K ⊂ X con a lo más n puntos,entonces FnCK (X ) es un continuo.

Roberto Carlos Mondragón Álvarez La Esctructura del Espacio FnCK (X)

Page 16: La Esctructura del Espacio F CKlya.fciencias.unam.mx/paty/2016/etc/pdf/2016/robertomondragon.pdf · SeanX uncontinuo,K ⊂X uncompactonovacíoyn >1,definimosel espaciocociente: F

PreliminaresModelos para F2C{p}(X)Resultados para FnCK (X)

Conceptos Básicos

Sean X un continuo, K ⊂ X un compacto no vacío y n > 1, definimos elespacio cociente:

FnCK (X ) = Fn(X )/Fn(K ,X ),

Consideremos a FnCK (X ) con la topología cociente.

TeoremaSean X un continuo, n ∈ N con n > 1 y K ⊂ X con a lo más n puntos,entonces FnCK (X ) es un continuo.

Roberto Carlos Mondragón Álvarez La Esctructura del Espacio FnCK (X)

Page 17: La Esctructura del Espacio F CKlya.fciencias.unam.mx/paty/2016/etc/pdf/2016/robertomondragon.pdf · SeanX uncontinuo,K ⊂X uncompactonovacíoyn >1,definimosel espaciocociente: F

PreliminaresModelos para F2C{p}(X)Resultados para FnCK (X)

Conceptos Básicos

Sean X un continuo, K ⊂ X un compacto no vacío y n > 1, definimos elespacio cociente:

FnCK (X ) = Fn(X )/Fn(K ,X ),

Consideremos a FnCK (X ) con la topología cociente.

TeoremaSean X un continuo, n ∈ N con n > 1 y K ⊂ X con a lo más n puntos,entonces FnCK (X ) es un continuo.

Roberto Carlos Mondragón Álvarez La Esctructura del Espacio FnCK (X)

Page 18: La Esctructura del Espacio F CKlya.fciencias.unam.mx/paty/2016/etc/pdf/2016/robertomondragon.pdf · SeanX uncontinuo,K ⊂X uncompactonovacíoyn >1,definimosel espaciocociente: F

PreliminaresModelos para F2C{p}(X)Resultados para FnCK (X)

◦ Si K tiene exactamente n puntos

FnCK (X ) es homeomorfo a Fn(X ).

Roberto Carlos Mondragón Álvarez La Esctructura del Espacio FnCK (X)

Page 19: La Esctructura del Espacio F CKlya.fciencias.unam.mx/paty/2016/etc/pdf/2016/robertomondragon.pdf · SeanX uncontinuo,K ⊂X uncompactonovacíoyn >1,definimosel espaciocociente: F

PreliminaresModelos para F2C{p}(X)Resultados para FnCK (X)

Conceptos Básicos

Sea πXn,K : Fn(X )→ FnCK (X ) la función cociente.

Denotemos por F Xn,K = πX

n,K (Fn(K ,X )).

Roberto Carlos Mondragón Álvarez La Esctructura del Espacio FnCK (X)

Page 20: La Esctructura del Espacio F CKlya.fciencias.unam.mx/paty/2016/etc/pdf/2016/robertomondragon.pdf · SeanX uncontinuo,K ⊂X uncompactonovacíoyn >1,definimosel espaciocociente: F

PreliminaresModelos para F2C{p}(X)Resultados para FnCK (X)

Conceptos Básicos

Sea πXn,K : Fn(X )→ FnCK (X ) la función cociente.

Denotemos por F Xn,K = πX

n,K (Fn(K ,X )).

Roberto Carlos Mondragón Álvarez La Esctructura del Espacio FnCK (X)

Page 21: La Esctructura del Espacio F CKlya.fciencias.unam.mx/paty/2016/etc/pdf/2016/robertomondragon.pdf · SeanX uncontinuo,K ⊂X uncompactonovacíoyn >1,definimosel espaciocociente: F

PreliminaresModelos para F2C{p}(X)Resultados para FnCK (X)

◦ Fn(X )− Fn(K ,X ) es homeomorfo a FnCK (X )− {F Xn,K};

◦ Fn(X − {p}) es homeomorfo a FnC{p}(X )− {F Xn,{p}},

para cada p ∈ X .

Roberto Carlos Mondragón Álvarez La Esctructura del Espacio FnCK (X)

Page 22: La Esctructura del Espacio F CKlya.fciencias.unam.mx/paty/2016/etc/pdf/2016/robertomondragon.pdf · SeanX uncontinuo,K ⊂X uncompactonovacíoyn >1,definimosel espaciocociente: F

PreliminaresModelos para F2C{p}(X)Resultados para FnCK (X)

◦ Fn(X )− Fn(K ,X ) es homeomorfo a FnCK (X )− {F Xn,K};

◦ Fn(X − {p}) es homeomorfo a FnC{p}(X )− {F Xn,{p}},

para cada p ∈ X .

Roberto Carlos Mondragón Álvarez La Esctructura del Espacio FnCK (X)

Page 23: La Esctructura del Espacio F CKlya.fciencias.unam.mx/paty/2016/etc/pdf/2016/robertomondragon.pdf · SeanX uncontinuo,K ⊂X uncompactonovacíoyn >1,definimosel espaciocociente: F

PreliminaresModelos para F2C{p}(X)Resultados para FnCK (X)

Modelos Geométricos para F2C{p}(X ), para cuando X es un arco, la cir-cunferencia y triodo simple

Roberto Carlos Mondragón Álvarez La Esctructura del Espacio FnCK (X)

Page 24: La Esctructura del Espacio F CKlya.fciencias.unam.mx/paty/2016/etc/pdf/2016/robertomondragon.pdf · SeanX uncontinuo,K ⊂X uncompactonovacíoyn >1,definimosel espaciocociente: F

PreliminaresModelos para F2C{p}(X)Resultados para FnCK (X)

F2C{p}(I)

F2(I)

Roberto Carlos Mondragón Álvarez La Esctructura del Espacio FnCK (X)

Page 25: La Esctructura del Espacio F CKlya.fciencias.unam.mx/paty/2016/etc/pdf/2016/robertomondragon.pdf · SeanX uncontinuo,K ⊂X uncompactonovacíoyn >1,definimosel espaciocociente: F

PreliminaresModelos para F2C{p}(X)Resultados para FnCK (X)

F2C{p}(I)

F2(I)

Roberto Carlos Mondragón Álvarez La Esctructura del Espacio FnCK (X)

Page 26: La Esctructura del Espacio F CKlya.fciencias.unam.mx/paty/2016/etc/pdf/2016/robertomondragon.pdf · SeanX uncontinuo,K ⊂X uncompactonovacíoyn >1,definimosel espaciocociente: F

PreliminaresModelos para F2C{p}(X)Resultados para FnCK (X)

F2C{p}(I)

Sea p ∈ I − {0, 1},

F2(I)

Roberto Carlos Mondragón Álvarez La Esctructura del Espacio FnCK (X)

Page 27: La Esctructura del Espacio F CKlya.fciencias.unam.mx/paty/2016/etc/pdf/2016/robertomondragon.pdf · SeanX uncontinuo,K ⊂X uncompactonovacíoyn >1,definimosel espaciocociente: F

PreliminaresModelos para F2C{p}(X)Resultados para FnCK (X)

F2C{p}(I)

Sea p ∈ I − {0, 1},

F2(I)

Roberto Carlos Mondragón Álvarez La Esctructura del Espacio FnCK (X)

Page 28: La Esctructura del Espacio F CKlya.fciencias.unam.mx/paty/2016/etc/pdf/2016/robertomondragon.pdf · SeanX uncontinuo,K ⊂X uncompactonovacíoyn >1,definimosel espaciocociente: F

PreliminaresModelos para F2C{p}(X)Resultados para FnCK (X)

F2C{p}(I)

F2(I)

F2({p}, I).

Roberto Carlos Mondragón Álvarez La Esctructura del Espacio FnCK (X)

Page 29: La Esctructura del Espacio F CKlya.fciencias.unam.mx/paty/2016/etc/pdf/2016/robertomondragon.pdf · SeanX uncontinuo,K ⊂X uncompactonovacíoyn >1,definimosel espaciocociente: F

PreliminaresModelos para F2C{p}(X)Resultados para FnCK (X)

F2C{p}(I)

Roberto Carlos Mondragón Álvarez La Esctructura del Espacio FnCK (X)

Page 30: La Esctructura del Espacio F CKlya.fciencias.unam.mx/paty/2016/etc/pdf/2016/robertomondragon.pdf · SeanX uncontinuo,K ⊂X uncompactonovacíoyn >1,definimosel espaciocociente: F

PreliminaresModelos para F2C{p}(X)Resultados para FnCK (X)

F2C{p}(I)

Roberto Carlos Mondragón Álvarez La Esctructura del Espacio FnCK (X)

Page 31: La Esctructura del Espacio F CKlya.fciencias.unam.mx/paty/2016/etc/pdf/2016/robertomondragon.pdf · SeanX uncontinuo,K ⊂X uncompactonovacíoyn >1,definimosel espaciocociente: F

PreliminaresModelos para F2C{p}(X)Resultados para FnCK (X)

F2C{p}(I)

F2({p}, I)

Roberto Carlos Mondragón Álvarez La Esctructura del Espacio FnCK (X)

Page 32: La Esctructura del Espacio F CKlya.fciencias.unam.mx/paty/2016/etc/pdf/2016/robertomondragon.pdf · SeanX uncontinuo,K ⊂X uncompactonovacíoyn >1,definimosel espaciocociente: F

PreliminaresModelos para F2C{p}(X)Resultados para FnCK (X)

F2C{p}(I)

F X2,{p}

Roberto Carlos Mondragón Álvarez La Esctructura del Espacio FnCK (X)

Page 33: La Esctructura del Espacio F CKlya.fciencias.unam.mx/paty/2016/etc/pdf/2016/robertomondragon.pdf · SeanX uncontinuo,K ⊂X uncompactonovacíoyn >1,definimosel espaciocociente: F

PreliminaresModelos para F2C{p}(X)Resultados para FnCK (X)

S1

Roberto Carlos Mondragón Álvarez La Esctructura del Espacio FnCK (X)

Page 34: La Esctructura del Espacio F CKlya.fciencias.unam.mx/paty/2016/etc/pdf/2016/robertomondragon.pdf · SeanX uncontinuo,K ⊂X uncompactonovacíoyn >1,definimosel espaciocociente: F

PreliminaresModelos para F2C{p}(X)Resultados para FnCK (X)

F2C{p}(S1)

F2(S1)

Roberto Carlos Mondragón Álvarez La Esctructura del Espacio FnCK (X)

Page 35: La Esctructura del Espacio F CKlya.fciencias.unam.mx/paty/2016/etc/pdf/2016/robertomondragon.pdf · SeanX uncontinuo,K ⊂X uncompactonovacíoyn >1,definimosel espaciocociente: F

PreliminaresModelos para F2C{p}(X)Resultados para FnCK (X)

F2C{p}(S1)

F2(S1)

Roberto Carlos Mondragón Álvarez La Esctructura del Espacio FnCK (X)

Page 36: La Esctructura del Espacio F CKlya.fciencias.unam.mx/paty/2016/etc/pdf/2016/robertomondragon.pdf · SeanX uncontinuo,K ⊂X uncompactonovacíoyn >1,definimosel espaciocociente: F

PreliminaresModelos para F2C{p}(X)Resultados para FnCK (X)

F2C{p}(S1)

F2({p},S1)

Roberto Carlos Mondragón Álvarez La Esctructura del Espacio FnCK (X)

Page 37: La Esctructura del Espacio F CKlya.fciencias.unam.mx/paty/2016/etc/pdf/2016/robertomondragon.pdf · SeanX uncontinuo,K ⊂X uncompactonovacíoyn >1,definimosel espaciocociente: F

PreliminaresModelos para F2C{p}(X)Resultados para FnCK (X)

F2C{p}(S1)

Roberto Carlos Mondragón Álvarez La Esctructura del Espacio FnCK (X)

Page 38: La Esctructura del Espacio F CKlya.fciencias.unam.mx/paty/2016/etc/pdf/2016/robertomondragon.pdf · SeanX uncontinuo,K ⊂X uncompactonovacíoyn >1,definimosel espaciocociente: F

PreliminaresModelos para F2C{p}(X)Resultados para FnCK (X)

F2C{p}(T )

F2(T )

Roberto Carlos Mondragón Álvarez La Esctructura del Espacio FnCK (X)

Page 39: La Esctructura del Espacio F CKlya.fciencias.unam.mx/paty/2016/etc/pdf/2016/robertomondragon.pdf · SeanX uncontinuo,K ⊂X uncompactonovacíoyn >1,definimosel espaciocociente: F

PreliminaresModelos para F2C{p}(X)Resultados para FnCK (X)

Roberto Carlos Mondragón Álvarez La Esctructura del Espacio FnCK (X)

Page 40: La Esctructura del Espacio F CKlya.fciencias.unam.mx/paty/2016/etc/pdf/2016/robertomondragon.pdf · SeanX uncontinuo,K ⊂X uncompactonovacíoyn >1,definimosel espaciocociente: F

PreliminaresModelos para F2C{p}(X)Resultados para FnCK (X)

F2({p},T )

Roberto Carlos Mondragón Álvarez La Esctructura del Espacio FnCK (X)

Page 41: La Esctructura del Espacio F CKlya.fciencias.unam.mx/paty/2016/etc/pdf/2016/robertomondragon.pdf · SeanX uncontinuo,K ⊂X uncompactonovacíoyn >1,definimosel espaciocociente: F

PreliminaresModelos para F2C{p}(X)Resultados para FnCK (X)

F2C{p}(T )

Roberto Carlos Mondragón Álvarez La Esctructura del Espacio FnCK (X)

Page 42: La Esctructura del Espacio F CKlya.fciencias.unam.mx/paty/2016/etc/pdf/2016/robertomondragon.pdf · SeanX uncontinuo,K ⊂X uncompactonovacíoyn >1,definimosel espaciocociente: F

PreliminaresModelos para F2C{p}(X)Resultados para FnCK (X)

Roberto Carlos Mondragón Álvarez La Esctructura del Espacio FnCK (X)

Page 43: La Esctructura del Espacio F CKlya.fciencias.unam.mx/paty/2016/etc/pdf/2016/robertomondragon.pdf · SeanX uncontinuo,K ⊂X uncompactonovacíoyn >1,definimosel espaciocociente: F

PreliminaresModelos para F2C{p}(X)Resultados para FnCK (X)

Roberto Carlos Mondragón Álvarez La Esctructura del Espacio FnCK (X)

Page 44: La Esctructura del Espacio F CKlya.fciencias.unam.mx/paty/2016/etc/pdf/2016/robertomondragon.pdf · SeanX uncontinuo,K ⊂X uncompactonovacíoyn >1,definimosel espaciocociente: F

PreliminaresModelos para F2C{p}(X)Resultados para FnCK (X)

F2({p},T )

Roberto Carlos Mondragón Álvarez La Esctructura del Espacio FnCK (X)

Page 45: La Esctructura del Espacio F CKlya.fciencias.unam.mx/paty/2016/etc/pdf/2016/robertomondragon.pdf · SeanX uncontinuo,K ⊂X uncompactonovacíoyn >1,definimosel espaciocociente: F

PreliminaresModelos para F2C{p}(X)Resultados para FnCK (X)

F2C{p}(T )

Roberto Carlos Mondragón Álvarez La Esctructura del Espacio FnCK (X)

Page 46: La Esctructura del Espacio F CKlya.fciencias.unam.mx/paty/2016/etc/pdf/2016/robertomondragon.pdf · SeanX uncontinuo,K ⊂X uncompactonovacíoyn >1,definimosel espaciocociente: F

PreliminaresModelos para F2C{p}(X)Resultados para FnCK (X)

Roberto Carlos Mondragón Álvarez La Esctructura del Espacio FnCK (X)

Page 47: La Esctructura del Espacio F CKlya.fciencias.unam.mx/paty/2016/etc/pdf/2016/robertomondragon.pdf · SeanX uncontinuo,K ⊂X uncompactonovacíoyn >1,definimosel espaciocociente: F

PreliminaresModelos para F2C{p}(X)Resultados para FnCK (X)

F2({p},T )

Roberto Carlos Mondragón Álvarez La Esctructura del Espacio FnCK (X)

Page 48: La Esctructura del Espacio F CKlya.fciencias.unam.mx/paty/2016/etc/pdf/2016/robertomondragon.pdf · SeanX uncontinuo,K ⊂X uncompactonovacíoyn >1,definimosel espaciocociente: F

PreliminaresModelos para F2C{p}(X)Resultados para FnCK (X)

Resultados para FnCK (X )

DefiniciónUn punto p ∈ X es de corte, si X − {p} es no conexo.

Roberto Carlos Mondragón Álvarez La Esctructura del Espacio FnCK (X)

Page 49: La Esctructura del Espacio F CKlya.fciencias.unam.mx/paty/2016/etc/pdf/2016/robertomondragon.pdf · SeanX uncontinuo,K ⊂X uncompactonovacíoyn >1,definimosel espaciocociente: F

PreliminaresModelos para F2C{p}(X)Resultados para FnCK (X)

Resultados para FnCK (X )

Teorema 1.Sean X un continuo, p ∈ X y n ∈ N, con n > 1, entonces p es punto decorte en X si y sólo si F X

n,{p} es de corte en FnC{p}(X ).

Roberto Carlos Mondragón Álvarez La Esctructura del Espacio FnCK (X)

Page 50: La Esctructura del Espacio F CKlya.fciencias.unam.mx/paty/2016/etc/pdf/2016/robertomondragon.pdf · SeanX uncontinuo,K ⊂X uncompactonovacíoyn >1,definimosel espaciocociente: F

PreliminaresModelos para F2C{p}(X)Resultados para FnCK (X)

Bosquejo de la Prueba

⇒) Sea p ∈ X punto de corte,

entonces existen U y V abiertos no vacíosy ajenos de X tales que X − {p} = U ∪ V .Definimos

U = 〈U〉n;V = 〈X − {p},V 〉n.

Roberto Carlos Mondragón Álvarez La Esctructura del Espacio FnCK (X)

Page 51: La Esctructura del Espacio F CKlya.fciencias.unam.mx/paty/2016/etc/pdf/2016/robertomondragon.pdf · SeanX uncontinuo,K ⊂X uncompactonovacíoyn >1,definimosel espaciocociente: F

PreliminaresModelos para F2C{p}(X)Resultados para FnCK (X)

Bosquejo de la Prueba

⇒) Sea p ∈ X punto de corte, entonces existen U y V abiertos no vacíosy ajenos de X tales que X − {p} = U ∪ V .

Definimos

U = 〈U〉n;V = 〈X − {p},V 〉n.

Roberto Carlos Mondragón Álvarez La Esctructura del Espacio FnCK (X)

Page 52: La Esctructura del Espacio F CKlya.fciencias.unam.mx/paty/2016/etc/pdf/2016/robertomondragon.pdf · SeanX uncontinuo,K ⊂X uncompactonovacíoyn >1,definimosel espaciocociente: F

PreliminaresModelos para F2C{p}(X)Resultados para FnCK (X)

Bosquejo de la Prueba

⇒) Sea p ∈ X punto de corte, entonces existen U y V abiertos no vacíosy ajenos de X tales que X − {p} = U ∪ V .Definimos

U = 〈U〉n;V = 〈X − {p},V 〉n.

Roberto Carlos Mondragón Álvarez La Esctructura del Espacio FnCK (X)

Page 53: La Esctructura del Espacio F CKlya.fciencias.unam.mx/paty/2016/etc/pdf/2016/robertomondragon.pdf · SeanX uncontinuo,K ⊂X uncompactonovacíoyn >1,definimosel espaciocociente: F

PreliminaresModelos para F2C{p}(X)Resultados para FnCK (X)

Bosquejo de la Prueba

U 6= ∅ 6= V,

U y V son abiertos en X ,

Fn(X )− Fn({p},X ) = U ∪ V.

Finalmente, FnC{p}(X )− {F Xn,{p}} = πX

n,{p}(U) ∪ πXn,{p}(V).

Roberto Carlos Mondragón Álvarez La Esctructura del Espacio FnCK (X)

Page 54: La Esctructura del Espacio F CKlya.fciencias.unam.mx/paty/2016/etc/pdf/2016/robertomondragon.pdf · SeanX uncontinuo,K ⊂X uncompactonovacíoyn >1,definimosel espaciocociente: F

PreliminaresModelos para F2C{p}(X)Resultados para FnCK (X)

Bosquejo de la Prueba

U 6= ∅ 6= V,

U y V son abiertos en X ,

Fn(X )− Fn({p},X ) = U ∪ V.

Finalmente, FnC{p}(X )− {F Xn,{p}} = πX

n,{p}(U) ∪ πXn,{p}(V).

Roberto Carlos Mondragón Álvarez La Esctructura del Espacio FnCK (X)

Page 55: La Esctructura del Espacio F CKlya.fciencias.unam.mx/paty/2016/etc/pdf/2016/robertomondragon.pdf · SeanX uncontinuo,K ⊂X uncompactonovacíoyn >1,definimosel espaciocociente: F

PreliminaresModelos para F2C{p}(X)Resultados para FnCK (X)

Bosquejo de la Prueba

U 6= ∅ 6= V,

U y V son abiertos en X ,

Fn(X )− Fn({p},X ) = U ∪ V.

Finalmente, FnC{p}(X )− {F Xn,{p}} = πX

n,{p}(U) ∪ πXn,{p}(V).

Roberto Carlos Mondragón Álvarez La Esctructura del Espacio FnCK (X)

Page 56: La Esctructura del Espacio F CKlya.fciencias.unam.mx/paty/2016/etc/pdf/2016/robertomondragon.pdf · SeanX uncontinuo,K ⊂X uncompactonovacíoyn >1,definimosel espaciocociente: F

PreliminaresModelos para F2C{p}(X)Resultados para FnCK (X)

Bosquejo de la Prueba

U 6= ∅ 6= V,

U y V son abiertos en X ,

Fn(X )− Fn({p},X ) = U ∪ V.

Finalmente, FnC{p}(X )− {F Xn,{p}} = πX

n,{p}(U) ∪ πXn,{p}(V).

Roberto Carlos Mondragón Álvarez La Esctructura del Espacio FnCK (X)

Page 57: La Esctructura del Espacio F CKlya.fciencias.unam.mx/paty/2016/etc/pdf/2016/robertomondragon.pdf · SeanX uncontinuo,K ⊂X uncompactonovacíoyn >1,definimosel espaciocociente: F

PreliminaresModelos para F2C{p}(X)Resultados para FnCK (X)

Bosquejo de la Prueba

⇐) Sea p ∈ X .

Supongamos que F Xn,{p} es punto de corte en FnC{p}(X ).

Si X − {p} es conexo.

Entonces Fn(X − {p}) es conexo, pero

Fn(X − {p}) ' FnC{p}(X )− {F Xn,{p}}

de manera que FnC{p}(X )− {F Xn,{p}} es conexo, lo cual es imposible.

Por lo tanto X − {p} es no conexo.

Roberto Carlos Mondragón Álvarez La Esctructura del Espacio FnCK (X)

Page 58: La Esctructura del Espacio F CKlya.fciencias.unam.mx/paty/2016/etc/pdf/2016/robertomondragon.pdf · SeanX uncontinuo,K ⊂X uncompactonovacíoyn >1,definimosel espaciocociente: F

PreliminaresModelos para F2C{p}(X)Resultados para FnCK (X)

Bosquejo de la Prueba

⇐) Sea p ∈ X .Supongamos que F X

n,{p} es punto de corte en FnC{p}(X ).

Si X − {p} es conexo.

Entonces Fn(X − {p}) es conexo, pero

Fn(X − {p}) ' FnC{p}(X )− {F Xn,{p}}

de manera que FnC{p}(X )− {F Xn,{p}} es conexo, lo cual es imposible.

Por lo tanto X − {p} es no conexo.

Roberto Carlos Mondragón Álvarez La Esctructura del Espacio FnCK (X)

Page 59: La Esctructura del Espacio F CKlya.fciencias.unam.mx/paty/2016/etc/pdf/2016/robertomondragon.pdf · SeanX uncontinuo,K ⊂X uncompactonovacíoyn >1,definimosel espaciocociente: F

PreliminaresModelos para F2C{p}(X)Resultados para FnCK (X)

Bosquejo de la Prueba

⇐) Sea p ∈ X .Supongamos que F X

n,{p} es punto de corte en FnC{p}(X ).

Si X − {p} es conexo.

Entonces Fn(X − {p}) es conexo, pero

Fn(X − {p}) ' FnC{p}(X )− {F Xn,{p}}

de manera que FnC{p}(X )− {F Xn,{p}} es conexo, lo cual es imposible.

Por lo tanto X − {p} es no conexo.

Roberto Carlos Mondragón Álvarez La Esctructura del Espacio FnCK (X)

Page 60: La Esctructura del Espacio F CKlya.fciencias.unam.mx/paty/2016/etc/pdf/2016/robertomondragon.pdf · SeanX uncontinuo,K ⊂X uncompactonovacíoyn >1,definimosel espaciocociente: F

PreliminaresModelos para F2C{p}(X)Resultados para FnCK (X)

Bosquejo de la Prueba

⇐) Sea p ∈ X .Supongamos que F X

n,{p} es punto de corte en FnC{p}(X ).

Si X − {p} es conexo.

Entonces Fn(X − {p}) es conexo, pero

Fn(X − {p}) ' FnC{p}(X )− {F Xn,{p}}

de manera que FnC{p}(X )− {F Xn,{p}} es conexo, lo cual es imposible.

Por lo tanto X − {p} es no conexo.

Roberto Carlos Mondragón Álvarez La Esctructura del Espacio FnCK (X)

Page 61: La Esctructura del Espacio F CKlya.fciencias.unam.mx/paty/2016/etc/pdf/2016/robertomondragon.pdf · SeanX uncontinuo,K ⊂X uncompactonovacíoyn >1,definimosel espaciocociente: F

PreliminaresModelos para F2C{p}(X)Resultados para FnCK (X)

Bosquejo de la Prueba

⇐) Sea p ∈ X .Supongamos que F X

n,{p} es punto de corte en FnC{p}(X ).

Si X − {p} es conexo.

Entonces Fn(X − {p}) es conexo, pero

Fn(X − {p}) ' FnC{p}(X )− {F Xn,{p}}

de manera que FnC{p}(X )− {F Xn,{p}} es conexo, lo cual es imposible.

Por lo tanto X − {p} es no conexo.

Roberto Carlos Mondragón Álvarez La Esctructura del Espacio FnCK (X)

Page 62: La Esctructura del Espacio F CKlya.fciencias.unam.mx/paty/2016/etc/pdf/2016/robertomondragon.pdf · SeanX uncontinuo,K ⊂X uncompactonovacíoyn >1,definimosel espaciocociente: F

PreliminaresModelos para F2C{p}(X)Resultados para FnCK (X)

Bosquejo de la Prueba

⇐) Sea p ∈ X .Supongamos que F X

n,{p} es punto de corte en FnC{p}(X ).

Si X − {p} es conexo.

Entonces Fn(X − {p}) es conexo, pero

Fn(X − {p}) ' FnC{p}(X )− {F Xn,{p}}

de manera que FnC{p}(X )− {F Xn,{p}} es conexo, lo cual es imposible.

Por lo tanto X − {p} es no conexo.

Roberto Carlos Mondragón Álvarez La Esctructura del Espacio FnCK (X)

Page 63: La Esctructura del Espacio F CKlya.fciencias.unam.mx/paty/2016/etc/pdf/2016/robertomondragon.pdf · SeanX uncontinuo,K ⊂X uncompactonovacíoyn >1,definimosel espaciocociente: F

PreliminaresModelos para F2C{p}(X)Resultados para FnCK (X)

Bosquejo de la Prueba

⇐) Sea p ∈ X .Supongamos que F X

n,{p} es punto de corte en FnC{p}(X ).

Si X − {p} es conexo.

Entonces Fn(X − {p}) es conexo, pero

Fn(X − {p}) ' FnC{p}(X )− {F Xn,{p}}

de manera que FnC{p}(X )− {F Xn,{p}} es conexo, lo cual es imposible.

Por lo tanto X − {p} es no conexo.

Roberto Carlos Mondragón Álvarez La Esctructura del Espacio FnCK (X)

Page 64: La Esctructura del Espacio F CKlya.fciencias.unam.mx/paty/2016/etc/pdf/2016/robertomondragon.pdf · SeanX uncontinuo,K ⊂X uncompactonovacíoyn >1,definimosel espaciocociente: F

PreliminaresModelos para F2C{p}(X)Resultados para FnCK (X)

Teorema 2.Sea X un continuo homogeneo, entonces para cada par de puntosp, q ∈ X , FnC{p}(X ) es homeomorfo a FnC{q}(X ).

Teorema 3.Sean X un continuo, p ∈ X y m ∈ N, si X − {p} tiene m componentes,entonces F2C{p}(X )− {F X

2,{p}} tienem+m2

2 componentes.

Roberto Carlos Mondragón Álvarez La Esctructura del Espacio FnCK (X)

Page 65: La Esctructura del Espacio F CKlya.fciencias.unam.mx/paty/2016/etc/pdf/2016/robertomondragon.pdf · SeanX uncontinuo,K ⊂X uncompactonovacíoyn >1,definimosel espaciocociente: F

PreliminaresModelos para F2C{p}(X)Resultados para FnCK (X)

Teorema 2.Sea X un continuo homogeneo, entonces para cada par de puntosp, q ∈ X , FnC{p}(X ) es homeomorfo a FnC{q}(X ).

Teorema 3.Sean X un continuo, p ∈ X y m ∈ N, si X − {p} tiene m componentes,entonces F2C{p}(X )− {F X

2,{p}} tienem+m2

2 componentes.

Roberto Carlos Mondragón Álvarez La Esctructura del Espacio FnCK (X)

Page 66: La Esctructura del Espacio F CKlya.fciencias.unam.mx/paty/2016/etc/pdf/2016/robertomondragon.pdf · SeanX uncontinuo,K ⊂X uncompactonovacíoyn >1,definimosel espaciocociente: F

PreliminaresModelos para F2C{p}(X)Resultados para FnCK (X)

Teorema 4.Sean X una gráfica finita y p ∈ X un punto final, entonces F2C{p}(X ) eshomeomorfo a F2(X ) si y sólo si X es un n−odo simple o un arco.

Roberto Carlos Mondragón Álvarez La Esctructura del Espacio FnCK (X)

Page 67: La Esctructura del Espacio F CKlya.fciencias.unam.mx/paty/2016/etc/pdf/2016/robertomondragon.pdf · SeanX uncontinuo,K ⊂X uncompactonovacíoyn >1,definimosel espaciocociente: F

PreliminaresModelos para F2C{p}(X)Resultados para FnCK (X)

Gracias

Roberto Carlos Mondragón Álvarez La Esctructura del Espacio FnCK (X)