Polyhedron - Polyhedron - Wikipedia

Polyhedraga misollar
Tetrahedron.png
Muntazam tetraedr

Platonik qattiq

Kichik stellated dodecahedron.png
Kichik stellated dodecahedron

Kepler – Poinsot qattiq moddasi

Icosidodecahedron.png
Ikozidodekaedr

Arximed qattiq

Ajoyib cububoctahedron.png
Ajoyib kububoktaedr

Yagona yulduzli polyhedron

Rombik triakontahedron.png
Rombik triakontaedr

Katalancha qattiq

Olti burchakli torus.png
A toroidal ko'pburchak

Yilda geometriya, a ko'pburchak (ko‘plik) polyhedra yoki ko'pburchaklar) a uch o'lchovli shakli tekis ko'pburchak yuzlar, To'g'riga qirralar va o'tkir burchaklar yoki tepaliklar. Polyhedron so'zi kelib chiqadi Klassik yunoncha Choros, kabi ko'p (po'stlog'i, "ko'p") + -edron (rfa shakli, "tayanch" yoki "o'tiradigan joy").

A qavariq ko'pburchak bo'ladi qavariq korpus Hammasi bir tekislikda emas, balki juda ko'p nuqtalarning.Kublar va piramidalar qavariq poliedraning namunalari.

Polihedr - bu umumiyroqlikning 3 o'lchovli misoli politop har qanday o'lchamdagi.

Ta'rif

Suyak poliedrasi (xususan, a rombikuboktaedr ) tomonidan chizilgan Leonardo da Vinchi tomonidan kitobni tasvirlash uchun Luca Pacioli

Qavariq poliedra bir nechta ekvivalent standart ta'riflari bilan aniq belgilangan. Biroq, ko'pburchakning qavariq bo'lishi talab qilinmaydigan rasmiy matematik ta'rifi muammoli bo'lib chiqdi. "Polyhedron" ning ko'pgina ta'riflari ma'lum sharoitlarda berilgan,[1] ba'zilari boshqalarga qaraganda qat'iyroq va ularning qaysi birini tanlash bo'yicha umumiy kelishuv mavjud emas.Bu ta'riflarning ba'zilari ko'pincha ko'pburchak (masalan, o'z-o'zini kesib o'tuvchi polyhedra ) yoki ko'pincha ko'p qirrali deb hisoblanmaydigan shakllar (masalan, chegaralari bo'lmagan qattiq moddalar kabi) manifoldlar ). Sifatida Branko Grünbaum kuzatilgan,

"Polyhedra nazariyasidagi asl gunoh Evklidga borib taqaladi va Kepler, Pinsot, Koshi va boshqalar orqali ... har bir bosqichda ... yozuvchilar ko'pburchak nima ekanligini aniqlay olmadilar".[2]

Shunga qaramay, ko'pburchak qattiq yoki sirt bilan ifodalanishi mumkin bo'lgan sirt degan umumiy kelishuv mavjud tepaliklar (burchak nuqtalari), qirralar (ba'zi juft tepaliklarni bog'laydigan chiziq segmentlari),yuzlar (ikki o'lchovli ko'pburchaklar ) va ba'zida ma'lum bir uch o'lchovli ichki makonga ega deb aytish mumkin hajmi.Ushbu turli xil ta'riflar orasida ko'pburchakni qattiq narsa deb ta'riflashlariga, uni sirt sifatida tavsiflashlariga yoki ularning asosida mavhumroq tasvirlanishlariga qarab farqlash mumkin. tushish geometriyasi.[3]

  • Polihedrning keng tarqalgan va bir qadar sodda ta'rifi shundaki, bu qattiqlik bo'lib, uning chegarasi juda ko'p tekisliklar bilan qoplanishi mumkin.[4][5] yoki u juda ko'p konveks ko'pburchakning birlashishi sifatida hosil bo'lgan qattiq moddadir.[6] Ushbu ta'rifning tabiiy yaxshilanishi qattiqning chegaralanganligini, ichki qismning bir-biriga bog'langanligini va ehtimol, bir-biriga bog'langan chegaraning bo'lishini talab qiladi. Bunday ko'pburchakning yuzlarini quyidagicha aniqlash mumkin ulangan komponentlar har bir tekislik ichidagi chegara qismlarining va qirralarning va tepaliklarning chiziq segmentlari va yuzlar to'qnashgan joylari sifatida. Shu bilan birga, shu tarzda aniqlangan ko'p qirrali yuzlar shakllanmasligi mumkin bo'lgan o'z-o'zini kesib o'tuvchi yulduzli ko'pburchakni o'z ichiga olmaydi oddiy ko'pburchaklar va ularning ayrim qirralari ikkitadan ortiq yuzga tegishli bo'lishi mumkin.[7]
  • Qattiq emas, balki cheklovchi sirt g'oyasiga asoslangan ta'riflar ham keng tarqalgan.[8] Masalan; misol uchun, O'Rourke (1993) ko'pburchakni birlashma sifatida belgilaydi qavariq ko'pburchaklar (uning yuzlari), har qanday ikkita ko'pburchakning kesishishi umumiy vertex yoki chekka yoki bo'sh to'plam va shuning uchun ularning birlashishi a ko'p qirrali.[9] Agar bunday sirtning tekis qismi o'zi qavariq ko'pburchak bo'lmasa, O'Rourke uni tekis, kichikroq qavariq ko'pburchaklarga bo'lishni talab qiladi. dihedral burchaklar ular orasida. Odatda, Grünbaum an akoptik ko'pburchak har bir tepalik kamida uchta qirraga tushgan va har ikkala yuz faqat har birining umumiy tepalari va qirralarida kesishgan holda, o'rnatilgan ko'p qirrali shakllanadigan oddiy ko'pburchaklar to'plami.[10] Kromvelniki Polyhedra shunga o'xshash ta'rif beradi, lekin bitta tepada kamida uchta chekka cheklanmagan. Shunga qaramay, ushbu turdagi ta'rif o'z-o'zidan o'tadigan ko'pburchakni o'z ichiga olmaydi.[11] Shunga o'xshash tushunchalar, ko'p qirrali topologik ta'riflarning asosini topologik manifoldning bo'linmalari sifatida tashkil etadi topologik disklar (yuzlar) juftlik bilan kesishishi nuqta (tepalar), topologik yoylar (qirralar) yoki bo'sh to'plam bo'lishi kerak. Biroq, topopolihedra mavjud (hatto yuzning uchburchaklarida ham), ularni akoptik polidraga aylantirib bo'lmaydi.[12]
  • Zamonaviy yondashuvlardan biri nazariyasiga asoslanadi mavhum polyhedra. Buni quyidagicha aniqlash mumkin qisman buyurtma qilingan to'plamlar uning elementlari ko'pburchakning tepalari, qirralari va yuzlari. Agar vertex yoki chekka element chekka yoki yuzning bir qismi bo'lsa, chekka yoki yuz elementidan kamroq (bu qisman tartibda). Bundan tashqari, ushbu qismning maxsus pastki elementi (bo'sh to'plamni ifodalaydi) va butun ko'pburchakni aks ettiruvchi yuqori elementni o'z ichiga olishi mumkin. Agar uch darajadagi elementlar orasidagi qisman tartib bo'limlari (ya'ni har bir yuz bilan pastki element o'rtasida va yuqori element bilan har bir tepa o'rtasida) ko'pburchakning mavhum tasviri bilan bir xil tuzilishga ega bo'lsa, unda bu qisman tartiblangan to'plamlar topologik ko'pburchak bilan bir xil ma'lumotlarni olib yurish. Biroq, bu talablar tez-tez yumshatiladi, buning o'rniga faqat ikkita darajadagi elementlar orasidagi qismlar chiziq segmentining mavhum tasviri bilan bir xil tuzilishga ega bo'lishi kerak.[13] (Bu shuni anglatadiki, har bir qirrada ikkita tepalik bor va ikki yuzga tegishli, va yuzdagi har bir tepa shu yuzning ikkita chetiga tegishlidir.) Boshqa usullar bilan aniqlangan geometrik poliedrani shu tarzda mavhum tasvirlash mumkin, ammo bu geometrik poliedraning ta'rifiga asos sifatida mavhum polidradan foydalanish mumkin. A amalga oshirish mavhum poliedronning odatda, har bir yuzning nuqtalari bir tekis bo'ladigan qilib, mavhum ko'pburchak tepalaridan geometrik nuqtalarga xaritalash sifatida qabul qilinadi. Keyinchalik geometrik ko'pburchak mavhum ko'pburchakni amalga oshirish deb ta'riflanishi mumkin.[14] Planaritatsiyani talab qilmaydigan, simmetriyaga qo'shimcha talablarni qo'yadigan yoki tepaliklarni yuqori o'lchovli bo'shliqlarga tushiradigan tushunchalar ham ko'rib chiqildi.[13] Qattiq asosli va sirtga asoslangan ta'riflardan farqli o'laroq, bu yulduz ko'pburchagi uchun juda yaxshi ishlaydi. Biroq, qo'shimcha cheklovlarsiz ushbu ta'rifga imkon beradi buzilib ketgan yoki sadoqatsiz ko'pburchak (masalan, barcha tepaliklarni bitta nuqtaga tushirish orqali) va bu degeneratlarning oldini olish uchun amalga oshirishni qanday cheklash kerakligi masalasi hal qilinmagan.

Ushbu ta'riflarning barchasida ko'pburchak odatda umumiyroqning uch o'lchovli misoli sifatida tushuniladi politop har qanday o'lchamdagi. Masalan, ko'pburchak ikki o'lchovli tanaga ega va yuzlari yo'q, a 4-politop to'rt o'lchovli tanaga va uch o'lchovli "hujayralar" ning qo'shimcha to'plamiga ega .Lekin yuqori o'lchovli geometriya bo'yicha ba'zi adabiyotlarda "ko'p qirrali" atamasi boshqa narsani anglatadi: uch o'lchovli politop emas, balki shakl. bu politopdan biron bir tarzda farq qiladi. Masalan, ba'zi manbalarda konveks ko'pburchagi juda ko'p sonli chorrahalar deb belgilanadi yarim bo'shliqlar va politop chegaralangan ko'pburchak bo'lishi kerak.[15][16] Ushbu maqolaning qolgan qismida faqat uch o'lchovli polyhedra ko'rib chiqiladi.

Xususiyatlari

Yuzlar soni

Polyhedra tasniflanishi mumkin va ko'pincha yuzlar soniga qarab nomlanadi. Nomlash tizimi, masalan, klassik yunon tiliga asoslangan tetraedr (to'rt yuzli ko'pburchak), pentaedr (beshta yuz), geksaedr (olti yuz), triakontaedr (30 yuz) va boshqalar.

Yunoncha raqamli prefikslarning to'liq ro'yxati uchun qarang Raqamli prefiks § Ingliz tilidagi sonli prefikslar jadvali, yunoncha kardinal raqamlar uchun ustunda.

Topologik tasnif

O'z-o'zidan kesishgan ko'pburchak Klein shishasi to'rtburchak yuzlari bilan

Ba'zi ko'p qirrali yuzalarning ikkita alohida tomoni bor. Masalan, a ning ichki va tashqi tomonlari qavariq ko'pburchak qog'oz modeliga har xil rang berilishi mumkin (garchi ichki rang ko'zdan yashiringan bo'lsa ham). Ushbu ko'p qirrali narsalar yo'naltirilgan. Xuddi shu narsa o'z-o'zini kesib o'tmasdan konveks bo'lmagan polyhedra uchun ham amal qiladi. Qavariq bo'lmagan o'z-o'zini kesib o'tuvchi ko'pburchak xuddi shu tarzda ranglanishi mumkin, lekin ikkala rang ham tashqi tomondan har xil ko'rinishda bo'lishi uchun mintaqalar "ichkariga" o'girilgan; bular hanuzgacha yo'naltirilgan deb hisoblanadi. Biroq, oddiy ko'pburchak yuzlari bo'lgan boshqa o'z-o'zini kesib o'tuvchi polyhedra uchun, masalan tetrahemiheksaedr, qo'shni yuzlar bir xil rangga ega bo'lishi uchun har bir yuzning ikki tomonini ikki xil rang bilan bo'yash mumkin emas.Bu holda ko'p qirrali yo'naltirilmagan deb aytiladi. Yuzlari o'zaro to'qnashgan polyhedra uchun qo'shni yuzlarning doimiy ravishda ranglanishi nimani anglatishi aniq bo'lmasligi mumkin, ammo bu ko'p qirrali narsalar uchun topologiyani hisobga olgan holda uning yo'naltirilgan yoki yo'naltirilmaganligini aniqlash mumkin hujayra kompleksi uning tepalari, qirralari va yuzlari orasidagi bir xil hodisalar bilan.

Ko'p qirrali yuzalar orasidagi aniqroq farq ular tomonidan berilgan Eyler xarakteristikasi, bu tepaliklar sonlarini birlashtiradi , qirralar va yuzlar ko'pburchakni bitta raqamga aylantirish formula bilan belgilanadi

Xuddi shu formuladan boshqa turdagi topologik sirtlarga xos Eyler xarakteristikasi uchun ham foydalaniladi. Bu sirtning o'zgarmasligidir, ya'ni bitta sirtni vertikallarga, qirralarga va yuzlarga bir nechta usul bilan ajratganda, Eyler xarakteristikasi ushbu bo'linmalar uchun bir xil bo'ladi. Qavariq ko'pburchak yoki umuman olganda topologik shar yuzasiga ega bo'lgan har qanday oddiy bog'langan ko'pburchak uchun u har doim 2 ga teng.[17] Keyinchalik murakkab shakllar uchun Eyler xarakteristikasi soni bilan bog'liq toroidal teshiklari, tutqichlari yoki qalpoqchalar yuzasida va 2 dan kam bo'ladi.[18] Eulerning toq sonli xarakteristikasi bo'lgan barcha ko'p qirrali yo'naltirilmaydi. Hatto Eyler xarakteristikasi berilgan berilgan yo'naltirilishi mumkin yoki bo'lmasligi mumkin. Masalan, bitta teshikli toroid va Klein shishasi ikkalasida ham bor , birinchisi yo'naltirilgan, ikkinchisi esa yo'q.

Polihedrani aniqlashning ko'p (lekin hammasi emas) usullari uchun ko'p qirrali yuzaning a bo'lishi talab qilinadi ko'p qirrali. Bu shuni anglatadiki, har bir chekka aynan ikkita yuz chegarasining bir qismidir (ikkala kubning birlashishi kabi shakllarni taqsimlash, faqat birgalikda qirrada uchrashadigan) va har bir tepalik qirralarning va yuzlarning bitta o'zgaruvchan tsikliga (masalan, shakllarni taqiqlash) to'g'ri keladi. faqat bitta vertexni bo'lishadigan ikkita kubning birlashishi). Ushbu usullarda aniqlangan ko'pburchak uchun manifoldlarning tasnifi sirtning topologik turi uning Eyler xarakteristikasi va yo'naltirilganligi kombinatsiyasi bilan to'liq aniqlanishini nazarda tutadi. Masalan, yuzasi yo'naltiriladigan ko'p qirrali va Eyler xarakteristikasi 2 bo'lgan har bir ko'pburchak topologik soha bo'lishi kerak.

A toroidal ko'pburchak bu ko'pburchakdir Eyler xarakteristikasi 0 dan kichik yoki teng, yoki kimga teng tur 1 yoki undan katta. Topologik jihatdan, bunday ko'p qirrali yuzalar torus o'rtada bir yoki bir nechta teshiklari bo'lgan sirtlar.

Ikkilik

Oktaedr kubga ikkilangan

Har bir qavariq ko'pburchak uchun ikki tomonlama ko'pburchak mavjud

  • asl nusxa tepalari o'rniga yuzlar va aksincha, va
  • bir xil sonli qirralar.

Qavariq ko'pburchakning ikkilamchi jarayonini olish mumkin qutbli qaytarish.[19] Dual polyhedra juft bo'lib mavjud bo'lib, dual dual yana asl polyhedron. Ba'zi ko'p qirrali o'z-o'zini dual, ya'ni ko'p qirrali ikkilamchi asl ko'pburchakka mos keladi.[20]

Abstrakt poliedrada duallar ham mavjud bo'lib, ular o'zlarining Eylerning o'ziga xos xususiyati va yo'naltirilganligi bilan boshlang'ich poliedrga o'xshashligini qondirishadi. Biroq, ikkilikning bu shakli ikki tomonlama ko'pburchak shaklini tavsiflamaydi, faqat uning kombinatorial tuzilishini bildiradi. Qavariq bo'lmagan geometrik ko'pburchakning ba'zi ta'riflari uchun mavhum ikkiliklari bir xil ta'rif ostida geometrik ko'pburchak sifatida amalga oshirib bo'lmaydigan ko'p qirrali mavjud.

Vertex raqamlari

Har bir tepalik uchun $ a $ belgilanishi mumkin tepalik shakli, vertex atrofidagi ko'pburchakning mahalliy tuzilishini tavsiflaydi. Aniq ta'riflar har xil, ammo vertex figurasini ko'pburchak, ko'pburchak orqali kesilgan burchakni kesib tashlagan joy deb o'ylash mumkin.[8] Agar tepalik figurasi a bo'lsa muntazam ko'pburchak, keyin tepalikning o'zi muntazam deb aytiladi.

Tovush

Ko'p qirrali qattiq moddalar bog'langan miqdorga ega hajmi bu ularning qancha joy egallashini o'lchaydi. Qattiq jismlarning oddiy oilalari ularning hajmlari uchun oddiy formulalarga ega bo'lishi mumkin; masalan, piramidalar, prizmalar va parallelepipedlar ularning chekka uzunliklari yoki boshqa koordinatalari bilan osongina ifodalanishi mumkin. (Qarang Jild § Jild formulalari ushbu formulalarning ko'pini o'z ichiga olgan ro'yxat uchun.)

Keyinchalik murakkab ko'pburchak hajmlari oddiy formulalarga ega bo'lmasligi mumkin. Bunday polyhedraning hajmlari polyhedronni kichik qismlarga bo'lish yo'li bilan hisoblab chiqilishi mumkin (masalan, tomonidan uchburchak ). Masalan, oddiy ko'pburchakning hajmi uni muvofiqlashuvga bo'lish orqali hisoblash mumkin piramidalar, har bir piramidaning asosi ko'pburchakning yuzi va tepalik sifatida ko'pburchakning markaziga ega.

Umuman olganda, dan kelib chiqishi mumkin divergensiya teoremasi ko'p qirrali qattiq jismning hajmi quyidagicha berilganbu erda summa yuzlar ustiga F ko'pburchak, QF yuzidagi ixtiyoriy nuqta F, NF bo'ladi birlik vektori ga perpendikulyar F qattiqning tashqarisiga ishora qiladi va ko'paytirish nuqtasi bu nuqta mahsuloti.[21] Yuqori o'lchamlarda hajmni hisoblash qisman faqat tepaliklari bilan ko'rsatilgan qavariq ko'pburchak yuzlarini ro'yxatlash qiyinligi sababli qiyin bo'lishi mumkin va ixtisoslashgan mavjud algoritmlar ushbu holatlarda hajmni aniqlash.[22]

Dehn o'zgarmas

Ikki o'lchovda Bolyay - Gervien teoremasi har qanday ko'pburchak shu sohadagi boshqa har qanday ko'pburchakka aylanishi mumkinligini tasdiqlaydi uni juda ko'p qirrali qismlarga ajratish va ularni qayta tartibga solish. Polyhedra uchun o'xshash savol mavzusi edi Hilbertning uchinchi muammosi. Maks Dehn bu muammoni, 2-o'lchovli holatdan farqli o'laroq, kichikroq ko'p qirrali qismlarga ajratib bo'lmaydigan va bir-biriga qayta o'rnatib bo'lmaydigan bir xil hajmdagi ko'p qirrali mavjudligini ko'rsatib hal qildi. Buni isbotlash uchun Dehn ko'p qirrali bilan bog'liq yana bir qiymatni topdi Dehn o'zgarmas, shunday qilib ikkita ko'p qirrali bir xil hajmda va bir xil Dehn o'zgarmas bo'lganda bir-birlariga bo'linishi mumkin. Keyinchalik bu Sidler tomonidan dissektsiya uchun yagona to'siq ekanligi isbotlangan: bir xil hajmdagi va Dehn invariantlariga ega bo'lgan har ikki Evklid poliedrasi kesilib, bir-biriga qayta o'rnatilishi mumkin.[23] Dehn o'zgarmasligi raqam emas, balki a vektor cheksiz o'lchovli vektor makonida.[24]

Hilbertning yana bir muammolari, Hilbertning 18-muammosi, tashvish (boshqa narsalar qatori) ko'p qirrali plitka maydoni. Har bir bunday ko'pburchak Dehn o'zgarmas nolga ega bo'lishi kerak.[25] Dehn invariant ham ulangan moslashuvchan polyhedra har qanday egiluvchan ko'pburchakning Dehn o'zgaruvchanligi egilayotganda o'zgarmas bo'lib qoladi degan kuchli tebranish teoremasi bilan.[26]

Qavariq poliedra

Qavariq ko'pburchak bloklari Universum muzeyi Mexiko shahrida

Uch o'lchovli qattiq narsa a qavariq o'rnatilgan agar u ikkita nuqtani birlashtirgan har bir chiziq segmentini o'z ichiga olsa. A qavariq ko'pburchak qattiq moddasi sifatida konveks to'plamini hosil qiladigan ko'pburchakdir. Qavariq poliedrni a sifatida ham aniqlash mumkin chegaralangan juda ko'p sonli chorrahalar yarim bo'shliqlar, yoki sifatida qavariq korpus ko'p sonli fikrlar.

Qavariq poliedraning muhim sinflari yuqori nosimmetriklikni o'z ichiga oladi Platonik qattiq moddalar, Arximed qattiq moddalari va ularning duallari Kataloniya qattiq moddalari va muntazam yuzli Jonson qattiq moddalari.

Nosimmetrikliklar

Nosimmetrik o'q atrofida aylanadigan ba'zi ko'p qirrali (da Matemateca IME-USP )

Ko'p o'rganilgan polyhedralarning ko'pi yuqori darajada nosimmetrik, ya'ni ularning ko'rinishi kosmosning bir oz aks etishi yoki aylanishi bilan o'zgarmaydi. Har bir bunday simmetriya ma'lum bir tepalik, yuz yoki qirralarning joylashishini o'zgartirishi mumkin, ammo barcha tepaliklarning to'plami (xuddi shunday yuzlar, qirralar) o'zgarmaydi. Polihedrning simmetriya to'plami uning deyiladi simmetriya guruhi.

Nosimmetrikliklar yordamida bir-biriga joylashtirilishi mumkin bo'lgan barcha elementlar a hosil qiladi deyiladi simmetriya orbitasi. Masalan, kubning barcha yuzlari bir orbitada, barcha qirralari boshqasida yotadi. Agar berilgan o'lchamdagi barcha elementlar, masalan, barcha yuzlar, bir xil orbitada yotsa, bu raqam bu orbitada tranzitiv deyiladi. Masalan, kub yuzga o'tuvchi, kesilgan kub yuzlarning ikki simmetriya orbitasiga ega.

Xuddi shu mavhum tuzilish ko'p yoki kamroq nosimmetrik geometrik ko'pburchakni qo'llab-quvvatlashi mumkin. Ammo ko'pburchak ism berilgan joyda, masalan ikosidodekaedr, agar boshqacha ko'rsatilmagan bo'lsa, deyarli har doim eng nosimmetrik geometriya nazarda tutiladi.[iqtibos kerak ]

Yuzlari, qirralari yoki tepalari - bitta simmetriya orbitasiga tegishli bo'lgan yuqori nosimmetrik ko'pburchakning bir nechta turlari mavjud:

  • Muntazam: vertex-tranzitiv, chekka-o'tish va yuzga o'tish. (Bu shuni anglatadiki, har bir yuz bir xil bo'ladi muntazam ko'pburchak; shuningdek, har bir tepalik muntazam ekanligini anglatadi.)
  • Yarim muntazam: vertex-tranzitiv va chekka-tranzitivivativ (va shuning uchun muntazam yuzlari bor), lekin yuzma-tranzitiv emas. Yarim muntazam dual - yuzma-o'tish va chekka-o'tish (va shuning uchun har bir tepalik muntazam), ammo vertex-tranzitiv emas.
  • Yarim muntazam: vertex-tranzitiv, lekin chekka emas, va har bir yuz muntazam ko'pburchakdir. (Bu muallifga qarab atamaning bir nechta ta'riflaridan biridir. Ba'zi ta'riflar kvaziyart sinfiga to'g'ri keladi.) Ushbu ko'p qirrali semiregularga kiradi prizmalar va antiprizmalar. Yarim muntazam dual yuzma-o'tish, lekin vertex-tranzitiv emas va har bir tepalik muntazamdir.
  • Bir xil: vertex-transitive va har bir yuz muntazam ko'pburchakdir, ya'ni u muntazam, yarim muntazam yoki yarim muntazamdir. Yagona dual yuzga o'tish va muntazam tepaliklarga ega, ammo vertex-tranzitiv bo'lishi shart emas.
  • Isogonal: vertex-tranzitiv.
  • Izotoksal: chekka-o'tish.
  • Isohedral: yuzma-o'tish.
  • Noble: yuzma-o'tish va vertex-tranzitiv (lekin chekka-o'tish shart emas). Oddiy polyhedra ham olijanobdir; ular yagona olijanob bir xil polyhedra. Asil polyhedraning ikkiliklari o'zlari olijanobdir.

Polyhedraning ayrim sinflari faqat bitta asosiy simmetriya o'qiga ega. Ular orasida piramidalar, bipiramidalar, trapezoedra, kupe, shuningdek yarim semir prizmalar va antiprizmalar.

Muntazam polyhedra

Muntazam polyhedra eng yuqori nosimmetrikdir. Hammasi bo'lib to'qqizta oddiy ko'pburchak bor: beshta qavariq va to'rt yulduzli ko'pburchak.

Qavariq beshta misol qadim zamonlardan beri ma'lum bo'lgan va ular deb nomlangan Platonik qattiq moddalar. Bu uchburchak piramida yoki tetraedr, kub, oktaedr, dodekaedr va ikosaedr:

Tetrahedron.jpgHexahedron.jpgOctahedron.jpgDodecahedron.jpgIcosahedron.jpg

Deb nomlanuvchi to'rtta muntazam yulduzli polyhedra ham mavjud Kepler-Poinsot ko'p qirrali ularning kashfiyotchilaridan keyin.

Muntazam ko'pburchakning duali ham muntazamdir.

Uniform polyhedra va ularning duallari

Yagona polyhedra vertex-tranzitiv va har bir yuz a muntazam ko'pburchak.Ularga bo'linishi mumkin muntazam, yarim muntazam, yoki yarim muntazam, va konveks yoki yulduzcha bo'lishi mumkin.

Bir hil polyhedraning duallari yuzlari notekis, ammo shunday yuzma-o'tish va har bir tepalik shakli muntazam ko'pburchakdir. Yagona ko'pburchak simmetriya orbitasida ikkitomonlama bo'lib, yuzlari va tepalari shunchaki almashtirilgan. Qavariq Arximed polihedrasining ikkiliklari ba'zan Kataloniya qattiq moddalari.

Yagona ko'pburchak va ularning ikkiliklari an'anaviy ravishda simmetriya darajasiga va ular bo'ladimi-yo'qligiga qarab tasniflanadi qavariq yoki yo'qmi.

Qavariq formaQavariq bir xil dualYulduz formasiYulduz formasi dual
MuntazamPlatonik qattiq moddalarKepler-Poinsot ko'p qirrali
QuasiregularArximed qattiq moddalariKataloniya qattiq moddalariYagona yulduzli ko'pburchak
Semiregular
PrizmalarBipiramidalarYulduzli prizmalarYulduzli bipiramidalar
AntiprizmalarTrapezoedraYulduzli antiprizmalarYulduzli trapezoedra

Isohedra

An izoedr yuzlarida tranzitiv ta'sir ko'rsatadigan simmetriya bo'lgan ko'pburchak. Ularning topologiyasini a bilan ifodalash mumkin yuz konfiguratsiyasi. Hammasi 5 Platonik qattiq moddalar va 13 Kataloniya qattiq moddalari izoedralar, shuningdek cheksiz oilalardir trapezoedra va bipiramidalar. Ba'zi izoedralar geometrik o'zgarishlarga, shu jumladan konkav va o'zaro kesishgan shakllarga imkon beradi.

Simmetriya guruhlari

To'liq ikosahedral simmetriya sharni 120 ta uchburchak domenlarga ajratadi.

Ko'p simmetriya yoki uchta o'lchamdagi nuqta guruhlari bog'liq simmetriyaga ega bo'lgan polyhedra nomi bilan ataladi. Bunga quyidagilar kiradi:

Bilan birga bo'lganlar chiral simmetriya yo'q aks ettirish simmetriyasi va shuning uchun bir-birining aksi bo'lgan ikkita enantiomorf shakl mavjud. Bunga misollar kuboktaedr va ikosidodekaedr.

Polyhedraning boshqa muhim oilalari

Muntazam yuzlari bo'lgan polyhedra

Muntazam va bir xil polyhedradan tashqari, yuzlari muntazam, ammo umumiy simmetriyasi pastroq bo'lgan boshqa sinflar mavjud.

Teng muntazam yuzlar

Har bir yuz bir xil muntazam ko'pburchakka ega bo'lgan qavariq poliedrani uchta oila orasida uchratish mumkin:

  • Uchburchaklar: Ushbu polyhedra deyiladi deltahedra. Sakkizta qavariq deltahedr mavjud: Platonik qattiq moddalarning uchtasi va beshta bir xil bo'lmagan misollar.
  • Kvadratchalar: kub - bu yagona qavariq misol. Boshqa misollar ( polikublar ) kublarni birlashtirib olish mumkin, ammo agar ehtiyot bo'lish kerak bo'lsa qo'shma plan yuzlardan qochish kerak.
  • Pentagonlar: oddiy dodekaedr yagona qavariq misoldir.

Olti va undan ortiq tomonning muntazam yuzlari mos keladigan poliedraning barchasi konveks emas.

To'g'ri muntazam yuzlari bo'lgan qavariq ko'pburchaklarning umumiy soni o'ntaga teng: beshta Platonik qattiq moddalar va beshta bir xil bo'lmagan deltahedralar.[27] Konveks bo'lmagan misollar juda ko'p. Cheksiz shimgichga o'xshash misollar chaqirildi cheksiz skew polyhedra ushbu oilalarning ayrimlarida mavjud.

Jonson qattiq moddalari

Norman Jonson Qaysi qavariq bir xil bo'lmagan poliedraning yuzlari muntazam bo'lishini qidirdi, garchi ularning hammasi ham bir xil emas. 1966 yilda u 92 ta shunday qattiq moddalarning ro'yxatini e'lon qildi, ularga ism va raqamlarni berdi va boshqalar yo'q deb taxmin qildi. Viktor Zalgaller 1969 yilda bularning ro'yxati isbotlangan Jonson qattiq moddalari to'liq edi.

Piramidalar

Piramidalar orasida eng ko'p tanilgan va to'rtburchak kabi barcha ko'p qirrali narsalardan eng mashhurlari bor Misr piramidalari.

Burjlar va yuzlar

Ko'pburchak yulduzchasi - bu yuzlarni (o'z tekisliklari ichida) kengaytirib, yangi ko'p qirrali shakllanish uchun uchrashishdir.

Bu aniq o'zaro[tushuntirish kerak ] ko'p qirrali qismlarni yangi vertikallar yaratmasdan olib tashlash jarayoni bo'lgan fasetlash jarayoniga.

Quyidagi rasmlarda oddiy oktaedr, dodekaedr va ikosaedrning ba'zi yulduz turkumlari ko'rsatilgan.

Octahedron.png birinchi yulduz turkumiDodecahedron.png birinchi yulduz turkumiDodecahedron.png ikkinchi yulduz turkumiDodecahedron.png uchinchi yulduz turkumiIcosahedron.png o'n oltinchi yulduz turkumiIcosahedron.png birinchi yulduz turkumiIcosahedron.png o'n ettinchi yulduz turkumi

Zonohedra

Zonoedron - bu har qanday yuz a bo'lgan qavariq ko'pburchak ko'pburchak nosimmetrik aylanishlar 180 ° gacha. Zonohedra ni quyidagicha tavsiflash mumkin Minkovskiy summalari qator segmentlarini o'z ichiga oladi va bir nechta muhim bo'shliqni to'ldiradigan ko'pburchakni o'z ichiga oladi.[28]

Joyni to'ldiradigan polyhedra

Joyni to'ldirish uchun bo'sh joyni to'ldiradigan ko'pburchak paketlar. Bunday yaqin o'rash yoki kosmosga to'ldirish ko'pincha kosmik tessellation yoki ko'plab chuqurchalar deb ataladi. Bo'sh joyni to'ldiruvchi polyhedrada a bo'lishi kerak Dehn o'zgarmas nolga teng. Ba'zi chuqurchalar bir nechta poliedrni o'z ichiga oladi.

Panjarali polyhedra

Barcha tepaliklar butun son koordinatalariga ega bo'lgan qavariq ko'pburchakka a deyiladi panjarali polyhedron yoki integral ko'pburchak. Tarmoqli polidronning Erhart polinomi qancha nuqta bilan hisoblangan tamsayı koordinatalar ko'lamli koeffitsient sifatida, ko'pburchakning masshtabli nusxasida joylashgan. Ushbu polinomlarni o'rganish chorrahada yotadi kombinatorika va komutativ algebra.[29]

Moslashuvchan polyhedra

Ba'zi bir polyhedra qirralarining burchaklarini o'zgartirib, yuzlarining shakllarini bir xil ushlab turganda, umumiy shakllarini o'zgartirishi mumkin. Buni qila oladigan ko'pburchak egiluvchan ko'pburchak deb ataladi. By Koshining qat'iylik teoremasi, egiluvchan polyhedra konveks bo'lmasligi kerak. Moslashuvchan ko'pburchakning hajmi egilayotganda doimiy bo'lib qolishi kerak; bu natija tebranish teoremasi sifatida tanilgan.[30]

Murakkab moddalar

Ko'p qirrali birikma umumiy markazni taqsimlaydigan ikki yoki undan ortiq polyhedradan tayyorlanadi. Nosimmetrik birikmalar ko'pincha boshqa taniqli ko'p qirrali tepaliklar bilan bir xil bo'ladi va ko'pincha yulduzcha yordamida hosil bo'lishi mumkin. Ba'zilar Wenninger polyhedron modellari ro'yxati.

Ortogonal ko'pburchak

Ortogonal ko'pburchak - bu ularning yuzlari to'qnashgan narsadir to'g'ri burchaklar va ularning barcha qirralari dekart koordinatalar tizimining o'qlariga parallel. (Jessenning ikosaedri polyhedronga misol keltiradi, lekin ikkala shart ham emas.) Chetga to'rtburchaklar qutilar, ortogonal ko'pburchak qavariq bo'lmagan. Ular, shuningdek, ma'lum bo'lgan 2D ortogonal ko'pburchaklarning 3D analoglari to‘g‘ri chiziqli ko‘pburchaklar. Ortogonal polyhedra ishlatiladi hisoblash geometriyasi Bu erda ularning cheklangan tuzilishi o'zboshimchalik bilan ko'pburchak uchun hal qilinmagan muammolarni hal qilishga imkon berdi, masalan, ko'p qirrali yuzani ko'pburchakli to'r.[31]

Polyhedraning umumlashtirilishi

"Polyhedron" nomi an'anaviy polyhedraga o'xshash strukturaviy xususiyatlarga ega bo'lgan turli xil ob'ektlar uchun ishlatila boshlandi.

Apeyrohedra

Klassik ko'p qirrali yuzada cheklangan sonli yuzlar mavjud bo'lib, ular qirralarning bo'ylab juft bo'lib birlashtirilgan. The apeirohedra cheksiz ko'p yuzlari bilan bog'liq bo'lgan ob'ektlar sinfini shakllantirish. Apeirohedra misollariga quyidagilar kiradi:

Murakkab polyhedra

Murakkab polyhedra deb nomlangan narsalar mavjud, ular uchun asosiy bo'shliq a murakkab Hilbert maydoni haqiqiy Evklid makonidan ko'ra. Aniq ta'riflar faqat simmetriya guruhlari bo'lgan muntazam kompleks ko'pburchak uchun mavjud murakkab aks ettirish guruhlari. Murakkab polyhedra matematik jihatdan yanada yaqinroqdir konfiguratsiyalar haqiqiy polyhedraga qaraganda.[32]

Egri poliedra

Ba'zi tadqiqot sohalari ko'p qirrali yuzlar va qirralarning egri bo'lishiga imkon beradi. Egri yuzlar imkon berishi mumkin digonal ijobiy maydonga ega bo'lish uchun yuzlar.

Sharsimon polyhedra

Sfera yuzasi ko'p sonli bo'linishda katta yoylar (teng ravishda, sharning markazidan o'tuvchi tekisliklar orqali), natija sharsimon ko'pburchak deb ataladi. Bir daraja simmetriyaga ega bo'lgan ko'plab qavariq politoplar (masalan, barcha Platonik qattiq jismlar) kontsentrik sfera yuzasiga proyeksiyalanib, sferik ko'pburchak hosil qilishlari mumkin. Biroq, teskari jarayon har doim ham mumkin emas; ba'zi bir sferik polyhedra (masalan hosohedra ) tekis yuzli analogga ega emas.[33]

Egri kosmik to'lg'azish ko'pburchagi

Agar yuzlar konkav bilan bir qatorda konveksga ham ruxsat berilsa, qo'shni yuzlar bo'shliqsiz birlashishi mumkin. Ushbu kavisli polyhedralarning ba'zilari bo'sh joyni to'ldirish uchun birlashtirilishi mumkin. Ikkita muhim turlari:

Ideal polyhedra

Qavariq ko'p qirrali uch o'lchovli aniqlanishi mumkin giperbolik bo'shliq Evklid kosmosidagi kabi, xuddi qavariq korpuslar cheklangan nuqtalar to'plami.Lekin, giperbolik bo'shliqda, shuningdek, ko'rib chiqish mumkin ideal fikrlar shuningdek, bo'shliq ichida joylashgan nuqtalar. An ideal ko'pburchak bu cheklangan ideal nuqtalar to'plamining qavariq tanasi. Uning yuzlari ideal ko'pburchaklardir, lekin uning qirralari chiziq segmentlari bilan emas, balki butun giperbolik chiziqlar bilan aniqlanadi va uning tepalari (u qavariq tanasi bo'lgan ideal nuqtalari) giperbolik bo'shliqda yotmaydi.

Grafik sifatida skeletlari va ko'p qirrali

Yuz tuzilishini unutib, har qanday poliedr a ga olib keladi grafik, uni chaqirdi skelet, tegishli tepaliklar va qirralar bilan. Bunday raqamlar uzoq tarixga ega: Leonardo da Vinchi u chizgan oddiy qattiq jismlarning ramka modellarini ishlab chiqdi Patsioli kitobi Divina Proportioneva shunga o'xshash sim ramka polyhedra paydo bo'ladi M.C. Escher chop etish Yulduzlar.[36] Ushbu yondashuvning muhim jihatlaridan biri Shtaynits teoremasi, bu qavariq ko'p qirrali skeletlarning sof grafik-nazariy xarakteristikasini beradi: har bir qavariq ko'p qirrali skeletning 3 ulangan planar grafik va har bir 3 ta bog'langan tekislik grafigi ba'zi qavariq ko'pburchakning skeletidir.

Ning dastlabki g'oyasi mavhum polyhedra yilda ishlab chiqilgan Branko Grünbaum "ichi bo'sh yuzli polyhedra" ni o'rganish. Grünbaum yuzlarni tsikl bo'yicha tartiblangan tepaliklar to'plamini aniqladi va ularga ruxsat berdi qiyshiq shuningdek, planar.[37]

Grafika istiqboliga amal qilish mumkin grafik terminologiyasi va ko'p qirrali xususiyatlar. Masalan, tetraedr va Csáshar polyhedron skeletlari topildi yagona ma'lum polyhedra to'liq grafikalar (K4) va turli xil simmetriya cheklovlari skeletlarni keltirib chiqaradi nosimmetrik grafikalar.

Muqobil foydalanish usullari

Yigirmanchi asrning ikkinchi yarmidan boshlab turli xil matematik konstruktsiyalar an'anaviy poliedrada mavjud bo'lgan xususiyatlarga ega ekanligi aniqlandi. Uch o'lchovli politopni ta'riflash uchun "polyhedron" atamasini cheklash o'rniga, u har xil turdosh, ammo o'ziga xos tuzilish turlarini tavsiflash uchun qabul qilingan.

Yuqori o'lchovli ko'pburchak

Polihedr - bu nuqtalar to'plami sifatida aniqlangan haqiqiy afine (yoki Evklid ) har qanday o'lchamdagi bo'shliq n tekis tomonlari bor. Shu bilan bir qatorda, bu juda ko'p sonli chorrahalar sifatida belgilanishi mumkin yarim bo'shliqlar. Oddiy ko'pburchakdan farqli o'laroq, u cheklangan yoki chegarasiz bo'lishi mumkin. Ushbu ma'noda, a politop cheklangan ko'pburchakdir.[15][16]

Analitik ravishda, bunday qavariq ko'pburchak chiziqli tengsizliklar tizimi uchun o'rnatilgan eritma sifatida ifodalanadi. Polyhedrani shu tarzda aniqlash, muammolar uchun geometrik istiqbolni beradi chiziqli dasturlash.Ko'plab an'anaviy ko'p qirrali shakllar shu ma'noda polyhedradir. Boshqa misollarga quyidagilar kiradi:

  • Samolyotda kvadrant. Masalan, gorizontal o'qning yuqorisida va vertikal o'qning o'ng tomonida joylashgan barcha nuqtalardan tashkil topgan dekartiya tekisligining mintaqasi: { ( x, y ) : x ≥ 0, y ≥ 0 } . Uning yon tomonlari ikkita ijobiy o'qdir va u boshqacha tarzda cheksizdir.
  • Evklidning 3 fazosidagi oktant, { ( x, y, z ) : x ≥ 0, y ≥ 0, z ≥ 0 } .
  • Cheksiz darajada prizma. Masalan, ichida joylashgan kvadratdan tashkil topgan 3-fazodagi ikki baravar cheksiz kvadrat prizma xy- samolyot bo'ylab yurgan z-aksis: { ( x, y, z ) : 0 ≤ x ≤ 1, 0 ≤ y ≤ 1 } .
  • Har biri hujayra a Voronoi tessellation qavariq ko'pburchak. Voronoi to'plamining to'plamida S, hujayra A bir nuqtaga mos keladi vS qachon chegaralangan (shuning uchun an'anaviy ko'pburchak) v yotadi ichki makon ning qavariq korpus ning Sva aks holda (qachon v yotadi chegara qavariq korpusining S) A cheksizdir.

Topologik polyhedra

Topologik politop - bu topologik jihatdan teng keladigan shakllarga xos parchalanish bilan birga berilgan topologik bo'shliq qavariq politoplar va ular bir-biriga muntazam ravishda biriktirilgan.

Bunday raqam deyiladi sodda agar uning har bir mintaqasi a oddiy, ya'ni n- har bir mintaqaning o'lchovli maydoni n+1 tepalik. Soddalashtirilgan politopning duali deyiladi oddiy. Xuddi shunday, politoplarning (polyhedra) keng o'rganilgan klassi kubik polidradan iborat bo'lib, asosiy qurilish bloklari n- o'lchovli kub.

Mavhum ko'pburchak

An mavhum politop a qisman buyurtma qilingan to'plam (poset) qisman buyurtma tushish (ulanish) va tartiblashning ma'lum qoidalariga bo'ysunadigan elementlar. To'plam elementlari politopning tepalariga, qirralariga, yuzlariga va boshqalarga to'g'ri keladi: tepaliklar 0 darajaga, qirralar 1 darajaga va hokazolarga ega, geometrik elementlarning o'lchamiga mos keladigan qisman tartiblangan tartib bilan. To'siqlar nazariyasi talab qiladigan bo'sh to'plam, -1 darajasiga ega va ba'zan nol politopga to'g'ri keladi deyiladi. Abstrakt ko'pburchak quyidagi mavqega ega mavhum politopdir:

  • daraja 3: Ba'zan tanasi bilan aniqlangan maksimal element.
  • 2-daraja: Ko'p qirrali yuzlar.
  • 1-daraja: chekkalari.
  • daraja 0: tepaliklar.
  • daraja rank1: bo'sh to'plam, ba'zida nol politop yoki nullitop.[38]

So'ngra har qanday geometrik ko'pburchak yuqorida bayon qilingan mavhum posetning haqiqiy makonida "amalga oshirish" deb aytiladi.

Tarix

Qadimgi

Tarix

Polyhedra erta paydo bo'ldi me'moriy shakllar kublar va kublar kabi qadimgi eng to'rt qirrali piramidalar bilan Misr tosh davridan qolgan.

The Etrusklar yunonlar hech bo'lmaganda bir nechta muntazam ko'p qirrali narsalardan xabardor bo'lishlari bilan oldinda bo'lganlar, buni topilgan Etrusk dodekaedr qilingan sovun toshi kuni Monte Loffa. Uning yuzlari turli xil naqshlar bilan belgilanib, ba'zi olimlarga bu o'yin o'limi sifatida ishlatilgan bo'lishi mumkinligini taxmin qildi.[39]

Yunon tsivilizatsiyasi

Eng qadimgi yozilgan ushbu shakllarning yozuvlari Klassikadan olingan Yunoncha mualliflar, shuningdek ular haqida birinchi ma'lum bo'lgan matematik tavsifni berganlar. Ilgari yunonlar birinchi navbatda qavariq muntazam polyhedra, deb tanilgan Platonik qattiq moddalar. Pifagoralar ulardan kamida uchtasini bilar edi va Teetetus (taxminan 417 B. C.) beshtasini ta'riflagan. Oxir-oqibat, Evklid ularning qurilishini tasvirlab berdi Elementlar. Keyinchalik, Arximed o'qishini kengaytirdi qavariq bir xil polyhedra endi uning nomini olgan. Uning asl ishi yo'qoladi va uning qattiq moddalari bizga etib keladi Pappus.

Xitoy

Xitoyda kubik o'yin zarlari miloddan avvalgi 600 yilda boshlangan.[iqtibos kerak ]

Milodiy 236 yilga kelib, Liu Xui kubning dissektsiyasini xarakterli tetraedrga (ortemaga) va u bilan bog'liq bo'lgan qattiq moddalarga tasvirlab berar edi, bu qattiq moddalarning birikmalaridan muhandislik qazish paytida ko'chiriladigan er hajmini hisoblash uchun asos sifatida foydalangan.

Islom tsivilizatsiyasi

Klassik davr tugaganidan so'ng, Islom tsivilizatsiyasi olimlari yunon bilimlarini oldinga surishda davom etishdi (qarang) O'rta asr islomida matematika ).

9-asr olimi Sobit ibn Qurra kesilgan piramidalar kabi ko'p qirrali hajmlarni hisoblash uchun formulalar berdi.

Keyin X asrda Abul Vafa qavariq muntazam va kvazirgulyar sferik poliedrani tasvirlab bergan.

Uyg'onish davri

Yunon tafakkurining boshqa sohalarida bo'lgani kabi, islom ulamolari ham qo'llab-quvvatladilar va G'arbning poliedraga bo'lgan qiziqishi italiyaliklar davrida qayta tiklandi Uyg'onish davri. Rassomlar skelet polihedralarini qurishdi, ularni hayotdan olib borgan tergovlarining bir qismi sifatida tasvirlashdi istiqbol. Bir nechta davr marquetry panellarida paydo bo'ladi. Piero della Francesca poliedraning bunday istiqbolli ko'rinishlarini to'g'ridan-to'g'ri geometrik qurilishining birinchi yozma tavsifini berdi. Leonardo da Vinchi made skeletal models of several polyhedra and drew illustrations of them for a book by Pacioli. A painting by an anonymous artist of Pacioli and a pupil depicts a glass rombikuboktaedr half-filled with water.

As the Renaissance spread beyond Italy, later artists such as Venzel Jamnitser, Dürer and others also depicted polyhedra of various kinds, many of them novel, in imaginative etchings.

Yulduzli ko'pburchak

For almost 2,000 years, the concept of a polyhedron as a convex solid had remained as developed by the ancient Greek mathematicians.

Davomida Uyg'onish davri star forms were discovered. A marble tarsia in the floor of Aziz Mark Bazilikasi, Venice, depicts a stellated dodecahedron. Kabi rassomlar Venzel Jamnitser delighted in depicting novel star-like forms of increasing complexity.

Yoxannes Kepler (1571–1630) used yulduz ko'pburchaklar, odatda pentagramlar, to build star polyhedra. Some of these figures may have been discovered before Kepler's time, but he was the first to recognize that they could be considered "regular" if one removed the restriction that regular polyhedra must be convex. Keyinchalik, Lui Pinsot realised that star tepalik raqamlari (circuits around each corner) can also be used, and discovered the remaining two regular star polyhedra. Cauchy proved Poinsot's list complete, and Cayley gave them their accepted English names: (Kepler's) the kichik yulduzli dodekaedr va katta yulduzli dodekaedr, and (Poinsot's) the ajoyib ikosaedr va great dodecahedron. Collectively they are called the Kepler-Poinsot ko'p qirrali.

Kepler-Poyinsot poliedrasi Platonik qattiq jismlardan jarayoni deb nomlanishi mumkin yulduzcha. Most stellations are not regular. The study of stellations of the Platonic solids was given a big push by H.S.M. Kokseter and others in 1938, with the now famous paper The 59 icosahedra.[40]

Yulduzchaga o'zaro bog'liqlik deyiladi yuzma-yuzlik (yoki yuzma-yuz). Every stellation of one polytope is ikkilamchi, or reciprocal, to some facetting of the dual polytope. Muntazam yulduz poliedrasini Platonik qattiq qismlarga ajratish orqali ham olish mumkin. Bridge (1974) listed the simpler facettings of the dodecahedron, and reciprocated them to discover a stellation of the icosahedron that was missing from the set of "59".[41] More have been discovered since, and the story is not yet ended.[iqtibos kerak ]

Euler's formula and topology

Two other modern mathematical developments had a profound effect on polyhedron theory.

1750 yilda Leonhard Eyler for the first time considered the edges of a polyhedron, allowing him to discover his polyhedron formula relating the number of vertices, edges and faces. This signalled the birth of topologiya, sometimes referred to as "rubber sheet geometry", and Anri Puankare developed its core ideas around the end of the nineteenth century. This allowed many longstanding issues over what was or was not a polyhedron to be resolved.

Maks Bryukner summarised work on polyhedra to date, including many findings of his own, in his book "Vielecke und Vielflache: Theorie und Geschichte" (Polygons and polyhedra: Theory and History). Published in German in 1900, it remained little known.

Meanwhile, the discovery of higher dimensions led to the idea of a polyhedron as a three-dimensional example of the more general polytope.

Yigirmanchi asrning tiklanishi

By the early years of the twentieth century, mathematicians had moved on and geometry was little studied. Coxeter's analysis in Ellik to'qqiz Ikosahedra introduced modern ideas from grafik nazariyasi va kombinatorika into the study of polyhedra, signalling a rebirth of interest in geometry.

Coxeter himself went on to enumerate the star uniform polyhedra for the first time, to treat tilings of the plane as polyhedra, to discover the muntazam skew polyhedra and to develop the theory of murakkab polyhedra first discovered by Shephard in 1952, as well as making fundamental contributions to many other areas of geometry.

In the second part of the twentieth century, Grünbaum published important works in two areas. Bittasi edi qavariq politoplar, where he noted a tendency among mathematicians to define a "polyhedron" in different and sometimes incompatible ways to suit the needs of the moment. The other was a series of papers broadening the accepted definition of a polyhedron, for example discovering many new muntazam polyhedra. At the close of the 20th century these latter ideas merged with other work on incidence complexes to create the modern idea of an abstract polyhedron (as an abstract 3-polytope), notably presented by McMullen and Schulte.

Tabiatda

For natural occurrences of regular polyhedra, see Regular polyhedron § Regular polyhedra in nature.

Irregular polyhedra appear in nature as kristallar.

Shuningdek qarang

Adabiyotlar

Izohlar

  1. ^ Lakatos, Imre (2015) [1976], Worrall, John; Zahar, Elie (eds.), Proofs and Refutations: The logic of mathematical discovery, Cambridge Philosophy Classics, Cambridge: Cambridge University Press, p. 16, doi:10.1017/CBO9781316286425, ISBN  978-1-107-53405-6, JANOB  3469698, definitions are frequently proposed and argued about.
  2. ^ Grünbaum (1994), p. 43.
  3. ^ Loeb, Arthur L. (2013), "Polyhedra: Surfaces or solids?", in Senechal, Marjori (tahr.), Kosmosni shakllantirish: Polyhedralarni tabiat, san'at va geometrik tasavvurlarda o'rganish (2nd ed.), Springer, pp. 65–75, doi:10.1007/978-0-387-92714-5_5
  4. ^ McCormack, Joseph P. (1931), Qattiq geometriya, D. Appleton-Century Company, p. 416.
  5. ^ de Berg, M.; van Kreveld, M.; Overmars, M.; Schwarzkopf, O. (2000), Hisoblash geometriyasi: Algoritmlar va ilovalar (2-nashr), Springer, p. 64.
  6. ^ Matveev, S.V. (2001) [1994], "Polyhedron, abstract", Matematika entsiklopediyasi, EMS Press
  7. ^ Styuart, B. M. (1980), Adventures Among the Toroids: A study of orientable polyhedra with regular faces (2-nashr), p. 6.
  8. ^ a b Cromwell (1997), pp. 206–209.
  9. ^ O'Rourke, Jozef (1993), "Computational Geometry in C", Computers in Physics, 9 (1): 113–116, Bibcode:1995ComPh...9...55O, doi:10.1063/1.4823371.
  10. ^ Grünbaum, Branko (1999), "Acoptic polyhedra", Diskret va hisoblash geometriyasidagi yutuqlar (South Hadley, MA, 1996) (PDF), Zamonaviy matematika, 223, Providence, Rhode Island: American Mathematical Society, pp. 163–199, doi:10.1090 / conm / 223/03137, ISBN  978-0-8218-0674-6, JANOB  1661382.
  11. ^ Cromwell (1997), p. 209.
  12. ^ Bokowski, J.; Guedes de Oliveira, A. (2000), "On the generation of oriented matroids", Diskret va hisoblash geometriyasi, 24 (2–3): 197–208, doi:10.1007/s004540010027, JANOB  1756651.
  13. ^ a b Burgiel, H .; Stanton, D. (2000), "Realizations of regular abstract polyhedra of types {3,6} and {6,3}", Diskret va hisoblash geometriyasi, 24 (2–3): 241–255, doi:10.1007/s004540010030, JANOB  1758047.
  14. ^ Grünbaum (2003), 468-469 betlar.
  15. ^ a b Grünbaum, Branko (2003), Qavariq politoplar, Matematikadan magistrlik matnlari, 221 (2-nashr), Nyu-York: Springer-Verlag, p. 26, doi:10.1007/978-1-4613-0019-9, ISBN  978-0-387-00424-2, JANOB  1976856.
  16. ^ a b Bruns, Uinfrid; Gubeladze, Joseph (2009), "Definition 1.1", Polytopes, Rings, and K- nazariya, Springer Monographs in Mathematics, Dordrecht: Springer, p. 5, CiteSeerX  10.1.1.693.2630, doi:10.1007 / b105283, ISBN  978-0-387-76355-2, JANOB  2508056.
  17. ^ Richeson (2008), p. 157.
  18. ^ Richeson (2008), p. 180.
  19. ^ Cundy, H. Martyn; Rollett, A.P. (1961), "3.2 Duality", Matematik modellar (2nd ed.), Oxford: Clarendon Press, pp. 78–79, JANOB  0124167.
  20. ^ Grünbaum, B.; Shephard, G.C. (1969), "Convex polytopes" (PDF), London Matematik Jamiyati Axborotnomasi, 1 (3): 257–300, doi:10.1112/blms/1.3.257, JANOB  0250188, dan arxivlangan asl nusxasi (PDF) 2017-02-22 da, olingan 2017-02-21. See in particular the bottom of page 260.
  21. ^ Goldman, Ronald N. (1991), "Chapter IV.1: Area of planar polygons and volume of polyhedra", in Arvo, James (ed.), Graphic Gems Package: Graphics Gems II, Academic Press, pp. 170–171
  22. ^ Büeler, B.; Enge, A.; Fukuda, K. (2000), "Exact Volume Computation for Polytopes: A Practical Study", Polytopes — Combinatorics and Computation, p. 131, CiteSeerX  10.1.1.39.7700, doi:10.1007/978-3-0348-8438-9_6, ISBN  978-3-7643-6351-2
  23. ^ Sidler, J.-P. (1965), "Conditions nécessaires et suffisantes pour l'équivalence des polyèdres de l'espace euclidien à trois o'lchovlari", Izoh. Matematika. Salom. (frantsuz tilida), 40: 43–80, doi:10.1007 / bf02564364, JANOB  0192407, S2CID  123317371
  24. ^ Hazewinkel, M. (2001) [1994], "Dehn invariant", Matematika entsiklopediyasi, EMS Press
  25. ^ Debrunner, Hans E. (1980), "Über Zerlegungsgleichheit von Pflasterpolyedern mit Würfeln", Archiv der Mathematik (nemis tilida), 35 (6): 583–587, doi:10.1007/BF01235384, JANOB  0604258, S2CID  121301319.
  26. ^ Aleksandrov, Viktor (2010), "Brikard oktaedrasining Dehn invariantlari", Geometriya jurnali, 99 (1–2): 1–13, arXiv:0901.2989, CiteSeerX  10.1.1.243.7674, doi:10.1007 / s00022-011-0061-7, JANOB  2823098, S2CID  17515249.
  27. ^ Cromwell (1997), p. 86.
  28. ^ Teylor, Jan E. (1992), "Zonohedra and generalized zonohedra", Amerika matematik oyligi, 99 (2): 108–111, doi:10.2307/2324178, JSTOR  2324178, JANOB  1144350.
  29. ^ Stenli, Richard P. (1997), Sanab chiquvchi kombinatorika, I jild (1 ed.), Cambridge University Press, pp. 235–239, ISBN  978-0-521-66351-9
  30. ^ Demain, Erik D.; O'Rourke, Jozef (2007), "23.2 moslashuvchan ko'p qirrali", Geometrik katlama algoritmlari: bog'lanishlar, origami, polyhedra, Kembrij universiteti matbuoti, Kembrij, 345–348 betlar, doi:10.1017/CBO9780511735172, ISBN  978-0-521-85757-4, JANOB  2354878.
  31. ^ O'Rourke, Jozef (2008), "Unfolding orthogonal polyhedra", Surveys on discrete and computational geometry, Contemp. Matematik., 453, Amer. Matematika. Soc., Providence, RI, pp. 307–317, doi:10.1090/conm/453/08805, ISBN  978-0-8218-4239-3, JANOB  2405687.
  32. ^ Kokseter, X.S.M. (1974), Muntazam kompleks polipoplar, Kembrij: Kembrij universiteti matbuoti, JANOB  0370328.[sahifa kerak ]
  33. ^ Popko, Edward S. (2012), Bo'lingan sohalar: Geodeziya va Sferaning tartibli bo'linishi, CRC Press, p. 463, ISBN  978-1-4665-0430-1, A hosohedron is only possible on a sphere.
  34. ^ Kraynik, A.M.; Reinelt, D.A. (2007), "Foams, Microrheology of", in Mortensen, Andreas (ed.), Kompozit materiallarning qisqacha entsiklopediyasi (2nd ed.), Elsevier, pp. 402–407. Xususan qarang p. 403: "foams consist of polyhedral gas bubbles ... each face on a polyhedron is a minimal surface with uniform mean curvature ... no face can be a flat polygon with straight edges".
  35. ^ Pearce, P. (1978), "14 Saddle polyhedra and continuous surfaces as environmental structures", Structure in nature is a strategy for design, MIT Press, p. 224, ISBN  978-0-262-66045-7.
  36. ^ Kokseter, X.S.M. (1985), "A special book review: M.C. Escher: His life and complete graphic work", Matematik razvedka, 7 (1): 59–69, doi:10.1007 / BF03023010, S2CID  189887063 Kokseterning tahlili Yulduzlar 61-62-betlarda.
  37. ^ Grünbaum (1994).
  38. ^ N.V. Jonson: Geometriyalar va transformatsiyalar, (2018) ISBN  978-1-107-10340-5 11-bob: Finite Symmetry Groups, 11.1 Polytopes and Honeycombs, s.224
  39. ^ Sparavigna, Amelia Carolina (2012), An Etruscan dodecahedron, arXiv:1205.0706
  40. ^ Kokseter, X.S.M.; Du Val, P.; Flather, H.T.; Petrie, J.F. (1999) [1938], Ellik to'qqiz Ikosahedra, Tarquin Publications, ISBN  978-1-899618-32-3, JANOB  0676126.
  41. ^ Bridge, N.J. (1974), "Faceting the dodecahedron", Acta Crystallographica bo'limi, 30 (4): 548–552, Bibcode:1974AcCrA..30..548B, doi:10.1107/s0567739474001306.

Manbalar

Tashqi havolalar

Umumiy nazariya

Lists and databases of polyhedra

Bepul dasturiy ta'minot

  • A Plethora of Polyhedra – An interactive and free collection of polyhedra in Java. Features includes nets, planar sections, duals, truncations and stellations of more than 300 polyhedra.
  • Hyperspace Star Polytope Slicer – Explorer java applet, includes a variety of 3d viewer options.
  • openSCAD – Free cross-platform software for programmers. Polyhedra are just one of the things you can model. The openSCAD User Manual ham mavjud.
  • OpenVolumeMesh – An open source cross-platform C++ library for handling polyhedral meshes. Developed by the Aachen Computer Graphics Group, RWTH Aachen University.
  • Polyhedronisme – Web-based tool for generating polyhedra models using Conway Polyhedron Notation. Models can be exported as 2D PNG images, or as 3D OBJ or VRML2 files. The 3D files can be opened in CAD software, or uploaded for 3D printing at services such as Shapeways.

Resources for making physical models

OilaAnBnMen2(p) / D.nE6 / E7 / E8 / F4 / G2Hn
Muntazam ko'pburchakUchburchakKvadratp-gonOlti burchakliPentagon
Bir xil ko'pburchakTetraedrOktaedrKubDemicubeDodekaedrIkosaedr
Bir xil 4-politop5 xujayrali16 hujayradan iboratTesseraktDemetesseract24-hujayra120 hujayradan iborat600 hujayra
Bir xil 5-politop5-oddiy5-ortoppleks5-kub5-demikub
Bir xil 6-politop6-oddiy6-ortoppleks6-kub6-demikub122221
Yagona politop7-oddiy7-ortoppleks7-kub7-demikub132231321
Bir xil 8-politop8-oddiy8-ortoppleks8-kub8-demikub142241421
Bir xil 9-politop9-sodda9-ortoppleks9-kub9-demikub
Bir xil 10-politop10-oddiy10-ortoppleks10 kub10-demikub
Bir xil n-politopn-oddiyn-ortoppleksn-kubn-demikub1k22k1k21n-beshburchak politop
Mavzular: Polytop oilalariMuntazam politopMuntazam politoplar va birikmalar ro'yxati