فرض کنیم و و سه مجموعه دلخواه باشند، میخواهیم حاصلضرب دکارتی را تعریف کنیم.
نخست ببینیم حاصلضرب چیست؟
برای اینکار فرض میکنیم:
باشد، بنابراین:
اما هر عنصر زوج مرتبی بهصورت است، بنابراین:
و حاصلضرب دکارتی را بهصورت زیر تعریف میکنیم:
در مجموعههای عناصر با هم تفاوت دارند.
- در مولفه اول است.
- در مولفه اول است.
پس موقتا داریم:
در ریاضیات قرار داد شده که بین و فرقی نباشد و در اینصورت هردوی اینها را با نماد نشان میدهیم و همانطور که گفتیم آنرا یک سهتایی مرتب میگوییم و داریم:
نکته
1- اگر مجموعهای عضوی و مجموعهای عضوی و مجموعهای باشد، برای تعیین تعداد اعضای مجموعه یعنی تعداد سهتاییهای مرتب داریم:
2- اگر باشد، را با نشان میدهیم، بنابراین:
میتوان گفت کلیه نقاط موجود در فضا را در بر میگیرد و هر نقطه از فضا دارای سهبعد طول، عرض و ارتفاع میباشد، بنابراین هرنقطه از آن در فضای سهبعدی بهصورت یکسه تایی مرتب است و حجم در مجموعه تعریف شده است.
تمرین
اگر داشته باشیم:
هر يک از مجموعه های زير را مشخص كنيد.
تمرین
اگر داشته باشیم:
مجموعه زیر را با نمودار درختی مشخص كنيد.
دریافت مثال