En el presente trabajo consiste en probar el Teorema Fundamental De Eilenberg ( segunda forma) usando el método de la topología algebraica que consiste en asociar a cada espacio topológico x. / This word consiste in prove the Fundamental theorem of Eilenberg (Second Form ) using the methds of algebraic topology that consists in associate to each space a group.

A lo largo de esta tesis estudiamos la geometría global de las superficies espaciales, y maximales en particular, en espacios producto lorentzianos. En primer lugar generalizamos el teorema de Calabi-Bernstein al caso de superficies maximales en un producto lorentziano. También estudiamos algunos problemas locales, que a posteriori tendrán importantes repercusiones globales. Los producto lorentzianos forman parte de la familia de los espacios de Robertson-Walker generalizados, al igual que los espacios tipo steady state. Las superficies equivalentes a las superficies maximales en un espacio tipo steady state son las superficies espaciales con H=1. En este contexto damos un resultado de unicidad para superficies espaciales completas con curvatura media constante acotadas del infinito en un espacio tipo steady state. Por último consideramos superficies espaciales con curvatura de Gauss constante en espacios producto, tanto lorentzianos como riemannianos. En este caso obtenemos algunos resultados de tipo Calabi-Bernstein cuando M es la esfera S2. / Along this PhD thesis we study the global geometry of spacelike surfaces, and in particular maximal surfaces, in Lorentzian product spaces. Firstly, we generalize the Calabi-Bernstien theorem when considering maximal surfaces in a Lorentzian product. We also study some local problems, which a posteriori will have important global consequences. The Lorentzian products are part of the family of the generalized Robertson-Walker spaces. Also the steady state type spaces form a subfamily of such spaces. The equivalent surfaces to the maximal ones in a steady state type space are the spacelike surfaces with H=1. In this context, we give a uniqueness result for complete spacelike surfaces with constant mean curvature bounded from the infinity of a steady state type space. Finally, we consider spacelike surfaces with constant Gaussian curvature in Riemannian and Lorentzian product spaces. In this case, we obtain some Calabi-Bernstein type results when M is the sphere S2

Veremos algunos aspectos de topología algebraica) en particular ilustraremos la clasificación de superficies bidimensionales compactas.

En los últimos años se ha desarrollado una teoría matemática que permite generalizar algunas teorías matemáticas clásicas: hiperespacios, espacios de funciones, topología algebraica, etc. Este hecho viene motivado, en parte, por ciertos problemas de análisis funcional, concentración de medidas, sistemas dinámicos, teoría de las ciencias de la computación, matemática económica, etc. Esta tesis doctoral está dedicada al estudio de algunas de estas generalizaciones desde un punto de vista no simétrico. En la primera parte, estudiamos el conjunto de funciones semi-Lipschitz; mostramos que este conjunto admite una estructura de cono normado. Estudiaremos diversos tipos de completitud (bicompletitud, right k-completitud, D-completitud, etc), y también analizaremos cuando la casi-distancia correspondiente es balanceada. Además presentamos un modelo adecuado para el computo de la complejidad de ciertos algoritmos mediante el uso de normas relativas. Esto se consigue seleccionando un espacio de funciones semi-Lipschitz apropiado. Por otra parte, mostraremos que estos espacios proporcionan un contexto adecuado en el que caracterizar los puntos de mejor aproximación en espacios casi-métricos. El hecho de que varias hipertopologías hayan sido aplicadas con éxito en diversas áreas de Ciencias de la Computación ha contribuido a un considerable aumento del interés en el estudio de los hiperespacios desde un punto de vista no simétrico. Así, en la segunda parte de la tesis, estudiamos algunas condiciones de mejor aproximación en el contexto de hiperespacios casi-métricos. Por otro lado, caracterizamos la completitud de un espacio uniforme usando la completitud de Sieber-Pervin, la de Smyth y la D-completitud de su casi-uniformidad superior de Hausdorff-Bourbaki, definida en los subconjuntos compactos no vacíos. Finalmente, introducimos dos nociones de hiperespacio casi-métrico fuzzy. / Sánchez Álvarez, JM. (2009). Semi-lipschitz functions, best approximation, and fuzzy quasi-metric hyperspaces [Tesis doctoral no publicada]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/5769 / Palancia

El entrelazamiento puede abordarse desde dos perspectivas diferentes: como un recurso esencial para las tecnologías cuánticas y como un fenómeno fundamental que está íntimamente relacionado con nuestra comprensión de la naturaleza misma. Por otro lado, la teoría cuántica se formula en el marco teórico de los espacios de Hilbert, para los que el entrelazamiento juega un papel importante en la determinación de su geometría y topología. Las características topológicas que puedan exhibirse al utilizar estados entrelazados son largamente independientes de la realización física particular del entrelazamiento: puede afectar a un solo grado de libertad poseído por dos partículas diferentes, o bien puede implicar dos grados diferentes de libertad que se cohesionan a una misma partícula o entidad física, por ejemplo, un campo electromagnético. Resulta que la manipulación de los grados de libertad de polarización y momentum (camino) ya sea de forma independiente el uno del otro o mediante la aplicación de evoluciones unitarias no separables es muy versátil. Con esto en mente, la presente tesis apunta hacia el diseño e implementación de arreglos experimentales que se pueden utilizar para estudiar fases geométricas y topológicas en sistemas de dos qubits mediante el uso de los grados de libertad de momentum (camino) y polarización de un solo fotón. Finalmente mostramos el diseño de un experimento, apuntado a exhibir la fase topológica, y los resultados obtenidos. / Tesis

Esta tesis presenta una visión global y prácticamente autocontenida de los avances que se llevaron a cabo en la décadas de los años 1960 y 1970 con respecto al estudio de las estructuras de contacto en variedades diferenciables. Nuestro objetivo principal sería exhibir explícitamente estructuras métricas de contacto en las denominadas variedades de Brieskorn, que surgen como el conjunto de ceros de los llamados polinomios de Brieskorn-Pham intersecado con la esfera unitaria. Para ello comenzaremos desarrollando a grandes rasgos los conceptos relacionados a la geometría simpléctica, la geometría compleja y las variedades de Kähler. Luego realizaremos un esbozo de prueba del teorema de Boothby-Wang, que constituye una generalización de la fibración de Hopf. A continuación presentaremos la construcción de estructuras métricas de contacto, en particular, las denominadas estructuras de Sasaki. El objetivo de ello es obtener estructuras de Sasaki en las variedades de Brieskorn, las cuales exhibiremos en coordenadas a fin de obtener un procedimiento para construirlas en una variedad de Brieskorn arbitraria. Por último, relacionaremos lo estudiado con la fibración de Boothby-Wang para probar que las estructuras construidas pueden ser proyectadas como hipersuperficies en el espacio proyectivo complejo. Debido a la naturaleza de las nociones presentadas, se espera que el lector tenga un conocimiento elemental de la geometría riemanniana. / Tesis

El presente estudio de investigación es una propuesta de Secuencia Didáctica sobre conceptos de topología métrica para la formación de docentes de matemática en la Universidad Nacional de Educación “Enrique Guzmán y Valle”. Siguiendo el proceso metodológico de la Ingeniería Didáctica, se diseña la secuencia didáctica, en base a un análisis previo que abarca los aspectos epistemológico, cognitivo y didáctico. Coherentes con la Teoría de las Situaciones Didácticas, las actividades que conforman la Secuencia Didáctica han sido diseñadas de tal manera que los estudiantes transiten por situaciones a-didácticas de acción, formulación y validación en la construcción de sus aprendizajes, bajo la premisa de que solo la acción autónoma permite aprendizajes y comportamientos auténticamente matemáticos. En la fase experimental, con el propósito de que los estudiantes asuman la responsabilidad de su aprendizaje y actúen lo más independientemente posible de la acción del docente, la secuencia didáctica se presenta a través de cinco fascículos impresos, de modo que la intervención del docente se limite a orientar, centrar o desbloquear la actividad de los alumnos. El proceso de validación de la Secuencia Didáctica fue llevada a cabo en la UNE “Enrique Guzmán y Valle” con los estudiantes que cursan el VIII Ciclo (Semestre 2011-I) del Departamento Académico de Matemática e Informática de la Facultad de Ciencias. En general, se pudo constatar que los estudiantes de la especialidad de Matemática e Informática – VIII Ciclo de la Facultad de Ciencias, tienen serias dificultades en el proceso de aprendizaje de la topología métrica principalmente en cuanto a la formulación matemática de las definiciones y las demostraciones de los espacios métricos y las vecindades. La secuencia didáctica propuesta ayudó significativamente a superar dichas dificultades. En base a las conclusiones y recomendaciones que presentamos esperamos se realicen estudios que complementen y amplíen el presente estudio en la perspectiva del mejoramiento del proceso de aprendizaje de este tópico de la matemática, fundamental en la formación de docentes de la especialidad. / Tesis

Un solenoide de dimensión 1 es localmente el producto de un conjunto de Cantor por un intervalo. La teoría de nudos trata acerca de las incrustaciones (“embeddings”) del círculo S1 en la esfera S3. Por ejemplo, se puede definir el linking de Gauss de dos nudos en S3. Este trabajo trata acerca de las incrustaciones de solenoides en la esfera S3. Para cualquier difeomorfismo φ en Di (D2, ∂D2) y cualquier medida de probabilidad µ, invariante, se puede intentar medir el enlace promedio (average linking) de las órbitas de φ. Esto se puede hacer de dos maneras canónicas y distintas. Por un lado, el invariante de Calabi mide el enlace asintótico promedio de los pares de órbitas bajo la acción del difeomorfismo; por otro lado, el invariante de Ruelle mide la rotación asintótica promedio del plano tangente alrededor de una órbita bajo la acción de la diferencial del difeomorfismo. A pesar del hecho que estos dos invariantes describen propiedades topológicas y diferenciales del enlace, ellos no están muy relacionados y podemos fácilmente construir ejemplos de difeomor-fismos y medidas en donde uno de estos números es cero pero el otro no. En este trabajo se analiza la situación particular en que el difeomorfismo φ en Di (D2, ∂D2) posee un conjunto de Cantor X invariante, tal que la dinámica restringida a X es minimal y únicamente ergódica. El objetivo es mostrar cómo, en este preciso ambiente, los invariantes de Calabi y Ruelle son dos elementos del mismo contexto global en la dinámica de los solenoides. Una clase interesante de solenoides incrustados, consiste en los solenoides que son un conjunto invariante de un campo de vectores no singular de clase C1, cuyas hojas son transversales a la fibra del toro. Las propiedades de esta clase se comentan al final de la memoria.

Magíster en Ingeniería de Redes de Comunicaciones / La conmutación de etiquetas multiprotocolo (MPLS por sus siglas en inglés, Multiprotocol Label Switching) surge como un mecanismo de convergencia para los protocolos que operan sobre los niveles 2 y 3 del modelo OSI. Su capacidad para proveer y administrar diversos servicios con garantías de calidad de servicio y disponibilidad sobre una infraestructura común, ha hecho que MPLS sea un estándar en las redes de transporte de los proveedores de servicios. La interconexión de data centers y en general de redes LAN y MAN corporativas, se realiza a través de servicios MPLS VPN considerando solamente la topología de la red. En este contexto, resulta útil proporcionar información adicional para seleccionar modelos VPN en función del tipo de tráfico que se desea transportar. En este trabajo se diseña e implementa escenarios experimentales para proporcionar métricas que permiten ese contraste; el resumen de cada capítulo se detalla a continuación. En el primer capítulo se describen tecnologías, métricas de desempeño, herramientas de modelación y herramientas estadísticas. En el segundo capítulo se describen los procesos de diseño, implementación y simulación de los escenarios experimentales. Los escenarios garantizan que el desempeño de los servicios MPLS VPN se ponga a prueba bajo las mismas condiciones. Esas condiciones comprenden nodos de borde y políticas de QoS comunes para los servicios que se contrastan. Además, los escenarios consideran la capacidad de los nodos emulados por Dynamips como restricción y el tráfico que atraviesa una red operativa como condición inicial. Este tráfico se modela con redes neuronales artificiales y para poder generarlo con IPERF, se utiliza BoxCox y Bootstrapping sobre el modelo para obtener estadísticos representativos. Los procesos de implementación y simulación se realizan sobre GNS3; este último comprende la ejecución simultanea y recurrente de IP SLA, kron, IPERF, Wireshark, NTP y TFTP. En el tercer capítulo se presenta el resultado de los test estadísticos aplicados sobre las métricas de estudio. Además, se utilizan herramientas de simulación para estimar los intervalos de confianza de la media y obtener una representación gráfica del desempeño de los servicios MPLS VPN. En el cuarto capítulo se exponen las conclusiones de este trabajo, estas analizan los resultados de los test estadísticos asociados a los objetivos e hipótesis planteadas. Para finalizar se exponen algunas apreciaciones sobre trabajos futuros.

En el estudio de las álgebras relacionadas a las lógicas no-clásicas, los semirretículos (distributivos) están siempre presentes. Por ejemplo, la semántica algebraica del fragmento{ --;^; T} de la lógica intuicionista modal es la variedad de los semirretículos implicativos, que son una clase especial de semirretículos distributivos. En esta tesis, introducimos y estudiamos la clase de semirretículos distributivos acotados dotados de operadores modales que cumplen con la condición de monotonía. Estudiamos una teoría de representación para estas álgebras usando las extensiones canónicas y desarrollamos una dualidad completa a través de espacios sober. Dichos resultados son aplicables, bajo modificaciones menores, al estudio de los retículos distributivos acotados, los semirretículos implicativos, las álgebras de Heyting y a las álgebras de Boole con operadores monótonos. Mostraremos cómo nuestra dualidad se extiende a algunos casos particulares. En el caso de las álgebras de Boole, nuestra dualidad incluye, como casos particulares, las dadas en [12] y [31]. Las lógicas modales monótonas han surgido en distintas áreas de aplicación, como por ejemplo, asociadas a ciertas sem anticas utilizadas en computación teórica e inteligencia artificial. Usando la dualidad desarrollada, estudiaremos algunas extensiones obtenidas a partir de un sistema deductivo basado en semirretículos con operadores modales monótonos. A estos sistemas deductivos los dotaremos de una semántica de entornos, y nuestro objetivo principal es probar la completitud de estas extensiones con respecto a una clase característica de marcos monótonos. La variedad de las álgebras de Boole con operadores modales monótonos es dualmente equivalente a dos clases de marcos monótonos generales descriptivos. Clarificaremos este fenómeno mostrando que existe una correspondencia biyectiva entre estas dos clases. Hablaremos sobre algunas clases de marcos de entornos monótonos generales, tales como las clases de punto compacto, imagen compacto y marcos monótonos generales repletos, y estudiaremos las relaciones entre ellos. También probaremos que las nociones de marco monótono punto compacto, e imagen compacto se preservan bajo morfismos acotados fuertes. / In the study of algebras related to non-classical logics, (distributive) semilattices are always present in the background. For example, the algebraic semantic of the { --;^; T}fragment of intuitionistic logic is the variety of implicative meetsemilattices, which are distributive semilattices. In this thesis we introduce and study the class of distributive meet-semilattices endowed with monotonic modal operators. We study the representation theory of these algebras using the theory of canonical extensions and we give a topological duality (Stone style) for them. Also, we show how our new duality extends to some particular subclasses. So, most of the results given in this paper are applicable, with minor modi cations, to the study of bounded distributive lattices, implicative semilattices, Heyting algebras, and Boolean algebras with monotonic operators. We note that in the particular case of Boolean algebras our duality yields the duality given in [12] and [31]. Monotone modal logics have emerged in several application areas such as computer science and social choice theory. Using the developed duality, we study some extensions obtained from a semilattice based deductive system with monotonic modal operators. We give neighborhood semantics, and our main objective is to prove completeness with respect to a characteristic classes of monotonic frames. The variety of Boolean algebras with monotonic modal operators is dually equivalent to two classes of descriptive general monotonic frames. We shall clarify this phenomenon showing that there exists a bijective correspondence between these two classes. We shall discuss some classes of general monotonic neighborhood frames, such as the classes of point-compact, image compact and replete general m-frames, and we shall study the relationships between them. We shall also prove that the notions of point-compact, and image-compact monotonic frames are preserved by strong bounded morphisms.