موضوع مقاله: دوبردار | مخاطب: عمومی | لحن: دانشنامه‌ای | ساختار: عنوان، مقدمه، 3 بخش، جمع‌بندی | مقاله: | # دوبردار | مقدمه: در ریاضیات، دوبُردار یا «۲-بردار» کمیتی در جبر خارجی یا جبر هندسی است که مفهوم اسکالرها و بردارهای اقلیدسی را گسترش می‌دهد. | ## بخش 1: دوبردار | اگر اسکالر را کمیتی از درجهٔ صفر و بردار را از درجهٔ یک در نظر بگیریم، دوبردار کمیتی از درجهٔ دو است. آن‌ها در دو بُعد با اعداد مختلط مرتبط‌اند و در سه بُعد با شبه‌بردار‌ها و چهارگان‌های برداری. از دوبردارها می‌توان برای تولید دوران در فضایی با هر تعداد بُعد استفاده کرد، و ابزاری مفید برای طبقه‌بندی این دوران‌ها به‌شمار می‌آیند. از دید هندسی، یک دوبردار ساده را می‌توان نمایان‌گر یک «بُرش صفحه‌ای جهت‌دار» (یا «بُرش صفحه‌ای هم‌سویافته») دانست، همان‌طور که بردار اقلیدسی را می‌توان نمایان‌گر یک پاره‌خط جهت‌دار در نظر گرفت. دوبردار دارای یک گرایش (یا جهت) در صفحه‌ای است که توسط و گسترده شده، مساحتی دارد که برابر است با یک ضریب اسکالر از هر برش صفحه‌ای مرجع با همان گرایش، و در جبر هندسی، بزرگی آن برابر با مساحت متوازی‌الاضلاعی است که ضلع‌هایش و هستند، و همچنین «جهت‌گیری» دارد که نشان می‌دهد در کدام سوی درون صفحه قرار گرفته است. به زبان ساده، هر سطحی که با همان صفحه (همان گرایش)، همان مساحت و همان جهت‌گیری موازی باشد، همان دوبردار را تعریف می‌کند. دوبردارها از طریق جبر خارجی روی بردارها ساخته می‌شوند: اگر دو بردار و داده شده باشند، ضرب خارجی آن‌ها یک دوبردار خواهد بود، همان‌طور که هر مجموعی از دوبردارها نیز یک دوبردار است. دقیق‌تر بگوییم، دوبرداری که بتوان آن را با ضرب خارجی نوشت «ساده» نامیده می‌شود؛ در فضاهای تا سه‌بعدی، همهٔ دوبردارها ساده‌اند، اما در ابعاد بالاتر چنین نیست. ضرب خارجی دو بردار خاصیتی متناوب دارد، بنابراین دوبردار صفر است و , که جهت‌گیری مخالفی تولید می‌کند. مفاهیمی که مستقیماً با دوبردار در ارتباط‌اند عبارت‌اند از تانسور پادمتقارن مرتبهٔ دو و ماتریس پادمتقارن. تاریخچه مفهوم «دوبُردار» نخستین‌بار در سال ۱۸۴۴ توسط ریاضی‌دان آلمانی هرمان گراسمان در چارچوب جبر خارجی تعریف شد، آن‌هم به‌عنوان نتیجه‌ای از ضرب خارجی دو بردار. تا زمانی که ریاضی‌دان انگلیسی ویلیام کینگدم کلیفورد در سال ۱۸۸۸ ضرب هندسی را به جبر گراسمان افزود، با بهره‌گیری از ایده‌های همیلتون و گراسمان و بنیان‌گذاری جبر کلیفورد، شکلی از «دوبردار» که در این مقاله بررسی می‌شود، پدید نیامده بود. در دههٔ ۱۸۹۰، جوسایا ویلارد گیبس و الیور هویساید حساب برداری را توسعه دادند که در آن ضرب خارجی و ضرب داخلی به‌صورت جداگانه تعریف شده بود و ریشه در ضرب چهارگانی داشت... | ## بخش 2: دوبردار | موفقیت حساب برداری و کتاب Vector Analysis نوشتهٔ گیبس و ادوین بیدول ویلسون موجب شد بینش‌های همیلتون و کلیفورد تا مدت‌ها نادیده گرفته شوند، زیرا بیشتر ریاضیات و فیزیک قرن بیستم بر پایهٔ بردارها بیان می‌شد. گیبس برای ایفای نقش دوبردار در سه بعد از بردارها بهره گرفت و واژهٔ دوبردار را به‌معنای همیلتونی آن به کار برد، استفاده‌ای که گاه تکرار شده است... امروزه دوبردار عمدتاً در زمینهٔ جبر هندسی بررسی می‌شود، که جبر کلیفوردی روی عدد حقیقی یا عدد مختلط در فضای برداری دارای فرم مربعی است. احیای این مفهوم به‌دست دیوید هستنس انجام شد که همراه با دیگران، جبر هندسی را در کاربردهای گوناگون فیزیکی به‌کار برد... استخراج در این مقاله، دوبردار تنها در جبرهای هندسی حقیقی بررسی می‌شود که می‌توان آن‌ها را در بیشتر زمینه‌های فیزیکی به‌کار برد. مگر در مواردی که به‌صراحت بیان شده باشد، همهٔ مثال‌ها دارای تانسور متریک و در نتیجه دارای فرم مربعی مثبت‌معین هستند. جبر هندسی و ضرب هندسی دوبردار از تعریف جبر هندسی بر فضای برداری با فرم مربعی همراه (که گاه «متریک» نامیده می‌شود) ناشی می‌شود. برای بردارهای , و , ضرب هندسی دارای ویژگی‌های زیر است: خاصیت شرکت‌پذیری توزیع‌پذیری چپ و راست مربع اسکالر , که در آن فرم مربعی است که الزاماً مثبت‌معین نیست. با استفاده از قانون کسینوس‌ها در مثلث تشکیل‌شده از این دو بردار، مقدار آن برابر است با ، که زاویه بین دو بردار است. ازاین‌رو این مقدار با ضرب اسکالر بین دو بردار یکسان است و به‌همان‌صورت نوشته می‌شود: این ضرب، تقارنی، اسکالر-ارز و ابزاری برای تعیین زاویه میان دو بردار است؛ به‌ویژه، اگر و برهم عمود باشند، مقدار ضرب صفر خواهد بود. ضرب خارجی درست همان‌گونه که ضرب نرده‌ای را می‌توان به‌صورت بخش متقارن ضرب هندسی بیان کرد، ضرب خارجی (که گاه با عنوان «ضرب گُوِه‌ای» یا «ضرب پیش‌رونده» شناخته می‌شود) را می‌توان به‌صورت بخش پادتقارن آن تعریف کرد: این ضرب در و پادتقارن است: و با جمع داریم: یعنی، ضرب هندسی برابر است با جمع ضرب نرده‌ای متقارن و ضرب خارجی پادتقارن. برای بررسی ماهیت , فرمول زیر را در نظر بگیرید: که با استفاده از هویت مثلثاتی فیثاغورث مقدار را به‌دست می‌دهد: از آنجا که مربع آن منفی است، نمی‌تواند یک اسکالر یا بردار باشد؛ بلکه نوع جدیدی از کمیت است، یعنی دو‌بردار. این دو‌بردار دارای \[\[بزرگی (ریاضیات است، که در آن زاویهٔ بین دو بردار است؛ بنابراین برای بردارهای موازی، مقدار آن صفر خواهد بود. | ## بخش 3: دوبردار | برای تمایز از بردارها، دو‌بردارها در این‌جا با حروف بزرگ پررنگ نوشته می‌شوند، مانند: هرچند شیوه‌های نگارش دیگری نیز وجود دارند، به‌ویژه چون بردارها و دو‌بردارها هر دو جزء جبر هندسی هستند. ویژگی‌ها جبر حاصل از ضرب هندسی (یعنی همهٔ کمیت‌هایی که از جمع‌ها و ضرب‌های هندسی مکرر اسکالرها و بردارها ساخته می‌شوند)، جبر هندسی روی فضای برداری است. برای فضای برداری اقلیدسی، این جبر به‌صورت یا نوشته می‌شود، که در آن بُعد فضای برداری است. هم یک فضای برداری و هم یک جبر است که از همهٔ ضرب‌های بین بردارهای درون ساخته شده، و بنابراین شامل همهٔ بردارها و دو‌بردارها می‌شود. دقیق‌تر بگوییم، به‌عنوان یک فضای برداری، شامل بردارها و دو‌بردارها به‌صورت زیرفضای خطی است، ولی نه به‌صورت زیراجزا، زیرا ضرب هندسی دو بردار معمولاً یک بردار دیگر به‌وجود نمی‌آورد. فضای ⋀2Rn فضای همهٔ دو‌بردارها دارای بُعد است و با نماد نمایش داده می‌شود، و دومین جبر خارجی از فضای برداری اصلی است. زیراجزای زوج زیراجزای ساخته‌شده از دو‌بردارها، «زیراجزای زوج» جبر هندسی نام دارد و با نماد نمایش داده می‌شود. در فضاهای دو و سه‌بعدی، این زیراجزا تنها شامل اسکالرها و دو‌بردارهاست و هر یک از آن‌ها اهمیت خاصی دارد. در دو بُعد، این زیراجزا یکریختی با عدد مختلط دارد، در حالی که در سه بُعد یکریختی با چهارگان دارد. بزرگی همان‌طور که در بخش پیش اشاره شد، بزرگی یک دو‌بردار ساده (یعنی دو‌برداری که ضرب خارجی دو بردار و است) برابر است با ، که در آن زاویهٔ میان این دو بردار است. برای دو‌بردارهای کلی، بزرگی را می‌توان با محاسبهٔ فاصله اقلیدسی آن، هنگامی‌که به‌عنوان یک بردار در فضای در نظر گرفته شود، به‌دست آورد. اگر بزرگی صفر باشد، یعنی همهٔ مؤلفه‌های آن صفرند و دو‌بردار صفر است که به‌عنوان یک عنصر از جبر هندسی با اسکالر صفر برابر است. چنین دو‌برداری را می‌توان با تقسیم هر دو‌بردار ناصفر بر بزرگی‌اش ساخت، یعنی: از جمله مهم‌ترین نمونه‌ها، دو‌بردارهای یکه‌ای هستند که از ضرب \[\[پایه استاندارد فضای برداری ساخته شده‌اند. | ## جمع‌بندی | چون و عمود هستند، داریم: ، که با نماد نوشته می‌شود و چون بردارهای پایه، \[\[بردار واحد هستند، این دو‌بردار نیز یکه خواهد بود.