http://dbpedia.org/ontology/abstract
|
En mathématiques, une partie relativement … 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.vement compactes sont les parties bornées.
|
http://dbpedia.org/ontology/wikiPageID
|
9471179
|
http://dbpedia.org/ontology/wikiPageLength
|
2402
|
http://dbpedia.org/ontology/wikiPageRevisionID
|
188999308
|
http://dbpedia.org/ontology/wikiPageWikiLink
|
http://fr.dbpedia.org/resource/Espace_d%C3%A9nombrablement_compact +
, http://fr.dbpedia.org/resource/Topologie_induite +
, http://fr.dbpedia.org/resource/Adh%C3%A9rence_%28math%C3%A9matiques%29 +
, http://fr.dbpedia.org/resource/Th%C3%A9or%C3%A8me_de_Borel-Lebesgue +
, http://fr.dbpedia.org/resource/Op%C3%A9rateur_compact +
, http://fr.dbpedia.org/resource/Partie_born%C3%A9e +
, http://fr.dbpedia.org/resource/Espace_m%C3%A9trisable +
, http://fr.dbpedia.org/resource/Espace_m%C3%A9trique +
, http://fr.dbpedia.org/resource/Th%C3%A9or%C3%A8me_d%27Ascoli +
, http://fr.dbpedia.org/resource/Lemme_du_tube +
, http://fr.dbpedia.org/resource/Suite_%28math%C3%A9matiques%29 +
, http://fr.dbpedia.org/resource/Int%C3%A9grabilit%C3%A9_uniforme +
, http://fr.dbpedia.org/resource/Espace_complet +
, http://fr.dbpedia.org/resource/Espace_pr%C3%A9compact +
, http://fr.dbpedia.org/resource/Compacit%C3%A9_%28math%C3%A9matiques%29 +
, http://fr.dbpedia.org/resource/Limite_d%27une_suite +
, http://fr.dbpedia.org/resource/Inclusion_%28math%C3%A9matiques%29 +
, http://fr.dbpedia.org/resource/Espace_topologique +
, http://fr.dbpedia.org/resource/Famille_normale +
, http://fr.dbpedia.org/resource/Th%C3%A9or%C3%A8me_du_point_fixe_de_Schauder +
, http://fr.dbpedia.org/resource/Espace_s%C3%A9par%C3%A9 +
, http://fr.dbpedia.org/resource/Sous-suite +
, http://fr.dbpedia.org/resource/Cat%C3%A9gorie:Compacit%C3%A9 +
, http://fr.dbpedia.org/resource/Topologie_d%27un_espace_vectoriel_de_dimension_finie +
, http://fr.dbpedia.org/resource/Math%C3%A9matiques +
|
http://fr.dbpedia.org/property/wikiPageUsesTemplate
|
http://fr.dbpedia.org/resource/Mod%C3%A8le:Exp +
, http://fr.dbpedia.org/resource/Mod%C3%A8le:D%C3%A9monstration +
, http://fr.dbpedia.org/resource/Mod%C3%A8le:Surligner +
, http://fr.dbpedia.org/resource/Mod%C3%A8le:R%C3%A9f%C3%A9rences +
, http://fr.dbpedia.org/resource/Mod%C3%A8le:Portail +
, http://fr.dbpedia.org/resource/Mod%C3%A8le:Lien +
|
http://purl.org/dc/terms/subject
|
http://fr.dbpedia.org/resource/Cat%C3%A9gorie:Compacit%C3%A9 +
|
http://www.w3.org/ns/prov#wasDerivedFrom
|
http://fr.wikipedia.org/wiki/Partie_relativement_compacte?oldid=188999308&ns=0 +
|
http://xmlns.com/foaf/0.1/isPrimaryTopicOf
|
http://fr.wikipedia.org/wiki/Partie_relativement_compacte +
|
owl:sameAs |
http://g.co/kg/m/02tt59 +
, http://ja.dbpedia.org/resource/%E7%9B%B8%E5%AF%BE%E3%82%B3%E3%83%B3%E3%83%91%E3%82%AF%E3%83%88%E9%83%A8%E5%88%86%E7%A9%BA%E9%96%93 +
, http://uk.dbpedia.org/resource/%D0%92%D1%96%D0%B4%D0%BD%D0%BE%D1%81%D0%BD%D0%BE_%D0%BA%D0%BE%D0%BC%D0%BF%D0%B0%D0%BA%D1%82%D0%BD%D0%B0_%D0%BC%D0%BD%D0%BE%D0%B6%D0%B8%D0%BD%D0%B0 +
, http://g.co/kg/g/121pw46q +
, http://pl.dbpedia.org/resource/Podprzestrze%C5%84_warunkowo_zwarta +
, http://es.dbpedia.org/resource/Conjunto_relativamente_compacto +
, http://it.dbpedia.org/resource/Sottospazio_relativamente_compatto +
, http://de.dbpedia.org/resource/Relativ_kompakte_Teilmenge +
, http://cs.dbpedia.org/resource/Relativn%C4%9B_kompaktn%C3%AD_mno%C5%BEina +
, http://vi.dbpedia.org/resource/Compact_t%C6%B0%C6%A1ng_%C4%91%E1%BB%91i +
, http://ma-graph.org/entity/33231828 +
, http://dbpedia.org/resource/Relatively_compact_subspace +
, http://www.wikidata.org/entity/Q610232 +
, http://ko.dbpedia.org/resource/%EC%83%81%EB%8C%80_%EC%BD%A4%ED%8C%A9%ED%8A%B8_%EB%B6%80%EB%B6%84%EA%B3%B5%EA%B0%84 +
, http://fr.dbpedia.org/resource/Partie_relativement_compacte +
|
rdfs:comment |
En mathématiques, une partie relativement … 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.u lemme du tube) donc K est un fermé de X.
|
rdfs:label |
Compact tương đối
, Partie relativement compacte
, 相対コンパクト部分空間
, Relativ kompakte Teilmenge
, Podprzestrzeń warunkowo zwarta
, Relatively compact subspace
|
rdfs:seeAlso |
https://ncatlab.org/nlab/show/relatively_compact_subspace +
|