Search results for "n-connected"

A note on conjugation involutions on homotopy complex projective spaces

1986

Introduction to Homotopy Theory

2001

Consider two manifolds X and Y together with a set of continuous maps f, g,... $$ f:X \to Y,x \to f(x) = y;x \in X,y \in Y. $$

Data structures and algorithms for topological analysis

2014

International audience; One of the steps of geometric modeling is to know the topology and/or the geometry of the objects considered. This paper presents different data structures and algorithms used in this study. We are particularly interested by algebraic structures, eg homotopy and homology groups, the Betti numbers, the Euler characteristic, or the Morse-Smale complex. We have to be able to compute these data structures, and for (homotopy and homology) groups, we also want to compute their generators. We are also interested in algorithms CIA and HIA presented in the thesis of Nicolas DELANOUE, which respectively compute the connected components and the homotopy type of a set defined by…

Homotopy limits for 2-categories

2008

AbstractWe study homotopy limits for 2-categories using the theory of Quillen model categories. In order to do so, we establish the existence of projective and injective model structures on diagram 2-categories. Using these results, we describe the homotopical behaviour not only of conical limits but also of weighted limits. Finally, pseudo-limits are related to homotopy limits.

Fixed point and homotopy results for mixed multi-valued mappings in 0-complete partial metric spaces*

2015

We give sufficient conditions for the existence of common fixed points for a pair of mixed multi-valued mappings in the setting of 0-complete partial metric spaces. An example is given to demonstrate the usefulness of our results over the existing results in metric spaces. Finally, we prove a homotopy theorem via fixed point results.

On the proper homotopy invariance of the Tucker property

2006

A non-compact polyhedron P is Tucker if, for any compact subset K ⊂ P, the fundamental group π1(P − K) is finitely generated. The main result of this note is that a manifold which is proper homotopy equivalent to a Tucker polyhedron is Tucker. We use Poenaru’s theory of the equivalence relations forced by the singularities of a non-degenerate simplicial map.

Discrete and differential homotopy in circular restricted three-body control

2010

The planar circular restricted three-body problem is considered. The control enters linearly in the equation of motion to model the thrust of the third body. The minimum time optimal control problem has two scalar parameters: The ratio of the primaries masses which embeds the two-body problem into the three-body one, and the upper bound on the control norm. Regular extremals of the maximum principle are computed by shooting thanks to continuations with respect to both parameters. Discrete and dierential homotopy are compared in connection with second order sucient conditions in optimal control. Homotopy with respect to control bound gives evidence of various topological structures of extr…

Inductive types in homotopy type theory

2012

Homotopy type theory is an interpretation of Martin-L\"of's constructive type theory into abstract homotopy theory. There results a link between constructive mathematics and algebraic topology, providing topological semantics for intensional systems of type theory as well as a computational approach to algebraic topology via type theory-based proof assistants such as Coq. The present work investigates inductive types in this setting. Modified rules for inductive types, including types of well-founded trees, or W-types, are presented, and the basic homotopical semantics of such types are determined. Proofs of all results have been formally verified by the Coq proof assistant, and the proof s…

On finite groups generated by strongly cosubnormal subgroups

2003

[EN] Two subgroups A and B of a group G are cosubnormal if A and B are subnormal in their join and are strongly cosubnormal if every subgroup of A is cosubnormal with every subgroup of B. We find necessary and sufficient conditions for A and B to be strongly cosubnormal in and, if Z is the hypercentre of G=, we show that A and B are strongly cosubnormal if and only if G/Z is the direct product of AZ/Z and BZ/Z. We also show that projectors and residuals for certain formations can easily be constructed in such a group. Two subgroups A and B of a group G are N-connected if every cyclic subgroup of A is cosubnormal with every cyclic subgroup of B (N denotes the class of nilpotent groups). Thou…