نگاشت شمول
در ریاضیات، زمانی که زیرمجموعهای از باشد نگاشت شمول (انگلیسی: Inclusion map) تابع است که هر عنصر در مجموعهٔ را به به عنوان عنصری در مجموعهٔ متصل میکند:
گاه برای نشان دادن نگاشت شمول از یک «فلش قلابشکل» (U+21AA ↪ rightwards arrow with hook) استفاده میشود؛ یعنی:
نگاشت شمول و دیگر توابع یک بهیک در زبرساختارها معمولاً با عنوان تزریق طبیعی (به انگلیسی: natural injections) شناخته میشوند.
برای هر ریخت f بین رستههای X و Y, اگر نگاشت شمولی در دامنهٔ وجود داشته باشد، آنگاه میتوان تابع fi ازf را ساخت. در بسیاری موارد، میتوان نگاشتی متعارف در دامنه مشترک R→Y ساخت که با عنوان برد f شناخته میشود.
جستارهای وابسته
منابع
- ↑ "Arrows – Unicode" (PDF). Retrieved 2017-02-07.
- ↑ Chevalley, C. (1956), Fundamental Concepts of Algebra, p. 1.