En el presente artículo se demostrará la conmutatividad de los grupos de homotopía superior y que toda equivalencia de homotopía es una equivalencia débil. Estamos en la categoría Top, por lo tanto todo morfismo entre espacios será asumido una función continua y todo producto entre espacios tendrá la topología producto.

Publicación a texto completo no autorizada por el autor / Demuestra que toda variedad topológica de hausdorff con base numerable tiene el mismo tipo de homotopía de un CW Complejo. Los CW Complejos son sin duda lo más importante, y juegan un papel preponderante, sobre todo en la topología algebraica. Muchas de variedades tienen la estructura de un CW Complejo. Una de sus características más importante las menciona John Milnor, que en el año 1959 publica un artículo en el que establece que un espacio tiene el tipo de homotopía de un CW Complejo si es dominado por un CW Complejo numerable. Entonces, es de interés en el presente trabajo probar si toda la variedad topológica de Hausdor con base numerable es del tipo de homotopía de un CW Complejo. Para esto, hemos dividido la presente investigación en tres capítulos, con la intención de desarrollar con más detalle la propuesta / Tesis

Publicación a texto completo no autorizada por el autor / Estudia y profundiza la relación entre los grupos de trenzas Brunnianas y los grupos de homotopía de la esfera. Los grupos de homotopía de la esfera, constituyen un problema fundamental en el estudio de la teoría de homotopía que, en general, resultan desconocidos en la actualidad. Con la finalidad de mejorar ésta situación usamos el espacio de configuraciones de variedades, que es precisamente el lugar apropiado para resolver esta clase de problemas, no sólo en Topología, si no también en otras áreas, tal como sucede en el álgebra. / Tesis

Publicación a texto completo no autorizada por el autor / Describe la estructura de conjuntos, homología de conjuntos y la - estructura de grupos cruzados para dar cabida a la construcción de estructuras en el grupos de trenzas y el grupo de clases de difeomorfismos con la finalidad de discutir la relación que éstas tienen y así establecer un isomorfismo entre ellas. / Tesis

This thesis addresses the path planning problem for Autonomous Underwater Vehicles (AUVs) using homotopy classes to provide topological information on how paths avoid obstacles. Looking for a path within a homotopy class constrains the search into a specific area of the search space, speeding up the computation of the path. Given a workspace with obstacles, the method starts by generating the homotopy classes. Those which probably contain lower cost solutions are determined by means of a lower bound criterion before computing a path. Finally, a path planner uses the topological information of homotopy classes to generate a few good solutions very quickly. Three path planners from different approaches have been proposed to generate paths for the homotopy classes obtained. The path planning is performed on Occupancy Grid Maps (OGMs) improved with probabilistic scan matching techniques. The results obtained with synthetic s scenarios and with real datasets show the feasibility of our method. / Aquesta tesi aborda el problema de la planificació de camins per a Vehicles Submarins Autònoms (AUVs) mitjançant la utilització de classes d'homotopia per a proporcionar informació topològica de com els camins eviten els obstacles. Calcular un camí dins d'una classe d'homotopia permet limitar l'espai de cerca accelerant-ne el càlcul de la solució. Donat un workspace amb obstacles, el mètode primer genera les classes homotòpiques. Aquelles classes que probablement contenen les solucions de menor cost s'identifiquen per mitjà d'una heurística sense haver-ne de calcular el camí al workspace. Finalment, un planificador de camins utilitza la informació topològica de les classes d'homotopia per generar solucions segons les classes seleccionades molt ràpidament. El mètode de planificació de camins s’aplica sobre Mapes d’Occupació de Graella (OGMs) millorats amb tècniques de scan matching probabilístic. Els tests i resultats obtinguts tan en escenaris sintètics com en datasets reals mostren la viabilitat del nostre mètode.

In the present work, we analyse the categories of mixed Hodge complexes and mixed Hodge diagrams of differential graded algebras in these two directions: we prove the existence of both a Cartan-Eilenberg structure, via the construction of cofibrant minimal models, and a cohomological descent structure. This allows to interpret the results of Deligne, Beilinson, Morgan and Navarro within a common homotopical framework. In the additive context of mixed Hodge complexes we recover Beilinson's results. In our study we go a little further and show that the homotopy category of mixed Hodge complexes, and the derived category of mixed Hodge structures are equivalent to a third category whose objects are graded mixed Hodge structures and whose morphisms are certain homotopy classes, which are easier to manipulate. In particular, we obtain a description of the morphisms in the homotopy category in terms of morphisms and extensions of mixed Hodge structures, and recover the results of Carlson [Car80] in this area. As for the multiplicative analogue, we show that every mixed Hodge diagram can be represented by a mixed Hodge algebra which is Sullivan minimal, and establish a multiplicative version of Beilinson's Theorem. This provides an alternative to Morgan's construction. The main difference between the two approaches is that Morgan uses ad hoc constructions of models à la Sullivan, specially designed for mixed Hodge theory, while we follow the line of Quillen's model categories or Cartan-Eilenberg categories, in which the main results are expressed in terms of equivalences of homotopy categories, and the existence of certain derived functors. In particular, we obtain not only a description of mixed Hodge diagrams in terms of Sullivan minimal algebras, but we also have a description of the morphisms in the homotopy category in terms of certain homotopy classes, parallel to the additive case. In addition, our approach generalizes to broader settings, such as the study of compactificable analytic spaces, for which the Hodge and weight filtrations can be defined, but do not satisfy the properties of mixed Hodge theory. Combining these results with Navarro's functorial construction of mixed Hodge diagrams, and using the cohomological descent structure defined via the Thom-Whitney simple, we obtain a more precise and alternative proof of that the rational homotopy type, and the rational homotopy groups of every simply connected complex algebraic variety inherit functorial mixed Hodge structures. As an application, and extending the Formality Theorem of Deligne-Griffiths-Morgan-Sullivan for compact Kähler varieties and the results of Morgan for open smooth varieties, we prove that every simply connected complex algebraic variety (possibly open and singular) and every morphism between such varieties is filtered formal: its rational homotopy type is entirely determined by the first term of the spectral sequence associated with the multiplicative weight filtration. / En aquest treball, analitzem les categories de complexos de Hodge mixtos i de diagrames de Hodge d'àlgebres diferencials graduades en aquestes dues direccions: provem l'existència d'una estructura de Cartan-Eilenberg, via la construcció de models cofibrants minimals, i d'una estructura de descens cohomològic. Aquest estudi permet interpretar els resultats de Deligne, Beilinson, Morgan i Navarro en un marc homotòpic comú.