מטריצת אפסים

מתוך ויקיפדיה, האנציקלופדיה החופשית

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

קבוצת המטריצות מסדר m×n בחוג K יוצרת את החוג . מטריצת האפסים ב- היא המטריצה שכל איבריה שווים ל-, כאשר הוא איבר האפס ב-K. דהיינו:

מטריצת האפסים היא איבר האפס ב-, כלומר לכל מתקיים:

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

מטריצת אפסים מייצגת טרנספורמציה ליניארית המעבירה כל וקטור לווקטור האפס.

בעיית מטריצת האפסים[עריכת קוד מקור | עריכה]

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

הוכח כי בעיית מטריצת האפסים עבור קבוצה של 6 או יותר מטריצות , או של שתי מטריצות היא בעיה לא כריעה[1].

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

קישורים חיצוניים[עריכת קוד מקור | עריכה]

הערות שוליים[עריכת קוד מקור | עריכה]

  1. ^ Cassaigne, Julien; Halava, Vesa; Harju, Tero; Nicolas, Francois (2014). "Tighter Undecidability Bounds for Matrix Mortality, Zero-in-the-Corner Problems, and More"