محصولات
حاصلضرب دو تبدیل خطی و ، ، با معادله تعریف میشود.
مفهوم ضرب برای تمام مطالب پیشرو بنیادین است. پیش از ارائه هرگونه مثال برای توضیح معنای حاصلضرب تبدیلها، بیایید پیامدهای نمادگذاری را بررسی کنیم. گفتن اینکه یک تبدیل است، البته به این معناست که با فرض یک بردار ، کاری روی آن انجام میدهد. کاری که انجام میدهد با عمل کردن روی توسط ، یعنی یافتن ، و سپس عمل کردن روی نتیجه توسط مشخص میشود. به عبارت دیگر، اگر به نماد یک تبدیل به عنوان دستورالعملی برای انجام یک عمل خاص نگاه کنیم، آنگاه نماد حاصلضرب دو تبدیل باید از راست به چپ خوانده شود. ترتیب تبدیل توسط به معنای تبدیل ابتدا توسط و سپس توسط است. این ممکن است به نظر برسد که هیاهوی بیش از حدی برای یک نکته کوچک است؛ با این حال، همانطور که به زودی خواهیم دید، ضرب تبدیلها به طور کلی جابجاییپذیر نیست و ترتیبی که در آن تبدیل میکنیم تفاوت زیادی ایجاد میکند.
مشهورترین مثال از جابجاییناپذیری در فضای یافت میشود. ما تبدیلهای مشتقگیری و ضرب و را در نظر میگیریم که با و تعریف میشوند؛ داریم و به عبارت دیگر، نه تنها این گزاره که نادرست است (به طوری که )، بلکه در واقع، برای هر برقرار است، به طوری که .
بر اساس مثالهای بخش: تبدیلهای خطی ، خواننده باید بتواند مثالهای بسیاری از جفت تبدیلهای جابجاییناپذیر بسازد. کسانی که به تفکر هندسی درباره تبدیلهای خطی عادت دارند، میتوانند به عنوان مثال، به راحتی خود را متقاعد کنند که حاصلضرب دو دوران در (حول مبدأ) به طور کلی به ترتیبی که انجام میشوند بستگی دارد.
بیشتر خواص جبری صوری ضرب عددی (با استثنای قابل توجه جابجاییپذیری که قبلاً ذکر شد) در جبر تبدیلها معتبر هستند. بنابراین داریم
اثبات تمام این اتحادهای جبری پیامدهای بیواسطه تعاریف جمع و ضرب هستند؛ برای توضیح این اصل، ما (3)، یکی از قوانین توزیعپذیری را اثبات میکنیم. اثبات شامل محاسبه زیر است: