فضای اقلیدسی (Euclidean Space)، در ریاضیات (Mathematics)

انواع فضاهای متریک (Metric Space) را در آموزش زیر شرح دادیم :

فضای اقلیدسی (Euclidean Space) :

تعریف: فضای اقلیدسی

\[ \mathbb{R}^n \]

همراه با متر اقلیدسی که از ضرب داخلی استاندارد ناشی می شود:

\[ d(x, y) = \|x - y\| = \sqrt{\sum_{i=1}^n (x_i - y_i)^2} \]

توضیح مفهومی: فضای اقلیدسی مهم ترین و اساسی ترین فضای متریک در ریاضیات است. این فضا مدل هندسه اقلیدسی است و خواص بسیار خوبی دارد: کامل، جداپذیر، فشرده موضعی، ژئودزیکی، CAT(0)، و دارای ساختار ضرب داخلی. قضایای بسیاری در این فضا اثبات شده اند و به فضاهای عمومی تر تعمیم یافته اند.

ویژگی های اصلی:

کامل بودن:

\[ \mathbb{R}^n \]

با متر اقلیدسی کامل است (قضیه کوشی).

جداپذیری:

\[ \mathbb{Q}^n \]

یک زیرمجموعه شمارا چگال است.

فشردگی موضعی: هر نقطه دارای یک همسایگی فشرده (گوی بسته).

ژئودزیکی بودن: بین هر دو نقطه یک خط راست (ژئودزیک) یکتا وجود دارد.

خاصیت CAT(0): فضای اقلیدسی یک فضای CAT(0) است، یعنی مثلث‌ها در آن لاغرتر از مثلث‌های صفحه نیستند.

خاصیت هادامار:

\[ \mathbb{R}^n \]

یک فضای هادامار (CAT(0) کامل) است.

متریک های معادل: در

\[ \mathbb{R}^n \]

متریک های دیگری نیز هستند که با متر اقلیدسی هم توپولوژی هستند، مانند متر منهتن (

\[ l^1 \]

) و متر چبیشف (

\[ l^\infty \]

). اما این متریک ها هندسه متفاوتی ایجاد می کنند.

ساختار برداری:

\[ \mathbb{R}^n \]

یک فضای برداری با ضرب داخلی

\[ \langle x, y \rangle = \sum x_i y_i \]

است. این ضرب داخلی نرم

\[ \|x\| = \sqrt{\langle x, x \rangle} \]

را القا می کند که متر اقلیدسی از آن می آید.

قضایای مهم:

قضیه هاینه-بورل: در

\[ \mathbb{R}^n \]

، یک مجموعه فشرده است اگر و فقط اگر بسته و کراندار باشد.

قضیه بولزانو-وایرشتراس: هر دنباله کراندار در

\[ \mathbb{R}^n \]

دارای زیردنباله همگراست.

قضیه نقطه ثابت براوئر: هر تابع پیوسته از گوی واحد بسته در

\[ \mathbb{R}^n \]

به خودش، یک نقطه ثابت دارد.

تعمیم ها: فضای اقلیدسی به فضاهای هیلبرت (با بعد نامتناهی) تعمیم می یابد، جایی که ضرب داخلی و کامل بودن حفظ می شود اما فشردگی موضعی از دست می رود.

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

📌 مثال ساده:

\[ \mathbb{R}^2 \]

با متر

\[ d((x_1, y_1), (x_2, y_2)) = \sqrt{(x_1 - x_2)^2 + (y_1 - y_2)^2} \]

یک فضای اقلیدسی است. فاصله بین نقاط

\[ (1,0) \]

و

\[ (0,1) \]

برابر

\[ \sqrt{2} \]

است. خط راست بین این دو نقطه، ژئودزیک یکتاست.