الجبر الكاذب

قالب:مقالة غير مراجعة قالب:يتيمة في عالم الرياضيات، الجبر الكاذب هي حزم من متجهة المساحة $A\to M$ مع بعضها هي وقوس الكذب على مساحة اقسامها $\mathrm{\Gamma }(A)$ وتشكل حزمة متجه $\rho :A\to TM$ ملبية لقاعدة ليبنيز. وعلى هذا الاساس يمكن قول الكذبة الجبرية على اتها تعميم متعدد الاشياء لجبر الكاذب.

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

تم تقديم الجبر الكاذب في عام 1967 من قبل جان برادينز.

التعريف والمفاهيم الأساسية

الكذبة الجبرية هي ثلاثية $(A,[\cdot ,\cdot ],\rho )$ تتكون من

• متجهة مساحة $A$ فوق متعدد شعب $M$
• قوس الكذب $[\cdot ,\cdot ]$ على مساحة اقسامها $\mathrm{\Gamma }(A)$
• تشكل حزم متجهة مساحة $\rho :A\to TM$، المسماة بال «المرساة»، حيث $TM$ هي حزمة الظل من $M$

بحيث يستوفي المرساة والقوس قعدة ليبنيز:

$[X,fY]=\rho (X)f\cdot Y+f[X,Y]$

حيث $X,Y\in \mathrm{\Gamma }(A),f\in C^{\mathrm{\infty }}(M)$ و $\rho (X)f$ هي مشتق من $f$ على طول حقل المتجه $\rho (X)$.

قد تكتب أيضا $A\to M$ عندما تكون القوس والمرساة واضحين من السياق، يشير بعض المؤلفين إلى كتابة الكذبة الجبرية بالطريقة التالية $A\Rightarrow M$، مما يشير إلى «حد» من مجموعات الكذب عندما تصبح الأسهم التي تشير إلى المصدر والهدف «متقاربة للغاية».