Base de SchauderEn analyse fonctionnelle (mathématique), la notion de base de Schauder est une généralisation de celle de base (algébrique). La différence vient du fait que dans une base algébrique, on considère des combinaisons linéaires finies d'éléments, alors que pour des bases de Schauder elles peuvent être infinies. Ceci en fait un outil plus adapté pour l'analyse des espaces vectoriels topologiques de dimension infinie, en particulier les espaces de Banach. Les bases de Schauder furent introduites en 1927 par Juliusz Schauder, qui explicita un exemple pour C([0, 1]).
Ensemble infiniEn mathématiques, plus précisément en théorie des ensembles, un ensemble infini est un ensemble qui n'est pas fini, c'est-à-dire qu'il n'y a aucun moyen de « compter » les éléments de cet ensemble à l'aide d'un ensemble borné d'entiers. Un ensemble en bijection avec un ensemble infini est donc infini. Tout ensemble contenant un ensemble dénombrable est infini. Dans la théorie de Zermelo (Z), l'axiome de l'infini permet de construire l'ensemble N des entiers naturels, qui est alors un ensemble infini.
Écriture bicaméraleUne écriture bicamérale est une écriture comprenant des lettres minuscules et des lettres capitales. Plus précisément, elle oppose deux œils de format (ou « casse ») — et parfois de tracé — différents pour chaque caractère. Par opposition, une écriture dans laquelle il n’existe pas une telle opposition est dite monocamérale ou unicamérale. On appelle les lettres des minuscules, tandis que les lettres d’un format plus grand, utilisées dans certains cas régis par la grammaire et l’orthotypographie, sont les majuscules (à ne pas confondre avec capitales).
Camel casevignette|CamelCase illustré avec un chameau. vignette|camelCase illustré avec un dromadaire. vignette|Camel case sur un panneau de direction (les mots champions et gate sont mis bout-à-bout et le second commence par une majuscule pour marquer la séparation). Le camel case (de l'anglais, littéralement « casse de chameau ») est une notation consistant à écrire un ensemble de mots en les liant sans espace ni ponctuation, et en mettant en capitale la première lettre de chaque mot.
Dedekind-infinite setIn mathematics, a set A is Dedekind-infinite (named after the German mathematician Richard Dedekind) if some proper subset B of A is equinumerous to A. Explicitly, this means that there exists a bijective function from A onto some proper subset B of A. A set is Dedekind-finite if it is not Dedekind-infinite (i.e., no such bijection exists). Proposed by Dedekind in 1888, Dedekind-infiniteness was the first definition of "infinite" that did not rely on the definition of the natural numbers.
Égalité socialeL'égalité sociale est un concept juridique et philosophique. Il découle du principe d'égalité, qui apparaît en tête des deux grandes déclarations des droits de l'homme (déclaration de 1789 en France, et déclaration universelle des droits de l'homme de 1948). Celui-ci revêt deux aspects principaux : l'égalité civile, c'est-à-dire l'égalité devant la loi ; l'égalité sociale, c'est-à-dire la recherche de l'égalité des droits sociaux.
Dimension fractaleEn géométrie fractale, la dimension fractale, D, est une grandeur qui a vocation à traduire la façon qu'a un ensemble fractal de remplir l'espace, à toutes les échelles. Dans le cas des fractales, elle est non entière et supérieure à la dimension topologique. Ce terme est un terme générique qui recouvre plusieurs définitions. Chacune peut donner des résultats différents selon l'ensemble considéré, il est donc essentiel de mentionner la définition utilisée lorsqu'on valorise la dimension fractale d'un ensemble.
Théorème de KünnethEn mathématiques, le théorème de Künneth est un résultat de topologie algébrique qui décrit l'homologie singulière du produit X × Y de deux espaces topologiques, en termes de groupes homologiques singuliers Hi(X, R) et Hj(Y, R). Il tient son nom du mathématicien allemand Hermann Künneth. Si R est supposé être un corps commutatif, alors le résultat est une approximation du cas général : en effet, on n'a plus besoin d'invoquer le foncteur Tor.
Dimension de Minkowski-BouligandEn géométrie fractale, la dimension de Minkowski-Bouligand, également appelée dimension de Minkowski, dimension box-counting ou capacité, est une manière de déterminer la dimension fractale d'un sous-ensemble S dans un espace euclidien ou, plus généralement, dans un espace métrique. Pour calculer cette dimension pour une fractale S, placer cette fractale dans un réseau carré et compter le nombre de cases nécessaires pour recouvrir l'ensemble. La dimension de Minkowski est calculée en observant comment ce nombre de cases évolue à mesure que le réseau s'affine à l'infini.
Continuation (informatique)En informatique, la continuation d'un système est son futur, c'est-à-dire la suite des instructions qu'il lui reste à exécuter à un moment précis. C'est un point de vue pour décrire l'état de la machine. Dans certains langages de programmation, les continuations peuvent être manipulées explicitement en tant qu'objets du langage à part entière : on peut stocker la continuation courante dans une variable que l'on peut donc manipuler en tant que telle ; puis plus loin, on peut restaurer la continuation, ce qui a pour effet de dérouter l'exécution du programme actuel vers le futur que l'on avait enregistré.
Égalité devant la loiL’égalité devant la loi ou égalité en droit est le principe selon lequel tout être humain doit être traité de la même façon par la loi (principe d’isonomie). Aucun individu ou groupe d'individus ne doit donc avoir de privilèges garantis par la loi. Le principe d'égalité devant la loi trouve son origine dans le principe d'isonomie défini par Clisthène au , et qui constituait l'un des fondements de la démocratie athénienne. Grâce à ce principe, Clisthène a mis en œuvre des réformes en 508 et 507 av. J.-C.
Suite spectraleEn algèbre homologique et en topologie algébrique, une suite spectrale est une suite de modules différentiels (En,dn) tels que En+1 = H(En) = Ker dn / dn est l'homologie de En. Elles permettent donc de calculer des groupes d'homologie par approximations successives. Elles ont été introduites par Jean Leray en 1946. Il y a plusieurs manières en pratique pour obtenir une telle suite. Historiquement, depuis 1950, les arguments des suites spectrales ont été un outil performant pour la recherche, notamment dans la théorie de l'homotopie.
