لم تبادل اشتاینیتس

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

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

کاربردها 
لم تبادل اشتاینیتس یک نتیجه اساسی در ریاضیات محاسباتی، به ویژه در جبر خطی و الگوریتم‌های ترکیبیاتی است.

منابع 

 Julio R. Bastida, Field extensions and Galois Theory, Addison–Wesley Publishing Company (1984).

پیوندهای بیرونی
 اثبات سیستم میزار: http://mizar.org/version/current/html/vectsp_9.html#T19

جبر خطی
نظریه میتروید