حزمة (رياضيات)
في الرياضيات، الحزمة (sheaf) هي أداة لمتابعة البيانات المعرفة محليًا بطريقة نظامية ملحقة بمجموعات مفتوحة لفضاء طوبولوجي.[1][2] ويمكن أن تقتصر البيانات على مجموعاتٍ مفتوحةٍ أصغر، والبيانات المعينة لمجموعة مفتوحة تساوي كل مجموعات البيانات المتناغمة المعينة لمجموعات من مجموعات مفتوحة أصغر مغطية المجموعة المفتوحة الأصلية. على سبيل المثال، يمكن أن تتكون تلك البيانات من حلقات من دالة مستمرة أو دالة سلسة حقيقية القيم مُعرفة على كل مجموعة مفتوحة. والحزم أشياء مجردة وعامة للغاية تصميميًا، وتعريفها الصحيح تقني نوعًا ما. وتتواجد في عدة أنواع، مثل حزم مجموعات أو حزم حلقات، اعتمادًا على نوع البيانات المعينة لمجموعة مفتوحة.
وهناك أيضًا التطبيقات (أو التشكل) من حزمة إلى أخرى؛ الحزم (من نوع معين، مثل حزم الزمرات الأبيلية) مع تشكلاتهم على فضاء طوبولوجي ثابت من فئة. وعلى الجهة الأخرى، فلكل دالة مستمر هناك صورة صريحة مدلل (رياضيات)، أخذًا بالحزم وتشكيلاتها من على مجال دالة إلى حزم وتشكيلات إلى مجال مقابل، وتعمل مدللة صورة عكسية في الإتجاه المعاكس. وهذه المدللات، ومتغيرات معينه لها، هي أجزاء أساسية في نظرية الحزم.
ولطبيعتها العامة وتقلباتها، للحزم عدد من التطبيقات في الطوبولوجيا وخاصة في الهندسة الجبرية والتفاضلية. أولاً، العديد من الهياكل الهندسية مثل تلك في متنوع التفاضل أو مخطط يمكن أن نعبر عنه من ناحية حزمة من الحلقات في الفضاء. في هذه الحالات، بالطبيعة تكون العديد من الهياكل الهندسية مثل الحزم الشعاعية أو المقسومات محددة من ناحية الحزم. ثانيًا، توفر الحزم نطاق نظرية الكهومولوج شديدة العمومية، التي تشمل أيضًا النظريات الكهومولوجية الطوبولوجية "المعتادة" مثل الكهومولوجية الفردية. وخاصة في الهندسة الجبرية ونظرية المتنوعات المعقدة، توفر كهومولوجية الحزم وصلة قوية بين الخصائص الطوبولوجية والهندسية للفضاء. وتوفر الحزم أيضًا الأسس لنظرية وحدات-دي (D-modules)، التي توفر تطبيقات لنظرية المعادلات التفاضلية. بالإضافة إلى ذلك، تعميم الحزم إلى ضوابط أكثر عمومية (Grothendieck topology) من الفضاءات الطوبولوجية، التي وفرت التطبيقات للمنطق الرياضي ونظرية الأعداد.
انظر أيضًا
- الحزم المتساوقة
- جيربي
- الحزم الهولومورفية
- الحزمة المشبكة (نظرية النسب)
الملاحظات
- "معلومات عن حزمة (رياضيات) على موقع id.loc.gov". id.loc.gov. مؤرشف من الأصل في 18 ديسمبر 2019. الوسيط
|CitationClass=
تم تجاهله (مساعدة) - "معلومات عن حزمة (رياضيات) على موقع britannica.com". britannica.com. مؤرشف من الأصل في 16 يونيو 2016. الوسيط
|CitationClass=
تم تجاهله (مساعدة)
المراجع
- Bredon, Glen E. (1997), Sheaf theory, 170 (الطبعة 2nd), Berlin, New York: Springer-Verlag, ISBN 978-0-387-94905-5, MR = 1481706 1481706 الوسيط
|CitationClass=
تم تجاهله (مساعدة); الوسيط|separator=
تم تجاهله (مساعدة)CS1 maint: ref=harv (link) (oriented towards conventional topological applications) - Godement, Roger (1973), Topologie algébrique et théorie des faisceaux, Paris: Hermann, MR = 0345092 0345092 الوسيط
|CitationClass=
تم تجاهله (مساعدة); الوسيط|separator=
تم تجاهله (مساعدة)CS1 maint: ref=harv (link) - Grothendieck, Alexander (1957), "Sur quelques points d'algèbre homologique", The Tohoku Mathematical Journal. Second Series, 9, صفحات 119–221, ISSN 0040-8735, MR = 0102537 0102537 الوسيط
|CitationClass=
تم تجاهله (مساعدة); الوسيط|separator=
تم تجاهله (مساعدة)CS1 maint: ref=harv (link) - Hirzebruch, Friedrich (1995), Topological methods in algebraic geometry, Berlin, New York: Springer-Verlag, ISBN 978-3-540-58663-0, MR = 1335917 1335917 الوسيط
|CitationClass=
تم تجاهله (مساعدة); الوسيط|separator=
تم تجاهله (مساعدة)CS1 maint: ref=harv (link) (updated edition of a classic using enough sheaf theory to show its power) - Kashiwara, Masaki; Schapira, Pierre (1994), Sheaves on manifolds, 292, Berlin, New York: Springer-Verlag, ISBN 978-3-540-51861-7, MR = 1299726 1299726 الوسيط
|CitationClass=
تم تجاهله (مساعدة); الوسيط|separator=
تم تجاهله (مساعدة)CS1 maint: ref=harv (link)(advanced techniques such as the derived category and vanishing cycles on the most reasonable spaces) - Mac Lane, Saunders; Moerdijk, Ieke (1994), Sheaves in Geometry and Logic: A First Introduction to Topos Theory, Berlin, New York: Springer-Verlag, ISBN 978-0-387-97710-2, MR = 1300636 1300636 الوسيط
|CitationClass=
تم تجاهله (مساعدة); الوسيط|separator=
تم تجاهله (مساعدة)CS1 maint: ref=harv (link) (category theory and toposes emphasised) - Martin, W. T.; Chern, S. S.; زاريسكي, أوسكار (1956), "Scientific report on the Second Summer Institute, several complex variables", Bulletin of the American Mathematical Society, 62, صفحات 79–141, doi:10.1090/S0002-9904-1956-10013-X, ISSN 0002-9904, MR = 0077995 0077995 الوسيط
|CitationClass=
تم تجاهله (مساعدة); الوسيط|separator=
تم تجاهله (مساعدة)CS1 maint: ref=harv (link) - Serre, Jean-Pierre (1955), "Faisceaux algébriques cohérents" (PDF), Annals of Mathematics. Second Series, The Annals of Mathematics, Vol. 61, No. 2, 61, صفحات 197–278, doi:10.2307/1969915, ISSN 0003-486X, JSTOR 1969915, MR = 0068874 0068874 الوسيط
|CitationClass=
تم تجاهله (مساعدة); الوسيط|separator=
تم تجاهله (مساعدة)CS1 maint: ref=harv (link) - Swan, R. G. (1964), The Theory of Sheaves, University of Chicago Press الوسيط
|CitationClass=
تم تجاهله (مساعدة); الوسيط|separator=
تم تجاهله (مساعدة)CS1 maint: ref=harv (link) (concise lecture notes) - Tennison, B. R. (1975), Sheaf theory, Cambridge University Press, MR = 0404390 0404390 الوسيط
|CitationClass=
تم تجاهله (مساعدة); الوسيط|separator=
تم تجاهله (مساعدة)CS1 maint: ref=harv (link) (pedagogic treatment)