צורה גאומטרית

צורה גאומטרית (או צורה הנדסית) היא קבוצה אוסף של נקודות במרחב. לרוב הכוונה למרחב האוקלידי הדו-ממדי (המישור) או התלת-ממדי (במקרה הזה נהוג גם השם גוף גאומטרי או גוף הנדסי).

לצורות חד-ממדיות (גם כשהן שוכנות במרחב ממד גבוה יותר) נהוג לקרוא עקומות. דוגמאות מוכרות לצורות הן:

• צורות חד-ממדיות: קטעים.
• צורות דו-ממדיות: מעגלים, חתכי חרוט (כגון פרבולה ואליפסה), מצולעים, פרקטלים דו-ממדיים.
• צורות תלת-ממדיות: ספירות, כדורים, פאונים, חרוטים .

שקילות בין צורות

בגאומטריה אין מתעניינים בתכונות של צורה המשתנות לאחר שמזיזים, מסובבים או משקפים אותן (כפי שעושה מראה). שתי צורות שניתן להגיע מן האחת לשנייה על ידי שימוש בפעולות אלו (מבחינה פורמלית, יש איזומטריה המעתיקה את האחת על השנייה) נקראות חופפות, ונחשבות מבחינה גאומטרית כצורות זהות. פורמלית, ניתן להגדיר צורה כמחלקת שקילות של יחס החפיפה על תת-קבוצות במרחב.

יחס חזק פחות מיחס החפיפה הוא יחס הדמיון. שתי צורות הן דומות אם ניתן לכווץ או לנפח צורה אחת כך שתהיה חופפת לצורה השנייה. בהקשרים מסוימים צורות דומות נחשבות זהות.

שתי שקילויות חשובות נוספות שניתן להגדיר על צורות מגיעות מתחום הטופולוגיה. תחום זה אינו מתעניין בתכונות של צורות שמשתנות לאחר עיוותים רציפים. שקילויות אלו הן ההומיאומורפיות (החזקה יותר) וההומוטופיות (החלשה יותר). מבחינה טופולוגית כדור וקוביה נחשבים זהים, אבל הם שונים למשל מן הטורוס.