خلاصه شهودی در یک جمله

مجموعه همانند یک جعبه یا سبد است که اشیاء معینی (مانند اعداد یا بردارها) را بدون در نظر گرفتن ترتیب و بدون تکرار عضو درون خود نگه می‌دارد؛ نمادهای عضویت، زیرمجموعه و ضرب دکارتی الفبای خواندن و نوشتن تمام قضایای جبر خطی هستند.

نمادهای استاندارد مجموعه‌های عددی

در سرتاسر ریاضیات دانشگاهی و کتاب آکسلر، مجموعه‌های زیر با حروف توخالی (Blackboard Bold) مشخص می‌شوند:

• $\mathbb{N} = \{1, 2, 3, \dots\}$: مجموعه اعداد طبیعی (Natural numbers).
• $\mathbb{Z} = \{\dots, -2, -1, 0, 1, 2, \dots\}$: مجموعه اعداد صحیح (Integers).
• $\mathbb{Q} = \left\{\frac{a}{b} \mid a, b \in \mathbb{Z}, b \neq 0\right\}$: مجموعه اعداد گویا (Rational numbers).
• $\mathbb{R}$: مجموعه اعداد حقیقی (Real numbers).
• $\mathbb{C} = \{a + bi \mid a, b \in \mathbb{R}, i^2 = -1\}$: مجموعه اعداد مختلط (Complex numbers).
• رابطه شمول میان آن‌ها: $$\mathbb{N} \subset \mathbb{Z} \subset \mathbb{Q} \subset \mathbb{R} \subset \mathbb{C}$$

عملگرها و روابط بنیادین مجموعه‌ها

۱. عضویت ($x \in A$): گزاره‌ای که بیان می‌کند شیء $x$ متعلق به مجموعه $A$ است. نقیض آن: $x \notin A$. ۲. مجموعه تهی ($\emptyset$ یا $\{\}$): مجموعه‌ای فاقد هرگونه عضو. مجموعه تهی زیرمجموعه هر مجموعه‌ای است ($\emptyset \subseteq A$). ۳. زیرمجموعه ($A \subseteq B$): به ازای هر $x$، اگر $x \in A$ آنگاه $x \in B$:

$$A \subseteq B \iff (\forall x: x \in A \implies x \in B)$$

۴. زیرمجموعه سره ($A \subset B$ یا $A \subsetneq B$): $A \subseteq B$ و در عین حال $A \neq B$. ۵. اجتماع ($A \cup B$): اعضایی که در حداقل یکی از دو مجموعه حضور دارند:

$$A \cup B = \{x \mid x \in A \text{ یا } x \in B\}$$

۶. اشتراک ($A \cap B$): اعضایی که در هر دو مجموعه حضور دارند:

$$A \cap B = \{x \mid x \in A \text{ و } x \in B\}$$

۷. تفاضل ($A \setminus B$ یا $A - B$): اعضایی از $A$ که در $B$ نیستند:

$$A \setminus B = \{x \mid x \in A \text{ و } x \notin B\}$$

۸. ضرب دکارتی ($A \times B$): مجموعه تمام زوج‌های مرتب $(a, b)$ به طوری که $a \in A$ و $b \in B$:

$$A \times B = \{(a, b) \mid a \in A, b \in B\}$$

اگر $n$ بار تکرار شود، فضا به صورت $A^n = \underbrace{A \times A \times \dots \times A}_{n \text{ بار}}$ تعریف می‌شود.

نماد ریاضی‌سازی شرطی (Set-builder notation)

نماد $\{x \in S \mid P(x)\}$ خوانده می‌شود: «مجموعه تمام اعضای $x$ از مرجع $S$ به طوری که شرط $P(x)$ برای آن‌ها برقرار باشد». علامت خط عمودی $\mid$ یا دونقطه $:$ به معنای «به طوری که» (such that) است.

مثال ۱: تشخیص عضویت و زیرمجموعه

فرض کنید مجموعه بردارها یا اعداد $A = \{0, 1, 2\}$ باشد. گزاره‌های زیر را بررسی کنید: ۱. $1 \in A$ (درست: ۱ یکی از اعضای داخل آکولاد است). ۲. $\{1\} \in A$ (نادرست: $\{1\}$ یک مجموعه است، عضوی به شکل آکولاددار داخل $A$ نیست). ۳. $\{1\} \subseteq A$ (درست: تمام اعضای $\{1\}$ که همان ۱ است در $A$ حضور دارد). ۴. $0 \subseteq A$ (نادرست: صفر یک عدد است نه یک مجموعه، پس نمی‌تواند زیرمجموعه باشد). ۵. $\{0, 2\} \subseteq A$ (درست: هر دو عدد در $A$ هستند).

مثال ۲: ساخت فضای مختصاتی دو بعدی با ضرب دکارتی

مسئله: فرض کنید $A = \{1, 2\}$ و $B = \{3, 4\}$ باشد. حاصل $A \times B$ را بیابید. حل گام‌به‌گام: ۱. مولفه اول از $A$ انتخاب می‌شود (۱ یا ۲) و مولفه دوم از $B$ (۳ یا ۴). ۲. تمام ترکیب‌های ممکن را به شکل زوج مرتب می‌نویسیم:

$$A \times B = \{(1, 3), (1, 4), (2, 3), (2, 4)\}$$

۳. نتیجه نهایی: این مجموعه دارای $2 \times 2 = 4$ عضو است. به همین ترتیب، صفحه مختصات دکارتی $\mathbb{R}^2$ حاصل ضرب دکارتی $\mathbb{R} \times \mathbb{R}$ است که بی‌نهایت نقطه $(x, y)$ دارد.

اشتباهات متداول در نمادگذاری

• اشتباه ۱: یکی دانستن عضویت ($\in$) و شمول ($\subseteq$): هیچ‌گاه ننویسید $v \subseteq V$ وقتی $v$ یک بردار است. باید بنویسید $v \in V$. بردار یک «عضو» است و زیرفضا یک «زیرمجموعه» ($U \subseteq V$).
• اشتباه ۲: یکی دانستن $\{0\}$ با $\emptyset$: مجموعه تهی هیچ عضوی ندارد ($|\emptyset| = 0$). اما مجموعه $\{0\}$ دارای یک عضو است که آن عضو عدد صفر یا بردار صفر است ($|\{0\}| = 1$). در جبر خطی، زیرفضای صفر $\{0\}$ هرگز تهی نیست، چون باید شامل بردار صفر باشد!
• اشتباه ۳: تصور اینکه اجتماع دو زیرفضا باز هم زیرفضا است: در حالی که اشتراک دو زیرفضا همیشه یک زیرفضا است ($U_1 \cap U_2$ زیرفضا است)، اجتماع آن‌ها ($U_1 \cup U_2$) معمولاً زیرفضا نیست! در فصل ۱ آکسلر این نکته کلیدی را خواهید دید.