نمایش مبدأ برای کوهمولوژی

در [[ریاضیات]]، به‌خصوص در نظریه همولوژی و [[توپولوژی جبری]]، '''کوهمولوژی''' عبارتی کلی برای دنباله‌ای از [[گروه آبلی|گروه های آبلیست]] که به یک [[فضای توپولوژی]] مرتبط شده باشند، اغلب به چنین دنباله‌ای مجتمع‌های هم‌زنجیره‌ای گویند. کوهمولوژی را می‌توان به صورت روشی دید که می‌توان به وسیله آن نسبت به همولوژی ناورداهای جبری غنی‌تری را به یک فضا نسبت داد. به بیان دیگر، هم‌زنجیره ها، توابعی روی گروه زنجیره‌ها در نظریه همولوژی هستند. 

این ایده، از ابتدای ظهورش در توپولوژی تبدیل به روشی غالب در ریاضیات نیمه دوم قرن بیستم میلادی گشت. از زمانی که ایده اولیه‌ی [[همولوژی (ریاضیات)|همولوژی]] تشکیل شد، دامنه کاربردهای آن برای ساخت ناورداهای جبری فضاهای توپولوژیکی، در قالب نظریات همولوژی و کوهمولوژی در سرتاسر [[هندسه]] و [[جبر]] گسترده شده است. این حقیقت که کوهمولوژی که یک نظریه [[تابعگون (نظریه رسته‌ها)|پادوردا]] (به زبان [[نظریه رسته‌ها]]) است، در بسیاری از کاربردها طبیعی‌تر از همولوژی است، به دلیل نوع نامگذاری ها پنهان گشته است. در سطح بنیادین، این نکته به توابع و پول‌بک ها در شرایط هندسی مرتبط می شود: فرض کنید دو فضای <math>X</math> و <math>Y</math> و نوعی تابع مثل <math>F</math> روی <math>Y</math> داده شده، به گونه ای که هر [[نگاشت (ریاضیات)|نگاشتی]] چون <math>f:X \rightarrow Y</math> که با <math>f</math> ترکیب شود منجر به تابع <math>F \circ f</math> روی <math>X</math> می گردد. مهم ترین نظریات کوهمولوژی دارای یک ضرب به نام [[ضرب فنجانی]] (کاپ، cup) هستند که به آن ها ساختار حلقه ای می دهد. به خاطر این ویژگی، کوهمولوژی اغلب ناوردای قویتری نسبت به همولوژی است.

== کوهمولوژی تکین <!--«کوهمولوژی تکین» به اینجا تغییر مسیر می‌دهد--> ==
'''کوهمولوژی تکین''' یک ناوردای قدرتمند توپولوژیکی است که به هر فضای توپولوژی، [[حلقه جابه‌جایی|حلقه جابجایی]] مدرجی را متناظر می‌سازد. هر نگاشت پیوسته‌ای چون <math>f:X \rightarrow Y</math>،  [[هم‌ریختی|همریختی]] را از حلقه کوهمولوژی <math>Y</math> به <math>X</math> تعیین می‌کند؛ این ویژگی محدودیت های قوی ای را بر روی نگاشت های ممکن از <math>X</math> به <math>Y</math> قرار می‌دهد. برعکس ناورداهای نه چندان مشهودی چون [[گروه هموتوپی|گروه‌های هموتوپی]]، حلقه کوهمولوژی در عمل برای فضاهای مورد نظر محاسبه پذیر ترند. 

برای یک فضای توپولوژی چون <math>X</math>، تعریف کوهمولوژی تکین از مجتمع های زنجیره ای تکین شروع می شود:{{sfn|Hatcher|2001|p=108}}
{{وسط‌چین}}
<math>\cdots \to C_{i+1}\stackrel{\partial_{i+1}}{\to} C_i \stackrel{ \partial_i}{\to}\ C_{i-1} \to \cdots </math></center>
{{پایان وسط‌چین}}

طبق تعریف، همولوژی تکین <math>X</math>، همولوژی این مجتمع زنجیره‌ای است (هسته همریختی به هنگ (به پیمانه) تصویر قبلی). به طور جزئی تر، <math>X</math> گروه آبلی روی مجموعه نگاشت‌های پیوسته از i-سادک به <math>X</math> است (به آن: "i-سادک های تکین در <math>X</math>" گویند) و <math>X</math> همریختی مرزی i-ام است. گروه های <math>X</math> برای i های منفی صفر هستند

== ارجاعات ==
{{پانویس|چپ‌چین=بله}}


== منابع ==
{{چپ‌چین}}
{{آغاز پانویس|2}}
*{{Citation | author1-first=Jean | author1-last=Dieudonné | title=History of Algebraic and Differential Topology | publisher=[[Birkhäuser]] | year=1989 | mr=0995842 | isbn=0-8176-3388-X}}
*{{Citation | author1-first=Albrecht | author1-last=Dold  | title=Lectures on Algebraic Topology | publisher= Springer-Verlag  | year=1972 | mr=0415602 | isbn=978-3-540-58660-9}}
*{{Citation | author1-first=Samuel | author1-last=Eilenberg | author1-link=ساموئل آیلنبرگ | author2-first=Norman | author2-last=Steenrod | author2-link=Norman Steenrod | title=Foundations of Algebraic Topology | publisher=[[Princeton University Press]] | year=1952 | mr=0050886 | isbn=9780691627236}}
*{{Citation | author1-last=Hartshorne | author1-first=Robin | author1-link=رابین هارتشورن | title=Algebraic Geometry | publisher= Springer-Verlag  | location=New York, Heidelberg | series=Graduate Texts in Mathematics | isbn=0-387-90244-9 | mr=0463157 | year=1977 | volume=52}}
*{{Citation | author1-first=Allen | author1-last=Hatcher | author1-link=آلن هچر | title=Algebraic Topology | publisher=[[Cambridge University Press]] | year=2001 | url=http://www.math.cornell.edu/~hatcher/AT/ATpage.html | isbn=0-521-79540-0 | mr =1867354}}
*{{Springer |title=Cohomology |id=p/c023060}}.
*{{Citation | author1-first=J. Peter | author1-last=May | title=A Concise Course in Algebraic Topology | publisher=[[University of Chicago Press]] | year=1999 | url=http://www.math.uchicago.edu/~may/CONCISE/ConciseRevised.pdf | mr=1702278 | isbn=0-226-51182-0}}
*{{Citation | author1-first=Robert | author1-last=Switzer | title=Algebraic Topology — Homology and Homotopy | publisher= Springer-Verlag  | year=1975 | mr=0385836 | isbn=3-540-42750-3}}
*{{Citation|author1-first=René | author1-last=Thom | author1-link=رنه تام | mr=0061823| title=Quelques propriétés globales des variétés différentiables|journal=[[Commentarii Mathematici Helvetici]] |volume=28|year=1954|pages= 17–86 |url=http://retro.seals.ch/digbib/view2?pid=com-001:1954:28::48 | doi=10.1007/BF02566923}}
{{پایان پانویس}}
{{پایان چپ‎چین}}
{{توپولوژی}}

{{خرد|ریاضی}}

[[رده:نظریه‌های کوهمولوژی]]