מטריצת אפסים
במתמטיקה ובפרט באלגברה ליניארית, מטריצת אפסים היא מטריצה שכל איבריה הם 0, כלומר אפסים. לדוגמה:
קבוצת המטריצות מסדר m×n בחוג K יוצרת את החוג . מטריצת האפסים ב- היא המטריצה שכל איבריה שווים ל-, כאשר הוא איבר האפס ב-K. דהיינו:
מטריצת האפסים היא איבר האפס ב-הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle K_{m,n} \, } , כלומר לכל הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle A \in K_{m,n} \, } מתקיים:
הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle 0_{K_{m,n}}+A = A + 0_{K_{m,n}} = A}
עבור החוג K קיימת בדיוק מטריצת אפסים אחת מסדר הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle m\times n} , כך שבהקשר ברור ניתן להתייחס אליה כאל מטריצת האפסים. גם איבר האפס מיוצג בדרך כלל באמצעות 0 כך שניתן להגדירה באופן גנרי עבור כל חוג.
מטריצת אפסים מייצגת טרנספורמציה ליניארית המעבירה כל וקטור לווקטור האפס.
בעיית מטריצת האפסים
בעיית מטריצת האפסים מוגדרת בהינתן קבוצה סופית של מטריצות הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle n \times n} עם ערכים שלמים, ושואפת למצוא אלגוריתם מתמטי שיקבע האם ניתן להכפילן בסדר כלשהו, ייתכן עם חזרות, באופן שתוצר ההכפלה יהיה מטריצת האפס.
הוכח כי בעיית מטריצת האפסים עבור קבוצה של 6 או יותר מטריצות הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle 6 \times 6} , או של שתי מטריצות הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle 15 \times 15} היא בעיה לא כריעה[1].
ראו גם
קישורים חיצוניים
- מטריצת אפסים, באתר MathWorld (באנגלית) המזהה לא מולא ולא נמצא בוויקינתונים, נא למלא את הפרמטר.
הערות שוליים
- ^ Cassaigne, Julien; Halava, Vesa; Harju, Tero; Nicolas, Francois (2014). "Tighter Undecidability Bounds for Matrix Mortality, Zero-in-the-Corner Problems, and More"
34014157מטריצת אפסים