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

۱. انگیزه و ضرورت نمادگذاری $\mathbb{F}$

بخش عمده‌ای از قضایای پایه‌ای جبر خطی وابسته به این نیست که اعداد ما حقیقی هستند یا مختلط. به عنوان مثال، اصول جمع بردارها، ترکیب‌های خطی، استقلال خطی و ماتریس‌ها در هر دو حالت ساختاری کاملاً یکسان دارند.

اگر قرار بود برای تک‌تک این قضایا دو بار گزاره بنویسیم (یک بار برای $\mathbb{R}$ و بار دیگر برای $\mathbb{C}$)، حجم کتاب دو برابر و یکنواخت می‌شد. بنابراین شلدون آکسلر از حرف اختصاری $\mathbb{F}$ (برگرفته از واژه Field به معنای میدان) استفاده می‌کند.

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

۳. کالبدشکافی اصطلاحات و قوانین توان

• چرا واژه «اسکالر»؟ واژه اسکالر (در فارسی: نرده‌ای، مقیاسی یا عددی) در حقیقت یک اصطلاح رسمی و فنی برای «عدد» است. دلیل استفاده مکرر از این واژه، تمایز قاطع میان اعداد (عناصر $\mathbb{F}$) و بردارها (عناصر فضا‌های برداری) است. اسکالرها مقیاس‌دهنده هستند؛ یعنی وقتی یک بردار را در یک اسکالر ضرب می‌کنیم، طول آن مقیاس‌بندی (Scale) می‌شود.

• توان‌های صحیح مثبت در $\mathbb{F}$: برای هر $\alpha \in \mathbb{F}$ و هر عدد صحیح مثبت $m \in \mathbb{Z}^+$، توان $\alpha^m$ به صورت حاصل‌ضرب $\alpha$ در خودش به تعداد $m$ بار تعریف می‌شود:

  $$\alpha^m = \underbrace{\alpha \cdot \alpha \cdots \alpha}_{m \text{ بار}}$$

  این تعریف بی‌درنگ نتایج آشنای زیر را برای همه $\alpha, \beta \in \mathbb{F}$ و $m, n \in \mathbb{Z}^+$ به همراه دارد:

  $$(\alpha^m)^n = \alpha^{mn} \quad \text{و} \quad (\alpha\beta)^m = \alpha^m \beta^m$$

۴. نگاه عمیق‌تر: ساختار مجرد میدان (A Discourse on Fields)

در انتهای این بخش، آکسلر تعریفی کلی از مفهوم «میدان» ارائه می‌دهد:

نمونه‌هایی از میدان‌ها:

1. میدان اعداد گویا $\mathbb{Q}$.
2. میدان اعداد حقیقی $\mathbb{R}$.
3. میدان اعداد مختلط $\mathbb{C}$.
4. میدان متناهی دو عنصری $\mathbb{Z}_2 = \{0, 1\}$ با شرط $1 + 1 = 0$.

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

• پیش‌نیاز: تعریف ۱.۱: اعداد مختلط C | ویژگی‌های ۳.۱: ویژگی‌های حساب مختلط
• گام بعدی (پایه‌گذاری فضاها): ساخت فضاهای هندسی در مثال ۷.۱: فضاهای R2 و R3 و تعریف عمومی فضای تعریف ۱۱.۱: فضای Fn و مختصات