This HTML5 document contains 38 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
n14http://g.co/kg/g/
dcthttp://purl.org/dc/terms/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
rdfshttp://www.w3.org/2000/01/rdf-schema#
category-frhttp://fr.dbpedia.org/resource/Catégorie:
n8http://fr.dbpedia.org/resource/V:Topologie_générale/
n9http://fr.dbpedia.org/resource/Modèle:
wikipedia-frhttp://fr.wikipedia.org/wiki/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
dbpedia-frhttp://fr.dbpedia.org/resource/
prop-frhttp://fr.dbpedia.org/property/
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
wikidatahttp://www.wikidata.org/entity/

Statements

Subject Item
dbpedia-fr:Théorème_des_fermés_emboîtés
rdfs:label
Théorème des fermés emboîtés
rdfs:comment
En mathématiques, plus précisément en topologie, le théorème des fermés emboîtés affirme que si un espace métrique (E, d) est complet alors, pour toute suite décroissante de fermés non vides Fn de E dont le diamètre tend vers zéro, l'intersection des Fn est réduite à un point. Pour une démonstration, voir par exemple le paragraphe « Espace complet » de la leçon « Topologie générale », sur Wikiversité. On peut prouver, directement, ce cas particulier du théorème des fermés emboîtés, en remarquant que les suites (an) et (bn) sont alors adjacentes. * Portail des mathématiques
owl:sameAs
n14:1s047hhlk wikidata:Q3527234
dbo:wikiPageID
960291
dbo:wikiPageRevisionID
172015476
dbo:wikiPageWikiLink
dbpedia-fr:Espace_complet category-fr:Théorème_de_topologie dbpedia-fr:Partie_bornée category-fr:Espace_métrique n8:Complétude dbpedia-fr:Mathématiques dbpedia-fr:Diamètre dbpedia-fr:Suite_de_Cauchy dbpedia-fr:Espace_euclidien dbpedia-fr:Compacité_(mathématiques) dbpedia-fr:Topologie dbpedia-fr:Espace_métrique dbpedia-fr:Théorème_de_Borel-Lebesgue dbpedia-fr:Valeur_d'adhérence dbpedia-fr:Fermé_(topologie) dbpedia-fr:Théorème_des_suites_adjacentes dbpedia-fr:Lemme_de_Riesz dbpedia-fr:Wikiversité
dbo:wikiPageLength
2604
dct:subject
category-fr:Espace_métrique category-fr:Théorème_de_topologie
prop-fr:wikiPageUsesTemplate
n9:Voir_autre_projet n9:Surligner n9:! n9:Math n9:Ind n9:Portail
prov:wasDerivedFrom
wikipedia-fr:Théorème_des_fermés_emboîtés?oldid=172015476&ns=0
prop-fr:contenu
Pour une démonstration, voir par exemple le paragraphe « Espace complet » de la leçon « Topologie générale », sur Wikiversité.
prop-fr:projet
Wikiversité
foaf:isPrimaryTopicOf
wikipedia-fr:Théorème_des_fermés_emboîtés
dbo:abstract
En mathématiques, plus précisément en topologie, le théorème des fermés emboîtés affirme que si un espace métrique (E, d) est complet alors, pour toute suite décroissante de fermés non vides Fn de E dont le diamètre tend vers zéro, l'intersection des Fn est réduite à un point. Pour une démonstration, voir par exemple le paragraphe « Espace complet » de la leçon « Topologie générale », sur Wikiversité. La réciproque de ce théorème est vraie : si un espace métrique vérifie la propriété des fermés emboîtés alors il est complet. En effet, pour toute suite x, l'intersection des fermés emboîtés {xn | n ≥ N} est l'ensemble des valeurs d'adhérence de x, et la suite est de Cauchy si et seulement si la suite de leurs diamètres tend vers 0. Par conséquent, si l'espace vérifie la propriété des fermés emboîtés, alors toute suite de Cauchy possède une valeur d'adhérence, donc converge. Lorsque E = ℝ et les fermés sont des intervalles fermés, le théorème prend la forme suivante : soit [an, bn] une suite décroissante de segments de ℝ tels que bn – an tende vers zéro, alors l'intersection des segments [an, bn] est un singleton. Ce corollaire particulier est connu sous le nom de théorème des segments emboîtés. On peut prouver, directement, ce cas particulier du théorème des fermés emboîtés, en remarquant que les suites (an) et (bn) sont alors adjacentes. Dans un espace complet quelconque, l'hypothèse que les diamètres sont seulement finis (sans tendre vers 0) ne suffirait pas pour que l'intersection soit non vide (voir la démonstration du théorème de Riesz). Mais dans un espace euclidien, toute intersection d'une suite décroissante de fermés bornés non vides est non vide car ce sont des compacts, ce qui permet d'appliquer le théorème des compacts emboîtés. * Portail des mathématiques