قضیه ۱۴.۱: اثبات جابه‌جایی جمع در $\mathbb{F}^n$ (Commutativity of Addition in F^n)

پیام کلیدی در یک جمله

عمل جمع بردارها در فضای $\mathbb{F}^n$ دارای خاصیت جابه‌جایی است ( $x + y = y + x$ )، زیرا جمع مؤلفه‌های اسکالر در میدان پایه $\mathbb{F}$ جابه‌جایی‌پذیر است.

۱. تصویر کلان و معنای شهودی

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

قضیه ۱۴.۱ این اصل طبیعی و شهودی را به صورت ریاضی موثق در هر بعد دلخواهی از $\mathbb{F}^n$ اثبات می‌کند.

۲. صورت دقیق ریاضی قضیه (کتاب آکسلر)

قضیه ۱۴.۱ کتاب آکسلر

اگر $x, y \in \mathbb{F}^n$ ، آنگاه:

x + y = y + x

۳. نقشه راه و استراتژی اثبات (Proof Strategy)

نوع اثبات: اثبات مستقیم مؤلفه‌ای.
ایده محوری: بردارها را به لیست مختصات باز می‌کنیم، عمل جمع را اعمال می‌کنیم، سپس با ارجاع به ویژگی جابه‌جایی در میدان $\mathbb{F}$ (که در ویژگی‌های ۳.۱ تضمین شده) جای عناصر را عوض کرده و مجدداً بردار را می‌بندیم.

۴. اثبات دقیق گام‌به‌گام (Step-by-Step Proof)

برهان قضیه ۱۴.۱ کتاب آکسلر

گام اول (نام‌گذاری و فرضیات): فرض کنید $x = (x_1, \dots, x_n) \in \mathbb{F}^n$ و $y = (y_1, \dots, y_n) \in \mathbb{F}^n$ باشند.

گام دوم (اعمال تعریف جمع برداری): طبق تعریف ۱۳.۱ داریم:

x + y = (x_1, \dots, x_n) + (y_1, \dots, y_n) = (x_1 + y_1, \dots, x_n + y_n)

گام سوم (استفاده از جابه‌جایی در میدان $\mathbb{F}$ ): برای هر $k \in \{1, \dots, n\}$ ، چون $x_k, y_k \in \mathbb{F}$ هستند و جمع در $\mathbb{F}$ (چه $\mathbb{R}$ و چه $\mathbb{C}$ ) خاصیت جابه‌جایی دارد، داریم:

x_k + y_k = y_k + x_k

بنابراین:

(x_1 + y_1, \dots, x_n + y_n) = (y_1 + x_1, \dots, y_n + x_n)

گام چهارم (بازسازی بردارها): مجدداً طبق تعریف جمع در $\mathbb{F}^n$ :

(y_1 + x_1, \dots, y_n + x_n) = (y_1, \dots, y_n) + (x_1, \dots, x_n) = y + x

در نتیجه $x + y = y + x$ برقرار است $\blacksquare$

۵. تعبیر هندسی و شبیه‌سازی جئوجبرا (GeoGebra)

تعبیر هندسی جابه‌جایی جمع بردارها u + v = v + u در قالب دو مسیر متوازی‌الأضلاع

مسیر اول: حرکت در امتداد u و سپس انتقال v به انتهای u که به نقطه (4, 4) می‌رسد.
مسیر دوم: حرکت در امتداد v و سپس انتقال u به انتهای v که دقیقاً به همان نقطه (4, 4) می‌رسد.
قطر متوازی‌الأضلاع همان بردار برآیند مشترک sum = u + v = v + u است.

کد اصلی رسم

appName: classic
width: 700
height: 380
showToolBar: false
showAlgebraInput: true
showMenuBar: false
commands:
  - "Origin = Point({0, 0})"
  - "O = (0, 0)"
  - "Pt1 = (3, 1)"
  - "u = Vector(O, Pt1)"
  - "Pt2 = (1, 3)"
  - "v = Vector(O, Pt2)"
  - "Pt3 = (3, 1)"
  - "Pt4 = (4, 4)"
  - "v_from_u = Vector(Pt3, Pt4)"
  - "Pt5 = (1, 3)"
  - "Pt6 = (4, 4)"
  - "u_from_v = Vector(Pt5, Pt6)"
  - "Pt7 = (4, 4)"
  - "sum = Vector(O, Pt7)"
  - "Parallelogram = Polygon((0,0), (3,1), (4,4), (1,3))"
caption: "تعبیر هندسی جابه‌جایی جمع بردارها u + v = v + u در قالب دو مسیر متوازی‌الأضلاع"
explain:
  - "مسیر اول: حرکت در امتداد u و سپس انتقال v به انتهای u که به نقطه (4, 4) می‌رسد."
  - "مسیر دوم: حرکت در امتداد v و سپس انتقال u به انتهای v که دقیقاً به همان نقطه (4, 4) می‌رسد."
  - "قطر متوازی‌الأضلاع همان بردار برآیند مشترک sum = u + v = v + u است."

۶. درس متدلوژیک و نگارشی شلدون آکسلر

آکسلر پس از این برهان نکته‌ای بسیار آموزنده برای دانشجویان متذکر می‌شود:

مهارت ریاضی: کار با نمادهای کلی به جای باز کردن مختصات

«اغلب، ریاضیات $\mathbb{F}^n$ بسیار خواناتر و تمیزتر می‌شود اگر از یک حرف واحد (مانند $x$ و $y$ ) برای نشان دادن یک لیست از $n$ عدد استفاده کنیم، بدون آنکه مؤلفه‌ها را به طور صریح بنویسیم. بهتر از باز کردن به مختصات، این است که تا حد امکان با خود بردارها کار کنیم و از مؤلفه‌نگاری پرهیز نماییم.»

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

تعریف عمل جمع: تعریف ۱۳.۱: عمل جمع برداری در Fn
پایه جبری اثبات: خاصیت جابه‌جایی در ویژگی‌های ۳.۱: ویژگی‌های حساب مختلط
ویژگی‌های بعدی جمع: شرکت‌پذیری (تمرین ۱۱) و عضو خنثی در نماد ۱۵.۱: تعریف بردار صفر 0 در Fn

قضیه ۱۴.۱ جابه‌جایی جمع در Fn

قضیه ۱۴.۱: اثبات جابه‌جایی جمع در $\mathbb{F}^n$ (Commutativity of Addition in F^n)

۱. تصویر کلان و معنای شهودی

۲. صورت دقیق ریاضی قضیه (کتاب آکسلر)

۳. نقشه راه و استراتژی اثبات (Proof Strategy)

۴. اثبات دقیق گام‌به‌گام (Step-by-Step Proof)

۵. تعبیر هندسی و شبیه‌سازی جئوجبرا (GeoGebra)

۶. درس متدلوژیک و نگارشی شلدون آکسلر

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

نماد ۱۵.۱: تعریف بردار صفر $0$ در $\mathbb{F}^n$ (The Zero Vector in F^n)

تعریف ۱۳.۱: عمل جمع برداری در $\mathbb{F}^n$ (Addition in F^n)

ویژگی‌های ۳.۱: ویژگی‌های حساب مختلط (Properties of Complex Arithmetic)

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

ویژگی‌های ۳.۱: ویژگی‌های حساب مختلط (Properties of Complex Arithmetic)

تعریف ۱۳.۱: عمل جمع برداری در $\mathbb{F}^n$ (Addition in F^n)

نماد ۱۵.۱: تعریف بردار صفر $0$ در $\mathbb{F}^n$ (The Zero Vector in F^n)

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

حالت ارائه

قضیه ۱۴.۱ جابه‌جایی جمع در Fn

قضیه ۱۴.۱: اثبات جابه‌جایی جمع در Fn\mathbb{F}^nFn (Commutativity of Addition in F^n)

۱. تصویر کلان و معنای شهودی

۲. صورت دقیق ریاضی قضیه (کتاب آکسلر)

۳. نقشه راه و استراتژی اثبات (Proof Strategy)

۴. اثبات دقیق گام‌به‌گام (Step-by-Step Proof)

۵. تعبیر هندسی و شبیه‌سازی جئوجبرا (GeoGebra)

۶. درس متدلوژیک و نگارشی شلدون آکسلر

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

نماد ۱۵.۱: تعریف بردار صفر 000 در Fn\mathbb{F}^nFn (The Zero Vector in F^n)

تعریف ۱۳.۱: عمل جمع برداری در Fn\mathbb{F}^nFn (Addition in F^n)

ویژگی‌های ۳.۱: ویژگی‌های حساب مختلط (Properties of Complex Arithmetic)

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

ویژگی‌های ۳.۱: ویژگی‌های حساب مختلط (Properties of Complex Arithmetic)

تعریف ۱۳.۱: عمل جمع برداری در Fn\mathbb{F}^nFn (Addition in F^n)

نماد ۱۵.۱: تعریف بردار صفر 000 در Fn\mathbb{F}^nFn (The Zero Vector in F^n)

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

قضیه ۱۴.۱: اثبات جابه‌جایی جمع در $\mathbb{F}^n$ (Commutativity of Addition in F^n)

نماد ۱۵.۱: تعریف بردار صفر $0$ در $\mathbb{F}^n$ (The Zero Vector in F^n)

تعریف ۱۳.۱: عمل جمع برداری در $\mathbb{F}^n$ (Addition in F^n)

تعریف ۱۳.۱: عمل جمع برداری در $\mathbb{F}^n$ (Addition in F^n)

نماد ۱۵.۱: تعریف بردار صفر $0$ در $\mathbb{F}^n$ (The Zero Vector in F^n)