קומפלקס משולשים

במתמטיקה בכלל ובאלגברה טופולוגית בפרט, קומפלקס משולשים או קומפלקס סימפליציאלי (באנגלית: Simplicial Complex) הוא קבוצה של צמתים, קשתות, פאות וההכללות לממדים גבוהים של אלה, המקיים מספר תנאים.

סימפלקס יקרא קומפלקס משולשים אם הוא מקיים את התנאים הבאים:

# כל <math>\mathcal{K}' \subseteq \mathcal{K} </math> הוא סימפלקס בעצמו.
# אם <math>\sigma_1,\sigma_2 \subseteq \mathcal{K} </math> הן פאות של הסימפלקס <math>\mathcal{K} </math>, אזי <math>\sigma_1 \cap \sigma_2 </math> הוא סימפלקס.

דוגמה של קומפלקס משולשים
הצורה הקומבינטורית של קומפלקס המשולשים נקראת קומפלקס משולשים אבסטרקטי (באנגלית: Abstract Simplicial Complex) והיא אינה מתחשבת בגאומטריה של הסימפלקס בכלל.

== הגדרות ==
קומפלקס משולשים יקרא <math>\kappa </math>-קומפלקס אם המימד הגבוה ביותר של סימפלקס כלשהו השייך לו הוא <math>\kappa </math>. לדוגמה: הסימפלקס <nowiki></nowiki> הוא קומפלקס משולשים כי הוא מקיים את 2 התנאים העליונים, והוא 2-קומפלקס מכיוון שהסימפלקס במימד הגבוה ביותר בו: {a,b,c} הוא ממימד 2.
* 0-קומפלקס יכיל רק צמתים: <nowiki></nowiki>
* 1-קומפלקס יכיל גם קשתות: <nowiki></nowiki>
* 2-קומפלקס יכיל גם פאות: <nowiki></nowiki> וכן הלאה.

יש לשים לב שכל חיתוך של תתי-סימפלקסים הוא סימפלקס בעצמו ומוכל בקומפלקס המקורי.

קומפלקס משולשים יקרא <math>\kappa </math>-קומפלקס הומוגני אם כל סימפלקס <math>\sigma_d \subset \mathcal{K} </math> במימד <math>\mathcal{d} < \kappa </math> הוא פאה של סימפלקס אחר ממימד גבוה יותר <math>\sigma \subseteq \mathcal{K} </math>.

הסגוֹר (באנגלית: Closure) של קומפלקס <math>\mathcal{K}</math> הוא קומפלקס המשולשים הקטן ביותר שמכיל את כל תתי הסימפלקסים <math>\sigma \subseteq \mathcal{K}</math>. מסומן: <math>\mathcal{Cl(K)}</math>
סימפלקס והסגׂור שלו
צומת והקישור שלההכׂוכב (באנגלית: Star) של קומפלקס <math>\mathcal{K}</math> הוא קבוצה המכילה את כל הסימפלקסים ש<math>\mathcal{K}</math> הוא פאה שלהם. מסומן: <math>\mathcal{St(K)}</math>. יש לשים לב שהכוכב של <math>\mathcal{K}</math> אינו דווקא קומפלקס משולשים.
הקישוּר (באנגלית: Link) של קומפלקס <math>\mathcal{K}</math> הוא הסגור של הכוכב של <math>\mathcal{K}</math> פחות הכוכב של <math>\mathcal{K}</math>. מסומן: <math>\mathcal{Lk(K)} = \mathcal{Cl(St(K))} - \mathcal{St(K)}</math>.

צומת והכׂוכב שלו

== שימושים הנדסיים ==
=== ניתוח מידע טופולוגי ===
בתחום ניתוח המידע הטופולוגי (באנגלית: Topological Data Analysis או TDA) קיים שימוש נרחב לבניית קומפלקס משולשים מהמידע הנתון לרוב בצורה של ענן נקודות. בנייה זו נעשית על ידי שימוש בהומולוגיה מתמשכת ליצירת פילטרציה של קומפלקס המשולשים המייצג את ענן הנקודות.<ref></ref>
דוגמה ליצירת קומפלקס משולשים מענן נקודות רועש הנדגם מטבעת, וניתוח ההומולוגיה המתמשכת שלו

==== ניתוח טופולוגי של אותות ====
בעיבוד אותות, ניתן ליצור ענן נקודות בממדים גבוהים על ידי התמרת אות דגום <math>f[n]</math> נתון בצורה הבאה:<math>SW\left \{f[n] \right \}=[f[n], f[n+\tau], f[n+2\tau], \cdots,f[n+d\tau]]</math>.

ניתוח ההומולוגיה המתמשכת של קומפלקס המשולשים הנוצר מענן נקודות זה נותנת מידע רב על התכונות הזמניות של האות הנתון:
* חוסה פראה (Jose A. Perea) מאוניברסיטת מישיגן הוכיח כי מחזוריות זמנית של אות גוררת רכיב הומולגי מסדר ראשון בברקוד - קיום חור בקומלקס המשולשים.<ref></ref>
* כריסטופר טארלי (Christopher J. Tralie) מאוניברסיטת דיוק הראה שניתן לזהות קוואזי־מחזוריות באות על ידי כך שההומולוגיה המתקבלת ממנו היא של טורוס, ולא של טבעת. הבחנה זו עמידה לשינויים קלים שאנליזת פורייה לא יכולה להבחין בהם. <ref></ref>

אות מחזורי מותמר לענן נקודות המכיל חור (<math>\mathcal{H_1}=1</math>)
ניתוח קומפלקס המשולשים הנוצר מענן הנקודות של אות FM מכיל שני כיסי אוויר

==קישורים חיצוניים==

* 

==הערות שוליים==

קטגוריה:טופולוגיה אלגברית
קטגוריה:מרחבים טופולוגיים