Matematika · Glosarium

Apa itu ruang afin?

Definisi 17.1 Matematika Universitas — Tahun 2 · Bab 17 — Ruang Afin

Sebuah ruang afin yang diarahkan ruang vektor real EE adalah himpunan tak kosong E\mathcal{E} dengan pemetaan (A,B)ABE(A, B) \mapsto \vect{AB} \in E yang memenuhi

AB+BC=AC(Chasles),untuk tiap A, BAB merupakan bijeksi EE.\vect{AB} + \vect{BC} = \vect{AC} \quad \text{(Chasles)}, \qquad \text{untuk tiap } A,\ B \mapsto \vect{AB} \text{ merupakan bijeksi } \mathcal{E} \to E .

Kita menulis B=A+uB = A + u bagi titik tunggal dengan AB=u\vect{AB} = u. Adapun dimensi E\mathcal{E} adalah dimE\dim E. Setiap ruang vektor merupakan ruang afin atas dirinya sendiri (dengan AB=BA\vect{AB} = B - A); dan setiap pemilihan titik asal OEO \in \mathcal{E} mengenali E\mathcal{E} dengan EE lewat MOMM \mapsto \vect{OM}.

Contoh

Contoh 17.2 (Sebuah ruang afin tanpa titik asal yang alami)

Bidang penyelesaian E={(x,y,z)R3:x+y+z=1}\mathcal E = \{(x, y, z) \in \R^3 : x + y + z = 1\} bukan subruang vektor (sebab 0E0 \notin \mathcal E), tetapi ia ruang afin yang diarahkan E={x+y+z=0}E = \{x + y + z = 0\}: sebab untuk A,BEA, B \in \mathcal E selisih AB=BA\vect{AB} = B - A mendarat di EE (karena jumlahnya saling meniadakan), Chasles diwarisi dari R3\R^3, dan BABB \mapsto \vect{AB} bijektif ke EE. Tak ada titik E\mathcal E yang diistimewakan — sebab sembarang pemilihan “titik asal” OEO \in \mathcal E sama saja berhasil, dan semua pengenalan MOMM \mapsto \vect{OM} hanya berselisih penggeseran. Inilah keadaan yang khas: himpunan penyelesaian masalah linear yang tak homogen (yakni sistem linear, persamaan diferensial linear pada Bab 16) bersifat afin, tak pernah linear, dan slogan “penyelesaian khusus ditambah kernel” persis merupakan pernyataan F=A+F\mathcal F = A + F pada definisi berikutnya.

Baca dalam konteks →