Section commençanteEn mathématiques, et plus précisément en théorie des ordres, une section commençante (également appelée segment initial ou sous-ensemble fermé inférieurement) d'un ensemble ordonné (X,≤) est un sous-ensemble S de X tel que si x est dans S et si y ≤ x, alors y est dans S. Dualement, on appelle section finissante (ou sous-ensemble fermé supérieurement) un sous-ensemble F tel que si x est dans F et si x ≤ y, alors y est dans F.
Fonction porteLa fonction porte, généralement notée Π, est la fonction indicatrice de l'intervalle réel [–1/2, 1/2], c'est-à-dire la fonction mathématique par laquelle un nombre réel a une nulle, sauf s'il est compris entre –1/2 et 1/2, auquel cas son image vaut 1. Son graphe a une forme similaire à celle d'une porte, d'où son nom. La fonction porte , définie sur les réels et à valeurs dans , est définie par : Par généralisation, on appelle également fonction porte toute fonction déduite par translation et/ou dilatation de la fonction définie ci-dessus.
Dimension homologiqueEn algèbre, la dimension homologique d'un anneau R diffère en général de sa dimension de Krull et se définit à partir des résolutions projectives ou injectives des R-modules. On définit également la dimension faible à partir des résolutions plates des R-modules. La dimension de Krull (respectivement homologique, faible) de R peut être vue comme une mesure de l'éloignement de cet anneau par rapport à la classe des anneaux artiniens (resp. semi-simples, ), cette dimension étant nulle si, et seulement si R est artinien (resp.
Independence systemIn combinatorial mathematics, an independence system S is a pair , where V is a finite set and \mathcal{I} is a collection of subsets of V (called the independent sets or feasible sets) with the following properties: The empty set is independent, i.e., . (Alternatively, at least one subset of V is independent, i.e., .) Every subset of an independent set is independent, i.e., for each , we have . This is sometimes called the hereditary property, or downward-closedness. Another term for an independence system is an abstract simplicial complex.
Filtre (mathématiques)En mathématiques, et plus particulièrement en topologie générale, un filtre est une structure définie sur un ensemble, et permettant d'étendre la notion de limite aux situations les plus générales. La théorie des filtres a été inventée, en 1937, par Henri Cartan et utilisée par Bourbaki. Les filtres ont permis en particulier une démonstration élégante du théorème de Tychonov.
