Kleetop

poliedru obținut prin înlocuirea fiecărei fațete cu o piramidă relativ plată

În geometrie Kleetopul unui poliedru sau a unui politop convex P este un alt poliedru sau politop PK format prin înlocuirea fiecărei fațete a lui P cu o piramidă.[1] Denumirea vine de la Victor Klee.[2]

Tetraedrul triakis este Kleetopul unui tetraedru, octaedrul triakis este Kleetopul unui octaedru, iar icosaedrul triakis este Kleetopul unui icosaedru. În fiecare dintre aceste cazuri Kleetopul este format prin adăugarea unei piramide triunghiulare pe fiecare față a poliedrului inițial. Conway generalizează prefixul kis al lui Kepler drept operatorul „kis”.

Kleetopurile poliedrelor platonice
 
tetraedru triakis
Kleetopul tetraedrului
 
hexaedru tetrakis
Kleetopul cubului
 
octaedru triakis
Kleetopul octaedrului
 
dodecaedru pentakis
Kleetopul dodecaedrului
 
icosaedru triakis
Kleetopul icosaedrului

Hexaedrul tetrakis se formează prin adăugarea de piramide pătrate pe fețele cubului, iar dodecaedrul pentakis prin adăugarea de piramide pentagonale pe fețele dodecaedrului.

Alte Kleetopuri convexe
 
dodecaedru disdiakis
Kleetopul dodecaedrului rombic.
 
triacontaedru disdiakis
Kleetopul triacontaedrului rombic.
 
icosidodecaedru tripentakis
Kleetopul icosidodecaedrului.
 
Bipiramidele, ca bipiramida pentagonală, pot fi considerate Kleetopuri ale diedrelor respective.

Poliedrul de bază al unui Kleetop nu trebuie să fie un poliedru platonic. De exemplu, dodecaedrul disdiakis este Kleetopul dodecaedrului rombic, format prin înlocuirea fiecărei fețe rombice a dodecaedrului cu o piramidă rombică, iar triacontaedrul disdiakis este Kleetopul triacontaedrului rombic. De fapt, poliedrul de bază al unui Kleetop nu trebuie să fie tranzitiv pe fețe, așa cum se poate vedea din icosidodecaedrul tripentakis de mai sus.

Kleetopuri neconvexe, bazate pe poliedre Kepler–Poinsot
 
micul dodecaedru stelapentakis
Kleetop al micului dodecaedru stelat.
 
marele dodecaedru stelapentakis
Kleetop al marele dodecaedru stelat.
 
marele dodecaedru pentakis
Kleetop al marelui dodecaedru.
 
marele icosaedru triakis
Kleetop al marelui icosaedru.

Definiții

modificare

O metodă de a construi Kleetopul unui politop P este să se plaseze un nou vârf în afara P, lângă centroidul fiecărei fațete. Dacă toate aceste noi vârfuri sunt plasate suficient de aproape de centroizii corespunzători, atunci singurele alte vârfuri vizibile din ele vor fi vârfurile fațetelor pe care sunt definite. În acest caz, Kleetopul lui P este anvelopa convexă al reuniunii vârfurilor lui P cu mulțimea noilor vârfuri.[3]

Alternativ, un Kleetop poate fi definit de dualitate și operația sa duală, trunchiere: Kleetopul P este poliedrul dual al trunchierii dualului lui P.

Proprietăți și aplicații

modificare

Dacă P are suficiente vârfuri în raport cu dimensiunea sa, atunci Kleetop-ul lui P este dimensional fără ambiguitate: graful format din muchiile și vârfurile sale nu este graful unui poliedru sau politop diferit cu o dimensiune diferită. Mai precis, dacă numărul de vârfuri ale unui politop d-dimensional P este de cel puțin d2/2, atunci PK este lipsit de ambiguitate din punct de vedere dimensional.[1]

Dacă fiecare față i-dimensională a unui politop d-dimensional P este un simplex, iar dacă i ≤ d −2, atunci fiecare față (i+1)-dimensională a lui PK este și ea un simplex. În special, Kleetopul oricărui poliedru tridimensional este un poliedru simplicial, un poliedru în care toate fațetele sunt triunghiuri.

Kleetopurile pot fi utilizate pentru a genera poliedre care nu au niciun drum hamiltonian: orice drum prin unul dintre vârfurile adăugate prin construcția Kleetop trebuie să intre și să iasă din vârf prin vârfurile vecine din poliedrul inițial și dacă există mai multe vârfuri noi decât vârfuri înițiale, atunci nu există destui vecini pentru a merge în jur. În special în graful Goldner–Harary, Kleetopul bipiramidei triunghiulare, are șase vârfuri adăugate prin construcția Kleetop și doar cinci în bipiramida din care a fost format, deci este nehamiltonian; este cel mai simplu poliedru simplicial nehamiltonian posibil.[4] Dacă un poliedru cu n vârfuri este format prin repetarea construcției Kleetop de câteva ori, pornind de la un tetraedru, atunci cel mai lung drum are lungimea O(nlog32).[5]

Kleetopurile au, de asemenea, unele proprietăți extreme legate de gradele nodurilor: dacă fiecare muchie dintr-un graf planar este incidentă cu cel puțin alte șapte muchii, atunci trebuie să existe un vârf de grad cel mult cinci, ai cărui vecini, cu excepția unuia, au gradul 20 sau mai mult, iar Kleetopul Kleetopului icosaedrului oferă un exemplu în care vârfurile de grad înalt au gradul de exact 20.[6]

  1. ^ a b en Grünbaum (1963); Grünbaum (1967), p. 227
  2. ^ en Malkevitch, Joseph, People Making a Difference, American Mathematical Society .
  3. ^ en Grünbaum (1967), p. 217.
  4. ^ en Grünbaum (1967), p. 357; Goldner & Harary (1975).
  5. ^ en Moon & Moser (1963)
  6. ^ en Jendro'l & Madaras (2005)

Bibliografie

modificare
  • en Jendro'l, Stanislav; Madaras, Tomáš (), „Note on an existence of small degree vertices with at most one big degree neighbour in planar graphs”, Tatra Mountains Mathematical Publications, 30: 149–153, MR 2190255 
  • en Goldner, A.; Harary, Frank (), „Note on a smallest nonhamiltonian maximal planar graph”, Bull. Malaysian Math. Soc., 6 (1): 41–42 . See also the same journal 6(2):33 (1975) and 8:104-106 (1977). Reference from listing of Harary's publications
  • en Grünbaum, Branko (), „Unambiguous polyhedral graphs”, Israel Journal of Mathematics, 1 (4): 235–238, doi:10.1007/BF02759726 , MR 0185506 .
  • en Grünbaum, Branko (), Convex Polytopes, Wiley Interscience 
  • en Moon, J. W.; Moser, L. (), „Simple paths on polyhedra”, Pacific Journal of Mathematics, 13 (2): 629–631, doi:10.2140/pjm.1963.13.629 , MR 0154276 
  • en Plummer, Michael D. (), „Extending matchings in planar graphs IV”, Discrete Mathematics, 109 (1–3): 207–219, doi:10.1016/0012-365X(92)90292-N , MR 1192384