F-هم‌جبر

در ریاضیات، به‌طور ویژه در نظریه رسته‌ها یک $F$ -هم‌جبر یک ساختار تعریف شده بر اساس یک تابعگون $F$ است. برای جبرها و هم‌جبرها، یک تابعگون، روشی مناسب و کلی برای سازماندهی یک امضا است. این مسئله، کابردهایی در علوم کامپیوتر دارد: نمونه‌هایی از هم‌جبرها شامل ساختمان داده‌های تنبل و نامتناهی، مانند استریم‌ها و سیستم‌های انتقالی هستند.

$F$ -هم‌جبرها دوگان $F$ -جبر ها هستند. همانگونه که خانوادهٔ تمام جبرها برای یک امضا و یک نظریهٔ معادله‌ای تشکیل واریته می‌دهند، خانواده همه $F$ -هم‌جبرهایی که یک تئوری معادله‌ای داده شده را ارضاء می‌کنند، تشکیل هم-واریته می‌دهند، که امضاء مورد نظر توسط $F$ داده شده‌است.

تعریف

یک $F$ -هم‌جبر برای یک درون‌تابعگون روی رسته:

F:{\mathcal {C}}\longrightarrow {\mathcal {C}}

یک شئ $A$ از ${\mathcal {C}}$ به همراه یک پیکانِ:

\alpha :A\longrightarrow FA

است که معمولاً با $(A,\alpha )$ نشان می‌دهند.

یک همریختی از $F$ -هم‌جبر $(A,\alpha )$ به $F$ -هم‌جبری دیگر چون $(B,\beta )$ یک ریخت

f:A\longrightarrow B

در ${\mathcal {C}}$ است به طوری که

Ff\circ \alpha =\beta \circ f

در نتیجه $F$ -هم‌جبرهای داده شده بازای یک تابعگون F، تشکیل یک رسته می‌دهند.

مثال

تابعگون $F:\mathbf {Set} \longrightarrow \mathbf {Set}$ را در نظر بگیرید که $X$ را به $(X\times A)\cup \{1\}$ , $F$ -هم‌جبرهای $\alpha :X\longrightarrow (X\times A)\cup \{1\}=FX$ استریم‌های متناهی یا نامتناهی به روی الفبای $A$ , که در آن $X$ مجموعه وضعیت هاست و $\alpha$ تابع انتقال وضعیت است. اِعمال تابع انتقال وضعیت به روی یک وضعیت دو نتیجه ممکن دارد: یا یک عنصر از $A$ همراه با وضعیت بعدی از استریم است یا عنصر مجموعه تک-عضوی $\{1\}$ به عنوان یک «وضعیت نهایی» مجزا است که نشان دهنده آن است که مقادیر دیگری در استریم موجود نیست.

برنامه‌های کاربردی

در علوم کامپیوتر، هم‌جبرها به عنوان مفهومی مناسب و روشی کلی برای مشخص کردن رفتار سیستم‌ها و ساختمان داده‌هایی که به‌طور بالقوه بینهایت هستند، ظهور کرده‌اند: برای نمونه، کلاس‌ها در برنامه‌نویسی شی گرا، استریمها و سیستم‌های انقالی. در حالی که شاخص-بندی‌های جبری، عموماً با استفاده از نوع داده‌های استقرایی تولید شده توسط سازنده‌ها، با رفتار تابعی سر و کار دارند، شاخص بندی‌های هم‌جبری، به رفتار مُدل شده توسط داده‌های پردازشیِ هم-استقرائی که توسط انتخابگرها قابل روئیت اند، و بیشتر در غالب نظریه ماشینها، می‌پردازد. در اینجا نقشی مهم توسط هم‌جبرهای نهایی ایفا می‌شود که مجموعه‌های کاملی از رفتارهای احتمالاَ بینهایت هستند، مانند استریم‌ها. منطق طبیعی برای بیان ویژگی‌های چنین سیستم‌هایی، منطق‌های وجهی هم‌جبری‌اند.

منابع

پیوند به بیرون

جستارهای وابسته

هم‌جبر