الرياضيات · المسرد

ما معنى system؟

تعريف 22.13 الرياضيات الجامعية — السنة 1 · الفصل 22 — المحددات والجمل الخطية

الجملة الخطية ذات nn معادلة في pp مجهولًا هي AX=BAX = B مع AMn,p(K)A \in \mathcal{M}_{n,p}(K) و BKnB \in K^n؛ وتكون متجانسة إذا كان B=0B = 0. ومجموعة حلولها، إذا كانت غير خالية، هي X0+kerAX_0 + \ker A: أي حلٌّ خاص زائد الحلّ المتجانس العام — وهي فضاء أفيني جزئي بُعده prkAp - \operatorname{rk} A (بمبرهنة الرتبة).

أمثلة

مثال 22.14 (البنية الأفينية، مجعولةً مرئية)

حُلَّ

{x+y+z=3xy+2z=2.\begin{cases} x + y + z = 3\\ x - y + 2z = 2 . \end{cases}

بطرح المعادلتين: 2yz=12y - z = 1، ومنه z=2y1z = 2y - 1 و x=3yz=43yx = 3 - y - z = 4 - 3y. وتكوّن الحلول المستقيمَ

(x,y,z)=(4, 0, 1)+y(3, 1, 2)(yR):(x, y, z) = (4,\ 0,\ -1) + y\,(-3,\ 1,\ 2) \qquad (y \in \R):

أي الحلّ الخاص X0=(4,0,1)X_0 = (4, 0, -1) (بالاختيار y=0y = 0) زائد مستقيم النواة kerA=Vect(3,1,2)\ker A = \operatorname{Vect}(-3, 1, 2) للجملة المتجانسة المرتبطة — وللتحقق: (3)+1+2=0(-3) + 1 + 2 = 0 و (3)1+4=0(-3) - 1 + 4 = 0. وهندسيًا، يتقاطع مستويان غير متوازيين من R3\R^3 على امتداد مستقيم، وكان عدّ الأبعاد prkA=32=1p - \operatorname{rk} A = 3 - 2 = 1 يعلم ذلك قبل أن نحلّ أيّ شيء. وتغيير الحلّ الخاص (ولنقل y=1y = 1: X0=(1,1,1)X_0' = (1, 1, 1)) يغيّر الوصف لا المستقيم: فللفضاء الأفيني الجزئي مبادئ كثيرة واتجاه واحد.

اقرأ في الفصل ←