Knaster–Kuratowski–Mazurkiewicz lemma
GPTKB entity
Statements (14)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:mathematical_concept
|
| gptkbp:appliesTo |
simplices
|
| gptkbp:countryOfOrigin |
gptkb:Poland
|
| gptkbp:field |
gptkb:topology
combinatorics |
| https://www.w3.org/2000/01/rdf-schema#label |
Knaster–Kuratowski–Mazurkiewicz lemma
|
| gptkbp:namedAfter |
gptkb:Kazimierz_Kuratowski
gptkb:Bronisław_Knaster gptkb:Stefan_Mazurkiewicz |
| gptkbp:usedIn |
gptkb:Brouwer_fixed-point_theorem
gptkb:Sperner's_lemma |
| gptkbp:yearProposed |
1929
|
| gptkbp:bfsParent |
gptkb:Sperner's_lemma
|
| gptkbp:bfsLayer |
7
|