Now showing items 1-16 of 16

    • Espacios CL-Compactos : una noción débil de compacidad 

      Rodríguez Bonilla, Juan Diego (Escuela Colombiana de Ingeniería Julio GaravitoMatemáticas, 2013)
      The purpose of this degree work is to present a notion of weak compactness, which appears naturally when considering a property relative to the compact subspaces of a regular space. We will call such spaces cl-compacts, ...
    • Sobre la clasificación de transformaciones ergódicas 

      Gutiérrez Pineda, Julian David (Escuela Colombiana de Ingeniería Julio GaravitoMatemáticas, 2013)
      Este documento es la recopilación de varios resultados que permiten presentar una noción de lo problemas de clasificación en Teoría Ergódica. Tuvo como motivación los cursos de Sistemas Dinámicos y Teoría de la Medida ...
    • Especificación formal y verificación de invariantes para un protocolo de coherencia del caché 

      Ramirez Rico, Sergio Steven (Escuela Colombiana de Ingeniería Julio GaravitoMatemáticas, 2015)
      This document presents a case study in the specification and verification of invariants of a cache coherence protocol. This protocol is based on the ESI coordination technique based on exclusive or shared access to a ...
    • Sobre la cohomología de De Rham 

      Castrellón Torres, Jairo (Escuela Colombiana de Ingeniería Julio GaravitoMatemáticas, 2016)
      En este documento se presenta la construcción detallada de la cohomología de De Rham junto con algunas de sus propiedades y aplicaciones más importantes utilizadas en todo el campo de la topología diferencial. Todo esto, ...
    • Ad-compacidad 

      Pinzón Henao, Carlos Antonio (Escuela Colombiana de Ingeniería Julio GaravitoMatemáticas, 2017)
      En este trabajo de grado presentamos una noción débil de compacidad en espa- cios topológicos, llamada ad-compacidad, y exponemos algunas de sus propieda- des.
    • Una semántica formal para Apache Spark en lógica de reescritura 

      Sanabria Ardila, Mateo (Escuela Colombiana de Ingeniería Julio GaravitoMatemáticas, 2018)
      This document presents an executable semantics for Apache Spark in rewrite logic. Apache Spark is a work environment open source designed for data processing that provides an application programming interface for the ...
    • Algunas consecuencias del Lema de Schwarz 

      Osorio Ramírez, Juan Felipe (Escuela Colombiana de Ingeniería Julio GaravitoMatemáticas, 2018)
      Se estudian algunas relaciones que existen entre la variable compleja, la geometría hiperbólica y sistemas dinámicos en el disco unidad. El Lema de Schwarz motiva gran parte de la discusión y su generalización tendrá que ...
    • Geometría y propiedades del hiperespacio euclidiano con la métrica de Hausdorff 

      Cardona Castañeda, Diego Alexander (Escuela Colombiana de ingeniería Julio GaravitoMatemáticas, 2018)
      La idea en este trabajo es estudiar y abordar conceptos como segmentos, convexidad, la propia distancia entre los elementos del hiperespacio con la metrica de Hausdorff. Naturalmente existirán semejanzas con la geometría ...
    • Dinámica de funciones de variable compleja en el Disco 

      Castillo Soto, Nicolás (Escuela Colombiana de Ingeniería Julio GaravitoMatemáticas, 2019)
      In this work we study the holomorphic functions of the unit disk and its properties related to the dynamics in points inside and the edge of the disk. This study will be done using the pseudo hyperbolic metric, in particular ...
    • Sobre la función Zeta de Riemann 

      Pedraza García, Luis Enrique (Escuela Colombiana de Ingeniería Julio GaravitoMatemáticas, 2019)
      En este trabajo se presenta la construcción de la función zeta de Riemman, propiedades y otros resultados; a partir de herramientas de la variable compleja y el análisis. Hay que resaltar que esta no es la única manera de ...
    • Metodología para la estimación de la dependencia de las tasas de cambio en Colombia 

      González Moreno, Andrea del Rocío (Escuela Colombiana de Ingeniería Julio GaravitoMatemáticas, 2019)
      This document measures the dependence of the exchange rates of the dollar and the euro with respect to the Colombian peso and its forecast. For this purpose, the copula methodology and time series were used following a ...
    • Aspectos Matemáticos en las Obras de Escher 

      Cañón Moreno, María José (Escuela Colombiana de Ingeniería Julio GaravitoPrograma de MatemáticasMatemáticas, 2021)
      En este trabajo se estudian algunos de los aspectos matemáticos más relevantes de dos obras de M. C. Escher, una pintura y una xilografía (“División” y “Superficie Esférica con Peces”, respectivamente). Entre estos aspectos, ...
    • Análisis Armónico 

      Caviedes Núñez, Juan Andrés (Matemáticas, 2022)
      Estudio de las propiedades básicas de los grupos topológicos, enfocado en la medida de Haar, sus extensiones al grupo cociente y un breve estudio de la teoría de representaciones.
    • Fundamentos del Análisis Armónico: Grupos Topológicos 

      Caviedes Núñez, Juan Andrés (Matemáticas, 2022)
      Introducción al análisis armónico abstracto, mediante la presentación de los grupos topológicos, sus propiedades básicas y su relación con conceptos como metrizabilidad y conexidad.
    • La función zeta de Riemann y su relación con otras funciones aritméticas 

      Castañeda García, Andrés Diego (Escuela Colombian de IngenieríaColombiaMatemáticas, 2023)
      En este texto se estudiará la relación que tiene la función zeta de Riemann con funciones aritméticas, para esto se usarán herramientas de la teoría de cuerpos, análisis complejos y teoría de números. La primera parte ...
    • Resultados relacionados con la función zeta de Riemann 

      Castañeda García, Andrés Diego (Matemáticas, 2023-06-14)
      En este texto se estudiará el comportamiento de los ceros no triviales de la función zeta de Riemann. En la primera parte del documento se presentan algunos resultados preliminares de variable compleja y análisis que ...