| Attributes | Values |
|---|
| rdfs:label
| - Conjecture de Keller (fr)
- Keller's conjecture (en)
- Гипотеза Келлера (ru)
|
| rdfs:comment
| - En géométrie, la conjecture de Keller est la conjecture introduite par (de) en 1930 que dans tout pavage de l'espace euclidien par des hypercubes identiques, on trouve deux hypercubes qui ont une face entière en commun. Par exemple, comme illustré ci-contre, dans tout pavage du plan par des carrés identiques, il y a une paire de carrés qui ont un côté entier en commun. (fr)
|
| sameAs
| |
| Wikipage page ID
| |
| Wikipage revision ID
| |
| dbo:wikiPageWikiLink
| |
| Link from a Wikipage to an external page
| |
| page length (characters) of wiki page
| |
| dct:subject
| |
| prop-fr:wikiPageUsesTemplate
| |
| prov:wasDerivedFrom
| |
| foaf:depiction
| |
| thumbnail
| |
| foaf:isPrimaryTopicOf
| |
| named after
| |
| has abstract
| - En géométrie, la conjecture de Keller est la conjecture introduite par (de) en 1930 que dans tout pavage de l'espace euclidien par des hypercubes identiques, on trouve deux hypercubes qui ont une face entière en commun. Par exemple, comme illustré ci-contre, dans tout pavage du plan par des carrés identiques, il y a une paire de carrés qui ont un côté entier en commun. Cette conjecture de Keller a été montrée dans les dimensions inférieures ou égales à 6 par Oskar Perron en 1940. Mais pour des dimensions supérieures cette conjecture est fausse, comme montré en dimension 10 et plus par Jeffrey Lagarias et Peter Shor en 1992, puis à partir de la dimension 8 par John Mackey en 2002, via une reformulation du problème en termes de cliques de certains graphes, aujourd'hui appelés graphes de Keller. Enfin, en 2019, une preuve assistée par ordinateur d'environ 200 Go utilisant ces graphes a permis d'établir que la conjecture est vraie en dimension 7. Par conséquent, cela résout la question posée par Keller : la conjecture est vraie jusqu'en dimension 7, et fausse dans les dimensions supérieures à 7. (fr)
|
| is dbo:wikiPageWikiLink
of | |
| is Wikipage redirect
of | |
| is oa:hasTarget
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)
