Ensemble maigreEn topologie, dans le contexte des espaces de Baire, un ensemble maigre (on dit aussi de première catégorie) est une partie d'un espace de Baire qui, en un sens technique, peut être considérée comme de taille infime. Un ensemble comaigre est le complémentaire d'un ensemble maigre. Une partie qui n'est pas maigre est dite de deuxième catégorie. Un sous-ensemble d'un espace topologique E est dit maigre lorsqu'il est contenu dans une réunion dénombrable de fermés de E qui sont tous d'intérieur vide.
Équations de Navier-Stokesthumb|Léonard de Vinci : écoulement dans une fontaine En mécanique des fluides, les équations de Navier-Stokes sont des équations aux dérivées partielles non linéaires qui décrivent le mouvement des fluides newtoniens (donc des gaz et de la majeure partie des liquides). La résolution de ces équations modélisant un fluide comme un milieu continu à une seule phase est difficile, et l'existence mathématique de solutions des équations de Navier-Stokes n'est pas démontrée.
Partie denseEn topologie, une partie dense d'un espace topologique est un sous-ensemble permettant d'approcher tous les éléments de l'espace englobant. La notion s'oppose ainsi à celle de partie nulle part dense. La densité d'une partie permet parfois d'étendre la démonstration d'une propriété ou la définition d'une application par continuité. Soient X un espace topologique et A une partie de X.
Baire spaceIn mathematics, a topological space is said to be a Baire space if countable unions of closed sets with empty interior also have empty interior. According to the , compact Hausdorff spaces and complete metric spaces are examples of Baire spaces. The Baire category theorem combined with the properties of Baire spaces has numerous applications in topology, geometry, analysis, in particular functional analysis. For more motivation and applications, see the article .
Théorème de BaireLe théorème de Baire, dit aussi lemme de Baire, est un théorème de topologie dû au mathématicien René Baire. On dit qu'un espace topologique est un espace de Baire si toute intersection dénombrable d'ouverts denses est dense. De façon équivalente, un espace topologique est de Baire si toute union dénombrable de fermés d'intérieurs vides est d'intérieur vide, ou encore, si le seul ouvert maigre est le vide. Le lemme (ou théorème) de Baire donne des conditions suffisantes pour que certains espaces soient de Baire.
Ensemble nulle part denseEn topologie, un ensemble est nulle part dense ou rare s'il satisfait aux propriétés inverses du concept de densité. Intuitivement, un sous-ensemble A d'un espace topologique X est nulle part dense dans X si presque aucun point de X ne peut être « approché » par des points de A. Soit X un espace topologique et A un sous-ensemble de X.
Intervalle unitéEn mathématique, l'intervalle unité est l'intervalle fermé [0,1], c'est-à-dire, l'ensemble de tous les nombres réels qui sont supérieurs ou égaux à 0 et inférieurs ou égaux à 1. Il est souvent noté I. Dans la littérature, le terme "intervalle unité" est parfois appliqué à d'autres intervalles : (0,1], [0,1), et (0,1). Cependant, la notation I est généralement réservée à l'intervalle fermé [0,1]. L'intervalle unité est un espace métrique complet.
Écoulement de StokesUn écoulement de Stokes (ou écoulement rampant) caractérise un fluide visqueux qui s'écoule lentement en un lieu étroit ou autour d'un petit objet, dont les effets visqueux dominent alors sur les effets inertiels. On parle parfois de fluide de Stokes par opposition à fluide parfait. Il est en effet régi par une version simplifiée de l'équation de Navier-Stokes, léquation de Stokes, dans laquelle les termes inertiels sont absents.
Intervalle (mathématiques)En mathématiques, un intervalle (du latin intervallum) est étymologiquement un ensemble ordonné de points compris entre deux bornes. Cette notion première s'est ensuite développée jusqu'à aboutir à la notion topologique de boule d'un espace métrique. Initialement, on appelle intervalle réel un ensemble de nombres délimité par deux nombres réels constituant une borne inférieure et une borne supérieure. Un intervalle contient tous les nombres réels compris entre ces deux bornes.
Loi de StokesLa loi de Stokes, nommée en l'honneur de George Stokes (1819 – 1903), est une loi donnant la force de traînée hydrodynamique s'exerçant sur une sphère en déplacement dans un fluide. Si le nombre de Reynolds est très inférieur à 1 (écoulement rampant) et si la sphère est suffisamment loin de tout autre corps, de tout obstacle ou paroi latérale (on considère une paroi éloignée d'au moins dix fois le rayon de la sphère), alors la force de traînée hydrodynamique qui s'exerce sur une sphère de diamètre est : où est la viscosité dynamique du fluide (en ) et le diamètre de la sphère.
Ouvert (topologie)En mathématiques et plus particulièrement en topologie générale, un ensemble ouvert, aussi appelé une partie ouverte ou, plus fréquemment, un ouvert, est un sous-ensemble d'un espace topologique qui ne contient aucun point de sa frontière. L'ouvert est l'élément de base d'un espace topologique. Il existe plusieurs définitions des ouverts suivant le type d'espace concerné. Nous reprenons ici la définition pour le cas le plus général à savoir celui des espaces topologiques.
Ensemble de CantorEn mathématiques, l'ensemble de Cantor (ou ensemble triadique de Cantor, ou poussière de Cantor), est un sous-ensemble remarquable de la droite réelle construit par le mathématicien allemand Georg Cantor. Il s'agit d'un sous-ensemble fermé de l'intervalle unité [0, 1], d'intérieur vide. Il sert d'exemple pour montrer qu'il existe des ensembles infinis non dénombrables mais négligeables au sens de la mesure de Lebesgue. C'est aussi le premier exemple de fractale (bien que le terme ne soit apparu qu'un siècle plus tard), et il possède une dimension non entière.
Ensemble GδEn mathématiques et, en particulier, en topologie, un ensemble Gδ (lire « G delta ») est une intersection dénombrable d'ensembles ouverts. La notation introduite par Felix Hausdorff vient de l'allemand, le G désignant un ouvert (Gebiet) et le δ désignant une intersection (Durchschnitt). La notation Gδ est équivalente à celle de utilisée dans la hiérarchie de Borel. L'intersection dénombrable d'ensembles Gδ est un ensemble Gδ et l'union finie d'ensembles Gδ est un ensemble Gδ. Le complémentaire d'un ensemble Gδ est un ensemble Fσ.
Espace σ-compactEn mathématiques, un espace topologique est dit σ-compact (ou localement compact dénombrable à l'infini) s'il est l'union dénombrable de sous-espaces compacts. Un espace est dit σ-localement compact s'il est à la fois σ-compact et localement compact. Tout espace compact est σ-compact, et tout espace σ-compact est de Lindelöf (c'est-à-dire que tout recouvrement ouvert a un sous-recouvrement dénombrable).
Fluide incompressibleUn fluide incompressible est un fluide dont le volume est considéré comme constant quelle que soit la pression qu'il subit, tout fluide étant en réalité sensible à la pression. Par nature, tous les fluides sont compressibles, certains plus que d'autres, et en phase gazeuse considérablement plus qu'en phase liquide. La compressibilité d'un fluide mesure la variation de volume d'une certaine quantité de ce fluide lorsqu'il est soumis à une pression extérieure.
Théorème de Banach-SteinhausLe théorème de Banach-Steinhaus fait partie, au même titre que le théorème de Hahn-Banach et le théorème de Banach-Schauder, des résultats fondamentaux de l'analyse fonctionnelle. Publié initialement par Stefan Banach et Hugo Steinhaus en 1927, il a aussi été prouvé indépendamment par Hans Hahn, et a connu depuis de nombreuses généralisations. La formulation originelle de ce théorème est la suivante : Lorsque E est un espace de Banach (donc de Baire), il suffit donc que la famille soit simplement bornée sur une partie comaigre, comme E lui-même.
Droite de SorgenfreyEn mathématiques, la droite de Sorgenfrey — souvent notée S — est la droite réelle R munie de la topologie (plus fine que la topologie usuelle) dont une base est constituée des intervalles semi-ouverts de la forme [a, b[ (pour a et b réels tels que a < b). Robert Sorgenfrey l'a définie pour démontrer que le produit de deux espaces paracompacts n'est pas toujours paracompact ; c'est aussi un exemple simple d'espace normal dont le carré n'est pas normal.
Applications ouvertes et ferméesEn mathématiques, et plus précisément en topologie, une application ouverte est une application entre deux espaces topologiques envoyant les ouverts de l'un vers des ouverts de l'autre. De même, une application fermée envoie les fermés du premier espace vers des fermés du second. Soit deux espaces topologiques X et Y ; on dit qu'une application f de X vers Y est ouverte si pour tout ouvert U de X, l' f(U) est ouverte dans Y ; de même, on dit que f est fermée si pour tout fermé U de X, l'image f(U) est fermée dans Y.
