التفرد (الرياضيات)

في الرياضيات ، تُعرف النقطة الشاذة بأنها نقطة لا يكون عندها كائن رياضي معين مُعرَّفاً، أو نقطة يتوقف عندها الكائن الرياضي عن التصرف بشكل جيد بطريقة معينة، كأن يفقد قابليته للتفاضل أو التحليلية . [ 1 ] [ 2 ] [ 3 ]

على سبيل المثال، الدالة المقلوبةو(x)=1/x{\displaystyle f(x)=1/x}لها نقطة تفرد عندx=0{\displaystyle x=0}حيث لا تكون قيمة الدالة محددة ، كما هو الحال عند القسمة على صفر . دالة القيمة المطلقةز(x)=|x|{\displaystyle g(x)=|x|}كما أن لها نقطة تفرد عندx=0{\displaystyle x=0}[ 4 ] لأنه غير قابل للتفاضل هناك.

المنحنى الجبري المحدد بواسطة{(x،y):y3-x2=0}{\displaystyle \left\{(x,y):y^{3}-x^{2}=0\right\}}في(x،y){\displaystyle (x,y)}يحتوي نظام الإحداثيات على نقطة تفرد (تسمى نقطة انعطاف ) عند(0،0){\displaystyle (0,0)}للاطلاع على النقاط الشاذة في الهندسة الجبرية ، انظر النقطة الشاذة لمتنوعة جبرية . للاطلاع على النقاط الشاذة في الهندسة التفاضلية ، انظر نظرية النقاط الشاذة .

التحليل الحقيقي

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

لوصف كيفية استخدام هذين النوعين من النهايات، افترض أنو(x){\displaystyle f(x)}هي دالة لمتغير حقيقيx{\displaystyle x}وبغض النظر عن قيمة حجته، على سبيل المثالج{\displaystyle c}ثم الحد الأقصى لليساريين ،و(ج-){\displaystyle f(c^{-})}والحد الأيمن ،و(ج+){\displaystyle f(c^{+})}، ويتم تعريفها من خلال:

و(ج-)=ليمxجو(x){\displaystyle f(c^{-})=\lim _{x\to c}f(x)}، مقيد بـx<ج{\displaystyle x<c}و
و(ج+)=ليمxجو(x){\displaystyle f(c^{+})=\lim _{x\to c}f(x)}، مقيد بـx>ج{\displaystyle x>c}.

القيمةو(ج-){\displaystyle f(c^{-})}هي القيمة التي تمثلها الدالةو(x){\displaystyle f(x)}يميل نحو القيمةx{\displaystyle x}الأساليبج{\displaystyle c}من الأسفل ، والقيمةو(ج+){\displaystyle f(c^{+})}هي القيمة التي تمثلها الدالةو(x){\displaystyle f(x)}يميل نحو القيمةx{\displaystyle x}الأساليبج{\displaystyle c}من الأعلى ، بغض النظر عن القيمة الفعلية للدالة عند النقطة التيx=ج{\displaystyle x=c} .

هناك بعض الدوال التي لا توجد لها هذه الحدود على الإطلاق. على سبيل المثال، الدالة

ز(x)=الخطيئة(1x){\displaystyle g(x)=\sin \left({\frac {1}{x}}\right)}

لا يميل إلى أي شيء مثلx{\displaystyle x}الأساليبج=0{\displaystyle c=0}الحدود في هذه الحالة ليست لانهائية، بل غير محددة : لا توجد قيمةز(x){\displaystyle g(x)}يستقر على. وبالاستعارة من التحليل المركب، يُطلق على هذا أحيانًا اسم التفرد الأساسي .

الحالات الممكنة عند قيمة معينةج{\displaystyle c}أما بالنسبة للحجة فهي كالتالي.

  • نقطة الاستمرارية هي قيمة لـج{\displaystyle c}والتيو(ج-)=و(ج)=و(ج+){\displaystyle f(c^{-})=f(c)=f(c^{+})}كما هو متوقع بالنسبة لدالة سلسة. يجب أن تكون جميع القيم محدودة. إذاج{\displaystyle c}إذا لم تكن نقطة استمرارية، فإن نقطة الانقطاع تحدث عندج{\displaystyle c}.
  • يحدث انقطاع من النوع  الأول عندما يكون كلاو(ج-){\displaystyle f(c^{-})}وو(ج+){\displaystyle f(c^{+})}موجودة ومحدودة، ولكن ينطبق شرط واحد على الأقل من الشروط الثلاثة التالية أيضًا:
    • و(ج-)و(ج+){\displaystyle f(c^{-})\neq f(c^{+})}؛
    • و(x){\displaystyle f(x)}غير مُعرَّف في حالةx=ج{\displaystyle x=c}؛ أو
    • و(ج){\displaystyle f(c)}له قيمة محددة، إلا أنها لا تتطابق مع قيمة الحدين.
    يمكن تمييز الانقطاعات من النوع الأول بشكل أكبر على أنها أحد الأنواع الفرعية التالية:
    • يحدث انقطاع القفز عندماو(ج-)و(ج+){\displaystyle f(c^{-})\neq f(c^{+})}بغض النظر عما إذاو(ج){\displaystyle f(c)}يتم تعريفها، وبغض النظر عن قيمتها إذا تم تعريفها.
    • يحدث انقطاع قابل للإزالة عندماو(ج-)=و(ج+){\displaystyle f(c^{-})=f(c^{+})}، بغض النظر عما إذاو(ج){\displaystyle f(c)}يتم تعريفها، وبغض النظر عن قيمتها إذا تم تعريفها (ولكنها لا تتطابق مع قيمة الحدين).
  • يحدث انقطاع من النوع  الثاني عندما إماو(ج-){\displaystyle f(c^{-})}أوو(ج+){\displaystyle f(c^{+})}غير موجود (ربما كلاهما). لهذا نوعان فرعيان، لا يتم عادةً النظر إليهما بشكل منفصل:
    • الانقطاع اللانهائي هو حالة خاصة عندما لا توجد نهاية من جهة اليسار أو اليمين، تحديدًا لأنها لانهائية، بينما تكون النهاية الأخرى إما لانهائية أيضًا، أو عددًا محدودًا محددًا. بعبارة أخرى، يكون للدالة انقطاع لانهائي عندما يكون لمنحناها خط تقارب رأسي .
    • التفرد الجوهري مصطلح مستعار من التحليل المركب (انظر أدناه). ويحدث هذا عندما يكون أحد الحدين أو الآخرو(ج-){\displaystyle f(c^{-})}أوو(ج+){\displaystyle f(c^{+})}لا وجود لها، ولكن ليس لأنها انقطاع لانهائي . فالنقاط الشاذة الأساسية لا تقترب من أي حد، حتى لو تم توسيع الإجابات الصحيحة لتشمل±{\displaystyle \pm \infty }.

في التحليل الحقيقي، تُعتبر النقطة الشاذة أو عدم الاستمرارية خاصيةً للدالة وحدها. وأي نقاط شاذة قد توجد في مشتقة دالة ما تُعتبر تابعةً للمشتقة، وليس للدالة الأصلية.

نقاط التفرد الإحداثية

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

التحليل المعقد

في التحليل المركب ، توجد عدة فئات من النقاط الشاذة. وتشمل هذه النقاط الشاذة المعزولة، والنقاط الشاذة غير المعزولة، ونقاط التفرع.

نقاط تفرد معزولة

لنفترض أنو{\displaystyle f}هي دالة قابلة للتفاضل المركب في متممة نقطةأ{\displaystyle a}في مجموعة فرعية مفتوحةيو{\displaystyle U}من الأعداد المركبةج.{\displaystyle \mathbb {C} .}ثم:

  • النقطةأ{\displaystyle a}هي نقطة تفرد قابلة للإزالة منو{\displaystyle f}إذا وُجدت دالة تحليليةز{\displaystyle g}محدد على جميعيو{\displaystyle U}بحيثو(z)=ز(z){\displaystyle f(z)=g(z)}للجميعz{\displaystyle z}فييو{أ}.{\displaystyle U\smallsetminus \{a\}.}الوظيفةز{\displaystyle g}هو بديل مستمر للوظيفةو.{\displaystyle f.}[ 3 ]
  • النقطةأ{\displaystyle a}هو قطب أو نقطة تفرد غير جوهرية لـو{\displaystyle f}إذا وُجدت دالة تحليليةز{\displaystyle g}محدد فييو{\displaystyle U}معز(أ){\displaystyle g(a)}غير صفري، وعدد طبيعين{\displaystyle n}بحيثو(z)=ز(z)(z-أ)ن{\displaystyle f(z)={\frac {g(z)}{(za)^{n}}}}للجميعz{\displaystyle z}فييو{أ}.{\displaystyle U\smallsetminus \{a\}.}أقل عدد من هذا القبيلن{\displaystyle n}يُطلق عليه رتبة القطب . المشتقة عند نقطة تفرد غير أساسية لها نقطة تفرد غير أساسية أيضًا، معن{\displaystyle n}تمت زيادته بمقدار 1 (إلا إذان{\displaystyle n}(تساوي صفرًا بحيث يمكن إزالة التفرد).
  • النقطةأ{\displaystyle a}هي حالة فريدة أساسية منو{\displaystyle f}إذا لم تكن نقطة تفرد قابلة للإزالة ولا قطباً. النقطةأ{\displaystyle a}تُعتبر نقطة تفرد أساسية إذا وفقط إذا كانت متسلسلة لوران تحتوي على عدد لا نهائي من القوى ذات الدرجة السالبة. [ 1 ]

المفردات غير المعزولة

إلى جانب الحالات الشاذة المعزولة، قد تُظهر الدوال المركبة ذات المتغير الواحد سلوكًا شاذًا آخر. تُسمى هذه الحالات الشاذة غير المعزولة، والتي تنقسم إلى نوعين:

  • نقاط التكتل : هي نقاط حدية لحالات التفرد المعزولة. إذا كانت جميعها أقطابًا، على الرغم من إمكانية إجراء متسلسلات لوران عليها، فلا يمكن إجراء مثل هذا التوسع عند حدها.

    كمثال بسيط، انظر إلى الدالةو(z)=1/الخطيئة(πz){\displaystyle f\left(z\right)=1/\sin \left({\frac {\pi }{z}}\right)}: تُظهر هذه الدالة عددًا لا نهائيًا من الأقطاب البسيطة عندz=1،12،13،14،...{\displaystyle z=1,{\frac {1}{2}},{\frac {1}{3}},{\frac {1}{4}},\ldots }التي تقترب أكثر فأكثر منz=0{\displaystyle z=0}، مما أدى إلىو{\displaystyle f}وجود نقطة تفرد عنقودية عندz=0{\displaystyle z=0}.

  • الحدود الطبيعية : أي مجموعة غير معزولة (مثل منحنى) لا يمكن الاستمرار التحليلي للدوال حولها (أو خارجها إذا كانت منحنيات مغلقة في كرة ريمان ).

    ومن أمثلة الدوال التي تُظهر مثل هذه المجموعة سلسلة الفجوات ودالة زيتا الأولية .

نقاط التفرع

تُعد نقاط التفرع عمومًا نتيجة لدالة متعددة القيم ، مثلz{\displaystyle {\sqrt {z}}}أوسجل(z)،{\displaystyle \log(z),}تُعرَّف هذه الدوال ضمن نطاق محدود بحيث يمكن جعلها أحادية القيمة ضمن هذا النطاق. القطع هو خط أو منحنى يُستبعد من النطاق لإحداث فصل تقني بين القيم غير المتصلة للدالة. عندما يكون القطع ضروريًا، ستكون للدالة قيم مختلفة تمامًا على جانبي القطع. شكل القطع مسألة اختيارية، حتى وإن كان يجب أن يربط بين نقطتي تفرع مختلفتين (مثلz=0{\displaystyle z=0}وz={\displaystyle z=\infty }لسجل(z){\displaystyle \log(z)}) والتي يتم تثبيتها في مكانها.

التفرد ذو الزمن المحدود

الدالة المقلوبة ، التي تُظهر نموًا زائديًا .

تحدث حالة التفرد في زمن محدود عندما يكون أحد متغيرات الإدخال هو الزمن، بينما يتزايد متغير الإخراج نحو اللانهاية خلال زمن محدود. تُعد هذه الحالات مهمة في علم الحركة والمعادلات التفاضلية الجزئية ، إذ لا تحدث اللانهاية فعليًا، ولكن السلوك بالقرب من حالة التفرد غالبًا ما يكون ذا أهمية. رياضيًا، أبسط حالات التفرد في زمن محدود هي قوانين القوى لأسس مختلفة على الصورة التالية:x-α،{\displaystyle x^{-\alpha },}وأبسطها هو النمو الزائدي ، حيث يكون الأس (سالب) 1:x-1.{\displaystyle x^{-1}.}وبشكل أدق، للحصول على نقطة تفرد عند الزمن الموجب مع تقدم الزمن (بحيث ينمو الناتج إلى ما لا نهاية)، يتم استخدام(ت0-ت)-α{\displaystyle (t_{0}-t)^{-\alpha }}(باستخدام t للدلالة على الوقت، عكس الاتجاه إلى-ت{\displaystyle -t}بحيث يزداد الزمن إلى ما لا نهاية، ونقل نقطة التفرد للأمام من الصفر إلى زمن ثابتت0{\displaystyle t_{0}}).

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

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

الهندسة الجبرية والجبر التبادلي

في الهندسة الجبرية ، تُعرف نقطة التفرد في المتنوع الجبري بأنها نقطة في هذا المتنوع لا يمكن تعريف فضاء المماس فيها بشكل منتظم. أبسط مثال على نقاط التفرد هو المنحنيات التي تتقاطع مع نفسها. ولكن هناك أنواع أخرى من نقاط التفرد ، مثل النقاط المدببة . على سبيل المثال، تُعرّف المعادلة - = 0 منحنى له نقطة مدببة عند نقطة الأصل x = y = 0. يمكن تعريف المحور x كمماس عند هذه النقطة، ولكن هذا التعريف لا يمكن أن يكون مطابقًا للتعريف عند نقاط أخرى. في الواقع، في هذه الحالة، يكون المحور x "مماسًا مزدوجًا".

بالنسبة للأصناف الأفينية والإسقاطية ، فإن النقاط الشاذة هي النقاط التي يكون فيها لمصفوفة جاكوبي رتبة أقل من النقاط الأخرى في الصنف.

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

انظر أيضاً

مراجع

  1. 1 2 "النقاط الشاذة والأصفار والأقطاب" . mathfaculty.fullerton.edu . تم الاطلاع عليه بتاريخ 12-12-2019 .
  2. "التفرد | الدوال المركبة" . موسوعة بريتانيكا . تم الاطلاع عليه بتاريخ 12-12-2019 .
  3. 1 2 وايسشتاين، إريك دبليو. "التفرد" . mathworld.wolfram.com . تم الاسترجاع في 12-12-2019 .
  4. بيريسفورد، جيفري سي؛ روكيت، أندرو إم. (2015). حساب التفاضل والتكامل التطبيقي . سينجايج ليرنينج. ص 151. ISBN  978-1-305-46505-3.