partition localement finie
Nom, Gender:Fem, Number:Sing, Nom féminin singulier
source:wiki
Définitions
partition localement finie : désigne une partition d'un espace topologique où chaque ensemble de la partition est localement compact et a une couverture finie par des ensembles ouverts.
Dans l'étude des espaces topologiques, une partition localement finie permet de simplifier l'analyse des propriétés locales.
Les partitions localement finies sont essentielles dans la théorie des faisceaux, car elles garantissent une bonne structure locale.
Dans le cadre de la géométrie différentielle, les partitions localement finies facilitent le traitement des variétés en morceaux.
[F]
›
•
•
•
›
15
•
•
•
•
•
•
•
•
•
•
•
•
•
•
[F]
›
21
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•