FeuilletageEn mathématiques, et plus précisément en géométrie différentielle, on dit qu'une variété est feuilletée, ou munie d'un feuilletage, si elle se décompose en sous-variétés de même dimension, appelées feuilles, qui localement, s'empilent comme les sous-espaces R × R. Formellement, un feuilletage sur est un atlas feuilleté, autrement dit une famille de cartes locales , où , et les changements de carte préservent cette décomposition : pour tout , . thumb|Schéma de changement de carte feuilletée.
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]).
HoméomorphismeEn topologie, un homéomorphisme est une application bijective continue, d'un espace topologique dans un autre, dont la bijection réciproque est continue. Dans ce cas, les deux espaces topologiques sont dits homéomorphes. La notion d'homéomorphisme est la bonne notion pour dire que deux espaces topologiques sont « le même » vu différemment. C'est la raison pour laquelle les homéomorphismes sont les isomorphismes de la catégorie des espaces topologiques. Soit et des espaces topologiques, une application bijective de sur .
Entrelacs (théorie des nœuds)En théorie des nœuds, un entrelacs est un enchevêtrement de plusieurs nœuds. L'étude des entrelacs et des nœuds est liée, plusieurs invariants s'interprétant plus naturellement dans le cadre général des entrelacs, au moyen notamment des relations d'écheveau. Un entrelacs est la donnée d'un plongement injectif d'une ou plusieurs copies du cercle S dans R ou dans S, appelées ses composantes, ou ses boucles. Deux entrelacs sont considérés équivalents lorsqu'ils sont identiques à isotopie près.
Direct integralIn mathematics and functional analysis a direct integral or Hilbert integral is a generalization of the concept of direct sum. The theory is most developed for direct integrals of Hilbert spaces and direct integrals of von Neumann algebras. The concept was introduced in 1949 by John von Neumann in one of the papers in the series On Rings of Operators. One of von Neumann's goals in this paper was to reduce the classification of (what are now called) von Neumann algebras on separable Hilbert spaces to the classification of so-called factors.
ÉquicontinuitéEn analyse, un ensemble de fonctions définies sur un espace topologique et à valeurs dans un espace uniforme est dit équicontinu en un point de l'espace de départ si ces fonctions non seulement sont toutes continues en ce point, mais le sont d'une façon semblable en un sens explicité plus loin. L'ensemble de fonctions sera dit équicontinu tout court s'il est équicontinu en tout point de l'espace de départ. On parle souvent non d'ensemble, mais de famille de fonctions équicontinues ; ce qui importe cependant reste l'ensemble des fonctions de la famille.
Separated setsIn topology and related branches of mathematics, separated sets are pairs of subsets of a given topological space that are related to each other in a certain way: roughly speaking, neither overlapping nor touching. The notion of when two sets are separated or not is important both to the notion of connected spaces (and their connected components) as well as to the separation axioms for topological spaces. Separated sets should not be confused with separated spaces (defined below), which are somewhat related but different.
