خريطة متعددة الخطوط متناوبة

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

يُستخدم مفهوم التناوب (أو التناوب ) لاستخلاص خريطة متعددة الخطوط متناوبة من أي خريطة متعددة الخطوط تنتمي جميع وسائطها إلى نفس الفضاء.

تعريف

يتركR{\displaystyle R}ليكن حلقة تبديلية وV{\displaystyle V}،دبليو{\displaystyle W}كن وحدات علىR{\displaystyle R}خريطة متعددة الخطوط على الشكلو:Vندبليو{\displaystyle f:V^{n}\to W}يُقال إنها متناوبة إذا استوفت الشروط المكافئة التالية:

  1. كلما وُجد1أنان-1{\textstyle 1\leq i\leq n-1}بحيثxأنا=xأنا+1{\displaystyle x_{i}=x_{i+1}}ثمو(x1،...،xن)=0{\displaystyle f(x_{1},\ldots ,x_{n})=0}[ 1 ] [ 2 ]
  2. كلما وُجد1أناجن{\textstyle 1\leq i\neq j\leq n}بحيثxأنا=xج{\displaystyle x_{i}=x_{j}}ثمو(x1،...،xن)=0{\displaystyle f(x_{1},\ldots ,x_{n})=0}[ 1 ] [ 3 ]

فضاءات المتجهات

يتركV،دبليو{\displaystyle V,W}لتكن فضاءات متجهة على نفس الحقل. عندئذٍ، يكون التطبيق متعدد الخطية على الشكل التالي:و:Vندبليو{\displaystyle f:V^{n}\to W}يكون متناوبًا إذا استوفى الشرط التالي:

  • لوx1،...،xن{\displaystyle x_{1},\ldots ,x_{n}}إذا كانت مرتبطة خطيًاو(x1،...،xن)=0{\displaystyle f(x_{1},\ldots ,x_{n})=0}.

مثال

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

ملكيات

إذا كان أي مكونxأنا{\displaystyle x_{i}}يتم استبدال خريطة متعددة الخطوط متناوبة بـxأنا+جxج{\displaystyle x_{i}+cx_{j}}لأيجأنا{\displaystyle j\neq i}وج{\displaystyle c}في الحلقة الأساسيةR{\displaystyle R}إذاً، فإن قيمة تلك الخريطة لا تتغير. [ 3 ]

كل خريطة متعددة الخطوط متناوبة هي متناظرة عكسيًا ، [ 4 ] مما يعني أن [ 1 ]و(...،xأنا،xأنا+1،...)=-و(...،xأنا+1،xأنا،...) لأي 1أنان-1،{\displaystyle f(\dots ,x_{i},x_{i+1},\dots )=-f(\dots ,x_{i+1},x_{i},\dots )\quad {\text{ for any }}1\leq i\leq n-1,} أو ما يعادل ذلك، و(xσ(1)،...،xσ(ن))=(علامةσ)و(x1،...،xن) لأي σSن،{\displaystyle f(x_{\sigma (1)},\dots ,x_{\sigma (n)})=(\operatorname {sgn} \sigma )f(x_{1},\dots ,x_{n})\quad {\text{ for any }}\sigma \in \mathrm {S} _{n},} أينSن{\displaystyle \mathrm {S} _{n}}يرمز إلى مجموعة التبديلات من الدرجةن{\displaystyle n}وعلامةσ{\displaystyle \operatorname {sgn} \sigma }علامة علىσ{\displaystyle \sigma }[ 5 ] إذان!{\displaystyle n!}هي وحدة في الحلقة الأساسيةR{\displaystyle R}ثم كل متناظر مضادن{\displaystyle n}- الصيغة متعددة الخطوط متناوبة.

التناوب

بالنظر إلى دالة متعددة الخطية من الشكلو:Vندبليو،{\displaystyle f:V^{n}\to W,}الخريطة متعددة الخطوط المتناوبةز:Vندبليو{\displaystyle g:V^{n}\to W}محدد بواسطة ز(x1،...،xن):=σSنعلامة(σ)و(xσ(1)،...،xσ(ن)){\displaystyle g(x_{1},\ldots ,x_{n})\mathrel {:=} \sum _{\sigma \in S_{n}}\operatorname {sgn}(\sigma )f(x_{\sigma (1)},\ldots ,x_{\sigma (n)})} ويُقال إنها عملية تناوب لـو{\displaystyle f}.

ملكيات

انظر أيضاً

ملحوظات

مراجع

  • بورباكي، ن. (2007). عناصر الرياضيات . المجلد.  الجبر الفصول 1 إلى 3 (  طبعة جديدة). سبرينغر.
  • دوميت، ديفيد س.؛ فوت، ريتشارد م. (2004). الجبر المجرد (  الطبعة الثالثة). وايلي.
  • لانغ، سيرج (2002). الجبر . نصوص الدراسات العليا في الرياضيات . المجلد  211 (  الطبعة الثالثة المنقحة). سبرينغر. ISBN 978-0-387-95385-4. OCLC 48176673 . 
  • روتمان، جوزيف ج. (1995). مدخل إلى نظرية الزمر . نصوص الدراسات العليا في الرياضيات. المجلد  148 (  الطبعة الرابعة). سبرينغر. ISBN 0-387-94285-8. OCLC 30028913 . 
  • تو، لورينغ دبليو. (2011). مقدمة في المتشعبات . سبرينغر-فيرلاغ نيويورك. ISBN 978-1-4419-7400-6.