Homologie cellulaireEn mathématiques et plus précisément en topologie algébrique, l'homologie cellulaire est une théorie de l'homologie des CW-complexes. Elle coïncide avec leur homologie singulière et en fournit un moyen de calcul. Si X est un CW-complexe de n-squelette X, les modules d'homologie cellulaire sont définis comme les groupes d'homologie du complexe de chaînes cellulaires Le groupe est le groupe abélien libre dont les générateurs sont les n-cellules de X.
HomotopieEn mathématiques, une homotopie est une déformation continue entre deux applications, notamment entre les chemins à extrémités fixées et en particulier les lacets. Cette notion topologique permet de définir des invariants algébriques utilisés pour classifier les applications continues entre espaces topologiques dans le cadre de la topologie algébrique. L’homotopie induit une relation d'équivalence sur les applications continues, compatible avec la composition, qui mène à la définition de l’équivalence d'homotopie entre espaces topologiques.
Homologie singulièreEn topologie algébrique, l'homologie singulière est une construction qui permet d'associer à un espace topologique X une suite homologique de groupes abéliens libres ou de modules. Cette association est un invariant topologique non complet, c'est-à-dire que si deux espaces sont homéomorphes alors ils ont mêmes groupes d'homologie singulière en chaque degré mais que la réciproque est fausse. Le théorème de Stokes appliqué à des formes fermées donne des intégrales nulles. Cependant, il se fonde sur une hypothèse cruciale de compacité.
Pacifisme chrétienLe pacifisme chrétien est un courant de pensée et d'action à l'intérieur du christianisme. Il désigne, au moins, le refus de la participation à la mise à mort d'un être humain à la guerre pour motif de conscience, et plus largement, le refus d'utiliser des moyens violents pour se défendre, parvenir à ses fins ou opposer une résistance. Bien qu'étant la position d'origine des premiers chrétiens , le pacifisme est considéré comme la position minoritaire au sein des Églises chrétiennes, la position dominante dans l'histoire de l'Église étant la doctrine de la guerre juste.
Christian ethicsChristian ethics, also known as moral theology, is a multi-faceted ethical system. It is a virtue ethic, which focuses on building moral character, and a deontological ethic which emphasizes duty. It also incorporates natural law ethics, which is built on the belief that it is the very nature of humans – created in the image of God and capable of morality, cooperation, rationality, discernment and so on – that informs how life should be lived, and that awareness of sin does not require special revelation.
Théologie chrétienneLa théologie chrétienne veut « rendre raison de la foi chrétienne ». Elle est une tentative d'intelligence rationnelle de la foi au moyen des catégories de diverses philosophies (grecques au départ, modernes ensuite). Selon la formule de saint Anselme de Cantorbéry, on la définit comme Fides quaerens intellectum. La théologie désigne le discours croyant sur Dieu, la Bible, la religion et l'Église, et notamment sur les doctrines chrétiennes, élaborée selon les moyens et la perspective énoncés ci-dessus.
Simplicial homologyIn algebraic topology, simplicial homology is the sequence of homology groups of a simplicial complex. It formalizes the idea of the number of holes of a given dimension in the complex. This generalizes the number of connected components (the case of dimension 0). Simplicial homology arose as a way to study topological spaces whose building blocks are n-simplices, the n-dimensional analogs of triangles. This includes a point (0-simplex), a line segment (1-simplex), a triangle (2-simplex) and a tetrahedron (3-simplex).
Ensemble simplicialEn mathématiques, un ensemble simplicial X est un objet de nature combinatoire intervenant en topologie. Il est la donnée : d'une famille (X) d'ensembles, indexée par les entiers naturels, les éléments de X étant pensés comme des simplexes de dimension n et pour toute application croissanted'une application le tout tel que Autrement dit : X est un foncteur contravariant, de la catégorie simpliciale Δ dans la catégorie Set des ensembles, ou encore un foncteur covariant de la catégorie opposée Δ dans Set.
Complexe différentielEn mathématiques, un complexe différentiel est un groupe abélien (voire un module), ou plus généralement un objet d'une catégorie abélienne, muni d'un endomorphisme de carré nul (appelé différentielle ou bord), c'est-à-dire dont l' est contenue dans le noyau. Cette condition permet de définir son homologie, qui constitue un invariant essentiel en topologie algébrique. Un complexe différentiel peut être gradué pour constituer un complexe de chaines ou de cochaines).
Cohomologie de De RhamEn mathématiques, la cohomologie de De Rham est un outil de topologie différentielle, c'est-à-dire adapté à l'étude des variétés différentielles. Il s'agit d'une théorie cohomologique fondée sur des propriétés algébriques des espaces de formes différentielles sur la variété. Elle porte le nom du mathématicien Georges de Rham. Le affirme que le morphisme naturel, de la cohomologie de De Rham d'une variété différentielle vers sa cohomologie singulière à coefficients réels, est bijectif.
Chrétienvignette|redresse=1.4|Pourcentage de chrétiens par pays (chiffres du Pew Research Center). Un chrétien est une personne qui adhère à la religion issue de Jésus de Nazareth, le christianisme, et suit son enseignement rapporté par les Évangiles. Il peut se former auprès d'une autorité religieuse (une Église) et/ou en étudiant l'Évangile seul ou avec d'autres personnes. Le mot « chrétien » provient du mot « Christ » qui est la traduction du grec Khristos, lui-même traduisant le mot hébreu Massiah désignant le « Messie », c'est-à-dire l'« Oint du Seigneur », celui qui est consacré par une onction divine d'huile sainte.
Caractéristique d'EulerEn mathématiques, et plus précisément en géométrie et en topologie algébrique, la caractéristique d'Euler — ou d'Euler-Poincaré — est un invariant numérique, un nombre qui décrit un aspect d'une forme d'un espace topologique ou de la structure de cet espace. Elle est communément notée χ. La caractéristique d'Euler fut définie à l'origine pour les polyèdres et fut utilisée pour démontrer divers théorèmes les concernant, incluant la classification des solides de Platon.
Relative homologyIn algebraic topology, a branch of mathematics, the (singular) homology of a topological space relative to a subspace is a construction in singular homology, for pairs of spaces. The relative homology is useful and important in several ways. Intuitively, it helps determine what part of an absolute homology group comes from which subspace. Given a subspace , one may form the short exact sequence where denotes the singular chains on the space X. The boundary map on descends to and therefore induces a boundary map on the quotient.
ChristianismeLe christianisme est une religion abrahamique, originaire du Proche-Orient, fondée sur l'enseignement, la personne et la vie de Jésus de Nazareth, tels qu'interprétés à partir du Nouveau Testament. Il s'agit d'une religion du salut considérant Jésus-Christ comme le Messie annoncé par les prophètes de l'Ancien Testament. La foi en la résurrection de Jésus est au cœur du christianisme car elle signifie le début d'un espoir d'éternité libéré du mal.
Homotopy categoryIn mathematics, the homotopy category is a built from the category of topological spaces which in a sense identifies two spaces that have the same shape. The phrase is in fact used for two different (but related) categories, as discussed below. More generally, instead of starting with the category of topological spaces, one may start with any and define its associated homotopy category, with a construction introduced by Quillen in 1967. In this way, homotopy theory can be applied to many other categories in geometry and algebra.
Sphère d'homologieEn topologie algébrique, une sphère d'homologie (ou encore, sphère d'homologie entière) est une variété X de dimension n ≥ 1 qui a les mêmes groupes d'homologie que la n-sphère standard S, à savoir : H0(X,Z) = Z = Hn(X,Z) et Hi(X,Z) = {0} pour tout autre entier i. Une telle variété X est donc connexe, fermée (i.e. compacte et sans bord), orientable, et avec (à part b0 = 1) un seul nombre de Betti non nul : bn. Les sphères d'homologie rationnelle sont définies de façon analogue, avec l'homologie à coefficients rationnels.
Catégorie homotopique des complexes de chaînesEn algèbre homologique, la catégorie homotopique K(A) des complexes de chaînes dans une catégorie additive A est un cadre pour travailler avec des complexes de chaînes et équivalences homotopiques. Elle est un intermédiaire entre la catégorie des complexes de chaînes Kom(A) de A et la catégorie dérivée D(A) de A lorsque A est abélien ; contrairement à la première, c'est une catégorie triangulée, et contrairement à la seconde, sa construction n'exige pas que A soit abélien.
Weak equivalence (homotopy theory)In mathematics, a weak equivalence is a notion from homotopy theory that in some sense identifies objects that have the same "shape". This notion is formalized in the axiomatic definition of a . A model category is a with classes of morphisms called weak equivalences, fibrations, and cofibrations, satisfying several axioms. The associated of a model category has the same objects, but the morphisms are changed in order to make the weak equivalences into isomorphisms.
Homologie de FloerL'homologie de Floer est une adaptation de l'homologie de Morse en dimension infinie. L'homologie de Floer symplectique (HFS) est une théorie homologique pour une variété symplectique munie d'un symplectomorphisme non-dégénéré. Si le symplectomorphisme est hamiltonien, l'homologie provient de l'étude de la fonctionnelle d'action symplectique sur le revêtement universel de l'espace des lacets de la variété symplectique. L'homologie de Floer symplectique est invariante par isotopie hamiltonienne du symplectomorphisme.
QuotientEn mathématiques, un quotient est le résultat d'une division. Le quotient existe ou pas selon l'ensemble de nombres considéré. Dans les entiers naturels, le quotient de par n'existe que si est un multiple de . On parle alors de quotient euclidien, puisqu'il résulte d'une division euclidienne. Le mot quotient s'emploie parfois pour fraction.
