نمودار پیکانی: نمایش بصری روابط بین مجموعهها
آشنایی با زبان ریاضیات گسسته از طریق فلشها و جعبهها
خلاصه: در این مقاله با یکی از پایهایترین مفاهیم ریاضیات یعنی «رابطه» و روش نمایش آن با استفاده از «نمودار پیکانی» (Arrow Diagram) آشنا میشویم. با مثالهای متنوع، نحوه رسم این نمودارها، تشخیص تفاوت بین رابطه و تابع، و مفاهیم دامنه و برد را به زبانی ساده و قابل درک برای دانشآموزان دبیرستانی بررسی خواهیم کرد.
۱. مفهوم رابطه و ضرورت نمایش آن
در زندگی روزمره، دائماً با روابط بین پدیدهها سروکار داریم. به عنوان مثال، رابطه «فرزند» بین یک فرد و پدرش، رابطه «هممدرسگی» بین دو دانشآموز، یا رابطه «بزرگتر بودن» بین دو عدد. در ریاضیات، برای اینکه این مفاهیم را دقیق و علمی بررسی کنیم، نیاز به یک زبان صوری (Formal) داریم. به این زبان صوری، «رابطه» میگوییم. یک رابطه[۱] در سادهترین حالت، یک تناظر یا ارتباط بین اعضای دو مجموعه است. برای درک بهتر این تناظرها، ریاضیدانان روشهای مختلفی برای نمایش ابداع کردهاند که از آن جمله میتوان به نمایش زوج مرتبی (Roster Form)، نمایش مجموعهساز (Set Builder Form) و نمایش گرافیکی روی صفحه مختصات اشاره کرد. در این میان، یکی از شهودیترین و گویاترین روشها، «نمودار پیکانی» است. فرض کنید دو مجموعه A و B داریم. یک رابطه مانند R از A به B، مجموعهای از زوجهای مرتب مانند (a,b) است که در آن a∈A و b∈B . به زبان سادهتر، اگر a با b ارتباط داشته باشد، میگوییم (a,b)∈R . هدف اصلی مقاله پیش رو، بررسی عمیق همین زبان بصری یعنی نمودار پیکانی است.۲. اجزای اصلی یک نمودار پیکانی
یک نمودار پیکانی[۲] از سه جزء اصلی تشکیل شده است:- ●مجموعه مبدأ (Domain): اعضای این مجموعه معمولاً در سمت راست یا چپ تصویر قرار میگیرند و پیکانها از آنها خارج میشوند. برای مثال، اگر رابطه «تولد در شهر» را در نظر بگیریم، مجموعه افراد، مجموعه مبدأ است.
- ●مجموعه همدامنه (Co-domain): اعضای این مجموعه معمولاً در سمت مقابل قرار میگیرند و پیکانها به آنها وارد میشوند. در مثال «تولد در شهر»، مجموعه تمام شهرهای ممکن، همدامنه است.
- ●پیکانها (Arrows): هر پیکان یک عضو از مجموعه مبدأ را به یک عضو از مجموعه همدامنه متصل میکند و نشاندهنده یک زوج مرتب در رابطه است.
نکته: در یک نمودار پیکانی، ممکن است یک عضو از مجموعه مبدأ به چند عضو از مجموعه همدامنه وصل شود (چند پیکان از آن خارج شود) و یا اصلاً پیکانی از آن خارج نشود. همچنین ممکن است یک عضو در مجموعه همدامنه، چند پیکان ورودی داشته باشد یا هیچ پیکانی به سمت آن نیاید.
۳. گامهای عملی برای رسم و تحلیل یک نمودار پیکانی
برای درک بهتر موضوع، یک مثال عملی را گامبهگام دنبال میکنیم. فرض کنید مجموعه X={۱,۲,۳,۴,۵} و مجموعه Y={۳,۴,۵,۶,۷} داریم. میخواهیم رابطه «سه برابر منهای یک» را به صورت R={(x,y): y=۳x-۱} روی این دو مجموعه نمایش دهیم. گام اول: محاسبه زوجهای مرتب برای هر x∈X، مقدار y را حساب میکنیم و بررسی میکنیم که آیا y در مجموعه Y وجود دارد یا خیر.- برای x=۱: y=۳(۱)-۱=۲ → ۲∉Y، پس پیکانی رسم نمیشود.
- برای x=۲: y=۳(۲)-۱=۵ → ۵∈Y، زوج (۲,۵).
- برای x=۳: y=۳(۳)-۱=۸ → ۸∉Y.
- برای x=۴: y=۳(۴)-۱=۱۱ → ۱۱∉Y.
- برای x=۵: y=۳(۵)-۱=۱۴ → ۱۴∉Y.
- دامنه (Domain): مجموعهای از اعضایی از مجموعه مبدأ که از آنها پیکان خارج شده است. در اینجا دامنه برابر است با {۲}.
- همدامنه (Co-domain): همان مجموعه Y است، یعنی {۳,۴,۵,۶,۷}.
- برد (Range): مجموعهای از اعضایی از مجموعه همدامنه که پیکانی به آنها وارد شده است. در اینجا برد برابر است با {۵}.
| مفهوم | تعریف | در نمودار پیکانی |
|---|---|---|
| دامنه (Domain) | مجموعه تمام ورودیهایی که برای آنها خروجی تعریف شده است. | اعضایی از مجموعه مبدأ که حداقل یک پیکان از آنها خارج شده است. |
| همدامنه (Co-domain) | مجموعهای که همه خروجیهای ممکن در آن تعریف شدهاند. | همه اعضای مجموعه مقصد (مجموعه سمت چپ یا راست). |
| برد (Range) | مجموعه خروجیهای واقعی که توسط رابطه تولید شدهاند. | اعضایی از مجموعه مقصد که حداقل یک پیکان به آنها وارد شده است. |
۴. کاربرد عملی: تشخیص رابطه از تابع
یکی از مهمترین کاربردهای نمودار پیکانی، تشخیص این است که آیا یک رابطه، یک «تابع»[۳] است یا خیر. در ریاضیات، تابع نوع خاصی از رابطه است که در آن هر عضو از مجموعه مبدأ (ورودی) به دقیقاً یک عضو از مجموعه همدامنه (خروجی) متصل میشود. اگر بخواهیم این تعریف را در قالب نمودار پیکانی بررسی کنیم، به دو شرط اساسی میرسیم:- از همه اعضای مجموعه مبدأ باید یک پیکان خارج شده باشد (هیچ عضوی بدون پیکان نباشد).
- از هر عضو مجموعه مبدأ، فقط و فقط یک پیکان خارج شده باشد (نه بیشتر).
مثال ساده: رابطه «پدر بودن» یک تابع نیست، زیرا هر فرد (به جز پدر) دو پدر (پدر واقعی و پدرخوانده در برخی تعاریف) ندارد، اما نکته اصلی این است که یک پدر میتواند چندین فرزند داشته باشد. در تابع، این اشکال ندارد. اشکال زمانی است که یک فرزند چند پدر داشته باشد. اما رابطه «تاریخ تولد» یک تابع است، زیرا هر فرد دقیقاً یک تاریخ تولد دارد.
۵. چالشهای مفهومی
❓ چالش ۱: تفاوت بین برد و همدامنه در یک نگاه چیست؟
پاسخ: همدامنه یک مجموعه «انتخابی» است که ما از قبل تعیین میکنیم، اما برد مجموعهای است که بر اساس رابطه «بهدست میآید». برای مثال، اگر رابطه «دو برابر» از مجموعه {۱,۲} به مجموعه {۲,۴,۶} (همدامنه) تعریف شود، برد تنها {۲,۴} خواهد بود، زیرا ۶ هرگز به عنوان خروجی ظاهر نمیشود.
❓ چالش ۲: آیا ممکن است یک رابطه، تابع باشد ولی همه اعضای برد آن یکسان باشند؟
پاسخ: بله، کاملاً. به این نوع توابع، «تابع ثابت» میگویند. برای مثال، رابطه y=۵ از مجموعه {۱,۲,۳} به مجموعه {۵} یک تابع است، زیرا از هر عضو مبدأ فقط یک پیکان به عدد ۵ رسم میشود.
❓ چالش ۳: اگر در یک نمودار پیکانی، یک عضو از مجموعه مبدأ هیچ پیکانی به سمت مجموعه مقصد نداشته باشد، آیا آن رابطه معتبر است؟
پاسخ: بله، در یک رابطه عمومی (نه تابع)، اشکالی ندارد که بعضی از اعضای مجموعه مبدأ به هیچ عضوی وصل نشوند. اما این عضو در دامنه رابطه قرار نخواهد گرفت. به همین دلیل است که همیشه دامنه، زیرمجموعهای از مجموعه مبدأ است، نه لزوماً برابر با آن.
۶. جدول مقایسه روشهای نمایش رابطه
| روش نمایش | توضیح | مثال برای R={(1,a),(2,b)} |
|---|---|---|
| زوجهای مرتب | لیست کردن همه زوجها درون آکولاد | {(1,a),(2,b)} |
| جدول | در یک ستون ورودی و ستون دیگر خروجی | جدول دو سطری: 1→a, 2→b |
| نمودار پیکانی | دو مجموعه با فلش بین اعضا | ۱ ← a , ۲ ← b |
| دستگاه مختصات | نقاط (x,y) روی صفحه | نقاط (1,a) و (2,b) روی صفحه |
? سخن پایانی: نمودار پیکانی نه فقط یک ابزار آموزشی، بلکه یک زبان مشترک برای توصیف روابط پیچیده در علوم کامپیوتر (نمودارهای جریان داده)، مدیریت (نمودارهای سازمانی) و حتی زیستشناسی (شبکههای غذایی) است. تسلط بر این زبان ساده، درک عمیقتری از مفهوم «رابطه» که پایه بسیاری از نظریههای ریاضی پیشرفته است را برای شما فراهم میکند.
پاورقیها
- ۱رابطه (Relation): به انگلیسی Relation. مجموعهای از زوجهای مرتب که ارتباط بین اعضای دو مجموعه را نشان میدهد.
- ۲نمودار پیکانی (Arrow Diagram): به انگلیسی Arrow Diagram یا Mapping Diagram. نمایش بصری یک رابطه با استفاده از دو بیضی و پیکانهای جهتدار.
- ۳تابع (Function): به انگلیسی Function. نوع خاصی از رابطه که در آن هر ورودی دقیقاً یک خروجی منحصربهفرد دارد.
