تركيبة كارتان

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

صيغة كارتان في الهندسة التفاضلية

تنص صيغة كارتان في الهندسة التفاضلية على ما يلي:

LX=دأناX+أناXد{\displaystyle {\mathcal {L}}_{X}=\mathrm {d} \,\iota _{X}+\iota _{X}\mathrm {d} }، أينLX،د{\displaystyle {\mathcal {L}}_{X},\mathrm {d} }، وأناX{\displaystyle \iota _{X}}وهي مشتقة لي ، والمشتقة الخارجية ، والضرب الداخلي ، على التوالي، تعمل على الأشكال التفاضلية .

تُعرف أيضاً باسم صيغة كارتان للتماثل أو صيغة كارتان السحرية . سُميت هذه الصيغة نسبةً إلى إيلي كارتان .

صيغة كارتان في الطوبولوجيا الجبرية

تُعدّ صيغة كارتان في الطوبولوجيا الجبرية إحدى البديهيات الخمس لجبر ستينرود. [ ملاحظة 1 ] نصها كالتالي:

Sqن(xy)=أنا+ج=ن(Sqأناx)(Sqجy)أوPن(xy)=أنا+ج=ن(Pأناx)(Pجy){\displaystyle {\begin{aligned}Sq^{n}(x\smile y)&=\sum _{i+j=n}(Sq^{i}x)\smile (Sq^{j}y)\quad {\text{or}}\\P^{n}(x\smile y)&=\sum _{i+j=n}(P^{i}x)\smile (P^{j}y)\end{aligned}}}.

الاسم مشتق من هنري كارتان ، ابن إيلي.

الحواشي

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

انظر أيضاً