Simplex
![](http://upload.wikimedia.org/wikipedia/commons/thumb/e/e1/Simplexes.jpg/300px-Simplexes.jpg)
În geometrie un simplex (plural: simplexuri) este o generalizare a noțiunii de triunghi sau tetraedru la un număr de dimensiuni arbitrare. Denumirea de simplexuri vine de la faptul că sunt reprezentările celor mai simple politopuri care sunt posibile într-un spațiu dat.
De exemplu,
- un 0-simplex este un punct,
- un 1-simplex este un segment,
- un 2-simplex este un triunghi,
- un 3-simplex este un tetraedru,
- un 4-simplex este un 5-celule.
Mai exact, un k-simplex este un politop k-dimensional care este anvelopa convexă a celor k + 1 vârfuri. Formalizat, admițând că cele k + 1 puncte sunt independente într-un spațiu afin, ceea ce înseamnă că sunt liniar independente(d), simplexul este mulțimea acestor puncte:
Un simplex regulat[1] este un simplex care este un Politop regulat. Un n-simplex regulat poate fi construit dintr-un (n − 1)-simplex regulat prin conectarea unui nou vârf la toate vârfurile existente prin segmente de lungime egală cu a celor existente.
Simplexul standard[2] este simplexul format din cei k + 1 versori standard, adică
În topologie și combinatorică, este uzual să fie „lipite împreună” simplexuri pentru a forma un Complex simplicial.[3] Structura combinatorică asociată este un complex simplicial abstract(d), unde cuvântul „simplex” înseamnă, simplu, orice mulțime finită de vârfuri.
Istoric
Noțiunea de simplex i-a fost cunoscută lui William Kingdon Clifford, care a scris despe ele în 1886, dar le-a numit „prime confines” (română limitele inițiale). Henri Poincaré, scriind în 1900 despre topologia algebrică, le-a numit „tetraedre generalizate”. În1902 Pieter Hendrik Schoute a descris noțiunea inițial cu superlativul latin „simplicissimum” (română cel mai simplu), apoi cu adjectivul latin în forma pozitivă, „simplex” (română simplu).[4]
Familia de simplexuri regulate este prima din cele trei familii de politopuri regulate, notate de H.S.M. Coxeter cu αn, celelalte două fiind hiperoctaedrele, notate de el cu βn, și hipercuburile, notate de el cu γn. A patra familie, fagurii hipercubici a fost notată de el cu δn.[5]
Elemente
Anvelopa convexă a oricărei submulțimi nevide din cele n + 1 puncte care definesc un n-simplex este numită față a simplexului. Fețele sunt ele însele simplexuri. În particular, anvelopa convexă a submulțimii din dimensiunea m + 1 (unde dimensiunea n + 1 definește punctele) este un m-simplex, numit m-față a n-simplexului. 0-fețele (ex. însăși punctele, ca mulțime în dimensiunea 1) sunt numite vârfuri, 1-fețele sunt numite laturi, (n − 1)-fețele sunt numite fațete, iar singura n-față este însuși n-simplexul. În general, numărul m-fețelor este egal cu coeficientul binomial .[6] Corespunzător, numărul m-fețelor unui n-simplex poate fi găsit în coloana (m + 1) a rândului (n + 1) din triunghiul lui Pascal. Simplexul A este o cofață a simplexului B dacă B este o față a lui A. Față și fațetă pot avea sensuri diferite la descrierea tipurilor de simplexuri într-un complex simpicial.
Numărul 1-fețelor (laturi) ale unui n-simplex este al n-lea număr triunghiular, numărul 2-fețelor ale unui n-simplex este al (n − 1)-lea număr tetraedric, numărul 3- fețelor ale unui n-simplex este al (n − 2)-lea număr 5-politopic ș.a.m.d.
Δn | Nume | Simbol Schläfli Coxeter | 0- fețe (vârfuri) | 1- fețe (laturi) | 2- fețe | 3- fețe | 4- fețe | 5- fețe | 6- fețe | 7- fețe | 8- fețe | 9- fețe | 10- fețe | Suma = 2n+1 − 1 |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Δ0 | 0-simplex (punct) | ( )![]() | 1 | 1 | ||||||||||
Δ1 | 1-simplex (segment) | { } = ( ) ∨ ( ) = 2 · ( )![]() | 2 | 1 | 3 | |||||||||
Δ2 | 2-simplex (triunghi) | {3} = 3 · ( )![]() ![]() ![]() | 3 | 3 | 1 | 7 | ||||||||
Δ3 | 3-simplex (tetraedru) | {3,3} = 4 · ( )![]() ![]() ![]() ![]() ![]() | 4 | 6 | 4 | 1 | 15 | |||||||
Δ4 | 4-simplex (5-celule) | {33} = 5 · ( )![]() ![]() ![]() ![]() ![]() ![]() ![]() | 5 | 10 | 10 | 5 | 1 | 31 | ||||||
Δ5 | 5-simplex | {34} = 6 · ( )![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() | 6 | 15 | 20 | 15 | 6 | 1 | 63 | |||||
Δ6 | 6-simplex | {35} = 7 · ( )![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() | 7 | 21 | 35 | 35 | 21 | 7 | 1 | 127 | ||||
Δ7 | 7-simplex | {36} = 8 · ( )![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() | 8 | 28 | 56 | 70 | 56 | 28 | 8 | 1 | 255 | |||
Δ8 | 8-simplex | {37} = 9 · ( )![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() | 9 | 36 | 84 | 126 | 126 | 84 | 36 | 9 | 1 | 511 | ||
Δ9 | 9-simplex | {38} = 10 · ( )![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() | 10 | 45 | 120 | 210 | 252 | 210 | 120 | 45 | 10 | 1 | 1023 | |
Δ10 | 10-simplex | {39} = 11 · ( )![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() | 11 | 55 | 165 | 330 | 462 | 462 | 330 | 165 | 55 | 11 | 1 | 2047 |
Intuitiv, într-un limbaj profan, un n-simplex este o formă simplă (un poligon) care necesită n dimensiuni. Fie un segment AB o „formă” în spațiul 1-dimensional (dreapta care conține segmentul). Se poate adăuga un nou punct, C, undeva în afara dreptei. Noua formă, triunghiul ABC, necesită două dimensiuni; el nu încape în spațiul 1-dimensional inițial. Triunghiul este 2-simplexul, o formă simplă care necesită două dimensiuni. Fie triunghiul ABC o formă în spațiul 2-dimensional (planul care conține triunghiul). Se poate adăuga un nou punct, D, undeva în afara planului. Noua formă, tetraedrul ABCD, necesită trei dimensiuni; el nu încape în spațiul 2-dimensional. Tetraedrul este 3-simplexul, o formă simplă care necesită trei dimensiuni. Fie tetraedrul ABCD, o formă în spațiul 3-dimensional (3-spațiul care conține tetraedrul). Se poate adăuga un nou punct, E, undeva în afara 3-spațiului. Noua formă, ABCDE, numită 5-celule, necesită patru dimensiuni și este numit 4-simplex; el nu încape în spațiul 3-dimensional. (Nici nu poate fi vizualizat ușor.) Această idee poate fi generalizată: adăugarea unui nou punct în afara spațiului curent, necesită o dimensiune superioară, care să conțină noua formă.
Formal, un (n + 1)-simplex poate fi construit reunind (operatorul ∨ ) un n-simplex cu un punct, ( ). Un (m + n + 1)-simplex poate fi construit reunind un m-simplex cu un n-simplex. Cele două simplexuri trebuie orientate astfel încât să fie complet normale unul față de altul, prin translații în direcții ortogonale față de ambele. Un 1-simplex este reuniunea a două puncte: ( ) ∨ ( ) = 2 · ( ). Un 2-simplex oarecare (triunghi scalen) este reuniunea a trei puncte: ( ) ∨ ( ) ∨ ( ). Un triunghi isoscel este reuniunea a 1-simplex cu un punct: { } ∨ ( ). Un triunghi echilateral este 3 · ( ) sau {3}. Un 3-simplex oarecare este reuniunea a 4 puncte: ( ) ∨ ( ) ∨ ( ) ∨ ( ). Un 3-simplex cu simetrie în oglindă poate fi exprimat printr-o reuniune dintre o latură și două puncte: { } ∨ ( ) ∨ ( ). Un 3-simplex cu simetrie triunghiulară poate fi exprimat printr-o reuniune a unui triunghi echilateral cu un punct: 3.( )∨( ) or {3}∨( ). Un tetraedru regulat este 4 · ( ) sau {3,3} ș.a.m.d.
![](http://upload.wikimedia.org/wikipedia/commons/thumb/0/02/Tesseract_tetrahedron_shadow_matrices.svg/300px-Tesseract_tetrahedron_shadow_matrices.svg.png)
![]() |
În unele convenții,[8] mulțimea vidă este definită drept un (−1)-simplex. Definiția are sens pentru n = −1 în construcția de mai sus. Această convenție este mai întâlnită în aplicațiile topologiei algebrice decât în studiul politopurilor.
Grafuri simetrice ale simplexurilor regulate
Aceste poligoane Petrie (proiecții ortogonele deformate) arată vârfurile unui simplex regulat pe un cerc, și conexiunile perechilor de vârfuri prin laturi.
![]() 1 | ![]() 2 | ![]() 3 | ![]() 4 | ![]() 5 |
![]() 6 | ![]() 7 | ![]() 8 | ![]() 9 | ![]() 10 |
![]() 11 | ![]() 12 | ![]() 13 | ![]() 14 | ![]() 15 |
![]() 16 | ![]() 17 | ![]() 18 | ![]() 19 | ![]() 20 |
Simplexul unitate
![](http://upload.wikimedia.org/wikipedia/commons/thumb/3/38/2D-simplex.svg/220px-2D-simplex.svg.png)
n-simplexul unitate (sau n-simplexul standard) este submulțimea din Rn+1 dată de
Simplexul Δn se află în hiperplanul afin obținut eliminând restricția ti ≥ 0 din definiția de mai sus.
Cele n + 1 vârfuri ale n-simplexului unitate sunt punctele ei ∈ Rn+1, unde
- e0 = (1, 0, 0, ..., 0),
- e1 = (0, 1, 0, ..., 0),
- en = (0, 0, 0, ..., 1).
Aceasta este forma canonică(d) pentru aplicarea pe un n-simplex oarecare cu vârfurile (v0, ..., vn) date de
Coeficienții ti se numesc coordonate baricentrice(d) ale unui punct al n-simplexului. Un asemenea simplex este adesea numit n-simplex afin, pentru a sublinia că aplicația canonică este o transformare afină(d). Uneori este numit și n-simplex afin orientat, pentru a sublinia că aplicația canonică poate fi una orientată(d) sau inversată.
Mai general, aceasta este aplicația canonică pentru n–1-simplexul unitate (cu n vârfuri) pentru orice politop cu n vârfuri, dată de aceeași ecuație (modificând indecșii):
Acestea sunt cunoscute drept coordonate baricentrice generalizate, și exprimă fiecare politop ca „imaginea” unui simplex:
O funcție obișnuită în Rn în interiorul n–1-simplexului unitate este funcția softmax(d), sau funcția exponențială normalizată; aceasta este o generalizare a funcției logistice(d) standard.
Exemple
- Δ0 este punctul 1 în R1.
- Δ1 este segmentul care unește punctele (1, 0) și (0, 1) în R2.
- Δ2 este triunghiul echilateral cu vârfurile (1, 0, 0), (0, 1, 0) și (0, 0, 1) în R3.
- Δ3 este tetraedrul regulat cu vârfurile (1, 0, 0, 0), (0, 1, 0, 0), (0, 0, 1, 0) și (0, 0, 0, 1) în R4.
Coordonate crescătoare
Un sistem de coordonate alternativ se poate obține prin sumele:
Asta duce la o prezentare prin ordine, respectiv ca n-tupluri nedescrescătoare între 0 și 1:
Geometric, acesta este o submulțime n-dimensională a (dimensiune maximă, codimensiune 0) mai degrabă ca una a (codimensiune 1). Fațetele, care la simplexul unitate corespund unei coordonate nule, aici ele corespund la coordonate successive, ca fiind egale cu coordonatele, în timp ce interiorul său corespunde strict unei inegalități.
O deosebire esențială între aceste prezentări este comportarea în cazul permutării coordonatelor – simplexul unitate este stabil la permutarea coordonatelor, în timp ce un "simplex ordonat" nu este invariant la permutarea elementelor, permutarea unei secvențe ordonate duce de obicei la una dezordonată. Simplexul ordonat este un Domeniu fundamental (închis) la acțiunea de grup(d) asupra gupului simetric(d) al n-cubului, ceea ce înseamnă că parcursul simplexului ordonat pentru cele n! elemente ale grupului simetric împarte n-cubul în n! simplexuri aproape disjuncte (disjuncte, cu excepția frontierelor), arătând că volumul unui singur simplex este . Alternativ, volumul poate fi calculat prin integrare repetată, în care mărimile de integrat sunt
O altă proprietate a acestei abordări este că folosește ordinea, dar nu adunarea, și prin asta poate fi definită în orice dimensiune, peste orice set ordonat, de exemplu poate fi utilizată pentru a defini un simplex cu dimensiuni infinite fără probleme de convergență a sumelor.
Proiecția simplexului standard
În special în aplicațiile numerice ale teoriei probabilităților interesează proiecția 3D(d) a simplexului standard. Fiid date probabilitățile cu posibile valori negative, cel mai apropiat punct din simplex are coordonatele
unde se alege astfel încât
poate fi calculat ușor pentru sortate.[9] Sortarea necesită volum de calcul proporțional cu , care pot fi redus la unul proporțional cu folosind algoritmul cu determinarea medianei(d).[10] Proiecția pe simplex este similară din punct de vedere al calculului cu proiecția pe o bilă.
Colțul cubului
În final, o metodă simplă este de a înlocui "sumarea la 1" cu "sumarea la cel mult 1"; asta crește numărul de dimensiuni cu 1, astfel, pentru a simplifica formulele, indecșii se schimbă:
Asta produce un n-simplex de forma colțului unui n-cub, și este simplexul ortogonal standard. Acesta este simplexul folosit în algoritmul simplex, care este plasat în origine și local modelează un vârf cu n fațete al unui politop.
Coordonatele carteziene pentru un n-dimensional simplex regulat în Rn
O modalitate de a descrie în Rn un n-simplex regulat este de a porni de la două puncte care să fie primele două vârfuri, apoi a pune un al treilea pentru a forma un triunghi echilateral, apoi al patrulea care să formeze un tetraedru regulat ș.a.m.d. Fiecare pas necesită ecuații corespunzătoare care asigură că fiecare nou vârf, împreună cu cele precedente, formează un simplex regulat. Există mai multe seturi de ecuații care pot fi notate și utilizate în acest scop. Acestea trebuie să prevadă egalitatea tuturor distanțelor dintre vârfuri; egalitatea tuturor distanțelor de la vârfuri la centrul simplexului; faptul că unghiul subîntins de noul vârf față de oricare două vârfuri alese anterior este ; și faptul că unghiul subîntins din centrul simplexului față de oricare două vârfuri este .
De asemenea, este posibil să se descrie în Rn direct un anumit n-simplex, care apoi poate fi translat, rotit și scalat după dorință. Pentru asta se scrie o |bază vectorială în Rn de la e1 până la en. Se începe cu un (n−1)-simplex standard, care este anvelopa convexă a vectorilor bază. Adăugând încă un vârf, acesta devine o față unui n-simplex regulat. Vârful adăugat trebuie situat pe dreapta perpendiculară pe baricentrul simplexului standard, deci, pentru niște numere reale α, are forma (α/n, ..., α/n). Deoarece pătratul distanței dintre doi vectori ai bazei este 2, pentru a forma un n-simplex regulat vârful adăugat trebuie plasat astfel încât pătratul distanței dintre el și oricare dintre vectorii bazei să fie tot 2. Asta duce la o ecuație de gradul al doilea în α. Rezolvând această ecuație rezultă că există două posibilități pentru poziția acestui vârf:
Oricare din acestea, împreună cu vectorii bazei, formează un n-simplex regulat.
n-simplexul regulat prezentat nu este centrat în origine. El poate fi translat în origine scăzând din vârfuri media acestora. Prin scalare laturile pot deveni lungi cât unitatea. Rezultatul este un simplex cu vârfurile:
for , și
Simplexul este înscris în hipersfera de rază .
O scalare diferită produce un simplex înscris într-o hipersferă unitate. În acest caz vârfurile sunt
unde , și
Lungimea laturii acestui simplex este .
Un mod foarte simetric de a construi un n-simplex regulat este folosirea unei reprezentări a unui grup ciclic(d) Zn+1 printr-o matrice ortogonală(d). Aceasta este o matrice n × n, Q, astfel încât Qn+1 = I este o matrice unitate. Aplicarea puterilor acestei matrice unui vector potrivit v va produce vârfurile unui n-simplex regulat. Pentru asta, trebuie observat că pentru orice matrice ortogonală Q este posibilă alegerea unei baze în care Q este o matrice diagonală
unde fiecare Qi este ortogonală și fie 2 × 2, fie 1 ÷ 1. Pentru ca Q să fie de ordinul n+1, toate aceste matrice trebuie să fie divizori de ordinul n+1. Prin urmare, fiecare Qi este sau o matrice 1 × 1 a cărei singură intrare este 1 sau, dacă n este impar, –1; sau este o matrice 2 × 2 de forma
unde fiecare ωi este un întreg între zero și n, inclusiv. O condiție suficientă ca parcursul unui punct să fie un simplex regulat este ca matricele Qi să formeze o bază pentru reprezentarea reală netrivială ireductibilă a Zn+1, iar vectorul rotit nu este stabilizat de niciuna dintre ele.
În cuvinte simple, pentru n par asta înseamnă că oricare dintre matricele Qi este una 2 × 2, și există egalitatea
și, pentru orice Qi, intrările v ale Qi nu sunt ambele zero. De exemplu, când n = 4, o posibilă matrice este
Aplicând asta vectorului (1, 0, 1, 0) rezultă simplexul ale cărui vârfuri sunt
fiecare la distanța √5 de celelalte.
Când n este impar, condiția este ca exact una din diagonale să fie 1 × 1, egal cu –1, și se aplică unei intrări diferite de zero a v; în timp ce blocurile diagonale rămase, să zicem Q1, ..., Q(n − 1) / 2, sunt 2 × 2, există egalitatea
și fiecare bloc diagonal se aplică asupra unei perechi de intrări ale v care nu sunt ambele zero. De exemplu, când n = 3, o posibilă matrice este
Pentru vectorul (1, 0, 1/√2), simplexul rezultat are vârfurile
fiecare fiind la distanța de 2 față de celelalte.
Proprietăți geometrice
Volumul
Volumul unui n-simplex cu vârfurile (v0, ..., vn) este
unde fiecare coloană a determinantului n × n este diferența dintre vectorii care reprezintă două vârfuri.[11] Un mod elegant de scrie asta este
Altă meodă obișnuită pentru a calcula volumul unui simplex este cu determinantul Cayley–Menger. Se poate calcula volumul unui simplex dintr-un spațiu cu dimensiuni superioare, de exemplu aria („volumul”) unui triunghi în .[12]
Fără 1/n! este formula pentru volumul unui n-paralelotop (paralelipiped n-dimensional). Asta se deduce după cum urmează: Fie P un n-paralelotop construit pe baza of . Fie o permutarea a , se poate genera o poziție într-o listă de vârfuri pe o n-cale dacă
(deoarece există n! n-căi iar nu depinde de permutare). Următoarele afirmații sunt valabile:
Dacă P este n-hipercubul unitate, atunci reuniunea n-simplexelor formate din anvelopa convexă a fiecărei n-căi este P, iar aceste simplexuri sunt congruente și nu se suprapun în perechi. Asta deoarece fiecare n-cale corespunzătoare unei permutări este imaginea unei n-căi prin izometria care trimite la , și a cărei parte liniară asigură corespondența cu pentru toți i. Deoarece oricare două n-căi sunt izometrice, la fel anvelopele lor convexe; asta explică congruența simplexurilor. Pentru a susține celelalte afirmații este suficient să remarcăm că interiorul simplexului, determinat de n-calea , este mulțimea punctelor , cu și Prin urmare, componentele acestor puncte în raport cu fiecare bază corespunzătoare permutată sunt strict ordonate în ordine descrescătoare. Asta explică de ce simplexurile nu se suprapun. Faptul că reuniunea simplexurilor este întregul n-hipercub unitate rezultă, de asemenea, înlocuind inegalitățile stricte de mai sus cu "". Aceleași argumente sunt valabile și pentru un paralelotop oarecare, cu excepția izometriei dintre simplexuri. În particular, volumul unui astfel de simplex este
Dacă P este un paralelotop oarecare, aceleași afirmații sunt valabile cu excepția faptului că nu mai este adevărat, în dimensiuni > 2, că simplexurile trebuie să fie congruente în perechi; totuși, volumele lor rămân egale deoarece n-paralelotopul este imaginea n-hipercubului unitate printr-o transformare liniară care transformă baza canonică în . La fel ca înainte, asta implică că volumul unui simplex generat de o n-cale este:
Invres, fiind dat un n-simplex of , se poate presupune că vectorii formează o bază în . Considerând paralelotopul construit din și , se vede că formula anterioară este valabilă pentru fiecare simplex.
În final, formula din începutul acestei secțiuni se obține observând că
Di această formulă rezultă imediat că volumul de sub un n-simplex standard (adică între origine și simplexul din Rn+1) este
Volumul unui n-simplex regulat cu latura de o unitate este
după cum se poate vedea înmulțind formula precedentă cu xn+1, pentru a obține volumul de sub un n-simplex în funcție de diatanța vârfului său x față de origine, diferențiind în funcție de x, la (unde lungimea laturii n-simplexului este 1), și normalizând cu lungimea a incrementului, , de-a lungul de-a lungul vectorului normal.
Unghiurile diedre ale n-simplexului regulat
Oricare două fețe (n − 1)-dimensionale ale unui simplex regulat n-dimensional sunt, ele însele, simplexuri regulate (n − 1)-dimensionale și au între ele același unghi diedru, de .[13][14]
Acest lucru se poate stabili observând că centrul simplexului standard este , iar centrele fețelor sale sunt permutări ale coordonatetelor . Apoi, prin simetrie, vectorul trasat între și este perpendicular pe fețe. Deci vectorii normali pe fețe sunt permutări ale , din care se calculează unghiurile diedre.
Simplexuri cu un „colț ortogonal”
Un „colț ortogonal” este un vârf în care toate laturile adiacente sunt reciproc ortogonale. Rezultă imediat că toate fețele adiacente sunt reciproc ortogonale. Aceste simplexuri sunt generalizări ale triunghiurilor drepte și pentru ele există versiuni n-dimensionale ale teoremei lui Pitagora:
Suma pătratelor volumelor (n − 1)-dimensionale ale fațetelor adiacente unui colț ortogonal este egală cu pătratul volumului (n − 1)-dimensional al fațetei opuse coțului ortogonal.
unde sunt fațetele reciproc ortogonale dar nu și ortogonale față de , care este fațeta opusă colțului ortogonal.
Pentru un 2-simplex asta se reduce la teorema lui Pitagora pentru triunghiuri dreptunghice, iar pentru un 3-simplex la teorema lui De Gua(d) pentru un tetraedru cu colț ortogonal.
Relația cu (n + 1)-hipercubul
Diagrama Hasse(d) a laticei fețelor unui n-simplex este izomorfă cu graful laturilor unui (n + 1)-hipercub, în care vârfurile hipercubului se aplică pe fiecare element al n-simplexului, inclusiv întregul simplex și politopul nul ca puncte extreme ale laticei, (aranjate în două vârfuri opuse ale hipercubului). Acest aspect poate fi folosit la enumerarea eficientă a fețelor din laticea simplexului, deoarece metode mai generale de enumerare necesită capacități de calcul mai mari.
Un n-simplex este și Figura vârfului unui (n + 1)-hipercub. Este, de asemenea, fațeta unui (n + 1)-Ortoplex.
Topologie
Un n-simplex este topologic echivalent cu o n-bilă. Orice n-simplex este o formă n-dimensională cu colțuri.
Probabilități
În teoria probabilităților, punctele unui n-simplex standard în spațiul (n + 1)-dimensional formează un spațiu de distribuție probabilistică format dintr-o mulțime finită de n + 1 posibile evenimente. Corespondența este următoarea: pentru orice distribuție descrisă ca un (n + 1)-tuplu ordonat de probabilități a căror sumă este (obligatoriu) 1, se asociază punctul simplexului ale cărui coordonate baricentrice sunt exact aceste probabilități. Adică vârfului k al simplexului i se asociază probabilitatea k din (n + 1)-tuplu drept coeficientul său baricentric. Această corespondență este un homeomorfism(d)homeomorfism afin.
Compuși
Deoarece toate simplexurile sunt autoduale, ele pot forma o serie de compuși;
- Două triunghiuri formează o Hexagramă ( {6/2} ).
- Două tetraedre formează un Compus de două tetraedre; două tetraedre regulate formează un octaedru stelat.
- Două 5-celule formează un „compus de două 5-celule” în patru dimensiuni.
Topologie algebrică
În topologia algebrică simplexurile sunt folosite pentru a construi o clasă interesantă de spații topologice, numite complexe simpliciale. Aceste spații sunt formate din simplexuri lipite împreună într-o manieră combinatorică. Complexele simpliciale sunt folosite la definirea unei omologii(d) numită omologie simplicială(d).
O mulțime finită de k-simplexuri incluse într-o mulțime deschisă din Rn se numește un k-lanț afin. Simplexurile dintr-un lanț nu este obligatoriu să apară o singură dată; ele pot să apară de mai multe ori. Mai degrabă decât folosirea notațiilor standard pentru un lanț afin, practica obișnuită este să se folosească semnul plus pentru separarea elementelor lanțului. Dacă unele simplexuri au orientarea opusă, acestea sunt prefixate de semnul minus. Dacă unele simplexuri apar în lanț de mai multe ori, acestea sunt prefixate cu un contor (întreg), care indică multiplicitatea. Astfel, un lanț afin ia forma unei sume cu coeficienți întregi.
De notat că orice fațetă a unui n-simplex este un (n − 1)-simplex afin, iar prin asta frontierele unui n-simplex sunt un (n − 1)-lanț afin. Astfel, fiind dat un simplex afin orientat pozitiv ca
cu vârfurile , atunci frontiera lui σ este lanțul
Din acestă expresie și din liniaritatea operatorului frontieră rezultă că frontiera frontierei unui simplex este zero:
De semenea, frontiera frontierei unui lanț este zero: .
Mai general, un simplex (și un lanț) pot fi incluse într-o varietate printr-o aplicație (funcție topologică de asociere) continuă și diferențiabilă . În acest caze, atât convenția de însumare pentru descrierea mulțimii, cât și operația pe frontiere comută cu includerea. Adică,
unde sunt întregi care descriu orientarea și multiplicitatea. Pentru operatorul de frontieră , există:
unde ρ este un lanț. Operatorul de frontieră comută cu aplicarea deoarece, în final, lanțul este definit drept o mulțime și char mai mult, iar operația pe mulțime comută întotdeauna cu aplicația (prin definiția aplicației).
O aplicație continuă pe spațiul topologic X este numită frecvent n-simplex singular. (În general, se spune că aplicația este "singulară" dacă nu are unele proprietăți dorite, cum ar fi continuitatea, iar termenul reflectă faptul că aplicația continuiă nu trebuie să fie înglobată.)[15]
Geometrie algebrică
Deoarece geometria algebrică clasică permite tratarea ecuațiilor polinomiale, dar nu și a inegalităților, n-simplexul algebric standard este definit în mod obișnuit ca o submulțime a spațiului (n + 1)-dimensional afin, unde suma tuturor coordonatelor este până la 1 (astfel neluând în considerare partea de inegalitate). Descrierea algebrică a acestei mulțimi este
care echivalează descrierea schemei teoretice prin
inelul funcțiilor regulate pe n-simplexul algebric (pentru orice inel ).
Folosind aceeași definiție pentru n-simplexul clasic, n-simplexurile din diferite dimensiuni n se grupează într-o mulțime simplicială, in timp ce inelul le grupează într-un obiect cosimplicial .
n-simplexurile algebrice se folosesc în K-teoria(d) superioară și în definirea grupurilor Chow(d).
Aplicații
- În statistică, simplexurile sunt exemple de spații de date compoziționale(d) și sunt, de asemenea, folosite la trasarea cantităților a căror sumă este 1, cum ar fi ponderile subpopulațiilor, într-o diagramă ternară(d).
- În statistica industrială, simplexurile apar în formularea problemelor și în soluțiile algoritmice. De exemplu, pentru pâine, producătorul trebuie să combine în amestec făină, apă, drojdie, zahăr etc., cunoscute sub formă de proporții relative. Dacă se folosește o cantitate dublă de făină, trebuie și o cantitate dublă de drojdie. Un asemenea amestec este adesea descris printr-o rețetă în care suma cantităților (nenegative) este 1, la fel ca la simplexuri. Calitatea amestecurilor de pâine poate fi estimată utilizând metodologia suprafeței de răspuns și apoi se poate calcula un maxim local folosind o metodă de programare neliniară(d), cum ar fi programarea pătratică secvențială(d).[16]
- În cercetarea operațională(d) și programarea liniară problemele pot fi rezolvate cu algoritmul simplex al lui George Dantzig.
- În designul geometric(d) și grafica digitală, multe metode întâi descompun domeniul prin triangulări simpliciale, iar apoi interpolează polinomial fiecare simplex.[17]
- În chimie, structurile hidrurilor celor mai multe elemente din blocul p seamănă cu simplexurile. Neonul nu reacționează cu hidrogenul, prin urmare, ca gaz monoatomic, el este un punct, fluorul se leagă de un atom de hidrogen, formând un segment, oxigenul se leagă de doi atomi de hidrogen într-o formație care seamănă cu un triunghi, azotul se leagă de trei atomi de hidrogen sub forma unui tetraedru, iar carbonul, legat de patru atomi de hidrogen formează o structură tetraedrică care seamănă cu o proiecție tridimensională a unui pentacor (5-celule). Această tendință continuă și în alte analogii, la fel și dacă hidrogenul este înlocuit de atomi de halogeni.
Note
- ^ en Elte, E.L. () [1912]. „IV. five dimensional semiregular polytope”. The Semiregular Polytopes of the Hyperspaces. Simon & Schuster. ISBN 978-1-4181-7968-7.
- ^ en Boyd & Vandenberghe 2004.
- ^ Răileanu, Dicționar…, p. 61
- ^ en Miller, Jeff, „Simplex”, Earliest Known Uses of Some of the Words of Mathematics, accesat în
- ^ Coxeter 1973, pp. 120-124, §7.2.
- ^ Coxeter 1973, p. 120.
- ^ Șirul A135278 la Enciclopedia electronică a șirurilor de numere întregi (OEIS)
- ^ en Kozlov, Dimitry, Combinatorial Algebraic Topology, 2008, Springer-Verlag (Series: Algorithms and Computation in Mathematics)
- ^ en Yunmei Chen; Xiaojing Ye (). „Projection Onto A Simplex”. arXiv:1101.6081
[math.OC].
- ^ en MacUlan, N.; De Paula, G. G. (). „A linear-time median-finding algorithm for projecting a vector on the simplex of n”. Operations Research Letters. 8 (4): 219. doi:10.1016/0167-6377(89)90064-3.
- ^ O formulă foarte asemănătoare poate fi găsită în Stein, P. (). „A Note on the Volume of a Simplex”. American Mathematical Monthly. 73 (3): 299–301. doi:10.2307/2315353. JSTOR 2315353.
- ^ en Karen D. Colins, Cayley-Menger Determinant, mathworld.wolfram.com, accesat 2020-12-28
- ^ en Parks, Harold R.; Wills, Dean C. (octombrie 2002). „An Elementary Calculation of the Dihedral Angle of the Regular n-Simplex”. American Mathematical Monthly. 109 (8): 756–8. doi:10.2307/3072403. JSTOR 3072403.
- ^ en Wills, Harold R.; Parks, Dean C. (iunie 2009). Connections between combinatorics of permutations and algorithms and geometry (PhD). Oregon State University. hdl:1957/11929.
- ^ en Lee, John M. (). Introduction to Topological Manifolds. Springer. pp. 292–3. ISBN 978-0-387-22727-6.
- ^ en Cornell, John (). Experiments with Mixtures: Designs, Models, and the Analysis of Mixture Data (ed. third). Wiley. ISBN 0-471-07916-2.
- ^ en Vondran, Gary L. (aprilie 1998). „Radial and Pruned Tetrahedral Interpolation Techniques” (PDF). HP Technical Report. HPL-98-95: 1–32. Arhivat din original (PDF) la . Accesat în .
Bibliografie
- Brândușa Răileanu, Dicționar român–englez de termeni matematici și tehnici, București: Ed. MTTLC, 2016, ISBN: 978-606-760-040-7
- en Coxeter, H. S. M. (). Regular Polytopes (ed. 3rd). §7.2. see illustration Fig. 7-2C: Dover Publications. pp. 122-123. ISBN 0-486-61480-8. p. 296, Table I (iii): Regular Polytopes, three regular polytopes in n dimensions (n ≥ 5)
Lectură suplimentară
- en Rudin, Walter (). Principles of Mathematical Analysis (ed. 3rd). McGraw-Hill. ISBN 0-07-054235-X. (v. cap 10 pentru o prezentare simplă a proprietăților topologice.)
- en Tanenbaum, Andrew S. (). „§2.5.3”. Computer Networks (ed. 4th). Prentice Hall. ISBN 0-13-066102-3.
- en Devroye, Luc (). Non-Uniform Random Variate Generation. ISBN 0-387-96305-7. Arhivat din original la .
- en Boyd, Stephen; Vandenberghe, Lieven (). Convex Optimization. Cambridge University Press. ISBN 978-1-107-39400-1. (PDF)
Vezi și
Legături externe
![]() | Portal Matematică |
Materiale media legate de simplex la Wikimedia Commons
v • d • m Politopuri regulate și uniforme convexe fundamentale în dimensiunile 2–10 | ||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|
Familie | An | Bn | I2(p) / Dn | E6 / E7 / E8 / F4 / G2 | Hn | |||||||
Poligoane regulate | Triunghi | Pătrat | p-gon | Hexagon | Pentagon | |||||||
Poliedre uniforme | Tetraedru | Octaedru • Cub | Semicub | Dodecaedru • Icosaedru | ||||||||
4-politopuri uniforme | 5-celule | 16-celule • Tesseract | Semitesseract | 24-celule | 120-celule • 600-celule | |||||||
5-politopuri uniforme | 5-simplex | 5-ortoplex • 5-cub | 5-semicub | |||||||||
6-politopuri uniforme | 6-simplex | 6-ortoplex • 6-cub | 6-semicub | 122 • 221 | ||||||||
7-politopuri uniforme | 7-simplex | 7-ortoplex • 7-cub | 7-semicub | 132 • 231 • 321 | ||||||||
8-politopuri uniforme | 8-simplex | 8-ortoplex • 8-cub | 8-semicub | 142 • 241 • 421 | ||||||||
9-politopuri uniforme | 9-simplex | 9-ortoplex • 9-cub | 9-semicub | |||||||||
10-politopuri uniforme | 10-simplex | 10-ortoplex • 10-cub | 10-semicub | |||||||||
n-politopuri uniforme | n-simplex | n-ortoplex • n-cub | n-semicub | 1k2 • 2k1 • k21 | n-politop pentagonal | |||||||
Topicuri: Familii de politopuri • Politop regulat |