About: Polish space

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

About: Polish space 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	Espace polonais (fr) Polish space (en) Polnischer Raum (de) Poolse ruimte (nl) Spazio polacco (it) Польское пространство (ru)
rdfs:comment	En mathématiques, un espace métrisable à base dénombrable (ou séparable, cela revient au même pour un espace métrisable) est un espace polonais si sa topologie peut être définie par une distance qui en fait un espace complet. Tout espace compact métrisable, tout sous-espace fermé ou ouvert d'un espace polonais, tout produit dénombrable d'espaces polonais, tout espace de Banach séparable est un espace polonais. (fr)
rdfs:seeAlso	http://mathworld.wolfram.com/PolishSpace.html https://ncatlab.org/nlab/show/Polish_space
sameAs	Polish space Polish space Polish space Polish space Polish space Polish space Polish space Polish space Polish space Polish space Polish space Polish space Polish space
Wikipage page ID	196275 (xsd:integer)
Wikipage revision ID	187837344 (xsd:integer)
dbo:wikiPageWikiLink	category-fr:Propriété_d'espace_topologique category-fr:Espace_métrique Alfred Tarski Functional analysis Infimum and supremum Compact space Alexandroff extension dbpedia-fr:Cube_de_Hilbert Gδ set Countable set Meagre set Null set Complete metric space Baire space (set theory) Banach space Sequence space Metrizable space Separable space Topological space Totally disconnected space Second-countable space Borel hierarchy dbpedia-fr:Intérieur_(topologie) Kazimierz Kuratowski dbpedia-fr:Lemme_de_Riesz dbpedia-fr:Nicolas_Bourbaki Dense set dbpedia-fr:Point_isolé dbpedia-fr:Puissance_du_continu dbpedia-fr:Roger_Godement dbpedia-fr:Théorème_de_Baire dbpedia-fr:Tribu_borélienne dbpedia-fr:Wacław_Sierpiński Éléments de mathématique dbpedia-fr:Mathématiques Measure (mathematics) Inner regular measure
page length (characters) of wiki page	5092 (xsd:nonNegativeInteger)
dct:subject	category-fr:Propriété_d'espace_topologique category-fr:Espace_métrique
prop-fr:wikiPageUsesTemplate	dbpedia-fr:Modèle:Exp dbpedia-fr:Modèle:Portail dbpedia-fr:Modèle:Références dbpedia-fr:Modèle:Math
prov:wasDerivedFrom	wikipedia-fr:Espace_polonais?oldid=187837344&ns=0
foaf:isPrimaryTopicOf	wikipedia-fr:Espace_polonais
named after	Poland
has abstract	En mathématiques, un espace métrisable à base dénombrable (ou séparable, cela revient au même pour un espace métrisable) est un espace polonais si sa topologie peut être définie par une distance qui en fait un espace complet. Tout espace compact métrisable, tout sous-espace fermé ou ouvert d'un espace polonais, tout produit dénombrable d'espaces polonais, tout espace de Banach séparable est un espace polonais. Cette terminologie a été introduite par le groupe Bourbaki, dans le volume sur la topologie générale de ses Éléments de mathématique. C'est en fait Roger Godement, qui fut membre du groupe, qui en est à l'origine à la suite de sa proposition en 1949. De son propre aveu c'était, à la fois, humoristique et un hommage aux travaux des mathématiciens polonais dans le domaine de la topologie, notamment Casimir Kuratowski, Alfred Tarski et Wacław Sierpiński. (fr)
is dbo:wikiPageWikiLink of	Real tree dbpedia-fr:Convergence_de_mesures dbpedia-fr:Cube_de_Hilbert Càdlàg dbpedia-fr:Distance_de_Lévy-Prokhorov dbpedia-fr:Distance_de_Wasserstein Vitali set Perfect set Complete metric space Baire space (set theory) Classical Wiener space Separable space Glossary of topology Kazimierz Kuratowski dbpedia-fr:Loi_de_probabilité dbpedia-fr:Nicolas_Bourbaki Large deviations theory dbpedia-fr:Processus_ponctuel_déterminantal dbpedia-fr:Propriété_d'ensemble_parfait dbpedia-fr:Propriété_de_Baire dbpedia-fr:Propriété_topologique dbpedia-fr:Propriété_universelle dbpedia-fr:Tension_des_mesures dbpedia-fr:Théorème_de_Banach-Schauder Prokhorov's theorem Sanov's theorem Closed graph theorem dbpedia-fr:Tribu_borélienne

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, 13 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software