فضای برداری
فضای برداری مجموعهای است که عناصر آن را میتوان با هم جمع کرد و در عناصر یک میدان مقیاسبندی کرد. این مفهوم، شیء اصلی جبر خطی و مدل ساختار خطی در سراسر ریاضیات است.
Definition
فضای برداری روی یک میدان، یک گروه آبلی از بردارها است به همراه یک ضرب اسکالر توسط عناصر میدان که اصول توزیعپذیری، شرکتپذیری و واحد را برآورده میکند و این دو عملیات را سازگار میسازد.
Scope
این موضوع شامل اصول موضوعه فضای برداری، زیرفضاها، استقلال خطی، مجموعههای مولد، پایهها و بعد، مختصات، جمع مستقیم و فضاهای خارجقسمتی، و فضاهای دوگانه است. این مباحث چارچوبی را فراهم میکنند که در آن تبدیلهای خطی و ماتریسها مورد مطالعه قرار میگیرند.
Core questions
- چه اصول موضوعهای یک مجموعه را به فضای برداری تبدیل میکند؟
- پایه چیست و چرا هر فضای برداری یک پایه دارد؟
- چرا بعد یک ناوردا (invariant) خوشتعریف برای فضای برداری است؟
- چگونه زیرفضاها، جمعهای مستقیم و فضاهای خارجقسمتی یک فضای برداری را تجزیه میکنند؟
Key theories
- وجود پایه
- هر فضای برداری دارای یک پایه است، یک مجموعه مولد مستقل خطی، به طوری که هر بردار یک ترکیب خطی متناهی و منحصر به فرد از بردارهای پایه است؛ در حالت متناهیبعدی این امر از استدلالهای تبادلی ابتدایی نتیجه میشود.
- ناوردایی بعد
- هر دو پایه از یک فضای برداری دارای کاردینالیته یکسانی هستند، بنابراین بعد یک ناوردا خوشتعریف است که فضاهای برداری را روی یک میدان ثابت تا حد یکریختی (isomorphism) طبقهبندی میکند.
- زیرفضاها، خارجقسمتها و فضاهای دوگانه
- زیرفضاها، جمعهای مستقیم، فضاهای خارجقسمتی و فضای دوگانه از تابعیهای خطی، ساختارهای اساسی هستند که فضاهای برداری را میسازند و تحلیل میکنند و زیربنای نظریه نگاشتهای خطی را تشکیل میدهند.
Clinical relevance
فضاهای برداری طیف وسیعی از پدیدهها را مدلسازی میکنند: مجموعههای جواب معادلات خطی و معادلات دیفرانسیل، فضاهای تابع در آنالیز، فضاهای حالت در مکانیک کوانتومی، و فضاهای ویژگی در علم داده و یادگیری ماشین، همگی فضاهای برداری هستند که جبر خطی را به طور جهانی قابل کاربرد میسازند.
History
گراسمان در سال ۱۸۴۴ یک حساب انتزاعی از کمیتهای تعمیمیافته را معرفی کرد که پیشدرآمد فضاهای برداری بود، و پئانو در سال ۱۸۸۸ یک تعریف اصول موضوعهای ارائه داد. این مفهوم در قرن بیستم استاندارد شد، با فضاهای بینهایتبعدی که توسط هیلبرت و باناخ در آنالیز تابعی توسعه یافتند.
Key figures
- Hermann Grassmann
- Giuseppe Peano
- David Hilbert
- Stefan Banach
Related topics
Seminal works
- hoffman1971
- roman2008
- lang2002
Frequently asked questions
- آیا هر فضای برداری یک پایه دارد؟
- بله. فضاهای متناهیبعدی با استدلالهای ابتدایی دارای پایه هستند، و فضاهای برداری دلخواه با فرض اصل انتخاب دارای پایه هستند. یک پایه به هر بردار اجازه میدهد تا به طور منحصر به فرد به عنوان ترکیبی از بردارهای پایه نوشته شود.
- فضای برداری چه تفاوتی با یک مدول دارد؟
- فضای برداری یک مدول است که اسکالرهای آن از یک میدان میآیند. روی یک میدان، هر مدول دارای پایه است و به طور یکنواخت رفتار میکند؛ روی یک حلقه عمومی این امر صادق نیست، که این تفاوت نظریه مدول را از جبر خطی متمایز میکند.