Kofibrasi

Dalam matematika, khususnya teori homotopi, pemetaan kontinu

i: A \to X

di mana A dan X adalah ruang topologi, **kofibrasi** adalah kelas homotopi peta [A,S] diperluas ke kelas peta homotopi [X,S] peta f \in \text{Hom}_{Top}(A,S) diperluas ke peta f' \in \text{Hom}_{\textbf{Top}}(X,S) di mana f'\circ i = f, karena kelas homotopi yang terkait adalah [f] = [f'\circ i].

Jenis struktur dikodekan dengan kondisi teknis yang memiliki sifat ekstensi homotopi dari ruang S. Definisi ganda dengan fibrasi, yang diperlukan untuk mengunakan sifat pengangkatan homotopi dengan semua ruang. Dualitas ini secara informal disebut sebagai dualitas Eckmann-Hilton. Karena sifat umum dinyatakan, maka digunakan dalam kategori model.

## Definisi

### Teori homotopi
Peta i\colon A \to X ruang topologi disebut **kofibrasi**hal 51 jika untuk peta f:A \to S sedemikian rupa sehingga ekstensi ke X, maka peta f':X \to S adalah f'\circ i = f, dengan memperluas homotopi peta H:A\times I \to S ke homotopi peta H': X\times I \to S, dimana\begin{align}
H(a,0) &= f(a) \\
H'(x,0) &= f'(x)
\end{align}Dengan mencari kondisi dalam diagram komutatif berikut
di mana S^I = \text{Hom}_{\textbf{Top}}(I,S) adalah ruang jalur S.

### Objek kofibrant
Untuk kategori model \mathcal{M}, untuk ruang topologi runcing, sebuah objek X disebut **cofibrant** jika peta * \to X adalah kofibrasi. Perhatikan bahwa dalam kategori ruang topologi runcing, pengertian kofibrasi bertepatan dengan definisi sebelumnya dengan asumsi peta adalah peta runcing dari ruang topologi.

## Contoh

### Dalam topologi
Kofibrasi adalah kelas peta yang canggung dari perspektif komputasi karena lebih mudah dilihat sebagai alat teknis formal yang memungkinkan seseorang untuk "melakukan" konstruksi teori homotopi dengan ruang topologi. Maka

: f:X \to Y

dari ruang topologi, kofibrasi terkait ruang Mf disebut peta tabung (di mana Y adalah retraksi deformasi, maka homotopi setara dengannya) yang memiliki kofibrasi terinduksi yang disebut **mengganti peta dengan kofibrasi**

: i: X \to Mf

dan peta Mf \to Y dengan f faktor melalui, artinya diagram komutatif

:

di mana r adalah ekuivalen homotopi.

Selain kelas contoh, maka

* Fakta yang sering digunakan adalah bahwa inklusi seluler adalah kofibrasi (jadi, misalnya, jika (X, A) adalah kompleks CW A \to X adalah kofibrasi). Fakta sebelumnya maka S^{n-1} \to D^n adalah kofibrasi untuk setiap n, dan pushout adalah peta perekatan ke n-1 .
* Kofibrasi dipertahankan di bawah tekanan dan komposisi, yang dinyatakan persis di bawah ini.

### Dalam kompleks rantai
Jika C_+(\mathcal{A}) menjadi kategori kompleks rantai yang 0 dalam derajat q , kemudian ada struktur kategori model hal 1.2 di mana ekuivalen lemahnya adalah Isomorfisme semu, jadi peta kompleks rantai yang isomorfisme setelah mengambil kohomologi, fibrasi yaitu epimorfisme, dan kofibrasi diberikan oleh petai:C_\bullet \to D_\bulletbersifat injektif dan kompleks kokernel \text{Koker}(i)_\bullet adalah kompleks objek proyektif di \mathcal{A} . Selain itu, **objek kofibrant** adalah kompleks objeknya adalah objek proyektif \mathcal{A}.

### Himpunan semi-sederhana
Untuk kategori ss\textbf{Himpunan} dari himpunan semi-sederhana hal 1.3 (tidak menggunakan peta degenerasi naik dalam derajat), terdapat struktur kategori model dengan fibrasi yang diberikan oleh fibrasi, peta injeksi kofibrasi, dan ekuivalen lemah diberikan realisasi geometris.

## Sifat

* Untuk ruang Hausdorff, setiap kofibrasi adalah inklusi tertutup (injektif dengan gambar tertutup); hasilnya juga menggeneralisasi ruang Hausdorff lemah.
* Pushout dari suatu kofibrasi adalah kofibrasi. Artinya, jika g\colon A\to B adalah peta (kontinu) apa pun (antara ruang yang dibuat secara kompak), dan i\colon A\to X adalah kofibrasi, lalu peta yang diinduksi B\to B\cup_g X adalah kofibrasi.
* Peta tabung dapat dipahami sebagai dorongan dari i\colon A\to X dan embedding (di salah satu ujung interval unit) i_0\colon A\to A\times I . Artinya, silinder pemetaan dapat didefinisikan sebagai Mi=X\cup_i(A\times I). Dengan sifat universal pushout, i adalah kofibrasi tepat ketika peta pemetaan dapat dibangun untuk setiap ruang *X.*
* Setiap peta dapat diganti dengan kofibrasi melalui konstruksi peta tabung. Artinya, diberikan peta yang berubah-ubah (berkelanjutan) f\colon X\to Y (antara ruang yang dihasilkan secara kompak), seseorang mendefinisikan tabung pemetaan

:: Mf=Y\cup_f(X\times I) .
: Satu kemudian dikomposisi f dalam komposit kofibrasi dan ekuivalen homotopi. f ditulis sebagai peta
:: X \xrightarrow{j} Mf\xrightarrow{r} Y
: dengan f=rj, kapan j\colon x\mapsto (x,0) adalah inklusi, dan r\colon y\mapsto y di Y dan r\colon(x,s)\mapsto f(x) di X\times I .

* Kofibrasi (*A*, *X*), jika dan hanya jika retraksi dari  X \times I  untuk  (A \times I) \cup (X \times \{0\}), karena ini adalah pushout dan dengan demikian menginduksi peta ke setiap ruang yang masuk akal dalam diagram.
* Persamaan yang serupa dapat dinyatakan untuk pasangan deformasi-retraksi, dan untuk pasangan deformasi-retraksi lingkungan.

## Konstruksi dengan kofibrasi

### Pengganti Kofibrant
Perhatikan bahwa dalam kategori model \mathcal{M} jika i:* \to X bukan kofibrasi, maka silinder pemetaan Mi membentuk **pengganti kofibrant** . Faktanya, jika kita bekerja hanya dalam kategori ruang topologi, penggantian kofibran untuk peta apa pun dari titik ke ruang membentuk pengganti kofibran.

### Kofiber
Untuk kofibrasi A \to X mendefinisikan **kofiber** ruang hasil bagi diinduksi X/A. Secara umum, untuk f:X \to Y, **cofiber** hal 59 didefinisikan sebagai ruang hasil bagiC_f = M_f/(A\times \{0\})yang merupakan kerucut pemetaan f . Secara homotopis, serat karbon bertindak sebagai coklat homotopi peta f:X \to Y . Faktanya, untuk ruang topologi runcing, kolom homotopi dari\underset{\to}{\text{hocolim}}\left(\begin{matrix}
X & \xrightarrow{f} & Y \\
\downarrow & & \\
*
\end{matrix}\right) = C_fFaktanya, urutan peta X \to Y \to C_f dilengkapi dengan urutan kofiber dengan segitiga distiguisi dalam kategori triangulasi.

## Lihat pula

* Fibrasi
* Homotopi kolimit
* Homotopi fiber

## Referensi


* Peter May, "A Concise Course in Algebraic Topology" : bab 6 mendefinisikan dan mendiskusikan kofibrasi, dan digunakan di seluruh
* Ronald Brown, "Topologi dan Groupoids" ; Bab 7 berjudul "Kofibrasi", dan memiliki banyak hasil yang tidak ditemukan di tempat lain.