About: Nagata–Smirnov metrization theorem

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: Nagata–Smirnov metrization theorem Goto Sponge NotDistinct Permalink

An Entity of Type : owl:Thing, within Data Space : fr.dbpedia.org associated with source document(s)

Attributes	Values
rdfs:label	Critère de métrisabilité de Nagata-Smirnov (fr) Nagata–Smirnov metrization theorem (en) Nagata–Smirnovs metriserbarhetssats (sv) Teorema de metrización de Nagata-Smírnov (es)
rdfs:comment	Le critère de métrisabilité de Nagata-Smirnov est un théorème de topologie qui affirme qu'un espace topologique est métrisable si (et seulement si) il est régulier et a une base dénombrablement localement finie. Il a été démontré indépendamment par Jun-iti Nagata (1950), (de) (1951) et (en) (1951). (Tout espace métrique E possède bien une base réunion dénombrable de familles Fn localement finies, chaque Fn étant obtenue en raffinant (par paracompacité) le recouvrement de E par toutes les boules ouvertes de rayon 1/n.) (fr)
sameAs	Nagata–Smirnov metrization theorem Nagata–Smirnov metrization theorem Nagata–Smirnov metrization theorem Nagata–Smirnov metrization theorem Nagata–Smirnov metrization theorem Nagata–Smirnov metrization theorem Nagata–Smirnov metrization theorem Nagata–Smirnov metrization theorem Nagata–Smirnov metrization theorem
Wikipage page ID	646192 (xsd:integer)
Wikipage revision ID	178536069 (xsd:integer)
dbo:wikiPageWikiLink	category-fr:Théorème_de_topologie Base (topology) dbpedia-fr:Boule_(topologie) Metrizable space Normal space Paracompact space Regular space Topological space Glossary of topology dbpedia-fr:Jun-iti_Nagata Open set dbpedia-fr:Propriété_locale Cover (topology) dbpedia-fr:Springer_Science+Business_Media Topology
Link from a Wikipage to an external page	http://cms.math.ca/cjm/v3/cjm1951v03.0175-0186.pdf https://books.google.fr/books%3Fid=yE8vokMrpSoC&pg=PA17
page length (characters) of wiki page	2326 (xsd:nonNegativeInteger)
dct:subject	category-fr:Théorème_de_topologie
prop-fr:wikiPageUsesTemplate	dbpedia-fr:Modèle:Article dbpedia-fr:Modèle:Ind dbpedia-fr:Modèle:Lien dbpedia-fr:Modèle:Ouvrage dbpedia-fr:Modèle:Portail dbpedia-fr:Modèle:Ébauche
prov:wasDerivedFrom	wikipedia-fr:Critère_de_métrisabilité_de_Nagata-Smirnov?oldid=178536069&ns=0
prop-fr:année	1951 (xsd:integer) 1995 (xsd:integer)
prop-fr:isbn	978 (xsd:integer)
prop-fr:lang	de (fr) en (fr)
prop-fr:langue	en (fr)
prop-fr:lienPériodique	Journal canadien de mathématiques (fr)
prop-fr:lireEnLigne	https://books.google.fr/books%3Fid=yE8vokMrpSoC&pg=PA17
prop-fr:nom	Bing (fr) Howes (fr)
prop-fr:page	17 (xsd:integer)
prop-fr:pagesTotales	444 (xsd:integer)
prop-fr:prénom	R. H. (fr) Norman R. (fr)
prop-fr:texte	Yu. M. Smirnov (fr)
prop-fr:titre	Metrization of topological spaces (fr) Modern Analysis and Topology (fr) A necessary and sufficient condition for metrizability of a topological space (fr)
prop-fr:trad	Juri Michailowitsch Smirnow (fr)
prop-fr:url	http://cms.math.ca/cjm/v3/cjm1951v03.0175-0186.pdf
prop-fr:éditeur	dbpedia-fr:Springer_Science+Business_Media
prop-fr:p.	175 (xsd:integer) 197 (xsd:integer)
prop-fr:revue	Canad. J. Math. (fr) Doklady Akad. Nauk SSSR (fr)
prop-fr:vol	3 (xsd:integer) 77 (xsd:integer)
foaf:isPrimaryTopicOf	wikipedia-fr:Critère_de_métrisabilité_de_Nagata-Smirnov
named after	dbpedia-fr:Jun-iti_Nagata wikidata:Q1713916
has abstract	Le critère de métrisabilité de Nagata-Smirnov est un théorème de topologie qui affirme qu'un espace topologique est métrisable si (et seulement si) il est régulier et a une base dénombrablement localement finie. Il a été démontré indépendamment par Jun-iti Nagata (1950), (de) (1951) et (en) (1951). (Tout espace métrique E possède bien une base réunion dénombrable de familles Fn localement finies, chaque Fn étant obtenue en raffinant (par paracompacité) le recouvrement de E par toutes les boules ouvertes de rayon 1/n.) On peut en déduire le théorème de métrisabilité de Smirnov : un espace est métrisable si (et seulement si) il est paracompact et localement métrisable. En effet, tout espace paracompact X est normal donc régulier, et s'il est de plus recouvert par des ouverts Ui admettant chacun une base Bi dénombrablement localement finie alors, en se ramenant (par raffinement) au cas où le recouvrement (Ui) est localement fini, la réunion des Bi est une base dénombrablement localement finie de X. (fr)
is dbo:wikiPageWikiLink of	Metric space Paracompact space dbpedia-fr:Jun-iti_Nagata List of theorems Topological manifold dbpedia-fr:Théorème_de_métrisabilité_de_Smirnov
is Wikipage redirect of	dbpedia-fr:Théorème_de_métrisabilité_de_Smirnov
is oa:hasTarget of	Sv labels Es labels En labels Wikidata Fr related
is foaf:primaryTopic of	wikipedia-fr:Critère_de_métrisabilité_de_Nagata-Smirnov

Faceted Search & Find service v1.16.111 as of Oct 19 2022

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3234 as of May 18 2022, on Linux (x86_64-ubuntu_bionic-linux-gnu), Single-Server Edition (39 GB total memory, 14 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software