فضاء هيلبرت

المفهوم الرياضياتي لفضاء هيلبرت (بالإنجليزية: Hilbert space)‏ يعمم مفهوم الفضاء الإقليدي. فهو فضاء معياري معرف عليه دالة الجداء الداخلي بشرط أن يكون المعيار المعرف عليه هو بدلالة دالة الجداء الداخلي هذه، بالإضافة إلى وجوب كونه فضاء معياريا كاملا أو ما يدعى ب فضاء باناخ. وهذا يعني أن أي فضاء هيلبرت هو فضاء باناخ ولكن العكس غير صحيح. مثال على ذلك، الفضاء Q هو فضاء منتظم تحت النظيم العادي ولكنه ليس بفضاء بانخ.

فضاء هيلبرت

معلومات عامة

صنف فرعي من	uniformly convex space (en) فضاء الجداء الداخلي Hilbert manifold (en) فضاء باناخ
سُمِّي باسم	ديفيد هيلبرت

يمكن نمذجة حالة الوتر المهتز كنقطة في فضاء هلبرت. يتم تحليل الوتر المهتز إلى نغماته التوافقية المميزة عن طريق إسقاط النقطة على محاور الإحداثيات في الفضاء.

يمكننا فضاء هلبرت من تعميم أساليب الجبر الخطي والتفاضل والتكامل المستخدمة في الفضاءات الإقليدية ثنائية الأبعاد وثلاثية الأبعاد إلى فضاءات قد تكون لانهائية البُعد. فضاء هلبرت هو فضاء متجهي مزود بجداء داخلي، وبذا يسمح بتعريف دالة مسافة وتعامد. وإضافة لذلك، فإن فضاء هلبرت هو فضاء متري كامل مع دالة المسافة المعرفة فيه (في هذه الحالة هي دالة المعيار)، مما يعني توفر النهايات التي تسمح باستخدام التفاضل والتكامل.

فضاءات هلبرت تظهر بشكل طبيعي كثيرًا في الرياضيات والفيزياء، عادةً كفضاء دالي لا نهائي الأبعاد. أقدم فضاءات هلبرت دراسةً كانت على يد ديفيد هيلبرت وإرهارد شميدت وفريجيس ريش "Frigyes Riesz" في العقد الأول من القرن العشرين. وتعتبر من الأدوات الهامة في المعادلات التفاضلية الجزئية، وميكانيكا الكم، وتحليل فورييه (الذي يتضمن تطبيقات لمعالجة الإشارات ونقل الحرارة)، ونظرية إرجوديك (التي تشكل الأساس الرياضي للديناميكا الحرارية). صاغ جون فون نيومان مصطلح فضاء هيلبرت للمفهوم التجريدي المستخدم في العديد من هذه التطبيقات المتنوعة. أدى نجاح أساليب فضاء هيلبرت إلى ازدهار التحليل الدالي. بعيدًا عن الفضاءات الإقليدية الكلاسيكية، فإن من أمثلة فضاءات هيلبرت فضاءات الدوال الكمولة تربيعيًا "L^p space"، وفضاءات المتسلسلات "Sequence space"، وفضاءات سوبوليف "Sobolev space" المكونة من دوال معممة، وفضاءات هاردي "Hardy space" للدوال تامة الشكل.

يلعب الحدس الهندسي دورًا مهمًا في العديد من جوانب نظرية فضاء هلبرت. توجد نظائر مطابقة لنظرية فيثاغورس وقانون متوازي الأضلاع في فضاء هلبرت. على مستوى أعمق، يلعب الإسقاط العمودي على فضاء جزئي (مناظر لـ «إسقاط ارتفاع» المثلث) دورًا مهمًا في مسائل التحسين وجوانب أخرى في النظرية. يمكن تحديد بشكل فريد عنصر في فضاء هيلبرت عن طريق إحداثياته المنسوبة لزمرة من محاور الإحداثيات (متعامدة القاعدة في فضاء هلبرت)، على غرار الإحداثيات الديكارتية في المستوى. عندما تكون هذه المجموعة من المحاور معدودة غير منتهية، في هذه الحالة يمكن النظر لفضاء هيلبرت على أنه فضاء متسلسلات لانهائية التي يمكن جمعها تربيعيًا. فضاء المتسلسلات اللانهائية هذا هو ما يشار إليه في كثير من الأحيان في الأدبيات الرياضية القديمة بفضاء هلبرت. المؤثرات الخطية في فضاء هلبرت أيضًا لها حضور كبير: في الحالات الجيدة، هي تحويلات تساهم في تمديد الفضاء بواسطة عوامل مختلفة في اتجاهات متعامدة تبادليًا بصورة دقيقة تظهر من خلال دراسة طيفها.

تعريف وتوضيح

مثال تحفيزي: فضاء المتجه الإقليدي

أحد الأمثلة الأكثر شيوعًا لفضاء هيلبرت هو فضاء المتجه الإقليدي المكون من متجهات ثلاثية الأبعاد، وعملية الجداء النقطي، ويُشار إليه بالرمز R³. عملية الجداء القياسي تأخذ متجهين x وy وينتج عنها عدد حقيقي x ⋅ y. لو مثلنا x وy بالإحداثيات الديكارتية، فإن حاصل الجداء القياسي يكون:$${\begin{pmatrix}x_{1}\\x_{2}\\x_{3}\end{pmatrix}}\cdot {\begin{pmatrix}y_{1}\\y_{2}\\y_{3}\end{pmatrix}}=x_{1}y_{1}+x_{2}y_{2}+x_{3}y_{3}\,.$$

الجداء النقطي يستوفي الخصائص التالية:

• متماثل في x و y: x ⋅ y = y ⋅ x
• خطي لأول جزء من العنصر: (ax₁ + bx₂) ⋅ y = ax₁ ⋅ y + bx₂ ⋅ y لأي قيمة عددية a و b والمتجهات x₁ وx₂ وy
• محدد إيجابيا: لجميع المتجهات x، x ⋅ x ≥ 0 ، ويساوي الصفر إذا وفقط إذا كان x = 0

الجداء النقطي الذي يتم إجراؤه على أزواج المتجهات والمستوفي لهذه الخصائص الثلاث، يعرف بالجداء الداخلي (الحقيقي). فضاء المتجه الحاوي لهذا الجداء الداخلي الحقيقي يُعرف كـ فضاء جداء داخلي (حقيقي). كل فضاء جداء داخلي ذو أبعاد محدودة هو أيضًا فضاء هيلبرت. الخاصية الأساسية للجداء النقطي التي تربطه بالهندسة الإقليدية هي أنه مرتبط بطول (أو معيار) المتجه، المشار إليه بـ ||x|| ، والزاوية θ بين متجهين x و y عن طريق الصيغة:$$\mathbf {x} \cdot \mathbf {y} =\left\|\mathbf {x} \right\|\left\|\mathbf {y} \right\|\,\cos \theta \,.$$

الاكتمال يعني أنه إذا تحرك جسيم على طول المسار المتعرج (باللون الأزرق) قاطعًا مسافة إجمالية محدودة، فإن الجسيم لديه إزاحة صافية محددة جيدًا (باللون البرتقالي).

حساب التفاضل والتكامل متعدد المتغيرات في الفضاء الإقليدي يعتمد على حساب النهايات، وللحصول على معايير مفيدة لاستنتاج وجود النهايات. فإن المتسلسلة الرياضية$$\sum _{n=0}^{\infty }\mathbf {x} _{n}$$المكونة من متجهات في R³ تتقارب بشكل مطلق شريطة أن يتقارب مجموع الأطوال كأي متسلسلة عادية من الأعداد الحقيقية:$$\sum _{k=0}^{\infty }\|\mathbf {x} _{k}\|<\infty \,.$$تمامًا كما هو الحال مع متسلسلة من القيم، فإن متسلسلة من المتجهات التي تتقارب مطلقًا تتقارب أيضًا لـ متجه نهائي L في الفضاء الإقليدي، بمعنى أن$$\left\|\mathbf {L} -\sum _{k=0}^{N}\mathbf {x} _{k}\right\|\to 0\quad {\text{as }}N\to \infty \,.$$تعبر هذه الخاصية عن اكتمال الفضاء الإقليدي: أي أن المتسلسلة التي تتقارب مطلقًا تتقارب أيضًا بالمعنى المعتاد.

غالبًا ما يغلب استخدام الأعداد المركبة في فضاءات هلبرت. فالمستوى العقدي المشار له بـ C يحوي مفهوم الحجم، والقيمة المطلقة |z| المُعَّرَف بأنه الجذر التربيعي لجداء z مع مرافقه المركب: $$|z|^{2}=z{\overline {z}}\,.$$ إذا كان z = x + iy هو تحليل z إلى جزئيه الحقيقي والخيالي، فإن المقياس هو الطول الإقليدي ثنائي الأبعاد المعتاد:$$|z|={\sqrt {x^{2}+y^{2}}}\,.$$الجداء الداخلي لزوج من الأعداد المركبة z و w هو z مع مرافق w:$$\langle z,w\rangle =z{\overline {w}}\,.$$والناتج مركب القيمة. الجزء الحقيقي من ⟨z, w⟩ يعطي الجداء النقطي الإقليدي المعتاد ثنائي الأبعاد.

المثال الثاني هو الفضاء C² الذي تتكون عناصره من أزواج من الأعداد المركبة z = (z₁, z₂). وحاصل الجداء الداخلي لـ z مع متجه آخر w = (w₁, w₂)يعطى بالصيغة التالية:$$\langle z,w\rangle =z_{1}{\overline {w_{1}}}+z_{2}{\overline {w_{2}}}\,.$$الجزء الحقيقي من ⟨z, w⟩هو الجداء النقطي الإقليدي ثنائي الأبعاد. هذا الجداء الداخلي يتميز بأنه متناظر هيرميتيا "Hermitian symmetric"، مما يعني أن نتيجة التبادل بين z و w هي ترافق مركب:$$\langle w,z\rangle ={\overline {\langle z,w\rangle }}\,.$$

تعريف

فضاء هلبرت H هو فضاء جداء داخلي حقيقي أو مركب وهو أيضًا فضاء متري كامل مع دالة المسافة الناتجة عن الجداء الداخلي.

عندما نقول أن H هو فضاء جداء داخلي مركب فإننا نعني أن H هو فضاء متجهي مركب يحوي جداء داخلي $\langle x,y\rangle$ يربط كل زوج من العناصر $x,y$ في H بعدد مركب، ويتمتع هذا الجداء بالخصائص التالية:

1. الجداء الداخلي مترافق متناظر؛ أي أن الجداء الداخلي لزوج من العناصر يكافئ المرافق المركب للجداء الداخلي لنفس العناصر مع تبديل ترتيبها:$\langle y,x\rangle ={\overline {\langle x,y\rangle }}\,.$$$\langle y,x\rangle ={\overline {\langle x,y\rangle }}\,.$$
2. الجداء الداخلي خطي لأول جزء من العنصر لجميع الأعداد المركبة $a$ و $b,$ $$\langle ax_{1}+bx_{2},y\rangle =a\langle x_{1},y\rangle +b\langle x_{2},y\rangle \,.$$
3. الجداء الداخلي لعنصر مع نفسه هو إيجابي منتهي: $${\begin{alignedat}{4}\langle x,x\rangle >0&\quad {\text{ if }}x\neq 0,\\\langle x,x\rangle =0&\quad {\text{ if }}x=0\,.\end{alignedat}}$$

نستنتج من الخاصيتين 1 و 2 أن الجداء الداخلي المركب هو اقتران غير خطي "antilinear map"، ويسمى أيضًا "conjugate linear"، للجزء الثاني من العنصر، بمعنى أن:$$\langle x,ay_{1}+by_{2}\rangle ={\bar {a}}\langle x,y_{1}\rangle +{\bar {b}}\langle x,y_{2}\rangle \,.$$فضاء الجداء الداخلي الحقيقي يُعرف بنفس الطريقة، عدا أن H هو فضاء متجهي حقيقي وأن الجداء الداخلي يأخذ قيمًا حقيقية. مثل هذا الجداء الداخلي سيكون اقترانا ثنائي الخطوط و$(H,H,\langle \cdot ,\cdot \rangle )$ سيشكل نظام ثنائي.

المعيار هي دالة حقيقية القيمة تعرف على النحو التالي: $$\|x\|={\sqrt {\langle x,x\rangle }}\,,$$

والمسافة $d$ بين نقطتين $x,y$ في H تُعَرَّف عن طريق المعيار بالشكل التالي:$$d(x,y)=\|x-y\|={\sqrt {\langle x-y,x-y\rangle }}\,.$$ودالة المسافة هذه تعني أولاً أنها متناظرة في $x$ و $y$ (نفس القيمة سواء من $x$ إلى $y$ أو من $y$ إلى $x$) وثانيا أن المسافة بين $x$ ونفسها صفر، وعدا ذلك فالمسافة بين $x$ و $y$ يجب أن تكون موجبة، وأخيرًا تظل متباينة المثلث قائمة، مما يعني أن طول أحد أضلاع المثلث xyz لا يمكن أن يتجاوز مجموع طولي الساقين الآخرين:$$d(x,z)\leq d(x,y)+d(y,z)\,.$$

هذه الخاصية الأخيرة هي في الأخير نتاج لمتباينة كوشي -شوارتز، والتي تؤكد أن:$$\left|\langle x,y\rangle \right|\leq \|x\|\|y\|$$ويتساوون إذا وفقط إذا كان $x$ و $y$ غير مستقلين خطيًا.

بوجود دالة مسافة مُعَرَّفة بهذا الشكل، فإن أي فضاء جداء داخلي هو فضاء متري، ويُعرف أحيانًا باسم «فضاء هاوسدورف ما قبل هلبرت» (Hausdorff pre-Hilbert space). أي فضاء ما قبل هلبرت وأيضًا فضاء كامل فهو فضاء هيلبرت.

يُعبر عن اكتمال H باستخدام نموذج من اختبار كوشي للمتسلسلات في H: ففضاء ما قبل هلبرت H مكتمل إذا كان كل متسلسلة كوشية تتقارب بالنسبة للمعيار إلى عنصر في الفضاء. يمكن وصف الاكتمال بالشرط المكافئ التالي: إذا كانت متسلسلة المتجهات$$\sum _{k=0}^{\infty }u_{k}$$تتقارب بشكل مطلق بمعنى أن$$\sum _{k=0}^{\infty }\|u_{k}\|<\infty \,,$$فإن المتسلسلة تتقارب في H، بمعنى أن المجاميع الجزئية تتقارب إلى عنصر في H

ولأن فضاءات هلبرت معيارية كاملة، فإنها بالتعريف هي أيضًا فضاءات باناخ. ولذا فهي فضاءات متجهات طوبولوجية، حيث مفاهيم الطوبولوجيا مُعَرَفَة بشكل جيد مثل انفتاح وانغلاق المجموعات الفرعية. لفكرة الفضاء الجزئي الخطي المغلق في فضاء هلبرت أهمية خاصة، حيث يصبح فضاءًا مكتملًا أيضًا مع الجداء الداخلي المُقَيد، (كونه مجموعة مغلقة في فضاء متريّ كامل) وبالتالي فهو فضاء هيلبرت في حد ذاته.

المثال الثاني: فضاءات المتسلسلات

فضاء المتسلسلة الذي يرمز له بـ l² يتكون من جميع المتتاليات اللانهائية z = (z₁, z₂, …) من الأعداد المركبة بحيث تكون المتسلسلة$$\sum _{n=1}^{\infty }|z_{n}|^{2}$$متقاربة. ويُعَرَّف الجداء الداخلي في l² على النحو التالي:$$\langle \mathbf {z} ,\mathbf {w} \rangle =\sum _{n=1}^{\infty }z_{n}{\overline {w_{n}}}\,,$$وكنتيجة لمتباينة كوشي -شفارز، فإن المتسلسلة الأخيرة تتقارب.

شرط اكتمال الفضاء متحقق طالما أن متسلسلة من العناصر من l² تتقارب مطلقًا بالنسبة للمعيار، إذا فإنها تتقارب لـ عنصر في l². يعتبر البرهان أساسيًا في التحليل الرياضي، ويسمح بالتعامل مع متسلسلة من عناصر الفضاء بنفس السهولة كما في حالة متسلسلة أرقام مركبة (أو متجهات في فضاء إقليدي محدود الأبعاد).

تاريخ

ديفيد هيلبرت

قبل فضاءات هلبرت، كانت التعميمات الأخرى للفضاءات الإقليدية معروفة لعلماء الرياضيات والفيزياء. على وجه الخصوص، اكتسبت فكرة الفضاء الخطي المجرد (فضاء المتجهات) بعض الزخم قرب نهاية القرن التاسع عشر: ففي فضاء المتجهات يمكن للمرء جمع المتجهات معا أو ضربها في كميات قياسية (مثل الأعداد الحقيقية أو المركبة) ولا يشترط بالضرورة أن تكون معبرة عن عناصر هندسية فيزيائية، مثل متجهات الموقع والزخم. في مطلع القرن العشرين درس علماء الرياضيات أيضًا فضاءات يمكن اعتبارها خطية كـ المتواليات (بما في ذلك المتسلسلات) والدوال. فعلى سبيل المثال، في فضاءات الدوال يمكن إضافة الدوال معًا أو ضربها بعدد قياسي ثابت، وهذه العمليات تخضع لنفس القواعد الجبرية التي تنطبق على عمليات الجمع والضرب القياسي في فضاء المتجهات.

في العقد الأول من القرن العشرين، أدت تطورات موازية لظهور فضاءات هلبرت. كان أولها أثناء دراسة ديفيد هيلبرت وإيرهارد شميدت للمعادلات التكاملية، حيث لاحظوا أن الدالتين f و g لهم قيم حقيقية قابلين للتكامل تربيعيا على a, b لهما جداء داخلي بالشكل التالي: $\langle f,g\rangle =\int _{a}^{b}f(x)g(x)\,\mathrm {d} x$

له العديد من الخصائص المعروفة للجداء النقطي الإقليدي. بالتحديد، خاصية فئة الدوال المتعامدة. استغل شميدت تشابه هذا الجداء الداخلي مع الجداء النقطي المعروف لإثبات وجود تناظر بين التفريق الطيفي والمؤثر من الشكل التالي

$f(x)\mapsto \int _{a}^{b}K(x,y)f(y)\,\mathrm {d} y$

حيث K دالة متصلة متناظرة في x و y. ويعبر التوسع الذاتي عن الدالة K في صورة متسلسلة من الشكل التالي:

$K(x,y)=\sum _{n}\lambda _{n}\varphi _{n}(x)\varphi _{n}(y)$

حيث الدوال φ_n متعامدة بمعنى أن ⟨φ_n, φ_m⟩ = 0لجميع القيم n ≠ m يشار أحيانًا للحدود الفردية في هذه المتسلسلة على أنها حلول جداء أولية "elementary product solutions". ومع ذلك، هناك توسعات للدالة الذاتية تفشل في التقارب نحو دالة كمولة تربيعيا: وهنا نشير لأهمية الاكتمال، الذي يضمن حدوث التقارب.

كان التطور الثاني هو تكامل لوبيغ الذي طوره هنري لوبيغ عام 1904 كبديل لتكامل ريمان. وأصبح من الممكن تكامل فئة أوسع بكثير من الدوال. في عام 1907، أثبت كلا من Frigyes Riesz و Ernst Sigismund Fischer بشكل مستقل أن الفضاء L² لدوال لوبيغ القابلة للتكامل (الكمولة) هو فضاء متري كامل. بسبب مفهوم الاكتمالوتوظيفه هندسيا، فإن نتائج القرن التاسع عشر لجوزيف فورييه وفريدريك بيسيل ومارك أنطوان بارسيفال "Marc-Antoine Parseval" على المتسلسلات المثلثية تم استخدامها بيسر في هذه الفضاءات العامة، مما أنتج أداة هندسية وتحليلية تعرف الآن عادة باسم نظرية ريش فيشر "Riesz–Fischer theorem".

اُثبتت المزيد من النتائج الأساسية في أوائل القرن العشرين. على سبيل المثال، وُضِعَتْ نظرية تمثيل ريش "Riesz representation theorem" بشكل مستقل من قبل موريس فريشيه وفريغيس ريش "Frigyes Riesz" في عام 1907. كما صاغ جون فون نيومان مصطلح فضاء هيلبرت المجرد في عمله على المؤثرات الهرميتية "Hermitian operators" غير المحدودة. على الرغم من أن علماء رياضيات آخرين مثل هيرمان فايل ونوربرت وينر قد درسوا بالفعل بتعمق فضاءات معينة من فضاءات هلبرت، غالبًا من وجهة نظر فزيائية، فإن فون نيومان قدم أول معالجة كاملة مع مسلماتها. واستخدمها فون نيومان لاحقًا في عمله الأساسي في أسس ميكانيكا الكم، وفي عمله مع يوجين ويغنر. وسرعان ما تبنى آخرون اسم «فضاء هلبرت»، مثل هيرمان فايل في كتابه عن ميكانيكا الكم ونظرية المجموعات.

تأكدت أهمية مفهوم فضاء هلبرت بتوفيره واحدة من أفضل الصيغ الرياضية لميكانيكا الكم. وإختصارًا، فإن حالات نظام ميكانيكي كمي هي متجهات في فضاء هيلبرت معين، والمرصودات "observables" هي مؤثرات هرميتية "Hermitian operators" في هذا الفضاء، والمتناظرات في النظام هي مؤثر واحدي "Unitary operator"، والقياسات هي إسقاط عمودي. قدمت العلاقة بين التناظرات الميكانيكية الكمومية والمؤثرات الواحدية حافزًا لتطوير نظرية التمثيل الوحدوي للمجموعات، التي بدأت في عمل هيرمان فايل عام 1928. من ناحية أخرى، في أوائل الثلاثينيات من القرن العشرين أصبح من الممكن وصف الميكانيكا الكلاسيكية بمصطلحات فضاء هيلبرت (ميكانيكا كوبمان-فون نيومان الكلاسيكية "Koopman–von Neumann classical mechanics") وتحليل خصائص معينة للأنظمة الديناميكية الكلاسيكية باستخدام تقنيات فضاء هلبرت في إطار نظرية إرجوديك.

وفقًا لصياغة فيرنر هايزنبرغ لميكانيكا المصفوفة الكمية فإن جبر المرصودات في ميكانيكا الكم هو بطبيعة الحال جبر المؤثرات المعرفة في فضاء هيلبرت. بدأ فون نيومان دراسة جبر المؤثرات في ثلاثينيات القرن العشرين، كحلقة مؤثرات في فضاء هيلبرت. يُعرف نوع الجبر الذي درسه فون نيومان ومعاصروه الآن باسم جبر فون نيومان "Von Neumann algebra". في الأربعينيات من القرن العشرين، قدم إسرائيل جيلفاند ومارك نيمارك "Mark Naimark" وإيرفينغ سيغال تعريفًا لنوع من جبر المؤثرات يُدعى "C*-algebra" الذي لم يشر إلى فضاء هيلبرت، ولكنه استنبط العديد من المميزات المفيدة في جبر المؤثرات السابق دراستها. النظرية الطيفية للمؤثرات الهرميتية على وجه الخصوص والتي تكمن وراء الكثير من نظرية فضاء هلبرت الحالية عُممت على "C * -algebras". هذه التقنيات هي الآن أساسية في التحليل التوافقي التجريدي ونظرية التمثيل.

انظر أيضًا

• النظرية الطيفية