كرة ريمان

في الرياضيات ، تُعرف كرة ريمان ، نسبةً إلى برنارد ريمان ، ^{[ 1 ]} بأنها نموذج للمستوى العقدي الممتد (ويُسمى أيضًا المستوى العقدي المغلق ): وهو المستوى العقدي بالإضافة إلى نقطة واحدة عند اللانهاية . يُمثل هذا المستوى الممتد الأعداد العقدية الممتدة ، أي الأعداد العقدية بالإضافة إلى قيمة.${\displaystyle \infty }$بالنسبة إلى اللانهاية . باستخدام نموذج ريمان، النقطة${\displaystyle \infty }$يقترب من أعداد كبيرة جدًا، تمامًا كما هو الحال في النقطة${\displaystyle 0}$يقترب من أعداد صغيرة جدًا.

تُعد الأعداد المركبة الموسعة مفيدة في التحليل المركب لأنها تسمح بالقسمة على صفر في بعض الحالات، بطريقة تجعل تعابير مثل${\displaystyle 1/0=\infty }$ذات سلوك جيد . على سبيل المثال، يمكن تمديد أي دالة كسرية على المستوى المركب إلى دالة تحليلية على كرة ريمان، حيث تتجه أقطاب الدالة الكسرية إلى اللانهاية. وبشكل أعم، يمكن اعتبار أي دالة ميرومورفية دالة تحليلية مجالها المقابل هو كرة ريمان.

في الهندسة ، تُعدّ كرة ريمان المثال النموذجي لسطح ريمان ، وهي من أبسط المتشعبات المركبة . في الهندسة الإسقاطية ، تُعدّ الكرة مثالًا على الفضاء الإسقاطي المركب ، ويمكن اعتبارها خطًا إسقاطيًا مركبًا.${\displaystyle \mathbf {P} ^{1}(\mathbf {C} )}$، الفضاء الإسقاطي لجميع الخطوط المعقدة في${\displaystyle \mathbf {C} ^{2}}$كما هو الحال مع أي سطح ريمان مضغوط ، يمكن اعتبار الكرة أيضًا منحنى جبريًا إسقاطيًا ، مما يجعلها مثالًا أساسيًا في الهندسة الجبرية . كما أنها تُستخدم في تخصصات أخرى تعتمد على التحليل والهندسة، مثل كرة بلوخ في ميكانيكا الكم وفي فروع أخرى من الفيزياء .

تتكون الأعداد المركبة الموسعة من الأعداد المركبة${\displaystyle \mathbb {C} }$مع${\displaystyle \infty }$يمكن كتابة مجموعة الأعداد المركبة الموسعة على النحو التالي:${\displaystyle \mathbb {C} \cup \{\infty \}}$وغالباً ما يُشار إليه بإضافة بعض الزخارف إلى الحرف${\displaystyle \mathbb {C} }$، مثل

${\displaystyle {\widehat {\mathbb {C} }},\quad {\overline {\mathbb {C} }},\quad {\text{or}}\quad \mathbb {C} _{\infty }.}$

الترميز${\displaystyle \mathbb {C} ^{*}}$وقد استُخدمت أيضًا، ولكن نظرًا لأن هذه الصيغة تُستخدم أيضًا للمستوى المثقوب${\displaystyle \mathbb {C} \setminus \{0\}}$^{[ 2 ]} ، قد يؤدي ذلك إلى الغموض.

هندسياً، تُعرف مجموعة الأعداد المركبة الممتدة باسم كرة ريمان (أو المستوى المركب الممتد).

باعتبارها متعددة شعب عقدية أحادية البعد ، يمكن وصف كرة ريمان بمخططين ، وكلاهما له نطاق يساوي مستوى الأعداد العقدية.${\displaystyle \mathbf {C} }$. يترك${\displaystyle \zeta }$ليكن عددًا مركبًا في نسخة واحدة من${\displaystyle \mathbf {C} }$ودع${\displaystyle \xi }$ليكن عددًا مركبًا في نسخة أخرى من${\displaystyle \mathbf {C} }$حدد كل عدد مركب غير صفري${\displaystyle \zeta }$من الأول${\displaystyle \mathbf {C} }$مع العدد المركب غير الصفري${\displaystyle 1/\xi }$من الثاني${\displaystyle \mathbf {C} }$ثم الخريطة

${\displaystyle f(z)={\frac {1}{z}}}$

يُطلق عليها اسم خريطة الانتقال بين النسختين من${\displaystyle \mathbf {C} }$—ما يُسمى بالمخططات—ربطها معًا. بما أن خرائط الانتقال هي خرائط شكلية ، فإنها تُعرّف فضاءً معقدًا، يُسمى كرة ريمان . وباعتباره فضاءً معقدًا ذا بُعد معقد واحد (أي بُعدين حقيقيين)، يُسمى أيضًا سطح ريمان .

بشكل بديهي، توضح خرائط الانتقال كيفية لصق مستويين معًا لتشكيل كرة ريمان. يتم لصق المستويين بطريقة "من الداخل إلى الخارج"، بحيث يتداخلان في كل مكان تقريبًا، حيث يساهم كل مستوى بنقطة واحدة فقط (أصله) مفقودة من المستوى الآخر. بعبارة أخرى، (تقريبًا) كل نقطة في كرة ريمان لها كل من${\displaystyle \zeta }$قيمة و أ${\displaystyle \xi }$القيمة، والقيمتان مرتبطتان بـ${\displaystyle \zeta =1/\xi }$النقطة التي${\displaystyle \xi =0}$كان ينبغي عليه إذن أن يكون${\displaystyle \zeta }$-قيمة "${\displaystyle 1/0}$«؛ بهذا المعنى، أصل${\displaystyle \xi }$يلعب المخطط دور${\displaystyle \infty }$في${\displaystyle \zeta }$-مخطط. بشكل متناظر، أصل${\displaystyle \zeta }$يلعب المخطط دور${\displaystyle \infty }$في${\displaystyle \xi }$-جدول.

من الناحية الطوبولوجية ، فإن الفضاء الناتج هو تكثيف نقطة واحدة لمستوى إلى كرة. ومع ذلك، فإن كرة ريمان ليست مجرد كرة طوبولوجية، بل هي كرة ذات بنية معقدة محددة جيدًا ، بحيث توجد حول كل نقطة على الكرة جوار يمكن تحديده ثنائيًا شكليًا .${\displaystyle \mathbf {C} }$.

من جهة أخرى، تنص نظرية التوحيد ، وهي نتيجة أساسية في تصنيف أسطح ريمان، على أن كل سطح ريمان بسيط الاتصال يكون ثنائي الشكل بالنسبة للمستوى المركب، أو المستوى الزائدي ، أو كرة ريمان. ومن بين هذه الأسطح، تُعد كرة ريمان السطح الوحيد المغلق ( سطحًا متراصًا بلا حدود ). وبالتالي، فإن الكرة ثنائية الأبعاد تقبل بنية مركبة فريدة، مما يحولها إلى فضاء مركب أحادي البعد.

يمكن تعريف كرة ريمان أيضًا بأنها الخط الإسقاطي المركب . ويمكن تعريف نقاط الخط الإسقاطي المركب على أنها فئات تكافؤ للمتجهات غير الصفرية في فضاء المتجهات المركب.${\displaystyle \mathbf {C} ^{2}}$متجهان غير صفريين${\displaystyle (w,z)}$و${\displaystyle (u,v)}$تكون متكافئة إذا وفقط إذا${\displaystyle (w,z)=(\lambda u,\lambda v)}$ لبعض المعاملات غير الصفرية${\displaystyle \lambda \in \mathbf {C} }$.

في هذه الحالة، تُكتب فئة التكافؤ${\displaystyle [w,z]}$باستخدام الإحداثيات الإسقاطية . بالنظر إلى أي نقطة${\displaystyle [w,z]}$في خط الإسقاط المركب، أحد${\displaystyle w}$و${\displaystyle z}$يجب أن يكون غير صفري، على سبيل المثال${\displaystyle w\neq 0}$ثم، بناءً على مفهوم التكافؤ،${\displaystyle [w,z]=\left[1,z/w\right]}$، وهو موجود في مخطط لمتشعب كرة ريمان. ^{[ 3 ]}

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

يمكن تصور كرة ريمان على أنها كرة الوحدة${\displaystyle x^{2}+y^{2}+z^{2}=1}$في الفضاء الحقيقي ثلاثي الأبعاد${\displaystyle \mathbf {R} ^{3}}$ولتحقيق هذه الغاية، ضع في اعتبارك الإسقاط المجسم من كرة الوحدة مطروحًا منه النقطة${\displaystyle (0,0,1)}$على متن الطائرة${\displaystyle z=0,}$والتي نحددها بالمستوى المركب بواسطة${\displaystyle \zeta =x+iy}$في الإحداثيات الديكارتية${\displaystyle (x,y,z)}$والإحداثيات الكروية${\displaystyle (\theta ,\varphi )}$على الكرة (مع${\displaystyle \theta }$زاوية سمت الرأس و${\displaystyle \varphi }$السمت )، الإسقاط هو

${\displaystyle \zeta ={\frac {x+iy}{1-z}}={\cot }{\bigl (}{\tfrac {1}{2}}\theta {\bigr )}\,e^{i\varphi }.}$

وبالمثل، الإسقاط المجسم من${\displaystyle (0,0,-1)}$على متن الطائرة${\displaystyle z=0,}$تم تحديدها بنسخة أخرى من المستوى المركب بواسطة${\displaystyle \xi =x-iy,}$مكتوب

${\displaystyle \xi ={\frac {x-iy}{1+z}}={\tan }{\bigl (}{\tfrac {1}{2}}\theta {\bigr )}\,e^{-i\varphi }.}$

معكوسات هذين الإسقاطين المجسمين هي خرائط من المستوى المركب إلى الكرة. يغطي المعكوس الأول الكرة باستثناء النقطة${\displaystyle (0,0,1)}$والثانية تغطي الكرة باستثناء النقطة${\displaystyle (0,0,-1)}$يتم تحديد المستويين المركبين، اللذين يمثلان نطاقات هذه الخرائط، بشكل مختلف مع المستوى${\displaystyle z=0}$، لأن انعكاس الاتجاه ضروري للحفاظ على اتجاه ثابت على الكرة.

خرائط الانتقال بين${\displaystyle \zeta }$-الإحداثيات و${\displaystyle \xi }$يتم الحصول على الإحداثيات عن طريق تركيب إسقاط واحد مع معكوس الإسقاط الآخر. وتكون النتيجة هي${\displaystyle \zeta =1/\xi }$و${\displaystyle \xi =1/\zeta }$كما هو موضح أعلاه. وبالتالي فإن كرة الوحدة متماثلة شكليًا مع كرة ريمان.

في ظل هذا التحويل التفاضلي، تكون دائرة الوحدة في${\displaystyle \zeta }$-مخطط، دائرة الوحدة في${\displaystyle \xi }$تم تحديد كل من مخطط -، وخط استواء الكرة الوحدة. قرص الوحدة${\displaystyle |\zeta |<1}$يرتبط بنصف الكرة الجنوبي${\displaystyle z<0}$بينما قرص الوحدة${\displaystyle |\xi |<1}$يرتبط بنصف الكرة الشمالي${\displaystyle z>0}$.

لا يأتي سطح ريمان مزودًا بأي مقياس ريماني محدد . مع ذلك، تحدد البنية المطابقة لسطح ريمان فئة من المقاييس: جميع تلك التي تكون بنيتها المطابقة الفرعية هي البنية المعطاة. بتفصيل أكثر: تحدد البنية المعقدة لسطح ريمان مقياسًا بشكل فريد حتى التكافؤ المطابق . (يُقال إن مقياسين متكافئان مطابقًا إذا اختلفا بضربهما في دالة ملساء موجبة ). على العكس من ذلك، يحدد أي مقياس على سطح موجه بنية معقدة بشكل فريد، تعتمد على المقياس فقط حتى التكافؤ المطابق. لذلك، فإن البنى المعقدة على سطح موجه تتوافق تطابقًا تامًا مع فئات المقاييس المطابقة على ذلك السطح.

ضمن فئة توافقية معينة، يمكن استخدام التناظر التوافقي لإيجاد مقياس تمثيلي ذي خصائص ملائمة. وعلى وجه الخصوص، يوجد دائمًا مقياس كامل ذو انحناء ثابت في أي فئة توافقية معينة.

في حالة كرة ريمان، تنص نظرية غاوس-بونيه على أن المقياس ذو الانحناء الثابت ${\displaystyle \gamma }$يجب أن يكون له انحناء موجب${\displaystyle K}$ويترتب على ذلك أن المقياس يجب أن يكون متساوي القياس مع الكرة ذات نصف القطر${\displaystyle 1/{\sqrt {K}}}$في${\displaystyle \mathbf {R} ^{3}}$عن طريق الإسقاط المجسم. في${\displaystyle \zeta }$-مخطط على كرة ريمان، المقياس مع${\displaystyle K=1}$يُعطى بواسطة

${\displaystyle ds^{2}=2\gamma _{\zeta {\overline {\zeta }}}\,d\zeta \,d{\overline {\zeta }}={\frac {4}{\left(1+\zeta {\overline {\zeta }}\right)^{2}}}\,d\zeta \,d{\overline {\zeta }}=\left({\frac {2}{1+|\zeta |^{2}}}\right)^{2}\,|d\zeta |^{2}.}$

بالإحداثيات الحقيقية${\displaystyle \zeta =u+iv}$الصيغة هي

${\displaystyle ds^{2}={\frac {4}{\left(1+u^{2}+v^{2}\right)^{2}}}\left(du^{2}+dv^{2}\right).}$

حتى عامل ثابت، يتوافق هذا المقياس مع مقياس فوبيني-ستودي القياسي على الفضاء الإسقاطي المركب (الذي تُعد كرة ريمان مثالًا عليه). رمزا كريستوفيل غير الصفريين لاتصال ليفي-تشيفيتا الخاص به هما ${\displaystyle \Gamma _{\zeta \zeta }^{\zeta }=-2{\overline {\zeta }}/(1+|\zeta |^{2})}$ ومرافقه. وبالتالي، فإن هذا المقياس يساوي انحناء ريتشي الخاص به . ${\displaystyle \gamma =\mathrm {Ric} }$.

باستثناء عمليات القياس، يُعد هذا المقياس الوحيد على الكرة الذي تكون مجموعة التماثلات المحافظة على الاتجاه فيه ثلاثية الأبعاد (ولا يوجد أي منها أكثر من ثلاثة أبعاد)؛ وتُسمى هذه المجموعة${\displaystyle {\mbox{SO}}(3)}$وبهذا المعنى، يُعد هذا المقياس الأكثر تناظرًا على الكرة. (مجموعة جميع التماثلات، والمعروفة باسم${\displaystyle {\mbox{O}}(3)}$وهو أيضًا ثلاثي الأبعاد، ولكن على عكس${\displaystyle {\mbox{SO}}(3)}$(ليست مساحة متصلة.)

على العكس من ذلك، دع${\displaystyle S}$نرمز إلى الكرة (كمتشعب أملس أو طوبولوجي مجرد ). وبحسب نظرية التوحيد، يوجد تركيب معقد فريد على${\displaystyle S}$حتى التكافؤ المطابق. ويترتب على ذلك أن أي مقياس على${\displaystyle S}$يُكافئ المقياس الدائري متطابقًا . تُحدد جميع هذه المقاييس نفس الهندسة المطابقة. لذا، فإن المقياس الدائري ليس خاصية جوهرية في كرة ريمان، لأن "الاستدارة" ليست ثابتة في الهندسة المطابقة. كرة ريمان هي مجرد فضاء متطابق ، وليست فضاءً ريمانيًا . مع ذلك، إذا دعت الحاجة إلى تطبيق الهندسة الريمانية على كرة ريمان، فإن المقياس الدائري يُعد خيارًا طبيعيًا (مع أي نصف قطر ثابت، على الرغم من أن نصف القطر${\displaystyle 1}$(وهو الخيار الأبسط والأكثر شيوعًا). ذلك لأن المقياس الدائري على كرة ريمان فقط هو الذي تكون زمرة التماثل الخاصة به زمرة ثلاثية الأبعاد. (أي الزمرة المعروفة باسم${\displaystyle {\mbox{SO}}(3)}$، وهي مجموعة متصلة ("لي") تمثل طوبولوجيًا الفضاء الإسقاطي ثلاثي الأبعاد${\displaystyle \mathbf {P} ^{3}}$.)

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

${\displaystyle f(\zeta )={\frac {a\zeta +b}{c\zeta +d}},}$

أين${\displaystyle a}$،${\displaystyle b}$،${\displaystyle c}$، و${\displaystyle d}$هي أعداد مركبة بحيث${\displaystyle ad-bc\neq 0}$تشمل أمثلة تحويلات موبيوس التمددات ، والدورانات ، والانتقالات ، والانعكاس المركب. في الواقع، يمكن كتابة أي تحويل من تحويلات موبيوس كتركيب لهذه التحويلات.

تحويلات موبيوس هي تحويلات متجانسة على الخط الإسقاطي المركب. في الإحداثيات الإسقاطية ، يمكن كتابة التحويل f على النحو التالي:

${\displaystyle [\zeta ,\ 1]{\begin{pmatrix}a&c\\b&d\end{pmatrix}}\ =\ [a\zeta +b,\ c\zeta +d]\ =\ {\begin{pmatrix}{\tfrac {a\zeta +b}{c\zeta +d}}&1\end{pmatrix}}\ =\ [f(\zeta ),\ 1].}$

وبالتالي، يمكن وصف تحويلات موبيوس بأنها مصفوفات عقدية ثنائية الأبعاد ذات محدد غير صفري . ولأنها تؤثر على الإحداثيات الإسقاطية، فإن مصفوفتين تُنتجان نفس تحويل موبيوس إذا وفقط إذا اختلفتا بمعامل غير صفري. مجموعة تحويلات موبيوس هي المجموعة الخطية الإسقاطية.${\displaystyle {\mbox{PGL}}(2,\mathbf {C} )}$.

إذا ما تم تزويد كرة ريمان بمقياس فوبيني-ستودي ، فإن تحويلات موبيوس ليست جميعها تحويلات متساوية القياس؛ فعلى سبيل المثال، التمددات والانتقالات ليست كذلك. وتشكل التحويلات متساوية القياس مجموعة فرعية فعلية من${\displaystyle {\mbox{PGL}}(2,\mathbf {C} )}$، أي${\displaystyle {\mbox{PSU}}(2)}$هذه المجموعة الفرعية متماثلة مع مجموعة الدوران${\displaystyle {\mbox{SO}}(3)}$، وهي مجموعة تناظرات الكرة الوحدة في${\displaystyle \mathbf {R} ^{3}}$(والتي، عند تقييدها بالكرة، تصبح متماثلات الكرة).

في التحليل المركب، الدالة الميرومورفية على المستوى المركب (أو على أي سطح ريمان، في هذا الشأن) هي نسبة${\displaystyle f/g}$من دالتين هولومورفيتين${\displaystyle f}$و${\displaystyle g}$باعتبارها خريطة للأعداد المركبة، فهي غير معرفة أينما${\displaystyle g}$يساوي صفرًا. ومع ذلك، فإنه يُنتج خريطة هولومورفية${\displaystyle (f,g)}$إلى الخط الإسقاطي المعقد الذي يكون محددًا جيدًا حتى في${\displaystyle g=0}$يُعدّ هذا البناء مفيدًا في دراسة الدوال التحليلية والتحليلية. فعلى سبيل المثال، لا توجد على سطح ريمان متراصّ دوال تحليلية غير ثابتة للأعداد المركبة، بينما تكثر الدوال التحليلية للخط الإسقاطي المركب.

كثيراً ما يتم الاستشهاد بكرة ريمان كبنية يمكن من خلالها تصور الدوائر المعممة وتحويلات موبيوس والخرائط المطابقة بين المجموعات الفرعية المفتوحة المتصلة للمستوى المركب الممتد.

تُستخدم كرة ريمان في العديد من التطبيقات الفيزيائية. ففي ميكانيكا الكم، تُعتبر النقاط الواقعة على خط الإسقاط المركب قيمًا طبيعية لحالات استقطاب الفوتون ، وحالات الدوران للجسيمات ذات الكتلة ذات الدوران المغزلي .${\displaystyle 1/2}$والجسيمات ثنائية الحالة بشكل عام (انظر أيضًا البت الكمومي وكرة بلوخ ). وقد اقتُرحت كرة ريمان كنموذج نسبي للكرة السماوية . ^{[ 4 ]} في نظرية الأوتار ، تُعدّ أسطح ريمان هي سطوح العالم للأوتار، وتلعب كرة ريمان، باعتبارها أبسط سطح ريمان، دورًا هامًا. كما أنها مهمة في نظرية التويستر .

• الهندسة المطابقة – دراسة التحويلات التي تحافظ على الزوايا في الفضاء الهندسي 
• النسبة التبادلية – ثابتة في الهندسة الإسقاطية 
• رسم بياني للأطفال – رسم بياني يُستخدم لدراسة أسطح ريمان 
• حزمة هوبف – حزمة ألياف من الكرة ثلاثية الأبعاد فوق الكرة ثنائية الأبعاد، مع اعتبار الكرات أحادية الأبعاد أليافًا. صفحات تعرض أوصافًا مختصرة لأهداف إعادة التوجيه 
• مستوى موبيوس
• التوازي (المشغل) §  الخصائص
• خط الأعداد الحقيقية الممتد إسقاطيًا – الأعداد الحقيقية مع إضافة نقطة عند اللانهاية 
• مخطط سميث – آلة حاسبة بيانية تستخدم في الهندسة الكهربائية 
• نظرية العجلة – الجبر حيث يتم تعريف القسمة دائمًا 

• براون، جيمس وتشرشل، رويل (1989). المتغيرات المركبة وتطبيقاتها . نيويورك: ماكجرو هيل. ISBN 0-07-010905-2.
• جولدمان، ويليام مارك (1999). الهندسة الزائدية المركبة . أكسفورد  : نيويورك: مطبعة جامعة أكسفورد. ISBN 0-19-853793-X.
• غريفيث، فيليب وهاريس، جوزيف (1978). مبادئ الهندسة الجبرية . جون وايلي وأولاده. ISBN 0-471-32792-1.
• بينروز، روجر (2007). الطريق إلى الواقع . لندن: منشورات ناشيونال جيوغرافيك. ISBN 978-0-679-77631-4.
• ريمان، بيرنهارد (1857). "Theorie der Abel'schen Functionen" [ نظرية الدوال الأبيلية ] . Journal für die reine und angewandte Mathematik (باللغة الألمانية). 54 : 115 – 155.
• رودين، والتر (1987). التحليل الحقيقي والمركب . نيويورك: ماكجرو هيل. ISBN 0-07-100276-6.

• "كرة ريمان" ، موسوعة الرياضيات ، دار نشر EMS ، 2001 [1994]
• كشف تحويلات موبيوس ، من تأليف دوغلاس ن. أرنولد وجوناثان روغنيس (فيديو من إعداد اثنين من أساتذة جامعة مينيسوتا يشرحان ويوضحان تحويلات موبيوس باستخدام الإسقاط المجسم من كرة)