رفتن به متن
باغ ریاضی
زوج‌های مرتب و n-تایی‌های مرتب
تنظیمات مطالعه
تنظیمات مطالعه

زوج‌های مرتب و n-تایی‌های مرتب

یادداشت شما ذخیره شد

می‌خواهید این تغییرات برای مدیر وب‌سایت هم ارسال شوند؟ نسخهٔ رسمی تنها پس از تأیید تغییر می‌کند.

پیش‌نیاز: زوج‌های مرتب و n-تایی‌های مرتب

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

یک nn-تایی مرتب (یا «لیست» به زبان شلدون آکسلر) دنباله‌ای منظم از اشیاء است که در آن «ترتیب قرارگیری» و «تکرار عناصر» اهمیت حیاتی دارند؛ بر خلاف مجموعه‌ها، جابه‌جا کردن یا حذف عناصر تکراری یک لیست، هویت آن را کاملاً تغییر می‌دهد.


۱. انگیزه و ضرورت در جبر خطی

  • چرا این مفهوم را در کتاب آکسلر می‌بینیم؟ کتاب شلدون آکسلر در همان صفحات اولیه فصل ۱ (تعاریف ۸.۱ تا ۱۱.۱)، مفهوم «لیست» (List) را سنگ‌بنای تعریف فضای اصلی جبر خطی یعنی Fn\mathbb{F}^n قرار می‌دهد. آکسلر حتی یک مثال اختصاصی (مثال ۹.۱) می‌زند تا فرق میان لیست و مجموعه را گوشزد کند:

    اگر فرق میان (1,2)(1, 2) و {1,2}\{1, 2\} را ندانید، نمی‌توانید بفهمید که چرا بردار (1,2)(1, 2) در صفحه مختصات یک نقطه است و بردار (2,1)(2, 1) نقطه‌ای کاملاً متفاوت!

    همچنین در فصل دوم، مفهوم «پایه» (Basis) به صورت یک «لیست مرتب از بردارها» تعریف می‌شود، نه یک مجموعه از بردارها؛ زیرا وقتی از مختصات یک بردار نسبت به یک پایه صحبت می‌کنیم، باید مشخص باشد کدام بردار اول، کدام دوم و کدام nn-اُم است.

  • مفاهیم متصل در کتاب:


۲. درک شهودی و تصویرسازی ذهنی

یک گاوصندوق رمزدار با ۳ چرخ‌دنده را تصور کنید:

  • اگر رمز گاوصندوق (3,7,1)(3, 7, 1) باشد:
    1. آیا می‌توانید آن را به صورت (7,3,1)(7, 3, 1) وارد کنید و در باز شود؟ خیر! ترتیب مهم است.
    2. اگر رمز (5,5,2)(5, 5, 2) باشد، آیا می‌توانید بگویید «چون ۵ تکراری است پس رمز همان (5,2)(5, 2) است»؟ خیر! تکرار مهم است و طول رمز باید حفظ شود.

حالا این را با یک سبد خرید مقایسه کنید:

  • سبد خرید {سیب,پرتقال}\{ \text{سیب}, \text{پرتقال} \} با سبد {پرتقال,سیب}\{ \text{پرتقال}, \text{سیب} \} یکی است (این یک مجموعه است).
  • اما آدرس خانه شما در یک شهر: (خیابان ۵، کوچه ۲، پلاک ۱۰) یک سه‌تایی مرتب است. جابه‌جا کردن اعداد شما را به خانه شخص دیگری می‌برد!
flowchart TD
    subgraph S["مجموعه (Set)"]
        s1["{2, 5} = {5, 2}"]
        s2["ترتیب اهمیتی ندارد"]
        s3["تکرار عضو اثری ندارد: {2, 2, 5} = {2, 5}"]
    end
    subgraph T["لیست مرتب / چندتایی (Tuple)"]
        t1["(2, 5) ≠ (5, 2)"]
        t2["جایگاه و ترتیب مؤلفه‌ها حیاتی است"]
        t3["طول و تکرار حفظ می‌شود: (2, 2, 5) ≠ (2, 5)"]
    end
تمایز زوج‌های مرتب (2, 5) و (5, 2) در صفحه مختصات
  • نقطه A = (2, 5) دارای طول ۲ و عرض ۵ است.
  • نقطه B = (5, 2) دارای طول ۵ و عرض ۲ است.
  • این دو نقطه قرینه یکدیگر نسبت به خط نیمساز y = x هستند و نشان می‌دهند جابه‌جایی مؤلفه‌ها هویت نقطه را تغییر می‌دهد.
کد اصلی رسم
appName: classic
width: 700
height: 380
showToolBar: false
showAlgebraInput: true
showMenuBar: false
commands:
  - "A = (2, 5)"
  - "B = (5, 2)"
  - "O = (0, 0)"
  - "u = Vector(O, A)"
  - "v = Vector(O, B)"
  - "Pt1 = (6, 6)"
  - "line2 = Line(O, Pt1)"
caption: "تمایز زوج‌های مرتب (2, 5) و (5, 2) در صفحه مختصات"
explain:
  - "نقطه A = (2, 5) دارای طول ۲ و عرض ۵ است."
  - "نقطه B = (5, 2) دارای طول ۵ و عرض ۲ است."
  - "این دو نقطه قرینه یکدیگر نسبت به خط نیمساز y = x هستند و نشان می‌دهند جابه‌جایی مؤلفه‌ها هویت نقطه را تغییر می‌دهد."

۳. تعریف دقیق و فرمول‌بندی ریاضی

چندتایی مرتب (Tuple / List)

فرض کنید nn یک عدد صحیح نامنفی باشد. یک nn-تایی مرتب (یا لیستی به طول nn) از اعضای یک مجموعه SS، دنباله‌ای به شکل زیر است:

(x1,x2,…,xn)(x_1, x_2, \dots, x_n)

که در آن هر xj∈Sx_j \in S را مؤلفه jj-اُم (Coordinate / Entry) می‌نامند.

  • اگر n=2n=2 باشد: زوج مرتب (Ordered pair) مانند (x,y)(x, y).
  • اگر n=3n=3 باشد: سه‌تایی مرتب (Ordered triple) مانند (x,y,z)(x, y, z).
  • اگر n=0n=0 باشد: لیست خالی با طول صفر ()().
تساوی دو چندتایی مرتب

دو nn-تایی مرتب (x1,…,xn)(x_1, \dots, x_n) و (y1,…,ym)(y_1, \dots, y_m) با هم برابرند اگر و تنها اگر: ۱. طول آن‌ها برابر باشد (n=mn = m). ۲. نظیر به نظیر در تمامی مؤلفه‌ها یکسان باشند:

(x1,…,xn)=(y1,…,yn)  ⟺  ∀j∈{1,…,n}:xj=yj(x_1, \dots, x_n) = (y_1, \dots, y_n) \iff \forall j \in \{1, \dots, n\}: x_j = y_j
فضای Fn\mathbb{F}^n

مجموعه تمام nn-تایی‌های مرتب که مؤلفه‌های آن‌ها از میدان F\mathbb{F} (R\mathbb{R} یا C\mathbb{C}) باشند، با Fn\mathbb{F}^n نشان داده می‌شود:

Fn={(x1,x2,…,xn)∣x1,x2,…,xn∈F}\mathbb{F}^n = \{(x_1, x_2, \dots, x_n) \mid x_1, x_2, \dots, x_n \in \mathbb{F}\}

عملیات اساسی در Fn\mathbb{F}^n به صورت مؤلفه به مؤلفه (Component-wise) تعریف می‌شوند: ۱. جمع برداری:

(x1,…,xn)+(y1,…,yn)=(x1+y1,…,xn+yn)(x_1, \dots, x_n) + (y_1, \dots, y_n) = (x_1 + y_1, \dots, x_n + y_n)

۲. ضرب اسکالر:

c(x1,…,xn)=(cx1,…,cxn)(c∈F)c(x_1, \dots, x_n) = (cx_1, \dots, cx_n) \quad (c \in \mathbb{F})

۴. مثال‌های عددی گام‌به‌گام

مثال ۱: تفاوت‌های بنیادی لیست و مجموعه

۱. تساوی مجموعه‌ها:

{2,5}={5,2}={2,2,5}\{2, 5\} = \{5, 2\} = \{2, 2, 5\}

۲. عدم تساوی لیست‌ها:

(2,5)≠(5,2)(2, 5) \neq (5, 2)

چون مؤلفه اول سمت چپ ۲ است ولی مؤلفه اول سمت راست ۵ است (2≠52 \neq 5). ۳. تفاوت طول لیست‌ها:

(2,2,5)≠(2,5)(2, 2, 5) \neq (2, 5)

طول اولی ۳ است و طول دومی ۲.

مثال ۲: عملیات در فضای مختصاتی R3\mathbb{R}^3

فرض کنید دو بردار u=(1,−2,4)u = (1, -2, 4) و v=(3,0,−1)v = (3, 0, -1) در R3\mathbb{R}^3 داده شده باشند. مطلوب است محاسبه 2u−3v2u - 3v:

حل گام‌به‌گام: ۱. محاسبه 2u2u:

2u=2(1,−2,4)=(2(1),2(−2),2(4))=(2,−4,8)2u = 2(1, -2, 4) = (2(1), 2(-2), 2(4)) = (2, -4, 8)

۲. محاسبه 3v3v:

3v=3(3,0,−1)=(3(3),3(0),3(−1))=(9,0,−3)3v = 3(3, 0, -1) = (3(3), 3(0), 3(-1)) = (9, 0, -3)

۳. تفریق مؤلفه‌به‌مؤلفه:

2u−3v=(2−9,−4−0,8−(−3))=(−7,−4,8+3)=(−7,−4,11)2u - 3v = (2 - 9, -4 - 0, 8 - (-3)) = (-7, -4, 8 + 3) = (-7, -4, 11)

نتیجه یک ۳-تایی مرتب در R3\mathbb{R}^3 است.


۵. خطاهای رایج و دام‌های مفهومی

اشتباهات متداول

  • اشتباه ۱: استفاده از آکولاد به جای پرانتز: نوشتن بردار به شکل {x1,x2,…,xn}\{x_1, x_2, \dots, x_n\} اشتباه است! در جبر خطی، بردارها در Fn\mathbb{F}^n حتماً درون پرانتز یا کروشه نوشته می‌شوند تا تقدم و تاخر مؤلفه‌ها حفظ شود.
  • اشتباه ۲: جمع بردار با طول‌های مختلف: نمی‌توان بردار (1,2)∈R2(1, 2) \in \mathbb{R}^2 را با بردار (1,2,3)∈R3(1, 2, 3) \in \mathbb{R}^3 جمع کرد. عمل جمع فقط بین اعضای یک فضای هم‌طول تعریف شده است.
  • اشتباه ۳: اشتباه گرفتن بعد فضا با مقدار عددی اعضا: بردار (0,0,0,0)(0, 0, 0, 0) دارای مقدار صفر است، اما طول آن ۴ است؛ یعنی عضوی از فضای چهاربعدی F4\mathbb{F}^4 است، نه فضای صفر!

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

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

یادداشت‌هایی که از این صفحه به آن‌ها پیوند داده شده است.

  • تعریف ۸.۱ لیست و طول لیست
    پیش‌نمایش

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

    چکیده مفهومی

    یک لیست به طول nn (یا nn-تایی مرتب)، یک گردهمایی مرتب از nn شیء است که در آن «ترتیب قرارگیری» و «تکرار عناصر» اهمیت بنیادین دارد.


  • مثال ۹.۱ لیست‌ها در برابر مجموعه‌ها
    پیش‌نمایش

    مثال ۹.۱: مقایسه دقیق لیست در برابر مجموعه (Lists vs Sets)

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

    در لیست‌ها «ترتیب» و «تکرار» تعیین‌کننده هویت شیء هستند، در حالی که در مجموعه‌ها ترتیب عناصر کاملاً بی‌اثر بوده و تکرار عناصر نادیده گرفته می‌شود.


  • تعریف ۱۱.۱ فضای Fn و مختصات
    پیش‌نمایش

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

    چکیده مفهومی

    فضای Fn\mathbb{F}^n مجموعه تمام لیست‌های به طول nn است که عناصر آن‌ها از میدان اسکالرها F\mathbb{F} (یعنی R\mathbb{R} یا C\mathbb{C}) انتخاب شده‌اند؛ و به هر مؤلفه در این لیست، یک «مختصات» می‌گوییم.


  • مجموعه‌ها و نمادهای پایه ریاضی
    پیش‌نمایش

    پیش‌نیاز: مجموعه‌ها و نمادهای پایه ریاضی

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

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


  • اعداد مختلط از صفر تا صد
    پیش‌نمایش

    پیش‌نیاز: اعداد مختلط از صفر تا صد

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

    اعداد مختلط با ابداع عدد موهومی ii (به عنوان ریشه معادله x2=−1x^2 = -1) به وجود آمدند تا خط راست یک‌بعدی اعداد را به یک صفحه دوبعدی شگفت‌انگیز گسترش دهند، جایی که هر معادله چندجمله‌ای حتماً ریشه دارد و ضرب در ii تعبیری هندسی از دوران ۹۰ درجه در خلاف جهت عقربه‌های ساعت است.


نمایش ۳ مورد دیگرنمایش کمتر
  • تعبیر هندسی بردارها در صفحه و فضا
    پیش‌نمایش

    پیش‌نیاز: تعبیر هندسی بردارها در صفحه و فضا

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

    در دنیای هندسه و فیزیک دبیرستان، بردار یک «پیکان جهت‌دار» است که یک جابه‌جایی را با طول (اندازه) و راستا مشخص می‌کند؛ جمع بردارها با اتصال سر پیکان اول به ته پیکان دوم (قانون مثلث و متوازی‌الاضلاع) تعبیر می‌شود و ضرب اسکالر یعنی کشیدن، فشردن یا برعکس کردن جهت پیکان.


  • تعریف ۱۳.۱ جمع در Fn
    پیش‌نمایش

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

    چکیده مفهومی

    عمل جمع در Fn\mathbb{F}^n به صورت «مؤلفه به مؤلفه» تعریف می‌شود؛ از دیدگاه هندسی در R2\mathbb{R}^2 و R3\mathbb{R}^3، این عمل همان جابه‌جایی متوالی یا قانون متوازی‌الأضلاع است.


  • MOC پیش‌نیازهای ریاضی
    پیش‌نمایش

    🧱 نقشه راه پیش‌نیازهای ریاضی (Prerequisites MOC)

    پلی میان ریاضیات دبیرستان و جبر خطی آکسلر

    کتاب شلدون آکسلر فرض می‌کند دانشجو با مفاهیم پایه‌ای جبر و مجموعه‌ها آشنایی دارد. برای اینکه هیچ جایی احساس سردرگمی نکنید، تمامی مفاهیم ضروری در این ۱۱ یادداشت اتمیک با زبانی روان، همراه با مثال‌های ساده توضیح داده شده‌اند.


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

یادداشت‌هایی که به این صفحه پیوند داده‌اند.

نمایش ۱ مورد دیگرنمایش کمتر

حالت ارائه