در ریاضیات، بافه (به انگلیسی: Sheaf) ابزاری برای ردگیری سازمان‌یافته‌ی اطلاعات موضعی تعریف شده و الصاق شده به مجموعه های باز یک فضای توپولوژیکی است. این داده ها را می توان به مجموعه های باز کوچکتری تحدید کرد، و داده های مربوط به یک مجموعه باز معادل کل گردایه داده‌های سازگار مربوط به مجموعه های باز کوچکتری است که مجموعه قبلی را می پوشانند. به عنوان مثال، چنین داده هایی می تواند شامل حلقه توابع پیوسته یا حقیقی-مقدار همواری باشد که روی هر مجموعه باز تعریف شده است. طراحی بافه ها به گونه ای است که اشیائی کلی و مجرد باشند، به گونه ای که تعریف صحیحشان تکنیکی و فنی می شود. آن ها را می توان به طرق مختلفی تعریف کرد، به عنوان مثال، بسته به این که بافه مورد نظر اطلاعات مجموعه ها را در خود نهفته باشد یا حلقه‌ها، تعریف متفاوتی می تواند داشته باشد.

همچنین نگاشت هایی (یا ریخت هایی) از یک بافه به دیگری می توان تعریف کرد، لذا بافه ها (بافه هایی از نوع خاص، مثلا بافه گروه های آبلی) به همراه ریخت هایشان تشکیل یک رسته می دهند. از سوی دیگر، به هر نگاشت پیوسته هم یک فانکتور تصویر مستقیم نظیر می شود که هر بافه و ریخت هایش را در دامنه به بافه ها و ریخت های متناظر در هم‌دامنه نظیر می کند، و هم یک فانکتور تصویر معکوس که در جهت مخالف عمل می کند. چنین فانکتور ها و انواع مشابه آن بخش مهمی را در نظریه بافه‌ها اشغال می کنند.

بافه ها به دلیل طبیعت عمومی و تنوعشان کاربردهای متعددی در توپولوژی و به‌خصوص هندسه جبری و دیفرانسیل پیدا کرده اند. اول این که ساختار های هندسی چون منیفلد دیفرانسیل یا یک اسکیم را می توان بر حسب یک بافه از حلقه ها روی آن فضا تعریف کرد. در چنین بسترهایی، سازه‌های هندسی متعددی چون کلاف های برداری یا مقسوم‌علیه ها (مفهومی مربوط به هندسه جبری) را می توان به طور طبیعی بر حسب بافه ها تعریف کرد. دوم این که بافه‌ها چارچوبی برای نظریات کوهمولوژی بسیار عام‌تر فراهم می‌کنند، چنین نظریه عامی شامل نظریات کوهمولوژی "معمولی" مثل کوهمولوژی تکین هم می شود. به‌خصوص کوهمولوژی بافه در هندسه جبری و نظریه منیفلدهای مختلط، ارتباط مستحکمی بین خواص توپولوژیکی و هندسی فضاها ایجاد می کند. بافه‌ها همچنین پایه ای برای نظریه D-مدول‌ها فراهم می آورد که در نظریه معادلات دیفرانسیل کاربرد دارد. به علاوه، تعمیم بافه ها به چیدمان‌هایی فراتر از فضاهای توپولوژیکی، چون توپولوژی گروتندیک، کاربردهایی را در منطق ریاضی و نظریه اعداد ارائه داده است.

تعریف ویرایش

فرض کنید فضای توپولوژیک   و یک رسته   داده شده‌است. در این حال، می‌توان رسته زیر مجموعه‌های باز   را این‌گونه تعریف کرد که عبارت است از رسته‌ای که آن را   می‌نامیم و اشیا آن زیرمجموعه‌های باز   و ریخت‌های این رسته نگاشتهای شمول در میان مجموعه‌های باز هستند. به زبان دیگر اگر   و   دو زیرمجموعه باز   باشند و  ، آنگاه یک ریخت در   عبارت است از یک نگاشت یک به یک  . یک پیش بافه روی   با مقادیر در   عبارت است از یک عملگر پادجهت   از رسته   به رسته  . به سخن دیگر، یک پیش بافه معادل است با:

۱. برای هر زیرمجموعه باز   یک شی   در رسته  .

۲. برای هر شمول   یک ریخت   به نام نگاشت تحدید به گونه‌ای که:

  • برای هر مجموعه باز   نگاشت   برابر با نگاشت همانی   است.
  • برای هر سه زیرمجموعه باز با رابطه  ، داشته باشیم: .

رسته   معمولاً یکی از رسته‌های مجموعه‌ها، گروه‌های آبلی یا حلقه‌ها است و نگاشت‌های   نیز به ترتیب تابع‌ها، همریختی‌های گروهی یا همریختی‌های حلقه‌ای هستند.

اگر   یک پیش بافه روی   باشد، منظور از یک مقطع   روی  ، یک عضو   می‌باشد. همچنین اگر   یک مقطع روی   باشد، برای آسانی نوشتار از نویسه   به جای   بهره می‌گیریم.

اکنون ابزارهای لازم برای تعریف بافه را در دست داریم:

تعریف (بافه): یک بافه   روی فضای توپولوژیک   عبارت است از یک پیش بافه روی   که شرایط اضافی زیر را ارضا می‌کند:

۱. (موضعی بودن): اگر   یک پوشش باز   باشد و اگر   به گونه‌ای باشند که   برای هر   آنگاه  .

۲. (ویژگی چسبندگی): اگر   یک پوشش باز   باشد و برای هر   یک مقطع   داده شده باشد که برای هر   و   از این پوشش، داشته باشیم:  ، آنگاه یک مقطع   وجود دارد که:   برای هر  .

نمونه‌ها ویرایش

  • اگر   یک فضای توپولوژیک دلخواه باشد، بافه تابع‌ها روی   بافه‌ای است که به هر زیرمجموعه باز   مجموعه تابع‌های حقیقی روی   را نظیر می‌کند یعنی  و نگاشت تحدید   در اینجا همان تحدید تابع‌ها است. به دیگر سخن اگر   تابعی روی   باشد و   آنگاه   و چون   تابعی روی   است، بنابر تعریف:  .
  • اگر   فضای توپولوژیک اعداد مختلط باشد، بافه توابع هولومورف روی  که آن را با   نشان می‌دهیم عبارت است از بافه‌ای که به هر زیر مجموعه باز ناتهی   مجموعه تابعهای هولومورف روی   را نسبت می‌دهد. در این جا،   همان تحدید تابع‌ها می‌باشد. به زبان دیگر اگر   تابعی هولومورف روی   باشد و   آنگاه:   و چون   تابعی هولومورف است تحدید آن به زیر مجموعه   هم هولومورف خواهد بود یعنی  .

ریخت‌ها ویرایش

میان هر دو بافه، می‌توان یک ریخت تعریف کرد. اگر   و   دو بافه روی   باشند، یک ریخت  عبارت است از:

  • برای هر زیرمجموعه باز  ، یک ریخت  در رسته  .
  • برای هر شمول  ، رابطه  برقرار است.

در اینجا،   نگاشت تحدید   و   نگاشت تحدید   است.

بافه‌سازی ویرایش

در حالت کلی پیش بافه‌ها، بافه نیستند. یعنی می‌توان پیش بافه‌هایی را یافت که شرایط اضافی بافه بودن را رعایت نمی‌کنند. برای نمونه روی  ، نگاشتی که به هر زیرمجموعه باز   گروه آبلی   را نسبت می‌دهد یک پیش بافه است ولی یک بافه نیست. دلیل این امر این است که اگر مجموعه باز   را با   و   در نظر بگیریم، مقطع   روی   و مقطع   روی   را نمی‌توان به هم چسباند. به همین دلیل تلاش می‌شود که به هر پیش بافه، یک بافه نسبت داده شود و به این روند، بافه سازی گفته می‌شود. به زبان دیگر اگر   یک پیش بافه روی   باشد، می‌توان یک بافه   روی   ساخت که برای هر بافه   روی  ، مجموعه ریخت‌های پیش بافه‌ای   با مجموعه ریخت‌های بافه‌ای   برابر شود. به دیگر سخن: 

یادداشت‌ها ویرایش

منابع ویرایش

  • Bredon, Glen E. (1997), Sheaf theory, Graduate Texts in Mathematics, vol. 170 (2nd ed.), Berlin, New York: Springer-Verlag, ISBN 978-0-387-94905-5, MR 1481706 (oriented towards conventional topological applications)
  • Godement, Roger (1973), Topologie algébrique et théorie des faisceaux, Paris: Hermann, MR 0345092
  • Grothendieck, Alexander (1957), "Sur quelques points d'algèbre homologique", The Tohoku Mathematical Journal, Second Series, 9: 119–221, doi:10.2748/tmj/1178244839, ISSN 0040-8735, MR 0102537
  • Hirzebruch, Friedrich (1995), Topological methods in algebraic geometry, Classics in Mathematics, Berlin, New York: Springer-Verlag, ISBN 978-3-540-58663-0, MR 1335917 (updated edition of a classic using enough sheaf theory to show its power)
  • Kashiwara, Masaki; Schapira, Pierre (1994), Sheaves on manifolds, Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], vol. 292, Berlin, New York: Springer-Verlag, ISBN 978-3-540-51861-7, MR 1299726 (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, Universitext, Berlin, New York: Springer-Verlag, ISBN 978-0-387-97710-2, MR 1300636 (category theory and toposes emphasised)
  • Martin, William T.; Chern, Shiing-Shen; Zariski, Oscar (1956), "Scientific report on the Second Summer Institute, several complex variables", Bulletin of the American Mathematical Society, 62 (2): 79–141, doi:10.1090/S0002-9904-1956-10013-X, ISSN 0002-9904, MR 0077995
  • J. Arthur Seebach, Linda A. Seebach & Lynn A. Steen (1970) "What is a Sheaf", American Mathematical Monthly 77:681–703 MR0263073.
  • Serre, Jean-Pierre (1955), "Faisceaux algébriques cohérents" (PDF), Annals of Mathematics, Second Series, 61 (2): 197–278, doi:10.2307/1969915, ISSN 0003-486X, JSTOR 1969915, MR 0068874, archived from the original (PDF) on 17 July 2011, retrieved 6 اكتبر 2019 {{citation}}: Check date values in: |accessdate= (help)
  • Swan, Richard G. (1964), The Theory of Sheaves, University of Chicago Press (concise lecture notes)
  • Tennison, Barry R. (1975), Sheaf theory, Cambridge University Press, MR 0404390 (pedagogic treatment)