هم جایی مسیری

در ریاضیات، به‌ویژه در شاخه توپولوژی، مفهوم «هم‌جایی مسیری» یا path homotopy به نوعی رابطه میان دو مسیر پیوسته اشاره دارد که نشان می‌دهد این دو مسیر می‌توانند به‌صورت پیوسته و بدون گسست به یکدیگر تبدیل شوند. در این مفهوم، دو مسیر زمانی هم‌جایی مسیری نامیده می‌شوند که بتوان یکی را به تدریج و در طول زمان، بدون بریدگی یا پرش، به مسیر دیگر تغییر شکل داد. این تبدیل پیوسته معمولاً از طریق یک تابع دو متغیره نمایش داده می‌شود که یک متغیر آن مسیر و متغیر دیگر زمان تغییر شکل را مشخص می‌کند. در این حالت، ابتدا و انتهای مسیرها ثابت باقی می‌مانند و تنها شکل مسیر در طول فرآیند تغییر می‌کند. این ویژگی باعث می‌شود که ساختار کلی اتصال نقاط در فضا حفظ شود و فقط نحوه عبور از آن تغییر یابد. هم‌جایی مسیری یکی از مفاهیم پایه‌ای در توپولوژی جبری است که برای بررسی ویژگی‌های کلی فضاها بدون توجه به شکل دقیق آن‌ها به کار می‌رود. با استفاده از این مفهوم می‌توان تشخیص داد که آیا دو مسیر از نظر توپولوژیکی معادل هستند یا خیر. این ایده در تحلیل فضاهای پیوسته و مطالعه ویژگی‌هایی مانند همبندی و گروه بنیادی نقش اساسی دارد. در واقع، هم‌جایی مسیری ابزاری است برای مقایسه مسیرها بر اساس امکان تغییر تدریجی و پیوسته آن‌ها در یک فضای مشخص. در مجموع، path homotopy به معنای امکان تبدیل پیوسته یک مسیر به مسیر دیگر با حفظ نقاط ابتدا و انتها در چارچوب ریاضیات توپولوژی است.