عرض مصدر فراغات حاصل الضرب القياسي وفراغات هيلبرت

{{لا مصدر|تاريخ=ديسمبر 2018}}
{{يتيمة|تاريخ=أبريل 2018}}
يمكننا تعميم مفهومى «[[جداء نقطي|الضرب القياسى]]» و «[[تعامد (هندسة)|التعامد]]» على [[فضاء متجهي|الفراغات الاتجاهية]] سواء الحقيقية أو المركبة وهذا ما يقودنا إلى تزويد الفراغ الاتجاهى ببنية اضافية للحصول على فراغ حاصل الضرب القياسى وفراغ حاصل الضرب القياسى الكامل الذي يسمى ب «فراغ هيلبرت»

==تعريف==
ليكن V فراغا اتجاهيا على المجال K (الحقيقى أو المركب).لنفترض انه يقابل كل زوج من المتجهات u,v اللذان ينتموا للفراغ الاتجاهى V عدد حقيي <math>\langle u, v\rangle</math> ينتمى للمجال K
يسمى هذا الراسم حاصل الضرب القياسى في V إذ حقق البديهيات التالية:

1-::<math>\langle u,u\rangle \ge 0</math> (موجب)
 
2- 0=<math>\langle u, u\rangle</math> إذا كان وفقط إذا كان u=0 (محدد)

3-::<math>\langle y,x\rangle = \overline{\langle x, y\rangle}.</math> (متماثل إذا كان مجال الأساس 
حقيقيا)و (مرافق لنفسه إذا كان مجال الأساس مركبا)

4-::<math>\langle ax_1+bx_2, y\rangle = a\langle x_1, y\rangle + b\langle x_2, y\rangle.</math> 
(خطى في المركبة الأولى)

ان الفراغ الاتجاهى المزود بحاصل الضرب القياسى يسمى فراغ حاصل الضرب القياسى

وكذلك فراغ حاصل الضرب القياسى الكامل وهو الذي فيه كل متتالية [[كوش (توضيح)|كوشية]] لها نهاية في هذا الفراغ يسمى 
بفراغ هيلبرت

واستنادا إلى البديهيات 3 و 4 نستنتج:<math>\langle x, ay_1+by_2\rangle = \bar{a}\langle x, y_1\rangle + \bar{b}\langle x, y_2\rangle.</math>

وهذا يعنى ان حاصل الضرب القياسى شبه خطى في المركبة الثانية

إذا كان لدينا ⟨•,•⟩ حاصل ضرب قياسى على الفراغ الاتجاهى V , فنعرف أولا المعيار المرتبط بحاصل الضرب القياسى على أنه:<math>\|u\| = \sqrt{\langle u,u \rangle},</math>

ومن هنا فان فراغات حاصل الضرب القياسى تكون فراغات معيرة وكذلك فراغ هيلبرت يكون فراغ باناخى

ونعرف ثانيا المسافة بين نقطتين x,y في فراغ هيلبرت بمعرفة المعيار على أنها:<math>d(x,y)=\|x-y\| = \sqrt{\langle x-y,x-y \rangle}.</math>

ومن هنا فان فراغ حاصل الضرب القياسى يكون فراغ المسافة

ونشير إلى هذة الخاصية الأخيرة التي تتحقق نتيجة لعدم التساوى والتي تسمى متباينة كوشى- شفارتز وهي

ايا كان المتجهان x,y فان:<math>|\langle x, y\rangle| \le \|x\|\,\|y\|</math>

حيث أن التساوى يتحقق إذا كان وفقط إذا كان x,y مرتبطين خطيا

==امثلة==

1-الفراغ الاقليدى <math>\mathbf{R}^\mathbf{n}</math> هو فراغ كامل ومعرف عليه حاصل الضرب القياسى كالتالى::<math>\langle (x_1,\ldots, x_n),(y_1,\ldots, y_n)\rangle := \sum_{i=1}^{n} x_i y_i = x_1 y_1 + \cdots + x_n y_n.</math>

لذلك فهو فراغ هيلبرت

2-الفراغ المركب <math>\mathbf{C}^\mathbf{n}</math> هو فراغ كامل ومعرف عليه حاصل الضرب القياسى كالتالى::<math>\langle (x_1,\ldots, x_n),(y_1,\ldots, y_n)\rangle := \sum_{i=1}^{n} x_i\overline{y_i},= x_1\overline{y_1},+ \cdots + x_n\overline{y_n},.</math>

لذلك فهو فراغ هيلبرت

3-الفراغ ''ℓ''<sup>2</sup> المؤلف من [[متتالية|المتتابعات]] (اللانهائية من الاعداد المركبة) حيث أن هذه المتسلسلة:<math>\sum_{n=1}^\infty |z_n|^2</math>
تقاربية

فهو فراغ كامل ومعرف عليه حاصل الضرب القياسى كالتالى:<math>\langle \mathbf{z},\mathbf{w}\rangle = \sum_{n=1}^\infty z_n\overline{w_n},</math>

لذلك فهو فراغ هيلبرت

==خصائص==

1-خصائص هندسية

يمكننا تعميم نظرية فيثاغورث على فراغات حاصل الضرب القياسى:

ليكن V فراغ حاصل الضرب القياسى. نقول عن المتجهين u,v انهما متعامدان إذا كان
''<math>\langle u, v\rangle</math>&nbsp;= 0.ونرمز لها بالرمز 
{{بدون لف|''u'' ⊥ ''v''}}
وعندما يصبح المتجهان متعامدان فان:<math>\|u + v\|^2 = \langle u + v, u + v \rangle = \langle u, u \rangle + 2 \, \mathrm{Re} \langle u, v \rangle + \langle v, v \rangle= \|u\|^2 + \|v\|^2.</math>

حيث لاى عدد n من المتجهات المتعامدة نستنتج ان:<math>\|u_1 + \cdots + u_n\|^2 = \|u_1\|^2 + \cdots + \|u_n\|^2.</math>

[[Image:Color parallelogram.svg|left|thumb]]

يمكننا أيضا تعميم خاصية متوازى الأضلاع وهى ان مجموع مربعات اطوال الاقطار يساوى مجموع مربعات اطوال الأضلاع الاربعة حيث ان: <math>\|u+v\|^2+\|u-v\|^2=2(\|u\|^2+\|v\|^2).</math>
 
نستطيع القول بان الفراغات المعيرة تعرف حاصل الضرب القياسى حيث ان <math>\|x\| = \sqrt{\langle x,x \rangle},</math> إذا كان وفقط إذا كان خاصية متوازى الأضلاع صارت متحققة

على سبيل المثال الفراغ ℓ<sup>''p''</sup> حيث p≠2 ليس فراغ حاصل ضرب قياسى لان المعيار المعرف عليه لا يحقق خاصية متوازى الأضلاع، حيث أن هذا الفراغ فراغ كامل وليس فراغ حاصل ضرب قياسى فانه ليس فراغ هيلبرت.

2-خصائص تحليلية

يقال عن متجهان في فراغات حاصل الضرب القياسى انهم متجهات عيارية متعامدة إذا كانوا متعامدان، وطول كل متجه يساوى الوحدة، ومجموعة المتجهات تشكل فئة عيارية متعامدة إذا كان كل متجهان معا متعامدان وطول كل متجه يساوى الوحدة، وهذة الفئات تشكل أساسا يسمى بالاساس العيارى المتعامد.

-كل فراغ حاصل ضرب قياسى ذو بعد منتهى له أساسات عيارية متعامدة والتي يمكن الحصول عليها من طريقة جرام-شميت التي تحول الأساس الاختيارى لفراغ حاصل الضرب القياسى إلى أساس عيارى متعامد.

==تطبيقات==
توجد العديد من التطبيقات لفراغ هيلبرت في مجالى الرياضيات والفيزياء

1-يستخدم فراغ هيلبرت في ميكانيكا الكم التي تهتم بدراسة الأجسام الصغيرة جدامثل الإلكترونات والبروتونات حيث تتحول المسافة وكمية الحركة والطاقة في الميكانيكا الكلاسيكية إلى مؤثر في ميكانيكا الكم وهذا المؤثر معرف على فراغ هيلبرت [http://books.google.com.eg/books?id=JLyCo3RO4qUC&printsec=frontcover&dq=mathematical+foundations+of+quantum+mechanics&hl=en&sa=X&ei=Q-q4T--9F82ChQf3tJTlCA&redir_esc=y#v=onepage&q=mathematical%20foundations%20of%20quantum%20mechanics&f=false]

2-يستخدم في المعادلات التفاضلية لدراسة سلوك القيم الذاتية والمتجهات الذاتية للمعادلات التفاضلية [http://books.google.com.eg/books?id=qLFo_Z-PoGIC&pg=PA381&dq=application+of+hilbert+space+in+Sturm%E2%80%93Liouville+theory&hl=en&sa=X&ei=paubT-iQBMOh8QPU4_iJDw&redir_esc=y#v=onepage&q=application%20of%20hilbert%20space%20in%20Sturm%E2%80%93Liouville%20theory&f=false]

3-يستخدم فراغ هيلبرت في متسلسلات فوارير حيث يمكن تمثيل الدالة كتركيبات خطية من دوال مرتبطة بهذة المتسلسلات [http://books.google.com.eg/books?id=PXBUBBBmN9oC&pg=PA148&dq=application+of+hilbert+space+in+fourier+analysis&hl=ar&sa=X&ei=EkKwT72yJcTBtAbUzMnZBg&redir_esc=y#v=onepage&q=application%20of%20hilbert%20space%20in%20fourier%20analysis&f=false]

==مراجع==
*E. Kreyszig, Introductory Functional Analysis with Applications, Wiley , 1978 [http://www.amazon.com/Introductory-Functional-Analysis-Applications-Kreyszig/dp/0471504599]
*K. Saxe, Beginning Functional Analysis, Springer , 2002 [http://books.google.com.eg/books?id=QALoZC64ea0C&printsec=frontcover&dq=Beginning+Functional+Analysis&hl=ar&sa=X&ei=mi2XT6bYOtPD8QOF-dmYCg&ved=0CC8Q6AEwAA#v=onepage&q=Beginning%20Functional%20Analysis&f=false]
*Anthony N.Micel,charles j. Herget ,Applied algebra and functional analysis, Canada, 1981 [http://books.google.com.eg/books?id=zoVfzLuFPGEC&printsec=frontcover&dq=applied+functional+analysis+and+algebra&hl=ar&sa=X&ei=X0SwT9DjKYnEswbjg_mqBg&ved=0CDIQ6AEwAA#v=onepage&q=applied%20functional%20analysis%20and%20algebra&f=false]
* John Neumann , Mathematical Foundations of Quantum Mechanics , princeton university ,1955

{{شريط بوابات|رياضيات}}

[[تصنيف:تحليل دالي]]