مقدمه
در بسیاری از مسائل ریاضی لازم است از میان دو مجموعه، اعضایی را انتخاب کنیم و هر انتخاب را بهصورت یک ترکیب مشخص در نظر بگیریم. برای مثال، اگر مجموعهای از رنگها و مجموعهای از اندازهها داشته باشیم، میتوانیم هر رنگ را با هر اندازه ترکیب کنیم. برای بیان دقیق تمام این ترکیبها، مفهوم ضرب دکارتی به کار میرود.
ضرب دکارتی در ظاهر یک عمل ساده روی مجموعههاست، اما نقش آن بسیار گستردهتر از یک عملیات مقدماتی است. مفهوم زوج مرتب، دستگاه مختصات، روابط، توابع و بسیاری از ساختارهای ریاضی بر پایه همین ایده ساخته میشوند. در ریاضیات دانشگاهی نیز ضرب دکارتی نقطه اتصال مهمی میان نظریه مجموعهها و مفاهیمی مانند رابطه و تابع است.
برای مثال، صفحه مختصات را میتوان بهصورت مجموعهای از زوجهای مرتب از اعداد حقیقی در نظر گرفت. یعنی هر نقطه صفحه به یک زوج مرتب مانند \((x,y)\) مربوط میشود و کل صفحه با مجموعهای از این زوجها توصیف میشود.
پیشنیازها
برای فهم ضرب دکارتی، آشنایی با چند مفهوم ساده از نظریه مجموعهها کافی است:
- مفهوم مجموعه و عضو مجموعه
- نمایش مجموعه با آکولاد
- مفهوم مجموعه متناهی
- مفهوم زوج مرتب
- نمادهای عضویت مانند \( \in \)
مهمترین پیشنیاز، درک تفاوت میان یک مجموعه معمولی و یک زوج مرتب است. در مجموعه، ترتیب قرار گرفتن اعضا اهمیت ندارد؛ اما در زوج مرتب، جایگاه هر مؤلفه اهمیت دارد.
برای مطالعه مفاهیم پایهتر میتوانید به مفهوم مجموعه، نمایش مجموعه و عضویت و زیرمجموعه مراجعه کنید.
تعریف دقیق ضرب دکارتی
فرض کنید \(A\) و \(B\) دو مجموعه باشند. ضرب دکارتی \(A\) و \(B\) مجموعهای است شامل تمام زوجهای مرتب \((a,b)\) که در آن \(a\) عضوی از \(A\) و \(b\) عضوی از \(B\) باشد.
تعریف رسمی ضرب دکارتی بهصورت زیر است:
$$ A\times B=\{(a,b)\mid a\in A,\ b\in B\} $$
به زبان ساده، برای تشکیل \(A\times B\)، یک عضو از مجموعه اول انتخاب میکنیم و سپس یک عضو از مجموعه دوم انتخاب میکنیم. تمام انتخابهای ممکن، اعضای ضرب دکارتی را تشکیل میدهند.
مثال ساده
فرض کنید:
$$ A=\{1,2\} $$ $$ B=\{a,b,c\} $$
از هر عضو \(A\) میتوان با هر عضو \(B\) یک زوج مرتب ساخت. بنابراین:
$$ A\times B= \{(1,a),(1,b),(1,c),(2,a),(2,b),(2,c)\} $$
در نتیجه \(A\times B\) دارای ۶ عضو است.
زوج مرتب چیست؟
ضرب دکارتی مستقیماً با مفهوم زوج مرتب ارتباط دارد. زوج مرتب مجموعهای دو عضوی نیست که صرفاً اعضای آن کنار هم قرار گرفته باشند؛ در زوج مرتب، ترتیب مؤلفهها اهمیت دارد.
دو زوج مرتب برابرند اگر و تنها اگر مؤلفه اول آنها برابر و مؤلفه دوم آنها نیز برابر باشد:
$$ (a,b)=(c,d)\iff a=c\ \text{و}\ b=d $$
بنابراین معمولاً داریم:
$$ (a,b)\neq(b,a) $$
مگر اینکه \(a=b\) باشد.
مثال
زوجهای مرتب زیر را در نظر بگیرید:
$$ (2,5) $$ $$ (5,2) $$
این دو زوج مرتب متفاوتاند، زیرا مؤلفه اول یکی \(2\) و دیگری \(5\) است.
این ویژگی یکی از مهمترین نکات ضرب دکارتی است و نشان میدهد که چرا معمولاً:
$$ A\times B\neq B\times A $$
در واقع، ضرب دکارتی برخلاف ضرب معمول اعداد، بهطور کلی جابهجاییپذیر نیست.
روش تشکیل ضرب دکارتی
برای تشکیل ضرب دکارتی دو مجموعه میتوان از یک روش منظم استفاده کرد:
- یک عضو از مجموعه اول انتخاب کنید.
- آن را با تکتک اعضای مجموعه دوم جفت کنید.
- این کار را برای تمام اعضای مجموعه اول تکرار کنید.
- تمام زوجهای حاصل را در یک مجموعه قرار دهید.
مثال
فرض کنید:
$$ A=\{1,2,3\} $$ $$ B=\{x,y\} $$
ابتدا برای عضو \(1\) داریم:
$$ (1,x),(1,y) $$
برای عضو \(2\):
$$ (2,x),(2,y) $$
و برای عضو \(3\):
$$ (3,x),(3,y) $$
پس:
$$ A\times B= \{(1,x),(1,y),(2,x),(2,y),(3,x),(3,y)\} $$
تعداد اعضای ضرب دکارتی
اگر \(A\) و \(B\) دو مجموعه متناهی باشند، تعداد اعضای ضرب دکارتی آنها از رابطه زیر به دست میآید:
$$ |A\times B|=|A|\times|B| $$
دلیل این رابطه ساده است: برای هر یک از \(|A|\) انتخاب ممکن از مجموعه اول، دقیقاً \(|B|\) انتخاب از مجموعه دوم وجود دارد.
مثال
اگر:
$$ |A|=4 $$
و:
$$ |B|=7 $$
آنگاه:
$$ |A\times B|=4\times7=28 $$
بنابراین ضرب دکارتی این دو مجموعه دارای ۲۸ عضو است.
ضرب دکارتی با مجموعه تهی
یکی از ویژگیهای مهم ضرب دکارتی این است که اگر یکی از مجموعهها تهی باشد، حاصل ضرب دکارتی نیز تهی خواهد بود.
اگر:
$$ A=\varnothing $$
آنگاه:
$$ A\times B=\varnothing $$
و به همین ترتیب:
$$ B\times\varnothing=\varnothing $$
دلیل آن این است که برای تشکیل یک زوج مرتب در \(A\times B\)، باید ابتدا عضوی از \(A\) انتخاب شود. وقتی \(A\) هیچ عضوی ندارد، هیچ زوج مرتبی نیز نمیتوان تشکیل داد.
این نتیجه برای مجموعههای متناهی نیز با فرمول تعداد اعضا سازگار است:
$$ |\varnothing\times B| = |\varnothing|\times|B| = 0\times|B| = 0 $$
آیا \(A\times B\) با \(B\times A\) برابر است؟
در حالت کلی خیر. ترتیب مجموعهها در ضرب دکارتی اهمیت دارد.
برای مثال، فرض کنید:
$$ A=\{1,2\} $$ $$ B=\{a,b\} $$
داریم:
$$ A\times B= \{(1,a),(1,b),(2,a),(2,b)\} $$
اما:
$$ B\times A= \{(a,1),(a,2),(b,1),(b,2)\} $$
این دو مجموعه معمولاً برابر نیستند، زیرا مؤلفههای زوجهای مرتب در جایگاههای متفاوت قرار گرفتهاند.
البته ممکن است در شرایط خاصی دو مجموعه برابر شوند. برای مثال اگر:
$$ A=B $$
آنگاه بدیهی است:
$$ A\times B=B\times A $$
اما در حالت عمومی نباید خاصیت جابهجایی را برای ضرب دکارتی فرض کرد.
ضرب دکارتی چند مجموعه
ایده ضرب دکارتی فقط به دو مجموعه محدود نیست. میتوان سه یا چند مجموعه را نیز با یکدیگر ترکیب کرد.
برای سه مجموعه \(A\)، \(B\) و \(C\)، داریم:
$$ A\times B\times C = \{(a,b,c)\mid a\in A,\ b\in B,\ c\in C\} $$
هر عضو این مجموعه یک سهتایی مرتب است.
بهصورت کلی، برای \(n\) مجموعه \(A_1,A_2,\ldots,A_n\):
$$ A_1\times A_2\times\cdots\times A_n = \{(a_1,a_2,\ldots,a_n)\mid a_i\in A_i,\ 1\leq i\leq n\} $$
اگر تمام این مجموعهها متناهی باشند، تعداد اعضای حاصلضرب برابر است با:
$$ |A_1\times A_2\times\cdots\times A_n| = \prod_{i=1}^{n}|A_i| $$
مثال
فرض کنید:
$$ A=\{1,2\} $$ $$ B=\{a,b,c\} $$ $$ C=\{x,y\} $$
در این صورت:
$$ |A\times B\times C| = 2\times3\times2 = 12 $$
بنابراین ۱۲ سهتایی مرتب مختلف تشکیل میشود.
ارتباط ضرب دکارتی با صفحه مختصات
یکی از مهمترین کاربردهای ضرب دکارتی در هندسه تحلیلی دیده میشود. صفحه مختصات را میتوان بهصورت ضرب دکارتی دو مجموعه از اعداد حقیقی در نظر گرفت:
$$ \mathbb{R}\times\mathbb{R} $$
هر عضو این مجموعه یک زوج مرتب از اعداد حقیقی است:
$$ (x,y) $$
که \(x\) مختصات افقی و \(y\) مختصات عمودی نقطه را مشخص میکند.
به همین ترتیب، فضای سهبعدی را میتوان با:
$$ \mathbb{R}^3 = \mathbb{R}\times\mathbb{R}\times\mathbb{R} $$
مدل کرد. هر نقطه در این فضا با یک سهتایی مرتب مانند \((x,y,z)\) مشخص میشود.
ضرب دکارتی و بازههای عددی
ضرب دکارتی فقط برای مجموعههای متناهی استفاده نمیشود. برای مجموعههای نامتناهی نیز کاملاً تعریفپذیر است.
برای مثال:
$$ [0,1]\times[0,1] $$
مجموعه تمام زوجهای مرتب \((x,y)\) است که در آن:
$$ 0\leq x\leq1 $$
و:
$$ 0\leq y\leq1 $$
از دید هندسی، این مجموعه همان مربع واحد در صفحه مختصات است.
به همین شکل:
$$ (0,1)\times(0,1) $$
مجموعه نقاط داخل مربع واحد بدون مرز را مشخص میکند.
ویژگیهای مهم ضرب دکارتی
۱. شرط عضویت
برای هر زوج مرتب \((a,b)\)، داریم:
$$ (a,b)\in A\times B \iff a\in A\ \land\ b\in B $$
این رابطه در واقع همان تعریف ضرب دکارتی است.
۲. ضرب با مجموعه تهی
$$ A\times\varnothing=\varnothing $$
و:
$$ \varnothing\times A=\varnothing $$
۳. تعداد اعضا در مجموعههای متناهی
$$ |A\times B|=|A||B| $$
۴. جابهجاییپذیر نبودن
بهطور کلی:
$$ A\times B\neq B\times A $$
۵. شرکتپذیری با توجه به نحوه تعریف
در ضرب دکارتی چند مجموعه باید به تفاوت میان زوجهای مرتب و سهتاییهای مرتب توجه کرد. برای مثال، از نظر ساختاری:
$$ (A\times B)\times C $$
اعضایی از شکل:
$$ ((a,b),c) $$
دارد، در حالی که:
$$ A\times(B\times C) $$
اعضایی از شکل:
$$ (a,(b,c)) $$
دارد. این دو ساختار در تعریف دقیق نظریه مجموعهها الزاماً یکسان نیستند، هرچند هر دو اطلاعات یکسانی درباره سه مؤلفه در اختیار ما قرار میدهند. به همین دلیل برای چند مجموعه معمولاً مستقیماً از نماد سهتایی یا \(n\)-تایی مرتب استفاده میشود.
رابطه ضرب دکارتی با زیرمجموعهها
ضرب دکارتی با روابط میان مجموعهها نیز ارتباط نزدیکی دارد. اگر \(A\) و \(B\) دو مجموعه باشند، هر رابطه از \(A\) به \(B\) را میتوان بهصورت زیرمجموعهای از \(A\times B\) تعریف کرد.
یعنی اگر \(R\) یک رابطه از \(A\) به \(B\) باشد، آنگاه:
$$ R\subseteq A\times B $$
برای مثال، اگر:
$$ A=\{1,2,3\} $$
و:
$$ B=\{2,3,4\} $$
رابطه «کوچکتر بودن» را میتوان با مجموعهای از زوجهای مرتب نشان داد:
$$ R= \{(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)\} $$
تمام این زوجها متعلق به \(A\times B\) هستند؛ بنابراین:
$$ R\subseteq A\times B $$
این موضوع نشان میدهد که ضرب دکارتی پایهای طبیعی برای تعریف روابط است.
ضرب دکارتی و تابع
تابع نیز با ضرب دکارتی ارتباط مستقیم دارد. یک تابع از \(A\) به \(B\) را میتوان نوع خاصی از رابطه در نظر گرفت که برای هر عضو دامنه، دقیقاً یک عضو از مجموعه مقصد را تعیین میکند.
به زبان مجموعهای، تابعی از \(A\) به \(B\) مجموعهای از زوجهای مرتب است که زیرمجموعهای از \(A\times B\) محسوب میشود.
$$ f\subseteq A\times B $$
البته برای اینکه یک زیرمجموعه از \(A\times B\) واقعاً تابع باشد، باید شرط یکتایی خروجی و تعریف بودن برای تمام اعضای دامنه را نیز داشته باشد.
بنابراین ضرب دکارتی یکی از پایههای رسمی تعریف تابع در ریاضیات است.
مثالهای حلشده
مثال اول: تشکیل ضرب دکارتی دو مجموعه
مجموعههای زیر را در نظر بگیرید:
$$ A=\{1,2\} $$ $$ B=\{3,4\} $$
تمام زوجهایی که مؤلفه اولشان از \(A\) و مؤلفه دومشان از \(B\) باشد عبارتاند از:
$$ (1,3),(1,4),(2,3),(2,4) $$
پس:
$$ A\times B= \{(1,3),(1,4),(2,3),(2,4)\} $$
و تعداد اعضا:
$$ |A\times B|=2\times2=4 $$
مثال دوم: بررسی عضویت یک زوج مرتب
فرض کنید:
$$ A=\{1,2,3\} $$ $$ B=\{a,b\} $$
آیا \((2,b)\) عضوی از \(A\times B\) است؟
برای پاسخ، دو شرط را بررسی میکنیم:
$$ 2\in A $$
و:
$$ b\in B $$
هر دو شرط برقرارند. بنابراین:
$$ (2,b)\in A\times B $$
اما مثلاً:
$$ (4,b)\notin A\times B $$
زیرا \(4\notin A\).
مثال سوم: تفاوت \(A\times B\) و \(B\times A\)
فرض کنید:
$$ A=\{1,2\} $$ $$ B=\{x,y\} $$
داریم:
$$ A\times B= \{(1,x),(1,y),(2,x),(2,y)\} $$
ولی:
$$ B\times A= \{(x,1),(x,2),(y,1),(y,2)\} $$
زوجهای مرتب موجود در این دو مجموعه متفاوتاند. بنابراین:
$$ A\times B\neq B\times A $$
مثال چهارم: محاسبه تعداد اعضا بدون تشکیل مجموعه
فرض کنید مجموعه \(A\) دارای ۸ عضو و مجموعه \(B\) دارای ۵ عضو باشد. لازم نیست تمام زوجهای مرتب را بنویسیم. کافی است از فرمول استفاده کنیم:
$$ |A\times B|=|A||B| $$
پس:
$$ |A\times B|=8\times5=40 $$
در نتیجه حاصل ضرب دکارتی ۴۰ عضو دارد.
مثال پنجم: ضرب دکارتی سه مجموعه
فرض کنید:
$$ A=\{1,2\} $$ $$ B=\{a,b\} $$ $$ C=\{x,y\} $$
تعداد سهتاییهای مرتب برابر است با:
$$ |A\times B\times C| = 2\times2\times2 = 8 $$
برخی از اعضای آن عبارتاند از:
$$ (1,a,x),\ (1,a,y),\ (1,b,x),\ (1,b,y) $$
و با انتخاب \(2\) بهجای \(1\)، چهار سهتایی دیگر نیز به دست میآید.
ضرب دکارتی مجموعههای نامتناهی
ضرب دکارتی فقط برای مجموعههای متناهی نیست. اگر یکی یا هر دو مجموعه نامتناهی باشند، حاصلضرب نیز همچنان به همان تعریف تشکیل میشود.
برای مثال:
$$ \mathbb{N}\times\mathbb{N} $$
شامل تمام زوجهای مرتب از اعداد طبیعی است:
$$ (1,1),(1,2),(1,3),\ldots $$
و همچنین زوجهایی مانند:
$$ (2,1),(2,2),(2,3),\ldots $$
در این حالت نمیتوان تعداد اعضا را با ضرب دو عدد متناهی محاسبه کرد؛ با این حال تعریف ضرب دکارتی بدون هیچ تغییری برقرار است.
در مجموعههای نامتناهی، بحث اندازه مجموعهها و مقایسه توان مجموعهها میتواند نتایج عمیقتری ایجاد کند. برای مطالعه بیشتر میتوانید به مجموعههای متناهی و نامتناهی مراجعه کنید.
کاربردهای ضرب دکارتی
هندسه و دستگاه مختصات
یکی از شناختهشدهترین کاربردها، نمایش نقاط صفحه و فضاست. صفحه مختصات با \(\mathbb{R}\times\mathbb{R}\) و فضای سهبعدی با \(\mathbb{R}^3\) مدل میشود.
روابط ریاضی
هر رابطه میان دو مجموعه را میتوان بهصورت زیرمجموعهای از ضرب دکارتی آنها در نظر گرفت:
$$ R\subseteq A\times B $$
توابع
توابع از مجموعهای از زوجهای مرتب تشکیل میشوند و بنابراین مفهوم ضرب دکارتی در تعریف رسمی تابع نقش دارد.
علوم کامپیوتر و پایگاه داده
در علوم کامپیوتر نیز ایده ترکیب همه حالتهای ممکن از دو مجموعه کاربرد دارد. برای نمونه، ترکیب همه گزینههای یک مجموعه با همه گزینههای مجموعه دیگر از نظر ساختاری مشابه تشکیل ضرب دکارتی است.
ترکیبیات
وقتی لازم است تعداد همه انتخابهای ممکن از چند مجموعه مستقل محاسبه شود، ضرب دکارتی چارچوب دقیقی برای مدلسازی این انتخابها فراهم میکند. رابطه
$$ |A\times B|=|A||B| $$
نیز یکی از نمونههای مستقیم استفاده از اصل ضرب در شمارش است.
اشتباهات رایج
۱. اشتباه گرفتن ضرب دکارتی با ضرب عددی
در ضرب معمولی دو عدد، نتیجه یک عدد است؛ اما در ضرب دکارتی دو مجموعه، نتیجه مجموعهای از زوجهای مرتب است.
۲. بیتوجهی به ترتیب زوج مرتب
این اشتباه بسیار رایج است که تصور کنیم:
$$ (a,b)=(b,a) $$
در حالی که این رابطه فقط زمانی درست است که:
$$ a=b $$
۳. فرض جابهجاییپذیری
نباید بهطور کلی نوشت:
$$ A\times B=B\times A $$
چنین برابریای در حالت عمومی درست نیست.
۴. اشتباه در تعداد اعضا
اگر \(A\) دارای ۳ عضو و \(B\) دارای ۴ عضو باشد، تعداد اعضای \(A\times B\) برابر \(3+4\) نیست، بلکه:
$$ 3\times4=12 $$
۵. اشتباه در ضرب با مجموعه تهی
اگر یکی از مجموعهها تهی باشد، هیچ زوج مرتبی نمیتوان ساخت:
$$ A\times\varnothing=\varnothing $$
۶. اشتباه گرفتن \(A\times B\) با اجتماع مجموعهها
در اجتماع، اعضای دو مجموعه مستقیماً در یک مجموعه قرار میگیرند؛ اما در ضرب دکارتی، اعضای دو مجموعه با یکدیگر جفت میشوند و زوجهای مرتب تشکیل میدهند.
نکات مهم
- ضرب دکارتی دو مجموعه شامل زوجهای مرتب است، نه اعضای ساده دو مجموعه.
- مؤلفه اول هر زوج از مجموعه اول و مؤلفه دوم از مجموعه دوم انتخاب میشود.
- ترتیب مؤلفههای زوج مرتب اهمیت دارد.
- در مجموعههای متناهی، تعداد اعضای ضرب دکارتی از حاصلضرب تعداد اعضای دو مجموعه به دست میآید.
- اگر یکی از دو مجموعه تهی باشد، ضرب دکارتی نیز تهی است.
- ضرب دکارتی مبنای طبیعی برای تعریف روابط میان مجموعههاست.
- تابع را میتوان نوع خاصی از رابطه، یعنی زیرمجموعهای از یک ضرب دکارتی، در نظر گرفت.
- ضرب دکارتی را میتوان برای سه، چهار یا هر تعداد متناهی از مجموعهها تعمیم داد.
- در ضرب دکارتی چند مجموعه، ترتیب مجموعهها و جایگاه مؤلفهها اهمیت دارد.
جمعبندی
ضرب دکارتی روشی دقیق برای ساخت مجموعهای از زوجهای مرتب یا چندتاییهای مرتب از دو یا چند مجموعه است. برای دو مجموعه \(A\) و \(B\)، تعریف اصلی به شکل زیر است:
$$ A\times B=\{(a,b)\mid a\in A,\ b\in B\} $$
اگر دو مجموعه متناهی باشند، تعداد اعضای حاصلضرب از رابطه زیر به دست میآید:
$$ |A\times B|=|A||B| $$
درک درست ضرب دکارتی نیازمند توجه به مفهوم زوج مرتب و اهمیت ترتیب مؤلفههاست. این مفهوم علاوه بر نظریه مجموعهها، در تعریف روابط و توابع، هندسه مختصاتی، ترکیبیات، علوم کامپیوتر و بسیاری از شاخههای دیگر ریاضیات کاربرد دارد.
موضوعات مرتبط
منابع
برای تدوین این مطلب، تعریف ضرب دکارتی، مفهوم زوج مرتب، تعمیم به چند مجموعه و رابطه تعداد اعضای حاصلضرب با منابع دانشگاهی و مراجع ریاضی تطبیق داده شده است.
- University of Oxford, Mathematical Institute، درس Introduction to University Mathematics: Sets؛ شامل تعریف ضرب دکارتی \(n\) مجموعه و مفهوم چندتایی مرتب.
- University College London (UCL)، درس MATH0005 Algebra 1 – Sets, Functions, Relations, and Permutations؛ شامل تعریف زوج مرتب، ضرب دکارتی و رابطه تعداد اعضای حاصلضرب.
- George Washington University، Cartesian Product؛ شامل تعریف ضرب دکارتی و مثالهای تشکیل حاصلضرب دو مجموعه.
- Encyclopedia of Mathematics، Direct Product؛ شامل تعریف رسمی حاصلضرب دکارتی و تعمیم آن به خانوادهای از مجموعهها.
- University of Texas at San Antonio، The Cartesian Product؛ شامل تعریف ضرب دکارتی، نمایش مجموعهای و کاربرد آن در جدولها و ساختارهای مرتب.