Semua buku

Profesional

Aplikasi Tentang Pelatih Masuk Mulai membaca

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)↦AB→∈E(A, B) \mapsto \vect{AB} \in E yang memenuhi

AB→+BC→=AC→(Chasles),untuk tiap A, B↦AB→ merupakan bijeksi E→E.\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 dim⁡E\dim E. Setiap ruang vektor merupakan ruang afin atas dirinya sendiri (dengan AB→=B−A\vect{AB} = B - A); dan setiap pemilihan titik asal O∈EO \in \mathcal{E} mengenali E\mathcal{E} dengan EE lewat M↦OM→M \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 0∉E0 \notin \mathcal E), tetapi ia ruang afin yang diarahkan E={x+y+z=0}E = \{x + y + z = 0\}: sebab untuk A,B∈EA, B \in \mathcal E selisih AB→=B−A\vect{AB} = B - A mendarat di EE (karena jumlahnya saling meniadakan), Chasles diwarisi dari R3\R^3, dan B↦AB→B \mapsto \vect{AB} bijektif ke EE. Tak ada titik E\mathcal E yang diistimewakan — sebab sembarang pemilihan “titik asal” O∈EO \in \mathcal E sama saja berhasil, dan semua pengenalan M↦OM→M \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 →