عرض مصدر علم الحساب الهندسي

{{مقالة غير مراجعة|تاريخ = سبتمبر 2020}}'''علم الحساب الهندسي''' هو علم يجمع بين مجالين علميين لكل من الرياضيات هما [[نظام تحريكي|مجال الأنظمة الهندسية]] (الديناميكية) [[نظرية الأعداد|ونظرية علم الحساب]] (الأعداد).<!----><!---->

تاريخيًا، يشير المفهوم إلى دراسة العمليات الحسابية المنفصلة (خارج إطار التفاعل الحسابي)، من وجهة نظر إعادة تشكّل الأشكال الهندسية الذاتية [[مستوى عقدي|للمستوى المركب]]، (أو ما اصطلح على تسميته z-plan)، إلى جانب دراسة [[مستقيم الأعداد الحقيقية|مسار الأعداد الحقيقية]]. من هذا المنطلق، يعرف علم الحساب الهندسي بأنه دراسة الخصائص النظرية العددية للنقاط الصحيحة، والأعداد التقاربية (p-adic) ، مع/ بدون النقاط الجبرية (algebraic points) التي من خلالها تطبّق خاصية التضاعف [[متعددة الحدود|لدالة قابلة للتعدّد]] (polynomial) أو [[دالة كسرية|منسجمة في ذاتها]] (rational function). مما يستدعي الهدف الأساسي للعملية الحسابية وهو وصف الخصائص الحسابية بناءً على النماذج الهندسية الأوّلية.

بشكل عام، يعرّف علم الحساب الهندسي بأنه دراسة متناظرات المعادلات الهندسية الديوفانتينية (نسبة إلى عالِم الرياضيات اليوناني ديوفانتوس)، التقليدية من خلال صياغة نماذج حسابية منفصلة.

أما على المستوى الخاص، أو ما يطلق عليه العمليات الحسابية p-adic (عدد تقاربي) أو nonarchimedean (نسبة إلى أرخميدس)، فهي هندسيات تناظرية للعمليات الحسابية التقليدية حيث يمكن للمرء استبدال الأعداد المركبة (C) من خلال نظرية الأعداد التقاربية (p-adic) مما ينتج عنه عدد تقاربي مركّب بتردّد (p)

على سبيل المثال: (Q<sub>p</sub>) أو(C<sub>p</sub>).

بالإضافة إلى أن العملية الحسابية تقوم بتفسير مفهوم التفاعل غير المنتظم، وهندسيات [[مجموعة جوليا|Fato]] و [[مجموعة جوليا|Julia]] (نسبة لعالمي الرياضيات الفرنسيين Pierre Fato و Gaston Julia).

يصف الجدول التالي التطابق التقريبي بين معادلات ديوفانتين والعمليات الحسابية، لاسيما من خلال ربط الديوفانتينية مع نظرية التصنيفات الآلبينية (نسبة إلى عالم الرياضيات البرازيلي-الإيطالي: Giacomo :)Albanese
{| border="1"
|+
!المعادلات الديوفانتينة المطبقَة 
!العمليات الحسابية المستخدمة 
|-
|نقاط منطقية وأعداد صحيحة لتصنيفات متنوعة 
|نقاط منطقية وأعداد صحيحة ضمن مدار قطر محدّد 
|-
|النقاط المتناهية (محدودة) على تصنيف آلبيني 
|النقاط المركزية (العودة للنقطة الأم) لدالّة منطقية (حسابية) 
|}

== التعاريف والرموز في نظرية العمليات الحسابية المنفصلة ==
لنفترض أن الرمز S هو نقطة المركز (set) المنظومة الحسابية، ونفترض أن القاعدة الرياضية، تُقرأ من اليسار لليمين F: S → S أنها تُمَثّل مدار للدوران (map) للنقطة S حول محورها. عندها نستطيع أن نستخلص نسبة عددالتكرار(iteration)للنقطة الرمزيةFفي مدارقطرها التي ُيرَمزلهابالمتغّيرالتربيعي(n)كما تشير

المعادلة التالية:

: <math>F^{(n)} = F \circ F \circ \cdots \circ F. </math>

حيث تكون نقطة P ∈ S دورية (periodic) إذا كان F<sup>(n)</sup> (P) = P لجزء من مدار القطر 1<n

لتصبح النقطة (الأساس) ما قبل الدورية (preperiodic) في حالة أن (F<sup>(k)</sup> (P هي دورية لجزء من مدار القطر

k≥1

ليتشكّل، (بتفاعل مطّرد)، مدار قطر النقطة لـ P الذي يمكن اختصاره في المنظومة (set) الحسابية التالية:

: <math>O_F(P) = \left \{ P, F(P), F^{(2)}(P), F^{(3)}(P), \cdots\right\}.</math>

وبالتالي فإن النقطة P تكون غير دورية بشرط وفقط إذا كان قطر مدارها (O<sub>F</sub>(P متناهي (محدود الدوران).

== عدد الخصائص النظرية للنقاط ماقبل الدورية ==
لنفترض أن (F(x هي دالة حسابية لدرجة لا تقل عن اثنتين مع المعاملات (الرياضية) في نقطة تسمى Q.

تنص نظرية Northcott {{بحاجة لمصدر|تاريخ = مارس 2021}} أن النقطة F لا تتضمن سوى نقاط رمزية متناهية من النقطة الحسابية ما قبل الدورية (المركزية) Q، أي أن F ليس لديها سوى عدد محدود من النقاط قبل الدورية داخل المنظومة الحسابية (P<sup>1</sup>(Q.

يرى كل من مورتون و[[جوزيف إتش سيلفرمان|سيلفرمان]] (عالمي رياضيات)، أن التصور الموحَّد للحدود (للدائرة) {{بحاجة لمصدر|تاريخ = مارس 2021}}ينصّ على أن عدد نقاط ما قبل الدورية للنقطة F في المنظومة الحسابية (P<sup>1</sup>(Q أنها منظومة وفق عدد (حسابي) منتظم (متكرر)

الذي بدوره يعتمد فقط على (زاوية) درجة النقطة F.

بشكل أوسع، لنفترض أن

F: P<sup>N</sup> → P<sup>N</sup> هي معادلة مثَبّتَة (morphism) لزاوية درجة على الأقل عنصرين تم تحديدهما من خلال قطر مدار النقطة K.

تشير القاعدة الرياضية Northhcott إلى أن النقطة F لديها فقط مجموعة من النقاط ما قبل الدورية في إطار المنظومة الحسابية (P<sup>N</sup>(K.

في حين أن التصوّر الموحَّد للحدود بشكل كلّي يشير إلى تحديد عدد النقاط ما قبل الدورية في المنظومة (P<sup>N</sup>(K تمّ فقط بناء على قيمة النقطة N، وزاوية

درجة النقطة F، بالإضافة إلى درجة انحناء نقطة K على النقطة المركزية Q.

في هذه المرحلة، يعد التصوّر الموحَّد للحدود غير معروف حتى الآن بالنسبة إلى الدالّة (الحسابية) متعددة الحدود التربيعية التالية: F<sub>c</sub>(x) = x<sup>2</sup> + c التي بدورها تتفاعل حسابيًا فوق مدار الأعداد المنطقية للنقطة المركزية Q.

ومن المعروف في هذه الحالة أن المنظومة الحسابية (F<sub>c</sub>(x لا يمكن أن يكون لها نقاط دورية عند بلوغها مراحل الدوران الهندسي: الرابعة<ref>{{استشهاد بدورية محكمة|عنوان=Arithmetic properties of periodic points of quadratic maps|مسار=https://www.impan.pl/pl/wydawnictwa/czasopisma-i-serie-wydawnicze/acta-arithmetica/all/62/4/107527/arithmetic-properties-of-periodic-points-of-quadratic-maps|صحيفة=Acta Arithmetica|تاريخ=1992|issn=0065-1036|صفحات=343–372|المجلد=62|DOI=10.4064/aa-62-4-343-372|لغة=pl|الأول=Patrick|الأخير=Morton| مسار أرشيف = https://web.archive.org/web/20200903230159/https://www.impan.pl/pl/wydawnictwa/czasopisma-i-serie-wydawnicze/acta-arithmetica/all/62/4/107527/arithmetic-properties-of-periodic-points-of-quadratic-maps | تاريخ أرشيف = 3 سبتمبر 2020 }}</ref>، أو الخامسة{{بحاجة لمصدر|تاريخ = مارس 2021}}[5]، أو السادسة{{بحاجة لمصدر|تاريخ = مارس 2021}}على الرغم من أن نتيجة الدورة السادسة تتوقف على مدى مصداقية تصوّر (عالمي الرياضيات الإنجليزيَّين): [[حدسية بريتش-داير|Birch وSwinnerton-Dyer]].

في المقابل يفترض (عالم الرياضيات الأمريكي) Bjorn Poonen أن الدّالّة الحسابية (F<sub>c</sub>(x لا يمكن أن يكون لها نقاط دورية منطقية لأي فترة دوران أكبر من ثلاث مراحل.{{بحاجة لمصدر|تاريخ = مارس 2021}}

== نقاط الأعداد الصحيحة في المدارات الهندسية ==
قد يحتوي مدار التصوّر الذهني (للشكل الهندسي) على عدد لا نهائي من الأعداد الصحيحة. على سبيل المثال، إذا كان (F(x متعدد الحدود مع عوامل أعداد صحيحة، وإذا كانت النقطة a عددًا صحيحًا، فمن الواضح أن مدار )O<sub>F</sub>(a بأكمله يتكون من أعداد صحيحة. ويمكن إعادة تطبيق القاعدة ذاتها، على نحو إذا كانت (F(x خريطة ذهنية، مع وجود شيء من التكرار داخل مدار الدالة (F<sup>(n)</sup>(x على صورة متعدد الحدود مع معامل (حسابية) لأعداد صحيحة، فبالتالي تكون كل نقطة دخول n في المدار هي عدد صحيح. مثال على هذه الظاهرة، إذا افترضنا الخريطة الذهنية F(x) = x<sup>−d</sup>، التي يكون تكرارها (العدد الناتج) الثاني متعدد الحدود. اتضح أن هذه هي الطريقة

الوحيدة التي يمكن أن يحتوي فيها المدار على عدد لا نهائي من الأعداد الصحيحة.

: نظرية، لنفترض أن (F(x) ∈ Q(x هي دالّة تصّورية لزاوية (هندسية) لا تقل عن درجتين، وكذلك افتراضيا، أن عملية عدم تكرار<ref>An elementary theorem says that if {{تعبير رياضي|''F''(''x'') ∈ '''C'''(''x'')}} and if some iterate of {{mvar|F}} is a polynomial, then already the second iterate is a polynomial.</ref> النقطة F هي متعددة الحدود. مع التسليم بأن a ∈ Q. فالنتيجة تكون باحتواء مدار المنظومة الحسابية (O<sub>F</sub>(a فقط على مجموعة من الأعداد الصحيحة.

== نقاط محددة حسابيًا تقع ضمن مدار منظومات فرعية ==
هناك فرضيات عامة تُنسَب إلى العديد من المنظّرين ومن بينهم (عالم الرياضيات الصيني-الأمريكي) [Shouwu Zhang [10<ref>Zhang, Shou-Wu (2006). "Distributions in algebraic dynamics". In Yau, Shing Tung (ed.). ''Differential Geometry: A Tribute to Professor S.-S. Chern''. Surveys in Differential Geometry. '''10'''. Somerville, MA: International Press. pp.&nbsp;381–430.</ref> فيما يتعلق بالمنظومات (الحسابية) الفرعية التي تحتوي على عدد لا نهائي من النقاط الدورية أو التي تتقاطع مع مدار في عدد لا نهائي من النقاط.

تسمى هذه التصورات: نظائر ديناميكية (هندسية) ومنها، على التوالي، تصوّر Manin-Mumford (عالمَي الرياضيات الروسي والأمريكي)، التي أثبتها العالم Raynaud، وتصّور Mordell-Lang (عالمَي الرياضيات البريطاني-الأمريكي والفرنسي-الأمريكي)، التي أثبتها [[غيرد فالتينغز]].

توضح الفرضيات التالية النظرية العامة في حالة أن المنظومة الفرعية (subvariety) تصبح منحنى.

: مثال للتصوّر، لتكن الدالّة F: P<sup>N</sup> → P<sup>N</sup> عبارة عن معادلة مثبّتة (morphism) وليكن C ⊂ P<sup>N</sup> منحنى جبري غير قابل للاختزال. وفي الوقت ذاته، لنفترض أن هناك منظومة حسابية P ∈ P<sup>N</sup> بحيث تحتوي نقطة C على عدد لا نهائي من النقاط في مدار (O<sub>F</sub>(P. فبالتالي، تصبح النقطة C دورية لـ F بمعنى أن هناك تكرار يحصل على مدار <sup>(</sup>F <sup>(k</sup> للنقطة F التي بدورها ترسم الدائرة للنقطة C حول قطرها.

== العمليات الحسابية لتردّد الأعداد التقاربية (p-adic) ==
تهتم هندسة الأعداد التقاربية (p-adic) ، أو ما يطلق عليها أحيانًا غير الأركميديينة (nonarchimedean)، وعملياتها الحسابية بدراسة جانب النظريات الحسابية التقليدية من خلال تردّد مدار النقطة K التي يكتمل بناؤها بالوصول إلى ما تسمى في نظرية الأعداد التقاربية بالقيمة المطلقة.

ومن الأمثلة على هذه التردّدات، المدار التصوّري للأعداد التقاربية p-adic ويرمز إليه بالتردّد Qp واكتمال ذبذبة دورانها بواسطة هندسة أعداد جبرية َعَبْر مدار النقطة C<sub>p</sub>.

فيما يتعلّق بالقياس الهندسي للنقطة K والتعريف المعياري للتوازي المتّصل فإنه يؤدي إلى التعريف المعتاد لمجموعات [[مجموعة جوليا|Fatou]] و [[مجموعة جوليا|Julia]] لدالة (المسار) الخريطة الذهنية (F (x) <big>∈</big> K (x.

هناك العديد من أوجه التشابه بين النظريات المركّبة وغير الأركميدينية (الأعداد التقاربية)، ولكن في الوقت ذاته، توجد العديد من الاختلافات في وجهات النظر.

الفرق الواضح، وهو أنه في الأعداد غير الأركميدينية تكون مجموعة Fatou دائمًا غير فارغة، في حين من الممكن أن تكون مجموعة Julia فارغة.

هذا هو عكس ما هو صحيح حول نظرية الأعداد المركبة.

تم تمديد العمليات الحسابية غير المؤرقة إلى مساحة <sup>[</sup>Berkovich <sup>[11</sup>، التي تعرف بأنها مساحة متصلة

ومدمجة تضم مجموع الدوران الخارجي للنقطة Cp التي تتّصف بالدوران المنفصل عن محيطها الذاتي.

== نظريات هندسية عامة ==
هناك تعميمات مُمْكِنة في علم الحساب الهندسي حيث يتم استبدال Q و Q<sub>p</sub> بأعداد صحيحة ومكملاتها من الأعداد التقريبية (p-adic) الخاصة بها. التعميم المُمْكن الآخر، هو استبدال المنظومة الحسابية الذاتية (self-maps) لـP1 أو PN بالمنظومات الحسابية الذاتية (التشكل) V → V من الأصناف المحوّلة (affine) أو المجموعات الإسقاطية.(projective varieties)

== المجالات الأخرى التي تتفاعل فيها نظرية الأعداد والعمليات الحسابية ==
هناك العديد من الافتراضيات الأخرى ذات الطبيعة النظرية العددية التي تظهر في مسار المنظومة الهندسية، منها:

* هندسيات تطبّق على [[حقل متناهي|مدارات متناهية]].
* هندسيات تطبّق على دالّة المدارات الحسابية مثل (C(x.
* عملية التفاضلية الحسابية(تكرار)[[متسلسلة قوى|لمتسلسلةالقوى]](powerseries) التشكلية والتقاربية.
* هندسيات تتعلّق مجموعات [[زمرة لي|Lie groups)]] Lie) – نسبة لعالم الرياضيات النرويجي Sophus Lie.
* الخصائص الحسابية لما يعرف حساب ًّيا بنظرية التماثل ال ّشكلي (moduli spaces).
* التَّوازي في الأضلاع [equidistribution([12] و[[قياس (رياضيات)|المقاييس الثابتة،]] لا سيما في مجال الأعداد التقريبية.
* هندسيات وحدات Drinfeld modules) Drindfeld) – نسبة لعالم الرياضيات الروسي Vladimir .Drinfeld.
* مسائل تضاعف (iteration) النظرية العددية التي لا توصف من خلال الحسابيات المنطقية للتصنيفات، على سبيل المثال: مسألة Collatz problem) Collatz) – فيما يتعلّق بنظرية [[حدسية كولاتز|حدسيةCollatz]]، نسبة إلى عالم الرياضيات الألماني Lothar Collatz.
* ر ُموز هندسية للأنظمة الحسابية التي تقوم بدورها على أساس التو ّسعات الحسابية ال ُم َقنَّنَة للأعداد الحقيقية.<ref>Sidorov, Nikita (2003). "Arithmetic dynamics". In Bezuglyi, Sergey; Kolyada, Sergiy (eds.). ''Topics in dynamics and ergodic theory. Survey papers and mini-courses presented at the international conference and US-Ukrainian workshop on dynamical systems and ergodic theory, Katsiveli, Ukraine, August 21–30, 2000''. Lond. Math. Soc</ref>

تستعرض القائمة المرجعية لعلم الحساب الهندسي بيان ُمفَ َّصل من مقالات وكتب التي بدورها تغطي مجموعة واسعة من موضوعات علم الحساب الهندسي.

==انظر أيضا==
* علم الهندسة الحسابية (Arithmetic geometry)
* علم الهندسة والنسبية المكانية (Arithmetic topology)
* نظرية التوافقية (التركيبية) والأنظمة الحسابية(Combinatorics and dynamical systems)

== مراجع ==
{{مراجع}}

== قراءة متعمقة ==

* [http://swc.math.arizona.edu/aws/2010/2010SilvermanNotes.pdf ملاحظات محاضرة عن مدرسة أريزونا الشتوية للديناميات الحسابية] ، 13-17 مارس 2010 ، جوزيف هـ. سيلفرمان
* الفصل 15 من [https://books.google.com/books?id=fGGP482b54sC الدورة الأولى في الديناميات: مع بانوراما للتطورات الأخيرة] ، بوريس هاسيلبلات، AB Katok ، Cambridge University Press ، 2003 ، {{ردمك|978-0-521-58750-1}}

== روابط خارجية ==

* [http://www.math.brown.edu/~jhs/ADSHome.html صفحة ''حساب الأنظمة الديناميكية'' الرئيسية]
* [http://www.math.brown.edu/~jhs/ADSBIB.pdf ببليوغرافيا الديناميات الحسابية]
* [[arxiv:math/0407433|التحليل والديناميات على خط بيركوفيتش الإسقاطي]]
* [http://www.ams.org/bull/2009-46-01/S0273-0979-08-01216-0/S0273-0979-08-01216-0.pdf مراجعة كتاب] [[جوزيف إتش سيلفرمان|لجوزيف إتش سيلفرمان]] «حساب النظم الديناميكية» ، راجعه روبرت إل بينيديتو

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

[[تصنيف:أنظمة حركية]]
[[تصنيف:نظرية جبرية للأعداد]]