On dit d'une certaine propriété mathématique qu'elle est localement vérifiée en un point d'un espace topologique s'il existe un système fondamental de voisinages de ce point sur lequel la propriété est vraie. On dit d'une certaine propriété mathématique qu'elle est localement vérifiée si elle est localement vérifiée en tout point de l'espace topologique considéré. Cette notion se retrouve dans tous les domaines des mathématiques qui utilisent la topologie, en particulier en analyse. Cependant, c'est faux en général, par exemple :

Property Value
dbo:abstract
  • On dit d'une certaine propriété mathématique qu'elle est localement vérifiée en un point d'un espace topologique s'il existe un système fondamental de voisinages de ce point sur lequel la propriété est vraie. On dit d'une certaine propriété mathématique qu'elle est localement vérifiée si elle est localement vérifiée en tout point de l'espace topologique considéré. Cette notion se retrouve dans tous les domaines des mathématiques qui utilisent la topologie, en particulier en analyse. Souvent, il suffit que la propriété soit vraie pour un voisinage du point pour qu'elle soit vraie localement en ce point, par exemple : * On dit qu'une fonction définie sur un espace topologique admet en un point de un maximum local s'il existe un voisinage de tel que soit la plus grande valeur de sur ; * On dit qu'un espace topologique est localement compact s'il est séparé et si chacun de ses points possède un voisinage compact. Cependant, c'est faux en général, par exemple : * On ne peut pas dire que la fonction est localement non bornée au point sous prétexte qu'elle est non bornée sur (qui est un voisinage du point considéré) ; * Il existe des espaces connexes qui ne sont pas localement connexes en un point, on peut par exemple prendre l'adhérence du graphe de , dans , et le point . Pourtant, l'espace tout entier est un voisinage connexe de ce point. Cette expression intervient également en théorie des groupes : on dit qu'un groupe vérifie localement une propriété si tous ses sous-groupes de type fini la vérifient. Par exemple, un groupe est (en) si tous ses sous-groupes de type fini sont nilpotents ; il est (en) si tous ses sous-groupes de type fini sont finis. (fr)
  • On dit d'une certaine propriété mathématique qu'elle est localement vérifiée en un point d'un espace topologique s'il existe un système fondamental de voisinages de ce point sur lequel la propriété est vraie. On dit d'une certaine propriété mathématique qu'elle est localement vérifiée si elle est localement vérifiée en tout point de l'espace topologique considéré. Cette notion se retrouve dans tous les domaines des mathématiques qui utilisent la topologie, en particulier en analyse. Souvent, il suffit que la propriété soit vraie pour un voisinage du point pour qu'elle soit vraie localement en ce point, par exemple : * On dit qu'une fonction définie sur un espace topologique admet en un point de un maximum local s'il existe un voisinage de tel que soit la plus grande valeur de sur ; * On dit qu'un espace topologique est localement compact s'il est séparé et si chacun de ses points possède un voisinage compact. Cependant, c'est faux en général, par exemple : * On ne peut pas dire que la fonction est localement non bornée au point sous prétexte qu'elle est non bornée sur (qui est un voisinage du point considéré) ; * Il existe des espaces connexes qui ne sont pas localement connexes en un point, on peut par exemple prendre l'adhérence du graphe de , dans , et le point . Pourtant, l'espace tout entier est un voisinage connexe de ce point. Cette expression intervient également en théorie des groupes : on dit qu'un groupe vérifie localement une propriété si tous ses sous-groupes de type fini la vérifient. Par exemple, un groupe est (en) si tous ses sous-groupes de type fini sont nilpotents ; il est (en) si tous ses sous-groupes de type fini sont finis. (fr)
dbo:wikiPageID
  • 111379 (xsd:integer)
dbo:wikiPageLength
  • 3050 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 190854613 (xsd:integer)
dbo:wikiPageWikiLink
prop-fr:wikiPageUsesTemplate
dct:subject
rdfs:comment
  • On dit d'une certaine propriété mathématique qu'elle est localement vérifiée en un point d'un espace topologique s'il existe un système fondamental de voisinages de ce point sur lequel la propriété est vraie. On dit d'une certaine propriété mathématique qu'elle est localement vérifiée si elle est localement vérifiée en tout point de l'espace topologique considéré. Cette notion se retrouve dans tous les domaines des mathématiques qui utilisent la topologie, en particulier en analyse. Cependant, c'est faux en général, par exemple : (fr)
  • On dit d'une certaine propriété mathématique qu'elle est localement vérifiée en un point d'un espace topologique s'il existe un système fondamental de voisinages de ce point sur lequel la propriété est vraie. On dit d'une certaine propriété mathématique qu'elle est localement vérifiée si elle est localement vérifiée en tout point de l'espace topologique considéré. Cette notion se retrouve dans tous les domaines des mathématiques qui utilisent la topologie, en particulier en analyse. Cependant, c'est faux en général, par exemple : (fr)
rdfs:label
  • Lokal (Topologie) (de)
  • Propriété locale (fr)
  • Własność lokalna (pl)
  • 局部性质 (zh)
  • Lokal (Topologie) (de)
  • Propriété locale (fr)
  • Własność lokalna (pl)
  • 局部性质 (zh)
rdfs:seeAlso
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:wikiPageDisambiguates of
is dbo:wikiPageRedirects of
is dbo:wikiPageWikiLink of
is oa:hasTarget of
is foaf:primaryTopic of