Extension - Extension
Extension , extension ou extension peut faire référence à:
Mathématiques
Logique ou théorie des ensembles
- Axiome d'extensionnalité
- Cardinal extensible
- Extension (théorie des modèles)
- Extension (logique de prédicat) , l'ensemble des tuples de valeurs qui satisfont le prédicat
- Extension (sémantique) , l'ensemble des choses auxquelles une propriété s'applique
- Extension par définitions
- Définition extensionnelle , une définition qui énumère chaque individu auquel un terme s'applique
- Extensionalité
Autres utilisations
- Extension d'un polyèdre , en géométrie
- Algèbre extérieure , théorie de l'extension de Grassmann, en géométrie
- Propriété d'extension d'homotopie , en topologie
- Théorème d'extension de Kolmogorov , en théorie des probabilités
- Extension linéaire , dans la théorie de l'ordre
- Extension de gerbe , en géométrie algébrique
- Théorème d'extension de Tietze , en topologie
- Théorème d'extension de Whitney , en géométrie différentielle
- Extension de groupe , en algèbre abstraite et algèbre homologique
Musique
- Extension (musique) , notes qui sortent de la plage standard
- Extended (album Solar Fields) , 2005
- Extension (album de George Braith) , 1964
- Extension (album de Clare Fischer) , 1963
- Extensions (album Ahmad Jamal) , 1965
- Extensions , un album de 1969 par Mystic Moods Orchestra
- Extensions (album McCoy Tyner) , 1970
- Extensions (album de Dave Holland) , 1988
- Extensions (l'album Manhattan Transfer) , 1979
Des endroits
- Extension, Colombie-Britannique , un village près du district régional de Nanaimo, Colombie-Britannique, Canada
- Extension, Louisiane , communauté non constituée en société, États-Unis
Science
- Extension (géologie) , relative à l'arrachement de la croûte terrestre et de la lithosphère
- Extension (anatomie) , indiquant le mouvement du membre loin du corps, à l'opposé de la flexion
- Locus d'extension, le locus du gène du récepteur de la mélanocortine 1
Autres utilisations
- Extension de navigateur , un petit module logiciel pour personnaliser un navigateur Web
- Formation continue , ou école de vulgarisation, une école de formation continue
- Cooperative State Research, Education, and Extension Service , une ancienne division du département américain de l'agriculture
- Extension (métaphysique) , propriété d'étirer ou de prendre de l'espace
- Extension (téléphone) , ligne téléphonique reliée à une ligne principale ou à un système PBX ou Centrex
- Rallonge , câble d'alimentation avec une fiche à une extrémité et une ou plusieurs prises à l'autre extrémité
- Extensions de cils , matériau appliqué sur les cils
- Extensions de cheveux , mèches de cheveux ajoutées aux cheveux existants
- Extension, le renforcement des capacités communautaires par des étrangers, par exemple la vulgarisation agricole
- Extension de nom de fichier , pour les systèmes de fichiers informatiques