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

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

تعریف ۲۰.۱ کتاب آکسلر: فضای برداری

یک فضای برداری (Vector Space) مجموعه‌ای مانند $V$ است به همراه یک عمل جمع روی $V$ و یک عمل ضرب اسکالر روی $V$، به طوری که ویژگی‌های زیر برای همه اعضای $u, v, w \in V$ و همه اسکالرهای $a, b \in \mathbb{F}$ برقرار باشند:

۱. جابه‌جایی در جمع (Commutativity):

$$u + v = v + u$$

۲. شرکت‌پذیری در جمع (Associativity of Addition):

$$(u + v) + w = u + (v + w)$$

۳. شرکت‌پذیری در ضرب اسکالر (Associativity of Scalar Multiplication):

$$(ab)v = a(bv)$$

۴. عضو همانی جمعی (Additive Identity): عنصری به نام $0 \in V$ وجود دارد به طوری که برای هر $v \in V$:

$$v + 0 = v$$

۵. وارون جمعی یا عضو قرینه (Additive Inverse): برای هر $v \in V$، عنصری مانند $w \in V$ وجود دارد به طوری که:

$$v + w = 0$$

۶. همانی ضرب اسکالر (Multiplicative Identity): برای هر $v \in V$:

$$1v = v$$

(که در آن $1$ عدد یک در میدان اسکالرهاست)

۷. توزیع‌پذیری اسکالر روی جمع بردارها (Distributivity I):

$$a(u + v) = au + av$$

۸. توزیع‌پذیری جمع اسکالرها روی بردار (Distributivity II):

$$(a + b)v = av + bv$$

مثال‌های درخشان از فضاهای برداری

۱. فضای اقلیدسی $\mathbb{R}^n$: فضای تمام $n$-تایی‌های مرتب با جمع و ضرب مؤلفه‌ای. ۲. فضای چندجمله‌ای‌ها $\mathcal{P}(\mathbb{F})$: چندجمله‌ای‌ها با جمع عادی و ضرب عدد در ضرایب. ۳. فضای توابع پیوسته $C[a, b]$: توابع با مقادیر حقیقی روی بازه $[a, b]$. ۴. فضای ماتریس‌های $m \times n$: ماتریس‌ها با جمع درایه‌به‌درایه. ۵. فضای صفر $\{0\}$: کوچک‌ترین فضای برداری ممکن که فقط شامل یک بردار است.

غیرمثال (نقض اصول): مجموعه‌ای که فضای برداری نیست

فرض کنید $V = \mathbb{R}^2$ باشد با جمع معمولی، اما ضرب اسکالر را به این صورت عجیب تعریف کنیم:

$$a(x, y) = (ax, 0)$$

آیا این یک فضای برداری است؟ بررسی اصل همانی ضربی ($1v = v$): برای بردار $v = (2, 5)$ داریم:

$$1(2, 5) = (1 \cdot 2, 0) = (2, 0) \neq (2, 5)$$

مشاهده می‌کنید که اصل $1v = v$ نقض شد! پس با این ضرب اسکالر عجیب، $V$ فضای برداری نیست.