تعریف ۳۴.۲: بعد (Dimension)

۱. درک شهودی و فیزیکی

یک خط راست یک‌بعدی است زیرا برای مشخص کردن هر نقطه روی آن تنها یک عدد (مختصات) نیاز دارید. یک صفحه دوبعدی است چون دو درجه آزادی مستقل دارید. فضای فیزیکی پیرامون ما سه‌بعدی است. در جبر خطی مجرد، «بعد» تجرید همین مفهوم شهودی است: اگر برای ساختن یک فضا بدون هیچ اتلافی به $n$ بردار پایه نیاز داشته باشیم، بعد آن فضا $n$ است. نماد ریاضی آن $\dim V$ است.

۲. متن رسمی ریاضی (کتاب آکسلر)

۳. کالبدشکافی خوش‌تعریفی و نقش میدان $\mathbb{F}$

۱. چرا این تعریف خوش‌تعریف (Well-defined) است؟

اگر طول پایه‌ها یکسان نبود، این تعریف مبهم و فاقد اعتبار می‌شد. اما قضیه ۳۳.۲ تضمین کرد که طول هر پایه مقداری ناوردا و منحصر‌به‌فرد برای فضا است. پس $\dim V$ یک عدد صحیح نامنفی یکتاست.

۲. وابستگی مطلق به میدان اسکالرها

یک فضای برداری همواره روی یک میدان $\mathbb{F}$ تعریف می‌شود. انتخاب میدان می‌تواند بعد را تغییر دهد:

• فضای $\mathbb{C}$ روی میدان $\mathbb{C}$: هر عدد مختصات $z$ با ضرب در یک اسکالر مختص ساختنی است ($z = z \cdot 1$). پایه آن $(1)$ است؛ بنابراین: $$\dim_{\mathbb{C}} \mathbb{C} = 1$$
• فضای $\mathbb{C}$ روی میدان $\mathbb{R}$: با اسکالرهای حقیقی، بردار $1$ نمی‌تواند $i$ را تولید کند. پایه آن $(1, i)$ است و هر عدد $a + bi$ نیازمند دو ضریب حقیقی $a$ و $b$ است؛ بنابراین: $$\dim_{\mathbb{R}} \mathbb{C} = 2$$ به طور کلی برای هر فضای مختلط داریم: $$\dim_{\mathbb{R}} V = 2 \dim_{\mathbb{C}} V$$

۴. تعبیر هندسی بعد در $\mathbb{R}^3$

appName: 3d
width: 700
height: 450
showToolBar: false
showAlgebraInput: true
showMenuBar: false
commands:
  - "O = Point((0, 0, 0))"
  - "Pt1 = (0,0,0)"
  - "Pt2 = (2, 0, 0)"
  - "u = Vector(Pt1, Pt2)"
  - "Pt3 = (0,0,0)"
  - "Pt4 = (0, 2, 0)"
  - "v = Vector(Pt3, Pt4)"
  - "Pt5 = (0,0,0)"
  - "Pt6 = (0, 0, 2)"
  - "w = Vector(Pt5, Pt6)"
  - "Pt7 = (0,0,0)"
  - "Pt8 = (1,0,0)"
  - "lineX = Line(Pt7, Pt8)"
  - "planeXY = Plane(z = 0)"
caption: "تجسم هندسی درجات آزادی (ابعاد): مبدا (بعد ۰)، خط (بعد ۱)، صفحه (بعد ۲)، و کل فضا با بردار w (بعد ۳)"
explain:
  - "نقطه مبدا O دارای بعد ۰ است (بدون درجه آزادی)."
  - "خط راست lineX دارای بعد ۱ است (یک جهت مستقل با بردار u)."
  - "صفحه planeXY دارای بعد ۲ است (دو جهت مستقل با بردارهای u و v)."
  - "افزودن بردار w به صفحه، درجه آزادی سوم را ساخته و کل فضای سه‌بعدی R3 را پدید می‌آورد."

۵. نکات کلیدی و هشدارهای امتحانی

۶. پیوندها و گام‌های بعدی

• پیش‌نیاز منطقی: هم‌طول بودن تمام پایه‌ها
• مثال‌های تفصیلی: ابعاد فضاهای مهم
• قضایای مرتبط با زیرفضا: بعد یک زیرفضا
• فهرست مرجع: MOC فصل ۲