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

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

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

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

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

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

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

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

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

ממוזער|צומת והכׂוכב שלו

## שימושים הנדסיים
### ניתוח מידע טופולוגי
בתחום ניתוח המידע הטופולוגי (באנגלית: Topological Data Analysis או **TDA**) קיים שימוש נרחב לבניית קומפלקס משולשים מהמידע הנתון לרוב בצורה של ענן נקודות. בנייה זו נעשית על ידי שימוש בהומולוגיה מתמשכת ליצירת פילטרציה של קומפלקס המשולשים המייצג את ענן הנקודות.
ממוזער|485x485 פיקסלים|דוגמה ליצירת קומפלקס משולשים מענן נקודות רועש הנדגם מטבעת, וניתוח ההומולוגיה המתמשכת שלו

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

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

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

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

* 

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

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