Định lý phát biểu đầy đủ phải là: nếu hàm $f$ khả vi tại $x$ và $c$ là một hằng số thì hàm $cf$ cũng khả vi tại $x$, và $(cf)'(x) = c \cdot f'(x)$.
- Nesbit yêu thích
Gửi bởi nmlinh16
trong 27-03-2023 - 00:19
Dùng tiêu chuẩn tích phân:
Chuỗi đa cho hội tụ khi và chỉ khi tích phân suy rộng $$\int_{2}^{+\infty} \frac{1}{x (\ln x)^p}\,dx$$ hội tụ. Đổi biến $\ln(x) = t$, tích phân trên trở thành $$\int_{\ln 2}^{+\infty} \frac{1}{t^p}\,dt.$$ Tích phân này hội tụ khi và chỉ khi $p > 1$.
Gửi bởi nmlinh16
trong 24-03-2023 - 15:30
Chia sẻ cách làm của mình.
Câu a)
Nhận xét. Với $i, k \in \mathbb{N}^\ast$ và $(i-1)i + 1 \le k \le i(i+1)$ thì
$$\left(i - \frac{1}{2}\right)^2 < (i-1)i + 1 \le k \le i(i+1) < \left(i + \frac{1}{2}\right)^2,$$
suy ra $i - \frac{1}{2} < \sqrt{k} < i + \frac{1}{2}$, nên $\left \lceil k \right \rfloor = i$.
Từ đó dễ thấy $\left \lceil k \right \rfloor = i$ khi và chỉ khi $(i-1)i + 1 \le k \le i(i+1)$.
Do đó, với $n \in \mathbb{N}^\ast$, nếu ta đặt $m = \left \lceil n\right \rfloor$ (tức là $(m-1)m + 1 \le n \le m(m+1)$) thì
$$\begin{align*} a_n & = \sum_{i=1}^{m-1} \left(\sum_{k=(i-1)i+1}^{i(i+1)} \frac{1}{\left \lceil k \right \rfloor}\right) + \sum_{k=(m-1)m+1}^{n}\frac{1}{\left \lceil k \right \rfloor} - 2\sqrt{n} \\ & = \sum_{i=1}^{m-1} \left(2i \cdot \frac{1}{i} \right) + (n - (m-1)m) \cdot \frac{1}{m} - 2\sqrt{n} \\ & = 2(m-1) + \frac{n}{m} - (m-1) - 2\sqrt{n} \\ & = m + \frac{n}{m} - 2\sqrt{n} - 1. \end{align*}$$
Đặt $f_m(x) = m + \frac{x}{m} - 2\sqrt{x} - 1$, với $m \in \mathbb{N}^\ast$ và $x \in [(m-1)m, m(m+1)]$. Ta có $$f'_m(x) = \frac{1}{m} - \frac{1}{\sqrt{x}}.$$ Khảo sát hàm số $f_m$, ta thấy nó đạt cực trị tại các điểm $(m-1)m$, $m^2$ và $m(m+1)$. So sánh các giá trị của $f_m$ tại các điểm này, ta có $f_m(x) \in \left[-1, \frac{-2\sqrt{m-1}}{\sqrt{m-1} + \sqrt{m}}\right]$ với mọi $x \in [(m-1)m, m(m+1)]$.
Nói riêng, với $n \in \mathbb{N}^\ast$ và $m = \left \lceil n\right \rfloor$ thì $$a_n = f_m(n) \in \left[-1, \frac{-2\sqrt{m-1}}{\sqrt{m-1} + \sqrt{m}}\right].$$ Khi $n \to +\infty$ thì $m \to +\infty$ và $\frac{-2\sqrt{m-1}}{\sqrt{m-1} + \sqrt{m}} \to -1$, nên theo nguyên lý kẹp ta có $a_n \to -1$.
Câu b)
Đặt $$g_m(x) = \sqrt{x}(f_m(x) + 1) = m\sqrt{x} + \frac{x\sqrt{x}}{m} - 2x,$$ với $m \in \mathbb{N}^\ast$ và $x \in [(m-1)m, m(m+1)]$. Ta có $$g'_m(x) = \frac{m}{2\sqrt{x}} + \frac{3\sqrt{x}}{2m} - 2.$$
Khảo sát hàm số này, ta thấy $g_m$ đồng biến trên $[m^2,m(m+1)]$. Nói riêng, $$0 = b_{m^2} \le b_{m^2 +1} \le \cdots \le b_{m(m+1)} = \frac{\sqrt{m(m+1)}}{2m+1+2\sqrt{m(m+1)}} < \frac{1}{4}.$$
Ngoài ra, $b_{m(m+1)} \to \frac{1}{4}$ khi $m \to +\infty$.
Gửi bởi nmlinh16
trong 23-03-2023 - 20:54
Mình lấy $A$ là ma trân vuông cỡ $n$. Với $i_1,\ldots,i_r$ và $j_1,\ldots,j_r$ là hai bộ $r$ chỉ số (không nhất thiết đôi một phân biệt), ta ký hiệu
$$A^{i_1,\ldots,i_r}_{j_1,\ldots,j_r}$$
là định thức của ma trận cỡ $r \times r$ tạo bởi lấy các phần thử trên các hàng thứ $i_1,\ldots,i_r$ của $A$ và các cột thứ $j_1,\ldots,j_r$ của $A$.
Giả sử $A$ có hạng $r$, thế thì mọi định thức con cỡ $r+1$ của $A$ đều bằng $0$, và tồn tại một định thức con cỡ $r$ của $A$ khác $0$.
Vậy ta đã chứng minh nếu $A$ có hạng $r$ thì sau các phép biến đổi sơ cấp, các định thức con cấp $r+1$ cũng $A$ đều bằng $0$.
Ta còn phải chỉ ra rằng $A$ có một định thức con cấp $r$ khác $0$. Giả sử ban đầu $A$ có một định thức con cấp $r$ khác $0$ là $A^{i_1,\ldots,i_r}_{j_1,\ldots,j_r}$.
Vậy ma trận mới thu được vẫn có một định thức con cấp $r$ khác $0$ trong mọi trường hợp. Tương tự cho phép biến đổi cột $C_j \leftarrow C_j + \lambda C_{j'}$.
Gửi bởi nmlinh16
trong 23-03-2023 - 05:30
Bài hay, bump lên cho các bạn học sinh làm.
Gửi bởi nmlinh16
trong 20-03-2023 - 00:11
Để áp dụng suy luận như trên, bạn phải tìm một khoảng ổn định của $f$, nghĩa là một khoảng/đoạn $I$ sao cho với mọi $t \in I$ thì $f(t) \in I$.
Sau đó khi bạn có $x_0 \in I$ thì bằng quy nạp sẽ có $x_n \in I$ với mọi $n$.
Tiếp theo, nếu $f$ đồng biến trên $I$ thì dãy sẽ tăng hoặc giảm, tùy theo $x_1 \ge x_0$ hay $x_1 \le x_0$.
Nếu $x_1 \ge x_0$ thì $f(x_1) \ge f(x_0)$ vì $f$ đồng biến, hay $x_2 \ge x_1$. Tiếp tục, ta có $x_3 \ge x_2$... bằng quy nạp thì $x_{n+1} \ge x_n$ với mọi $n$, hay dãy $(x_n)$ tăng.
Tương tự, nếu $x_1 \le x_0$ thì dãy $(x_n)$ giảm.
Cần nói thêm là bài làm của bạn pcoVietnam2 ở trên là chưa chặt chẽ ở đoạn này:
"$f$ đồng biến trên $\mathbb{R}$."
Kết luận này là sai, $f$ không xác định tại điểm điểm $\frac{4}{3}$. Ta chỉ có $f'(t) \ge 0$ với $t \in (-\infty, \frac{4}{3})$ và $t \in (\frac{4}{3},+\infty)$, nghĩa là $f$ chỉ đồng biến trên các khoảng $(-\infty, \frac{4}{3})$ và $(\frac{4}{3},+\infty)$ mà thôi.
Gửi bởi nmlinh16
trong 07-03-2023 - 05:40
Xin được gửi các thành viên của diễn đàn bài viết của mình về sự liên hệ giữa lý thuyết số và lý thuyết nút:
"Tôpô số học: số nguyên tố giống nút như thế nào?"
https://drive.google...?usp=share_link
Gửi bởi nmlinh16
trong 15-02-2023 - 20:37
Có.
Chứng minh: Xét số thực $x > N$ tùy ý.
Vậy $f(rx) = rf(x)$ với mọi $r \ge 1$ và $x > N$.
Nói riêng, chẳng hạn lấy $T = N+1$ và đặt $a = \frac{f(T)}{T}$. Thế thì với mọi $x > T$, ta có
$$f(x) = f\left(\frac{x}{T}\cdot T\right) = \frac{x}{T}f(T) = ax.$$
Gửi bởi nmlinh16
trong 11-02-2023 - 06:39
THÔNG TIN CHUNG
PHẠM TRÙ
Giống như nhiều đồng nghiệp của mình, tôi bị toán học lôi cuốn phần vì trí nhớ tệ của mình. Điều này có thể làm nhiều người bối rối khi họ nhớ rằng môn toán ở phổ thông là một mớ công thức phải thuộc — các đẳng thức lượng giác chẳng hạn. Nhưng tôi lại thấy chúng rất dễ chịu vì hầu hết những công thức thường dùy đều có thể rút ra từ $\sin^2 \theta + \cos^2 \theta = 1$, đẳng thức mà tự thân nó có một kiến giải hình học tao nhã: đó chỉ là hệ quả trực tiếp của định lý Pythagore cho tam giác vuông với cạnh huyền bằng 1 và một góc nhọn bằng $\theta$.
ĐỐI XỨNG
Các tầng trừu tượng, từ những cấu trúc toán học cụ thể đến những hệ tiên đề và sau đó là các vật trong phạm trù, mở ra một thách thức mới: sự “như nhau” giữa một vật và một vật khác không còn rõ ràng nữa. Chẳng hạn, một nhóm, đối tượng toán học được cho bởi một họ trừu tượng các phép đối xứng mà các phần tử của nó được Amie Wilkinson (Đại học Chicago) mô tả như những “chuyển động” lật hoặc xoay một đối tượng để đưa nó về trạng thái gần giống như ban đầu.
PHẠM TRÙ VÔ CỰC
MỘT SỐ THUẬT NGỮ TOÁN HỌC HIỆN ĐẠI
CHÂN TRỜI TƯƠNG LAI
Gửi bởi nmlinh16
trong 03-02-2023 - 06:32
4. Liên hợp Quillen
Mệnh đề - Định nghĩa 4.1. Cho $F: \mathbf{M} \leftrightarrows \mathbf{N} :G$ là một cặp hàm tử liên hợp giữa hai phạm trù mô hình. Khi đó 4 khẳng định sau đây tương đương
Khi các điều kiện trên được thỏa mãn, ta nói $F$ và $G$ là một cặp liên hợp Quillen.
Chứng minh. Nhắc lại (Mệnh đề 2.2) rằng một cấu xạ là một đối phân thớ (tương ứng, đối phân thớ acyclic) khi và chỉ khi nó có tính chất nâng trái đối với mọi phân thớ acyclic (tương ứng, phân thớ). Một cách đối ngẫu, một cấu xạ là một phân thớ (tương ứng, phân thớ acyclic) khi và chỉ khi nó có tính chất nâng phải đối với mọi đối phân thớ acyclic (tương ứng, đối phân thớ).
Ta chứng minh rằng nếu $F$ bảo toàn đối phân thớ thì $G$ bảo toàn phân thớ acyclic. Thật vậy, cho $p: X \tilde{\twoheadrightarrow} Y$ là một phân thớ acyclic trong $\mathbb{N}$. Ta chứng minh rằng $Gp: GX \to GY$ là một phân thớ acyclic trong $\mathbf{N}$. Xét $i: A \hookrightarrow B$ là một đối phân thớ tùy ý (trong $\mathbf{N}$). Vì $Fi$ là một đối phân thớ nên theo (MC4), tồn tại mũi tên đứt làm giao hoán biểu đồ với các mũi tên liền
Sau khi lấy liên hợp, ta thu được mũi tên đứt làm giao hoán biểu đồ với các mũi tên liền
Vậy $i \perp Gp$. Suy ra $Gp$ là một đối phân thớ acyclic.
Tương tự, nếu $F$ bảo toàn đối phân thớ acyclic thì $G$ bảo toàn phân thớ. Một cách đối ngẫu, nếu $G$ bảo toàn phân thớ (tương ứng, phân thớ acyclic) thì $F$ bảo toàn đối phân thớ acyclic (tương ứng, đối phân thớ). Từ các kết quả này, ta dễ thấy rằng 4 điều kiện đã cho tương đương. $\square$
Nhận xét rằng nếu $F: \mathbf{M} \leftrightarrows \mathbf{N} :G$ là một cặp liên hợp Quillen thì $F$ bảo toàn vật đối phân thớ (tương ứng, $G$ bảo toàn vật phân thớ). Thật vậy $F \varnothing = \varnothing$ (vì $F$ bảo toàn đối giới hạn) và $G \ast = \ast$ (vì $G$ bảo toàn giới hạn). Hơn nữa, theo Bổ đề Brown (xem chứng minh của Mệnh đề 3.6), $F$ bảo toàn tương đương yếu giữa hai vật đối phân thớ và $G$ bảo toàn tương đương yếu giữa hai vật phân thớ.
Ví dụ 4.2. Cho $f: R \to S$ là một đồng cấu vành. Khi đó $-\otimes_R S: \mathbf{Ch}_{\ge 0} (R) \leftrightarrows \mathbf{Ch}_{\ge 0}(S): f^\ast$ là một cặp liên hợp Quillen trên mô hình xạ ảnh.
Với $\mathbf{M}$ là một phạm trù mô hình, ta ký hiệu bởi $\lambda: \mathbf{M} \to \mathbf{Ho}(\mathbf{M})$ hàm tử địa phương hóa.
Định nghĩa. Cho $\mathbf{H}$ là một phạm trù tùy ý và $F: \mathbf{M} \to \mathbf{H}$ là một hàm tử.
Hàm tử liên hợp (trái hoặc phải) của một hàm tử, nếu tồn tại, là duy nhất sai khác đẳng cấu tự nhiên.
Nhắc lại rằng ta có hàm tử giải đối phân thớ $Q: \mathbf{M} \to \mathbf{M}$ cùng biến đổi tự nhiên $p: Q \Rightarrow \mathbf{1}_{\mathbf{M}}$. Hơn nữa, $Q$ bảo toàn tương đương yếu (dùng (MC2)).
Mệnh đề 4.3. Nếu $F$ biến đối phân thớ acyclic giữa hai vật đối phân thớ (tương ứng, phân thớ acyclic giữa hai vật phân thớ) thành đẳng cấu thì $F$ có dẫn xuất trái (tương ứng, dẫn xuất phải). Nói riêng, nếu $F: \mathbf{M} \leftrightarrows \mathbf{N} :G$ là một cặp liên hợp Quillen thì $F$ có dẫn xuất trái và $G$ có dẫn xuất phải.
Chứng minh. Ta chỉ cần chứng minh ý thứ nhất. Xét cấu trúc mô hình trên $\mathbf{H}$ trong đó tương đương yếu là đẳng cấu, và mọi cấu xạ đều là phân thớ cũng như đối phân thớ. Theo Bổ đề Brown, $F$ biến tương đương yếu giữa hai vật đối phân thớ thành đẳng cấu. Do đó $FQ$ phân tích qua $\mathbf{Ho}(\mathbf{M})$, nghĩa là $FQ = \mathbb{L} F \circ \lambda$ với hàm tử $\mathbb{L} F: \mathbf{Ho}(\mathbf{M}) \to \mathbf{H}$ nào đó. Trên các vật, ta có $\mathbb{L} F = FQ X$. Ngoài ra, $p: Q \Rightarrow \mathbf{1}_{\mathbf{M}}$ cảm sinh biến đổi tự nhiên $\alpha: \mathbb{L}F \circ \lambda = FQ \Rightarrow F$.
Ta chứng minh rằng cặp $(\mathbb{L}F, \alpha)$ vừa xây dựng thỏa mãn tính chất phổ dụng của hàm tử liên hợp trái. Thật vậy, cho $G: \mathbf{Ho}(\mathbf{M}) \to \mathbf{H}$ là một hàm tử và $\beta: G\lambda \Rightarrow F$ là một biến đổi tự nhiên. Với mỗi vật $X$ trong $\mathbf{M}$, tương đương yếu $p_X: QX \tilde{\twoheadrightarrow} X$ trở thành đẳng cấu $\lambda p_X$ trong $\mathbf{Ho}(\mathbf{M})$, nên $G\lambda p_X: GQX \cong GX$. Đặt $\theta_X = \beta_{QX} \circ G \lambda p_X^{-1}: GX \to F QX$. Thế thì $\theta$ là một biến đổi tự nhiên $G \Rightarrow \mathbb{L}F$, hơn nữa vì $\alpha_X \beta_{QX} = \beta_X \circ Gp_X$ nên $\beta_X = \alpha_X \theta_X$, hay $\beta = \alpha \circ \theta$.
Ta chỉ ra rằng biến đổi tự nhiên $\theta$ như vậy là duy nhất. Thật vậy, nếu $\theta'$ là một biến đổi tự nhiên khác như vậy thì với mọi vật $X$, ta có $\beta_{QX} = \alpha_{QX} \theta'_{QX}$. Xét hình lập phương giao hoán
trong đó mọi vật trừ $X$ đều là vật đối phân thớ, và mọi mũi tên đều là tương đương yếu. Áp dụng $F$, ta thu được các đẳng cấu, trừ ba mũi tên $Fp_X$. Tính giao hoán của mặt trên cho ta $FQQp_X = FQp_X$, mặt trái cho ta $FQp_X = Fp_{QQX}$. Từ đó $FQQp_X = Fp_{QQX}$, và tính giao hoán của mặt sau cho ta $Fp_{QX} = FQp_X = \alpha_X$. Cuối cùng, tính tự nhiên của $\theta'$ cho ta $$\theta'_X \circ G \lambda p_X = FQp_X \circ \theta'_{QX} = \alpha_X \theta'_{QX} = \beta_{QX} = \theta_X \circ G\lambda p_X,$$ suy ra $\theta'_X = \theta_X$ (vì $G\lambda p_X$ là một đẳng cấu). $\square$
Định nghĩa. Cho $F: \mathbf{M} \to \mathbf{N}$ là một hàm tử giữa hai phạm trù mô hình.
Lạm dụng ký hiệu, ta vẫn viết $\mathbb{L}F: \mathbf{Ho}(\mathbf{M}) \to \mathbf{Ho}(\mathbf{N})$ (tương ứng, $\mathbb{R}F: \mathbf{Ho}(\mathbf{M}) \to \mathbf{Ho}(\mathbf{N})$) để chỉ hàm tử dẫn xuất trái (tương ứng, phải) toàn phần. Theo định nghĩa, ta có các biến đổi tự nhiên $\mathbb{L}F \circ \lambda \Rightarrow \lambda F$ và $\lambda F \Rightarrow \mathbb{R}F$. Từ đó, nếu $\mathbf{M} \xrightarrow{F} \mathbf{N} \xrightarrow{G} \mathbf{P}$ là các hàm tử sao cho $F$, $G$ và $G \circ F$ đều có dẫn xuất trái (tương ứng, phải) thì ta có biến đổi tự nhiên $\mathbb{L} G \circ \mathbb{L}F \Rightarrow \mathbb{L}(GF)$.
Định lý 4.4. Cho $F: \mathbf{M} \leftrightarrows \mathbf{N} :G$ là một cặp liên hợp Quillen giữa hai phạm trù mô hình, khi đó $\mathbb{L} F: \mathbf{Ho}(\mathbf{M}) \leftrightarrows \mathbf{Ho}(\mathbf{N}) :\mathbb{R}G$ là một cặp liên hợp.
Chứng minh. Từ chứng minh của Mệnh đề 4.3, ta có $\mathbb{L}FA = FQA$ và $\mathbb{R}GX = GRX$, trong đó $Q: \mathbf{M} \to \mathbf{M}$ và $R: \mathbf{N} \to \mathbf{N}$ lần lượt là hàm tử giải đối phân thớ và giải phân thớ. Ta có song ánh tự nhiên $$\text{Hom}_{\mathbf{N}}(FQA,RX) \cong \text{Hom}_{\mathbf{M}}(QA,GRX).$$
Chú ý rằng $FQA$ là một vật đối phân thớ và $QRX$ là một vật phân thớ. Ta chỉ ra rằng song ánh trên cảm sinh song ánh sau khi lấy đồng luân. Thật vậy, giả sử $f,g: FQA \to RX$ là hai cấu xạ đồng luân. Xét $RY \tilde{\rightarrow} P \twoheadrightarrow RY \times RY$ là một vật đường và $H: FQA \to P$ là một đồng luân phải giữa $f$ và $g$. Vì $G$ bảo toàn phân thớ và giới hạn, ta thu được phân tích $GRY \to GP \twoheadrightarrow GRY \times GRY$ của cấu xạ đường chéo. Mà $RY$ là một vật phân thớ (nên $P$ cũng vậy) và $G$ bảo toàn tương đương yếu giữa các vật phân thớ (Bổ đề Brown) nên phân tích $GRY \tilde{\rightarrow} GP \twoheadrightarrow GRY \times GRY$ là một vật đường của $GRY$. Lấy liên hợp của $H: FQA \to P$, ta thu được $H': QA \to GP$, đây là một đồng luân phải giữa liên hợp của $f$ và $g$. Một cách đối ngẫu, nếu ta có hai cấu xạ đồng luân $QA \to GRX$ thì liên hợp của chúng cũng là hai cấu xạ đồng luân $FQA \to RX$. Vậy ta có song ánh $$[FQA,RX] = \text{Hom}_{\mathbf{N}}(FQA,RX)/\simeq \cong \text{Hom}_{\mathbf{M}}(QA,GRX)\simeq = [QA,GRX].$$
Cuối cùng, theo Định lý cơ bản của phạm trù đồng luân (Định lý 3.17), ta có song ánh tự nhiên $$\text{Hom}_{\mathbf{Ho}(\mathbf{N})}(\mathbb{L}F(A),X) = \text{Hom}_{\mathbf{Ho}(\mathbf{N})}(FQA,X) \cong [FQA,RX] \cong [QA, GRX] \cong \text{Hom}_{\mathbf{Ho}(\mathbf{M})}(A,GRX) = \text{Hom}_{\mathbf{Ho}(\mathbf{M})}(A,\mathbb{R}G(X)).$$ $\square$
Mệnh đề 4.5. Nếu $\mathbf{M} \xrightarrow{F} \mathbf{N} \xrightarrow{G} \mathbf{P}$ là các liên hợp Quillen trái giữa các phạm trù mô hình thì biến đổi tự nhiên $\eta: \mathbb{L} G \circ \mathbb{L}F \Rightarrow \mathbb{L}(GF)$.là một đẳng cấu tự nhiên.
Chứng minh. Ta có $\mathbb{L} G (\mathbb{L}F(A)) = \mathbb{L} G(FQA) = GQFQA$, $\mathbb{L}(GF)(A) = GFQA$ (trong đó $Q$ là các hàm tử giải đối phân thớ) và $\alpha_A = \lambda Gp_{FQA}$ (trong đó $p_{FQA}: QFQA \tilde{\twoheadrightarrow} FQA$ là cấu xạ cho bởi phân tích đối phân thớ của $FQA$, và $\lambda: \mathbf{P} \to \mathbf{Ho}(\mathbf{P})$ là cấu xạ địa phương hóa). Mà $FQA$ và $QFQA$ là các vật đối phân thớ nên $Gp_{FQA}$ là một tương đương yếu, hay $\lambda Gp_{FQA}$ là một đẳng cấu trong $\mathbf{Ho}(\mathbf{P})$. $\square$
Định lý - Định nghĩa 4.6. Cho $F: \mathbf{M} \leftrightarrows \mathbf{N} :G$ là một cặp liên hợp Quillen giữa hai phạm trù mô hình. Lần lượt ký hiệu bởi $\eta: \mathbf{1}_{\mathbf{M}} \Rightarrow GF$ và $\varepsilon: FG \to \mathbf{1}_{\mathbf{N}}$ các biến đổi đơn vị và đối đơn vị. Các khẳng định sau tương đương.
Khi các điều kiện trên được thỏa mãn, ta nói cặp $F: \mathbf{M} \leftrightarrows \mathbf{N} :G$ là một tương đương Quillen.
Chứng minh. Ta chứng minh $3. \Rightarrow 2. \Rightarrow 1.$
$3 \Rightarrow 2.$ Cho $A$ là một đối phân thớ trong $\mathbf{M}$, $X$ là một vật phân thớ trong $\mathbf{X}$ và $f: FA \to X$ là một cấu xạ. Giả sử $f$ là một tương đương yếu. Liên hợp của $f$ là $g = Gf \circ \eta_{A}: A \to GX$. Ta có biểu đồ giao hoán
Ở đây $GX \to GRX$ và $GRFA \to GRX$ là các tương đương yếu vì $X \tilde{\hookrightarrow} RX$ và $RFA \tilde{\hookrightarrow} RX$ là các tương đương yếu giữa hai vật phân thớ (chú ý rằng $R$ bảo toàn tương đương yếu theo (MC2)). Ngoài ra, $A \to GRFA$ là một tương yếu theo giả thiết. Vì thế $g = Gf \circ \eta_A$ là một tương đương yếu theo (MC2). Một cách đối ngẫu, nếu $g$ là một tương yếu thì $f$ cũng vậy.
$2 \Rightarrow 1$, Ký hiệu $\tilde{\eta}: \mathbf{1}_{\mathbf{Ho}(\mathbf{M}} \Rightarrow \mathbb{R} G \circ \mathbb{L}F$, là biến đổi đơn vị của cặp liên hợp cảm sinh $\mathbb{L} F: \mathbf{Ho}(\mathbf{M}) \leftrightarrows \mathbf{Ho}(\mathbf{N}) :\mathbb{R}G$. Với mỗi vật $A$ trong $\mathbb{M}$, cấu xạ $\tilde{\eta}_A \in \text{Hom}_{\mathbf{Ho}(\mathbf{M})}(A, \mathbb{R}G(\mathbb{L}F(A))) = [QA,GRFQA]$ là liên hợp của (lớp đồng luân của) cấu xạ $FQA \tilde{\hookrightarrow} RFQA$. Đây là một đối phân thớ acyclic giữa hai vật đối phân thớ ($FQA$ là một vật đối phân thớ nên $RFQA$ cũng vậy), do đó $\tilde{\eta}_A$ là lớp đồng luân của một tương đương yếu (theo giả thiết), nghĩa là một đẳng cấu. Tương tự, biến đổi đối đơn vị $\tilde{\varepsilon}: \mathbb{L} F \circ \mathbb{R}G \Rightarrow \mathbf{1}_{\mathbf{Ho}(\mathbf{N})}$ là một đẳng cấu tự nhiên.
$1 \Rightarrow 3.$ Giả sử $A$ là một vật đối phân thớ trong $\mathbf{M}$. Ta có biểu đồ giao hoán
Theo giả thiết, cấu xạ đơn vị $QA \to GRFQA$ là trở thành đẳng cấu trong phạm trù dẫn xuất, tức là một tương đương yếu. Vì $QA \to A$ là một tương đương yếu giữa hai vật đối phân thớ nên $FQA \to FA$ là một tương đương yếu, suy ra $RFQA \to RFA$ cũng vậy (theo (MC2)). Mà $RFQA$ và $RFA$ là các vật phân thớ nên $GRFQA \to GRFA$ là một tương đương yếu. Theo (MC2) thì $A \to GRFA$ là một tương đương yếu. Một cách đối ngẫu, nếu $X$ là một vật phân thớ trong $\mathbf{N}$ thì $FQGX \to X$ là một tương đương yếu. $\square$
Ví dụ 4.7. Cho $R$ là một vành. Hàm tử đồng nhất trên $\mathbf{Ch}(R)$ là một tương đương Quillen giữa mô hình xạ ảnh ở bên trái và mô hình nội xạ ở bên phải.
Ví dụ 4.8. Ở bài https://diendantoanh...g-luân-đơn-hình, ta đã xây dựng cặp liên hợp $$|-|: \mathbf{sSet} \leftrightarrows \mathbf{Top}: \text{Sing}_\bullet$$ giữa hàm tử hình học hóa trên các tập đơn hình và hàm tử phức kỳ dị. Đây là một tương đương Quillen, trong đó
Gửi bởi nmlinh16
trong 01-02-2023 - 18:02
Một lý thuyết toán học gồm những tiên đề và một hệ thống quy tắc suy luận. Chứng minh toán học là dùng các quy tắc suy luận để đi từ các tiên đề đến các định lý, phát biểu... Các định nghĩa dựa theo những định nghĩa đã có trước. Vì thế phải có những khái niệm nguyên thủy đầu tiên, không định nghĩa (không nói chúng là gì, nhưng chúng phải thỏa mãn những tiên đề của lý thuyết).
Hệ tiên đề được sử dụng rộng rãi trong toán học hiện nay là lý thuyết tập hợp ZFC. Đối tượng nguyên thủy (không định nghĩa) là các tập hợp. Một khái niệm được coi là định nghĩa rõ ràng nếu nó là một tập hợp, một phần tử của một tập hợp nào đó... Hình thức hóa về cơ bản là đưa các khái niệm về lý thuyết tập hợp, sử dụng các mệnh đề toán học (gồm các toán hạng như các số 0,1, 2,..., quan hệ giữa các toán hạng như dấu =, <, >, ..., và các toán tử của logic vị từ "và", "hoặc", "$\implies$", $\iff$,... cũng như hai lượng từ của logic bậc nhất $\forall$, $\exists$.
Gửi bởi nmlinh16
trong 30-01-2023 - 20:28
3. Đồng luân
Cho $(\mathbf{M}, \mathscr{W}, \mathscr{C}, \mathscr{F})$ là một phạm trù mô hình. Ta mô tả lớp $\text{Hom}_{\mathbf{Ho}(\mathbf{M})}(A,X)$ các cấu xạ trong phạm trù đồng luân giữa hai vật $A$ và $X$. Tính huống lý tưởng nhất là khi ta có thể mô tả nó như thương của một lớp các cấu xạ trong $\mathbf{M}$ bởi một quan hệ đồng luân.
Cần chú ý rằng có hai khái niệm đồng luân đối ngẫu của nhau: đồng luân trái (trên nguồn) và đồng luân phải (trên đích). Ta định nghĩa chúng bằng cách tổng quát hóa các khái niệm không gian đường (Ví dụ 1.9) và hình trụ (Ví dụ 1.14), nhờ tiên đề phân tích (MC5).
Định nghĩa. Một hình trụ của một vật $A$ là một phân tích $A \sqcup A \hookrightarrow C \tilde{\rightarrow} A$ của cấu xạ hiển nhiên $A \sqcup A \xrightarrow{(1_A,1_A)} A$.
Ta ký hiệu bởi $i_0,i_1: A \to C$ các thành phần của phép đối phân thớ $(i_0,i_1): A \sqcup A \hookrightarrow C$ trong phân tích trên.
Định nghĩa. Cho hai cấu xạ $f,g: A \to X$. Một phép đồng luân trái giữa $f$ và $g$ là một hình trụ $A \sqcup A \hookrightarrow{C} \tilde{\rightarrow} A$ cùng một cấu xạ $H: C \to X$ sao cho $H i_0 = f$ và $H i_1 = g$. Khi $H$ tồn tại, ta nói $f$ đồng luân trái với $g$ và ký hiệu $f \simeq_l g$.
Nhìn chung, không có một cách chọn hình trụ "chính tắc". Hai cấu xạ có thể đồng luân qua một hình trụ nào đó, nhưng không qua một hình trụ khác.
Ví dụ 3.1. Trong $\mathbf{Top}$ với mô hình Quillen, nếu $A$ là một vật đối phân thớ, ta có thể lấy $C = A \times [0,1]$, một phép đồng luân trái chính là một phép đồng luân theo nghĩa cổ điển.
Ví dụ 3.2. Cho $R$ là một vành, trong $\mathbf{Ch}(R)$ với mô hình nội xạ, xét một phức dây chuyền $A$. Ta có thể lấy phức $C$ với $C_n = A_n \oplus A_n \oplus A_{n-1}$ và vi phân $d(x,y,z) = (dx + (-1)^n z, dy - (-1)^n z, dz)$. Một phép đồng luân trái chính là một phép đồng luân dây chuyền.
Mệnh đề 3.3. Nếu $f \simeq_l g: A \to X$ thì với mọi cấu xạ $h: X \to Y$, ta có $hf \simeq_l hg: A \to Y$.
Chứng minh. Nếu $H: C \to X$ là một phép đồng luân trái giữa $f$ và $g$ thì $hH: C \to Y$ là một phép đồng luân trái giữa $hf$ và $hg$. $\square$
Bổ đề 3.4. Nếu $A \sqcup A \hookrightarrow C \tilde{\rightarrow} A$ là một hình trụ và $A$ là một vật đối phân thớ thì $i_0,i_1: A \to C$ là các đối phân thớ acyclic.
Chứng minh. Phép nhúng thứ nhất $A \to A \sqcup A$ là một đẩy ra của đối phân thớ $\varnothing \to A$, vì thế cũng là một đối phân thớ, suy ra hợp thành $i_0: A \to A \sqcup A \to C$ cũng là một đối phân thớ. Mặt khác, hợp thành của $$A \xrightarrow{i_0} C \tilde{\rightarrow} A$$ chính là $1_A$ theo định nghĩa của cấu xạ hiển nhiên $A \sqcup A \to A$, ta biết rằng $1_A$ là một tương đương yếu (Hệ quả 2.3) nên theo (MC2) thì $i_0$ cũng là một tương đương yếu. Vậy $i_0$ là một đối phân thớ acyclic, tương tự cho $i_1$. $\square$
Mệnh đề 3.5. Nếu $A$ là một vật đối phân thớ thì $\simeq_l$ là một quan hệ tương đương trên $\text{Hom}_{\mathbf{M}}(A,X)$.
Chứng minh.
Cho $A$ là một vật đối phân thớ và $h: X \to Y$ là một cấu xạ. Theo các Mệnh đề 3.3 và 3.5 thì $h$ cảm sinh một ánh xạ $$h_\ast: \text{Hom}_{\mathbf{M}}(A,X) / \simeq_l \to \text{Hom}_{\mathbf{M}}(A,Y) / \simeq_l, \qquad [f] \mapsto [hf].$$
Mệnh đề 3.6. Nếu $A$ là một vật đối phân thớ và $h: X \tilde{\twoheadrightarrow} Y$ là một phân thớ acyclic thì $h_\ast$ là một song ánh. Kết luận này vẫn đúng nếu $h$ là một tương đương yếu và $X, Y$ là các vật phân thớ.
Chứng minh. Giả sử $h$ là một phân thớ acyclic. Xét một cấu xạ $g: A \to Y$ tùy ý. Ta áp dụng (MC4) cho biểu đồ giao hoán
Thế thì tồn tại cấu xạ $f: A \to X$ sao cho $g = hf$, suy ra $h_\ast$ là một toàn ánh.
Giả sử $f,g: A \to X$ là hai cấu xạ sao cho $hf \simeq_l hg$, nghĩa là tồn tại một hình trụ $A \sqcup A \hookrightarrow C \tilde{\twoheadrightarrow} A$ và một phép đồng luân $H: C \to Y$ giữa $hf$ và $hg$. Nói cách khác, biểu đồ với các mũi tên liền dưới đây
giao hoán. Áp dụng (MC4), ta tìm được mũi tên đứt $K$, đó là một phép đồng luân giữa $f$ và $g$. Vậy $h_\ast$ là một đơn ánh.
Tiếp theo, xét trường hợp $X, Y$ là các vật phân thớ và $h$ là một tương đương yếu. Ta áp dụng
Bổ đề Brown. Cho $F: \mathbf{M} \to \mathbf{N}$ là một cấu xạ giữa hai phạm trù mô hình.
Chứng minh bổ đề Brown. Hiển nhiên ta chỉ cần chứng minh ý đầu tiên. Giả sử $f: A \tilde{\rightarrow} B$ là một tương đương yếu giữa hai vật đối phân thớ. Các phép bao hàm $i_A: A \to A \sqcup B$ và $i_B: B \to A \sqcup B$ là các đối phân thớ (vì chúng là đẩy ra của các đối phân thớ $\varnothing \to A$ và $\varnothing \to B$. Áp dụng (MC5), ta phân tích $(f,1_B): A \sqcup B \to B$ thành hợp của một phân thớ acyclic $p: X \tilde{\twoheadrightarrow} B$ và một đối phân thớ $j: A \sqcup B \hookrightarrow X$, nghĩa là $pji_A = f$ và $pji_B = 1_B$. Theo (MC2) và Hệ quả 2.3 thì $ji_B: B \to X$ là một tương đương yếu. Mà $j$ và $i_B$ là các phân thớ nên $ji_B$ là một phân thớ (acyclic). Mà $B$ và $X$ các vật đối phân thớ (chú ý rằng $A \sqcup B$ là một vật đối phân thớ) nên theo giả thiết thì $Fj \circ Fi_B$ là một tương đương yếu.Vì $Fp \circ Fj \circ Fi_B = 1_{FB}$ là một tương đương yếu nên $Fp$ là một tương đương yếu theo (MC2) và Hệ quả 2.3.
Tương tự, $ji_A: A \to X$ là một phân thớ, và là một tương đương yếu do $pji_A = f$ và (MC2), vậy $ji_A$ là một phân thớ acyclic. Mà $A$ và $X$ là các vật đối phân thớ nên theo giả thiết thì $Fj \circ Fi_A$ là một tương đương yếu, suy ra $Ff = Fp \circ Fj \circ Fi_A$ là một tương đương yếu. $\square$
Trở lại chứng minh của Mệnh đề 3.6. Xét phạm trù $\mathbf{Set}$ với cấu trúc mô hình mà các tương đương yếu các các song ánh, và mọi ánh xạ đều là phân thớ cũng như đối phân thớ. Xét hàm tử $F = \text{Hom}_{\mathbf{M}}(A,-) / \simeq_l: \mathbf{M} \to \mathbf{Set}$. Kết quả trường hợp trước nói rằng $Fh = h_\ast$ là một song ánh nếu $h$ là một phân thớ acyclic, vì thế kết luân của bổ đề Brown nói rằng nó cũng là một sonh ánh nếu $h$ là một tương đương yếu giữa hai vật acyclic. $\square$
Mệnh đề 3.7. Nếu $X$ là một vật phân thớ, $f \simeq_l g: A \to X$ và $h: B \to A$ là một cấu xạ thì $fh \simeq_l gh: B \to X$.
Chứng minh. Xét một hình trụ $A \sqcup A \hookrightarrow C \tilde{\rightarrow} A$ và một phép đồng luân $H: C \to X$ giữa $f$ và $g$. Ta phân tích $C \tilde{\rightarrow} A$ thành $C \tilde{\hookrightarrow} C' \tilde{\twoheadrightarrow} A$ (Mệnh đề 2.2), thế thì $A \sqcup A \hookrightarrow C' \tilde{\twoheadrightarrow} A$ lại là một hình trụ. Hơn nữa, vì $X$ là một vật phân thớ, ta có thể áp dụng (MC4) cho biểu đồ giao hoán với các mũi tên liền
để thu được một phép đồng luân $H': C' \to X$ giữa $f$ và $g$. Tóm lại, ta có thể giả sử rằng $C \to A$ là một phân thớ acyclic.
Xét một hình trụ tùy ý $B \sqcup B \hookrightarrow D \tilde{\rightarrow} B$. Xét biểu đồ với các mũi tên liền
Ở đây, hình chữ nhận lớn giao hoán theo định nghĩa của các cấu xạ hiển nhiên $A \sqcup A \to A$ và $B \sqcup B \to B$. Áp dụng (MC4), ta thu được một mũi tên đứt $G$, và ta kiểm tra được (bằng định nghĩa của $\sqcup$) rằng $HG: D \to X$ là một phép đồng luân giữa $fh$ và $gh$. $\square$
Đảo ngược chiều của các mũi tên trong toàn bộ phần trên, ta thu được khái niệm đồng luân phải.
Định nghĩa. Một vật đường của một vật $X$ là một phân tích $X \tilde{\rightarrow} P \twoheadrightarrow X \times X$ của cấu xạ đường chéo $X \to X \times X$.
Ta ký hiệu bởi $p_0,p_1: P \to X$ các thành phần của phép phân thớ $(p_0,p_1): P \twoheadrightarrow X \times X$ trong phân tích trên.
Ví dụ 3.8. Trong $\mathbf{Top}$ với mô hình Quillen, nếu $X$ là một CW-phức thì $X^{[0,1]}$ (với tô pô compact-mở) là một vật đường của $X$.
Ví dụ 3.9. Cho $R$ là một vành, trong $\mathbf{Ch}_{\ge 0}(R)$ với mô hình xạ ảnh, xét một phức dây chuyền $A$. Ta có thể lấy phức $P$ với $P_n = A_n \oplus A_n \oplus A_{n+1}$ và vi phân $d(x,y,z) = (dx,dy,dz+y-x)$.
Định nghĩa. Cho hai cấu xạ $f,g: A \to X$. Một phép đồng luân phải giữa $f$ và $g$ là một vật đường $X \tilde{\rightarrow} P \twoheadrightarrow X \times X$ cùng một cấu xạ $H: A \to P$ sao cho $p_0 H = f$ và $p_1 H = g$. Khi $H$ tồn tại, ta nói $f$ đồng luân phải với $g$ và ký hiệu $f \simeq_r g$.
Mệnh đề 3.10. Nếu $f \simeq_r g: A \to X$ thì với mọi cấu xạ $h: B \to A$, ta có $fh \simeq_l gh: B \to X$.
Bổ đề 3.11. Nếu $X \tilde{\rightarrow} P \twoheadrightarrow X \times X$ là một hình trụ và $X$ là một vật phân thớ thì $p_0,p_1: P \to X$ là các phân thớ acyclic.
Mệnh đề 3.12. Nếu $X$ là một vật phân thớ thì $\simeq_r$ là một quan hệ tương đương trên $\text{Hom}_{\mathbf{M}}(A,X)$.
Cho $X$ là một vật phân thớ và $h: B \to A$ là một cấu xạ. Theo các Mệnh đề 3.10 và 3.12 thì $h$ cảm sinh một ánh xạ $$h^\ast: \text{Hom}_{\mathbf{M}}(A,X) / \simeq_r \to \text{Hom}_{\mathbf{M}}(B,X) / \simeq_r, \qquad [f] \mapsto [fh].$$
Mệnh đề 3.13. Nếu $X$ là một vật phân thớ và $h: B \tilde{\twoheadrightarrow} A$ là một đối phân thớ acyclic thì $h^\ast$ là một song ánh. Kết luận này vẫn đúng nếu $h$ là một tương đương yếu và $B, A$ là các vật đối phân thớ.
Mệnh đề 3.14. Nếu $A$ là một vật đối phân thớ, $f \simeq_r g: A \to X$ và $h: X \to Y$ là một cấu xạ thì $hf \simeq_r hg: A \to Y$.
Sau đây, ta sẽ mô tả cụ thể lớp $\text{Hom}_{\mathbf{Ho}(\mathbf{M})}(A,X)$.
Mệnh đề 3.15. Cho $f,g: A \to X$ là hai cấu xạ.
Chứng minh. Ta chứng minh ý thứ nhất, ý thứ hai thu được bằng cách đảo ngược chiều của các mũi tên.
Xét một hình trụ $A \sqcup A \hookrightarrow C \tilde{\rightarrow} A$ và một phép đồng luân trái $H: C\to X$ giữa $f$ và $g$. Ký hiệu $j: C \tilde{\rightarrow} A$. Vì $A$ là một vật đối phân thớ nên các thành phần $i_0,i_1: A \to C$ là các đối phân thớ acyclic (Bổ đề 3.4). Chọn một vật đường $X \tilde{\rightarrow} P \twoheadrightarrow X \times X$. Nhận xét rằng biểu đồ với các mũi tên liền dưới đây giao hoán, vì $fji_0 = Hi_0 = f$.
Áp dụng (MC4), ta thu được mội mũi tên đứt $K: C \to P$.Thế thì $Ki_1: A \to P$ là một phép đồng luân phải giữa $f$ và $g$, vì $p_0Ki_1 = fji_1 = f$ và $p_1 K i_1 = Hi_1 = g$. $\square$.
Cho $A$ là một vật phân thớ và $X$ là một vật phân thớ. Theo Mệnh đề 3.15, ta có một quan hệ đồng luân $\simeq$ $\text{Hom}_{\mathbf{M}}(A,X)$ mà không cần quan tâm đến trái hay phải nữa. Ký hiệu bởi $[A,X]$ thương của $\text{Hom}_{\mathbf{M}}(A,X)$ bởi $\simeq$.
Định nghĩa. Phạm trù $\pi \mathbf{M}_{cf}$ là phạm trù mà các vật là những vật đồng thời là vật phân thớ cũng như vật đối phân thớ trong $\mathbf{M}$, và các cấu xạ $\text{Hom}_{\pi \mathbf{M}_{cf}}(A,X) = [A,X]$.
Định lý 3.16 (Định lý Whitehead cho phạm trù mô hình). Cho $f: A \to X$ là một cấu xạ giữa hai vật phân thớ và đối phân thớ. Thế thì $f$ là một tương đương yếu khi và chỉ khi nó là một tương đương đồng luân (nghĩa là tồn tại cấu xạ $g: X \to A$ sao cho $fg \simeq 1_X$ và $gf \simeq 1_A$).
Chứng minh. ($\implies$) Giả sử $f$ là một tương đương yếu. Theo Mệnh đề 2.2, ta có thể phân tích $f = pi$, với $i: A \tilde{\hookrightarrow} W$ và $W \tilde{\twoheadrightarrow} X$. Dễ thấy $W$ là một vật phân thớ và đối phân thớ.
Áp dụng (MC4) cho biểu đồ giao hoán với các mũi tên liền
ta thu được một cấu xạ $r: W \to A$ sao cho $ri = 1_A$. Theo Mệnh đề 3.13, $i$ cảm sinh một song ánh $i^\ast: [W,W] \to [A,W]$. Mặt khác, $i^\ast[ir] = [iri] = [i] = i^\ast[1_W]$, nên $[ir] = [1_W]$, hay $ir \simeq 1_W$. Tương tự, tồn tại cấu xạ $s: X \to W$ sao cho $ps = 1_X$ và $sp \simeq 1_W$. Đặt $g = rs: X \to A$, thế thì $fg = pirs \simeq ps = 1_X$ và $gf = rspi \simeq ri = 1_A$.
($\impliedby$) Ngược lại, giả sử $f$ là một tương đương đồng luân. Ta phân tích $f = pi$, với $i: A \tilde{\hookrightarrow} W$ và $p: W \twoheadrightarrow X$ (theo (MC5)). Ta cần chứng minh rằng $p$ là một tương đương yếu. Chú ý rằng $W$ là một vật phân thớ và đối phân thớ. Xét $g: X \to A$ là một cấu xạ sao cho $fg \simeq 1_X$ và $gf \simeq 1_A$. Xét $H: C \to X$ là một phép đồng luân trái giữa $fg$ và $1_X$. vì $pig = fg = Hi_0$ nên biểu đồ với các mũi tên liền dưới đây giao hoán
Ở đây, $i_0$ là một đối phân thớ acyclic theo Bổ đề 3.4. Áp dụng (MC4), ta thu được một mũi tên nét đứt $H': C \to W$. Thế thì $s = H'i_1 \simeq H'i_0 = ig$. Theo chiều thuận của định lý, $i$ là một tương đương đồng luân, nghĩa là tồn tại cấu xạ $r: W \to A$ sao cho $ri \simeq 1_A$ và $ir \simeq 1_W$. Ta có $$sp \simeq spir \simeq sfr \simeq igfr \simeq ir \simeq 1_W,$$ nên tồn tại một phép đồng luân phải $\tilde{H}: W \to \tilde{P}$ giữa $sp$ và $1_W$. Vì $W$ là một vật phân thớ nên các thành phần $q_0,q_1: \tilde{P} \to W$ của vật đường $\tilde{P}$ là các tương đương yếu (Bổ đề 3.11). Do $1_W = q_1 \tilde{H}$ và $1_W$ là một tương đương yếu (Hệ quả 2.3), nên $\tilde{H}$ là một tương đương yếu theo (MC2), suy ra $sp = q_0 \tilde{H}$ cũng là một tương đương yếu. Cuối cùng, ta có biểu đồ giao hoán
(chú ý rằng $ps = pH'i_1 = Hi_1 = 1_X$), nên $p$ là một rút gọn của $sp$, suy ra $p$ cũng là một tương đương yếu theo (MC3). $\square$
Nhắc lại rằng tiên đề (MC5) cho ta các hàm tử $Q, R: \mathbf{M} \to \mathbf{M}$ sao cho $\varnothing \hookrightarrow QX \tilde{\twoheadrightarrow} X$ và $X \tilde{\hookrightarrow} RX \twoheadrightarrow \ast$ (các phép giải (đối) phân thớ). Chúng cho phép mô tả tường minh các cấu xạ giữa hai vật trong phạm trù đồng luân.
Định lý 3.17 (Mô tả phạm trù đồng luân). Phạm trù đồng luân $\mathbf{Ho}(\mathbf{M})$ tương đương với phạm trù $\pi \mathbf{M}_{cf}$. Với mọi vật $A$ và $X$ trong $\mathbf{M}$, ta có $$\text{Hom}_{\mathbf{Ho}(\mathbf{M})}(A,X) \cong [QA,RX].$$ Hơn nữa, nếu một cấu xạ $f: A \to X$ trở thành một đẳng cấu $[f]$ trong $\mathbf{Ho}(\mathbf{M})$ thì $f$ là một tương đương yếu.
Chứng minh. Ta đã biểt $\mathbf{Ho}(\mathbf{M}) \simeq \mathbf{Ho}(\mathbf{M}_{cf})$ theo Bổ đề 2.9. Để chứng minh rằng $\pi: \mathbf{M}_{cf}$ tương đương với $\mathbf{Ho}(\mathbf{M}_{cf})$, ta chứng minh rằng hàm tử thương $\pi: \mathbf{M}_{cf} \to \pi\mathbf{M}_{cf}$ thỏa mãn tính chất phổ dụng của địa phương hóa đối với lớp các tương đương yếu. Thật vậy, cho $\mathbf{C}$ là một phạm trù và $F: \mathbf{M}_{cf} \to \mathbf{C}$ là một hàm tử sao cho $Ff$ là một đẳng cấu với mọi tương đương yếu $f$ (giữa hai vật phân thớ và đối phân thớ). Ta chỉ ra rằng tồn tại duy nhất hàm tử $\bar{F}: \pi \mathbf{M}_{cf} \to \mathbf{C}$ sao cho $\bar{F} \pi = F$. Với $X$ là một vật của $\mathbf{M}_{cf}$, đương nhiên ta phải đặt $\bar{F} X = F X$. Nếu $f$ là một cấu xạ trong $\mathbf{M}_{cf}$, ta cần có $\bar{F} [f] = F f$, vì thế tính duy nhất của $F$ là hiển nhiên. Để chỉ ra sự tồn tại, ta cần chứng minh rằng nếu $f,g: A \to X$ là hai cấu xạ đồng luân giữa hai vật phân thớ và đối phân thớ thì $Ff = Fg$.
Thật vậy, xét một hình trụ $A \sqcup A \hookrightarrow C \tilde{\twoheadrightarrow} A$ và một phép đồng luân trái $H: C \to X$ giữa $f$ và $g$ (ta có thể giả sử $j: C \to A$ là một phân thớ acyclic vì $X$ là một vật phân thớ, như đã làm trong Mệnh đề 3.7). Nói riêng, $C$ là một vật của phạm trù $\mathbf{M}_{cf}$ ($A$ là một vật phân thớ và $A \sqcup A$ là một vật đối phân thớ). Vì $j$ là một tương đương yếu nên $Fj$ là một đẳng cấu, mà $ji_0 = ji_1 = 1_A$ nên $Fj \circ Fi_0 = 1_{FA} = Fj \circ Fi_1$, suy ra $Fi_0 = Fi_1$, do đó $Ff = FH \circ Fi_0 = FH \circ Fi_1 = Fg$.
Vậy $\pi: \mathbf{M}_{cf} \to \pi\mathbf{M}_{cf}$ chính là địa phương hóa của phạm trù $\mathbf{M}_{cf}$ theo lớp các tương tương yếu, hay $\mathbf{Ho}(\mathbf{M})$ tương đương với $\pi \mathbf{M}_{cf}$.
Tiếp theo, ta chỉ ra rằng $\text{Hom}_{\mathbf{Ho}(\mathbf{M})}(A,X) \cong [QA,RX].$ Trước hết, vì $QRA \cong A$ và $QRX \cong X$ trong phạm trù đồng luân nên $$\text{Hom}_{\mathbf{Ho}(\mathbf{M})}(A,X) \cong \text{Hom}_{\mathbf{Ho}(\mathbf{M})}(QRA,QRX) \cong \text{Hom}_{\mathbf{Ho}(\mathbf{M}_{cf})}(QRA,QRX) \cong \text{Hom}_{\pi\mathbf{M}_{cf}}(QRA,QRX) = [QRA, QRX].$$
Mặt khác, $QRA$ là một vật đối phân thớ và $QRX \tilde{\twoheadrightarrow} RX$ là một phân thớ acyclic nên $[QRA,QRX] \cong [QRA, RX]$ theo Mệnh đề 3.6. Tương tự, $RX$ là một vật phân thớ và $QA \tilde{\rightarrow} QRA$ là một tương đương yếu giữa hai vật đối phân thớ (nó là một tương đương yếu vì biểu đồ
giao hoán, và vì (MC2)), nên $[QRA, RX] \cong [QA, RX]$ theo Mệnh đề 3.13. Vậy ta có $\text{Hom}_{\mathbf{Ho}(\mathbf{M})}(A,X) \cong [QA,RX]$.
Cuối cùng, giả sử $f: A \to X$ là một cấu xạ sao cho $[f]$ là một đẳng cấu trong $\mathbf{Ho}(\mathbf{M})$. Ta đã thấy ở trên rằng $\text{Hom}_{\mathbf{Ho}(\mathbf{M})}(A,X) \cong [QRA, QRX]$, nên $QRf$ là một đẳng cấu trong phạm trù $\pi \mathbf{M}_{cf}$, nghĩa là một tương đương đồng luân. Theo Định lý Whitehead (Định lý 3.16), $QRf$ là một tương đương yếu. Từ biểu đồ giao hoán
và (MC2), ta suy ra rằng $f$ là một tương đương yếu. $\square$
Gửi bởi nmlinh16
trong 30-01-2023 - 07:06
2. Định nghĩa phạm trù mô hình
Định nghĩa (Quillen, 1967). Một phạm trù mô hình là một phạm trù $\mathbf{M}$ cùng ba lớp cấu xạ $\mathscr{W}$, $\mathscr{C}$, $\mathscr{F}$, lần lượt được gọi là các tương đương yếu, đối phân thớ, và phân thớ, lần lượt được ký hiệu bởi $\tilde{\rightarrow}, \hookrightarrow, \twoheadrightarrow$ sao cho các tiên đề sau được thỏa mãn.
Trong tiên đề (MC4), mũi tên đứt nói chung không duy nhất. Ta nói $i$ có tính chất nâng trái (LLP) đối với $p$ và $p$ có tính chất nâng phải đối với $i$ (RLP), ký hiệu bởi $i \perp p$. Các cấu xạ trong $\mathscr{C} \cap \mathscr{W}$ được gọi là các đối phân thớ acyclic, các cấu xạ trong $\mathscr{F} \cap \mathscr{W}$ được gọi là các phân thớ acyclic.
Theo tiên đề (MC1), $\mathbf{M}$ có vật đầu $\varnothing$ (đối giới hạn của biểu đồ rỗng) cũng như vật cuối $\ast$ (giới hạn của biểu đồ rỗng).
Định nghĩa. Một vật $X$ được gọi là vật đối phân thớ (cofibrant) nếu cấu xạ duy nhất $\varnothing \to X$ là một đối phân thớ, vật phân thớ (fibrant) nếu cấu xạ duy nhất $X \to \ast$ là một phân thớ.
Theo tiên đề (MC5), ta có các hàm tử $Q, R: \mathbf{M} \to \mathbf{M}$, sao cho mọi vật $X$ đều có các phân tích $$\varnothing \hookrightarrow QX \tilde{\twoheadrightarrow} X \qquad X \tilde{\hookrightarrow} RX \twoheadrightarrow \ast$$ đó là các "phép giải (đối) phân thớ".
Ví dụ 2.1. Cho $\mathbf{M}$ là một phạm trù tùy ý. Ta có các cấu trúc mô hình:
Sau đây là một số tính chất đơn giản.
Mệnh đề 2.2. Cho $(\mathbf{M}, \mathscr{W}, \mathscr{C}, \mathscr{F})$ là một phạm trù mô hình. Ta có các khẳng định sau.
Chứng minh. Chiều $\implies$ trong 4 điều kiện đầu tiên là hiển nhiên theo (MC4). Xét chiều $\impliedby$. Giả sử $i$ thỏa mãn tính chất nâng trái với mọi phân thớ acyclic. Theo (MC5), ta có thể phân tích $i$ thành $A \hookrightarrow X \tilde{\twoheadrightarrow} B$. Áp dụng tính chất nâng trái của $i$ vào biểu đồ giao hoán
ta thu được một lớp cắt $h$ của $X \tilde{\twoheadrightarrow} B$. Từ biểu đồ giao hoán
Ta thấy $i$ là một rút gọn của phân thớ $A \hookrightarrow X$, vì thế cũng là một phân thớ. Tương tự, nếu $i$ thỏa mãn tính chất nâng trái với mọi phân thớ, ta xét phân tích $A \tilde{\hookrightarrow} X \twoheadrightarrow B$ và thấy rằng $i$ là một rút gọn của một phân thớ acyclic, vì thế cũng là một phân thớ acyclic. Các tính chất thứ 3 và thứ 4 được chứng minh bằng cách đảo ngược chiều của các mũi tên. Tính chất thứ 5 được suy ra dễ dàng từ (MC2) và (MC5). $\square$
Hệ quả 2.3. Cho $(\mathbf{M}, \mathscr{W}, \mathscr{C}, \mathscr{F})$ là một phạm trù mô hình.
Ví dụ 2.4 (Quillen, 1967). Phạm trù $\mathbf{Top}$ có một cấu trúc mô hình với
Ví dụ 2.5 (Strøm, 1972). Một cấu trúc khác được cho bởi
Ví dụ 2.6 (Cole, 2006). Một cấu trúc khác hỗn hợp được cho bởi
Ví dụ 2.7. Phạm trù $\mathbf{Ch}(R)$ các phức dây chuyền các môđun trên một vành $R$ thừa nhận các cấu trúc mô hình sau đây:
Trước khi tiếp tục, ta nhắc lại về địa phương hóa phạm trù. Cho $\mathbf{M}$ là một phạm trù và $\mathscr{W}$ là một lớp các cấu xạ trong $\mathbf{M}$. Ta muốn một phạm trù mới trong đó mọi cấu xạ trong $\mathscr{W}$ đều trở thành đẳng cấu.
Định nghĩa (Gabriel–Zisman). Một địa phương hóa của $\mathbf{M}$ theo $\mathscr{W}$ là một phạm trù $\mathbf{M}[\mathscr{W}^{-1}]$ cùng một hàm tử $\lambda: \mathbf{M} \to \mathbf{M}[\mathscr{W}^{-1}]$ thỏa mãn tính chất phổ dụng sau. Với mọi hàm tử $F: M \to \mathbf{C}$ sao cho $Ff$ là một đẳng cấu với mọi $f \in \mathscr{W}$, tồn tại duy nhất (sai khác đẳng cấu tự nhiên) hàm tử $G: \mathbf{M}[\mathscr{W}^{-1}] \to \mathbf{C}$ và đẳng cấu tự nhiên $G \lambda \cong F$.
Nói riêng, với mọi $f \in \mathscr{W}$, $\lambda f$ là một đẳng cấu trong $\mathbf{M}[\mathscr{W}^{-1}]$. Điều ngược lại nói chung không đúng, nhưng ta sẽ thấy rằng nó đúng trong phạm trù mô hình.
Mệnh đề 2.8. Địa phương hóa $\mathbf{M}[\mathscr{W}^{-1}]$ tồn tại và là duy nhất sai khác tương đương phạm trù.
Một cách xây dựng ad hoc của $\mathbf{M}[\mathscr{W}^{-1}]$ như sau. Các vật của $\mathbf{M}[\mathscr{W}^{-1}]$ là các vật của $\mathbf{M}$. Một cấu xạ giữa $X$ và $Y$ trong $\mathbf{M}[\mathscr{W}^{-1}]$ là tập thương của:
Phép hợp thành cấu xạ trong $\mathbf{M}[\mathscr{W}^{-1}]$ được cảm sinh từ phép nối đường.
Một cách xây dựng khác: Xét $\mathbf{Arr}$ là phạm trù với hai vật $x, y$ và một cấu xạ không tầm thường duy nhất $x \to y$, và $\mathbf{Iso}$ là phạm trù với hai vật $x,y$ và hai cấu xạ không thường $x \to y$, $y \to x$ là nghịch đảo của nhau. Cho một hàm tử $\mathbf{Arr} \to \mathbf{M}$ (tương ứng, $\mathbf{Iso} \to \mathbf{M}$) cũng là cho một cấu xạ (tương ứng, một đẳng cấu) trong $\mathbf{M}$. Thế thì $\mathbf{M}[\mathscr{W}^{-1}]$ tương đương với đẩy ra của cặp hàm tử $$\bigsqcup_{f \in \mathscr{W}} \mathbf{Arr} \to \mathbf{M} \qquad \bigsqcup_{f \in \mathscr{W}} \mathbf{Arr} \to \bigsqcup_{f \in \mathscr{W}} \mathbf{Iso}.$$
Định nghĩa. Cho $(\mathbf{M}, \mathscr{W}, \mathscr{C}, \mathscr{F})$ là một phạm trù mô hình. Ta định nghĩa phạm trù đồng luân của $\mathbf{M}$ là địa phương hóa $\mathbf{Ho}(\mathbf{M}) = \mathbf{M}[\mathscr{W}^{-1}]$.
Một định lý của Freyd (1970) nói rằng phạm trù $\mathbf{Ho}(\mathbf{Top})$ (tương đương yếu = tương đương đồng luân yếu) không phải là một phạm trù cụ thể, tức là không tồn tại hàm tử trung thành $\mathbf{Ho}(\mathbf{Top}) \to \mathbf{Set}$. Nhìn chung, mô tả tường minh phạm trù đồng luân là một vấn đề phức tạp, chẳng hạn việc xác định xem liệu hai cấu xạ trong phạm trù đồng luân có bằng nhau là một vấn đề không tầm thường.
Phạm trù đồng luân hoàn toàn chỉ phụ thuộc vào lớp $\mathscr{W}$. Điều này cho thấy ý tưởng rằng các lớp $\mathscr{C}$ và $\mathscr{F}$ chỉ đóng vai trò bổ sung thông tin. Bổ đề 2.9 dưới đây cho thấy rằng, để làm việc với phạm trù đồng luân, ta chỉ cần quan tâm đến các vật (đối) phân thớ.
Định nghĩa. Ký hiệu bởi $\mathbf{M}_c$ (tương ứng, $\mathbf{M}_f$, tương ứng, $\mathbf{M}_{cf}$ phạm trù con đầy của $\mathbf{M}$ sinh bởi các vật đối phân thớ (tương ứng, vật phân thớ, tương ứng, vật phân thớ và đối phân thớ). Ta cũng định nghĩa phạm trù đồng luân của chúng bởi địa phương hóa theo lớp $\mathscr{W}$.
Bổ đề 2.9. Các phép bao hàm cảm sinh các tương đương phạm trù
Chứng minh. Xét phép bao hàm $\mathbf{M}_f \subset \mathbf{M}$. Nó biến tương đương yếu thành tương đương yếu, nên cảm sinh một hàm tử $\mathbf{Ho}(\mathbf{M}_f) \to \mathbf{Ho}(\mathbf{M})$. Ngược lại, ta có hàm tử "giải phân thớ" $R: \mathbf{M} \to \mathbf{M}_f$, nó cảm sinh một hàm tử $\mathbf{Ho}(\mathbf{M}) \to \mathbf{Ho}(\mathbf{M}_f)$. Ta kiểm tra được rằng chúng là nghịch đảo (sai khác đẳng cấu tự nhiên) của nhau. $\square$
Gửi bởi nmlinh16
trong 30-01-2023 - 05:09
Khái niệm phạm trù mô hình (model category) được đưa ra bởi Quillen năm 1967, trong nỗ lực tổng quát hóa đại số đồng điều thành lý thuyết đồng luân cho các đối tượng không abel như không gian tô pô, nhóm, đại số trên một vành... Ngôn ngữ phạm trù mô hình và khái niệm đồng luân tổng quát là một phần quan trọng trong K-lý thuyết đại số cũng như hình học đại số.
Một phần của lý thuyết phạm trù mô hình và đồng luân là lý thuyết đồng luân đơn hình đã được viết ở bài https://diendantoanh...g-luân-đơn-hình.
Chúng ta sẽ trình bày những khái niệm và kết quả cơ bản của lý thuyết này.
1. Ví dụ: Không gian tô pô và phức dây chuyền
Xét phạm trù $\mathbf{Top}$ các không gian tô pô.
Nhắc lại rằng hai ánh xạ liên tục $f, g: X \to Y$ được gọi là đồng luân nếu tồn tại ánh xạ liên tục $H: X \times [0,1] \to Y$ sao cho $H(-,0) = f$ và $H(-,1) = g$ (một phép đồng luân giữa $f$ và $g$). Khi đó, ta ký hiệu $f \simeq g$.
Hai không gian $X$ và $Y$ được gọi là tương đương đồng luân nếu tồn tại các ánh xạ liên tục $f: X \leftrightarrows Y: g$ sao cho $fg \simeq 1_Y$ và $gf \simeq 1_X$. Khi đó, ta ký hiệu $X \simeq Y$.
Nếu $(X,x)$ và $(Y,y)$ là các không gian định điểm, ta ký hiệu hởi $[(X,x), (Y,y)]$ thương của tập hợp các ánh xạ định điểm $(X,x) \to (Y,y)$ bởi quan hệ đồng luân định điểm (một phép đồng luân định điểm $H$ giữa hai ánh xạ định điểm là một phép đồng luân sao cho $H(-,t)$ là ánh xạ định điểm với mọi $t \in [0,1]$). Với $n \ge 0$, Ký hiệu bởi $\pi_n(X,x) = [(\mathbb{S}^n,\ast),(X,x)]$. Ta có các hàm tử $\pi_n: \mathbf{Top}_\ast \to \mathbf{Set}$, hơn nữa $\pi_1$ là nhóm và $\pi_n$ là nhóm abel với $n \ge 2$.
Mệnh đề 1.1. Nếu $f: X \to Y$ là một tương đương đồng luân thì $\pi_0(f): \pi_0(X,x) \to \pi_0(Y,f(x))$ là một song ánh, và với mọi $x \in X$ cũng như $n \ge 1$ thì $\pi_n(f): \pi_n(X,x) \to \pi_n(Y,f(x))$ là một đẳng cấu nhóm.
Định nghĩa. Một tương đương đồng luân yếu là một ánh xạ liên tục $f: X \to Y$ sao cho các ánh xạ cảm sinh $\pi_n(f)$ thỏa mãn các điều kiện ở mệnh đề trên. Ta ký hiệu tương đương đồng luân yếu bởi $\tilde{\rightarrow}$. Hai không gian $X$ và $Y$ được gọi là tương đương yếu nếu tồn tại các tương đương đồng luân yếu $$X \tilde{\leftarrow} X_1 \tilde{\rightarrow} \cdots \tilde{\leftarrow} X_n \tilde{\rightarrow} Y.$$
Hiển nhiên, hai không gian tương đương yếu thì các nhóm đồng luân tương ứng đẳng cấu.
Trong các không gian tô pô, các CW-phức (hoặc các phức đơn hình...) đóng vai trò như những mô hình tổ hợp để tính toán các nhóm đồng luân. Thực tế, ta chỉ cần quan tâm đến lý thuyết đồng luân của chúng, nhờ vào các định lý sau đây.
Định lý 1.2. Với mỗi không gian tô pô $X$, tồn tại một CW-phức $Z$ và một tương đương đồng luân yếu $Z \to \tilde{\rightarrow} X$.
Định lý 1.3 (Xấp xỉ CW). Mỗi ánh xạ liên tục giữa hai CW-phức đều đồng luân với một ánh xạ phân phân ngăn.
Hơn nữa, để nói về tương đương đồng luân giữa các CW-phức, ta chỉ cần quan tâm đến tương đương yếu, nhờ
Định lý 1.4 (Whitehead). Mỗi tương đương đồng luân yếu giữa hai CW-phức là một tương đương đồng luân.
Mục đích của khái niệm phạm trù mô hình là cho phép, trong một phạm trù bất kỳ, nói về:
Một phạm trù khác nơi ta có thể làm lý thuyết đồng luân là phạm trù các phức dây chuyền (đồng luân ở đây được biến đến dưới dạng đại số đồng điều). Cho $R$ là một vành. Xét phạm trù $\mathbf{Ch}_{\ge 0}(R)$ các phức dây chuyền (chiều của vi phân là chiều giảm) các $R$-môđun tập trung ở bậc không âm.
Một phép đồng luân dây chuyền giữa hai ánh xạ dây chuyền $f, g: A \to B$ là một dãy các đồng cấu $h: A_n \to B_{n+1}$ sao cho $f - g = hd + dh$. Khi $h$ tồn tại, ta nói $f$ và $g$ đồng luân và ký hiệu $f \simeq g$.
Hai phức dây chuyền $A$ và $B$ được gọi là tương đương đồng luân nếu tồn tại các ánh xạ dây chuyền $f: A \leftrightarrows B: g$ sao cho $fg \simeq 1_B$ và $gf \simeq 1_A$. Khi đó, ta ký hiệu $A \simeq B$.
Mệnh đề 1.5. Nếu $f: A \to B$ là một tương đương đồng luân thì nó cảm sinh đẳng cấu $H_n(f): H_n(A) \to H_n(B)$ với mỗi $n \ge 0$.
Định nghĩa. Một tựa đẳng cấu là một ánh xạ dây chuyền $f: A \to B$ sao cho $H_n(f)$ là một đẳng cấu với mỗi $n \ge 0$. Ta ký hiệu tựa đẳng cấu bởi $\tilde{\rightarrow}$. Hai phức dây chuyền $A$ và $B$ được gọi là tựa đẳng cấu nếu tồn tại các tựa đẳng cấu $$A \tilde{\leftarrow} A_1 \tilde{\rightarrow} \cdots \tilde{\leftarrow} A_n \tilde{\rightarrow} B.$$
Hiển nhiên, hai phức tựa đẳng cấu thì các nhóm đồng điều tương ứng đẳng cấu.
Nhắc lại rằng một $R$-môđun $P$ được gọi là xạ ảnh nếu hàm tử $\text{Hom}_R(P,-): {}_R\mathbf{Mod} \to \mathbf{Ab}$ khớp (bảo toàn toàn cấu). Một $R$-môđun $I$ được gọi là nội xạ nếu hàm tử $\text{Hom}_R(-,I): {}_R\mathbf{Mod} \to \mathbf{Ab}$ khớp (biến đơn cấu thành toàn cấu).
Mệnh đề 1.6. Cho $f: A \to B$ là một tựa đẳng cấu giữa hai phức tập trung ở bậc không âm. Nếu $A$ nội xạ ở mọi bậc hoặc $B$ xạ ảnh ở mọi bậc thì $f$ là một tương đương đồng luân.
Như vậy, nếu muốn làm đại số đồng điều trong đó các phức sai khác tựa đẳng cấu, ta có hai mô hình:
Một trong những mục tiêu của lý thuyết đồng luân của Quillen là tổng quát hóa khái niệm "giải" ở trên cho các phạm trù không abel.
Ta nhắc lại về dãy khớp dài. Giả sử $0 \to A \xrightarrow{i} B \xrightarrow{p} C \to 0$ là một dãy khớp ngắn các phức dây chuyền, khi đó ta có dãy khớp dài $$\cdots \to H_n(A) \xrightarrow{i_\ast} H_n(B) \xrightarrow{p_\ast} H_n(C) \xrightarrow{\partial} H_{n-1}(A) \to \cdots \to H_0(C) \to 0,$$ trong đó $\partial$ là các đồng cấu nối. Có hai cách xây dựng các đồng cấu nối.
Để xây dựng dãy khớp dài cho các nhóm đồng luân của các không gian tô pô, ta cần các khái niệm tương tự (theo nghĩa đồng luân) với khái niệm đơn cấu và toàn cấu của phức dây chuyền. Đó là khái niệm (đối) phân thớ.
Định nghĩa 1.7. Một phân thớ Hurewicz là một ánh xạ liên tục $p: E \to B$ sao cho trong mọi biểu đồ giao hoán
$H$ có thể nâng thành một ánh xạ liên tục $\tilde{H}$. Nói cách khác, nếu ta có một phép đồng luân $H: X \times [0,1] \to B$ giữa hai ánh xạ liên tục $f,g: X \to B$ và một nâng $\tilde{f}: X \to E$ của $f$, thế thì ta có thể nâng $H$ thành một phép đồng luân giữa $\tilde{f}$ và một nâng $\tilde{g} = \tilde{H}(-,1)$ của $g$.
Mệnh đề 1.8. Kéo lùi của một phân thớ Hurewicz là một phân thớ Hurewicz.
Ví dụ 1.9. Cho $f: X \to Y$ là một ánh xạ liên tục. Ta định nghĩa không gian đường của $f$ bởi $$P_f = Y^{[0,1]} \times_Y X = \{(\gamma,x) \,|\, \gamma: [0,1] \times X, x \in X, \gamma(0) = f(x)\},$$ trong đó tô pô trên $Y^{[0,1]}$ là tô pô compact-mở. Thế thì ánh xạ $\text{ev}_1: P_f \to Y$ cho bởi $\text{ev}_1(\gamma,x) =\gamma(1)$ là một phân thớ Hurewicz. Hơn nữa, ta có phân tích $X \tilde{\hookrightarrow} P_f \xrightarrow{\text{ev}_1} Y$ - nghĩa là có thể phân tích mọi ánh xạ liên tục thành hợp của một phân thớ và một tương đương đồng luân yếu.
Mệnh đề 1.10. Cho $p: E \to B$ là một phân thớ với $B$ liên thông đường. Khi đó các thớ $E_b = p^{-1}(b)$ (với $b \in B$) tương đương đồng luân. Nếu ta lấy $b_0 \in B$, $F = p^{-1}(b_0)$ và $f_0 \in F$ thì ta có dãy khớp dài các nhóm đồng luân $$\cdots \to \pi_n(F,f_0) \to \pi_n(E,f_0) \to \pi_n(B,b_0) \to \pi_{n-1}(F,f_0) \to \cdots$$
Một cách đối ngẫu, ta có
Định nghĩa 1.11. Một đối phân thớ (Hurewicz) là một ánh xạ liên tục $i: A \to X$ sao cho trong mọi biểu đồ giao hoán
$h$ có thể mở rộng thành một ánh xạ liên tục $H$. Nói cách khác, nếu ta có một ánh xạ liên tục $f: X \to Y$ và một phép đồng luân giữa $h$ "hạn chế" $f \circ i = f|_A$ và một ánh xạ khác $g: A \to Y$, thì ta có thể mở rộng $h$ lên cả $X$.
Mệnh đề 1.12. Một đối phân thớ $i: A \to X$ cảm sinh một phép đồng phôi $i: A \to i(A)$. Nếu $X$ Hausdorff thì $i(A)$ đóng.
Ví dụ 1.13. Phép bao hàm của một CW-phức con trong một CW-phức là một đối phân thớ.
Ví dụ 1.14. Cho $f: A \to X$ là một ánh xạ liên tục. Ta định nghĩa hình trụ của $f$ bởi $$C_f = (A \times [0,1] \sqcup X) / \left\langle(a,0) \sim f(a): a \in A \right\rangle.$$ Ta có phân tích của $f$ thành hợp của một tương đương đồng luân yếu và một đối phân thớ $A \hookrightarrow C_f \tilde{\rightarrow} X$.
Cho hai ánh xạ liên tục $f,g: A \to X$. Nhận xét rằng, với $\gamma = (1_A,1_A): A \sqcup A \to A$ là ánh xạ hiển nhiên, cho một phép đồng luân giữa $f$ và $g$ cũng là cho một ánh xạ liên tục $H: C_\gamma \to Y$ sao cho hợp $A \sqcup A \to C_f \to X$ chính là ánh xạ $(f,g)$. Một cách đối ngẫu, xét $\delta = (1_X,1_X): X \to X \times X$ là ánh xạ đường chéo. Thế thì cho một ánh xạ liên tục $H: X \to P_\delta$ sao cho $\text{ev}_0 \circ H = f$ và $\text{ev}_1 \circ H = g$ cũng là cho một ánh xạ liên tục $u: A \to X$ cùng hai phép đồng luân $f \simeq u \simeq g$.
Định nghĩa. Cho $(X,A)$ là một cặp không gian và $a \in A$. Ta định nghĩa các tập hợp đồng luân tương đối $\pi_n(X,A)$ (với $n \ge 1$) là thương của tập hợp các ánh xạ liên tục $\gamma: [0,1]^n \to X$ sao cho $\gamma(\partial [0,1]^n) \subset A$ và $\gamma(\partial [0,1]^n \setminus ([0,1]^{n-1} \times \{0\})) \subset A = \{a\}$ sai khác đồng luân tương đối $A$. Đó là một nhóm với $n \ge 2$ và là một nhóm abel với $n \ge 3$.
Mệnh đề 1.15. Ta có dãy khớp dài các nhóm đồng luân $$\cdots \to \pi_n(A) \to \pi_n(X) \to \pi_n(X,A) \to \pi_{n-1}(A) \to \cdots$$
Community Forum Software by IP.Board
Licensed to: Diễn đàn Toán học