Concept
Compacité (mathématiques)
Concepts associés (38)
Topologie discrète
En mathématiques, plus précisément en topologie, la topologie discrète sur un ensemble est une structure d'espace topologique où, de façon intuitive, tous les points sont « isolés » les uns des autres. Soit X un ensemble. L'ensemble des parties de X définit une topologie sur X appelée topologie discrète. X muni de cette topologie est alors appelé espace discret. On dit qu'une partie A d'un espace topologique X est un ensemble discret lorsque la topologie induite sur A est la topologie discrète.
Espace euclidien
En mathématiques, un espace euclidien est un objet algébrique permettant de généraliser de façon naturelle la géométrie traditionnelle développée par Euclide, dans ses Éléments. Une géométrie de cette nature modélise, en physique classique, le plan ainsi que l'espace qui nous entoure. Un espace euclidien permet également de traiter les dimensions supérieures ; il est défini par la donnée d'un espace vectoriel sur le corps des réels, de dimension finie, muni d'un produit scalaire, qui permet de « mesurer » distances et angles.
Suite généralisée
En mathématiques, la notion de suite généralisée, ou suite de Moore-Smith, ou filet, étend celle de suite, en indexant les éléments d'une famille par des éléments d'un ensemble ordonné filtrant qui n'est plus nécessairement celui des entiers naturels. Pour tout ensemble X, une suite généralisée d'éléments de X est une famille d'éléments de X indexée par un ensemble ordonné filtrant A. Par filtrant (à droite), on entend que toute paire dans A possède un majorant dans A. Soit un filet dans un ensemble E et, pour tout , .
Espace vectoriel topologique
En mathématiques, les espaces vectoriels topologiques sont une des structures de base de l'analyse fonctionnelle. Ce sont des espaces munis d'une structure topologique associée à une structure d'espace vectoriel, avec des relations de compatibilité entre les deux structures. Les exemples les plus simples d'espaces vectoriels topologiques sont les espaces vectoriels normés, parmi lesquels figurent les espaces de Banach, en particulier les espaces de Hilbert. Un espace vectoriel topologique (« e.v.t.
Topologie produit
En mathématiques, plus précisément en topologie, la topologie produit est une topologie définie sur un produit d'espaces topologiques. C'est de manière générale la topologie initiale associée aux projections de l'espace produit vers chacun de ses facteurs : autrement dit, c'est la topologie la moins fine rendant continues les projections. Dans le cas d'un produit fini, la topologie produit permet notamment de définir une topologie naturelle sur Rn à partir de celle de R.
Espace normal
vignette|Un espace topologique séparé X est dit normal lorsque, pour tous fermés disjoints E et F de X, il existe des ouverts disjoints U et V tels que U contienne E et V, F. En mathématiques, un espace normal est un espace topologique vérifiant un axiome de séparation plus fort que la condition usuelle d'être un espace séparé. Cette définition est à la base de résultats comme le lemme d'Urysohn ou le théorème de prolongement de Tietze. Tout espace métrisable est normal. Soit X un espace topologique.
Algèbre de Banach
En mathématiques, l'algèbre de Banach est une des structures fondamentales de l'analyse fonctionnelle, portant le nom du mathématicien polonais Stefan Banach (1892-1945). On explicite cette définition : une algèbre de Banach A sur le corps K = R ou C est un espace vectoriel normé complet sur K (on note la norme) muni d'une loi interne notée multiplicativement, telle que quels que soient x, y, z éléments de A et élément de K : (associativité) ; et (bilinéarité) ; (sous-multiplicativité).
Axiome du choix
vignette|upright=1.5|Pour tout ensemble d'ensembles non vides (les jarres), il existe une fonction qui associe à chacun de ces ensembles (ces jarres) un élément contenu dans cet ensemble (cette jarre). En mathématiques, l'axiome du choix, abrégé en « AC », est un axiome de la théorie des ensembles qui Il a été formulé pour la première fois par Ernest Zermelo en 1904 pour la démonstration du théorème de Zermelo. L'axiome du choix peut être accepté ou rejeté, selon la théorie axiomatique des ensembles choisie.
Analyse fonctionnelle (mathématiques)
L'analyse fonctionnelle est la branche des mathématiques et plus particulièrement de l'analyse qui étudie les espaces de fonctions. Elle prend ses racines historiques dans l'étude des transformations telles que la transformation de Fourier et dans l'étude des équations différentielles ou intégro-différentielles. Le terme fonctionnelle trouve son origine dans le cadre du calcul des variations, pour désigner des fonctions dont les arguments sont des fonctions.
Espace métrisable
In topology and related areas of mathematics, a metrizable space is a topological space that is homeomorphic to a metric space. That is, a topological space is said to be metrizable if there is a metric such that the topology induced by is Metrization theorems are theorems that give sufficient conditions for a topological space to be metrizable. Metrizable spaces inherit all topological properties from metric spaces. For example, they are Hausdorff paracompact spaces (and hence normal and Tychonoff) and first-countable.