التعريف الأساسي
لنفترض أن لدينا فضاء متجهي مركب، لنرمز له بـ V، فوق الحقل C (الأعداد المركبة). البنية الحقيقية على V هي اقتران σ: V → V يحقق الشروط التالية:
- التوافق مع الجمع: σ(u + v) = σ(u) + σ(v) لكل u, v ∈ V
- التوافق مع الضرب القياسي الحقيقي: σ(λv) = λσ(v) لكل v ∈ V ولكل λ ∈ R (الأعداد الحقيقية)
- الاقتران المعاكس: σ(σ(v)) = v لكل v ∈ V
هذه الشروط تعني أن σ هو اقتران خطي حقيقي مضاد (أي يحافظ على الجمع والضرب القياسي الحقيقي، ولكنه يعكس الضرب في العدد i). يسمى σ أيضًا الاقتران المرافق أو الاقتران الحقيقي.
الفضاءات الفرعية الحقيقية
بمجرد تحديد البنية الحقيقية σ على الفضاء المتجهي المركب V، يمكننا تعريف فضاءين فرعيين حقيقيين:
- الفضاء الحقيقي: Vσ = {v ∈ V : σ(v) = v}. هذا هو الفضاء الفرعي الذي يتكون من جميع المتجهات التي تظل كما هي عند تطبيق σ.
- الفضاء التخيلي: iVσ = {iv : v ∈ Vσ}. هذا الفضاء يتكون من مضاعفات i لمتجهات في Vσ.
تتمثل الخاصية الأساسية للبنية الحقيقية في أنه يمكن كتابة V كمجموع مباشر للفضاءين الفرعيين الحقيقيين: V = Vσ ⊕ iVσ. بمعنى آخر، يمكن كتابة أي متجه v ∈ V بشكل فريد كـ v = v1 + iv2، حيث v1, v2 ∈ Vσ.
أمثلة
دعنا نرى بعض الأمثلة لتوضيح مفهوم البنية الحقيقية:
- C على R: يعتبر الحقل C فضاء متجهي مركب على نفسه. يمكن تعريف البنية الحقيقية σ(z) = &z.overline، حيث &z.overline هو مرافق العدد المركب z. في هذه الحالة، Cσ = R و iCσ = iR.
- Cn على R: هنا، Cn هو فضاء المتجهات المركبة ذات الأبعاد n. يمكن تعريف σ(z1, z2, …, zn) = (&z.overline1, &z.overline2, …, &z.overlinen). الفضاء الحقيقي (Cn)σ يتكون من المتجهات التي تكون عناصرها حقيقية، والفضاء التخيلي هو i(Cn)σ.
- فضاء الدوال: دعونا نفكر في فضاء الدوال المركبة القابلة للتكامل على خط الأعداد الحقيقي. يمكن تعريف σ(f(x)) = &f.overline(x)، حيث &f.overline(x) هو مرافق الدالة f(x).
العلاقة بالمنتجات الداخلية
إذا كان الفضاء المتجهي المركب V مزودًا بمنتج داخلي، يمكننا أن نربط البنية الحقيقية بهذا المنتج. لنفترض أن <., .> يمثل المنتج الداخلي على V. تسمى البنية الحقيقية σ متوافقة مع المنتج الداخلي إذا كان <σ(u), σ(v)> = <v, u> لكل u, v ∈ V. في هذه الحالة، يكون الفضاء الحقيقي Vσ فضاء فرعي حقيقي مع منتج داخلي مستحث من <., .>. هذه العلاقة مهمة في العديد من التطبيقات، مثل تحليل فورير والميكانيكا الكمية.
التمثيلات
تلعب البنى الحقيقية دورًا مهمًا في نظرية التمثيل. على سبيل المثال، إذا كان لدينا تمثيل ρ لمجموعة ما على فضاء متجهي مركب V، فيمكننا تعريف تمثيل حقيقي عن طريق تقييد ρ إلى الفضاء الحقيقي Vσ. يتيح هذا النهج لنا دراسة التمثيلات المركبة من خلال دراسة التمثيلات الحقيقية، والتي يمكن أن تكون أسهل في بعض الأحيان.
الهندسة التفاضلية
في الهندسة التفاضلية، تظهر البنى الحقيقية في سياق الـ manifolds المركبة. على سبيل المثال، يمكن تعريف الـ manifold المركب على أنه manifold حقيقي مزود ببنية معقدة، والتي يمكن تحديدها من خلال تحديد بنية حقيقية على فضاء الظل في كل نقطة. تسمح البنى الحقيقية بدراسة الـ manifolds المركبة من خلال دراسة الـ manifolds الحقيقية، مما يوفر أدوات قوية لتحليل خصائصها.
ميكانيكا الكم
في ميكانيكا الكم، تُستخدم البنى الحقيقية لوصف تناظرات معينة لنظام الكم. على سبيل المثال، يمكن للبنية الحقيقية أن تصف تناظر انعكاس الوقت. في هذه الحالة، يعمل الاقتران σ على مرافق الحالة الكمية، ويحافظ على العمليات الفيزيائية. يلعب هذا المفهوم دورًا مهمًا في فهم سلوك الجسيمات الأولية والتفاعلات الأساسية.
تطبيقات أخرى
تظهر البنى الحقيقية في العديد من المجالات الأخرى للرياضيات والفيزياء، بما في ذلك:
- نظرية الأعداد: حيث تستخدم في دراسة الحقول العددية المركبة.
- نظرية الاحتمالات: حيث تظهر في تحليل المتغيرات العشوائية المركبة.
- علوم الحاسوب: حيث تستخدم في معالجة الإشارات ومعالجة الصور.
الخلاصة
خاتمة
بشكل عام، تعد البنية الحقيقية مفهومًا أساسيًا في الرياضيات، وتوفر أداة قوية لتحليل الفضاءات المتجهية المركبة. من خلال تقسيم الفضاء المتجهي المركب إلى فضاءين فرعيين حقيقيين، تتيح لنا البنى الحقيقية اكتساب رؤى قيمة حول خصائص الفضاء الأصلي وعلاقته بالفضاءات الحقيقية. تجد هذه البنى تطبيقات واسعة في مجالات مختلفة، بما في ذلك الجبر الخطي، ونظرية التمثيل، والهندسة التفاضلية، وميكانيكا الكم. إن فهم البنية الحقيقية أمر ضروري لأي شخص يعمل في هذه المجالات.
المراجع
- Real structure – Wikipedia
- What is a real structure on a complex vector space? – MathOverflow
- Real Structure – PlanetMath
- Real Structure – MathWorld
“`