نمودار مختصاتی ضرب دکارتی: نمایش نقاط متناظر با اعضای A×B روی صفحه مختصات
مبانی ضرب دکارتی و جفتهای مرتب
ضرب دکارتی2 دو مجموعه A و B که با نماد \(A \times B\) نمایش داده میشود، مجموعه تمام زوجهای مرتبی است که مؤلفه اول آن از مجموعه A و مؤلفه دوم آن از مجموعه B انتخاب میشود. به عبارت دیگر:از مجموعه تا نقطه: نمایش روی صفحه مختصات
برای نمایش بصری این جفتهای مرتب، از صفحه مختصات استفاده میکنیم. این صفحه از دو محور عمود بر هم تشکیل شده است: محور افقی (محور xها) که به طور معمول مقادیر مؤلفه اول (اعضای مجموعه A) روی آن مشخص میشود و محور عمودی (محور yها) که مقادیر مؤلفه دوم (اعضای مجموعه B) روی آن مشخص میشود. هر جفت مرتب مانند \((a, b)\) دقیقاً متناظر با یک نقطه روی این صفحه است که مختصات آن \(a\) و \(b\) است. برای درک بهتر، مثال بالا را در نظر بگیرید. نقاط متناظر با اعضای \(A \times B\) به صورت زیر روی صفحه مختصات ظاهر میشوند:- \((1, 3)\): به اندازه 1 واحد در جهت مثبت محور افقی و 3 واحد در جهت مثبت محور عمودی حرکت میکنیم.
- \((1, 4)\): 1 واحد افقی و 4 واحد عمودی.
- \((2, 3)\): 2 واحد افقی و 3 واحد عمودی.
- \((2, 4)\): 2 واحد افقی و 4 واحد عمودی.
| مفهوم در ضرب دکارتی | معادل آن در صفحه مختصات |
|---|---|
| مجموعه A (مؤلفه اول) | محور افقی (xها) |
| مجموعه B (مؤلفه دوم) | محور عمودی (yها) |
| جفت مرتب \((a,b)\) | نقطهای با مختصات \((a,b)\) |
| عضو \(a\) در جفت | فاصله افقی نقطه از مبدأ مختصات |
| عضو \(b\) در جفت | فاصله عمودی نقطه از مبدأ مختصات |
مثال عینی: برنامهریزی سفر با قطار
فرض کنید یک شرکت قطار شهری، دو خط اصلی دارد: خط قرمز و خط آبی. شما میخواهید سفری از ایستگاه M در خط قرمز به ایستگاه N در خط آبی داشته باشید، اما برای تغییر خط، باید از ایستگاههای تقاطعی استفاده کنید. مجموعه خط قرمز شامل ایستگاههای {A, B, C} و خط آبی شامل ایستگاههای {X, Y} است. در اینجا، جفتهای مرتب (ایستگاه خط قرمز, ایستگاه خط آبی) نشاندهنده یک سفر ترکیبی است. با رسم این جفتها روی یک صفحه مختصات که در آن محور x ایستگاههای خط قرمز و محور y ایستگاههای خط آبی باشد، یک نقشه سفر بصری به دست میآید. نقطه \((A, X)\) به معنای شروع از ایستگاه A در خط قرمز و پایان در ایستگاه X در خط آبی است. با نگاه به این نمودار، میتوان به سرعت تمام ترکیبات ممکن سفر را مشاهده کرد. این همان کاربرد عملی ضرب دکارتی در مسائل بهینهسازی و برنامهریزی است.چالشهای مفهومی
خیر، ضرب دکارتی به طور کلی جابجاییپذیر نیست. جابجایی بودن آن فقط در شرایط خاصی مانند زمانی که یکی از مجموعهها تهی باشد یا هر دو مجموعه یک عضوی باشند یا \(A = B\) باشد، رخ میدهد. دلیل اصلی آن «ترتیب» در جفتهای مرتب است. جفت \((a,b)\) در \(A \times B\) با جفت \((b,a)\) در \(B \times A\) تفاوت دارد، مگر آنکه \(a = b\) و این تساوی برای همه اعضا برقرار باشد.
اگر مجموعه B تهی باشد، مجموعه \(A \times B\) نیز تهی خواهد بود، زیرا هیچ عضوی برای انتخاب به عنوان مؤلفه دوم وجود ندارد. در نتیجه، روی صفحه مختصات هیچ نقطهای متناظر با این حاصلضرب وجود نخواهد داشت. تعداد نقاط در حاصلضرب دکارتی دو مجموعه متناهی A و B از رابطه \(|A \times B| = |A| \times |B|\) به دست میآید که اگر یکی از \(|A|\) یا \(|B|\) صفر باشد، نتیجه صفر خواهد شد.
نمودار یک تابع مانند \(y = f(x)\) مجموعه زوجهای مرتبی است که در آن هر \(x\) از دامنه، دقیقاً به یک \(y\) از برد متصل میشود. بنابراین، در نمودار تابع، برای یک مقدار \(x\) مشخص، حداکثر یک نقطه روی صفحه وجود دارد. اما در نمودار \(A \times B\)، برای یک مؤلفه اول مشخص (مثلاً \(a\))، میتوانیم به تعداد اعضای مجموعه \(B\) نقطه داشته باشیم. به عبارت دیگر، \(A \times B\) تمام ترکیبات ممکن را شامل میشود، در حالی که تابع یک رابطه ویژه و مقید است.
نمایش نقاط متناظر با اعضای \(A \times B\) روی صفحه مختصات، پلی است میان جبر و هندسه. با استفاده از این روش، مفاهیم انتزاعی مجموعهها و جفتهای مرتب به تصویری ملموس و قابل درک تبدیل میشوند. دیدیم که هر جفت مرتب \((a, b)\) از حاصلضرب دو مجموعه، به صورت نقطهای با مختصات \(a\) و \(b\) روی شبکه مختصات کارتزین قابل ترسیم است. این نمایش پایه و اساس درک توابع، روابط و بسیاری از مفاهیم پیشرفتهتر ریاضی و کاربردهای آن در علوم کامپیوتر، اقتصاد و مهندسی است.
پاورقی
1 صفحه مختصات کارتزین (Cartesian Coordinate System): صفحهای که توسط دو محور عددی عمود بر هم (محور xها و محور yها) در یک نقطه به نام مبدأ تقسیم شده و موقعیت هر نقطه با یک جفت عدد (x, y) مشخص میشود.2 ضرب دکارتی (Cartesian Product): عملی در نظریه مجموعهها که از دو مجموعه، مجموعهای از تمام زوجهای مرتب ممکن را میسازد که مؤلفه اول از مجموعه اول و مؤلفه دوم از مجموعه دوم گرفته شده است.