التبسيط

في الرياضيات ، فإن عملية التبسيط (أو التبسيط ) لمتشعب التماس هي متشعب تبسيطي يتوافق معه بشكل طبيعي.

تعريف

يترك(V،ξ){\displaystyle (V,\xi )}ليكن مشعب اتصال، وليكنxV{\displaystyle x\in V}ضع في اعتبارك المجموعة

SxV={βتيx*V-{0}|كيرβ=ξx}تيx*V{\displaystyle S_{x}V=\{\beta \in T_{x}^{*}V-\{0\}\mid \ker \beta =\xi _{x}\}\subset T_{x}^{*}V}

من جميع الأشكال التفاضلية غير الصفرية من الرتبة 1 فيx{\displaystyle x}والتي تحتوي على مستوى التلامسξx{\displaystyle \xi _{x}}كنواة لهم. الاتحاد

SV=xVSxVتي*V{\displaystyle SV=\bigcup _{x\in V}S_{x}V\subset T^{*}V}

هي متشعب فرعي سيمبليكتيكي لحزمة الظل المشترك لـV{\displaystyle V}وبالتالي يمتلك بنية سيمبليكتية طبيعية.

الإسقاطπ:SVV{\displaystyle \pi :SV\to V}يزود التبسيط ببنية حزمة رئيسية علىV{\displaystyle V}مع مجموعة هيكليةR*R-{0}{\displaystyle \mathbb {R} ^{*}\equiv \mathbb {R} -\{0\}}.

الحالة القابلة للتوجيه

عندما يكون هيكل التلامسξ{\displaystyle \xi }يتم التوجيه المشترك عن طريق نموذج الاتصالα{\displaystyle \alpha }هناك نسخة أخرى من التبسيط، حيث لا تُعطي الأشكال إلا نفس التوجه لـξ{\displaystyle \xi }مثلα{\displaystyle \alpha }تُعتبر:

Sx+V={βتيx*V-{0}|β=λα،λ>0}تيx*V،{\displaystyle S_{x}^{+}V=\{\beta \in T_{x}^{*}V-\{0\}\,|\,\beta =\lambda \alpha ,\,\lambda >0\}\subset T_{x}^{*}V,}
S+V=xVSx+Vتي*V.{\displaystyle S^{+}V=\bigcup _{x\in V}S_{x}^{+}V\subset T^{*}V.}

لاحظ أنξ{\displaystyle \xi }تكون قابلة للتوجيه إذا وفقط إذا كانت الحزمةπ:SVV{\displaystyle \pi :SV\to V}الأمر بسيط . أي جزء من هذه الحزمة هو شكل توجيهي لهيكل الاتصال.