Complex simplicial
În matematică, un complex simplicial este o mulțime formată din puncte, segmente, triunghiuri și omologii lor n-dimensionali (v. imaginea alăturată). Complexele simpliciale nu trebuie confundate cu noțiunea abstractă de mulțime simplicială din moderna teorie a homotopiei. Omologul combinatoric al unui complex simplicial este un complex simplicial abstract.
Definiții
[modificare | modificare sursă]Un complex simplicial este o mulțime de simplexuri care îndeplinește următoarele condiții:
- 1. Orice față din simplexurile care fromează este, de asemenea, în .
- 2. Intersecția nevidă a oricăror două simplexuri este o față atât a cât și a .
A se vedea, de asemenea, definiția unui complex simplicial abstract, care, într-o exprimare neformală, este un complex simplicial fără o geometrie asociată.
Un k-complex simplicial este un complex simplicial în care cea mai înaltă dimensiune a oricărui simplex din este k. De exemplu, un 2-complex simplicial trebuie să conțină cel puțin un triunghi și nu trebuie să conțină niciun tetraedru sau simplex din dimensiuni superioare.
Un k-complex simplicial omogen este un complex simplicial în care fiecare simplex de dimensiune mai mică decât k este o față a unui simplex de dimensiune exact k. Informal, un 1-complex pur „arată” ca fiind format dintr-o serie de segmente, un 2-complex „arată” ca și cum ar fi format dintr-o serie de triunghiuri etc. Un exemplu de complex neomogen este un triunghi cu un segment atașat la unul dintre vârfurile sale.
O fațetă este orice simplex dintr-un complex care nu este fața unui simplex mai mare. (Observați diferența față de o „față” a unui simplex). Un complex simplicial omogen poate fi considerat un complex în care toate fațetele au aceeași dimensiune.
Uneori se folosește termenul față (în sensul de „parte”, ca la politopuri) pentru a se referi la un simplex al unui complex, care nu trebuie confundat cu fața unui simplex.
Pentru un complex simplicial încorporat într-un spațiu k-dimensional, k-fețele sunt uneori denumite celule. Termenul de „celulă” este uneori folosit într-un sens mai larg pentru a desemna o mulțime homeomorfă(d) la un simplex, ducând la definirea complexului celular.
Spațiul subiacent, numit uneori purtătorul unui complex simplicial, este reuniunea simplexelor sale.
Închideri, stele și legături
[modificare | modificare sursă]Fie un complex simplicial și o selecție de simplexuri din .
Închiderea (engleză closure) lui (notată Cl) este cel mai mic subcomplex simplicial al lui care conține fiecare simplex din . Cl se obține prin adăugarea repetată la a fiecărei fețe a fiecărui simplex din .
Steaua (engleză star) lui (notată St) este reuniunea stelelor fiecărui simplex din . Pentru un singur simplex , steaua lui este mulțimea simplexelor având ca față. (A se reține că steaua lui nu este în general el însuși un complex simplicial).
Legătura (engleză link) lui (notată Lk) este egală cu Cl — St. Este steaua închisă a lui minus stelele tuturor fețelor lui .
Topologie algebrică
[modificare | modificare sursă]În topologia algebrică, complexele simpliciale sunt adesea utile pentru calcule concrete. Pentru definirea grupurilor de omologie ale unui complex simplicial, se poate citi direct complexul lanțului corespunzător, cu condiția ca toate simplexurile să aibă orientări consistente. Cerințele teoriei homotopiei conduc la utilizarea unor spații mai generale, complexele CW. Complexele infinite sunt o un concept de bază în topologia algebrică. Acest concept, oarecum mai concret, este atribuit lui Alexandrov. Orice complex simplicial finit în sensul despre care se vorbește aici poate fi încorporat ca politop într-un număr mai mare de dimensiuni. În topologia algebrică, un spațiu topologic compact care este homeomorf pentru realizarea geometrică a unui complex simplicial finit este numit de obicei poliedru.[1][2][3]
Combinatorică
[modificare | modificare sursă]Matematicienii din combinatorică adesea studiază f-vectorul unui d-complex simplicial Δ, care este secvența de întregi , unde este numărul fețelor (i−1)-dimensionale ale lui Δ (cu convenția cu excepția cazului în care Δ este complexul vid). De exemplu, dacă Δ este frontiera octaedrului, atunci f-vectorul său este (1, 6, 12, 8), iar dacă Δ este primul complex simplicial din imaginea de mai sus, f-vectorul său este (1, 18, 23 , 8, 1). O caracterizare completă a posibililor f-vectori ai complexelor simpliciale este dată de teorema Kruskal–Katona.
Folosind f-vectorul unui d-complex simplicial Δ drept coeficienți ai unui polinom (scris în ordinea descrescătoare a puterilor), se obține f-polinomul lui Δ. În cele două exemple de mai sus, f-polinoamele ar fi , respectiv .
Matematicienii sunt adesea interesați de h-vectorul unui complex simplicial Δ, care este secvența coeficienților polinomului care rezultă din substituția în f-polinomul lui Δ. Formal, dacă se notează f-polinomul lui Δ, atunci h-polinomul lui Δ este
iar h-vectorul lui Δ este
h-vectorul frontierei unui octaedru (primul exemplu) se calculează astfel:
Astfe h-vectorul frontierei octaedrului este (1, 3, 3, 1). Nu este un accident că acest h-vector este simetric. De fapt, acest lucru se întâmplă ori de câte ori Δ este frontiera unui politop simplicial (acestea sunt ecuațiile Dehn–Sommerville). Totuși, în general h-vectorul unui complex simplicial nu este nici măcar neapărat pozitiv. De exemplu, dacă se consideră Δ un 2-complex de două triunghiuri care se intersectează numai într-un vârf comun, h-vectorul rezultat este (1, 3, −2).
O caracterizare completă a tuturor h-vectorilor unui politop simplicial este dată de teorema g a lui Stanley, Billera și Lee.
Se poate observa că complexele simpliciale au aceeași structură geometrică ca și graful de contact al unei ambalări de sfere (un graf în care nodurile sunt centrele sferelor iar muchiile există dacă sferele corespunzătoare se ating între ele) și ca atare pot fi utilizate pentru a determina combinatorica ambalării sferelor, cum ar fi numărul de perechi de atingeri (1-simplexuri), triplete de atingeri (2-simplexuri) și cvadrupluri de atingeri (3-simplexuri) la ambalarea sferelor.
Note
[modificare | modificare sursă]- ^ en Spanier, Edwin H. (), Algebraic Topology, Springer, ISBN 0-387-94426-5
- ^ en Maunder, Charles R.F. (), Algebraic Topology (ed. Reprint of the 1980), Mineola, NY: Dover, ISBN 0-486-69131-4, MR 1402473
- ^ en Hilton, Peter J.; Wylie, Shaun (), Homology Theory, New York: Cambridge University Press, ISBN 0-521-09422-4, MR 0115161
Legături externe
[modificare | modificare sursă]- Materiale media legate de complex simplicial la Wikimedia Commons
- en Video pe YouTube, discuție cu Norman J. Wildberger despre "Simplices and simplicial complexes" (română Simplexuri și complexe simpliciale
- en Simplicial Complex, (română Complex simplicial) la MathWorld