لکیری الجبرا/باب 7
اُوپر، ابواب: 1، 2، 3، 4، 5، 6، 7، 8
استحالہ
استحالہ ایسی فنکشن کو کہتے ہیں جو ایک سمتیہ فضا کے ارکان کو دوسری سمتیہ فضا میں بھیج دے۔ یعنی ایسی فنکشن جس کا میدانَ عمل (domain) اور حیطہ عمل (range) دونوں سمتیہ فضا ہوں۔ انگریزی میں اسے Transformation کہتے ہیں۔ فرض کرو کہ سمتیہ فضا V استحالہ کا میدانَ عمل ہو، اور سمتیہ فضا W اس استحالہ کا حیطہ۔ اب اگر سمتیہ v سمتیہ فضا V کا رکن ہو تو سمتیہ سمتیہ فضا W کا رکن ہو گا۔ اور ہم لکھیں گے
مثال۔ ترجمہ
ترمیماگر X سمتیہ فضا کا کوئی بھی سمتیہ ہو، تو یہ استحالہ اس سمتیہ کا ترجمہ (translate) کرتی ہے۔ یعنی اگر X کو فضا میں ایک نقطہ سمجھا جائے، تو یہ استحالہ اسے سمتیہ v کی سمت مٰیں ہٹا دیتی ہے، اور اس ہٹاؤ کی مقدار سمتیہ v کی مطلق قدر کے برابر ہے ۔ سمتیہ v بھی میں ہے۔ تصویر میں یہ ترجمہ استحالہ کے لیے دکھایا گیا ہے۔
لکیری استحالہ
ترمیملکیری استحالہ ایسے استحالہ کو کہتے ہیں جو لکیری آزمائیش پر پورا اترے۔ اگر استحالہ درج ذیل آزمائش پوری کرے (یہاں X اور Y ایک سمتیہ فضا کے ارکان (یعنی سمتیہ) ہیں، اور a کوئی بھی عدد میدان یا میں )
تو اسے لکیری استحالہ کہتے ہیں۔
مصفوفہ ضرب
ترمیممصفوفہ ضرب سے لکیری استحالہ بنتا ہے۔ اگر X سمتیہ فضا کا رکن ہو، اور A ایک مصفوفہ، تو لکیری استحالہ یوں لکھا جا سکتا ہے:
Y = A X
جہاں Y سمتیہ فضا میں ہو گا۔
مصفوفہ ضرب صورت
ترمیمکسی سمتیہ فضا V میں سمتیہ v کی کسی بنیاد سمتیہ مجموعہ کے حوالے سے منفرد صورت کو میں یوں لکھو:
اب فرض کرو کہ ایک دوسری سمتیہ فضا U ہے، اور ایک لکیری استحالہ ہے، اور
اب سمتیہ فضا U میں سمتیہ u کی کسی بنیاد سمتیہ مجموعہ کے حوالے سے منفرد صورت کو میں یوں لکھو:
ہم صورت c اور d میں رشتہ جاننا چاہتے ہیں۔
اب چونکہ سمتیہ فضا U میں ہیں، اسلئے انہیں U کے بنیاد سمتیہ کے لکیری جوڑ کے طور پر لکھا جا سکتا ہے:
لکیری استحالہ
اب v کو سمتیہ فضا V کے بنیاد سمتیہ کے لکیری جوڑ کے بطور لکھتے ہوئے
اور لکیرے پن کا استعمال کرتے ہوئے
ِ
چونکہ u کو سمتیہ فضا U کے بنیاد سمتیہ کے لکیری جوڑ کے بطور یوں لکھا تھا
اس سے یہ نتیجہ اخذ ہوتا ہے کہ
اب اس مصفوفہ کو ہم A کہتے ہوئے اوپر کی مساوات جو سمتیہ فضا U کے کسی سمتیہ u کی صورت d اور سمتیہ فضا V کے سمتیہ v کی صورت c کے درمیان رشتہ ایک مصفوفہ ضرب کے طور بتاتی ہے، یوں لکھتے ہیں:
غور کرو کہ مصفوفہ A دونوں سمتیہ فضا (V اور U) میں انتخاب کردہ بنیاد سمتیہ مجموعہ اور پر منحصر ہے۔ مصفوفہ A کی ہئیت پر غور کرو۔ مصفوفہ A کا ہر ستون حاصل کرنے کے لیے، سمتیہ فضا V کے ایک بنیاد سمتیہ کو T کے ذریعہ U میں بھیجا جاتا ہے، اور کو سمتیہ فضا U کے بنیاد سمتیہ مجموعہ کے لکیری جوڑ کے طور پر لکھنے سے جو عددی سر حاصل ہوتے ہیں، یہ میٹرکس کا ایک ستون بنتے ہیں۔
مثال 1
ترمیمایک لکیری استحالہ
جو یوں ہے
اور جو سمتیہ فضا سے کی ذیلی سمتیہ فضا U میں بھیجتا ہے۔ اس ذیلی سمتیہ فضا کو تصویر میں نیلے مستوی سے دکھایا گیا ہے۔ میں بنیاد سمتیہ مجموعہ کے لیے ہم قدرتی بنیاد سمتیہ مجموعہ کا انتخاب کر لیتے ہیں، یعنی
اور کی اس ذیلی سمتیہ فضا میں بنیاد سمتیہ مجموعہ
۔
اب V کے بنیاد سمتیہ کو T کے ذریعہ U میں بھیج کر U کے بنیاد سمتیہ کے لکیری جوڑ کے بطور یوں لکھتے ہیں
جس سے ہم مصفوفہ A پڑھ لیتے ہیں
مثال 2
ترمیمدرجہ اول کے کثیر رقمی کی فضا کو V کہو، اور درجہ دوم کے کثیر رقمی کو فضا U کہتے ہوئے، ایک لکیری استحالہ یہ ہے
یہاں درجہ اول کے کثیر رقمی کو
لکھا ہے۔
فضا V میں بنیاد سمتیہ
اور فضا U میں بنیاد سمتیہ
اب V کے بنیاد سمتیہ پر لکیری استحالہ T کے ذریعہ U میں لے جا کر، ان کو U کے بنیاد سمتیہ کے لکیری جوڑ کے بطور لکھ کر
میٹرکس A پڑھ لو
مسلئہ اثباتی
ترمیمایک سمتیہ فضا S پر لکیری استحالہ ہو۔ اس سمتیہ فضا میں ایک بنیاد سمتیہ مجموعہ کے لحاظ سے اس استحالہ کی صورت مصفوفہ A ہو۔ اب اگر اسی فضا کا ایک اور بنیاد سمتیہ مجموعہ ہو، اور اس مجموعہ کے حوالے سے استحالہ کی صورت مصفوفہ B ہو، تو دونوں مصفوفہ میں نسبت یوں لکھی جا سکتی ہے
جہاں مصفوفہ P مجموعہ سے مجموعہ لے جانی والی منتقلہ مصفوفہ ہے۔ گویا A اور B مشابہ مصفوفہ ہیں۔
نسبی استحالہ
ترمیماردو اصطلاح | English term |
---|---|
نسبی استحالہ | Affine transformation |
نَسبی استحالہ ایسے استحالہ کو کہتے ہیں، جو لکیری استحالہ کے بعد ترجمہ استحالہ کے استعمال سے وقوع ہو۔ لکیری فضا کے سمتیہ X کے لیے اس کی ہئیت یوں ہو گی
جہاں A ایک مصفوفہ ہے، اور b ایک مصفوفہ۔ مصفوفہ A سے ضرب لکیری حصہ ہے، اور b جمع سے ترجمہ (translate)۔
مثال
ترمیمسمتیہ فضا میں نسبی استحالہ
یہاں سمتیہ X کو مصفوفہ A سے ضرب دینے سے ایک نیا سمتیہ AX بنتا ہے، جس میں سمتیہ b جمع کیا جاتا ہے۔ یعنی اگر X کو فضا میں ایک نقطہ سمجھا جائے (تصویر 1)، تو مصفوفہ ضرب اس کو گھماتی ہے، اور اس کا مبداء سے فاصلہ تبدیل کرتی ہے۔ جمع b ، اسے سمتیہ b کی سمت مٰیں ہٹا دیتی ہے، اور اس ہٹاؤ کی مقدار سمتیہ b کی مطلق قدر کے برابر ہے ۔ سمتیہ b بھی میں ہے۔
اس مثال سے نسبی استحالہ کی افادیت واضح نہیں ہوتی۔ اس لیے تصویر 2 میں دکھایا گیا ہے کہ نیلے مربع کے نمام نکات پر نسبی استحالہ کے استعمال سے سبز کثیرالضلاع حاصل ہوتا ہے۔ نیلے مربع کے نقاط پرمصفوفہ ضرب (لکیری استحالہ) سے سرخ کثیرالاضلاع حاصل ہوتا ہے، جسے ترجمہ کر کے سبز کثیرالاضلاع مل جاتا ہے۔ یہاں یہ ذکر کر دیں کی تصویر 2 میں سرخ کثیرالاضلاع کا کچھ حصہ نیلے مربع کے نیچے چلے جانے کی وجہ سے نظر نہیں آ رہا۔ اس مثال سے واضح ہؤا کہ کس طرح کے مسائل کو ترجمہ کے ذریعہ لکیری میں تبدیل کیا جا سکتا ہے۔
چونکہ کسی بھی لکیری فضا کے سمتیہ کی منفرد صورت میں ہوتی ہے، اس لیے یہاں کی ساری بحث کسی بھی لکیری فضا پر لاگو آتی ہے۔
نسبی استحالہ
کو اُلٹانا (یعنی دیے گئے سمتیہ Y سے سمتیہ X حاصل کرنا) اس صورت ممکن ہے (اصلاً اگر بشرط اگر) جب مصفوفہ A مقلوب مصفوفہ ہو۔
حیطۂ استحالہ
ترمیمتعریف: ایک استحالہ ، جو سمتیہ فضا V کے سمتیہ کو سمتیہ فضا U کے سمتیہ میں لے جاتا ہے۔ فضا U کے ان سمتیوں کا مجموعہ جو اس استحالہ T کے ذریعہ حاصل ہو سکیں کو استحالہ T کا حیطہ (range) کہا جاتا ہے۔ یعنی T کے حیطہ کا ہر سمتیہ فضا V کے کم از کم ایک سمتیہ پر استحالہ T کے استعمال سے اخذ کیا جا سکتا ہے۔ T کے حیطہ کو ہم R(T) لکھیں گے۔
حیطہ لکیری استحالہ
ترمیماگر استحالہ ، لکیری استحالہ ہو، تو "حیطہ استحالہ" لکیری فضا U کی لکیری ذیلی فضا ہو گا۔ حیطہ (جو ایک لکیری فضا ہے) کے بُعد کو استحالہ کا رتبہ (rank) کہتے ہیں، اور اسے rank(T) لکھیں گے۔
فرض کرو کہ فضا V کا بُعد n ہے۔ اگر استحالہ کی عدیمہ فضا کے بُعد کو nullity(T) لکھا جائے تو
عدیمۂ استحالہ
ترمیمتعریف: ایک لکیری استحالہ ، جو سمتیہ فضا V کے سمتیہ کو سمتیہ فضا U کے سمتیہ میں لے جاتا ہے۔ فضا V کے ان سمتیوں کا مجموعہ جو اس استحالہ T کے ذریعہ صفر سمتیہ میں جائیں، کو لکیری استحالہ T کی عدیمہ فضا کہا جاتا ہے۔ انگریزی میں اسے T کا kernel یا null space کہتے ہیں۔ یہ عدیمہ فضا، سمتیہ فضا V کی سمتیہ ذیلی فضا ہوتی ہے۔
ایک مصفوفہ کے ساتھ اس متواقت لکیری مساوات کا نظام
کے حل کی سمتیہ فضا کو مصفوفہ A کی عدیمہ فضا کہا جاتا ہے۔ انگریزی میں اسے null space کہتے ہیں۔ عدیمہ کا لفظ عدیم الوجود سے بنا ہے۔ دوسرے الفاظ میں
مثلئہ اثباتی
ترمیمایک مصفوفہ A جس کے ستونوں کی تعداد n ہو، اس مصفوفہ کے رتبہ (rank) اور میٹرکس کی "عدیمہ فضا کے بُعد" (nullity) کی جمع n ہو گی۔ یعنی
مثال
ترمیممصفوفہ
یہ آسانی سے دیکھا جا سکتا ہے کہ اس مصفوفہ کی عدیمہ فضا کے لیے درج ذیل ایک بنیاد سمتیہ مجموعہ ہے
گویا اس مصفوفہ کی عدیمہ فضا کا بُعد 2 ہے۔ اور یہ عدیمہ فضا، کی سمتیہ ذیلی فضا ہے۔ اس مصفوفہ کا رتبہ بھی 2 ہے۔ اوپر کے مسئلہ اثباتی کی اس سے تصدیق ہوتی ہے کہ "بُعد عدیمہ فضا" اور رتبے کی جمع، مصفوفہ کے ستونوں کی تعداد کے برابر ہے۔
دوسرے الفاظ میں متواقت لکیری مساوات کا نظام
کا حل یہ ہے (بنیاد سمتیہ کا لکیری تولیف):