رفتن به متن
باغ ریاضی
اعداد حقیقی و اصول جبری
تنظیمات مطالعه
تنظیمات مطالعه

اعداد حقیقی و اصول جبری

#پیش‌نیاز#جبر_پایه#جبر_خطی#اعداد_حقیقی#ساختار_جبرینسخهٔ رسمی

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

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

پیش‌نیاز: اعداد حقیقی و اصول جبری

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

حساب اعداد حقیقی بر پایه چند قانون ساده و تغییرناپذیر (مانند جابه‌جایی، شرکت‌پذیری و وجود عضو خنثی و قرینه) بنا شده است؛ درک این قوانین به عنوان «اصول موضوعه» کلید ورود به جبر مجرد و فهم دلیل فرمول‌بندی ۱۰ گانه فضای برداری در کتاب آکسلر است.

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

  • چرا این مفهوم را در کتاب آکسلر ندیده‌ایم اما به آن نیاز داریم؟ در دبیرستان، جمع و ضرب اعداد را به صورت غریزی و حفظی انجام می‌دادیم: می‌دانستیم 2+3=3+22 + 3 = 3 + 2 یا 0×x=00 \times x = 0. اما شلدون آکسلر در تعریف ۲۰.۱ (فضای برداری) دقیقاً همین رفتارها را برمی‌دارد و می‌گوید: «هر مجموعه‌ای از اشیاء (حتی اگر فلش، ماتریس یا تابع باشند) که این رفتارها را تقلید کنند، یک فضای برداری است!» علاوه بر این، در بخش‌های پایانی بخش دوم فصل ۱ (قضایای ۲۹.۱ تا ۳۱.۱)، آکسلر قضایایی مانند 0v=00v = 0 و (−1)v=−v(-1)v = -v را اثبات می‌کند. دانشجوی ناآشنا تعجب می‌کند: «مگر ضرب صفر در هر چیز بدیهی نیست؟ چرا باید اثبات شود؟» پاسخ این است که در جبر دانشگاهی، هیچ چیز بدیهی نیست؛ هر گزاره‌ای باید از اصول موضوعه استنتاج شود.
  • مفاهیم متصل در کتاب:

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

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

در اعداد حقیقی (R\mathbb{R}) نیز دو عمل اساسی داریم: جمع (++) و ضرب (⋅\cdot). این دو عمل از ۵ جفت قانون بنیادی پیروی می‌کنند:

  1. بسته بودن: وقتی دو عدد حقیقی را جمع یا ضرب می‌کنید، حاصل از دنیای اعداد حقیقی بیرون نمی‌افتد.
  2. جابه‌جایی: ترتیب ورود اعضا تفاوتی ایجاد نمی‌کند (a+b=b+aa + b = b + a).
  3. شرکت‌پذیری: پرانتزبندی و تقدم محاسبه تاثیری در جواب ندارد (a+(b+c)=(a+b)+ca + (b + c) = (a + b) + c).
  4. عضو خنثی (همانی): عددی که کاری به کار بقیه ندارد (صفر برای جمع، یک برای ضرب).
  5. عضو وارون: عنصری که عملیات را به حالت خنثی بازمی‌گرداند (قرینه −a-a برای جمع، معکوس 1a\frac{1}{a} برای ضرب). و در نهایت، پلی که این دو بازی را به هم متصل می‌کند: خاصیت توزیع‌پذیری (پخش).
graph TD
    R["اصول جبری اعداد حقیقی (ℝ)"]
    R --> Add["اصول جمع (+)"]
    R --> Mul["اصول ضرب (·)"]
    R --> Dist["اصل توزیع‌پذیری<br>a·(b + c) = a·b + a·c"]
    
    Add --> A1["بستگی"]
    Add --> A2["جابه‌جایی: a+b = b+a"]
    Add --> A3["شرکت‌پذیری: (a+b)+c = a+(b+c)"]
    Add --> A4["عضو خنثی: a+0 = a"]
    Add --> A5["عضو قرینه: a+(-a) = 0"]
    
    Mul --> M1["بستگی"]
    Mul --> M2["جابه‌جایی: a·b = b·a"]
    Mul --> M3["شرکت‌پذیری: (a·b)·c = a·(b·c)"]
    Mul --> M4["عضو خنثی: a·1 = a"]
    Mul --> M5["عضو معکوس: a·(1/a) = 1 (a≠0)"]

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

اصول موضوعه جبری اعداد حقیقی (R\mathbb{R})

به ازای هر سه عدد حقیقی a,b,c∈Ra, b, c \in \mathbb{R}، اصول زیر بدون اثبات پذیرفته می‌شوند:

اصول جمع (++)

۱. بستگی: a+b∈Ra + b \in \mathbb{R} ۲. جابه‌جایی (Commutativity):

a+b=b+aa + b = b + a

۳. شرکت‌پذیری (Associativity):

(a+b)+c=a+(b+c)(a + b) + c = a + (b + c)

۴. عضو خنثی جمعی (Additive Identity): عددی یکتا به نام 00 وجود دارد به طوری که:

a+0=aa + 0 = a

۵. عضو وارون جمعی / قرینه (Additive Inverse): به ازای هر aa، عددی به نام −a-a وجود دارد به طوری که:

a+(−a)=0a + (-a) = 0

اصول ضرب (⋅\cdot)

۶. بستگی: a⋅b∈Ra \cdot b \in \mathbb{R} ۷. جابه‌جایی (Commutativity):

a⋅b=b⋅aa \cdot b = b \cdot a

۸. شرکت‌پذیری (Associativity):

(a⋅b)⋅c=a⋅(b⋅c)(a \cdot b) \cdot c = a \cdot (b \cdot c)

۹. عضو خنثی ضربی (Multiplicative Identity): عددی یکتا به نام 11 (1≠01 \neq 0) وجود دارد به طوری که:

a⋅1=aa \cdot 1 = a

۱۰. عضو وارون ضربی / معکوس (Multiplicative Inverse): به ازای هر a≠0a \neq 0، عددی به نام a−1=1aa^{-1} = \frac{1}{a} وجود دارد به طوری که:

a⋅a−1=1a \cdot a^{-1} = 1

اصل پیونددهنده: توزیع‌پذیری (Distributivity)

a⋅(b+c)=a⋅b+a⋅ca \cdot (b + c) = a \cdot b + a \cdot c
تعبیر هندسی توزیع‌پذیری مساحت مستطیل: a(b + c) = ab + ac
  • مستطیل اول با ابعاد 2 در 3 دارای مساحت ab = 6 است.
  • مستطیل دوم با ابعاد 2 در 1.5 دارای مساحت ac = 3 است.
  • مستطیل کل با ابعاد 2 در 4.5 دارای مساحت a(b + c) = 9 است که برابری جبری را به وضوح به تصویر می‌کشد.
کد اصلی رسم
appName: classic
width: 700
height: 380
showToolBar: false
showAlgebraInput: true
showMenuBar: false
commands:
  - "a = 2"
  - "b = 3"
  - "c = 1.5"
  - "Polygon((0, 0), (b, 0), (b, a), (0, a))"
  - "Polygon((b, 0), (b + c, 0), (b + c, a), (b, a))"
caption: "تعبیر هندسی توزیع‌پذیری مساحت مستطیل: a(b + c) = ab + ac"
explain:
  - "مستطیل اول با ابعاد 2 در 3 دارای مساحت ab = 6 است."
  - "مستطیل دوم با ابعاد 2 در 1.5 دارای مساحت ac = 3 است."
  - "مستطیل کل با ابعاد 2 در 4.5 دارای مساحت a(b + c) = 9 است که برابری جبری را به وضوح به تصویر می‌کشد."

۴. نمونه اثبات گام‌به‌گام بر پایه اصول (مدل کتاب آکسلر)

برای اینکه ببینید آکسلر چگونه قضایا را اثبات می‌کند، بیایید یک واقعیت بسیار ساده دبیرستانی را تنها با استفاده از این اصول اثبات کنیم:

قضیه: چرا ضرب هر عدد در صفر، صفر می‌شود؟ (a⋅0=0a \cdot 0 = 0)

هدف: اثبات اینکه برای هر a∈Ra \in \mathbb{R} داریم a⋅0=0a \cdot 0 = 0.

اثبات گام‌به‌گام: ۱. می‌دانیم که صفر عضو خنثی جمع است، بنابراین:

0+0=00 + 0 = 0

۲. دو طرف تساوی بالا را در عدد aa ضرب می‌کنیم:

a⋅(0+0)=a⋅0a \cdot (0 + 0) = a \cdot 0

۳. در سمت چپ از خاصیت توزیع‌پذیری استفاده می‌کنیم:

a⋅0+a⋅0=a⋅0a \cdot 0 + a \cdot 0 = a \cdot 0

۴. سمت راست تساوی را با عضو خنثی جمع بازنویسی می‌کنیم (x=x+0x = x + 0):

a⋅0+a⋅0=a⋅0+0a \cdot 0 + a \cdot 0 = a \cdot 0 + 0

۵. اکنون به هر دو سمت، وارون جمعی عبارت a⋅0a \cdot 0 یعنی −(a⋅0)-(a \cdot 0) را اضافه می‌کنیم:

(a⋅0+a⋅0)+(−(a⋅0))=(a⋅0+0)+(−(a⋅0))(a \cdot 0 + a \cdot 0) + (-(a \cdot 0)) = (a \cdot 0 + 0) + (-(a \cdot 0))

۶. با استفاده از شرکت‌پذیری و جابه‌جایی:

a⋅0+[a⋅0+(−(a⋅0))]=0+[a⋅0+(−(a⋅0))]a \cdot 0 + [a \cdot 0 + (-(a \cdot 0))] = 0 + [a \cdot 0 + (-(a \cdot 0))]

a⋅0+0=0+0a \cdot 0 + 0 = 0 + 0

a⋅0=0a \cdot 0 = 0

نتیجه: حکم با موفقیت و بدون هیچ فرضیه اضافی اثبات شد! در فصل اول آکسلر خواهید دید که اثبات 0v=00v = 0 برای بردارها دقیقاً کپی مو‌به‌موی همین مراحل است.

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

اشتباهات متداول در اصول جبری

  • اشتباه ۱: تصور اینکه همه ساختارهای جبری جابه‌جایی هستند: در اعداد حقیقی a⋅b=b⋅aa \cdot b = b \cdot a برقرار است. اما در ضرب ماتریس‌ها (AB≠BAAB \neq BA) یا در ترکیب توابع (f∘g≠g∘ff \circ g \neq g \circ f) جابه‌جایی به هیچ وجه برقرار نیست! به همین دلیل در جبر خطی باید نسبت به ترتیب ضرب‌ها بی‌نهایت حساس باشید.
  • اشتباه ۲: تقسیم بر صفر: اصل دهم صراحتاً شرط می‌گذارد که a≠0a \neq 0. اگر صفر معکوس ضربی داشت، تناقض ریاضی 1=01 = 0 حاصل می‌شد.
  • اشتباه ۳: اشتباه گرفتن عضو خنثی با عضو جاذب: عضو خنثی عددی است که تاثیری روی عدد دیگر ندارد (a+0=aa + 0 = a و a⋅1=aa \cdot 1 = a). اما صفر در ضرب عضو جاذب (Absorbing) است (a⋅0=0a \cdot 0 = 0).

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

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

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

  • ویژگی‌های ۳.۱ ویژگی‌های حساب مختلط
    پیش‌نمایش

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

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

    مجموعه اعداد مختلط C\mathbb{C} تحت دو عمل جمع و ضرب، تمامی خواص جبری بنیادین حاکم بر اعداد حقیقی را داراست و تشکیل یک ساختار جبری کامل به نام میدان (Field) می‌دهد.

  • تعریف ۲۰.۱ فضای برداری
    پیش‌نمایش

    تعریف ۲۰.۱: فضای برداری (Vector Space)

    چکیده مفهومی به زبان ساده

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

  • قضیه ۲۶.۱ یکتایی همانی جمعی
    پیش‌نمایش

    قضیه ۲۶.۱: یکتایی عضو همانی جمعی (Unique Additive Identity)

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

    در هر فضای برداری، فقط و فقط یک بردار صفر وجود دارد؛ هیچ فضایی نمی‌تواند دو یا چند عضو خنثای جمع متفاوت داشته باشد.

  • میدان‌ها به زبان ساده (چرا نماد F)
    پیش‌نمایش

    پیش‌نیاز: میدان‌ها به زبان ساده (چرا نماد F)

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

    «میدان» (Field) به زبان ساده یعنی یک زمین‌بازی عددی کامل که در آن هر چهار عمل اصلی ریاضی (جمع، تفریق، ضرب و تقسیم به جز تقسیم بر صفر) همیشه امکان‌پذیر و مجاز است؛ شلدون آکسلر از نماد اختصاری F\mathbb{F} استفاده می‌کند تا هر زمان قضیه‌ای برای هر دو دنیای اعداد حقیقی (R\mathbb{R}) و اعداد مختلط (C\mathbb{C}) برقرار بود، مجبور نباشد آن را دو بار بنویسد!

  • روابط و توابع - یک‌به‌یک، پوشا و دوسویی
    پیش‌نمایش

    پیش‌نیاز: روابط و توابع - یک‌به‌یک، پوشا و دوسویی

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

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

نمایش ۱ مورد دیگرنمایش کمتر
  • MOC پیش‌نیازهای ریاضی
    پیش‌نمایش

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

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

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

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

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

حالت ارائه