ریاضیات

ظاهراً ادامه‌ی بحث عمل ضرب روی کلاس‌های هموتوپی مسیرها و خوب‌تعریف‌بودن این عمل

توسط علی رضا نقش نیلچی | شنبه سوم مرداد ۱۴۰۵ | 1:38

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

محتوای صفحه ظاهراً ادامه‌ی بحث **عمل ضرب روی کلاس‌های هموتوپی مسیرها** و **خوب‌تعریف‌بودن این عمل** است؛ یعنی اگر

```text

f ~ f'

g ~ g'

```

آنگاه باید نشان داد:

```text

f * g ~ f' * g'

```

و در نتیجه می‌توان نوشت:

```text

[f] . [g] = [f * g]

```

در ادامه، یک **بازنویسی رسمیِ جزوه‌ای** از محتوای قابل‌تشخیص صفحه می‌دهم، به سبک کتابی و با فرمول‌های چپ‌به‌راست.

---

## خوب‌تعریف بودن عمل ضرب روی کلاس‌های هموتوپی

فرض کنید `X` یک فضای توپولوژیک و `x0 in X` یک نقطه پایه باشد.

مجموعه‌ی همه‌ی حلقه‌های مبتنی در `x0` را در نظر می‌گیریم و روی کلاس‌های هموتوپی آن‌ها عملی تعریف می‌کنیم.

### تعریف

اگر `f` و `g` دو حلقه مبتنی در `x0` باشند، حاصل‌ضرب آن‌ها را به‌صورت مسیر الحاقی تعریف می‌کنیم:

```text

(f * g)(t) =

f(2t) , 0 <= t <= 1/2

g(2t - 1) , 1/2 <= t <= 1

```

در نتیجه، بر روی کلاس‌های هموتوپی تعریف می‌کنیم:

```text

[f] . [g] = [f * g]

```

اکنون باید نشان دهیم این عمل **خوب‌تعریف** است؛ یعنی تعریف آن به انتخاب نماینده از هر کلاس وابسته نیست.

---

## قضیه

اگر

```text

f ~ f'

g ~ g'

```

باشد، آنگاه

```text

f * g ~ f' * g'

```

و بنابراین عمل

```text

[f] . [g] = [f * g]

```

خوب‌تعریف است.

---

## اثبات

چون `f ~ f'`، هموتوپی‌ای مانند

```text

F : I x I -> X

```

وجود دارد به‌طوری‌که:

```text

F(s,0) = f(s)

F(s,1) = f'(s)

```

و چون `g ~ g'`، هموتوپی‌ای مانند

```text

G : I x I -> X

```

وجود دارد به‌طوری‌که:

```text

G(s,0) = g(s)

G(s,1) = g'(s)

```

اکنون تابع

```text

H : I x I -> X

```

را به‌صورت تکه‌ای تعریف می‌کنیم:

```text

H(s,t) =

F(2s,t) , 0 <= s <= 1/2

G(2s-1,t) , 1/2 <= s <= 1

```

این تعریف همان ایده‌ی طبیعیِ «چسباندن دو هموتوپی» است:

در نیمه‌ی اول بازه، مسیر `f` را به `f'` تغییر می‌دهیم و در نیمه‌ی دوم، مسیر `g` را به `g'`.

### بررسی سازگاری در نقطه اتصال

در `s = 1/2` داریم:

```text

F(1,t)

G(0,t)

```

و چون همه‌ی مسیرها حلقه‌های مبتنی در `x0` هستند، داریم:

```text

F(1,t) = x0

G(0,t) = x0

```

پس دو قسمت تعریف `H` در نقطه‌ی اتصال با هم برابرند. بنابراین `H` پیوسته است.

اکنون برای `t = 0` داریم:

```text

H(s,0) = (f * g)(s)

```

و برای `t = 1` داریم:

```text

H(s,1) = (f' * g')(s)

```

پس `H` یک هموتوپی از `f * g` به `f' * g'` است. در نتیجه:

```text

f * g ~ f' * g'

```

و بنابراین:

```text

[f] . [g] = [f * g]

```

خوب‌تعریف است.

---

## نتیجه

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

```text

pi_1(X,x0)

```

است.

---

## نکته درباره‌ی خود عکس‌ها

از روی تصاویر، این بخش‌ها با احتمال زیاد دیده می‌شوند:

- تعریفی شبیه

```text

[f] . [g] = [f * g]

```

- فرمول تکه‌ای برای `f * g`

- استفاده از هموتوپی‌های `F` و `G`

- ساختن یک هموتوپی جدید برای اثبات

```text

f * g ~ f' * g'

```

- اشاره به گروه بنیادی

```text

pi_1(X,x0)

```

اما چون عکس‌ها **خیلی تار** هستند، بعضی خطوط را نمی‌شود با قطعیت صددرصدی به خود دست‌نوشته نسبت داد؛ بنابراین بازنویسی بالا، **نسخه‌ی استاندارد و کتابیِ همان استدلال** است، نه رونویسی لفظ‌به‌لفظِ قطعی.

گروه بنیادی

توسط علی رضا نقش نیلچی | شنبه سوم مرداد ۱۴۰۵ | 1:29

با توجه به تصویر جدید و دست‌خط شما، این بخش از یادداشت‌ها به موضوعات پیشرفته‌تری در توپولوژی جبری، به‌ویژه **معکوس مسیرها** و تعریف **گروه بنیادی (Fundamental Group)** می‌پردازد.

در ادامه، متن این صفحه را با رعایت همان استاندارد (کتابی، مناسب بلاگفا و فرمول‌های چپ‌به‌راست) بازنویسی می‌کنم:

---

تعریف معکوس هموتوپی و گروه بنیادی

در این بخش به بررسی هموتوپی مسیر معکوس و نحوه تشکیل ساختار گروهی بر روی رده‌های هموتوپی می‌پردازیم.

۱. هموتوپی مسیر و معکوس آن

فرض کنید f یک مسیر در فضای X باشد. معکوس این مسیر که با f⁻¹ نشان داده می‌شود، به صورت زیر تعریف می‌گردد:

f⁻¹(s) = f(1-s)

هموتوپی مربوط به ترکیب یک مسیر با معکوس آن به صورت تکه‌ای (Piecewise) در یادداشت‌ها به این شکل آمده است:

H(s,t) = f(2s(1-t)) if 0 ≤ s ≤ 1/2

H(s,t) = f(2(1-s)(1-t)) if 1/2 ≤ s ≤ 1

این هموتوپی نشان می‌دهد که ترکیب یک مسیر و معکوس آن با مسیر ثابت (Constant path) هم‌ارز است:

[f] · [f⁻¹] = [eₓ]

۲. تعریف گروه بنیادی (Fundamental Group)

مجموعه رده‌های هم‌ارزیِ مسیرهای حلقوی (Loops) با نقطه پایه x₀، تحت عمل ضرب مسیرها یک گروه را تشکیل می‌دهند.

تعریف ضرب:

[f] · [g] = [f · g]

این گروه را گروه بنیادی یا گروه اساسی (Fundamental Group) فضای X در نقطه x₀ می‌نامیم و آن را با نماد زیر نمایش می‌دهیم:

π₁(X, x₀)

۳. وابستگی به مسیر

اگر فضای X یک فضای همبند راهی (Path-connected) باشد، آنگاه گروه‌های بنیادی ساخته شده در نقاط پایه مختلف مانند x و y با یکدیگر یکریخت (Isomorphic) خواهند بود:

π₁(X, x) ≅ π₁(X, y)

به عبارت دیگر، در فضاهای همبند راهی، ساختار گروه بنیادی به انتخاب نقطه پایه بستگی اساسی ندارد.

---

**نکات استخراج شده از تصویر:**
1. **بخش بالایی:** فرمول‌های هموتوپی مربوط به تابع معکوس و اثبات اینکه $f \cdot f^{-1} \sim e_x$ است.
2. **بخش میانی:** تعریف ضرب رده‌های هموتوپی $[f] \cdot [g]$.
3. **بخش پایینی:** ذکر این نکته که اگر فضا همبند راهی باشد، گروه‌های بنیادی در نقاط مختلف یکریخت‌اند.

هموتوپی، فضا یا توابع را به رده‌های هم‌ارزی تقسیم می‌کند.

توسط علی رضا نقش نیلچی | جمعه دوم مرداد ۱۴۰۵ | 21:3

---

# 1) نسخه جزوه‌ای و رسمی

**قضیه:**
رابطه هموتوپی `~` یک رابطه هم‌ارزی است.

**اثبات:****
برای اینکه نشان دهیم `~` یک رابطه هم‌ارزی است، باید سه خاصیت زیر را ثابت کنیم:

1. بازتابی
2. تقارنی
3. تعدی

فرض کنید `f, g, h : I -> X` توابع پیوسته باشند.

---

## الف) خاصیت بازتابی

می‌خواهیم نشان دهیم:
```
f ~ f
```

تابع
```text
F : I × I -> X
```
را به صورت
```
F(s,t) = f(s)
```
تعریف می‌کنیم.

این تابع پیوسته است، زیرا عملاً همان تابع `f` است و به متغیر `t` وابستگی ندارد. همچنین داریم:
```
F(s,0) = f(s)
F(s,1) = f(s)
```

پس `F` یک هموتوپی از `f` به `f` است. بنابراین:
```
f ~ f
```

---

## ب) خاصیت تقارنی

فرض کنید:
```text
f ~ g
```
آنگاه هموتوپی‌ای به نام `F` وجود دارد به طوری که:
``
F(s,0) = f(s)
F(s,1) = g(s)
```

اکنون تابع
```
G(s,t) = F(s,1-t)
```
را تعریف می‌کنیم.

چون `F` پیوسته است و تابع `1-t` نیز پیوسته است، پس `G` هم پیوسته است. حال داریم:
```
G(s,0) = F(s,1) = g(s)
G(s,1) = F(s,0) = f(s)
```

پس `G` یک هموتوپی از `g` به `f` است. در نتیجه:
```
g ~ f
```

---

## ج) خاصیت تعدی

فرض کنید:
```
f ~ g
```
و
```
g ~ h
```

پس دو هموتوپی `F` و `G` وجود دارند به طوری که:
```
F(s,0) = f(s), F(s,1) = g(s)
G(s,0) = g(s), G(s,1) = h(s)
```

اکنون تابع `H : I × I -> X` را به صورت تکه‌ای تعریف می‌کنیم:
```
H(s,t) = F(s,2t) , 0 <= t <= 1/2
H(s,t) = G(s,2t-1) , 1/2 <= t <= 1
```

### بررسی پیوستگی
- روی بازه `0 <= t <= 1/2`، تابع `H` پیوسته است.
- روی بازه `1/2 <= t <= 1`، تابع `H` نیز پیوسته است.

در نقطه اتصال `t = 1/2` داریم:
```
F(s,1) = g(s)
G(s,0) = g(s)
```
پس دو تعریف در این نقطه با هم برابرند. بنابراین `H` پیوسته است.

اکنون:
```
H(s,0) = F(s,0) = f(s)
H(s,1) = G(s,1) = h(s)
```

پس `H` یک هموتوپی از `f` به `h` است. بنابراین:
```
f ~ h
```

---

## نتیجه

پس رابطه `~` دارای سه خاصیت بازتابی، تقارنی و تعدی است؛ بنابراین یک **رابطه هم‌ارزی** است.

---

# 2) توضیح ساده و مفهومی

ایده‌ی اصلی هموتوپی این است که:

> اگر بتوانیم یک تابع را به‌صورت پیوسته و بدون پرش، کم‌کم به تابع دیگری تبدیل کنیم، می‌گوییم این دو تابع با هم هموتوپ‌اند.

حالا چرا این یک رابطه هم‌ارزی است؟

---

## بازتابی یعنی چه؟

هر تابعی با خودش هموتوپ است.

چرا؟
چون اصلاً لازم نیست چیزی را تغییر بدهیم. در تمام مراحل همان تابع اولیه را نگه می‌داریم.
یعنی از اول تا آخر، شکل تابع ثابت می‌ماند.

---

## تقارنی یعنی چه؟

اگر بتوانیم `f` را به `g` تبدیل کنیم، آن‌وقت می‌توانیم مسیر را برعکس برویم و `g` را به `f` تبدیل کنیم.

یعنی اگر یک فیلم از تغییر `f` به `g` داشته باشیم، کافی است فیلم را از آخر به اول پخش کنیم.

---

## تعدی یعنی چه؟

اگر:
- بتوانیم `f` را به `g` تبدیل کنیم،
- و بعد `g` را به `h` تبدیل کنیم،

آن‌وقت می‌توانیم این دو فرایند را پشت سر هم قرار دهیم و `f` را مستقیماً به `h` برسانیم.

یعنی:
- نیمه اول زمان: از `f` به `g`
- نیمه دوم زمان: از `g` به `h`

پس در مجموع یک مسیر پیوسته از `f` به `h` ساخته‌ایم.

---

# جمع‌بندی شهودی

پس هموتوپی دقیقاً رفتاری شبیه «هم‌ارز بودن» دارد:

- هر چیز با خودش هم‌ارز است.
- اگر `f` با `g` هم‌ارز باشد، `g` هم با `f` هم‌ارز است.
- اگر `f` با `g` و `g` با `h` هم‌ارز باشد، `f` با `h` هم‌ارز است.

بنابراین هموتوپی، فضا یا توابع را به **رده‌های هم‌ارزی** تقسیم می‌کند.

---

مثال ملموس: دایره در دلِ دونات

توسط علی رضا نقش نیلچی | جمعه دوم مرداد ۱۴۰۵ | 4:28

یک مثال ملموس: دایره در دلِ دونات

در توپولوژی جبری، یکی از ساده‌ترین نگاشت‌ها، نگاشت شمول (Inclusion Map) است. تصور کنید یک دایره (مثل یک کِش) را دورِ «دونات» (توروس) قرار می‌دهیم. ما عملاً دایره را به داخل توروس «شامل» کرده‌ایم.

ریاضی‌دان‌ها این نگاشت را با i : S¹ → T² نشان می‌دهند. حالا نگاشت القایی i_* چه می‌کند؟

i_* : π₁(S¹) → π₁(T²)

خیلی ساده است:

۱. گروه بنیادی دایره همان اعداد صحیح (&mathbb;Z) است (تعداد دور زدن).

۲. گروه بنیادی توروس، جفت‌اعداد (&mathbb;Z × &mathbb;Z) است (چون دو راه برای دور زدن وجود دارد).

نگاشت القایی i_* فقط به ما می‌گوید که این دایره در کدام جهتِ توروس قرار گرفته است. اگر دایره دورِ «کمر» توروس بپیچد، نگاشت ما مسیر را به (1,0) می‌فرستد. اگر دورِ «بدنه» بپیچد، به (0,1) می‌فرستد.

خلاصه: نگاشت القایی، «جایگاه» یک مسیر در فضا را به زبانِ جبر ترجمه می‌کند.

مثال مفهومی: نگاشت پوششی خط بر دایره

توسط علی رضا نقش نیلچی | جمعه دوم مرداد ۱۴۰۵ | 4:24

مثال مفهومی: نگاشت پوششی خط بر دایره

در توپولوژی جبری، گاهی نگاشت‌هایی داریم که فضاها را «لایه به لایه» می‌پوشانند. کلاسیک‌ترین مثال، نگاشت

p : &mathbb;R → S¹

تعریف شده با

p(t) = e^2πit

است.

این نگاشت، خط حقیقی را مانند نواری که بی‌نهایت بار دور یک استوانه پیچیده شده است، بر دایره منطبق می‌کند.

اگر بخواهیم رفتار این نگاشت را در سطح گروه بنیادی بررسی کنیم، باید به دو نکته دقت کنیم:

گروه بنیادی دامنه: خط حقیقی یک فضای منقبض‌شونده است، پس π₁(&mathbb;R) = 0.

گروه بنیادی برد: دایره دارای گروه بنیادی π₁(S¹) ≅ &mathbb;Z است.

بنابراین نگاشت القایی p_* به صورت زیر است:

p_* : 0 → &mathbb;Z

این مثال به ما می‌آموزد که اگرچه نگاشت پوششی در هندسه بسیار «پرکار» است (هر نقطه از دایره بی‌نهایت پیش‌تصویر در خط دارد)، اما در ساختار گروه بنیادی، تمام مسیرهای بسته در &mathbb;R باید به مسیر ثابت در S¹ نگاشت شوند.

مثال: نگاشت القایی روی گروه بنیادی دایره

توسط علی رضا نقش نیلچی | جمعه دوم مرداد ۱۴۰۵ | 4:18

مثال: نگاشت القایی روی گروه بنیادی دایره

یکی از مهم‌ترین و آشناترین مثال‌ها برای نگاشت القایی، نگاشت

φ : S¹ → S¹

به صورت زیر است:

φ(z) = zⁿ

در اینجا

n

یک عدد صحیح است. می‌دانیم که:

π₁(S¹,1) ≅ Z

مولد این گروه را می‌توان با مسیر

f(t) = e^2πit

نمایش داد.

حال تصویر این مسیر تحت نگاشت

φ

برابر است با:

(φ ∘ f)(t) = φ(e^2πit) = (e^2πit)ⁿ = e^2πint

بنابراین این مسیر جدید، دایره را

n

بار دور می‌زند. به همین دلیل، نگاشت القایی

φ_*

روی گروه بنیادی به صورت زیر عمل می‌کند:

φ_* : π₁(S¹,1) → π₁(S¹,1)

و در شناسایی

π₁(S¹,1) ≅ Z

داریم:

φ_*(k) = nk

نتیجه

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

z ↦ zⁿ

همان ضریب

n

در اثر آن بر گروه بنیادی است.

خوش‌تعریف بودن نگاشت القایی روی گروه بنیادی

توسط علی رضا نقش نیلچی | جمعه دوم مرداد ۱۴۰۵ | 4:14

خوش‌تعریف بودن نگاشت القایی روی گروه بنیادی

فرض کنید
φ : (X,x₀) → (Y,y₀)
یک نگاشت پیوسته بین دو فضای نشانه‌دار باشد. برای هر حلقه
f
در
X
بر پایه‌ی
x₀
تعریف می‌کنیم:

φ_*([f]) = [φ ∘ f]

اکنون باید نشان دهیم که این تعریف خوش‌تعریف است؛ یعنی اگر
[f] = [g]
باشد، آنگاه:

[φ ∘ f] = [φ ∘ g]

چون
[f] = [g]
، یک هموتوپی نسبی بین
f
و
g
وجود دارد. یعنی تابعی از نوع
H : I × I → X
داریم به طوری که:

H(s,0) = f(s)

H(s,1) = g(s)

H(0,t) = H(1,t) = x₀

اکنون ترکیب این هموتوپی با
φ
را در نظر می‌گیریم:

φ ∘ H : I × I → Y

این تابع نیز یک هموتوپی بین
φ ∘ f
و
φ ∘ g
است، زیرا:

(φ ∘ H)(s,0) = φ(H(s,0)) = φ(f(s))

(φ ∘ H)(s,1) = φ(H(s,1)) = φ(g(s))

همچنین چون برای همه‌ی
t ∈ I
داریم:

H(0,t) = H(1,t) = x₀

پس:

(φ ∘ H)(0,t) = φ(x₀) = y₀

(φ ∘ H)(1,t) = φ(x₀) = y₀

بنابراین این هموتوپی نیز نسبی نسبت به نقاط پایه است. در نتیجه:

[φ ∘ f] = [φ ∘ g]

پس تعریف
φ_*([f]) = [φ ∘ f]
مستقل از انتخاب نماینده‌ی کلاس هموتوپی است و بنابراین
φ_*
خوش‌تعریف می‌باشد.

نتیجه

در نتیجه، نگاشت القایی
φ_* : π₁(X,x₀) → π₁(Y,y₀)
به‌خوبی تعریف شده است و این نخستین گام برای اثبات فونکتوری بودن گروه بنیادی به شمار می‌آید.

نگاشت القایی روی گروه بنیادی و اثبات هم‌ریختی بودن آن

توسط علی رضا نقش نیلچی | جمعه دوم مرداد ۱۴۰۵ | 1:31

نگاشت القایی روی گروه بنیادی و اثبات هم‌ریختی بودن آن

فرض کنید

φ : (X,x₀) → (Y,y₀)

یک نگاشت پیوسته بین دو فضای توپولوژیک نشانه‌دار باشد. در این صورت، نگاشت القایی

φ_*

روی گروه‌های بنیادی به صورت زیر تعریف می‌شود:

φ_* : π₁(X,x₀) → π₁(Y,y₀),

φ_*([f]) = [φ ∘ f]

یعنی به هر کلاس هموتوپی حلقه

[f]

در فضای

X

، کلاس هموتوپی حلقه

φ ∘ f

در فضای

Y

نسبت داده می‌شود.

اثبات هم‌ریختی بودن نگاشت القایی

برای اثبات اینکه

φ_*

یک هم‌ریختی گروهی است، باید نشان دهیم:

φ_*([f]*[g]) = φ_*([f]) * φ_*([g])

فرض کنید

f

و

g

دو حلقه در

X

با نقطه پایه

x₀

باشند. طبق تعریف ضرب در گروه بنیادی، داریم:

(f*g)(s) =

{ f(2s) 0 ≤ s ≤ 1/2

{ g(2s-1) 1/2 ≤ s ≤ 1

اکنون ترکیب این مسیر با نگاشت

φ

را محاسبه می‌کنیم:

(φ ∘ (f*g))(s) =

{ φ(f(2s)) 0 ≤ s ≤ 1/2

{ φ(g(2s-1)) 1/2 ≤ s ≤ 1

از سوی دیگر، اگر ابتدا

f

و

g

را به وسیله‌ی

φ

به فضای

Y

بفرستیم و سپس ضرب بگیریم، خواهیم داشت:

((φ ∘ f) * (φ ∘ g))(s) =

{ (φ ∘ f)(2s) 0 ≤ s ≤ 1/2

{ (φ ∘ g)(2s-1) 1/2 ≤ s ≤ 1

ولی واضح است که:

(φ ∘ (f*g))(s) = ((φ ∘ f) * (φ ∘ g))(s)

پس نتیجه می‌گیریم:

φ ∘ (f*g) = (φ ∘ f) * (φ ∘ g)

بنابراین در سطح کلاس‌های هموتوپی داریم:

φ_*([f]*[g])

= [φ ∘ (f*g)]

= [(φ ∘ f) * (φ ∘ g)]

= [φ ∘ f] * [φ ∘ g]

= φ_*([f]) * φ_*([g])

در نتیجه، نگاشت القایی

φ_*

یک هم‌ریختی از

π₁(X,x₀)

به

π₁(Y,y₀)

است.

ویژگی‌های فونکتوری نگاشت القایی

نگاشت القایی علاوه بر هم‌ریختی بودن، دو خاصیت مهم دیگر نیز دارد:

1) سازگاری با نگاشت همانی

اگر

id_X : X → X

نگاشت همانی باشد، آنگاه:

(id_X)_* = id_{π₁(X,x₀)}

زیرا برای هر

[f] ∈ π₁(X,x₀)

داریم:

(id_X)_*([f]) = [id_X ∘ f] = [f]

2) سازگاری با ترکیب نگاشت‌ها

اگر

φ : (X,x₀) → (Y,y₀)

و

ψ : (Y,y₀) → (Z,z₀)

دو نگاشت پیوسته باشند، آنگاه:

(ψ ∘ φ)_* = ψ_* ∘ φ_*

زیرا برای هر کلاس

[f]

داریم:

((ψ ∘ φ)_*)([f])

= [(ψ ∘ φ) ∘ f]

= [ψ ∘ (φ ∘ f)]

= ψ_*([φ ∘ f])

= (ψ_* ∘ φ_*)([f])

نتیجه

پس نگاشت القایی نه تنها یک هم‌ریختی بین گروه‌های بنیادی ایجاد می‌کند، بلکه با نگاشت همانی و ترکیب نگاشت‌ها نیز سازگار است. به همین دلیل، گروه بنیادی یک

functor

از رده‌ی فضاهای نشانه‌دار به رده‌ی گروه‌ها به شمار می‌آید.

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

توسط علی رضا نقش نیلچی | جمعه دوم مرداد ۱۴۰۵ | 1:12

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

فرض کنید φ: X → Y یک نگاشت پیوسته باشد و x₀ ∈ X یک نقطه پایه باشد. آنگاه نگاشت القایی

روی گروه بنیادی به صورت زیر تعریف می‌شود:

    φ* : π1(X, x0) → π1(Y, φ(x0))
    
    φ*([f]) = [φ ∁ f]

در ادامه نشان می‌دهیم که این نگاشت، یک همریختی گروهی است.

اثبات

برای هر دو کلاس [f] و [g] در π₁(X, x₀) داریم:

    φ*([f] * [g]) = φ*([f * g]) = [φ ∁ (f * g)]
    
    = [(φ ∁ f) * (φ ∁ g)]
    
    = [φ ∁ f] * [φ ∁ g]
    
    = φ*([f]) * φ*([g])

پس نگاشت φ_* ضرب را حفظ می‌کند، بنابراین یک همریختی گروهی است.

خوش‌تعریف بودن نگاشت

اگر دو حلقه f و g در X هموتوپ باشند، یعنی

[f] = [g]، چون φ پیوسته است، ترکیب آن با این دو حلقه نیز هموتوپ خواهد بود:

    f ≃ g  ⇒  φ ∁ f ≃ φ ∁ g
  

بنابراین تعریف

φ_*([f]) = [φ ∁ f]

به نماینده‌ی کلاس هموتوپی وابسته نیست و نگاشت خوش‌تعریف است.

نتیجه:

اگر φ: X → Y پیوسته باشد، آنگاه نگاشت القایی

φ_* : π₁(X, x₀) → π₁(Y, φ(x₀))

یک همریختی گروهی است.

قضیه: استقلال گروه بنیادی از نقطه پایه در فضاهای همبند راهی

توسط علی رضا نقش نیلچی | جمعه دوم مرداد ۱۴۰۵ | 0:45

قضیه: استقلال گروه بنیادی از نقطه پایه در فضاهای همبند راهی

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

بیان قضیه: فرض کنید X یک فضای همبند راهی و x₀, x₁ ∈ X دو نقطه دلخواه باشند. در این صورت:

            π₁(X, x₀) ≅ π₁(X, x₁)
        

اثبات قضیه:

چون فضا همبند راهی است، پس حداقل یک مسیر مانند α وجود دارد که نقطه x₀ را به x₁ وصل می‌کند. یعنی:

        α: [0, 1] → X ,    α(0) = x₀ ,    α(1) = x₁
    

با استفاده از این مسیر، نگاشت انتقال β_α را از π₁(X, x₀) به π₁(X, x₁) به صورت زیر تعریف می‌کنیم:

        βα([f]) = [ᾱ * f * α]
    

در این تعریف، f یک حلقه بر پایه x₀، مسیر ᾱ معکوس مسیر α (از x₁ به x₀) و علامت * نشان‌دهنده ضرب مسیرهاست. برای اثبات اینکه β_α یک یکریختی گروهی است، باید سه گام را طی کنیم:

گام اول: خوش‌تعریف بودن (Well-definedness)

باید نشان دهیم که تعریف نگاشت به نماینده کلاس هموتوپی بستگی ندارد. فرض کنید [f] = [g] در π₁(X, x₀) باشد. این یعنی هموتوپی با حفظ نقاط مرزی بین f و g وجود دارد. با ترکیب هموتوپی‌ها، آشکار است که هموتوپی با حفظ نقاط مرزی بین دو مسیر ترکیب‌شده نیز برقرار است:

        ᾱ * f * α ≃ ᾱ * g * α  ⇒  [ᾱ * f * α] = [ᾱ * g * α]
    

بنابراین نگاشت خوش‌تعریف است.

گام دوم: همومورفیسم گروهی (Group Homomorphism)

باید نشان دهیم ضرب گروهی تحت این نگاشت حفظ می‌شود. برای دو کلاس [f] و [g] داریم:

        βα([f] · [g]) = βα([f * g]) = [ᾱ * (f * g) * α]

        βα([f]) · βα([g]) = [ᾱ * f * α] * [ᾱ * g * α] = [ᾱ * f * (α * ᾱ) * g * α]

از آنجا که ترکیب مسیر α * ᾱ با هموتوپی به مسیر ثابت در نقطه x₀ (یعنی e_x₀) تقلیل می‌یابد، داریم:

        ᾱ * f * (α * ᾱ) * g * α ≃ ᾱ * f * ex₀ * g * α ≃ ᾱ * (f * g) * α
    

در نتیجه، β_α([f] · [g]) = β_α([f]) · β_α([g]) برقرار است.

گام سوم: یک‌به‌یک و پوشا بودن (Bijection)

برای اثبات دوسویی، نشان می‌دهیم که نگاشت β_ᾱ (نگاشت انتقال در امتداد مسیر معکوس) وارون چپ و راست نگاشت اول است:

        βᾱ(βα([f])) = βᾱ([ᾱ * f * α]) = [α * (ᾱ * f * α) * ᾱ]

                                            ≃ [ex₀ * f * ex₀] ≃ [f]

به طور مشابه، β_α ˆ β_ᾱ = id روی π₁(X, x₁) برقرار است. از این رو، نگاشت β_α یک ایزومورفیسم (یکریختی) است.

نکته مهم: اگرچه گروه‌های بنیادی هم‌ارز و یکریخت هستند، اما این یکریختی به طور کلی به انتخاب مسیر α بستگی دارد. اگر دو مسیر ناهموتوپ میان دو نقطه وجود داشته باشند، یکریختی‌های متفاوتی تولید می‌کنند که تفاوت آن‌ها در حد یک خودریختی داخلی (Inner Automorphism) خواهد بود.

همولوژی؛ زبان جبریِ سنجشِ حفره‌های فضا

توسط علی رضا نقش نیلچی | پنجشنبه یکم مرداد ۱۴۰۵ | 23:2

همولوژی؛ زبان جبریِ سنجشِ حفره‌های فضا

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

ایده‌ی اصلی همولوژی این است که به هر فضا، دنباله‌ای از گروه‌های آبلی نسبت می‌دهیم که اطلاعات توپولوژیک آن را ثبت می‌کنند. این گروه‌ها با نمادهایی مانند H₀(X)، H₁(X)، H₂(X) و الی آخر نشان داده می‌شوند. هر یک از این گروه‌ها بخشی از ساختار فضا را آشکار می‌کند:

H₀ تعداد مؤلفه‌های همبند را نشان می‌دهد،

H₁ حلقه‌ها و دورهای بسته را ثبت می‌کند،

و گروه‌های مرتبه‌های بالاتر، حفره‌های پیچیده‌تر را توصیف می‌کنند.

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

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

دالان هموتوپی و گذار به تقارن جبری: مقدمه‌ای بر ساختار ناورداها

توسط علی رضا نقش نیلچی | پنجشنبه یکم مرداد ۱۴۰۵ | 22:57

دالان هموتوپی و گذار به تقارن جبری: مقدمه‌ای بر ساختار ناورداها

یکی از ژرف‌ترین پرسش‌های توپولوژی مدرن، چگونگی تشخیص و رده‌بندی فضاهای هندسی تحت تغییر شکل‌های پیوسته (هموتوپی) است. از نگاه شهودی، کشیدن، خم کردن یا فشردن یک فضا بدون پاره کردن آن، ویژگی‌های ذاتی فضا را تغییر نمی‌دهد. اما برای اثبات دقیق ریاضی و تمایز میان این فضاها، ناگزیر به ترجمه ساختارهای مبهم هندسی به زبان دقیق و صلب جبر هستیم؛ فرآیندی که هسته اصلی توپولوژی جبری (Algebraic Topology) را شکل می‌دهد.

نقطه آغاز این مسیر، گروه بنیادی (Fundamental Group) است؛ ابزاری که با مطالعه کلاس‌های هموتوپی دورهای بسته، ساختاری جبری (که غالباً غیرآبلی و پیچیده است) را به هر فضا نسبت می‌دهد. اثبات قضایای پایه‌ای در این حوزه (نظیر وجود عضو همانی و معکوس برای کلاس‌های هموتوپی مسیرها) نیازمند نگاهی دقیق به رفتارهای زمان-مکان در طول هموتوپی است. تغییر متغیرهای گوناگون — از نگاشت‌های خطی و انقباض‌های موضعی گرفته تا افرازهای نمایی و توابع غیرخطی — هر یک زاویه‌ای نو از انعطاف‌پذیری هندسی مسیرها را آشکار می‌کنند.

مسئله عبور از آشوب غیرآبلی: با وجود دقت بالای گروه بنیادی، غیرآبلی بودن آن در فضاهای پیچیده محاسبات را دشوار می‌سازد. اینجاست که نظریه هومولوژی با معرفی گروه‌های آبلی و تعمیم‌پذیر وارد میدان می‌شود. پیوند میان این دو دیدگاه، شاهکاری جبری به نام قضیه هورویچ (Hurewicz Theorem) است که نشان می‌دهد چگونه اولین گروه هومولوژی تکین، نسخه تقلیل‌یافته و متقارن (آبلی‌شده) گروه بنیادی از مجرای زیرگروه جابه‌جاگر است.

در این مقاله، ابتدا با بررسی و مقایسه فنی ۱۱ روش اثبات گوناگون برای وجود عضو معکوس در گروه بنیادی، ظرافت‌های هندسی هموتوپی را به نظاره می‌نشینیم. سپس با ورود به قلمرو جبر تناظری، نقش زیرگروه جابه‌جاگر (Commutator Subgroup) و عملکرد نگاشت هورویچ را در فرآیند هموارسازی اطلاعات توپولوژیک واکاوی خواهیم کرد.

رابطه جابه‌جاگر گروه بنیادی و اولین گروه هومولوژی (قضیه هورویچ)

توسط علی رضا نقش نیلچی | پنجشنبه یکم مرداد ۱۴۰۵ | 22:32

رابطه جابه‌جاگر گروه بنیادی و اولین گروه هومولوژی (قضیه هورویچ)

گروه بنیادی یک فضای توپولوژیک مانند π₁(X, x₀) همواره آبلی نیست. برای ساده‌سازی محاسبات هندسی و استخراج ویژگی‌های هموار فضا، از مفهوم آبلی‌سازی (Abelianization) با استفاده از زیرگروه جابه‌جاگر (Commutator Subgroup) استفاده می‌شود.

۱. تعریف ریاضی جابه‌جاگر گروه بنیادی

اگر G = π₁(X, x₀) باشد، زیرگروه جابه‌جاگر آن که با [G, G] نشان داده می‌شود، توسط تمام عناصر به شکل aba^-1b^-1 تولید می‌شود (که در آن a و b کلاس‌های هموتوپی دورها در فضا هستند). خارج‌قسمت این گروه نسبت به جابه‌جاگر، یک گروه آبلی ایجاد می‌کند:

        Gab = π1(X, x0) / [π1(X, x0), π1(X, x0)]
    

۲. قضیه هورویچ (Hurewicz Theorem)

طبق قضیه هورویچ در بعد یک، اگر فضا مسیرپیوست باشد، اولین گروه هومولوژی تکین با ضرایب صحیح یعنی H₁(X; Z) با آبلی‌سازی گروه بنیادی ایزومورف است:

        π1(X, x0)ab ≅ H1(X; Z)
    

این هم‌ارزی به ما اجازه می‌دهد تا ساختار جبری هومولوژی را که محاسبه آن ساده‌تر است (چون همیشه آبلی است)، مستقیماً به گروه بنیادی متصل کنیم.

۳. مثال‌های کلاسیک از این تناظر

فضای توپولوژیک (X)	گروه بنیادی π₁(X)	جابه‌جاگر [π₁, π₁]	هومولوژی H₁(X; Z)
توروس (Torus - T²)	Z × Z (آبلی)	{0}	Z ⊕ Z
بطری کلاین (Klein Bottle)	⟨ a, b \| bab^-1 = a^-1 ⟩	⟨ a² ⟩	Z ⊕ Z₂
سطح گونای دو (Genus 2 Surface)	π₁(Σ₂) (غیرآبلی)	زیرگروه مولدهای غیربدیهی	Z⁴

نکته هندسی: در بطری کلاین، وجود رابطه غیرآبلی روی دورها باعث می‌شود که بعد از آبلی‌سازی، یک بخش پیچش (Torsion) به صورت Z₂ ظاهر شود که نشان‌دهنده غیرقابل‌جهت‌دهی (Non-orientability) بودن فضا است.

روش یازدهم که به «روش هموتوپی افراز لگاریتمی/نمایی»

توسط علی رضا نقش نیلچی | پنجشنبه یکم مرداد ۱۴۰۵ | 22:25

روش یازدهم: هموتوپی افراز نمایی (Exponential Scaling)

در این روش، برای انقباض مسیر f * f̄ به مسیر ثابت، از رفتار رشد و زوال توابع نمایی استفاده می‌کنیم. این کار باعث ایجاد یک تغییر سرعت غیرخطی و نرم در حین هموتوپی می‌شود.

تعریف ریاضی هموتوپی با پایه نمایی:

        F(t, s) = f( (e^((1-s)(1-|1-2t|)) - 1) / (e - 1) )
    

مکانیزم عملکرد ریاضی:

در لحظه آغاز (s = 0): نما به صورت 1 - |1-2t| عمل می‌کند. خروجی کسر در بازه رفت و برگشت به طور نمایی تا مقدار حداکثر ۱ رشد کرده و سپس به صفر باز می‌گردد.

در لحظه پایان (s = 1): نما در تمام طول مسیر صفر شده، صورت کسر برابر e⁰ - 1 = 0 شده و مقدار نهایی f(0) = x0 حاصل می‌شود.

پیوستگی سراسری: به دلیل ترکیب توابع نمایی پیوسته و قدر مطلق، نیازی به بررسی مرزهای چندگانه نیست.

تفسیر هندسی: در این روش، حرکت رفت و برگشت با شتاب نمایی آغاز می‌شود. با افزایش پارامتر s، نرخ رشد نمایی به شدت سرکوب شده تا جایی که کل نمودار حرکتی بر روی خط صفر خوابیده و به سکون کامل می‌رسد.

روش یازدهم که به «روش هموتوپی افراز لگاریتمی/نمایی» (Logarithmic/Exponential Scaling Homotopy)

توسط علی رضا نقش نیلچی | پنجشنبه یکم مرداد ۱۴۰۵ | 22:20

روش یازدهم: هموتوپی افراز نمایی (Exponential Scaling)

در این روش، برای انقباض مسیر f * f̄ به مسیر ثابت، از رفتار رشد و زوال توابع نمایی استفاده می‌کنیم. این کار باعث ایجاد یک تغییر سرعت غیرخطی و نرم در حین هموتوپی می‌شود.

تعریف ریاضی هموتوپی با پایه نمایی:

        F(t, s) = f( (e^((1-s)(1-|1-2t|)) - 1) / (e - 1) )
    

مکانیزم عملکرد ریاضی:

در لحظه آغاز (s = 0): نما به صورت 1 - |1-2t| عمل می‌کند. خروجی کسر در بازه رفت و برگشت به طور نمایی تا مقدار حداکثر ۱ رشد کرده و سپس به صفر باز می‌گردد.

در لحظه پایان (s = 1): نما در تمام طول مسیر صفر شده، صورت کسر برابر e⁰ - 1 = 0 شده و مقدار نهایی f(0) = x0 حاصل می‌شود.

پیوستگی سراسری: به دلیل ترکیب توابع نمایی پیوسته و قدر مطلق، نیازی به بررسی مرزهای چندگانه نیست.

تفسیر هندسی: در این روش، حرکت رفت و برگشت با شتاب نمایی آغاز می‌شود. با افزایش پارامتر s، نرخ رشد نمایی به شدت سرکوب شده تا جایی که کل نمودار حرکتی بر روی خط صفر خوابیده و به سکون کامل می‌رسد.

تعریف ریاضی هموتوپی به صورت تک‌ضابطه‌ای

توسط علی رضا نقش نیلچی | پنجشنبه یکم مرداد ۱۴۰۵ | 22:15

روش دهم: هموتوپی پیوسته نوسانی (Smooth Trigonometric)

در این روش، برای اثبات f * f̄ ∼ e از هیچ‌گونه فرمول چندضابطه‌ای یا شکستگی (مانند قدر مطلق) استفاده نمی‌شود. در عوض، با استفاده از یک تابع مثلثاتی هموار، مسیر رفت و برگشت را به صورت یک‌پارچه توصیف و منقبض می‌کنیم.

تعریف ریاضی هموتوپی به صورت تک‌ضابطه‌ای:

        F(t, s) = f( (1 - s) * sin²(πt) )
    

مزایای آنالیز ریاضی این روش:

در لحظه آغاز (s = 0): آرگومان به صورت sin²(πt) عمل می‌کند که در بازه [0, 0.5] از صفر به یک می‌رسد (رفت) و در بازه [0.5, 1] به صفر بازمی‌گردد (برگشت).

در لحظه پایان (s = 1): کل عبارت داخل پرانتز صفر شده و خروجی پایدار f(0) = x0 حاصل می‌شود.

همواری مطلق (Smoothness): این تابع به دلیل عدم استفاده از نقاط شکست، کاملاً هموار و مشتق‌پذیر بوده و نیازی به اثبات پیوستگی در مرزهای فرعی ندارد.

تفسیر هندسی: در این رویکرد، مسیر رفت و برگشت به جای حرکت شکسته و تیز، مانند یک موج سینوسی ملایم رفتار می‌کند. با افزایش s، دامنه این نوسان به‌آرامی فروکش کرده و سطح موج به صفر (نقطه شروع) منقبض می‌شود.

روش نهم: فشرده‌سازی بازه‌ی فعال (Active-Interval Compression)

توسط علی رضا نقش نیلچی | پنجشنبه یکم مرداد ۱۴۰۵ | 22:12

روش نهم: فشرده‌سازی بازه‌ی فعال (Active-Interval Compression)

در این روش، مسیر f * f̄ فقط روی یک بازه‌ی مرکزی از زمان اجرا می‌شود و

بیرون از آن بازه، تابع در نقطه‌ی پایه x0 ثابت می‌ماند. با افزایش پارامتر

s، این بازه‌ی مرکزی کوچک‌تر می‌شود تا در نهایت به یک نقطه فروبپاشد.

تعریف هموتوپی برای 0 ≤ s < 1:

    F(t,s) = x0, if 0 ≤ t ≤ s/2
    F(t,s) = f((2t-s)/(1-s)), if s/2 ≤ t ≤ 1/2
    F(t,s) = f((2-2t-s)/(1-s)), if 1/2 ≤ t ≤ 1-s/2
    F(t,s) = x0, if 1-s/2 ≤ t ≤ 1
  

و در s = 1:

    F(t,1) = x0
  

بررسی دو سر هموتوپی:

در s=0: فرمول به f(2t) در نیمه‌ی اول و f(2-2t) در نیمه‌ی دوم تبدیل می‌شود؛ یعنی دقیقاً f * f̄.

در s=1: کل حرکت حذف می‌شود و مسیر ثابت x0 به دست می‌آید.

پیوستگی در مرزها: در نقاط t=s/2 و t=1-s/2 مقدار تابع f(0)=x0 است و در t=1/2 هر دو ضابطه‌ی میانی مقدار f(1) می‌دهند.

تفسیر هندسی:

پنجره‌ی زمانیِ حرکت به‌تدریج از دو طرف بسته می‌شود؛ مسیر فقط در مرکز اجرا می‌شود و

بقیه‌ی زمان در نقطه‌ی پایه سپری می‌گردد. در پایان، این پنجره کاملاً ناپدید می‌شود.

تعریف ریاضی هموتوپی به صورت چندضابطه‌ای

توسط علی رضا نقش نیلچی | پنجشنبه یکم مرداد ۱۴۰۵ | 21:53

روش هشتم: هموتوپی قطاعی خطی (Piecewise Linear Sector)

در این روش، ما زمان پیمایش را به سه بخش متغیر تقسیم می‌کنیم. با افزایش پارامتر s، یک بازه توقف در وسط مسیر ایجاد می‌کنیم که در آن مقدار تابع روی f(1-s) ثابت می‌ماند.

تعریف ریاضی هموتوپی به صورت چندضابطه‌ای:

        F(t, s) = 
          { f(2t)          if 0 ≤ t ≤ (1-s)/2 
          { f(1-s)        if (1-s)/2 ≤ t ≤ (1+s)/2 
          { f(2 - 2t)      if (1+s)/2 ≤ t ≤ 1
    

چرا این روش پایدار و پیوسته است؟

در s = 0: بازه میانی منقبض شده و فرمول به صورت f(2t) در نیمه اول و f(2-2t) در نیمه دوم در می‌آید که معادل دقیق f * f̄ است.

در s = 1: بازه میانی کل دامنه یعنی [0, 1] را پوشش می‌دهد و مقدار آن f(0) = x0 می‌شود (مسیر ثابت).

پیوستگی در مرزها: در مرزهای انتقالی یعنی t = (1-s)/2 و t = (1+s)/2، مقادیر ضابطه‌ها به طور طبیعی بر هم منطبق شده و نیازی به وصله پینه ندارند.

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

روش هفتم: کوچک‌سازی ضربی (Multiplicative Shrinking)

توسط علی رضا نقش نیلچی | پنجشنبه یکم مرداد ۱۴۰۵ | 21:42

روش هفتم: کوچک‌سازی ضربی (Multiplicative Shrinking)

در این روش برای اثبات f * f̄ ∼ e از تابع خیمه‌ای

1 - |1 - 2t| استفاده می‌کنیم، اما به‌جای بریدن یا جابه‌جا کردن آن،

کل مسیر را با ضریب (1-s) به‌تدریج کوچک می‌کنیم.

تعریف هموتوپی:

    F(t,s) = f( (1-s)(1-|1-2t|) )
  

بررسی دو سر هموتوپی:

اگر s=0 باشد: داریم F(t,0)=f(1-|1-2t|) که همان رفت و برگشت روی مسیر f است؛ یعنی f * f̄.

اگر s=1 باشد: داریم F(t,1)=f(0)=x0، پس مسیر به مسیر ثابت تبدیل می‌شود.

برای 0≤s≤1: مقدار (1-s)(1-|1-2t|) همیشه در بازه [0,1] قرار دارد، پس تابع به‌خوبی تعریف شده است.

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

تفسیر هندسی:

قله‌ی تابع خیمه‌ای به‌تدریج کوتاه می‌شود؛ یعنی مسیر رفت و برگشت روی f

کم‌کم فشرده می‌شود تا در نهایت همه‌چیز در نقطه آغازین x0 جمع شود.

روش ششم: هموتوپی با مرزهای متحرک (Triangle Region)

توسط علی رضا نقش نیلچی | پنجشنبه یکم مرداد ۱۴۰۵ | 21:38

روش ششم: هموتوپی با مرزهای متحرک (Triangle Region)

در این روش، ما مربع واحد هموتوپی را به نواحی هندسی تقسیم می‌کنیم. ایده اصلی این است که با افزایش زمان s، بازه زمانی پیمایش مسیر f را از دو طرف منقبض کنیم.

تعریف هموتوپی F(t, s) در سه ناحیه:

        1) if s ≤ 2t ≤ 1:        F(t, s) = f(2t - s) 
        2) if 1 ≤ 2t ≤ 2 - s:    F(t, s) = f(2 - 2t - s) 
        3) otherwise:              F(t, s) = x0
    

تحلیل هندسی اثبات:

در s = 0: مسیر در بازه [0, 0.5] با سرعت دو برابر پیش می‌رود و در [0.5, 1] باز می‌گردد. این یعنی f * f̄.

در s = 1: نواحی (1) و (2) حذف شده و تنها نقطه باقی‌مانده t=0.5 است که مقدار آن f(0) = x0 می‌شود.

پیوستگی مرزها: در مرز ناحیه اول و سوم (جایی که 2t = s)، مقدار تابع f(0) = x0 است که با مقدار ناحیه "otherwise" سازگار است.

این روش نشان می‌دهد که چگونه می‌توان یک "پنجره زمانی" برای حرکت تعریف کرد که با گذشت زمان بسته می‌شود.

روش پنجم: روش جابه‌جایی مبنا (Floor-Shifting)

توسط علی رضا نقش نیلچی | پنجشنبه یکم مرداد ۱۴۰۵ | 21:22

روش پنجم: روش جابه‌جایی مبنا (Floor-Shifting)

در این رویکرد، برای اثبات f * f̄ ∼ e، از یک تابع جابه‌جایی پارامتریک استفاده می‌کنیم که بخش‌های انتهایی مسیر را در نقطه شروع "غرق" می‌کند.

تعریف تابع هموتوپی F(t, s):

        F(t, s) = f( max{ 0 , (1 - |1 - 2t|) - s } )
    

چرا این روش از نظر ریاضی ممتاز است؟

در لحظه شروع (s=0): تابع به صورت f(1 - |1 - 2t|) عمل می‌کند که نمایش دقیق حاصل‌ضرب مسیر در معکوس آن است.

در لحظه پایان (s=1): چون مقدار تابع خیمه‌ای (1 - |1 - 2t|) هرگز از ۱ بیشتر نمی‌شود، حاصل تفریق با s همواره صفر یا منفی است. تابع max تمام این مقادیر را به 0 تبدیل کرده و مسیر ثابت f(0) را تولید می‌کند.

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

تفسیر هندسی: در این روش، ما پارامتر زمانی را به زیر سطح صفر می‌رانیم. هر بخشی از زمان پیمایش که به زیر صفر برود، در نقطه شروع (x0) متوقف می‌ماند. با رسیدن s به یک، تمام زمان پیمایش در "خلاء" زیر صفر قرار گرفته و کل مسیر به یک نقطه منقبض می‌شود.

روش چهارم: روش سقف‌گذاری (Capping Method)

توسط علی رضا نقش نیلچی | پنجشنبه یکم مرداد ۱۴۰۵ | 20:45

روش چهارم: روش سقف‌گذاری (Capping Method)

در این روش، اثبات وجود معکوس با استفاده از یک تابع min ساده انجام می‌شود که میزان پیشروی در مسیر f را محدود می‌کند.

هموتوپی F(t, s) را به صورت تک‌ضابطه‌ای زیر تعریف می‌کنیم:

        F(t, s) = f( min{ 1 - s , 1 - |1 - 2t| } )
    

چرا این فرمول کار می‌کند؟

تحلیل s = 0: مقدار عبارت برابر می‌شود با f(1 - |1 - 2t|). این تابع در نیمه اول بازه برابر f(2t) و در نیمه دوم برابر f(2-2t) است که دقیقاً همان مسیر f * f̄ است.

تحلیل s = 1: مقدار عبارت برابر می‌شود با f(min{0, ...}) که همواره برابر f(0) یا همان نقطه x0 است (مسیر ثابت e).

پیوستگی: چون تابع min و تابع قدر مطلق هر دو پیوسته هستند، ترکیب آن‌ها با مسیر پیوسته f نیز لزوماً پیوسته خواهد بود.

نکته آموزشی: در این روش، گویی ما یک مانع (S) در برابر پیشروی مسیر قرار می‌دهیم. با افزایش s، این مانع پایین‌تر می‌آید تا جایی که در s=1، اجازه هیچ حرکتی را به مسیر نمی‌دهد.

روش سوم: بازپارامتریزه کردن و تحدب (Reparametrization)

توسط علی رضا نقش نیلچی | پنجشنبه یکم مرداد ۱۴۰۵ | 20:40

روش سوم: بازپارامتریزه کردن و تحدب (Reparametrization)

این روش بر این اصل استوار است که مسیر f * f̄ را می‌توان به صورت ترکیب تابع f با یک تابع تغییر پارامتر به نام φ نوشت:

        (f * f̄)(t) = f(φ(t))
    

که در آن تابع φ: [0, 1] → [0, 1] به صورت زیر تعریف می‌شود:

φ(t) = 2t (0 ≤ t ≤ 1/2)

φ(t) = 2 - 2t (1/2 ≤ t ≤ 1)

گام نهایی اثبات:

از آنجا که بازه [0, 1] یک فضای محدب است، هر دو تابع پیوسته از بازه به بازه با هم هموتوپ هستند. هموتوپی خطی بین تابع φ و تابع ثابت c(t) = 0 را به صورت زیر می‌سازیم:

        H(t, s) = (1 - s)φ(t)
    

اکنون هموتوپی مورد نظر برای مسیرها برابر است با F(t, s) = f(H(t, s)). بررسی شرایط:

لحظه s=0: برابر است با f(φ(t)) که همان f * f̄ است.

لحظه s=1: برابر است با f(0) که همان مسیر ثابت e است.

نتیجه: [f][f̄] = [e]

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

توسط علی رضا نقش نیلچی | پنجشنبه یکم مرداد ۱۴۰۵ | 20:31

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

در این روش برای اثبات f * f̄ ∼ e، به جای تغییر سرعت، بازه پیمایش مسیر را تغییر می‌دهیم. هموتوپی F(t, s) را به صورت سه ضابطه‌ای تعریف می‌کنیم:

        F(t, s) = 
        1) f(2t)              if 0 ≤ t ≤ (1-s)/2 
        2) f(1-s)             if (1-s)/2 ≤ t ≤ (1+s)/2 
        3) f(2-2t)            if (1+s)/2 ≤ t ≤ 1
    

چرا این هموتوپی معتبر است؟

تحلیل s=0: در این لحظه، ضابطه دوم حذف شده و مسیر ابتدا با سرعت دو برابر تا انتها رفته (f) و سپس با سرعت دو برابر باز می‌گردد (f̄). این یعنی همان f * f̄.

تحلیل s=1: در این لحظه، تمام نقاط بازه به f(0) نگاشته می‌شوند که همان مسیر ثابت e در نقطه شروع است.

پیوستگی در نقاط مرزی: در t = (1-s)/2 مقدار هر دو ضابطه اول و دوم برابر با f(1-s) است. همچنین در t = (1+s)/2 مقدار ضابطه دوم و سوم نیز برابر با f(1-s) است.

نتیجه هندسی: مسیر f را تا نقطه 1-s طی می‌کنیم، مدتی مکث می‌کنیم و سپس باز می‌گردیم. با افزایش s، این نقطه بازگشت به x0 نزدیک‌تر می‌شود.

اثبات وجود عضو معکوس در گروه بنیادی

توسط علی رضا نقش نیلچی | پنجشنبه یکم مرداد ۱۴۰۵ | 20:10

اثبات وجود عضو معکوس در گروه بنیادی

فرض کنید f مسیری در فضای X از نقطه x0 به x1 باشد. کلاس معکوس این مسیر با [f̄] نمایش داده می‌شود که در آن:

        f̄(t) = f(1 - t)
    

برای اثبات این‌که [f * f̄] = [e]، نگاشت هموتوپی F(t, s) را به صورت زیر تعریف می‌کنیم:

        F(t, s) = 
           { f(2t(1 - s)) ,          0 ≤ t ≤ 1/2 
           { f(2(1 - t)(1 - s)) ,     1/2 ≤ t ≤ 1
    

تحلیل هموتوپی:

در لحظه s = 0: مسیر تا انتهای f می‌رود و باز می‌گردد (یعنی همان حاصل‌ضرب f * f̄).

در لحظه s = 1: برای هر مقدار t، مقدار نگاشت برابر با f(0) = x0 می‌شود (یعنی مسیر ثابت e).

پیوستگی: در نقطه شکست t = 1/2، هر دو ضابطه مقدار f(1 - s) را می‌دهند، بنابراین نگاشت در تمام بازه پیوسته است.

بنابراین f * f̄ ∼ e است و در نتیجه در ساختار گروهی داریم:

[f][f̄] = [e]

e * f هموتوپ به f است.

توسط علی رضا نقش نیلچی | پنجشنبه یکم مرداد ۱۴۰۵ | 20:3

اثبات این که e * f هموتوپ به f است

فرض کنید f مسیری از x0 به x1 باشد و e مسیر ثابت در x0 باشد.

می‌خواهیم نشان دهیم:

[e * f] = [f]

ضرب مسیرها به صورت زیر تعریف می‌شود:

(e * f)(t) =

x0 برای 0 ≤ t ≤ 1/2

f(2t - 1) برای 1/2 ≤ t ≤ 1

حال هموتوپی F(t,s) را به صورت زیر تعریف می‌کنیم:

F(t,s) =

x0 برای 0 ≤ t ≤ s/2

f((t - s/2) / (1 - s/2)) برای s/2 ≤ t ≤ 1

در این تعریف، برای s = 0 داریم F(t,0) = f(t)،

و برای s = 1 داریم F(t,1) = (e * f)(t).

همچنین در نقطه مرزی t = s/2، هر دو ضابطه مقدار x0 را می‌دهند؛

پس F پیوسته است.

بنابراین e * f هموتوپ به f است.

نتیجه:

[e * f] = [f]

عضو بی اثر گروه بنیادی

توسط علی رضا نقش نیلچی | پنجشنبه یکم مرداد ۱۴۰۵ | 19:59

اثبات هموتوپی e * f ∼ f (وجود عضو همانی)

برای اثبات این‌که کلاس هموتوپی مسیر ثابت، عضو همانی ضرب است ($[e][f] = [f]$)، نگاشت $F(t, s)$ را به صورت زیر تعریف می‌کنیم:

        F(t, s) = 
           { x0 ,                             0 ≤ t ≤ s/2 
           { f( (t - s/2) / (1 - s/2) ) ,       s/2 ≤ t ≤ 1
    

روند اثبات و مقداردهی مرزی:

ضابطه دوم با استفاده از تغییر متغیر خطی روی بازه $[a, b] = [s/2, 1]$ به صورت $\frac{t-a}{b-a}$ به دست آمده است.

حالت s = 0:
در این حالت $F(t, 0) = f(t)$ بر روی کل بازه $[0, 1]$ به دست می‌آید.

حالت s = 1:
در این حالت داریم:

F(t, 1) = { x₀ (0 ≤ t ≤ 1/2) | f(2t - 1) (1/2 ≤ t ≤ 1) } = (e * f)(t)

بنابراین $e * f \sim f$ و در نتیجه در گروه بنیادی داریم:

[e][f] = [f]

کلاس هموتوپی مسیر ثابت، عضو همانی ضرب در گروه بنیادی است

توسط علی رضا نقش نیلچی | پنجشنبه یکم مرداد ۱۴۰۵ | 19:37

اثبات این که e * f هموتوپ به f است

فرض کنید f یک مسیر از x₀ به x₁ باشد و e مسیر ثابت در x₀ باشد.
باید نشان دهیم که:
[e * f] = [f]

طبق تعریف ضرب مسیرها داریم:

(e * f)(t) =

1) x₀ برای 0 ≤ t ≤ 1/2

2) f(2t - 1) برای 1/2 ≤ t ≤ 1

حال هموتوپی H(t,s) را به صورت زیر تعریف می‌کنیم:

H(t,s) =

1) x₀ برای 0 ≤ t ≤ (1 - s)/2

2) f((2t - (1 - s)) / (1 + s)) برای (1 - s)/2 ≤ t ≤ 1

در اینجا:

برای s = 0، دقیقا H(t,0) = (e * f)(t) به دست می‌آید.

برای s = 1، داریم H(t,1) = f(t).

همچنین در مرز دو قسمت، هر دو ضابطه مقدار x₀ را می‌دهند؛
پس H پیوسته است. بنابراین e * f هموتوپ به f است.

پس نتیجه می‌گیریم:

[e * f] = [f]

جدول برخی از گروه‌های بنیادی فضاهای مشهور

توسط علی رضا نقش نیلچی | پنجشنبه یکم مرداد ۱۴۰۵ | 19:16

جدول برخی از گروه‌های بنیادی فضاهای مشهور

فضا	گروه بنیادی	توضیح کوتاه
فضای اقلیدسی Rⁿ	0	هر حلقه به نقطه منقبض می‌شود.
دایره S¹	Z	تعداد دور زدن حلقه‌ها با اعداد صحیح سنجیده می‌شود.
کره Sⁿ ، برای n ≥ 2	0	کره‌های با بعد بالاتر ساده‌پیوسته‌اند.
استوانه S¹ × I	Z	از نظر هموتوپی معادل دایره است.
توروس T² = S¹ × S¹	Z × Z	دو جهت مستقل برای پیمایش دارد.
صفحه با یک نقطه حذف‌شده R² \ {0}	Z	حلقه‌ها بر حسب تعداد دور زدن حول مبدأ طبقه‌بندی می‌شوند.
Rⁿ \ {0} ، برای n ≥ 3	0	در ابعاد بالاتر حلقه‌ها قابل جمع شدن‌اند.
صفحه تصویری حقیقی RP²	Z₂	دارای پوشش دوبرابر کره است.
فضای تصویری حقیقی RPⁿ ، برای n ≥ 2	Z₂	گروه بنیادی آن از مرتبه 2 است.
نوار موبیوس	Z	از نظر هموتوپی به یک دایره فروکاست می‌شود.
بطری کلاین	<a,b \| aba^-1 = b^-1>	نمونه‌ای مهم از فضای با گروه بنیادی غیرآبلی.
گوه‌ی دو دایره S¹ ∨ S¹	F₂	گروه آزاد با دو مولد.
گوه‌ی n دایره ∨_i=1ⁿ S¹	F_n	گروه آزاد با n مولد.
هر فضای هم‌قراردادی	0	هر فضای قابل انقباض گروه بنیادی بدیهی دارد.

نکته: در این جدول، نماد 0 نشان‌دهنده گروه بدیهی،

Z نشان‌دهنده گروه اعداد صحیح،

Z₂ نشان‌دهنده گروه دوری مرتبه ۲،

و F_n نشان‌دهنده گروه آزاد با n مولد است.

خاصیت بنیادی گروه بنیادی

توسط علی رضا نقش نیلچی | پنجشنبه یکم مرداد ۱۴۰۵ | 19:9

۱۰ خاصیت بنیادی گروه بنیادی (π₁)

ساختار گروهی: تشکیل گروه تحت عمل ضرب کلاس‌های هموتوپی مسیرها.

ناوردای توپولوژیک: فضاهای هم‌ریخت، گروه‌های بنیادی یکسان دارند.

استقلال در مسیر-پیوستگی: در فضاهای مسیر-پیوسته، نقطه پایه در ساختار کلی گروه بی‌تاثیر است.

ناوردای هموتوپی: فضاهای هم‌تیپ هموتوپی، گروه‌های بنیادی ایزومورف دارند.

خاصیت تابعی: تبدیل نگاشت‌های پیوسته به هم‌ریختی‌های جبری.

ضرب دکارتی: π₁(X×Y) ≅ π₁(X)×π₁(Y).

ساده-پیوستگی: فضایی که هر حلقه در آن به نقطه منقبض می‌شود (π₁=0).

رابطه با همولوژی: همولوژی اول، نسخه آبلی‌شده‌ی گروه بنیادی است.

ارتباط با فضای پوششی: تناظر یک‌به‌یک بین زیرگروه‌ها و فضاهای پوششی.

قضیه ون-کامپن: ابزار محاسباتی برای به دست آوردن گروه بنیادی از طریق قطعات فضا.

آموزش ریاضی

ظاهراً ادامه‌ی بحث **عمل ضرب روی کلاس‌های هموتوپی مسیرها** و **خوب‌تعریف‌بودن این عمل**

گروه بنیادی

تعریف معکوس هموتوپی و گروه بنیادی

۱. هموتوپی مسیر و معکوس آن

۲. تعریف گروه بنیادی (Fundamental Group)

۳. وابستگی به مسیر

هموتوپی، فضا یا توابع را به **رده‌های هم‌ارزی** تقسیم می‌کند.

مثال ملموس: دایره در دلِ دونات

یک مثال ملموس: دایره در دلِ دونات

مثال مفهومی: نگاشت پوششی خط بر دایره

مثال مفهومی: نگاشت پوششی خط بر دایره

مثال: نگاشت القایی روی گروه بنیادی دایره

مثال: نگاشت القایی روی گروه بنیادی دایره

نتیجه

خوش‌تعریف بودن نگاشت القایی روی گروه بنیادی

خوش‌تعریف بودن نگاشت القایی روی گروه بنیادی

نتیجه

نگاشت القایی روی گروه بنیادی و اثبات هم‌ریختی بودن آن

نگاشت القایی روی گروه بنیادی و اثبات هم‌ریختی بودن آن

اثبات هم‌ریختی بودن نگاشت القایی

ویژگی‌های فونکتوری نگاشت القایی

نتیجه

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

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

اثبات

خوش‌تعریف بودن نگاشت

قضیه: استقلال گروه بنیادی از نقطه پایه در فضاهای همبند راهی

قضیه: استقلال گروه بنیادی از نقطه پایه در فضاهای همبند راهی

اثبات قضیه:

گام اول: خوش‌تعریف بودن (Well-definedness)

گام دوم: همومورفیسم گروهی (Group Homomorphism)

گام سوم: یک‌به‌یک و پوشا بودن (Bijection)

همولوژی؛ زبان جبریِ سنجشِ حفره‌های فضا

همولوژی؛ زبان جبریِ سنجشِ حفره‌های فضا

دالان هموتوپی و گذار به تقارن جبری: مقدمه‌ای بر ساختار ناورداها

دالان هموتوپی و گذار به تقارن جبری: مقدمه‌ای بر ساختار ناورداها

رابطه جابه‌جاگر گروه بنیادی و اولین گروه هومولوژی (قضیه هورویچ)

رابطه جابه‌جاگر گروه بنیادی و اولین گروه هومولوژی (قضیه هورویچ)

۱. تعریف ریاضی جابه‌جاگر گروه بنیادی

۲. قضیه هورویچ (Hurewicz Theorem)

۳. مثال‌های کلاسیک از این تناظر

روش یازدهم که به «روش هموتوپی افراز لگاریتمی/نمایی»

روش یازدهم: هموتوپی افراز نمایی (Exponential Scaling)

روش یازدهم که به «روش هموتوپی افراز لگاریتمی/نمایی» (Logarithmic/Exponential Scaling Homotopy)

روش یازدهم: هموتوپی افراز نمایی (Exponential Scaling)

تعریف ریاضی هموتوپی به صورت تک‌ضابطه‌ای

روش دهم: هموتوپی پیوسته نوسانی (Smooth Trigonometric)

روش نهم: فشرده‌سازی بازه‌ی فعال (Active-Interval Compression)

روش نهم: فشرده‌سازی بازه‌ی فعال (Active-Interval Compression)

تعریف ریاضی هموتوپی به صورت چندضابطه‌ای

روش هشتم: هموتوپی قطاعی خطی (Piecewise Linear Sector)

روش هفتم: کوچک‌سازی ضربی (Multiplicative Shrinking)

روش هفتم: کوچک‌سازی ضربی (Multiplicative Shrinking)

روش ششم: هموتوپی با مرزهای متحرک (Triangle Region)

روش ششم: هموتوپی با مرزهای متحرک (Triangle Region)

روش پنجم: روش جابه‌جایی مبنا (Floor-Shifting)

روش پنجم: روش جابه‌جایی مبنا (Floor-Shifting)

روش چهارم: روش سقف‌گذاری (Capping Method)

روش چهارم: روش سقف‌گذاری (Capping Method)

روش سوم: بازپارامتریزه کردن و تحدب (Reparametrization)

روش سوم: بازپارامتریزه کردن و تحدب (Reparametrization)

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

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

اثبات وجود عضو معکوس در گروه بنیادی

اثبات وجود عضو معکوس در گروه بنیادی

e * f هموتوپ به f است.

عضو بی اثر گروه بنیادی

اثبات هموتوپی e * f ∼ f (وجود عضو همانی)

کلاس هموتوپی مسیر ثابت، عضو همانی ضرب در گروه بنیادی است

جدول برخی از گروه‌های بنیادی فضاهای مشهور

خاصیت بنیادی گروه بنیادی

۱۰ خاصیت بنیادی گروه بنیادی (π1)

مشخصات وب

موضوعات وب

پیوندها

پیوندهای روزانه

آرشیو وب

آمارگیر وبلاگ

ظاهراً ادامه‌ی بحث عمل ضرب روی کلاس‌های هموتوپی مسیرها و خوب‌تعریف‌بودن این عمل

هموتوپی، فضا یا توابع را به رده‌های هم‌ارزی تقسیم می‌کند.

۱۰ خاصیت بنیادی گروه بنیادی (π₁)