پایه (جبر خطی)

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

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

تعریف 
زیرمجموعهٔ  از بردارهای فضای برداری  را پایهٔ  می‌نامیم اگر دو خاصیت زیر را داشته باشد:

  مستقل خطی باشد. به عبارتی دیگر عناصر  ترکیب خطی یکدیگر نباشند.
  مولد  باشد: . به بیان دیگر هر عنصر  یک ترکیب خطی از عناصر  باشد.

از این خواص نتیجه می‌شود که می‌توان هر عنصری از  را به صورت یک ترکیب خطی یکتا از عناصر  نوشت. در نتیجه این دو تعریف با یکدیگر معادل اند.

نتایج و قضایا

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

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

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

قضیه مجموعه مستقل خطی 
اگر  یک مجموعهٔ مستقل خطی در فضای  باشد (ولی لزوماً مولد نباشد)، مجموعهٔ بزرگتر  وجود دارد که پایهٔ  باشد.

چنین مجموعه‌ای را می‌توان با چند عمل گسترش پیدا کرد. به خاطر عمل گسترش و حذف در قضیهٔ قبل به این دو قضیه «قضیهٔ استخراج پایه» و «قضیهٔ توسعه به پایه» نیز می‌گویند.

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

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

اگر  زیرفضای  باشد .

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

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

دستگاه مختصات 

طبق تعریف، یک فضای برداری با نام فرضی  به صورت  تعریف می‌شود که در آن  مجموعهٔ تمام بردارهای فضای  است. توجه کنید که در بیشتر موارد خود فضا () نامگذاری نمی‌شود و به جایش برای اشاره به آن از عبارت «فضای » استفاده می‌کنیم.

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

اگر  پایهٔ فضای  باشد، هر بردار  را می‌توان به صورت یک ترکیب خطی یکتا از عناصر  نوشت: 

ضرایب این ترکیب خطی را مختصاتِ بردار  (نسبت به پایهٔ ) می‌نامیم: 

نمایش این ضرایب در یک -تایی مرتب را بردار مختصاتیِ  (نسبت به پایهٔ ) می‌نامیم و آن را با  نمایش می‌دهیم: 

تابع نمایش استانداردِ  (نسبت به پایهٔ ) به صورت  تعریف می‌شود. تبدیل خطی  نگاشت مختصاتی  به  (نسبت به پایهٔ ) است ().

به «فضای » فضای مختصاتیِ  می‌گوییم. میدان  معمولاً اعداد حقیقی فرض می‌شود:

مثال 
اگر  مجموعهٔ تمام چندجمله‌ای‌های با درجهٔ حداکثر ۲ باشد و  باشد،  یک بردار با مختصات  در فضای  است و بردار مختصاتی آن ، یک بردار اقلیدسی در فضای سه‌بعدی خواهد بود. تابع نمایش استاندارد  را یک نگاشت مختصاتی می‌نامیم.

پایه استاندارد 

در فضای اقلیدسی دوبعدی دو بردار پایهٔ استاندارد  و  پایهٔ استاندارد فضا را تشکیل می‌دهند.

در فضای اقلیدسی سه‌بعدی سه بردار پایهٔ استاندارد  و  و  پایهٔ استاندارد فضا را تشکیل می‌دهند.

در فضای اقلیدسی بعدی پایهٔ استاندارد فضا متشکل از  بردار پایه  و ... و  است.

پایه‌های استاندارد یکه و بر یکدیگر عمود (یا یکامتعامد) هستند.

با داشتن یک پایهٔ دلخواه از یک فضای برداری، به کمک الگوریتم گرام اشمیت می‌توان یک پایهٔ یکامتعامد برای آن فضا پیدا کرد.

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

منابع 

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

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

اصل موضوع انتخاب
جبر خطی
مقالات شامل اثبات