UNIVERSIDAD NACIONAL SAN AGUSTÍN DE AREQUIPA

FACULTAD DE CIENCIAS NATURALES Y FORMALES

ESCUELA PROFESIONAL DE MATEMÁTICAS

INVESTIGACIÓN FORMATIVA:

TEOREMA DE URYSON

CURSO: TOPOLOGIA
INTEGRANTES:
 PAYE CALSINA VLADIMIR
DOCENTE: VLADIMIR ROSAS MENESES

AREQUIPA-PERU
INTRODUCCIÓN.

El presente informe describe los objetivos, el plan y el desarrollo de los estudiantes

llevada a cabo en la Escuela de matemática. El problema que suscitó dichos
estudiantes dice relación con la definición, especificación del teorema y posterior
analizarlo a detalle para el apoyo a los estudiantes. Para la puesta en marcha se
estableció una modalidad que existen diferentes métodos en la cual podemos
aplicar a los teoremas y así demostrarlas para que el lector conozca, y en qué
momentos aplicarlas, el curso de demostración trigonométricas actuaría como
orientador para el trabajo que realizaran los estudiantes en sus respectivos centro
de estudios, a través de trabajo se establecerían programas y controles de avance.
En el anexo 1 "Descripción del Trabajo de cada estudiante " puede encontrarse una
descripción más detallada de las actividades realizadas por el estudiante en sus
diferentes visitas. Este informe ha sido dividido en 2 (cuatro) partes más un conjunto
de anexos. En la primera parte se plantea el objetivo general de las demostraciones
y los objetivos secundarios derivados del anterior. La segunda parte describe el plan
de investigación propuesto para el proyecto de desarrollo de cada estudiante, dentro
del cual se inserta esta asesoría. En la tercera parte se muestra el trabajo
desarrollado, describiendo la metodología y los resultados del estudio.
Pavel Samuilovich Urysohn

Pavel Urysohn (03 de febrero de 1898-17 de Agosto de 1924) fue un matemático

ruso que se graduó en la Universidad de Moscú en 1919 y se doctoro en 1921.
En esta etapa Urysohn estaba interesado en el análisis, en partículas, las
ecuaciones integrables, y este era el tema de su habilitación. Fue galardonado como
su habilitación, en junio de 1921 y posteriormente, se convirtió en profesor asistente
en la Universidad de Moscú.
Este matemático pronto se interesó por la topología desde que culmino su
doctorado, a elucidar el concepto de dimensión. Este interés surgió debido a dos
preguntas que planteo el brillante matemático ruso Dimitri Egorov(1869-1931),
pidiendo encontrar una definición topológica intrínseca general de una curva
cuando se circunscriben a que el avión se convierta en Cantor noción de un continuo
que no es absoluto en el plano denso, el segundo de Erogov pregunta era uno
similar, pero aplicado a los superficies, de nuevo piendo una definición intrínseca
topológica.
Urysohn atacó tal pregunta con determinación. Np sentarse todavía a la espera de
la inspiración a la huelga, y no intento una idea tras otra para ver si se la daría la
definición topológica a la dimensión que estaba buscando. Trabajo fuertemente por
más de una año logrando algunos avances. Pero fue hasta finales del año 1992 que
fue presentada la teoría completa.
El documento comienza con urysohn declarando su objetivo que era:
Indicar los conjuntos mas generables que todbia merecen ser llamado ‘líneas y
‘superficies’
Otro de los grandes aportes de Urysohn fue lo que hoy es conocido como el teorema
de metrización de Urysohn y su construcción de un espacio métrico separable
universal que contiene una imagen isométrica de cualquier espacio métrico, fue uno
de los últimos resultados de Urysohn.
Las principales contribuciones de Urysohn, además de la teoría de la dimensión que
se discutió anteriormente, son la introducción a la investigación de una clase de
superficies normales así como teoremas de metrización. Se le recuerda sobre todo
por “el lema de Urysohn” que demuestra la existencia de una cierta función continua
tomando valores 0 y 1 en determinados subconjuntos cerrados. Después de la
muerte de Urysohn, Browser y Aleksandrov se aseguraron de que las matemáticas
que este matemático dejó fueran debidamente tratadas.
ANTECEDENTES
Pavel Urysohn (03 de febrero de 1898 - 17 de agosto de 1924) fue un
matemático ruso que se graduó en la Universidad de Moscú en 1919 y
se doctoró en 1921.
Su interés por la topología surgió debido a dos preguntas que planteó
el matemático ruso Dimitri Egorov, en el cual pedía encontrar una
definición topológica general para ciertos casos.
Por lo cual trabajó fuertemente por más de un año logrando algunos
avances. Pero fue hasta finales del año 1922 que fue presentada la
teoría completa. Esto le permitió a Urysohn dar a conocer sus ideas
internacionalmente; Urysohn publicó una versión completa de su teoría
de la dimensión en Fundamenta Mathematicae, escribió un artículo
importante en dos partes en 1923, pero no apareció impreso hasta 1925
y 1926. Lamentablemente Urysohn había muerto antes de la
publicación.
El objetivo principal del documento era indicar los conjuntos más
generales que todavía merecen ser llamados “líneas” y “superficies”. Él
no solo buscaba definiciones de curvas y superficies, sino también las
definiciones de n-dimensional múltiple cantoriana y por lo tanto de la
dimensión en sí. El concepto de dimensión era, de hecho, el centro de
su atención.
Uno de los grandes aportes de Urysohn fue el teorema de metrización
de Urysohn y su construcción de un espacio métrico separable universal
que contiene una imagen isométrica de cualquier espacio métrico.
El teorema de metrizacion nos dice que:
Sea (X, τ) un ET normal y N2. Entonces existe un F: X, → Q = [0, 1]N.
En particular se tiene que X es metrizable.
De ahí “el lema de Urysohn” que demuestra la existencia de una cierta
función continúa tomando valores 0 y 1 en determinados subconjuntos
cerrados.
f: X → [0,1] tal que f(A) ⊂ {0} y f(B) ⊂ {1}
dicho lema fue demostrado por el mismo Urysohn siendo esta una de
las técnicas más ´útiles de la topología ya que es modelar un espacio X
usando las propiedades de su espacio de funciones reales continuas
Cb(X, R). Para que esto sea viable, hace falta que Cb(X, R) tenga
suficientes elementos, en el sentido que existan funciones que permitan
maniobrar adecuadamente con la topología de X.

IMPORTANCIA
El lema de Urysohn es comúnmente usado para construir funciones
continuas con ciertas propiedades en espacios normales. Es aplicado
en muchas situaciones, puesto que todos los espacios métricos y todos
los espacios de Hausdorff compactos son normales. El teorema de
extensión de Tietze es una generalización de este lema, cuya
demostración generalmente lo utiliza.
El lema de Urysohn es un espacio topologico normal de X, dos cerrados
disjuntos se pueden separar por aplicaciones continuas de X en [0,1] de
forma que en un cerrado la aplicación vale 0 y en el otro, 1.
El lema de Urysohn lo comprende uno indiferentemente, a pesar de los
esfuerzos por parte del profesor en insistir de su importancia. Voy a
intentar poner tres ejemplos de ello.

El primero es un resultado topológico y nos dice cuándo un espacio

topológico (X,τ) es metrizable, es decir, cuándo podemos afirmar que
existe una distancia en X de forma que la topología del correspondiente
espacio métrico sea la misma que ya teníamos, es decir, τ. El resultado
clásico dice que si el espacio satisface el segundo axioma de
numerabilidad y es normal, entonces es metrizable. Para ello, usando
el lema de Urysohn, se prueba que el espacio (X,τ) es homeomorfo a
un subconjunto del espacio métrico [0,1]R.

El segundo se refiere cuando hablamos de particiones de la unidad. No

voy a hablar de qué son las particiones de la unidad, pero están muy
relacionadas con el lema de Urysohn. Las particiones de la unidad se
usan, hablando un poco a la ligera, cuando uno quiere hacer una teoría
a partir de "trozos pequeños". Un ejemplo es cuando uno quiere decir
cómo se integra en una superficie. No es problema poder definir la
integral de una función en un abierto pequeño de la superficie, pero el
problema es como definirla para una función definida en toda la
superficie. Las particiones de la unidad nos permite extender dicha
integral.

Por último, un tercer ejemplo de aplicación del lema de Urysohn aparece

cuando uno se pregunta si una variedad se puede ver como un
subconjunto de un espacio euclídeo Rn. Una variedad de dimensión n
es un espacio topológico de forma que localmente es homeomorfo a Rn.
Por ejemplo, una curva es una variedad de dimensión 1 y una superficie,
una variedad de dimensión 2. Me centro en superficies. Hay que
imaginarse una superficie como un espacio topológico abstracto que
satisface la propiedad de variedad (y no como un subconjunto de R3).
La pregunta natural es si existe un espacio euclídeo Rn de forma que la
superficie sea homeomorfa a un subconjunto de Rn. Una condición
suficiente es que el espacio sea AN2, Hausdorff y normal. Y en la prueba
es clave el lema de Urysohn
DEFINICION DE CONJUNTO CERRADO

DEFINICION DE FUNCION CONTINUA

Sea f : X  Y donde X , Y son espacios métricos diremos que f es continua en un punto a si

  0 es posible encontrar un   0 de manera que si d ( x, a)   esto deba implicar que
d ( f ( x), f (a))   .

APLICACIÓN DEL TEOREMA DE URYSON

En este capítulo platicaremos sobre la importancia de otras dos
caracterizaciones de los espacios normales en donde la primera
caracterización será el teorema de interpolación de katetov’, y la
segunda nos permitirá hallar mediante una ecuación x y el espacio
C   .
Caracterización de los espacios normales
En esta sección daremos la demostración del Teorema de interpolación
de Katetov el cual nos servirá como herramienta para demostrar que la
ecuación

d  f , C    
1
osc( f )
2

Si satisface para cualquier función f  x

, donde X es un espacio
normal
Teorema (Teorema de interpolación de Katetov)
Sea X un espacio topológico normal y sean f1  f 2 funciones en x con
f semicontinua superiormente y f 2 semicontinua inferiormente,
entonces existe una función continua f :   tal que f1  f  x   f 2 para
cada x ∈ X
Definición: Sea X un espacio topológico, si f  x
y x0   , se define la
oscilación de f en x0 como

osc( f , x0 )  inf  sup{ f  z   f  y  : z, y U }

Vx 0

Teorema: Sea X un espacio normal y f una función real definida en X

, entonces se cumple que
1
d ( f , C ( X ))  osc( f )
2

Corolario: Sea X un espacio topológico, las siguientes afirmaciones

son equivalentes
 X es normal
 Para cada par de funciones f1 , f 2  x con f1  f 2 , f1 semicontinua
superiormente y f 2 es semicontinua inferiormente, existe una
función continua f  x tal que f  x 1  f  x   f2  x  para cada x  X
1
 Para cada función f  x
se tiene que d ( f , C ( X ))  osc( f )
2