| Attributes | Values |
|---|
| rdfs:label
| - Fixpunktsatz von Schauder (de)
- Schauder fixed-point theorem (en)
- Teorema del punto fisso di Schauder (it)
- Théorème du point fixe de Schauder (fr)
- シャウダーの不動点定理 (ja)
|
| rdfs:comment
| - Le théorème du point fixe de Schauder est une généralisation du théorème du point fixe de Brouwer à des espaces vectoriels topologiques de dimension infinie. Il a été démontré d'abord dans le cas des espaces de Banach par Juliusz Schauder. Il intervient dans la démonstration de l'existence de solutions d'équations différentielles. (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
| - L'enveloppe convexe-fermée de est incluse dans et précompacte. En remplaçant par cette partie, on peut donc supposer désormais que le convexe est compact.
* Pour un tel , montrons que pour tout ouvert convexe contenant 0, il existe un sous-espace vectoriel de dimension finie et une application continue tels que :Par compacité, il existe une partie finie de telle que et une partition de l'unité subordonnée à ce recouvrement fini. En notant le sous-espace vectoriel engendré par , on définit alors l'application voulue par :
* Puisque la dimension de est finie et que est un compact convexe non vide stable par , le théorème du point fixe de Brouwer assure qu'il contient un vecteur tel que donc tel que
*Comme est compact, la suite généralisée possède une valeur d'adhérence, qui est alors un point de fixe par . (fr)
|
| prop-fr:titre
| - Démonstration si est localement convexe (fr)
|
| foaf:isPrimaryTopicOf
| |
| has abstract
| - Le théorème du point fixe de Schauder est une généralisation du théorème du point fixe de Brouwer à des espaces vectoriels topologiques de dimension infinie. Il a été démontré d'abord dans le cas des espaces de Banach par Juliusz Schauder. Il intervient dans la démonstration de l'existence de solutions d'équations différentielles. (fr)
|
| is dbo:wikiPageWikiLink
of | |
| is Wikipage redirect
of | |
| is prop-fr:renomméPour
of | |
| is oa:hasTarget
of | |
| is foaf:primaryTopic
of | |
| is known for
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)