Está en la página 1de 8

U NIVERSIDAD N ACIONAL P EDRO RUIZ G ALLO

FACULTAD DE C IENCIAS F ÍSICAS Y M ATEM ÁTICAS


UNIDAD DE INVESTIGACI ÓN

REGISTRO NACIONAL DE TRABAJOS DE INVESTIGACIÓN Y PROYECTOS


FORMATO N◦ 1
CERTIFICACIÓN DE APROBACIÓN
DEL PROYECTO DE INVESTIGACIÓN
C ÓDIGO....................... FECHA ...............

COTEJO EN LA BASE DE DATOS DE LA ANR

1. Escuela Profesional:
Escuela Profesional de Matemática.
2. Apellidos y Nombres:
Bobadilla Farfan, Alexandra Corina (Cod.110261-D)
3. Titulo del Proyecto:
“Caracterización de algunos espacios topológicos con dimensión topológica cero”
4. Asesor:
Mag. Mat. Oscar A. Santamaria Santisteban
5. Problema Cientı́fico:
¿Es posible obtener alguna caracterización de los espacios topológicos dispersos, total-
mente disconexos o totalmente separados, en términos de su dimensión topológica?
6.Objetivo General:
Caracterizar espacios topológicos dispersos, totalmente disconexos o totalmente sepa-
rados, en términos de su dimensión topológica.
7. Hipótesis:
Si es posible caracterizar los espacios topológicos dispersos, totalmente disconexos o
totalmente separados, en términos de su dimensión topológica.
8. Diseño de Contrastación de la Hipótesis:
Se hará uso de los diferentes resultados básicos y bibliografı́a relacionada a dimensión
topológica y topologı́a general.

Firma del Autor Firma del Asesor


(alebo.21.09@gmail.com-9839296981) (Email-Telf.Fijo/Celular)

.........................................................................................
DIRECTOR DE LA UNIDAD DE INVESTIGACIÓN
U NIVERSIDAD N ACIONAL P EDRO RUIZ G ALLO
FACULTAD DE C IENCIAS F ÍSICAS Y M ATEM ÁTICAS
E SCUELA P ROFESIONAL DE M ATEM ÁTICA

PROYECTO DE TESIS

1.1. INFORMACIÓN GENERAL

Tı́tulo:
“Caracterización de algunos espacios topológicos con dimensión topológica cero”
Autor:
Alexandra Corina Bobadilla Farfan (Cod.110261-D)
Asesor:
Mag. Mat. Oscar A. Santamaria Santisteban.
Resolución de apobación:

Tipo de Investigación
Básica
Área de Investigación
Ciencias Exactas: Matemática.
Lı́nea de Investigación
Topologı́a
Localidad e institucuión de ejecución:
Localidad: Lambayeque - Perú.
Institución: Universidad Nacional Pedro Ruı́z Gallo.
Duración estimada:
6 meses.

1.2. PLANTEAMIENTO DE LA INVESTIGACIÓN

Sintesis de la situación problemática


En topologı́a, un concepto importante que aparece en diversos estudios es el de dimensión topológica, el
cual a groso modo es el mı́nimo número natural n para el cual todo cubrimiento abierto admite un subcubri-
miento abierto más fino de orden no superior a n + 1. El orden de un cubrimiento es el máximo número de
elementos de dicho cubrimiento al que pertenece cualquier punto del conjunto.
Un punto es un espacio de dimensión cero, un conjunto finito o un conjunto numerable en Rn son espacios
de dimensión cero. Un ejemplo menos trivial de espacio de dimensión cero es el conjunto de Cantor, que
aparece con frecuencia en geometrı́a fractal.
Por otro lado, aunque menos conocidos, están los espacios topológicos con la propiedad de ser dispersos, to-
talmente disconexos, o totalmente separados. Por ejemplo, todo espacio topológico con la topologı́a discreta
es disperso y a la vez totalmente disconexo, y todo espacio conexo es disperso si, y solo si, su topologı́a es
la trivial. En R, los únicos subconjuntos totalmente disconexos son aquellos que tienen interior vacı́o. Un
ejemplo no trivial de espacio disperso es el conjunto de Cantor, el cual a su vez es de dimensión topológica
cero. Se plantea entonces establecer alguna caracterización de los espacios topológicos en el sentido de rela-
cionar la dimensión topológica y las propiedades de ser espacio disperso, totalmente disconexo o totalmente
separado.

Formulación del problema cientı́fico


¿Es posible obtener alguna caracterización de los espacios topológicos dispersos, totalmente disconexos o
totalmente separados, en términos de su dimensión topológica?

Hipótesis
Si es posible caracterizar los espacios topológicos dispersos, totalmente disconexos o totalmente separados,
en términos de su dimensión topológica.

Objetivos
• Objetivo general
Caracterizar espacios topológicos dispersos, totalmente disconexos o totalmente separados, en términos
de su dimensión topológica.

• Objetivos especı́ficos
a) Estudiar los espacios dispersos, espacios Lindelöf separables, espacios totalmente disconexos y
espacios totalmente separables.
b) Estudiar las caracterizaciones de los espacios Hausdorff compactos de dimensión cero, espacios
metrizables separables de dimensión cero y espacios metrizables compactos de dimensión cero.
c) Estudiar algunas aplicaciones de las caracterizaciones de espacios topológicos con dimensión to-
pológica cero.
Esquema de Contenido
Introducción
CAPÍTULO I: Preliminares.
• Construcción y propiedades del conjunto de Cantor.
• Dimensión topológica.
• El cubo de Hilbert.
• Espacios accesibles.
• Espacios de Lindelöf.
CAPÍTULO II: Espacios topológicos con dimensión topológica cero.
• Espacios dispersos.
• Espacios de Lindelöf separables.
• Espacios totalmente disconexos y totalmente separables.
• Caracterización de algunos espacios topológicos con dimensión topológica cero.
CAPÍTULO III: Algunas aplicaciones.

3
1.3. DISEÑO TÉCNICO

Antecedentes
• Greg Hjorth y Mats Molberg, (2005), realizaron el estudio: Free continuous actions on zero-dimensional
spaces (Acciones continuas libres en espacios de dimensión cero), en el departamento de Matemáticas,
Universidad de California en Los Ángeles, EE.UU. y el departamento de Ciencias Matemáticas, Uni-
versidad Noruega de Ciencia y Tecnologı́a (NTNU), Trondheim, Noruega. En este trabajo consideraron
problemas dinámicos relacionados con contextos de Borel y de teorı́a de medidas, además de acciones
continuas en espacios métricos compactos de dimensión cero y llegaron a la conclusión que la dinámica
topológica de los espacios de dimensión cero se reduce a la dinámica de las acciones continuas en el
espacio de Cantor.

• Mohammad Abry, Jan J. Dijkstra y Jan Van Mill, (2005), realizaron el estudio: Sums of almost zero-
dimensional spaces (Sumas de espacios casi cero dimensionales), en el departamento de Matemática y
Estadı́stica, Universidad de Auburn, Alabama, EE. UU. Este trabajo se estudia la definición de espacio
casi cero dimensional, que es un concepto teórico de dimensión entre cero y unidimensional. En esta
nota, se investiga hasta qué punto las propiedades familiares de la dimensión se transmiten a casi cero
dimensionalidad, interesados particularmente en los teoremas de suma.

• J. Nikiel, S. purisch y L. B. Treybig, (1998), realizaron el estudio: Separable zero-dimensional spaces


which are continuous imagenes of ordered compacta (Espacios de dimensión cero separables que tienen
imagenes continuas compactas ordenadas), en la Universidad de Houston. En esta investigación se de-
muestra un teorema de estructura sobre espacios separables de dimensión cero que tienen imagenes
continuas compactas ordenadas y se demuestra que no todos los espacios en esta clase son ordenables
por sı́ mismo.

• Sergei Logunov, (1998), realizó el estudio: On hereditary normality of zero-dimensional spaces (En la
normalidad hereditaria de espacios de dimensión cero), en el departamento de de Álgebra y Topologı́a,
Universidad Estatal de Udmurt, Krasnogeroyskaya, Izhevsk, Russia. En el cual demuestra, en particular,
que si X es un espacio segundo contable de dimensión cero sin puntos aislados, entonces cada punto
del resto del espacio βX es un punto de no normalidad en βX.

• M. M. Choban y E. Michael, (1991), realizaron el estudio: Representing spaces as images of zero-


dimensional spaces (Representando espacios como imágenes de espacios de dimensión cero), en el
departamento de Matemáticas, Instituto Pedagógico Tiraspol, Tiraspol, Moldavia y el departamento de
Matemáticas, Universidad de Washington, Seattle, EE. UU. En este trabajo realizan una demostración
del teorema, en el cual para cada espacio Tychonoff no vacı́o Y existe un espacio X de Tychonoff con
dim(X) = 0, un mapa perfecto f : X → Y , y un paracompacto S ⊆ X con dim(S) = 0, tal que
f (S) = Y y f |S es abierto.

• Jan Van Mill, (1981), realizo el estudio: Characterization of some zero-dimensional separable metric
spaces (Caracterización de algunos espacios métricos separables), donde demuestra que, para un espa-
cio métrico cero-dimensional X para el cual todos los subconjuntos no vacı́os abiertos y cerrados son

4
homeomorfos, mediante un homeomorfismo, existe a lo mucho un espacio Y que puede ser expresado
[

como una unión creciente Fn de conjuntos cerrados de modo que para todo n ∈ N, Fn es una copia
n=1
de X que no es denso en Fn+1 . Si además X contiene una copia cerrada que no es densa en sı́ misma,
entonces Y es homeomorfo a Q × X, donde Q denota el espacio de números racionales. Lo que da
caracterizaciones de espacios como Q × C y Q × P (C el conjunto de cantor y P el espacio de números
irracionales).

Base teórica
El presente estudio se sustenta en definiciones y resultados que involucran las nociones de cubrimientos de
conjuntos, nociones topológicas básicas como: espacio topológico, conjuntos abiertos y cerrados, bases de
topológias, espacio compactos, espacios conexos y disconexos, espacios de Hausdorff, espacios Lindelöf,
espacios métricos, conjuntos densos, espacios separables, algunos espacios Ti .

Definición y Operacionalización variables


• Definición 1:
Sea X un conjunto.
Una colección T ⊆ P(X) es una topologı́a sobre X, si:
a) ∅ ∈ T y X ∈ T .
[
b) Para cada familia arbitraria {Ai }i∈L ⊆ T se tiene que Ai ∈ T .
i∈L
c) Para todo A, B ∈ T se tiene que A ∩ B ∈ T .
Un espacio topológico es un par (X, T ) donde X es un conjunto y T es una topologı́a sobre X.
• Definición 2:
Sea (X, T ) un espacio topológico.
Un conjunto A ⊆ X se le llama conjunto abierto , si A ∈ T .
• Definición 3:
Sea (X, T ) un espacio topológico.
Un conjunto F ⊆ X se le llama conjunto cerrado , si X − F ∈ T .
• Definición 4:
Sea X un conjunto.
Una función d : X × X −→ R es una métrica en X, si:
1) ∀x, y ∈ X, d(x, y) ≥ 0.
2) d(x, y) = 0 ⇔ x = y.
3) d(x, y) = d(y, x)
4) d(x, z) ≤ d(x, y) + d(y, z)
Un espacio métrico es un par (X, d) donde X es un conjunto y d es una métrica sobre X.
• Definición 5:
(X, T ) espacio topológico.
[
1) Una colección {Ai }i∈L ⊆ P(X) es un cubrimiento de X, si Ai = X (L es un conjunto de
i∈L
indices).

5
2) Dado un cubrimiento[Aii∈L ⊆ P(X) de X, una colección Aij∈J⊂L es un subcubrimiento de
Ai i∈L (o de X), si Aj = X.
i∈J⊂L
[
3) Una colección {Ai }i∈L ⊆ P(X) es un cubrimiento abierto de X, si X = Ai y Ai ∈ T , ∀ ∈
i∈L
L.
Un espacio Topológico (X, T ) es un espacio compacto si todo cubrimiento abierto de X admite un
subcubrimiento finito. Es decir: Si {Ai }i∈L ⊆ T es un cubrimiento de X entonces existe un conjunto
finito {Ai1 , Ai2 , . . . , Aik } ⊆ {Ai }i∈L , tal que
[
k
X= Aij
j=1
Un espacio topológico X es llamado σ−compacto, si es la unión de una familia contable de subcon-
juntos compactos.
• Definición 6:
Sea (X, T ) un espacio topológico. Un conjunto S ⊆ X es denso en X, si S = X.
• Definición 7:
Sea (X, T ) un espacio topológico, B ⊆ T es una base de T , si cada elemento T se puede expresar
como unión de elementos de B
Sea (X, T ) un espacio topológico y x ∈ X.
Una colección Bx ⊆ T es una base local en X, si:
1) ∀B ∈ Bx se tiene que x ∈ B.
2) Si U ∈ T es tal que x ∈ U entonces existe algún B ∈ Bx , tal que: x ∈ B ⊆ U .
Un espacio topológico (X, T ) es primero contable, si en cada x ∈ X, admite una base local enumera-
ble.
(X, T ) es segundo contable, si T admite alguna base enumerable.
• Definición 8:
Un espacio topológico (X, T es un espacio de Hausdorff, si ∀x, y ∈ X, con x 6= y, existen U, V ∈ T
tal que x ∈ U , y ∈ V y U ∩ V = ∅.
• Definición 9:
Un espacio topológico X es accesible (tambien llamdo T1 ), si todo subconjunto unitario de X es cerrado
en X.
• Definición 10:
Un espacio topológico X es llamado espacio de Lindelöf, si todo cubrimiento abierto de X admite un
subcubrimiento contable.
• Definición 11:
Un espacio topológico X es disconexo, si es la unión de dos subconjuntos abiertos disjuntos no vacı́os.
X es conexo si no es disconexo.
• Definición 12:
Un espacio topológico X es conexo si no es disconexo.
• Definición 13:
Un espacio topológico X es llamado separable, si admite un subconjunto denso contable.

6
1.4. DISEÑO METODOLÓGICO

Diseño de contraste de hipótesis


Se hará uso de los diferentes resultados básicos y bibliografı́a relacionada a dimensión topológica y topologı́a
general.
Técnicas, instrumentos, equipos y materiales
Se empleará libros, revistas y páginas web para el desarrollo de esta tesis.

1.5. ACTIVIDADES Y RECURSOS

Cronograma

Tiempo
Actividad

Fases del planteamento


• Revisión Bibliográfica ⋆
• Elaboración del proyecto ⋆
• Presentación del proyecto ⋆
Fase de Ejecución
• Capı́tulo I ⋆
• Capı́tulo II ⋆ ⋆
• Capı́tulo III ⋆
Fase de Comunicación
• Elaboración y presentación de Informe ⋆
Presupuesto y financiamiento
a) Presupuesto
Material bibliográfico S/. 200.00
Material de escritorio S/. 100.00
Impresión y copias S/. 300.00
Otros S/. 100.00
Total S/. 700.00
b) Financiamiento
La totalidad del financiamiento del presente trabajo estará a cargo de la tesista.

7
B IBLIOGRAFIA

[1] Basener, William F. Topology and its applications. Hoboken, N.J: Wiley-Interscience, 2006.

[2] Coornaert, M. Topological dimension and dynamical systems. Cham: Springer, 2015.

[3] James, I. M. History of topology. Amsterdam New York: Elsevier Science B.V, 1999.

[4] Lima, Elon L. Elementos de topologia geral. Rio de Janeiro (RJ: SBM, 2009.

[5] Munkres, James R. Topology; a first course. Englewood Cliffs, N.J: Prentice-Hall, 1974.

[6] Nagata. Modern dimension theory. Berlin: Heldermann Verlag, 1983.

[7] Croom, Fred H. Principles of topology. Philadelphia: Saunders College Pub, 1989.

Alexandra Corina Bobadilla Farfan


Egresada

M.Sc. Oscar A. Santamaria Santisteban


Asesor