تم النشر اليوم 2023-12-04 | فراغات حاصل الضرب القياسي وفراغات هيلبرت

امثلة

1-الفراغ الاقليدى R n {displaystyle mathbf {R} ^{mathbf {n} }} هو فراغ كامل ومعرف عليه حاصل الضرب القياسى كالتالى:: ⟨
( x 1
,
…
, x n
)
,
( y 1
,
…
, y n
)
⟩
:= ∑ i
=
1
n x i y i
= x 1 y 1
+
⋯
+ x n y n
.
{displaystyle langle (x_{1},ldots ,x_{n}),(y_{1},ldots ,y_{n}) angle :=sum _{i=1}^{n}x_{i}y_{i}=x_{1}y_{1}+cdots +x_{n}y_{n}.} لذلك فهو فراغ هيلبرت 2-الفراغ المركب C n {displaystyle mathbf {C} ^{mathbf {n} }} هو فراغ كامل ومعرف عليه حاصل الضرب القياسى كالتالى:: ⟨
( x 1
,
…
, x n
)
,
( y 1
,
…
, y n
)
⟩
:= ∑ i
=
1
n x i y i
¯
,
= x 1 y 1
¯
,
+
⋯
+ x n y n
¯
,
.
{displaystyle langle (x_{1},ldots ,x_{n}),(y_{1},ldots ,y_{n}) angle :=sum _{i=1}^{n}x_{i}{overline {y_{i}}},=x_{1}{overline {y_{1}}},+cdots +x_{n}{overline {y_{n}}},.} لذلك فهو فراغ هيلبرت 3-الفراغ ℓ2 المؤلف من المتتابعات (اللانهائية من الاعداد المركبة) حيث أن هذه المتسلسلة:
∑ n
=
1
∞ |
z n
|
2
{displaystyle sum _{n=1}^{infty }|z_{n}|^{2}}
تقاربية فهو فراغ كامل ومعرف عليه حاصل الضرب القياسى كالتالى: ⟨ z , w ⟩
= ∑ n
=
1
∞ z n w n
¯
,
{displaystyle langle mathbf {z} ,mathbf {w} angle =sum _{n=1}^{infty }z_{n}{overline {w_{n}}},} لذلك فهو فراغ هيلبرت

خصائص

1-خصائص هندسية يمكننا تعميم نظرية فيثاغورث على فراغات حاصل الضرب القياسى: ليكن V فراغ حاصل الضرب القياسى. نقول عن المتجهين u,v انهما متعامدان إذا كان
⟨
u
,
v
⟩
{displaystyle langle u,v angle } = 0.ونرمز لها بالرمز
u ⊥ v
وعندما يصبح المتجهان متعامدان فان: ‖
u
+
v ‖ 2
=
⟨
u
+
v
,
u
+
v
⟩
=
⟨
u
,
u
⟩
+
2
R
e ⟨
u
,
v
⟩
+
⟨
v
,
v
⟩
=
‖
u ‖ 2
+
‖
v ‖ 2
.
{displaystyle |u+v|^{2}=langle u+v,u+v angle =langle u,u angle +2,mathrm {Re} langle u,v angle +langle v,v angle =|u|^{2}+|v|^{2}.} حيث لاى عدد n من المتجهات المتعامدة نستنتج ان: ‖ u 1
+
⋯
+ u n ‖ 2
=
‖ u 1 ‖ 2
+
⋯
+
‖ u n ‖ 2
.
{displaystyle |u_{1}+cdots +u_{n}|^{2}=|u_{1}|^{2}+cdots +|u_{n}|^{2}.}
يمكننا أيضا تعميم خاصية متوازى الأضلاع وهى ان مجموع مربعات اطوال الاقطار يساوى مجموع مربعات اطوال الأضلاع الاربعة حيث ان: ‖
u
+
v ‖ 2
+
‖
u
−
v ‖ 2
=
2
(
‖
u ‖ 2
+
‖
v ‖ 2
)
.
{displaystyle |u+v|^{2}+|u-v|^{2}=2(|u|^{2}+|v|^{2}).} نستطيع القول بان الفراغات المعيرة تعرف حاصل الضرب القياسى حيث ان ‖
x
‖
=
⟨
x
,
x
⟩
,
{displaystyle |x|={sqrt {langle x,x angle }},} إذا كان وفقط إذا كان خاصية متوازى الأضلاع صارت متحققة على سبيل المثال الفراغ ℓp حيث p≠2 ليس فراغ حاصل ضرب قياسى لان المعيار المعرف عليه لا يحقق خاصية متوازى الأضلاع، حيث أن هذا الفراغ فراغ كامل وليس فراغ حاصل ضرب قياسى فانه ليس فراغ هيلبرت. 2-خصائص تحليلية يقال عن متجهان في فراغات حاصل الضرب القياسى انهم متجهات عيارية متعامدة إذا كانوا متعامدان، وطول كل متجه يساوى الوحدة، ومجموعة المتجهات تشكل فئة عيارية متعامدة إذا كان كل متجهان معا متعامدان وطول كل متجه يساوى الوحدة، وهذة الفئات تشكل أساسا يسمى بالاساس العيارى المتعامد. -كل فراغ حاصل ضرب قياسى ذو بعد منتهى له أساسات عيارية متعامدة والتي يمكن الحصول عليها من طريقة جرام-شميت التي تحول الأساس الاختيارى لفراغ حاصل الضرب القياسى إلى أساس عيارى متعامد.

تعريف

ليكن V فراغا اتجاهيا على المجال K (الحقيقى أو المركب).لنفترض انه يقابل كل زوج من المتجهات u,v اللذان ينتموا للفراغ الاتجاهى V عدد حقيي ⟨
u
,
v
⟩
{displaystyle langle u,v angle } ينتمى للمجال K
يسمى هذا الراسم حاصل الضرب القياسى في V إذ حقق البديهيات التالية: 1-:: ⟨
u
,
u
⟩
≥
0
{displaystyle langle u,u angle geq 0} (موجب) 2- 0= ⟨
u
,
u
⟩
{displaystyle langle u,u angle } إذا كان وفقط إذا كان u=0 (محدد) 3-:: ⟨
y
,
x
⟩
= ⟨
x
,
y
⟩ ¯
.
{displaystyle langle y,x angle ={overline {langle x,y angle }}.} (متماثل إذا كان مجال الأساس
حقيقيا)و (مرافق لنفسه إذا كان مجال الأساس مركبا) 4-:: ⟨
a x 1
+
b x 2
,
y
⟩
=
a
⟨ x 1
,
y
⟩
+
b
⟨ x 2
,
y
⟩
.
{displaystyle langle ax_{1}+bx_{2},y angle =alangle x_{1},y angle +blangle x_{2},y angle .}
(خطى في المركبة الأولى) ان الفراغ الاتجاهى المزود بحاصل الضرب القياسى يسمى فراغ حاصل الضرب القياسى وكذلك فراغ حاصل الضرب القياسى الكامل وهو الذي فيه كل متتالية كوشية لها نهاية في هذا الفراغ يسمى
بفراغ هيلبرت واستنادا إلى البديهيات 3 و 4 نستنتج: ⟨
x
,
a y 1
+
b y 2
⟩
= a
¯ ⟨
x
, y 1
⟩
+ b
¯ ⟨
x
, y 2
⟩
.
{displaystyle langle x,ay_{1}+by_{2} angle ={ar {a}}langle x,y_{1} angle +{ar {b}}langle x,y_{2} angle .} وهذا يعنى ان حاصل الضرب القياسى شبه خطى في المركبة الثانية إذا كان لدينا ⟨•,•⟩ حاصل ضرب قياسى على الفراغ الاتجاهى V , فنعرف أولا المعيار المرتبط بحاصل الضرب القياسى على أنه: ‖
u
‖
=
⟨
u
,
u
⟩
,
{displaystyle |u|={sqrt {langle u,u angle }},} ومن هنا فان فراغات حاصل الضرب القياسى تكون فراغات معيرة وكذلك فراغ هيلبرت يكون فراغ باناخى ونعرف ثانيا المسافة بين نقطتين x,y في فراغ هيلبرت بمعرفة المعيار على أنها: d
(
x
,
y
)
=
‖
x
−
y
‖
=
⟨
x
−
y
,
x
−
y
⟩
.
{displaystyle d(x,y)=|x-y|={sqrt {langle x-y,x-y angle }}.} ومن هنا فان فراغ حاصل الضرب القياسى يكون فراغ المسافة ونشير إلى هذة الخاصية الأخيرة التي تتحقق نتيجة لعدم التساوى والتي تسمى متباينة كوشى- شفارتز وهي ايا كان المتجهان x,y فان:
| ⟨
x
,
y
⟩ | ≤
‖
x
‖ ‖
y
‖
{displaystyle |langle x,y angle |leq |x|,|y|} حيث أن التساوى يتحقق إذا كان وفقط إذا كان x,y مرتبطين خطيا

تطبيقات

توجد العديد من التطبيقات لفراغ هيلبرت في مجالى الرياضيات والفيزياء 1-يستخدم فراغ هيلبرت في ميكانيكا الكم التي تهتم بدراسة الأجسام الصغيرة جدامثل الإلكترونات والبروتونات حيث تتحول المسافة وكمية الحركة والطاقة في الميكانيكا الكلاسيكية إلى مؤثر في ميكانيكا الكم وهذا المؤثر معرف على فراغ هيلبرت 2-يستخدم في المعادلات التفاضلية لدراسة سلوك القيم الذاتية والمتجهات الذاتية للمعادلات التفاضلية 3-يستخدم فراغ هيلبرت في متسلسلات فوارير حيث يمكن تمثيل الدالة كتركيبات خطية من دوال مرتبطة بهذة المتسلسلات

شرح مبسط

يمكننا تعميم مفهومى «الضرب القياسى» و «التعامد» على الفراغات الاتجاهية سواء الحقيقية أو المركبة وهذا ما يقودنا إلى تزويد الفراغ الاتجاهى ببنية اضافية للحصول على فراغ حاصل الضرب القياسى وفراغ حاصل الضرب القياسى الكامل الذي يسمى ب «فراغ هيلبرت»