تابعگرهای نمایشپذیر، همارزیهای طبیعی و لم یوندا
مقدمه
در ادامهٔ تبیین مبانی ساختاری در نظریهٔ ردهها و پس از تحلیل جفتهای الحاقی، بنیادیترین سنگبنای درک اشیاء و نگاشتها از مسیر «تابعگرهای نمایشپذیر» (Representable Functors) و «لم یوندا» (Yoneda Lemma) میگذرد. این قضیهٔ محوری نشان میدهد که چگونه ساختار درونی هر شیء در یک رده، به تمامیت از طریق رفتارِ نگاشتهای ورودی یا خروجی آن به سایر اشیاء تعیین میگردد.
۱. تابعگرهای هوم (Hom-Functors)
فرض کنیم C یک ردهٔ موضعاً کوچک (Locally Small Category) باشد؛ یعنی برای هر دو شیء A و B در C، مجموعهٔ تمام ریختارهای میان آنها یعنی Hom(A, B) یک مجموعه در ردهٔ مجموعهها (Set) باشد. به ازای هر شیء ثابت A در C، دو تابعگر بنیادین به ردهٔ Set تعریف میشود:
یک. تابعگر هومِ همورد (Covariant Hom-Functor):
h^A = Hom_C(A, −) : C → Set
این تابعگر هر شیء X را به مجموعهٔ Hom(A, X) مینگارد و برای هر ریختار f از X به Y، نگاشت زیر را پدید میآورد:
(f)_* : Hom_C(A, X) → Hom_C(A, Y)
(f)_*(g) = f ∘ g
دو. تابعگر هومِ پادورد (Contravariant Hom-Functor):
h_A = Hom_C(−, A) : C^op → Set
این تابعگر هر شیء X را به مجموعهٔ Hom(X, A) برده و با ترکیب از سمت راست عمل میکند.
۲. تعریف تابعگر نمایشپذیر (Representable Functor)
یک تابعگر پادورد مانند F از ردهٔ C به ردهٔ Set را نمایشپذیر مینامیم، هرگاه شیئی مانند A در ردهٔ C وجود داشته باشد به طوری که تابعگر F با تابعگر هوم h_A دارای یک «ایزومورفیسم طبیعی» (Natural Isomorphism) باشد:
F ≅ Hom_C(−, A)
در این حالت، شیء A را «نمایشدهندهٔ تابعگر F» میخوانند. به بیان دیگر، محاسبهٔ این تابعگر بر روی تمام اشیاء، همارز است با بررسی نگاشتهای وارد شونده به شیء مبنایی A.
۳. لم یوندا (Yoneda Lemma)
لم یوندا قدرتمندترین ابزار برای بررسی تبدیلات طبیعی میان یک تابعگر دلخواه و تابعگر هوم است. این لم بیان میدارد:
اگر C یک ردهٔ موضعاً کوچک، A شیئی در C و F یک تابعگر پادورد از C به Set باشد، آنگاه تناظر یکبهیک طبیعی (Bijection) میان مجموعهٔ تمام تبدیلات طبیعی از Hom_C(−, A) به F و اعضای مجموعهٔ F(A) برقرار است:
Nat(Hom_C(−, A), F) ≅ F(A)
نگاشت این تناظر بسیار ساده و زیباست؛ هر تبدیل طبیعی α به عضو زیر در F(A) نگاشته میشود:
α ↦ α_A(id_A)
که در آن id_A ریختار همانی بر روی شیء A است.
۴. نشاندن یوندا و تفکیک مفهومی: تابعگر کامل و وفادار
اگر حالت خاصی را در نظر بگیریم که در آن تابعگر F خود یک تابعگر هوم ناشی از شیء دیگری مانند B باشد (یعنی F = Hom_C(−, B))، لم یوندا نتیجه میدهد:
Nat(Hom_C(−, A), Hom_C(−, B)) ≅ Hom_C(A, B)
این تساوی منجر به ساخت «تابعگر نشاندن یوندا» (Yoneda Embedding) میشود:
よ : C → Set^{C^op}
よ(A) = Hom_C(−, A)
بر اساس تعاریف دقیق ردهای، این تابعگر واجد ویژگیهای زیر است:
یک. تابعگر کامل و وفادار (Full and Faithful Functor):
تابعگر نشاندن یوندا یک تابعگر کامل و همزمان وفادار است؛ یعنی نگاشت القایی آن بر روی مجموعههای ریختار:
よ_{A,B} : Hom_C(A, B) → Nat(Hom_C(−, A), Hom_C(−, B))
هم یکبهیک (وفادار) و هم پوشا (کامل) است. این امر تضمین میکند که ردهٔ اصلی C به صورت کاملاً ساختاریافته در ردهٔ تابعگرها (پیشپشهها یا Presheaves) نشانده میشود.
دو. تمایز با زیرردهٔ کامل (Full Subcategory):
باید توجه داشت که تابعگر یوندا خودِ رده را به ردهای دیگر میبرد و یک «تابعگر کامل» است؛ در حالی که تصویر آن رده در ردهٔ پیشپشهها، یک زیرردهٔ کامل از ردهٔ پیشپشهها را تشکیل میدهد. این همان تفکیک اساسی است که ریختارهای میان اشیاء در زیررده دقیقاً همان تبدیلات طبیعی ردهٔ بزرگتر هستند.
۵. کاربرد در تعریف اشیاء جهانی (Universal Objects)
یکی از مهمترین دستاوردهای این گزارهها، تعیین یکتایی اشیاء جهانی در هندسه و جبر است:
اگر دو شیء A و B بتوانند یک تابعگر یکسان F را نمایش دهند، آنگاه بر اساس لم یوندا داریم:
Hom_C(−, A) ≅ F ≅ Hom_C(−, B) ⟹ A ≅ B
این نتیجه اثبات میکند که هر شیء که ویژگی جهانی معینی را برآورده سازد (مانند ضرب مستقیم، موضعیسازی، یا حاصلضرب تانسوری)، در حد ایزومورفیسم یکتاست.
نتیجه
لم یوندا و تابعگرهای نمایشپذیر کانون پیوند تمامی مفاهیم ردهای هستند. آنها نشان میدهند که برای شناخت کامل یک شیء در ساختارهای ریاضی، نیازی به کالبدشکافی درونی آن نیست؛ بلکه دانستن نحوهٔ برهمکنش و ارسال نگاشت از آن شیء به سایر اعضای رده، هویت یکتای آن را به گونهای کامل و وفادار رقم میزند.
در این وبلاگ به ریاضیات و کاربردهای آن و تحقیقات در آنها پرداخته می شود. مطالب در این وبلاگ ترجمه سطحی و اولیه است و کامل نیست.در صورتی سوال یا نظری در زمینه ریاضیات دارید مطرح نمایید .در صورت امکان به آن می پردازم. من دوست دارم برای یافتن پاسخ به سوالات و حل پروژه های علمی با دیگران همکاری نمایم.در صورتی که شما هم بامن هم عقیده هستید با من تماس بگیرید.