کوهمولوژی

از ویکی‌پدیا، دانشنامهٔ آزاد

نسخه‌ای که می‌بینید نسخه‌ای قدیمی از صفحه است که توسط Mojtabakd (بحث | مشارکت‌ها) در تاریخ ‏۲۳ آوریل ۲۰۲۱، ساعت ۱۴:۰۸ ویرایش شده است. این نسخه ممکن است تفاوت‌های عمده‌ای با نسخهٔ فعلی داشته باشد.

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

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

یادداشت ها و ارجاعات

منابع