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

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

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

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

מטריקת מנהטן[עריכת קוד מקור | עריכה]

מרחק בין שתי נקודות \ (x_1,y_1),(x_2,y_2) הוא אורכו של המסלול הקצר ביותר המחבר ביניהן.

ההבדל הבסיסי בין גאומטריית נהגי המוניות לגאומטריה האוקלידית הוא בהגדרת המרחק בין שתי נקודות.

בגאומטריה אוקלידית מסלול זה הוא של הקו הישר המחבר ביניהן, שאורכו, לפי משפט פיתגורס:

\ \sqrt{(x_1-x_2)^2 + (y_1-y_2)^2}

בגאומטריית נהגי המוניות "התנועה" נעשית רק במקביל לאחד משני הצירים – על מנת לעבור מנקודה אחת לאחרת יש לנוע מרחק מסוים ימינה (במקביל לציר ה-x) ומרחק מסוים מעלה (במקביל לציר ה-y) כך שהמסלול שנבחר כקצר ביותר בגאומטריה האוקלידית לא יהיה חוקי יותר.

לכן, המרחק בין שתי הנקודות \ (x_1,y_1),(x_2,y_2) יהיה:

\ |x_1-x_2| + |y_1-y_2|

(האיבר המחובר מימין מייצג את התנועה במקביל לציר ה-y, וזה משמאל את זו במקביל לציר ה-x.)

במתמטיקה מקובלת הכללה למושג המרחק הקרויה מטריקה: פונקציה \ m המקבלת שתי נקודות מחזירה את המרחק ביניהן, ומקיימת מספר תכונות:

  1. אי שליליות: המרחק בין כל שתי נקודות שונות תמיד חיובי, והמרחק בין נקודה לעצמה שווה ל-0.
  2. סימטריה: המרחק בין שתי נקודות לא תלוי בכיוון התנועה: \ m(a,b)=m(b,a).
  3. אי-שוויון המשולש: לא ניתן לקצר את הדרך בין שתי נקודות באמצעות מעבר בנקודה שלישית: \ m(a,b)\le m(a,c)+m(c,b).

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

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

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

דוגמאות נוספות למרחק נהגי המוניות[עריכת קוד מקור | עריכה]

שחמט[עריכת קוד מקור | עריכה]

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

מרחק המינג[עריכת קוד מקור | עריכה]

לכל שתי מחרוזות בינאריות \ x,y מאורך זהה מוגדר מרחק המינג כמספר המקומות בהם נבדלות שתי המחרוזות. למשל, מרחק המינג בין שתי המחרוזות:

\ x=10\mathbf{{\color{Blue}0}} 1\mathbf{{\color{Blue}0}} 01
\ y=10\mathbf{{\color{Blue}1}} 1\mathbf{{\color{Blue}1}} 01

הוא \ 2. (המקומות בהם נבדלות שתי המחרוזות מסומנים בכחול)

מרחק זה נמדד כבגאומטריית נהגי המוניות במרחב \ (\{0,1\})^{n} (אוסף כל הסדרות הבינאריות מאורך \ n).

ראו גם[עריכת קוד מקור | עריכה]