فضای برداری

در ریاضیات، فیزیک، و مهندسی، فضای برداری (یا فضای خطی) (به انگلیسی: Vector Space) به مجموعه‌ای از اشیاء به‌نام بردار گفته می‌شود که روی آنها دو عمل «جمع» و «ضرب اسکالر در بردار» تعریف شده‌باشد. این اسکالر معمولاً عددی حقیقی است، اما در حالت کلی می‌توان آن را عضو هر میدانی مانند اعداد مختلط در نظر گرفت. این دو عمل باید طوری تعریف شده باشند که چند قاعده یا اصل موضوع را برآورند. برای مشخص کردن این‌که اسکالر ضرب نرده‌ای، حقیقی‌ست یا مختلط، از عبارت‌های فضای برداری حقیقی یا فضای برداری مختلط استفاده می‌شود.

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

در حالت کلی، بردارهای یک فضای برداری لزوماً یک بردار اقلیدسی نیستند پس لزوماً با فلش نمایش داده نمی‌شوند. به عبارت دیگر، بردار یک چیز انتزاعی است و تنها گاهی می‌توان آنها را با پیکان (فلش) نمایش داد.

فضاهای برداری در ریاضیات، علم و مهندسی، گسترده استفاده می‌شوند. در جبر خطی، از فضای برداری در کار با دستگاه‌های معادلات خطی استفاده می‌شوند. همچنین از فضاهای برداری برای حل معادلات دیفرانسیل با مشتقات جزئی و بسط فوریه استفاده می‌شود. 

فضای برداری، سنگ بنایی برای تعمیم به چیزهای هندسی و فیزیکی کلی‌تر، مانند ماتریس و تنسورها هستند.

تعریف 
یک فضای برداری  روی یک میدان اسکالر  (مانند میدان اعداد حقیقی ) یک مجموعه از بردارها  به‌همراه دو عمل جمع و ضرب اسکالر است.

 مجموعهٔ  ناتهی است.
 عمل جمع  یک عمل دوتایی روی دو بردار از  است.
 عمل ضرب  یک عمل دوتایی بین یک بردار از  و یک اسکالر از  است. ضرب در اسکالر، نباید با ضرب داخلی اشتباه شود، در ضرب داخلی دو بردار در هم ضرب می‌شوند و یک اسکالر به دست می‌آید، درحالی‌که در ضرب اسکالر، یک بردار در یک اسکالر ضرب می‌شود و یک بردار جدید به دست می‌آید.

اصول موضوعی 
به ازای هر بردار  و  و  از مجموعهٔ  و هر اسکالر  و  از میدان  باید ده اصل موضوعی زیر رعایت شوند تا بتوان آنها را فضای برداری تعریف کرد:

جمع و ضرب عملگر هستند و طبق تعریف عملگر، بسته بودن جزو قواعد آنها هست. در نتیجه دو قاعدهٔ ابتدایی در مورد بسته بودن تکراری است و در کتاب‌های منبع جدیدتر نوشته نمی‌شوند.

نتایج 
از اصول یادشده می‌توان به نتایج زیر رسید:

 عنصر همانی یکتا است.
 وارون جمع هر برداری یکتا است.

پوچساز 
هرگاه  فضایی برداری باشد بر میدان  و  زیرمجموعه‌ای از  باشد، در این صورت پوچساز  عبارتست از تابعک‌های خطی  روی  که به ازای هر  در  داریم . پوچساز را با  نشان می‌دهند.

در واقع داریم:

جستارهای وابسته 
 زیرفضای خطی
 استقلال خطی
 پوشش خطی (اسپن)
 پایه (جبر خطی)
 بعد (فضای برداری)
 تحلیل مولفه‌های اصلی
 میدان برداری
 نرم‌ها

فضاهای برداری با ساختار بیشتر 

 فضای اقلیدسی
 فضای هیلبرت
 فضای متریک کامل
 فضای ضرب داخلی
 فضای برداری نرم‌دار
 فضای متریک
 فضای برداری توپولوژیکی

منابع 

 جبر خطّی عددی (انگلیسی)
 مقدمه‌ای بر ریاضیات کاربردی (انگلیسی)
 فضای برداری

 Strang, Gilbert (۱۹ ژوئیه ۲۰۰۵), Linear Algebra and Its Applications (4th ed.), Brooks Cole, 
 

بردارها
جبر خطی
جبر مجرد
ساختارهای ریاضیاتی
فضاهای برداری
مفاهیم فیزیکی
نظریه گروه‌ها