يمكن نمذجة حالة الوتر المهتز كنقطة في فضاء هلبرت. يتم تحليل الوتر المهتز إلى نغماته التوافقية المميزة عن طريق إسقاط النقطة على محاور الإحداثيات في الفضاء.
المفهوم الرياضياتيلفضاء هيلبرت (بالإنجليزية: Hilbert space) يعمم مفهوم الفضاء الإقليدي.[1][2][3] فهو فضاء معياري معرف عليه دالة الجداء الداخلي بشرط أن يكون المعيار المعرف عليه هو بدلالة دالة الجداء الداخلي هذه، بالإضافة إلى وجوب كونه فضاء معياريا كاملا أو ما يدعى ب فضاء باناخ. وهذا يعني أن أي فضاء هيلبرت هو فضاء باناخ ولكن العكس غير صحيح.
مثال على ذلك، الفضاء Q هو فضاء منتظم تحت النظيم العادي ولكنه ليس بفضاء بانخ.
يلعب الحدس الهندسي دورًا مهمًا في العديد من جوانب نظرية فضاء هلبرت. توجد نظائر مطابقة لنظرية فيثاغورسوقانون متوازي الأضلاع في فضاء هلبرت. على مستوى أعمق، يلعب الإسقاط العمودي على فضاء جزئي (مناظر لـ «إسقاط ارتفاع» المثلث) دورًا مهمًا في مسائل التحسين وجوانب أخرى في النظرية. يمكن تحديد بشكل فريد عنصر في فضاء هيلبرت عن طريق إحداثياته المنسوبة لزمرة من محاور الإحداثيات (متعامدة القاعدة في فضاء هلبرت)، على غرار الإحداثيات الديكارتية في المستوى. عندما تكون هذه المجموعة من المحاور معدودة غير منتهية، في هذه الحالة يمكن النظر لفضاء هيلبرت على أنه فضاء متسلسلات لانهائية التي يمكن جمعها تربيعيًا. فضاء المتسلسلات اللانهائية هذا هو ما يشار إليه في كثير من الأحيان في الأدبيات الرياضية القديمة بفضاء هلبرت. المؤثرات الخطية في فضاء هلبرت أيضًا لها حضور كبير: في الحالات الجيدة، هي تحويلات تساهم في تمديد الفضاء بواسطة عوامل مختلفة في اتجاهات متعامدة تبادليًا بصورة دقيقة تظهر من خلال دراسة طيفها.
تعريف وتوضيح
مثال تحفيزي: فضاء المتجه الإقليدي
أحد الأمثلة الأكثر شيوعًا لفضاء هيلبرت هو فضاء المتجه الإقليدي المكون من متجهات ثلاثية الأبعاد، وعملية الجداء النقطي، ويُشار إليه بالرمز R3. عملية الجداء القياسي تأخذ متجهين x وy وينتج عنها عدد حقيقي x ⋅ y. لو مثلنا x وyبالإحداثيات الديكارتية، فإن حاصل الجداء القياسي يكون:
الجداء النقطي يستوفي الخصائص التالية:
متماثل في x و y: x ⋅ y = y ⋅ x
خطيلأول جزء من العنصر: (ax1 + bx2) ⋅ y = ax1 ⋅ y + bx2 ⋅ y لأي قيمة عددية a و b والمتجهات x1 وx2 وy
محدد إيجابيا: لجميع المتجهات x، x ⋅ x ≥ 0 ، ويساوي الصفر إذا وفقط إذا كان x = 0
الجداء النقطي الذي يتم إجراؤه على أزواج المتجهات والمستوفي لهذه الخصائص الثلاث، يعرف بالجداء الداخلي (الحقيقي). فضاء المتجه الحاوي لهذا الجداء الداخلي الحقيقي يُعرف كـ فضاء جداء داخلي (حقيقي). كل فضاء جداء داخلي ذو أبعاد محدودة هو أيضًا فضاء هيلبرت.[4] الخاصية الأساسية للجداء النقطي التي تربطه بالهندسة الإقليدية هي أنه مرتبط بطول (أو معيار) المتجه، المشار إليه بـ ||x|| ، والزاوية θ بين متجهين x و y عن طريق الصيغة:
الاكتمال يعني أنه إذا تحرك جسيم على طول المسار المتعرج (باللون الأزرق) قاطعًا مسافة إجمالية محدودة، فإن الجسيم لديه إزاحة صافية محددة جيدًا (باللون البرتقالي).
حساب التفاضل والتكامل متعدد المتغيرات في الفضاء الإقليدي يعتمد على حساب النهايات، وللحصول على معايير مفيدة لاستنتاج وجود النهايات. فإن المتسلسلة الرياضيةالمكونة من متجهات في R3تتقارب بشكل مطلق شريطة أن يتقارب مجموع الأطوال كأي متسلسلة عادية من الأعداد الحقيقية:[5]تمامًا كما هو الحال مع متسلسلة من القيم، فإن متسلسلة من المتجهات التي تتقارب مطلقًا تتقارب أيضًا لـ متجه نهائي L في الفضاء الإقليدي، بمعنى أنتعبر هذه الخاصية عن اكتمال الفضاء الإقليدي: أي أن المتسلسلة التي تتقارب مطلقًا تتقارب أيضًا بالمعنى المعتاد.
غالبًا ما يغلب استخدام الأعداد المركبة في فضاءات هلبرت. فالمستوى العقدي المشار له بـ C يحوي مفهوم الحجم، والقيمة المطلقة |z| المُعَّرَف بأنه الجذر التربيعي لجداء z مع مرافقه المركب:
إذا كان z = x + iy هو تحليل z إلى جزئيه الحقيقي والخيالي، فإن المقياس هو الطول الإقليدي ثنائي الأبعاد المعتاد:الجداء الداخلي لزوج من الأعداد المركبة z و w هو z مع مرافق w:والناتج مركب القيمة. الجزء الحقيقي من ⟨z, w⟩ يعطي الجداء النقطي الإقليدي المعتاد ثنائي الأبعاد.
المثال الثاني هو الفضاء C2 الذي تتكون عناصره من أزواج من الأعداد المركبة z = (z1, z2). وحاصل الجداء الداخلي لـ z مع متجه آخر w = (w1, w2)يعطى بالصيغة التالية:الجزء الحقيقي من ⟨z, w⟩هو الجداء النقطي الإقليدي ثنائي الأبعاد. هذا الجداء الداخلي يتميز بأنه متناظر هيرميتيا "Hermitian symmetric"، مما يعني أن نتيجة التبادل بين z و w هي ترافق مركب:
عندما نقول أن H هو فضاء جداء داخلي مركب فإننا نعني أن H هو فضاء متجهيمركب يحوي جداء داخلي يربط كل زوج من العناصر في H بعدد مركب، ويتمتع هذا الجداء بالخصائص التالية:
الجداء الداخلي مترافق متناظر؛ أي أن الجداء الداخلي لزوج من العناصر يكافئ المرافق المركب للجداء الداخلي لنفس العناصر مع تبديل ترتيبها:
الجداء الداخلي خطي لأول جزء من العنصر[7] لجميع الأعداد المركبة و
الجداء الداخلي لعنصر مع نفسه هو إيجابي منتهي:
نستنتج من الخاصيتين 1 و 2 أن الجداء الداخلي المركب هو اقتران غير خطي "antilinear map"، ويسمى أيضًا "conjugate linear"، للجزء الثاني من العنصر، بمعنى أن:فضاء الجداء الداخلي الحقيقي يُعرف بنفس الطريقة، عدا أن H هو فضاء متجهي حقيقي وأن الجداء الداخلي يأخذ قيمًا حقيقية. مثل هذا الجداء الداخلي سيكون اقترانا ثنائي الخطوط و سيشكل نظام ثنائي.[8]
المعيار هي دالة حقيقية القيمة تعرف على النحو التالي:
والمسافة بين نقطتين في H تُعَرَّف عن طريق المعيار بالشكل التالي:ودالة المسافة هذه تعني أولاً أنها متناظرة في و (نفس القيمة سواء من إلى أو من إلى ) وثانيا أن المسافة بين ونفسها صفر، وعدا ذلك فالمسافة بين و يجب أن تكون موجبة، وأخيرًا تظل متباينة المثلث قائمة، مما يعني أن طول أحد أضلاع المثلث xyz لا يمكن أن يتجاوز مجموع طولي الساقين الآخرين:
بوجود دالة مسافة مُعَرَّفة بهذا الشكل، فإن أي فضاء جداء داخلي هو فضاء متري، ويُعرف أحيانًا باسم «فضاء هاوسدورف ما قبل هلبرت» (Hausdorff pre-Hilbert space).[9] أي فضاء ما قبل هلبرت وأيضًا فضاء كامل فهو فضاء هيلبرت.
يُعبر عن اكتمالH باستخدام نموذج من اختبار كوشي للمتسلسلات في H: ففضاء ما قبل هلبرت H مكتمل إذا كان كل متسلسلة كوشيةتتقارب بالنسبة للمعيار إلى عنصر في الفضاء. يمكن وصف الاكتمال بالشرط المكافئ التالي: إذا كانت متسلسلة المتجهاتتتقارب بشكل مطلق بمعنى أنفإن المتسلسلة تتقارب في H، بمعنى أن المجاميع الجزئية تتقارب إلى عنصر في H
ولأن فضاءات هلبرت معيارية كاملة، فإنها بالتعريف هي أيضًا فضاءات باناخ. ولذا فهي فضاءات متجهات طوبولوجية، حيث مفاهيم الطوبولوجيا مُعَرَفَة بشكل جيد مثل انفتاحوانغلاق المجموعات الفرعية. لفكرة الفضاء الجزئي الخطي المغلق في فضاء هلبرت أهمية خاصة، حيث يصبح فضاءًا مكتملًا أيضًا مع الجداء الداخلي المُقَيد، (كونه مجموعة مغلقة في فضاء متريّ كامل) وبالتالي فهو فضاء هيلبرت في حد ذاته.
المثال الثاني: فضاءات المتسلسلات
فضاء المتسلسلة الذي يرمز له بـ l2 يتكون من جميع المتتاليات اللانهائيةz = (z1, z2, …) من الأعداد المركبة بحيث تكون المتسلسلةمتقاربة. ويُعَرَّف الجداء الداخلي في l2 على النحو التالي:وكنتيجة لمتباينة كوشي -شفارز، فإن المتسلسلة الأخيرة تتقارب.
شرط اكتمال الفضاء متحقق طالما أن متسلسلة من العناصر من l2 تتقارب مطلقًا بالنسبة للمعيار، إذا فإنها تتقارب لـ عنصر في l2. يعتبر البرهان أساسيًا في التحليل الرياضي، ويسمح بالتعامل مع متسلسلة من عناصر الفضاء بنفس السهولة كما في حالة متسلسلة أرقام مركبة (أو متجهات في فضاء إقليدي محدود الأبعاد).[9]
قبل فضاءات هلبرت، كانت التعميمات الأخرى للفضاءات الإقليدية معروفة لعلماء الرياضيات والفيزياء. على وجه الخصوص، اكتسبت فكرة الفضاء الخطي المجرد (فضاء المتجهات) بعض الزخم قرب نهاية القرن التاسع عشر:[10] ففي فضاء المتجهات يمكن للمرء جمع المتجهات معا أو ضربها في كميات قياسية (مثل الأعداد الحقيقية أو المركبة) ولا يشترط بالضرورة أن تكون معبرة عن عناصر هندسية فيزيائية، مثل متجهات الموقع والزخم. في مطلع القرن العشرين درس علماء الرياضيات أيضًا فضاءات يمكن اعتبارها خطية كـ المتواليات (بما في ذلك المتسلسلات) والدوال.[11] فعلى سبيل المثال، في فضاءات الدوال يمكن إضافة الدوال معًا أو ضربها بعدد قياسي ثابت، وهذه العمليات تخضع لنفس القواعد الجبرية التي تنطبق على عمليات الجمع والضرب القياسي في فضاء المتجهات.
حيث Kدالة متصلةمتناظرة في x و y. ويعبر التوسع الذاتي عن الدالة K في صورة متسلسلة من الشكل التالي:
حيث الدوال φn متعامدة بمعنى أن ⟨φn, φm⟩ = 0لجميع القيم n ≠ m يشار أحيانًا للحدود الفردية في هذه المتسلسلة على أنها حلول جداء أولية "elementary product solutions". ومع ذلك، هناك توسعات للدالة الذاتية تفشل في التقارب نحو دالة كمولة تربيعيا: وهنا نشير لأهمية الاكتمال، الذي يضمن حدوث التقارب.[13]
كان التطور الثاني هو تكامل لوبيغ الذي طوره هنري لوبيغ عام 1904 كبديل لتكامل ريمان.[14] وأصبح من الممكن تكامل فئة أوسع بكثير من الدوال. في عام 1907، أثبت كلا من Frigyes Riesz و Ernst Sigismund Fischer بشكل مستقل أن الفضاء L2 لدوال لوبيغ القابلة للتكامل (الكمولة) هو فضاء متري كامل.[15] بسبب مفهوم الاكتمالوتوظيفه هندسيا، فإن نتائج القرن التاسع عشر لجوزيف فورييهوفريدريك بيسيل ومارك أنطوان بارسيفال "Marc-Antoine Parseval" على المتسلسلات المثلثية تم استخدامها بيسر في هذه الفضاءات العامة، مما أنتج أداة هندسية وتحليلية تعرف الآن عادة باسم نظرية ريش فيشر "Riesz–Fischer theorem".[16]
اُثبتت المزيد من النتائج الأساسية في أوائل القرن العشرين. على سبيل المثال، وُضِعَتْ نظرية تمثيل ريش "Riesz representation theorem" بشكل مستقل من قبل موريس فريشيه وفريغيس ريش "Frigyes Riesz" في عام 1907.[17] كما صاغ جون فون نيومان مصطلح فضاء هيلبرت المجرد في عمله على المؤثرات الهرميتية "Hermitian operators" غير المحدودة.[18] على الرغم من أن علماء رياضيات آخرين مثل هيرمان فايلونوربرت وينر قد درسوا بالفعل بتعمق فضاءات معينة من فضاءات هلبرت، غالبًا من وجهة نظر فزيائية، فإن فون نيومان قدم أول معالجة كاملة مع مسلماتها.[19] واستخدمها فون نيومان لاحقًا في عمله الأساسي في أسس ميكانيكا الكم،[20] وفي عمله مع يوجين ويغنر. وسرعان ما تبنى آخرون اسم «فضاء هلبرت»، مثل هيرمان فايل في كتابه عن ميكانيكا الكم ونظرية المجموعات.[21]
تأكدت أهمية مفهوم فضاء هلبرت بتوفيره واحدة من أفضل الصيغ الرياضية لميكانيكا الكم.[22] وإختصارًا، فإن حالات نظام ميكانيكي كمي هي متجهات في فضاء هيلبرت معين، والمرصودات "observables" هي مؤثرات هرميتية "Hermitian operators" في هذا الفضاء، والمتناظرات في النظام هي مؤثر واحدي "Unitary operator"، والقياسات هي إسقاط عمودي. قدمت العلاقة بين التناظرات الميكانيكية الكمومية والمؤثرات الواحدية حافزًا لتطوير نظرية التمثيل الوحدوي للمجموعات، التي بدأت في عمل هيرمان فايل عام 1928.[21] من ناحية أخرى، في أوائل الثلاثينيات من القرن العشرين أصبح من الممكن وصف الميكانيكا الكلاسيكية بمصطلحات فضاء هيلبرت (ميكانيكا كوبمان-فون نيومان الكلاسيكية "Koopman–von Neumann classical mechanics") وتحليل خصائص معينة للأنظمة الديناميكية الكلاسيكية باستخدام تقنيات فضاء هلبرت في إطار نظرية إرجوديك.[23]
وفقًا لصياغة فيرنر هايزنبرغلميكانيكا المصفوفة الكمية فإن جبر المرصودات[الإنجليزية] في ميكانيكا الكم هو بطبيعة الحال جبر المؤثرات المعرفة في فضاء هيلبرت.[24] بدأ فون نيومان دراسة جبر المؤثرات في ثلاثينيات القرن العشرين، كحلقة مؤثرات في فضاء هيلبرت. يُعرف نوع الجبر الذي درسه فون نيومان ومعاصروه الآن باسم جبر فون نيومان "Von Neumann algebra".[25] في الأربعينيات من القرن العشرين، قدم إسرائيل جيلفاند ومارك نيمارك "Mark Naimark" وإيرفينغ سيغال تعريفًا لنوع من جبر المؤثرات يُدعى "C*-algebra" الذي لم يشر إلى فضاء هيلبرت، ولكنه استنبط العديد من المميزات المفيدة في جبر المؤثرات السابق دراستها. النظرية الطيفية للمؤثرات الهرميتية على وجه الخصوص والتي تكمن وراء الكثير من نظرية فضاء هلبرت الحالية عُممت على "C * -algebras".[25] هذه التقنيات هي الآن أساسية في التحليل التوافقي التجريدي ونظرية التمثيل.
^However, some sources call finite-dimensional spaces with these properties pre-Hilbert spaces, reserving the term "Hilbert space" for infinite-dimensional spaces; see, e.g., Levitan 2001.
^In Dunford & Schwartz (1958), the result that every linear functional on L2[0,1] is represented by integration is jointly attributed to Fréchet (1907) and Riesz (1907). The general result, that the dual of a Hilbert space is identified with the Hilbert space itself, can be found in Riesz (1934).