| Attributes | Values |
|---|
| rdfs:label
| - Lemat Riesza (pl)
- Lemma di Riesz (it)
- Lemma von Riesz (de)
- Lemme de Riesz (fr)
- Лема Ріса (uk)
- リースの補題 (ja)
|
| rdfs:comment
| - Le lemme de Riesz, dû au mathématicien Frigyes Riesz, est un résultat d'analyse fonctionnelle sur les sous-espaces vectoriel fermés d'un espace vectoriel normé réel. Sa principale conséquence est le théorème de Riesz, selon lequel un espace vectoriel normé réel est de dimension finie si et seulement si ses boules fermées sont compactes. Plus généralement, un espace vectoriel topologique réel séparé est de dimension finie si et seulement s'il est localement compact. Ce théorème établit donc une équivalence entre une propriété algébrique et une propriété topologique. (fr)
|
| sameAs
| |
| Wikipage page ID
| |
| Wikipage revision ID
| |
| dbo:wikiPageWikiLink
| |
| page length (characters) of wiki page
| |
| dct:subject
| |
| prop-fr:wikiPageUsesTemplate
| |
| prov:wasDerivedFrom
| |
| prop-fr:contenu
| - Si est de dimension finie alors sa topologie est celle d'un espace vectoriel normé, auquel le théorème précédent s'applique : est localement compact.
Réciproquement, supposons qu'il existe dans un ouvert contenant 0 et dont l'adhérence est compacte. On a donc par compacité de , il existe un ensemble fini tel que .
Soit alors le sous-espace vectoriel de engendré par cet ensemble fini . Montrons que est inclus dans .
De on déduit : , d'où . Par récurrence, on démontre ainsi que pour tout entier ≥ 1, .
Soit maintenant un élément arbitraire de . Pour tout entier ≥ 1, il existe et tels que . Or est compact donc borné au sens des espaces vectoriels topologiques , donc , , si bien que appartient à l'adhérence de , c'est-à-dire à puisque ce sous-espace est de dimension finie donc fermé. Ainsi, .
Comme est absorbant, on en déduit que , donc est de dimension finie. (fr)
|
| prop-fr:titre
| |
| foaf:isPrimaryTopicOf
| |
| named after
| |
| has abstract
| - Le lemme de Riesz, dû au mathématicien Frigyes Riesz, est un résultat d'analyse fonctionnelle sur les sous-espaces vectoriel fermés d'un espace vectoriel normé réel. Sa principale conséquence est le théorème de Riesz, selon lequel un espace vectoriel normé réel est de dimension finie si et seulement si ses boules fermées sont compactes. Plus généralement, un espace vectoriel topologique réel séparé est de dimension finie si et seulement s'il est localement compact. Ce théorème établit donc une équivalence entre une propriété algébrique et une propriété topologique. (fr)
|
| is dbo:wikiPageWikiLink
of | |
![[RDF Data]](/fct/images/sw-rdf-blue.png)
![[cxml]](/fct/images/cxml_doc.png)
![[csv]](/fct/images/csv_doc.png)
![[text]](/fct/images/ntriples_doc.png)
![[turtle]](/fct/images/n3turtle_doc.png)
![[ld+json]](/fct/images/jsonld_doc.png)
![[rdf+json]](/fct/images/json_doc.png)
![[rdf+xml]](/fct/images/xml_doc.png)
![[atom+xml]](/fct/images/atom_doc.png)
![[html]](/fct/images/html_doc.png)