دالة أحادية التكافؤ

في الرياضيات ، وفي فرع التحليل المركب ، تُسمى الدالة التحليلية على مجموعة جزئية مفتوحة من المستوى المركب أحادية القيمة إذا كانت أحادية . [ 1 ] [ 2 ]

أمثلة

الوظيفةو:z2z+z2{\displaystyle f\colon z\mapsto 2z+z^{2}}يكون أحادي القيمة في قرص الوحدة المفتوحة، كماو(z)=و(w){\displaystyle f(z)=f(w)}يشير ذلك إلى أنو(z)-و(w)=(z-w)(z+w+2)=0{\displaystyle f(z)-f(w)=(zw)(z+w+2)=0}بما أن العامل الثاني لا يساوي الصفر في قرص الوحدة المفتوح،z=w{\displaystyle z=w}لذاو{\displaystyle f}هو حقني.

الخصائص الأساسية

يمكن إثبات ذلك إذاجي{\displaystyle G}وΩأوميغاهما مجموعتان مفتوحتان متصلتان في المستوى المركب، و

و:جيΩ{\displaystyle f:G\to \Omega }

هي دالة أحادية القيمة بحيثو(جي)=Ω{\displaystyle f(G)=\Omega }(إنه،و{\displaystyle f}إذا كانت الدالة شاملة ، فإن مشتقةو{\displaystyle f}لا يساوي الصفر أبدًا،و{\displaystyle f}قابلة للعكس ، ومعكوسهاو-1{\displaystyle f^{-1}}وهي أيضًا دالة شكلية. علاوة على ذلك، يمكن للمرء أن يمتلكها وفقًا لقاعدة السلسلة.

(و-1)(و(z))=1و(z){\displaystyle (f^{-1})'(f(z))={\frac {1}{f'(z)}}}

للجميعz{\displaystyle z}فيجي.{\displaystyle G.}

مقارنة بالدوال الحقيقية

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

و:(-1،1)(-1،1){\displaystyle f:(-1,1)\to (-1,1)\,}

مقدم منو(x)=x3{\displaystyle f(x)=x^{3}}هذه الدالة أحادية بوضوح، لكن مشتقتها تساوي صفرًا عندx=0{\displaystyle x=0}، ومعكوسها ليس تحليليًا، أو حتى قابلًا للتفاضل، على كامل الفترة(-1،1){\displaystyle (-1,1)}وبالتالي، إذا قمنا بتوسيع المجال إلى مجموعة فرعية مفتوحةجي{\displaystyle G}في المستوى المركب، يجب ألا يكون أحاديًا؛ وهذا هو الحال، لأنه (على سبيل المثال)و(εω)=و(ε){\displaystyle f(\varepsilon \omega )=f(\varepsilon )}(أينω{\displaystyle \omega }هو الجذر التكعيبي الأولي للوحدة وε{\displaystyle \varepsilon }هو عدد حقيقي موجب أصغر من نصف قطرجي{\displaystyle G}كحي من0{\displaystyle 0}).

انظر أيضاً

ملحوظة

  1. ( كونواي 1995 ، ص 32، الفصل 14: التكافؤ المطابق للمناطق المتصلة ببساطة، التعريف 1.12: "الدالة على مجموعة مفتوحة تكون أحادية القيمة إذا كانت تحليلية وواحد لواحد." 
  2. ( نهاري 1975 )

مراجع

تتضمن هذه المقالة مواد من الدالة التحليلية أحادية القيمة على موقع PlanetMath ، المرخصة بموجب رخصة Creative Commons Attribution/Share-Alike .