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.
Espace localement compactEn topologie, un espace localement compact est un espace séparé qui admet des voisinages compacts pour tous ses points. Un tel espace n'est pas nécessairement compact lui-même mais on peut y généraliser (au moins partiellement) beaucoup de résultats sur les espaces compacts. Ce sont aussi les espaces qu'on peut « rendre » compacts avec un point grâce à la compactification d'Alexandrov. La compacité est une source très fertile de résultats en topologie mais elle reste une propriété très contraignante.
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.
Compacité (mathématiques)En topologie, on dit d'un espace qu'il est compact s'il est séparé et qu'il vérifie la propriété de Borel-Lebesgue. La condition de séparation est parfois omise et certains résultats demeurent vrais, comme le théorème des bornes généralisé ou le théorème de Tychonov. La compacité permet de faire passer certaines propriétés du local au global, c'est-à-dire qu'une propriété vraie au voisinage de chaque point devient valable de façon uniforme sur tout le compact.
Espace dénombrablement compactEn mathématiques, un espace dénombrablement compact est un espace topologique dont tout recouvrement par une famille dénombrable d'ouverts possède un sous-recouvrement fini. La notion de compacité dénombrable entretient des rapports étroits avec celles de quasi-compacité et compacité et celle de compacité séquentielle. Pour un espace métrisable, ces quatre notions sont équivalentes. Soit X un espace topologique (non supposé séparé).