In mathematics, the Bourbaki–Witt theorem in order theory, named after Nicolas Bourbaki and Ernst Witt, is a basic fixed point theorem for partially ordered sets. It states that if X is a non-empty chain complete poset, and such that for all then f has a fixed point. Such a function f is called inflationary or progressive.
| Attributes | Values |
|---|
| rdf:type
| |
| rdfs:label
| - Bourbaki–Witt theorem (en)
- ブルバキ・ヴィットの定理 (ja)
- Twierdzenie Bourbakiego-Witta o punkcie stałym (pl)
|
| rdfs:comment
| - In mathematics, the Bourbaki–Witt theorem in order theory, named after Nicolas Bourbaki and Ernst Witt, is a basic fixed point theorem for partially ordered sets. It states that if X is a non-empty chain complete poset, and such that for all then f has a fixed point. Such a function f is called inflationary or progressive. (en)
- 数学においてブルバキ・ヴィットの定理（ブルバキ・ヴィットのていり、英: Bourbaki–Witt theorem）は、半順序集合に関する基本的な不動点定理であり、ニコラ・ブルバキとエルンスト・ヴィットの名に因む。この定理は、 が空でない半順序集合であって、任意の全順序部分集合に上限が存在するとき、 f: X → X が を満たせば、f は不動点を持つことを述べている。 (ja)
- Twierdzenie Bourbakiego-Witta o punkcie stałym – twierdzenie teorii porządków mówiące, że jeżeli jest zbiorem częściowo uporządkowanym w którym każdy łańcuch ma kres górny, to każda funkcja spełniająca warunek dla każdego ma punkt stały, to znaczy istnieje taki element w zbiorze że Korzystając z twierdzenia Bourbakiego-Witta (i aksjomatu wyboru), można udowodnić twierdzenie Hausdorffa o łańcuchu maksymalnym i lemat Kuratowskiego-Zorna. Twierdzenie to udowodnili niezależnie Nicolas Bourbaki i Ernst Witt. (pl)
|
| dcterms:subject
| |
| Wikipage page ID
| |
| Wikipage revision ID
| |
| Link from a Wikipage to another Wikipage
| |
| sameAs
| |
| dbp:wikiPageUsesTemplate
| |
| has abstract
| - In mathematics, the Bourbaki–Witt theorem in order theory, named after Nicolas Bourbaki and Ernst Witt, is a basic fixed point theorem for partially ordered sets. It states that if X is a non-empty chain complete poset, and such that for all then f has a fixed point. Such a function f is called inflationary or progressive. (en)
- 数学においてブルバキ・ヴィットの定理（ブルバキ・ヴィットのていり、英: Bourbaki–Witt theorem）は、半順序集合に関する基本的な不動点定理であり、ニコラ・ブルバキとエルンスト・ヴィットの名に因む。この定理は、 が空でない半順序集合であって、任意の全順序部分集合に上限が存在するとき、 f: X → X が を満たせば、f は不動点を持つことを述べている。 (ja)
- Twierdzenie Bourbakiego-Witta o punkcie stałym – twierdzenie teorii porządków mówiące, że jeżeli jest zbiorem częściowo uporządkowanym w którym każdy łańcuch ma kres górny, to każda funkcja spełniająca warunek dla każdego ma punkt stały, to znaczy istnieje taki element w zbiorze że Korzystając z twierdzenia Bourbakiego-Witta (i aksjomatu wyboru), można udowodnić twierdzenie Hausdorffa o łańcuchu maksymalnym i lemat Kuratowskiego-Zorna. Twierdzenie to udowodnili niezależnie Nicolas Bourbaki i Ernst Witt. (pl)
|
| prov:wasDerivedFrom
| |
| page length (characters) of wiki page
| |
| foaf:isPrimaryTopicOf
| |
| is Link from a Wikipage to another Wikipage
of | |
| is Wikipage redirect
of | |
| is Wikipage disambiguates
of | |
| is known for
of | |
| is known for
of | |
| is foaf:primaryTopic
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)