About: Relatively compact subspace

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

About: Relatively compact subspace 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	Compact tương đối (vi) Partie relativement compacte (fr) Podprzestrzeń warunkowo zwarta (pl) Relativ kompakte Teilmenge (de) Relatively compact subspace (en) 相対コンパクト部分空間 (ja)
rdfs:comment	En mathématiques, une partie relativement compacte d'un espace topologique X est un sous-ensemble Y de X inclus dans une partie compacte de X (pour la topologie induite). Rappelons que dans la littérature française, un compact est supposé séparé. Si X est séparé, alors une partie de X est relativement compacte (si et) seulement si son adhérence est compacte. Démonstration : On suppose X séparé. Soit K une partie compacte de X telle que Y ⊆ K. Toute partie compacte d'un espace séparé est fermée (c'est un corollaire du lemme du tube) donc K est un fermé de X. (fr)
rdfs:seeAlso	https://ncatlab.org/nlab/show/relatively_compact_subspace
sameAs	Relatively compact subspace Relatively compact subspace Relatively compact subspace Relatively compact subspace Relatively compact subspace Relatively compact subspace Relatively compact subspace Relatively compact subspace Relatively compact subspace Relatively compact subspace Relatively compact subspace Relatively compact subspace Relatively compact subspace Relatively compact subspace
Wikipage page ID	9471179 (xsd:integer)
Wikipage revision ID	188999308 (xsd:integer)
dbo:wikiPageWikiLink	dbpedia-fr:Adhérence_(mathématiques) category-fr:Compacité Compact space Complete metric space Countably compact space Metric space Metrizable space Totally bounded space Hausdorff space Topological space dbpedia-fr:Famille_normale dbpedia-fr:Inclusion_(mathématiques) dbpedia-fr:Intégrabilité_uniforme dbpedia-fr:Lemme_du_tube Limit of a sequence Compact operator Bounded set Subsequence Sequence dbpedia-fr:Théorème_d'Ascoli dbpedia-fr:Théorème_de_Borel-Lebesgue Schauder fixed-point theorem dbpedia-fr:Topologie_d'un_espace_vectoriel_de_dimension_finie Subspace topology dbpedia-fr:Mathématiques
page length (characters) of wiki page	2402 (xsd:nonNegativeInteger)
dct:subject	category-fr:Compacité
prop-fr:wikiPageUsesTemplate	dbpedia-fr:Modèle:Exp dbpedia-fr:Modèle:Lien dbpedia-fr:Modèle:Portail dbpedia-fr:Modèle:Références dbpedia-fr:Modèle:Surligner dbpedia-fr:Modèle:Démonstration
prov:wasDerivedFrom	wikipedia-fr:Partie_relativement_compacte?oldid=188999308&ns=0
foaf:isPrimaryTopicOf	wikipedia-fr:Partie_relativement_compacte
has abstract	En mathématiques, une partie relativement compacte d'un espace topologique X est un sous-ensemble Y de X inclus dans une partie compacte de X (pour la topologie induite). Rappelons que dans la littérature française, un compact est supposé séparé. Si X est séparé, alors une partie de X est relativement compacte (si et) seulement si son adhérence est compacte. Démonstration : On suppose X séparé. Soit K une partie compacte de X telle que Y ⊆ K. Toute partie compacte d'un espace séparé est fermée (c'est un corollaire du lemme du tube) donc K est un fermé de X. L'adhérence de Y est notée Y. On a Y ⊆ Y et — puisque K est fermé — Y ⊆ K. Or toute partie fermée d'un compact est compacte, donc Y est compact. : Immédiat (et encore vrai si X n'est pas séparé). Dans un espace métrisable X, une partie Y est relativement compacte si et seulement si toute suite dans Y possède une sous-suite qui converge dans X. Une partie d'un espace métrique complet est relativement compacte si et seulement si elle est précompacte. En particulier dans ℝn, les parties relativement compactes sont les parties bornées. (fr)
is dbo:wikiPageWikiLink of	dbpedia-fr:Action_de_groupe_(mathématiques) dbpedia-fr:Application_linéaire_continue Compact space Sequentially compact space Oppenheim conjecture Divergence dbpedia-fr:Dual_d'un_espace_vectoriel_topologique Countably compact space Locally compact space Almost periodic function Subharmonic function Glossary of topology dbpedia-fr:Lemme_de_Riesz dbpedia-fr:Longue_droite Operator Bounded operator Compact operator dbpedia-fr:Opérateur_linéaire dbpedia-fr:Ovoïde Bounded set (topological vector space) Partition of unity dbpedia-fr:Propriété_de_Daugavet Residue (complex analysis) Line segment dbpedia-fr:Stabilité_de_Liapounov dbpedia-fr:Tension_des_mesures dbpedia-fr:Théorème_d'Ascoli dbpedia-fr:Théorème_de_Banach-Alaoglu-Bourbaki dbpedia-fr:Théorème_de_Fréchet-Kolmogorov Prokhorov's theorem Rellich–Kondrachov theorem Generalized Stokes theorem dbpedia-fr:Théorème_de_Tsuji Schauder fixed-point theorem dbpedia-fr:Équicontinuité dbpedia-fr:Relativement_compact
is Wikipage redirect of	dbpedia-fr:Relativement_compact
is oa:hasTarget of	De labels Ja labels Vi labels

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