مثال ۷.۱: فضاهای $\mathbb{R}^2$ و $\mathbb{R}^3$ (The Spaces R^2 and R^3)

چکیده هندسی

فضاهای $\mathbb{R}^2$ و $\mathbb{R}^3$ به ترتیب مدل‌های ریاضی صفحه دو‌بعدی و فضای سه‌بعدی پیرامون ما هستند که از زوج‌ها و سه‌تایی‌های مرتب اعداد حقیقی تشکیل شده‌اند.

۱. درک شهودی و پیشینه تاریخی

در سال ۱۶۳۷، رنه دکارت با ابداع سیستم مختصات دکارتی، پیوندی جاودانه میان جبر و هندسه برقرار کرد. او نشان داد که:

هر نقطه روی یک صفحه مسطح (مانند کاغذ یا نمایشگر) را می‌توان با دو عدد حقیقی $(x, y)$ نشان داد؛ اولی موقعیت افقی و دومی موقعیت عمودی.
هر نقطه در فضای واقعی پیرامون ما را می‌توان با سه عدد حقیقی $(x, y, z)$ مشخص ساخت؛ طول، عرض، و ارتفاع.

جبر خطی از همین دو فضای آشنا آغاز می‌شود، اما هدف والاتر آن تعمیم این مفاهیم به فضاهایی با ابعاد بالاتر (مانند ۴، ۱۰۰ یا بی‌نهایت) است که چشم انسان توان دیدن آن‌ها را ندارد.

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

مثال ۷.۱ کتاب آکسلر:

\mathbb{R}^2

\mathbb{R}^3

مجموعه $\mathbb{R}^2$ : که می‌توانید آن را به عنوان یک صفحه در نظر بگیرید، مجموعه تمام جفت‌های مرتب اعداد حقیقی است:

\mathbb{R}^2 = \{ (x, y) : x, y \in \mathbb{R} \}

مجموعه $\mathbb{R}^3$ : که می‌توانید آن را به عنوان فضای معمولی در نظر بگیرید، مجموعه تمام سه‌تایی‌های مرتب اعداد حقیقی است:

\mathbb{R}^3 = \{ (x, y, z) : x, y, z \in \mathbb{R} \}

۳. از هندسه شهودی به جبر انتزاعی

چرا نماد توان؟ نماد توان ۲ در $\mathbb{R}^2$ از ضرب دکارتی مجموعه‌ها می‌آید: $\mathbb{R}^2 = \mathbb{R} \times \mathbb{R}$ و به همین ترتیب: $\mathbb{R}^3 = \mathbb{R} \times \mathbb{R} \times \mathbb{R}$
نیاز مبرم به تعمیم: در فیزیک مدرن (نظریه نسبیت با فضا-زمان ۴ بعدی یا مکانیک کوانتومی)، در اقتصاد سنجی (مدل‌سازی با ۵۰۰۰ متغیر کالا) و در علم داده (تصاویر با میلیون‌ها پیکسل)، ما با فضاهایی با ابعاد بسیار بزرگتر از ۳ مواجه هستیم. برای آنکه بتوانیم فراتر از $\mathbb{R}^2$ و $\mathbb{R}^3$ گام برداریم، نخست باید شیوه دقیق ریاضی چیدمان عناصر را در قالب «لیست» تعریف کنیم.

۴. مقایسه هندسی $\mathbb{R}^2$ و $\mathbb{R}^3$

ویژگی	فضای $\mathbb{R}^2$	فضای $\mathbb{R}^3$
تعبیر هندسی	صفحه مسطح (دو‌بعدی)	فضای فیزیکی (سه‌بعدی)
عنصر نوعی	زوج مرتب $(x, y)$	سه‌تایی مرتب $(x, y, z)$
تعداد درجات آزادی	۲ درجه مستقل	۳ درجه مستقل
مبدأ مختصات	$(0, 0)$	$(0, 0, 0)$

۵. شبیه‌سازی سه‌بعدی فضای $\mathbb{R}^3$ (GeoGebra 3D)

نمایش نقطه و بردار سه بعدی (2, 3, 4) در فضای R3 به همراه تصویر آن بر صفحه xy

بردار v از مبدا (0, 0, 0) به نقطه (2, 3, 4) وصل شده است.
تصویر نقطه روی صفحه پایه xy نقطه P_xy=(2, 3, 0) با ارتفاع ۴ است.
این ساختار سه‌تایی مرتب (x, y, z) مبنای هندسه فیزیکی و جبر خطی سه بعدی است.

کد اصلی رسم

appName: 3d
width: 700
height: 450
showToolBar: false
showAlgebraInput: true
showMenuBar: false
commands:
  - "Origin: (0, 0, 0)"
  - "P: (2, 3, 4)"
  - "O = (0, 0, 0)"
  - "Pt1 = (2, 3, 4)"
  - "v : Vector(O, Pt1)"
  - "P_xy: (2, 3, 0)"
  - "DropLine : Segment(P, P_xy)"
  - "Pt2 = (2, 0, 0)"
  - "GuideX : Segment(O, Pt2)"
  - "Pt3 = (2, 0, 0)"
  - "Pt4 = (2, 3, 0)"
  - "GuideY : Segment(Pt3, Pt4)"
caption: "نمایش نقطه و بردار سه بعدی (2, 3, 4) در فضای R3 به همراه تصویر آن بر صفحه xy"
explain:
  - "بردار v از مبدا (0, 0, 0) به نقطه (2, 3, 4) وصل شده است."
  - "تصویر نقطه روی صفحه پایه xy نقطه P_xy=(2, 3, 0) با ارتفاع ۴ است."
  - "این ساختار سه‌تایی مرتب (x, y, z) مبنای هندسه فیزیکی و جبر خطی سه بعدی است."

۶. ارتباطات و پیوندهای اتمیک

پیش‌نیاز: ساختار اعداد حقیقی در نماد ۶.۱: میدان اسکالرها F
گام بعدی (پایه‌ریزی زبان عمومی): تعریف مفهوم ریشه‌ای تعریف ۸.۱: مفهوم لیست و طول آن
مقصد نهایی تعمیم: تعریف فضای کلی تعریف ۱۱.۱: فضای Fn و مختصات

مثال ۷.۱ فضاهای R2 و R3

مثال ۷.۱: فضاهای $\mathbb{R}^2$ و $\mathbb{R}^3$ (The Spaces R^2 and R^3)

۱. درک شهودی و پیشینه تاریخی

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

۳. از هندسه شهودی به جبر انتزاعی

۴. مقایسه هندسی $\mathbb{R}^2$ و $\mathbb{R}^3$

۵. شبیه‌سازی سه‌بعدی فضای $\mathbb{R}^3$ (GeoGebra 3D)

۶. ارتباطات و پیوندهای اتمیک

تعریف ۸.۱: مفهوم لیست و طول آن (List and Length of a List)

نماد ۶.۱: میدان اسکالرها $\mathbb{F}$ (The Field of Scalars)

تعریف ۱۱.۱: فضای $\mathbb{F}^n$ و مختصات (The Space F^n and Coordinates)

پیوندهای این یادداشت ۳

نماد ۶.۱: میدان اسکالرها $\mathbb{F}$ (The Field of Scalars)

تعریف ۸.۱: مفهوم لیست و طول آن (List and Length of a List)

تعریف ۱۱.۱: فضای $\mathbb{F}^n$ و مختصات (The Space F^n and Coordinates)

ارجاعات به این یادداشت ۵

حالت ارائه

مثال ۷.۱ فضاهای R2 و R3

مثال ۷.۱: فضاهای R2\mathbb{R}^2R2 و R3\mathbb{R}^3R3 (The Spaces R^2 and R^3)

۱. درک شهودی و پیشینه تاریخی

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

۳. از هندسه شهودی به جبر انتزاعی

۴. مقایسه هندسی R2\mathbb{R}^2R2 و R3\mathbb{R}^3R3

۵. شبیه‌سازی سه‌بعدی فضای R3\mathbb{R}^3R3 (GeoGebra 3D)

۶. ارتباطات و پیوندهای اتمیک

تعریف ۸.۱: مفهوم لیست و طول آن (List and Length of a List)

نماد ۶.۱: میدان اسکالرها F\mathbb{F}F (The Field of Scalars)

تعریف ۱۱.۱: فضای Fn\mathbb{F}^nFn و مختصات (The Space F^n and Coordinates)

پیوندهای این یادداشت ۳

نماد ۶.۱: میدان اسکالرها F\mathbb{F}F (The Field of Scalars)

تعریف ۸.۱: مفهوم لیست و طول آن (List and Length of a List)

تعریف ۱۱.۱: فضای Fn\mathbb{F}^nFn و مختصات (The Space F^n and Coordinates)

ارجاعات به این یادداشت ۵

مثال ۷.۱: فضاهای $\mathbb{R}^2$ و $\mathbb{R}^3$ (The Spaces R^2 and R^3)

۴. مقایسه هندسی $\mathbb{R}^2$ و $\mathbb{R}^3$

۵. شبیه‌سازی سه‌بعدی فضای $\mathbb{R}^3$ (GeoGebra 3D)

نماد ۶.۱: میدان اسکالرها $\mathbb{F}$ (The Field of Scalars)

تعریف ۱۱.۱: فضای $\mathbb{F}^n$ و مختصات (The Space F^n and Coordinates)

نماد ۶.۱: میدان اسکالرها $\mathbb{F}$ (The Field of Scalars)

تعریف ۱۱.۱: فضای $\mathbb{F}^n$ و مختصات (The Space F^n and Coordinates)