‫المؤثرات الوحدية والمؤثرات والتكافؤية‬

‫‪1‬‬
‫‪UNITARY AND ISOMETREC OPRERATOS‬‬
‫فضاء هيلبرت‬
‫‪ ‬مقدمة‪:‬‬

‫تعتبر عملية الدوران الفضاء في البعد الثالثي إإلقليدي هي العملية الهندسية األبسط بعد عملية اإلسقاط‪.‬‬
‫تحافظ هذه العملية على أطوال األشعة كما تحافظ على الزوايا بينها في فضاء هيلبرت‪ ،‬عملية مماثلة‬
‫لعملية الدوران في الفضاء الثالثي البعد‪.‬‬

‫‪ ‬المؤثرات الوحدية والمؤثرات والتكافؤية ()‪:Unitary and Euclidean operators‬‬

‫المؤثر الوحدية 𝒏𝑪‪:‬‬ ‫‪‬‬

‫تعريف‪:‬‬

‫والذي يطبقه في نفسه‬ ‫نسمي المؤثر 𝒏𝑪 المعرّف على الفضاء ‪( 𝐷(𝐶) = 𝐻) H‬‬
‫)𝐻 = )𝐶(𝑅 ( بمؤثر وحدي هو مساحة كل ‪ n-tuples‬مرتبة من األعداد المركبة ذات‬
‫المقاييس المحددة من األعداد المركبة بالمتر الواحد ويعرف كالتالي‪:‬‬

‫وعندما ‪ n=1‬يعرف المؤثر الوحدية 𝒏𝑪 ‪:‬‬

‫الفضاء المتجهي المعياري هو فضاء اتجاهي ُعرفت عليه دالة المعيار‪ ،‬كل فضاء معياري‬
‫هو فضاء متري ولكن العكس قد ال يتحقق‪.‬‬
‫الفضاء المتجهي نصف المعياري هو زوج ‪ V ،p‬حيث ‪ V‬هو فضاء متجهي و‪ p‬نصف‬
‫معيار على ‪V.‬‬
‫هذا يدل على أن دالة المعيار هي دالة متصلة‪.‬‬

‫المؤثر التكافؤي 𝒏𝑹 ذي األبعاد )‪ )n‬يتم الحصول على هذه المساحة إذا أخذنا مجموعة ‪n-‬‬
‫‪ tuples‬المرتبة من أرقام حقيقية‪ ،‬مكتوبة " ويعرف كالتالي‪:‬‬
 ‫‪2‬‬

‫المؤثر التكافؤي‪:‬‬ ‫‪‬‬

‫‪ -‬مؤثر تكافؤي تربيعي 𝟐𝑹 يتم الحصول عليها إذا أخذنا مجموعة األزواج المرتبة من األعداد‬
‫الحقيقية فليكن اثنين من األزواج المرتبة‬
‫تعرف كــ‪:‬‬

‫‪ -‬مؤثر تكافؤي تربيعي 𝟐𝑹 يتم الحصول عليها إذا أخذنا مجموعة األزواج المرتبة من األعداد‬
‫الحقيقية فليكن ثالثة من األزواج المرتبة‬

‫تعرف كـ‪:‬‬

‫‪ ‬فضاء 𝒏𝑹 و 𝒏𝑪‪:‬‬
‫المجموعة األساسية هي مجموعة ‪ n-tuples‬من األعداد الحقيقية المكتوبة‪:‬‬
‫ونرى اآلن أن هذا حقيقي‬
‫الفضاء المتجه مع العمليتين الجبرية المحددة في المعتاد‪:‬‬

‫𝒏𝑪 مساحة ناقالت معقدة مع العمليات الجبرية المعرفة كما في المثال السابق أي أن‬

‫األمثلة التالية ذات طبيعة متشابهة ألننا في كل منها يجب أن يتعرف على مساحة محددة مسب ًقا‬
‫على أنها مساحة متجه‪.‬‬

‫مهما كانت المتجهتين ‪ y‬و‪x‬‬

 ‫‪3‬‬

‫‪ ‬نهائي وال نهائي األبعاد ( 𝒏𝑹 و 𝒏𝑪)‪:‬‬

‫إذا عرفنا ‪ X=n‬مستقل خطيًا عن نواقل ‪ n-tuples X‬يسمى أساس في ‪ X‬إذا‬
‫أيضا أساس في ‪ X‬حيث (‪ )x є X‬له تمثيل فريد كمزيج خطي من ناقالت‪:‬‬

‫على سبيل المثال أساس 𝒏𝑹 هي‪:‬‬

‫وهذا ما يسمى باألساس القانوني‪ ،‬بشكل عام إذا كانت ‪ X‬عبارة عن مساحة متجهة‪ ،‬فليس‬
‫بالضرورة أن تكون نهائية أو محدودة األبعاد‪ ،‬و‪ B‬هي مجموعة فرعية مستقلة خطيًا من ‪ X‬تمتد‬
‫‪ X‬تسمى ‪ ،)Hamel basis( B‬ثم إذا كان ‪ B‬هو األساس ل ‪ X‬و (‪ )x є X‬تمثيل فريد كخطي‬
‫مزيج من (عدد محدود!) عناصر ‪ B‬مع عدد غير صفري مثل المعامالت‪.‬‬

‫( 𝒏𝑹 و 𝒏𝑪)‪:‬‬ ‫فضاء منتج داخلي‬ ‫‪‬‬

‫‪ -1‬المؤثر التكافؤي 𝒏𝑹‬

‫حيث أن‪:‬‬

‫نحصل على‪:‬‬

‫ومن التعريف السابق للمؤثر التكافؤي فأن‪:‬‬

‫إذا ‪ n=3‬ومن المعادلة األولى بالضرب النقطي ينتج لنا‪:‬‬

 ‫‪4‬‬

‫حيث أن‬
‫وفي التعامد ينتج لنا‪:‬‬

‫يتفق مع المفهوم األساسي للعمودية‪.‬‬

‫‪ -2‬المؤثر الوحدوية 𝒏𝑪 ‪:‬‬

‫نحصل من المعيار (‪:)IIXII‬‬
‫في‬ ‫هنا نرى أيضًا سبب ضرورة أخذ اقتراحات معقدة‬
‫انه حقيقي‪.‬‬ ‫ونرى هنا‬

‫‪ ‬خواص مؤثرات فضاء منتج داخلي‪:‬‬

‫‪( Lemma -1‬عدم مساواة شوارتز‪ ،‬عدم مساواة المثلث)‪ :‬المعيار المقابل يرضي عدم مساواة‬
‫شوارتز ومتباينة المثلث على النحو التالي‪.‬‬

‫‪ -‬لدينا‬
‫حيث أن تثبت عالمة المساواة إذا وفقط إذا كانت {‪ }y ،x‬خطية‬

‫مجموعة تابعة‪.‬‬

‫والمعيار (‪:)norm‬‬

‫حيث تثبت عالمة المساواة فقط إذا كانت ‪ y = 0‬أو ‪x = cy‬‬

‫(‪ c‬حقيقي وأكبر أو يساوي ‪.)0‬‬
‫برهان‪:‬‬
‫ضع ‪ y≠0‬لكل عدديه (‪:)scalar‬‬ ‫‪-1‬إذا كان ‪ y = 0‬اذاً‬
 ‫‪5‬‬

‫عدم المساواة المتبقية هي‪:‬‬ ‫نرى أن التعبير بين قوسين يساوي الصفر إذا اخترنا‬

‫ونقله إلى اليسار وأخذ الجذور التربيعية‪ ،‬المساواة‬ ‫وضرب ب‬ ‫هنا نستخدم‬
‫‪ ، x - ay = 0 ،‬بحيث تكون ‪ ، x = ay‬مما يدل على الخطي‬ ‫في هذا االشتقاق إذا وفقط‬
‫االعتماد‪.‬‬

‫‪ -2‬نبرهن أن لدينا‪:‬‬

‫باستخدام معادلة (عدم مساواة شوارتز)‪:‬‬

‫المثلث) لألرقام نحصل‪:‬‬ ‫وباستخدام معادلة (عدم مساواة‬

‫بأخذ الجذر التربيعي فان‪:‬‬

‫إذا الجزء األيمن عبارة عن جزء حقيقي‬

 ‫‪6‬‬

‫بما أن الجزء الحقيقي من العدد المركب ال يمكن أن يتجاوز المطلق القيمة‪،‬‬

‫يجب أن يكون لدينا مساواة‪ ،‬مما يعني االعتماد الخطي على حدة‬
‫(أ)‪ ،‬على سبيل المثال‪ y = 0 ،‬أو ‪ .x = cy‬نظهر أن‬

‫‪( Lemma -2‬استمرارية المنتج الداخلي)‪ :‬إذا كان المنتج الداخلي للمساحة يساوي‬

‫طرح وإضافة حد باستخدام متباينة المثلث بالنسبة لألرقام‪ ،‬وأخيراً‪ ،‬عدم مساواة شوارتز نحصل‬
‫على‪:‬‬

‫إذا‪:‬‬

‫كأول تطبيق لهذه ‪ ،Lemma‬دعونا نثبت أن كل داخلي يمكن إكمال مساحة المنتج‪ .‬االكتمال هو‬
‫مساحة هيلبرت وهي فريدة من نوعها باستثناء التماثل‪ .‬ويسمى تماثل (‪)isomorphism‬‬
‫تماثل ‪ T‬لمساحة المنتج الداخلية ‪ X‬على الجزء الداخلي مساحة المنتج ‪ X‬على نفس الحقل عامل‬
‫‪ T: X‬الذي يحافظ على المنتج الداخلي لكل‬ ‫تشغيل خطي حيوي ‪X‬‬
 ‫‪7‬‬

‫حيث أشرنا إلى المنتجات الداخلية على ‪ X‬و‪ X‬بنفس الرمز‪ ،‬من أجل بساطة‪ .‬ثم يسمى ‪ X‬متماثل‬
‫مع ‪ ،X‬ويسمى ‪ X‬و‪ X‬المنتج الداخلية متشابهة‪ .‬الحظ أن اإلحيائية والخطية مساحات‬
‫يضمن أن ‪ T‬هو تماثل فضاء متجه لـ ‪ X‬على ‪ ،X‬بحيث يكون ‪T‬‬
‫يحافظ على الهيكل الكامل لمساحة المنتج الداخلية‪ T .‬هو أيضًا ملف قياس تساوي ‪ X‬على ~ 𝑋‬
‫ألنه يتم تحديد المسافات في ‪ X‬و ~ 𝑋 بواسطة المعايير التي تحددها المنتجات الداخلية في ‪ X‬و‬
‫~ 𝑋‪ .‬يمكن للنظرية حول اكتمال مساحة المنتج الداخلية اآلن على النحو التالي‪.‬‬

‫‪ -3‬نظرية (اإلكمال)‪:‬‬

‫ألي مساحة داخلية للمنتج ‪ X‬هناك يوجد فضاء هلبرت ‪ H‬والتشابه ‪ A‬من ‪ X‬إلى كثيف‬
‫الفضاء الجزئي نحن ‪ .H‬الفضاء ‪ H‬فريد باستثناء األشكال المتشابهة‪.‬‬
‫البرهان‪ :‬توجد مساحة ‪ Banach H‬وتساوي القياس ‪)isometry( A‬‬
‫من ‪ X‬إلى فضاء فرعي ‪ W‬لـ ‪ H‬وهو كثيف في ‪ H.‬أسباب االستمرارية‪ ،‬في ظل هذا القياس‪،‬‬
‫المجاميع والمضاعفات العددية من العناصر في ‪ X‬و‪ W‬تتوافق مع بعضها البعض‪ ،‬بحيث يكون‬
‫‪ A‬حتى تماثل ‪ X‬على ‪ ،W‬كالهما يعتبر مساحات معيارية‪.‬‬
‫يوضح ‪Lemma‬أنه يمكننا تحديد منتج داخلي على ‪.H‬‬

‫‪ -4‬نظرية (الفضاء الجزئي)‪ :‬لنفترض أن ‪ Y‬مساحة فرعية لمساحة هلبرت ‪ H‬إذا‪:‬‬

‫‪ -‬يكتمل ‪ Y‬إذا وفقط إذا تم إغالق ‪ Y‬في ‪.H‬‬
‫‪ -‬إذا كانت ‪ Y‬ذات أبعاد محدودة‪ ،‬فإن ‪ Y‬تكون كاملة‪.‬‬
‫‪ -‬إذا كانت ‪ H‬قابلة للفصل‪ ،‬كذلك يكون ‪ .Y‬بشكل عام‪ ،‬كل مجموعة فرعية من ‪a‬‬
‫مساحة المنتج الداخلية القابلة للفصل قابلة للفصل‪.‬‬
 8

References:
 Introductory functional analysis, (Erwin Kreyszig), QA320.K74 515'.7
77-2560, ISBN 0-471-50731-8, Printed in the United States of America
1978, by John Wiley & Sons. Inc.