Concept information
Terme préférentiel
application propre
Définition(s)
-
En mathématiques, une application est dite propre si elle vérifie une certaine propriété topologique. La définition la plus courante, valable pour une application continue d'un espace séparé dans un espace localement compact, est que l'application est propre si l'image réciproque de toute partie compacte de l'espace d'arrivée est compacte. Cette définition est équivalente, dans ce contexte, à la définition générale : une application (non nécessairement continue et entre espaces topologiques quelconques) est propre si elle est « universellement fermée ».
(Wikipedia, L'Encylopédie Libre, https://fr.wikipedia.org/wiki/Application_propre)
Concept(s) générique(s)
Traductions
-
anglais
URI
http://data.loterre.fr/ark:/67375/PSR-JHZ8CHVS-S
{{label}}
{{#each values }} {{! loop through ConceptPropertyValue objects }}
{{#if prefLabel }}
{{/if}}
{{/each}}
{{#if notation }}{{ notation }} {{/if}}{{ prefLabel }}
{{#ifDifferentLabelLang lang }} ({{ lang }}){{/ifDifferentLabelLang}}
{{#if vocabName }}
{{ vocabName }}
{{/if}}