مقاله اصلی: فضای آفین
برخی از خصوصیات اساسی فضاهای اقلیدسی تنها به این حقیقیت بستگی دارد که فضای اقلیدسی یک فضای وابسته است . به آنها ویژگی های آفین گفته می شود و شامل مفاهیم خطوط، فضاهای فرعی و موازی است که در بخش های بعدی به تفصیل توضیح داده می شود.
نوشتار اصلی: تخت (هندسه)
بگذارید E یک فضای اقلیدسی باشد وفضای برداری همبند با آن
یک زیرفضای مسطح ، اقلیدسی یا زیرفضای وابسته E زیرمجموعه F از E است به طوری که
همانطور که فضای برداری همبند F یک زیرفضای خطی (زیرزفضای برداری) از.یک زیرفضای اقلیدسی F یک فضای اقلیدسی بابه عنوان فضای برداری همبند. این زیرفضای خطیجهت F نیز نامیده می شود .
اگر P نقطه ای از F باشد ،
برعکس، اگر P نقطه ای از E و باشدزیر فضای خطی است،سپس
یک زیر فضای اقلیدسی جهت است. (فضای برداری همبند این زیرفضا است.)
فضای برداری اقلیدسی(یعنی یک فضای اقلیدسی که برابر است با) دارای دو نوع زیرفضا است: زیرفضاهای اقلیدسی و زیرفضاهای خطی آن. زیرفضاهای خطی زیرفضاهای اقلیدسی هستند و یک زیرفضای اقلیدسی یک زیرفضای خطی است اگر و فقط اگر حاوی بردار صفر باشد.
در یک فضای اقلیدسی، یک خط یک زیرفضای اقلیدسی از بعد یک است. از آنجایی که یک فضای برداری با بعد یک توسط هر بردار غیر صفر پوشیده شده است، یک خط مجموعه ای از فرم است
که در آن P و Q دو نقطه متمایز از فضای اقلیدسی به عنوان بخشی از خط هستند.
نتیجه این است که دقیقاً یک خط وجود دارد که از دو نقطه متمایز (شامل) می گذرد. این بدان معناست که دو خط مجزا حداکثر در یک نقطه قطع می شوند.
یک نمایش متقارن تر از خط عبوری از P و Q است
جایی که O یک نقطه دلخواه است (لازم نیست در خط).
در فضای برداری اقلیدسی، بردار صفر معمولاً برای O انتخاب می شود . این اجازه می دهد تا فرمول قبلی را ساده کنید
یک قرارداد استاندارد اجازه استفاده از این فرمول را در هر فضای اقلیدسی می دهد، به فضای آفین § ترکیبات آفین و barycenter مراجعه کنید .
پاره خط ، یا به سادگی پاره ، که به نقاط P و Q می پیوندد ، زیرمجموعه نقاطی است که 0 ≤ ≤ ≤ 1 در فرمول های قبلی است. PQ یا QP نشان داده می شود . به این معنا که
دو فضای فرعی S و T با ابعاد یکسان در فضای اقلیدسی اگر جهت یکسانی داشته باشند (یعنی فضای برداری همبند یکسان) موازی هستند. [a] به طور معادل، اگر بردار ترجمه v وجود داشته باشد که یکی را به دیگری ترسیم کند، موازی هستند:
با توجه به یک نقطه P و یک زیرفضای S ، دقیقاً یک زیر فضای وجود دارد که حاوی P و موازی با S است ، کهدر موردی که S یک خط است (زیرزفضای بعد یک)، این ویژگی بدیهیات Playfair است .
نتیجه این است که در یک صفحه اقلیدسی، دو خط یا در یک نقطه به هم می رسند یا موازی هستند.
مفهوم زیرفضاهای موازی به زیرفضاهای با ابعاد مختلف تعمیم داده شده است: اگر جهت یکی از آنها در جهت دیگری باشد، دو زیرفضا موازی هستند.
فضای برداریهمبند با فضای اقلیدسی E یک فضای ضرب درونی است . این به معنای یک فرم دوخطی متقارن است
که قطعی مثبت است (یعنیهمیشه برای x ≠ 0 مثبت است ).
حاصلضرب درونی فضای اقلیدسی اغلب حاصل ضرب نقطه ای نامیده می شود و x ⋅ y نشان داده می شود . این به ویژه زمانی است که یک سیستم مختصات دکارتی انتخاب شده باشد، زیرا در این مورد، حاصل ضرب داخلی دو بردار حاصل ضرب نقطه بردار مختصات آنها است . به همین دلیل و به دلایل تاریخی، نماد نقطه بیشتر از نماد براکت برای حاصل ضرب داخلی فضاهای اقلیدسی استفاده می شود. این مقاله این استفاده را دنبال خواهد کرد. به این معنا کهدر ادامه این مقاله x ⋅ y نشان داده می شود .
نرم اقلیدسی بردار x است
حاصل ضرب درونی و نرم امکان بیان و اثبات خواص متریک و توپولوژیکی هندسه اقلیدسی را فراهم می کند . زیربخش بعدی اساسی ترین آنها را شرح می دهد. در این بخشها، E یک فضای اقلیدسی دلخواه را نشان میدهد وفضای برداری ترجمه آن را نشان می دهد.
نوشتار اصلی: فاصله اقلیدسی
فاصله (به طور دقیق تر فاصله اقلیدسی ) بین دو نقطه از فضای اقلیدسی، نرم بردار ترجمه است که یک نقطه را به نقطه دیگر نگاشت می کند . به این معنا که
طول یک قطعه PQ فاصله d ( P , Q ) بین نقاط انتهایی آن P و Q است . اغلب نشان داده می شود|پس|.
فاصله یک متریک است ، زیرا قطعی مثبت، متقارن است و نابرابری مثلث را برآورده می کند.
علاوه بر این، تساوی درست است اگر و تنها در صورتی که یک نقطه R متعلق به بخش PQ باشد . این نابرابری به این معنی است که طول هر یال یک مثلث کوچکتر از مجموع طول یال های دیگر است. این خاستگاه اصطلاح نابرابری مثلثی است .
با فاصله اقلیدسی، هر فضای اقلیدسی یک فضای متریک کامل است .
نوشتارهای اصلی: عمود و متعامد
دو بردار غیر صفر u و v از(فضای برداری همبند فضای اقلیدسی E ) عمود یا متعامد هستند اگر حاصل ضرب درونی آنها صفر باشد:
دو زیرفضای خطی ازاگر هر بردار غیر صفر بردار اول عمود بر هر بردار غیر صفر بردار دوم باشد متعامد هستند. این بدان معناست که تقاطع زیرفضاهای خطی به بردار صفر کاهش می یابد.
دو خط و به طور کلی دو زیرفضای اقلیدسی (یک خط را می توان به عنوان یک زیرفضای اقلیدسی در نظر گرفت.) متعامد هستند اگر جهت آنها (فضاهای برداری همبند زیرفضاهای اقلیدسی) متعامد باشند. دو خط متعامد را که قطع می کنند عمود می گویند .
دو بخش AB و AC که نقطه پایانی مشترک A دارند عمود هستند یا زاویه قائمه تشکیل می دهند اگر بردارهاومتعامد هستند.
اگر AB و AC یک زاویه قائمه تشکیل دهند، یک زاویه دارد
این قضیه فیثاغورث است . اثبات آن در این زمینه آسان است، زیرا با بیان این موضوع بر حسب حاصلضرب درونی، با استفاده از دوخطی بودن و تقارن حاصلضرب داخلی، می توان گفت:
از آنجایی که این دو بردار متعامد هستند استفاده می شود.
نوشتار اصلی: زاویه
زوایای مثبت و منفی در صفحه جهت دار
زاویه θ (غیر جهتدار) بین دو بردار غیرصفر x و y دراست
که در آن arccos مقدار اصلی تابع آرکوزین است . با نابرابری کوشی-شوارتز ، استدلال آرکوزین در بازه [-1، 1] است . بنابراین θ حقیقی است و 0 ≤ θ ≤ π (یا 0 ≤ θ ≤ 180 اگر زاویه ها بر حسب درجه اندازه گیری شوند).
زاویه ها در خط اقلیدسی مفید نیستند، زیرا می توانند فقط 0 یا π باشند .
در یک صفحه اقلیدسی جهت دار ، می توان زاویه جهت دو بردار را تعریف کرد. سپس زاویه جهت دو بردار x و y مخالف زاویه جهت y و x است . در این حالت، زاویه دو بردار می تواند هر مقدار مدول یک مضرب صحیح 2 π داشته باشد . به طور خاص، یک زاویه بازتابی π θ 2 π برابر با زاویه منفی - π θ - 2 π 0 است .
زاویه دو بردار اگر در اعداد مثبت ضرب شوند تغییر نمی کند. به طور دقیق تر، اگر x و y دو بردار باشند و λ و μ اعداد حقیقی باشند، آنگاه
اگر A ، B و C سه نقطه در فضای اقلیدسی باشند، زاویه قطعات AB و AC زاویه بردارها است.از آنجایی که ضرب بردارها در اعداد مثبت زاویه را تغییر نمی دهد، می توان زاویه دو نیم خط با نقطه اولیه A را تعریف کرد: زاویه پاره های AB و AC است که در آن B و C نقاط دلخواه هستند، یک روی هر نیم خط اگرچه کمتر مورد استفاده قرار می گیرد، می توان به طور مشابه زاویه پاره ها یا نیم خطوطی را که نقطه اولیه مشترکی ندارند تعریف کرد.
زاویه دو خط به صورت زیر تعریف می شود. اگر θ زاویه دو پاره، یکی روی هر خط باشد، زاویه هر دو پاره دیگر، یکی در هر خط، θ یا π - θ است . یکی از این زوایا در بازه [0, π /2] و دیگری در [ π /2, π ] است . زاویه غیر جهتدار دو خط، در بازه [0, π /2] است . در یک صفحه اقلیدسی گرا، زاویه جهت دو خط متعلق به بازه [- π /2، π/2] است..
همچنین ببینید: سیستم مختصات دکارتی
هر فضای برداری اقلیدسی دارای یک مبنای متعامد است (در واقع، بی نهایت در بعد بالاتر از یک، و دو در بعد یک)، که یک مبنای است. بردارهای واحد () که متعامد جفتی هستند (برای i ≠ j ). به طور دقیق تر، با توجه به هر مبنایی فرآیند گرم اشمیت یک مبنای متعارف را محاسبه می کند به طوری که برای هر i ، گستره های خطی(ه1،…،همن)وبرابر هستند. [7]
با توجه به فضای اقلیدسی E ، یک قاب دکارتی مجموعه ای از داده های متشکل از یک مبنای متعارف از،و نقطه ای از E که مبدأ نامیده می شود و اغلب به او نشان داده می شود . یک قاب دکارتیامکان تعریف مختصات دکارتی برای هر دو E وبه روش زیر.
مختصات دکارتی بردار v ازضرایب v بر اساس متعارف هستند.برای مثال مختصات دکارتی یک برداربر اساس متعارف(ه1،ه2،ه3)(که ممکن است به عنوان نامگذاری شودبه عنوان یک قرارداد) در یک فضای اقلیدسی 3 بعدی استاگر. از آنجایی که مبنای متعارف است، ضریب i-امین استبرابر حاصلضرب نقطه است
مختصات دکارتی نقطه P از E مختصات دکارتی بردار هستند
مختصات کج سه بعدی
مقاله اصلی: سیستم مختصات
از آنجایی که فضای اقلیدسی یک فضای آفین است ، می توان یک قاب آفین را روی آن در نظر گرفت که همان قاب اقلیدسی است، با این تفاوت که نیازی نیست که اساس متعامد باشد. این مختصات وابسته را تعریف میکند که گاهی مختصات کج نامیده میشود تا تاکید شود بردارهای پایه متعامد زوجی نیستند.
یک مبنای وابسته به فضای اقلیدسی با بعد n مجموعه ای از n + 1 نقطه است که در یک ابرصفحه وجود ندارد. یک پایه وابسته مختصات باری مرکزی را برای هر نقطه تعریف می کند.
بسیاری از سیستم های مختصات دیگر را می توان بر روی فضای اقلیدسی E با بعد n به روش زیر تعریف کرد. فرض کنید f یک همومورفیسم (یا اغلب یک دیفئومورفیسم ) از یک زیرمجموعه باز متراکم از E به یک زیر مجموعه باز از.مختصات یک نقطه x از E اجزای f ( x ) هستند . سیستم مختصات قطبی (بعد 2) و سیستم مختصات کروی و استوانه ای (بعد 3) به این ترتیب تعریف می شوند.
برای نقاطی که خارج از دامنه f هستند، مختصات ممکن است گاهی اوقات به عنوان حد مختصات نقاط همسایه تعریف شوند، اما این مختصات ممکن است به طور یکتا تعریف نشده باشند و ممکن است در همسایگی نقطه پیوسته نباشند. به عنوان مثال، برای سیستم مختصات کروی، طول جغرافیایی در قطب تعریف نشده است، و در ضد نصف النهار ، طول جغرافیایی به طور ناپیوسته از -180 درجه تا +180 درجه عبور می کند.
این روش برای تعریف مختصات به راحتی به سایر ساختارهای ریاضی و به ویژه به منیفولدها گسترش می یابد .
ایزومتریکی بین دو فضای متریک یک بهی ک و پوشا است که فاصله را حفظ می کند، یعنی [ b]
در مورد فضای برداری اقلیدسی، ایزومتری که مبدأ را به مبدأ ترسیم می کند، نرم را حفظ می کند.
زیرا نرم یک بردار فاصله آن از بردار صفر است. همچنین ضرب داخلی را حفظ می کند
از آنجا که
ایزومتریک فضاهای برداری اقلیدسی یک ایزومورفیسم خطی است . [ج] [8]
یک ایزومتریفضاهای اقلیدسی ایزومتری را تعریف می کند:→فضاهای برداری اقلیدسی همبند. این بدان معناست که دو فضای اقلیدسی ایزومتریک دارای ابعاد یکسانی هستند. برعکس، اگر E و F فضاهای اقلیدسی باشند ، O ∈ E , O ∈ F و:→یک ایزومتریک است، سپس نقشهتعریف شده بوسیله ی
ایزومتری از فضاهای اقلیدسی است.
از نتایج قبلی چنین برمیآید که ایزومتریکی از فضاهای اقلیدسی خطوط را به خطوط، و به طور کلیتر زیرفضاهای اقلیدسی را به زیرفضاهای اقلیدسی با همان بعد، ترسیم میکند، و اینکه محدودیت ایزومتریک در این زیرفضاها، ایزومتریکهای این زیرفضاها هستند.
اگر E یک فضای اقلیدسی است، فضای برداری همبند با آنرا می توان به عنوان فضای اقلیدسی در نظر گرفت. هر نقطه O ∈ E ایزومتریک فضاهای اقلیدسی را تعریف می کند
که O را به بردار صفر نگاشت می کند و هویت نقشه خطی همبند را دارد. ایزومتریک معکوس نقشه است
یک قاب اقلیدسیامکان تعریف نقشه را فراهم می کند
که ایزومتری از فضاهای اقلیدسی است. ایزومتریک معکوس است
این بدان معنی است که تا یک هم شکلی، دقیقاً یک فضای اقلیدسی از یک بعد معین وجود دارد.
این توجیهی است که بسیاری از نویسندگان درباره آن صحبت می کنندبه عنوان فضای اقلیدسی بعد n .
مقالات اصلی: گروه اقلیدسی و تبدیل صلب
ایزومتری از فضای اقلیدسی به خود را ایزومتریک اقلیدسی ، تبدیل اقلیدسی یا تبدیل صلب می نامند . دگرگونی های صلب فضای اقلیدسی یک گروه (تحت ترکیب ) را تشکیل می دهد که گروه اقلیدسی نامیده می شود و اغلب با E( n ) ISO( n ) نشان داده می شود .
ساده ترین تبدیل های اقلیدسی ترجمه ها هستند
آنها با بردارها مطابقت دوگانه دارند. این دلیلی است برای نامیدن فضای ترجمه ها فضای برداری همبند با فضای اقلیدسی. ترجمه ها یک زیر گروه عادی از گروه اقلیدسی را تشکیل می دهند.
ایزومتریک اقلیدسی f فضای اقلیدسی E یک ایزومتری خطی را تعریف می کند.فضای برداری همبند (منظور از ایزومتری خطی ، ایزومتری است که یک نقشه خطی نیز هست ) به صورت زیر: نشان دادن بردار با ، اگر O یک نقطه دلخواه از E باشد ، یکی دارد
اثبات اینکه این یک نقشه خطی است که به انتخاب O بستگی ندارد، ساده است.
نقشهیک هممورفیسم گروهی از گروه اقلیدسی به گروه ایزومتریک های خطی است که به آن گروه متعامد می گویند . هسته این هممورفیسم گروه ترجمه است که نشان می دهد زیرگروه عادی از گروه اقلیدسی است.
ایزومتریک هایی که نقطه معین P را ثابت می کنند، زیر گروه تثبیت کننده گروه اقلیدسی را نسبت به P تشکیل می دهند . محدودیت این تثبیت کننده هممورفیسم گروه فوق یک هم شکلی است. بنابراین ایزومتریک هایی که نقطه معین را ثابت می کنند، گروهی هم شکل با گروه متعامد تشکیل می دهند.
فرض کنید P یک نقطه، f یک ایزومتری، و t ترجمه ای باشد که P را به f ( P ) نشان می دهد . ایزومتری P را رفع می کند . بنابراینو گروه اقلیدسی ضرب نیمه مستقیم گروه ترجمه و گروه متعامد است.
گروه متعامد ویژه زیرگروه عادی گروه متعامد است که دستی را حفظ می کند . زیر گروهی از شاخص دو از گروه متعامد است . تصویر معکوس آن توسط گروه هممورفیسمیک زیرگروه عادی از شاخص دو از گروه اقلیدسی است که گروه اقلیدسی ویژه یا گروه جابجایی نامیده می شود . عناصر آن را حرکات صلب یا جابجایی می نامند .
حرکات صلب شامل هویت ، ترجمه، چرخش (حرکات صلب که حداقل یک نقطه را ثابت می کنند) و همچنین حرکات پیچی می باشد .
نمونههای معمولی از تبدیلهای صلب که حرکات صلب نیستند، بازتابها هستند، که تبدیلهای صلب هستند که یک ابر صفحه را ثابت میکنند و هویت نیستند. آنها همچنین دگرگونی هایی هستند که شامل تغییر علامت یک مختصات در چارچوب اقلیدسی می شوند.
از آنجایی که گروه اقلیدسی ویژه زیر گروهی از شاخص دو از گروه اقلیدسی است، با توجه به بازتاب r ، هر تبدیل صلب که حرکت صلب نیست حاصل ضرب r و حرکت صلب است. بازتاب لغزشی نمونه ای از تبدیل صلب است که یک حرکت صلب یا بازتاب نیست.
تمام گروه هایی که در این بخش در نظر گرفته شده اند، گروه های دروغ و گروه های جبری هستند .
مقاله اصلی: فضای n حقیقی § خواص توپولوژیکی
فاصله اقلیدسی فضای اقلیدسی را به یک فضای متریک و در نتیجه فضای توپولوژیکی تبدیل می کند . این توپولوژی را توپولوژی اقلیدسی می نامند . در شرایطی که،این توپولوژی همچنین توپولوژی ضرب است .
مجموعه های باز زیرمجموعه هایی هستند که شامل یک توپ باز در اطراف هر یک از نقاط خود هستند. به عبارت دیگر، توپ های باز پایه توپولوژی را تشکیل می دهند .
بعد توپولوژیکی فضای اقلیدسی برابر با بعد آن است. این بدان معناست که فضاهای اقلیدسی با ابعاد مختلف همومورف نیستند . علاوه بر این، قضیه تغییرناپذیری دامنه بیان میکند که زیرمجموعهای از فضای اقلیدسی باز است (برای توپولوژی زیرفضا ) اگر و تنها در صورتی که به زیرمجموعه باز فضای اقلیدسی با همان بعد همومورف باشد.
فضاهای اقلیدسی کامل و به صورت محلی فشرده هستند . یعنی یک زیرمجموعه بسته از فضای اقلیدسی اگر محدود باشد (یعنی در یک توپ موجود باشد) فشرده است. به طور خاص، توپ های بسته فشرده هستند.
تعریف فضاهای اقلیدسی که در این مقاله توضیح داده شده است اساساً با تعریف اقلیدس متفاوت است . در واقع، اقلیدس به طور رسمی فضا را تعریف نکرد، زیرا تصور می شد که این فضا توصیفی از جهان فیزیکی است که مستقل از ذهن انسان وجود دارد. نیاز به یک تعریف رسمی تنها در پایان قرن نوزدهم، با معرفی هندسه های غیر اقلیدسی ظاهر شد .
دو رویکرد متفاوت استفاده شده است. فلیکس کلاین پیشنهاد کرد که هندسه ها را از طریق تقارن آنها تعریف کنیم . ارائه فضاهای اقلیدسی ارائه شده در این مقاله، اساساً از برنامه ارلانگن او با تأکید بر گروه های ترجمه و ایزومتریک صادر شده است.
از سوی دیگر، دیوید هیلبرت مجموعه ای از بدیهیات را با الهام از فرضیات اقلیدس پیشنهاد کرد . آنها به هندسه مصنوعی تعلق دارند، زیرا هیچ تعریفی از اعداد حقیقی ندارند . بعدها جی دی بیرکوف و آلفرد تارسکی مجموعه های ساده تری از بدیهیات را پیشنهاد کردند که از اعداد حقیقی استفاده می کنند (به بدیهیات بیرکوف و بدیهیات تارسکی مراجعه کنید ).
امیل آرتین در جبر هندسی ثابت کرده است که همه این تعاریف از فضای اقلیدسی معادل هستند. [9] اثبات اینکه همه تعاریف فضاهای اقلیدسی اصول هیلبرت را برآورده میکنند و آنهایی که شامل اعداد حقیقی (از جمله تعریف فوق) هستند، تقریباً آسان است. بخش دشوار اثبات آرتین به شرح زیر است. در بدیهیات هیلبرت، همخوانی یک رابطه هم ارزی در بخش ها است. بنابراین می توان طول یک قطعه را به عنوان کلاس هم ارزی آن تعریف کرد. بنابراین باید ثابت کرد که این طول دارای ویژگیهایی است که اعداد حقیقی غیرمنفی را مشخص می کنند. آرتین این را با بدیهیاتی معادل بدیهیات هیلبرت ثابت کرد.
از زمان یونان باستان ، فضای اقلیدسی برای مدل سازی اشکال در دنیای فیزیکی استفاده می شد. بنابراین در بسیاری از علوم مانند فیزیک , مکانیک , و ستاره شناسی استفاده می شود . همچنین به طور گسترده در تمام زمینه های فنی که مربوط به اشکال، شکل، مکان و موقعیت هستند، مانند معماری ، ژئودزی ، توپوگرافی ، ناوبری ، طراحی صنعتی یا نقشه کشی فنی استفاده می شود .
فضای ابعاد بالاتر از سه در چندین نظریه مدرن فیزیک رخ می دهد. بعد بالاتر را ببینید . آنها همچنین در فضاهای پیکربندی سیستم های فیزیکی رخ می دهند .
علاوه بر هندسه اقلیدسی ، فضاهای اقلیدسی نیز به طور گسترده در سایر زمینه های ریاضیات استفاده می شود. فضاهای مماس منیفولدهای دیفرانسیل پذیر ، فضاهای برداری اقلیدسی هستند. به طور کلی، منیفولد فضایی است که به صورت محلی با فضاهای اقلیدسی تقریب می شود. بیشتر هندسه های غیر اقلیدسی را می توان با یک منیفولد مدل کرد و در فضای اقلیدسی با ابعاد بالاتر جاسازی کرد . به عنوان مثال، یک فضای بیضوی را می توان با یک بیضی مدل کرد . در فضای اقلیدسی نمایش اشیایی ریاضی که ماهیت هندسی پیشینی ندارند معمول است. یک مثال در میان بسیاری، نمایش معمولی است نمودارها _
از زمان معرفی هندسههای غیراقلیدسی در پایان قرن نوزدهم ، فضاهای زیادی در نظر گرفته شدهاند که میتوان در مورد آنها استدلال هندسی را مانند فضاهای اقلیدسی انجام داد. به طور کلی، آنها برخی از ویژگی ها را با فضاهای اقلیدسی به اشتراک می گذارند، اما ممکن است ویژگیهایی نیز داشته باشند که می توانند نسبتاً عجیب به نظر برسند. برخی از این فضاها از هندسه اقلیدسی برای تعریف خود استفاده می کنند یا می توانند به عنوان زیرفضاهای فضای اقلیدسی با ابعاد بالاتر مدل شوند. هنگامی که چنین فضایی با بدیهیات هندسی تعریف می شود ، جاسازی فضا در فضای اقلیدسی یک راه استاندارد برای اثبات سازگاری تعریف آن است، یا به طور دقیق تر برای اثبات سازگاری نظریه آن، اگر هندسه اقلیدسی سازگار است (که قابل اثبات نیست).
مقاله اصلی: فضای آفین
فضای اقلیدسی فضایی وابسته به متریک است . فضاهای آفین کاربردهای بسیار دیگری در ریاضیات دارند. به طور خاص، همانطور که آنها در هر زمینه تعریف می شوند ، امکان انجام هندسه را در زمینه های دیگر فراهم می کنند.
به محض در نظر گرفتن سؤالات غیر خطی، به طور کلی مفید است که فضاهای وابسته را روی اعداد مختلط به عنوان بسط فضاهای اقلیدسی در نظر بگیریم. برای مثال، یک دایره و یک خط همیشه دارای دو نقطه تقاطع (احتمالاً متمایز نیستند) در فضای ترکیبی مختلط هستند. بنابراین، بیشتر هندسه جبری در فضاهای وابسته مختلط و فضاهای وابسته بر روی میدانهای بسته جبری ساخته میشود . بنابراین اشکالی که در هندسه جبری در این فضاهای نزدیک مورد مطالعه قرار می گیرند، انواع جبری آفین نامیده می شوند .
فضاهای وابسته روی اعداد گویا و به طور کلی بر روی فیلدهای اعداد جبری پیوندی بین هندسه (جبری) و نظریه اعداد ایجاد می کنند . به عنوان مثال، آخرین قضیه فرما را می توان بیان کرد: "یک منحنی فرما با درجه بالاتر از دو، هیچ نقطه ای در صفحه وابستگی بر روی منطقی ها ندارد."
هندسه در فضاهای وابسته در یک میدان محدود نیز به طور گسترده مورد مطالعه قرار گرفته است. به عنوان مثال، منحنی های بیضوی بر روی میدان های محدود به طور گسترده در رمزنگاری استفاده می شود .
نوشتار اصلی: فضای تصویری
در اصل، فضاهای تصویری با افزودن « نقاط در بینهایت » به فضاهای اقلیدسی، و بهطور کلی به فضاهای وابسته، معرفی شدهاند تا ادعای «دو خط همسطح دقیقاً در یک نقطه به هم میرسند» درست باشد. فضای تصویری با فضاهای اقلیدسی و وابسته در خاصیت همسانگرد بودن اشتراک دارد، یعنی هیچ خاصیتی از فضا وجود ندارد که امکان تمایز بین دو نقطه یا دو خط را فراهم کند. بنابراین، معمولاً از یک تعریف همسانگرد تر استفاده می شود که شامل تعریف فضای تصویری به عنوان مجموعه خطوط برداری در یک فضای برداری با ابعاد یک دیگر است.
در مورد فضاهای وابسته، فضاهای تصویری بر روی هر میدانی تعریف می شوند و فضاهای اساسی هندسه جبری هستند .
نوشتار اصلی: هندسه نااقلیدسی
هندسه نااقلیدسی معمولاً به فضاهای هندسی اطلاق می شود که در آن فرض موازی نادرست است. آنها شامل هندسه بیضوی ، که در آن مجموع زوایای یک مثلث بیش از 180 درجه است، و هندسه هذلولی ، که در آن این مجموع کمتر از 180 درجه است. معرفی آنها در نیمه دوم قرن نوزدهم و اثبات سازگاری نظریه آنها ( اگر هندسه اقلیدسی متناقض نباشد) یکی از پارادوکس هایی است که منشأ بحران اساسی در ریاضیات ابتدای قرن بیستم است. انگیزه نظامسازی نظریههای بدیهی در ریاضیات را برانگیخت.
مقالات اصلی: منیفولد و منیفولد ریمانی
منیفولد فضایی است که در مجاورت هر نقطه شبیه فضای اقلیدسی است. از نظر فنی، منیفولد یک فضای توپولوژیکی است ، به طوری که هر نقطه دارای یک همسایگی است که به زیر مجموعه باز فضای اقلیدسی همومورف است. منیفولدها را میتوان با افزایش درجه این "شباهت" به منیفولدهای توپولوژیکی ، منیفولدهای متمایز ، منیفولدهای صاف و منیفولدهای تحلیلی طبقهبندی کرد . با این حال، هیچ یک از این نوع «شباهت ها» به فاصله ها و زاویه ها، حتی تقریباً، احترام نمی گذارند.
فواصل و زوایا را می توان بر روی یک منیفولد صاف با ارائه یک متریک اقلیدسی متغییر بر روی فضاهای مماس در نقاط منیفولد تعریف کرد (این فضاهای مماس فضاهای برداری اقلیدسی هستند). این منجر به منیفولد ریمانی می شود . به طور کلی، خطوط مستقیم در منیفولد ریمانی وجود ندارند، اما نقش آنها توسط ژئودزیک ها ، که "کوتاه ترین مسیرها" بین دو نقطه هستند، ایفا می شود. این اجازه می دهد تا فواصل را که در امتداد ژئودزیک ها اندازه گیری می شوند، و زوایای بین ژئودزیک ها، که زاویه مماس آنها در فضای مماس در محل تقاطع آنها است، تعیین کنیم. بنابراین، منیفولدهای ریمانی به صورت محلی مانند فضای اقلیدسی که خم شده است رفتار می کنند.
فضاهای اقلیدسی به طور پیش پا افتاده ای منیفولدهای ریمانی هستند. نمونه ای که این خوب را نشان می دهد، سطح یک کره است . در این حالت ژئودزیک ها کمان های دایره ای بزرگ هستند که در زمینه جهت یابی به آن ها ارتودوم می گویند . به طور کلی، فضاهای هندسه های غیر اقلیدسی را می توان به صورت منیفولدهای ریمانی درک کرد.
حاصل ضرب درونی یک فضای برداری حقیقی یک فرم دوخطی قطعی مثبت است و بنابراین با یک فرم درجه دوم قطعی مثبت مشخص می شود . یک فضای شبه اقلیدسی یک فضای وابسته با یک فضای برداری حقیقی همبند با یک فرم درجه دوم غیر منحط است (که ممکن است نامعین باشد ).
یک مثال اساسی از چنین فضایی، فضای مینکوفسکی است که فضا-زمان نسبیت خاص اینشتین است . این یک فضای چهار بعدی است که متریک با فرم درجه دوم تعریف می شود
که در آن آخرین مختصات ( t ) زمانی است و سه مختصات دیگر ( x , y , z ) مکانی هستند.
برای در نظر گرفتن گرانش ، نسبیت عام از یک منیفولد شبه ریمانی استفاده می کند که دارای فضاهای مینکوفسکی به عنوان فضاهای مماس است . انحنای این منیفولد در یک نقطه تابعی از مقدار میدان گرانشی در این نقطه است.
منبع
https://en.wikipedia.org/wiki/Euclidean_space
ریاضیات...برچسب : نویسنده : 9math1342d بازدید : 236