Catégorie des espaces topologiquesEn mathématiques, la catégorie des espaces topologiques est une construction qui rend compte abstraitement des propriétés générales observées dans l'étude des espaces topologiques. Ce n'est pas la seule catégorie qui possède les espaces topologiques comme objet, et ses propriétés générales sont trop faibles ; cela motive la recherche de « meilleures » catégories d'espaces. C'est un exemple de catégorie topologique.
Generic pointIn algebraic geometry, a generic point P of an algebraic variety X is, roughly speaking, a point at which all generic properties are true, a generic property being a property which is true for almost every point. In classical algebraic geometry, a generic point of an affine or projective algebraic variety of dimension d is a point such that the field generated by its coordinates has transcendence degree d over the field generated by the coefficients of the equations of the variety.
Topologie cofinieLa topologie cofinie est la topologie que l'on peut définir sur tout ensemble X de la manière suivante : l'ensemble des ouverts est constitué de l'ensemble vide et parties de X cofinies, c'est-à-dire dont le complémentaire dans X est fini. Formellement, si l'on note τ la topologie cofinie sur X, on a : ou plus simplement, en définissant la topologie via les fermés : les fermés de X sont X et ses parties finies. La topologie induite sur une partie Y de X est la topologie cofinie sur Y.
Foncteur adjointL'adjonction est une situation omniprésente en mathématiques, et formalisée en théorie des catégories par la notion de foncteurs adjoints. Une adjonction entre deux catégories et est une paire de deux foncteurs et vérifiant que, pour tout objet X dans C et Y dans D, il existe une bijection entre les ensembles de morphismes correspondants et la famille de bijections est naturelle en X et Y. On dit que F et G sont des foncteurs adjoints et plus précisément, que F est « adjoint à gauche de G » ou que G est « adjoint à droite de F ».
Espace T1En mathématiques, un espace accessible (ou espace T, ou de Fréchet) est un cas particulier d'espace topologique. Il s'agit d'un exemple d'axiome de séparation. Un espace topologique E est T si pour tout couple (x, y) d'éléments de E distincts, il existe un ouvert contenant x et pas y. Soit E un espace topologique.
Spectre d'anneauEn mathématiques, le spectre premier d'un anneau commutatif unitaire A désigne l'ensemble des idéaux premiers de A. Cet ensemble est muni d'une topologie (de Zariski) et d'un faisceau d'anneaux commutatifs unitaires qui en font un espace topologique annelé en anneaux locaux. Cet espace est alors appelé un schéma affine et il sert d'espace de base pour la construction des schémas en géométrie algébrique. Le spectre d'un anneau commutatif A est l'ensemble de ses idéaux premiers. On le note Spec A.
