صورت دقیق مسئله (کتاب آکسلر، تمرین ۱۹ و ۲۰ بخش ۳.۲)

بخش الف (انگیزه قیاس با نظریه مجموعه‌ها): در نظریه مجموعه‌ها، برای سه مجموعه متناهی $A, B, C$ اصل شمول و طرد بیان می‌کند:

$$|A \cup B \cup C| = |A| + |B| + |C| - |A \cap B| - |A \cap C| - |B \cap C| + |A \cap B \cap C|$$

با توجه به اینکه برای دو زیرفضا فرمول گراسمن دقیقاً مشابه دو مجموعه است ($\dim(U+W) = \dim U + \dim W - \dim(U \cap W)$)، توضیح دهید چرا ممکن است حدس بزنیم که برای سه زیرفضا نیز رابطه زیر برقرار باشد:

$$\begin{aligned} \dim(V_1 + V_2 + V_3) \stackrel{?}{=} &\dim V_1 + \dim V_2 + \dim V_3 \\ &- \dim(V_1 \cap V_2) - \dim(V_1 \cap V_3) - \dim(V_2 \cap V_3) \\ &+ \dim(V_1 \cap V_2 \cap V_3) \end{aligned}$$

بخش ب (ابطال با مثال نقض کلاسیک): فرمول فوق را با ارائه یک مثال نقض هندسی و جبری صریح در $\mathbb{R}^2$ به طور قطعی رد کنید و نشان دهید خطای محاسباتی آن ناشی از چیست.

بخش ج (فرمول واقعی و اصلاح‌شده برای سه زیرفضا): فرمول معتبر و صحیح را برای محاسبه $\dim(V_1 + V_2 + V_3)$ بر اساس اعمال متوالی فرمول گراسمن استخراج و اثبات کنید.

ابطال دقیق و اثبات فرمول صحیح

بخش الف: توجیه قیاس وسوسه‌انگیز با شمول و طرد

در حالتی که ۲ زیرفضا داریم، قضیه بعد بیان می‌کند:

$$\dim(V_1 + V_2) = \dim V_1 + \dim V_2 - \dim(V_1 \cap V_2)$$

این فرمول شباهت صوری ۱۰۰ درصدی با فرمول اصل شمول و طرد برای دو مجموعه دارد:

$$|A \cup B| = |A| + |B| - |A \cap B|$$

برای سه مجموعه متناهی، با استفاده مکرر از رابطه بالا داریم:

$$|(A \cup B) \cup C| = |A \cup B| + |C| - |(A \cup B) \cap C|$$

و چون در نظریه مجموعه‌ها عمل اشتراک روی اجتماع توزیع‌پذیر است:

$$(A \cup B) \cap C = (A \cap C) \cup (B \cap C)$$

با اعمال مجدد فرمول، فرمول معروف شمول و طرد سه مجموعه به دست می‌آید. بنابراین یک ریاضیدان در نگاه نخست ممکن است وسوسه شود که همین فرآیند جبری عیناً برای ابعاد فضاهای برداری نیز صادق باشد.

---

بخش ب: ارائه مثال نقض قطعی در $\mathbb{R}^2$

سه زیرفضای یک‌بعدی زیر را در فضای $\mathbb{R}^2$ در نظر می‌گیریم:

$$V_1 = \operatorname{span}\big( (1, 0) \big) = \big\{ (x, 0) : x \in \mathbb{R} \big\} \quad (\text{محور } x)$$

$$V_2 = \operatorname{span}\big( (0, 1) \big) = \big\{ (0, y) : y \in \mathbb{R} \big\} \quad (\text{محور } y)$$

$$V_3 = \operatorname{span}\big( (1, 1) \big) = \big\{ (t, t) : t \in \mathbb{R} \big\} \quad (\text{خط نیمساز ربع اول و سوم})$$

۱. محاسبه ابعاد تک‌تک زیرفضاها: چون هر یک توسط یک بردار ناصفر گسترش یافته‌اند:

$$\dim V_1 = 1, \quad \dim V_2 = 1, \quad \dim V_3 = 1$$

۲. محاسبه بعد مجموع: مجموع $V_1 + V_2$ شامل تمام بردارها به صورت $(x, 0) + (0, y) = (x, y)$ است، بنابراین $V_1 + V_2 = \mathbb{R}^2$. افزودن $V_3$ به این مجموعه چیزی به فضا اضافه نمی‌کند:

$$V_1 + V_2 + V_3 = \mathbb{R}^2 \implies \dim(V_1 + V_2 + V_3) = \dim \mathbb{R}^2 = 2$$

۳. محاسبه ابعاد تمام اشتراک‌ها:

• $V_1 \cap V_2 = \{ (0, 0) \} \implies \dim(V_1 \cap V_2) = 0$
• $V_1 \cap V_3 = \{ (0, 0) \} \implies \dim(V_1 \cap V_3) = 0$
• $V_2 \cap V_3 = \{ (0, 0) \} \implies \dim(V_2 \cap V_3) = 0$
• $V_1 \cap V_2 \cap V_3 = \{ (0, 0) \} \implies \dim(V_1 \cap V_2 \cap V_3) = 0$

۴. ارزیابی فرمول حدس‌زده‌شده:

• سمت چپ فرمول (LHS): $$\dim(V_1 + V_2 + V_3) = 2$$
• سمت راست فرمول (RHS): $$\begin{aligned} \text{RHS} &= \dim V_1 + \dim V_2 + \dim V_3 - \dim(V_1 \cap V_2) - \dim(V_1 \cap V_3) - \dim(V_2 \cap V_3) + \dim(V_1 \cap V_2 \cap V_3) \\ &= 1 + 1 + 1 - 0 - 0 - 0 + 0 = 3 \end{aligned}$$ تناقض آشکار: $$\text{LHS} = 2 \neq 3 = \text{RHS}$$ بنابراین فرمول قیاسی اصل شمول و طرد برای سه زیرفضا به طور قطع نادرست است. $\blacksquare$

---

بخش ج: استخراج و اثبات فرمول صحیح برای سه زیرفضا

گام اول: گروه‌بندی جمع زیرفضاها زیرفضای $U = V_1 + V_2$ را تعریف می‌کنیم. آنگاه:

$$V_1 + V_2 + V_3 = U + V_3$$

گام دوم: اعمال فرمول گراسمن برای دو زیرفضای $U$ و $V_3$ طبق قضیه ۴۳.۲ آکسلر:

$$\dim(U + V_3) = \dim U + \dim V_3 - \dim(U \cap V_3)$$

با بازگرداندن تعریف $U = V_1 + V_2$:

$$\dim(V_1 + V_2 + V_3) = \dim(V_1 + V_2) + \dim V_3 - \dim\big( (V_1 + V_2) \cap V_3 \big) \quad \text{--- (۱)}$$

گام سوم: بسط جمله $\dim(V_1 + V_2)$ با گراسمن می‌دانیم:

$$\dim(V_1 + V_2) = \dim V_1 + \dim V_2 - \dim(V_1 \cap V_2)$$

گام چهارم: جایگذاری و به دست آوردن فرمول معتبر نهایی با جایگذاری رابطه فوق در رابطه (۱)، فرمول صحیح به دست می‌آید:

$$\dim(V_1 + V_2 + V_3) = \dim V_1 + \dim V_2 + \dim V_3 - \dim(V_1 \cap V_2) - \dim\Big( (V_1 + V_2) \cap V_3 \Big)$$

بررسی صحت فرمول با مثال نقض بالا: در مثال نقض بخش ب داشتیم:

• $\dim V_1 = 1, \dim V_2 = 1, \dim V_3 = 1$
• $\dim(V_1 \cap V_2) = 0$
• زیرفضای $V_1 + V_2 = \mathbb{R}^2$ است. بنابراین: $$(V_1 + V_2) \cap V_3 = \mathbb{R}^2 \cap V_3 = V_3 \implies \dim\big((V_1 + V_2) \cap V_3\big) = \dim V_3 = 1$$ با اعمال فرمول صحیح: $$\dim(V_1 + V_2 + V_3) = 1 + 1 + 1 - 0 - 1 = 2$$ که دقیقاً با بعد $\mathbb{R}^2$ مطابقت کامل دارد! $\blacksquare$

هشدارهای مهم مفهومی و امتحانی

1. ریشه اصلی شکست قیاس: در برگه امتحان توضیح دهید که در فضاهای برداری، خاصیت توزیع‌پذیری اشتراک روی جمع به طور کلی برقرار نیست: $$(V_1 + V_2) \cap V_3 \neq (V_1 \cap V_3) + (V_2 \cap V_3)$$ در مثال بالا سمت چپ برابر $V_3$ (یک‌بعدی) است، در حالی که سمت راست برابر $\{0\} + \{0\} = \{0\}$ (صفر‌بعدی) است! علت شکست فرمول شمول و طرد دقیقاً همین عدم توزیع‌پذیری است.
2. استفاده از سه خط در یک صفحه به عنوان بهترین مثال: کشیدن سه خط در صفحه $\mathbb{R}^2$ ساده‌ترین، شهودی‌ترین و بی‌نقص‌ترین مثال نقض ممکن در امتحان است که تصحیح‌کننده بلافاصله نمره کامل به آن می‌دهد.
3. شرط جمع مستقیم سه زیرفضا: به یاد داشته باشید جمع سه زیرفضا زمانی مستقیم است که $\dim(V_1 + V_2 + V_3) = \dim V_1 + \dim V_2 + \dim V_3$.