الموجز
الفضاء المتجهي (Vector Space)، ويُسمّى أيضًا الفضاء الخطّي (Linear Space)، هو من المفاهيم الأساسية في الجبر الخطي، إذ يُمثّل بنية رياضية تتكوّن من مجموعة عناصر تُسمّى متجهات، تكون مغلقةً تحت عمليتَي الجمع والضرب العددي، بحيث أن أي تركيب خطّي لمتجهات الفضاء يُنتِج متجهًا جديدًا ينتمي إلى الفضاء نفسه. يُستخدَم مصطلحا الفضاء المتجهي والفضاء الخطي بالتكافؤ في الأدبيات الرياضية، إذ يشيران إلى المفهوم البنيوي ذاته.
يُشكّل الفضاء المتجهي الإطار البنيويّ الذي تُدرَس من خلاله مفاهيم جوهرية مثل الاستقلالية الخطية، والبُعْد، والامتداد الخطّي، والعلاقات الخطية بين المتّجهات. ويحتوي كلّ فضاء متّجهي على مجموعة مميّزة تُعرف بالأساس، وهي مجموعة من المتجهات المستقلة خطيًا، التي يمكن بوساطتها توليد جميع متجهات الفضاء عن طريق التراكيب الخطية. يُحدَّد بُعْد الفضاء المتجهي بعدد عناصر أي أساس له، وهو مقدارٌ يعكس درجة تعقيد البنية الخطية للفضاء.
وتبرز أهمية الفضاء المتجهي في تطبيقاته الواسعة، إذ يُستخدم في تحليل أنظمة المعادلات الخطية، ودراسة التحويلات الخطية، وتمثيل البيانات والمتجهات. تمتدّ تطبيقاته أيضًا إلى مجالات متعددة مثل الفيزياء، والهندسة، وعلوم الحاسوب، والرسوميات الحاسوبية، لِما يُوفّره من إطار رياضي مُنظَّم يسمح بفَهْم العلاقات بين المتجهات وتمثيلها بدقة ووضوح.
وعلى الرغم من أنّ مفهوم الفضاء المتّجهي يُقدَّم في هذا السياق ضمن إطاره التأسيسي، فإنه يُمثّل نقطة انطلاق مركزية لفروع ونظريات متقدّمة في الجبر الخطي والرياضيات الحديثة عمومًا، فبعد تثبيت البديهيات الأساسية، تتوسّع الدراسة لتشمل موضوعات بنيوية أعمق، مثل الفضاءات الجزئية، ونواة التحويل ومداه، والتمثيل بالمصفوفات. تمتدّ الدراسة كذلك إلى فضاءات مزوّدة ببُنى إضافية، مثل الفضاءات المعيارية وفضاءات الضرب الداخلي، التي تقود بدَوْرها إلى فضاءات باناخ وفضاءات هيلبرت ذات الأهمية المحورية في التحليل الدالي والفيزياء الرياضية. تظهر كذلك مجالات أكثر تقدُّمًا، تتناول الفضاءات المتجهية لا نهائية البُعْد، والفضاءات التوبولوجية الخطية، ونظرية الطيف، لِما لها من تطبيقات أساسية في المعادلات التفاضُلية والتحليل الدالي.
التعريف الرياضي
يُعَدّ مفهوم الفضاء المتجهي من المفاهيم الأساسية في الجبر الخطي، إذ يوفّر إطارًا عامًّا ومنهجيًا لدراسة المتجهات والعمليات الجبرية المعرَّفة إليها. يقوم هذا المفهوم على بنية تجريدية تسمح بدراسة طيف واسع من المفاهيم الرياضية ضمن نظام موحَّد من القواعد. ويُعرَّف الفضاء المتّجهي بأنه مجموعة غير فارغة من العناصر تُسمّى متجهات، تكون مزوّدة بعمليتَيْن أساسيتَيْن هما جمع المتجهات والضرب العددي، بحيث تخضع هاتان العمليتان لبديهيات محدَّدة تضمن انسجام هذه البنية الجبرية[1].
بصورة دقيقة، لتكن 𝑉 مجموعة غير فارغة، تُعرِّف إليها عمليتان:
-
الجمع: قاعدة تربط كل زوج من العناصر
\(u,v\) في
\(V\) بعنصر وحيد في
\(V\) يُرمَز له بـ
\(u+v\)، ويُسمّى مجموعهما.
-
الضرب العددي: قاعدة تربط كل عدد قياسي
\(k\) (من حقل مثل
\(\mathbb{R} \) أو
\(\mathbb{C} \)) وكل عنصر
\(u\) في
\(V\) بعنصر في
\(V\) يُرمَز له بـ
\(ku\)، ويُسمّى المضاعف العددي للمتجه
\(u\).
تُسمّى المجموعة 𝑉 فضاءً متجهيًا إذا تحقّقت البديهيات الآتية لكل
\(u,v,w\in V\) ولكل أعداد قياسية
\(k,m\)[2]:
-
الإغلاق تحت الجمع: إذا كانت
\(u,v\in V\) فإن
\(u+v\in V\).
-
الإبدالية:
\(u+v=v+u\) .
-
التجميعية:
\(u+\left(v+w\right)=\left(u+v\right)+w\)
-
وجود العنصر الصفري: يوجد عنصر
\(0\in V\) يُسمّى بالمتجه الصفري، بحيث أن
\(u+0=0+u=u\).
-
وجود المعكوس الجمعي: لكل عنصر
\(u\in V\) يوجد عنصر
\(-u\in V\) يُسمّى معكوس
\(u\)، بحيث أن
\(u+\left(-u\right)=\left(-u\right)+u=0\).
-
الإغلاق تحت الضرب العددي: إذا كان
\(k\) عددًا قياسيًا و
\(u\in V\) فإن
\(ku\in V\).
-
التوزيعية بالنسبة للجمع المتجهي: لأي عدد
\(k\) وعنصرَي
\(u,v\in V\)، فإن
\(k\left(u+v\right)=ku+kv\).
-
التوزيعية بالنسبة لجمع الأعداد القياسية:
\(\left(k+m\right)u=ku+mu \).
-
التوافق مع ضرب الأعداد القياسية:
\(k(mu)=(km)u\).
-
وجود العنصر المحايد للضرب العددي:
\(1u=u\).
عند تحقّق هذه البديهيات، تُسمّى المجموعة
\(V\) فضاءً متجهيًا، وتُسمّى عناصرها متجهات.
يُبيّن هذا التعريف أن مفهوم الفضاء المتجهي لا يقتصر على نوع مُعيَّن من العناصر، ولا يتطلّب أن تكون المتجهات أعدادًا أو نقاطًا في فضاء إقليدي مثل
\(\mathbb{R}^{n}\)، فقد تكون المتجهات دوالَّ، أو مصفوفات، أو كثيرات حدود، أو متتاليات، ما دامت قد خضعت للعمليتَيْن المعرفتَيْن وحقّقت بديهيات الفضاء المتجهي.
كذلك، لا يُشترط أن تتطابق عمليتا الجمع والضرب العددي مع العمليات العددية المُعتادة، بل يكفي أن تُعرَّفا بطريقة تُحقّق البديهيات السابقة. ومن ثمّ، فإن جوهر الفضاء المتجهي لا يكمن في طبيعة عناصره، بل في البنية الجبرية التي تُنظّم العلاقات بينها. لهذا السبب، يُعَدّ الفضاء المتجهي إطارًا عامًّا ومرنًا يمكن تطبيقه على أنظمة رياضية متعدّدة تختلف في طبيعتها، لكنها تشترك في خضوعها للبديهيات الأساسية نفسها[3].
تحديد الفضاء المتجهي
للتحقّق من أنّ مجموعة ما تُشكّل فضاءً متجهيًا، لا بدّ أولًا من تحديد طبيعة عناصر هذه المجموعة، ثم توضيح كيفية تعريف عمليتَي الجمع والضرب العددي عليها، إذ قد يختلف تعريف هاتَيْن العمليتَيْن عن التعريف المألوف في الفضاء الإقليدي. بعد ذلك، يتم التأكّد من تحقّق جميع بديهيات الفضاء المتجهي؛ فإذا تحقّقت هذه البديهيات قيل إن المجموعة فضاءٌ متجهي، أمّا إذا أُخِلّ بإحدى البديهيات، ولو بواحدة فقط، فلا تُعَدّ المجموعة فضاءً متجهيًا[4].
أمثلة على مجموعات تمثّل فضاءات متجهية
فيما يأتي أمثلة على مجموعات تُعَدّ فضاءات متجهية.
-
الفضاء \(\mathbb{R}^{n}\):
لتكن
\(V=\mathbb{R}^{n}\) مجموعة معرّفة إليها عمليتَا الجمع والضرب العددي كما يأتي:
\[u+v=\left(u_{1}, u_{2}, \ldots , u_{n}\right)+\left(v_{1}, v_{2}, \ldots , v_{n}\right)=\left(u_{1}+v_{1}, u_{2}+v_{2}, \ldots , u_{n}+v_{n}\right)\]
\[ku=\left(ku_{1}, ku_{2}, \ldots , ku_{n}\right)\]
لأي عنصرَي \(u,v\) في \(\mathbb{R}^{n}\) ولأي \(k\)في
\(\mathbb{R} \).
فإن
\(\mathbb{R}^{n}\) في هذه الحالة يُسمّى فضاءً متجهيًا، ذلك لأنه يُحقّق جميع بديهيات الفضاء المتجهي.
-
الفضاء \(M_{2\times 2}\):
ليكن
\(V=M_{2\times 2}\)، حيث أن
\(M_{2\times 2}\) هي مجموعة جميع المصفوفات ذات القياس
\(2\times 2\) مع مدخلات في مجموعة الأعداد الحقيقية، معرّفة إليها عمليتا الجمع والضرب العددي كما يأتي:
\[u+v=\begin{bmatrix} u_{11} & u_{12} \\ u_{21} & u_{22} \end{bmatrix}+\begin{bmatrix} v_{11} & v_{12} \\ v_{21} & v_{22} \end{bmatrix}=\begin{bmatrix} u_{11}+v_{11} & u_{12}+v_{12} \\ u_{21}+v_{21} & u_{22}+v_{22} \end{bmatrix}\]
\[ku=\begin{bmatrix} ku_{11} & ku_{12} \\ ku_{21} & ku_{22} \end{bmatrix}\]
لأي عنصرَي \(u,v\) في \(M_{2\times 2}\) ولأيّ \(k\)في
\(\mathbb{R} \).
فإن
\(M_{2\times 2}\) فضاءٌ متجهيّ، هذا لأن جميع بديهيات الفضاء المتجهي متحقّقة.
-
الفضاء الصفري (Zero Vector Space):
يُعَدّ الفضاء الصفري أبسط مثال على الفضاءات المتجهية، إذ يتكوّن من عنصر واحد فقط هو المتجه الصفري
\(0\). وعلى الرغم من بساطته، فإنه يُحقق جميع بديهيات الفضاء المتّجهي على أي حقل عددي 𝔽، لأن جمع العنصر الوحيد مع نفسه يُعطيه، ولأن ضربه بأي عدد من 𝔽 يُبقيه كما هو.
مثال:
لتكن
\(V={0}\)، مع عمليتَيْن مُعرَّفتَيْن بالصيغة المعتادة:
\(0+0=0\) و
\(a\cdot0=0\) لكل
\(a\in \mathbb{R} \). عندئذٍ، تكون
\(V\) فضاءً متجهيًا على
\(\mathbb{R} \)، ويُسمّى هذا الفضاء "الفضاء الصفري".
أمثلة على مجموعات ليست فضاءات متجهية
فيما يأتي أمثلة على مجموعات لا تُعَدّ فضاءات متجهية، ذلك لأن العمليات المعرّفة إليها لا تستوفي جميع بديهيات الفضاء المتجهي، كالإخلال بشرط الإغلاق تحت الضرب العددي، أو بعدم تحقّق وجود العنصر المحايد.
-
مثال على \(\mathbb{R}^{2}\) بعمليات غير قياسية:
لتكن
\(V=\mathbb{R}^{2}\) مجموعة معرّفة إليها عمليتا الجمع والضرب العددي كما يأتي:
\[u+v=\left(u_{1}, u_{2}\right)+\left(v_{1}, v_{2}\right)=\left(u_{1}+v_{1}, u_{2}+v_{2}\right)\]
\[ku=\left(ku_{1}, 0\right)\]
لأي عنصرَي \(u,v\) في \(\mathbb{R}^{2}\) ولأي \(k\)في
\(\mathbb{R} \).
في هذه الحالة، لا يُشكّل
\(V\) فضاءً متجهيًا، لأن بديهية وجود العنصر المحايد للضرب العددي غير متحقّقة؛ إذ لا يتحقّق الشرط:
\[u=1u\]
لكل
\(u\)، ومن ثم تُخالَف إحدى بديهيات الفضاء المتجهي.
-
مثال على مجموعة دوالّ لا تُشكّل فضاءً متجهيًا:
لتكن
\(V\) مجموعة جميع الدوالّ الحقيقية المعرّفة إلى المجال
\(\left(-\infty , \infty \right)\)، وعُرِّفت عمليتا الجمع والضرب العددي كما يأتي:
\[\left(f+g\right)\left(x\right)=f\left(x\right)+g\left(x\right)\]
\[\left(kf\right)\left(x\right)=\frac{1}{f\left(x\right)-k}\]
لكل \(f,g\) في \(V\) ولكل عدد قياسي \(k\)في
\(\mathbb{R} \).
في هذه الحالة، لا تُشكّل 𝑉 فضاءً متجهيًا، لأن بديهية الإغلاق تحت الضرب العددي غير متحقّقة.
ولتوضيح ذلك، الدالة
\(f=f\left(x\right)=x\) التي تنتمي إلى المجموعة
\(V\)، عند ضربها بالعدد القياسي 3، تكون النتيجة:
\[\left(3f\right)\left(x\right)=\frac{1}{f\left(x\right)-3}= \frac{1}{x-3}\]
وهي دالة غير معرّفة إلى المجال
\(\left(-\infty , \infty \right)\)، ومن ثم لا تنتمي إلى 𝑉، ومن ثم فإن المجموعة 𝑉 ليست فضاءً متجهيًا.
- مفاهيم أساسية في دراسة الفضاء المتجهي
تكمن أهمية الفضاءات المتجهية في قدرتها على توحيد عددٍ كبيرٍ من الأفكار والبنى الرياضية ضمن إطار مفاهيميّ واحد، ما يتيح دراسة مسائل رياضية متنوّعة باستخدام الأدوات النظرية نفسها. وتعتمد دراسة هذه الفضاءات على مجموعة من التعريفات والمفاهيم الأساسية التي تُحدِّد خصائصها البنيوية، وتُبنى عليها النظريات والنتائج اللاحقة في الجبر الخطي. من أبرز هذه المفاهيم: الاستقلال الخطي، والتركيب الخطي، والمجموعة المولِّدة، والقاعدة، والبعد[5].
يُعَدّ الاستقلال الخطي (Linear Independence) أحد المفاهيم المحورية في دراسة الفضاءات المتجهية، إذ يتناول طبيعة العلاقات الخطية بين المتجهات المُكوِّنة لهذه الفضاءات. يُعبِّر هذا المفهوم عن مجموعة من المتجهات في فضاء متجهي مُعيَّن، بحيث لا يمكن تمثيل أي متجهٍ منها على صورة تركيب خطي من المتجهات الأخرى في المجموعة.
يُصاغ هذا المفهوم رياضيًا على النحو الآتي:
لتكن
\(S={v_{1},v_{2},\ldots ,v_{r}}\) مجموعةً من المتجهات التي تنتمي إلى فضاء متجهي
\(V\)، فإن متجهات المجموعة
\(S\)تُسمّى مستقلة خطيًا إذا كان الحلّ الوحيد للمعادلة
\(c_{1}v_{1}+c_{2}v_{2}+\ldots +c_{r}v_{r}=0\) هو الحل البديهي:
\(c_{1}=c_{2}=\ldots =c_{r}=0\). أما إذا وُجد حلٌّ غير صفري لهذه المعادلة، فإن المتجهات تكون تابعة خطيًا، أي غير مستقلة خطيًا.
[الشكل 1] - ثلاثة متجهات مستقلة خطيًا في فضاء متجهي ثلاثي الأبعاد
حذف الصورة؟
سيؤدي هذا إلى نقل الصورة إلى سلة المهملات.
على سبيل المثال، تُعَدّ مجموعة المتجهات:
\[u=\left(5,0,0\right), v=\left(0,6,0\right), z=(0,0,7)\]
في الفضاء المتجهي
\(\mathbb{R}^{3}\)، المعرَّف إليه الجمع والضرب العددي بالشكل القياسي، مجموعة مستقلة خطيًا. يتضح ذلك من خلال دراسة المعادلة:
\[c_{1}u+c_{2}v+c_{3}z=0\]
وبالتعويض تكون النتيجة:
\[c_{1}\left(5,0,0\right)+c_{2}\left(0,6,0\right)+c_{3}(0,0,7)=0\]
\[\implies \left(5c_{1},0,0\right)+\left(0,6c_{2},0\right)+\left(0,0,7c_{3}\right)=\left(5c_{1},6c_{2},7c_{3}\right)=(0,0,0)\]
ومن ثمّ يلزم أن يكون:
\[c_{1}=0, c_{2}=0, c_{3}=0\]
وبما أنَّ الحلّ الوحيد هو الحلّ الصفري، فإن هذه المتجهات مستقلة خطيًا.
- التركيب الخطي والمجموعة المولِّدة
يُعَدّ مفهوما التركيب الخطي (Linear Combination) والمجموعة المولِّدة (Span) من المفاهيم الأساسية في الجبر الخطي، إذ يُعبّران عن الكيفية التي يمكن من خلالها توليد متجهات الفضاء المتجهي انطلاقًا من مجموعة محدودة من المتجهات.
يُعرَّف التركيب الخطي على النحو الآتي:
ليكن
\(V\) فضاءً متجهيًا، ولتكن
\[S=\left\{v_{1},v_{2},\ldots v_{r}\right\}\subseteq V\]
فإن المتجه
\(v\in V\) يُقال إنه تركيب خطي (Linear Combination) للمتجهات
\(v_{1},v_{2},\ldots v_{r}\)، إذا وُجدت أعداد (ثوابت)
\(k_{1},k_{2},\ldots k_{r}\in Ϝ\) (حيث
\(Ϝ\) هي الحقل العددي عادةً للأعداد الحقيقية أو المركبة)، بحيث يمكن كتابة:
\[v=k_{1}v_{1}+k_{2}v_{2}+\ldots +k_{r}v_{r}\]
أما إذا أمكن التعبير عن كلّ متجه في
\(V\) على هذا النحو، فإن المجموعة
\[S=\left\{v_{1},v_{2},\ldots v_{r}\right\}\]
تُسمّى مولِّدة للفضاء المتجهي 𝑉، ويُقال عند ذلك إن:
\[V=span{S}=span\left\{v_{1},v_{2},\ldots v_{r}\right\}\]
[الشكل 2] - متجهان في فضاء ثلاثي الأبعاد يُولّدان فضاءً يُمثّل مستوًى ذا بُعدَيْن
حذف الصورة؟
سيؤدي هذا إلى نقل الصورة إلى سلة المهملات.
على سبيل المثال، يُعَدّ الفضاء المتجهي
\(P_{n}\) الذي يضم جميع كثيرات الحدود في متغيّر واحد، التي لا تتجاوز درجتها العدد
\(n\)، والمزوّد بعمليتَي الجمع والضرب العددي بالشكل القياسي، فضاءً متولّدًا من المجموعة:
\[S={1,x,x^{2},\ldots ,x^{n}}\]
إذ يمكن كتابة أي كثيرة حدود
\[p(x)\in P_{n}\]
على صورة تركيب خطي من متجهات المجموعة
\(S\) كما يأتي:
\[p(x)=a_{n}x^{n}+a_{n-1}x^{n-1}+\ldots +a_{1}x+a_{0}\]
حيث
\(a_{n}،a_{n-1}،\ldots ،a_{1}،a_{0}\) أعداد حقيقية. ومن ثمّ:
\[P_{n}=span\left\{S\right\}=span\left\{1,x,x^{2},\ldots ,x^{n}\right\}\]
كذلك، إذا قيل إن المتجه
\(w=(9,2,7)\) يمكن كتابته كتركيب خطي من المتجهَيْن:
\[u=\left(1,2,-1\right),v=(6,4,2)\]
فهذا يعني وجود عددَيْن حقيقيَّيْن
\(k_{1},k_{2}\)، بحيث يُكتَب المتجه
\(w\) كتركيب خطي من المتجهَيْن
\(u,v\) كما يأتي:
\[w=k_{1}u+k_{2}v\]
وبِحَلِّ هذا النظام تكون النتيجة:
\[k_{1}=-3, k_{2}=2\]
وأن
\(k_{1},k_{2}\) ليس كلاهما صفريَّيْن.
يعتمد مفهوم البُعْد (Dimension) اعتمادًا أساسيًا على مفهوم القاعدة أو الأساس (Basis)، وتُعرَّف القاعدة بأنها مجموعة من المتجهات المستقلة خطيًا التي تُولِّد الفضاء المتجهي كاملًا، وبذلك تُمثّل الرابط المباشر بين مفهومَي الاستقلال الخطي والتركيب الخطي.
وبصورة دقيقة، إذا كانت
\(V\) فضاءً متجهيًا، وكانت
\(S={v_{1},v_{2},\ldots ,v_{r}}\) مجموعةً من المتجهات في
\(V\)، فإن
\(S\) تُسمّى قاعدة (أساسًا) للفضاء المتجهي
\(V\)، إذا تحقّق الشرطان الآتيان معًا:
- أن تكون عناصرها مستقلة خطيًا.
- أن تكون مولِّدة للفضاء
\(V\)، أي:
\[Span\left(S\right)=V\]
أما البعد، فهو مفهومٌ يُعبّر عن عدد عناصر أي قاعدة للفضاء المتجهي
\(V\)، ويُرمَز إليه بالصيغة:
\[\dim (V)\]
فعلى سبيل المثال، تُشكّل المجموعة
\(S={\left(1,2,1\right),\left(2,9,0\right),(3,3,4)}\) قاعدةً للفضاء المتجهي
\(\mathbb{R}^{3}\)، المعرّفة إليه عمليتا الجمع والضرب العددي بالشكل العامّ القياسي، هذا لأن عناصرها مستقلة خطيًا، ويمكن كتابة أي عنصر في هذا الفضاء كتركيب خطي من متجهاتها، أو يمكن القول اختصارًا إنها مولِّدة لهذا الفضاء. أما بالنسبة لبعد هذا الفضاء، فهو عدد المتجهات في المجموعة
\(S\)، وهي 3 متجهات، لذا فإن بعد هذا الفضاء هو 3، ويُكتَب على الشكل
\(\dim\left(\mathbb{R}^{3}\right)=3\).
يجب ملاحظة أن كل قاعدة (أساس) هي مجموعة مولِّدة، لكن ليست كل مجموعة مولِّدة أساسًا.
على سبيل المثال: لتكن
\(T={(1,0),(0,1),(1,1)}\) في
\(\mathbb{R}^{2}\)، هذه المجموعة تولِّد
\(\mathbb{R}^{2}\) أيضًا، لكنها ليست أساسًا لأنها غير مستقلة خطيًا، إذ إن:
\[(1,1)=(1,0)+(0,1)\]
أي أن أحد عناصرها يمكن كتابته تركيبًا خطيًا من العنصرَيْن الآخرَيْن.
يتّضح ممّا سبق أن دراسة الفضاءات المتجهية تُمثّل حجر الأساس لفهم كثيرٍ من موضوعات الجبر الخطي، إذ تُتيح مفاهيمُ مثل الاستقلال الخطي، والتركيب الخطي، والقاعدة، والبعد، توصيفَ البنية الداخلية لأي فضاء رياضي بصورة دقيقة ومنظّمة، وتُمهّد الطريق لدراسة البنى الخطية الأكثر تقدُّمًا في الرياضيات الحديثة.
تُعَدّ الفضاءات المتجهية من الركائز الأساسية في الرياضيات الحديثة، إذ تُشكّل الإطارَ البنيويَّ العامَّ الذي تُفهَم من خلاله المفاهيم المرتبطة بالمتجهات، والمعادلات الخطية، والتحويلات الخطية. تُستخدَم هذه الفضاءات في الجبر الخطي لتحليل الأنظمة الخطية، ودراسة المصفوفات والمحدّدات، وتحديد مفاهيم أساسية مثل البُعْد والاستقلالية الخطية بين المتجهات، وهي موضوعات محورية في البناء الرياضي المعاصر[6].
تمتدّ تطبيقات الفضاءات المتجهية إلى مجالات
التحليل العددي والإحصاء، إذ تُستخدَم في تقريب الحلول العددية للأنظمة الخطية، وتمثيل البيانات متعدّدة المتغيّرات، وبناء النماذج الخطية، ولا سيما في تحليل الانحدار الخطي (Linear Regression) الذي يقوم في جوهره على بنية فضاء متجهي ذي بعد مُنتَهٍ[7].
في الفيزياء، تُمثّل الفضاءات المتجهية الإطار الرياضي الطبيعي لوصف الكمّيات المتجهة، مثل القوة والسرعة والمجالات الفيزيائية المختلفة، كالمجال الكهربائي والمغناطيسي. تكتسب هذه الفضاءات أهمية خاصة في ميكانيكا الكمّ (Quantum Mechanics)، إذ تُمثَّل الحالاتُ الكموميّةُ بعناصر في فضاءات هيلبرت (Hilbert Spaces)، وهي فضاءات متجهية مزوَّدة بجداء داخلي يُتيح قياس الزوايا والأطوال وتفسير الكمّيات الفيزيائية احتماليًا[8].
أما في الهندسة، فتُستخدَم الفضاءات المتجهية في دراسة المواقع والاتجاهات والتحويلات الهندسية، مثل الانعكاس (Reflection)، والدوران (Rotation)، والتمدّد (Scaling)، ما يجعلها أداةً أساسية في الهندسة التحليلية، وهندسة الحاسوب، والرسومات الحاسوبية، ونمذجة الأشكال ثلاثية الأبعاد[9].
تظهر تطبيقات الفضاءات المتجهية بوضوح أيضًا في علوم الحاسوب والتعلُّم الآلي (Machine Learning)، إذ تُستخدَم لتمثيل البيانات في فضاءات عالية الأبعاد (High-Dimensional Spaces)، وتحليلها باستخدام تقنيات رياضية متقدّمة، مثل تحليل المكوّنات الرئيسة (Principal Component Analysis - PCA)، الذي يعتمد على مفاهيم
القيم الذاتية والمتجهات الذاتية لتقليل الأبعاد واستخراج الأنماط الأساسية من البيانات[10].
في الاقتصاد والتمويل، تُستخدَم النماذج الخطية القائمة على الفضاءات المتجهية في تحليل العلاقات بين المتغيّرات الاقتصادية، ودراسة التوازنات الاقتصادية، والتنبؤ بالاتجاهات المستقبلية للأسواق، إضافةً إلى تحليل تأثير عدد كبير من المتغيّرات في سلوك الأنظمة الاقتصادية والمالية[11].
يتبيّن ممّا سبق أن الفضاءات المتجهية لا تقتصر على كونها مفهومًا نظريًا مجرّدًا في الجبر الخطي، بل تُمثِّل أداةً رياضيةً عامّة تربط بين فروع متعدّدة من الرياضيات، وتسهم بفاعلية في بناء النماذج التحليلية في العلوم الطبيعية والهندسية والاقتصادية والتقنية. لهذا، تُعَدّ الفضاءات المتجهية أحد الأعمدة الأساسية التي تقوم عليها الرياضيات المعاصرة وتطبيقاتها الحديثة[12].
[1] Howard Anton,
Elementary Linear Algebra, 11th ed. (Hoboken, NJ: Wiley, 2013), chapter 4.
[2] Ibid., p. 184.
[3] Ibid., chapter 4.
[4] Ibid.
[5] Ibid.; Gilbert Strang,
Linear Algebra and Its Applications, 4th ed. (Belmont, CA: Thomson Brooks/Cole, 2006), pp. 115-129.
[6]Ramakanta Meher, Linear Algebra with Its Applications
(Gistrup, Denmark: River Publishers, 2025); Strang,
op. cit.
[7] Ibid.
[8] Ibid.
[9] Ibid.
[10] Ibid.
[11] Ibid.
[12] Ibid.
المراجع
Anton, Howard.
Elementary Linear Algebra. 11th ed. Hoboken, NJ: Wiley, 2013.
Strang, Gilbert.
Linear Algebra and Its Applications. 4th ed. Belmont, CA: Thomson Brooks/Cole, 2006.
Meher, Ramakanta. Linear Algebra with Its Applications. Gistrup, Denmark: River Publishers, 2025.