Lihat sumber Geometri afin

{{short description|Geometri euklidean tanpa jarak dan sudut}}
[[Berkas:Translation parallelogram.svg|thumb|Dalam geometri affine, seseorang menggunakan [[aksioma Playfair]] untuk menemukan garis melalui C1 dan sejajar dengan B1B2, dan untuk menemukan garis melalui B2 dan sejajar dengan B1C1: persimpangan C2 mereka adalah hasil dari terjemahan yang ditunjukkan.]]
{{General geometry}}

Dalam [[matematika]], '''Geometri afin''' ({{lang-en|affine geometry}}) adalah sisa-sisa [[geometri Euklides]] saat tidak digunakan (matematikawan sering mengatakan "affine"<ref>{{Citation | last1=Berger | first1=Marcel | author1-link=Marcel Berger | title=Geometry I | publisher=Springer | location=Berlin | isbn= 3-540-11658-3 | year=1987}}</ref><ref>See also [[forgetful functor]].</ref>) pengertian [[ruang metrik|metrik]] tentang jarak dan sudut.

Karena pengertian '' [[garis sejajar]] '' adalah salah satu properti utama yang tidak bergantung pada metrik apa pun, geometri affine sering dianggap sebagai studi tentang garis sejajar. Oleh karena itu, [[aksioma Playfair]] ('' diberi garis L dan titik P bukan di L, ada tepat satu garis sejajar L yang melewati P '') adalah fundamental dalam geometri affine. Perbandingan gambar pada geometri affine dilakukan dengan [[transformasi affine]], yaitu pemetaan yang menjaga kesejajaran titik dan paralelisme garis.

Geometri Affine dapat dikembangkan dengan dua cara yang pada dasarnya ekuivalen.<ref>{{citation  |first=Emil |last=Artin |title=[[Geometric Algebra]]  |series=Wiley Classics Library|publisher=John Wiley & Sons Inc.  |place=New York |year=1988 |pages=x+214 |isbn=0-471-60839-4|mr=1009557 |doi=10.1002/9781118164518}} ''(Cetak ulang dari aslinya 1957; A Wiley-Interscience Publication)''</ref>

Dalam [[geometri sintetik]], [[ruang affine]] adalah himpunan '' titik '' yang dikaitkan dengan sekumpulan garis, yang memenuhi beberapa [[aksioma]] (seperti aksioma Playfair).

Geometri affine juga dapat dikembangkan atas dasar [[aljabar linear]]. Dalam konteks ini sebuah [[ruang affine]] adalah sekumpulan '' poin '' yang dilengkapi dengan satu set '' transformasi '' (yaitu [[pemetaan bijective]]), terjemahan, yang membentuk [[ruang vektor]] (di atas [[bidang (matematika)|bidang]] tertentu, biasanya [[bilangan riil]]), dan sedemikian rupa sehingga untuk pasangan poin terurut tertentu ada terjemahan unik yang mengirimkan poin pertama ke poin kedua; [[komposisi fungsi|komposisi]] dari dua terjemahan adalah jumlah mereka dalam ruang vektor terjemahan.

Dalam istilah yang lebih konkret, ini berarti memiliki operasi yang mengaitkan ke pasangan titik terurut apa pun vektor dan operasi lain yang memungkinkan terjemahan titik oleh vektor untuk memberikan yang lain; operasi ini diperlukan untuk memenuhi sejumlah aksioma (terutama bahwa dua terjemahan yang berurutan memiliki efek terjemahan oleh vektor penjumlahan). Dengan memilih titik mana pun sebagai "asal", titik-titik tersebut berada dalam [[korespondensi satu-ke-satu]] dengan vektor, tetapi tidak ada pilihan yang lebih disukai untuk titik asal; dengan demikian ruang affine dapat dilihat sebagai diperoleh dari ruang vektor terkait dengan "melupakan" asalnya (vektor nol).

Meskipun artikel ini hanya membahas [[ruang affine]], pengertian "melupakan metrik" jauh lebih umum, dan dapat diterapkan ke sembarang [[manifold]], secara umum. Perluasan pengertian ruang affine ke lipatan pada umumnya dikembangkan dalam artikel di [[hubungan affine]].

== Sejarah ==
Pada tahun 1748, [[Leonhard Euler]] memperkenalkan istilah '' affine ''<ref>{{cite web| title=Earliest Known Uses of Some of the Words of Mathematics (A)| last=Miller| first=Jeff| url=http://jeff560.tripod.com/a.html| access-date=2020-10-05| archive-date=2018-01-30| archive-url=https://web.archive.org/web/20180130070642/http://jeff560.tripod.com/a.html| dead-url=no}}</ref><ref>{{cite book | last=Blaschke | first=Wilhelm | pages=[https://archive.org/details/analytischegeome0000wilh/page/31 31] | title=Analytische Geometrie | url=https://archive.org/details/analytischegeome0000wilh | location=Basel | publisher=Birkhauser | year=1954 | isbn=}}</ref> (Latin ''affinis'', "terkait") dalam bukunya '' [[Introductio in analysin infinitorum]] '' (volume 2, chapter XVIII). Pada tahun 1827, [[August Möbius]] menulis tentang geometri affine dalam '' Der barycentrische Calcul '' (bab 3).

Setelah [[Felix Klein]] [[program Erlangen]], geometri affine diakui sebagai generalisasi dari [[geometri Euklides]].<ref>{{cite book | last=Coxeter | first=H. S. M. | pages=[https://archive.org/details/introductiontoge0002coxe/page/191 191] | title=Introduction to Geometry | url=https://archive.org/details/introductiontoge0002coxe | url-access=registration | location=New York | publisher=John Wiley & Sons | year=1969 | isbn=0-471-50458-0}}</ref>

Pada tahun 1912, [[Edwin B. Wilson]] dan [[Gilbert N. Lewis]] mengembangkan geometri affine<ref>[[Edwin B. Wilson]] & [[Gilbert N. Lewis]] (1912). "Relativitas Ruang-waktu. Non-Euklidean Geometri Mekanika dan Elektromagnetik", Prosiding [[American Academy of Arts and Sciences]] 48:387–507</ref><ref>[https://web.archive.org/web/20091027012400/http://ca.geocities.com/cocklebio/synsptm.html Synthetic Spacetime], sebuah intisari dari aksioma yang digunakan, dan teorema dibuktikan, oleh Wilson dan Lewis. Diarsipkan oleh [[WebCite]]</ref> untuk mengekspresikan [[teori relativitas khusus]].

Pada tahun 1918, [[Hermann Weyl]] merujuk pada geometri affine untuk teksnya '' Space, Time, Matter ''. Dia menggunakan geometri affine untuk memperkenalkan penjumlahan dan pengurangan vektor<ref>[[Hermann Weyl]] (1918)''[https://archive.org/details/raumzeitmateriev00weyl Raum, Zeit, Materie]''. 5 edns. to 1922 ed. with notes by Jūrgen Ehlers, 1980. trans. 4th edn. Henry Brose, 1922 ''[https://archive.org/details/spacetimematter00weyluoft Space Time Matter]'', Methuen, rept. 1952 Dover. {{ISBN|0-486-60267-2}} . See Chapter 1 §2 Foundations of Affine Geometry, pp 16–27</ref> pada tahap paling awal perkembangannya [[fisika matematika]]. Nanti, [[E. T. Whittaker]] menulis:<ref>[[E. T. Whittaker]] (1958). ''Dari Euclid ke Eddington: studi tentang konsepsi dunia luar '', [[Dover Publications]], p. 130.</ref>
: Geometri Weyl secara historis menarik karena merupakan geometri affine pertama yang dikerjakan secara mendetail: geometri ini didasarkan pada tipe khusus [[transpor paralel]] [...menggunakan] [[worldline]] sinyal cahaya dalam ruang-waktu empat dimensi. Sebuah elemen pendek dari salah satu garis dunia ini dapat disebut sebagai '' null-vector ''; maka transpor paralel yang dimaksud adalah sedemikian rupa sehingga membawa vektor nol pada satu titik ke posisi vektor nol pada titik yang berdekatan.

Pada tahun 1984, "bidang affine terkait dengan ruang vektor Lorentzian ''L''<sup>2</sup>" dijelaskan oleh Graciela Birman dan [[Katsumi Nomizu]] dalam artikel berjudul "Trigonometri dalam geometri Lorentzian".<ref>Graciela S. Birman & [[Katsumi Nomizu]] (1984). "Trigonometry in Lorentzian geometry", [[American Mathematical Monthly]] 91(9):543–9, Lorentzian affine plane: p. 544</ref>

== Sistem aksioma ==
Beberapa pendekatan aksiomatik untuk geometri affine telah dikemukakan:

=== Hukum Pappus ===
[[Berkas:PappusAffine.svg|thumb|Hukum pappus: jika garis merah sejajar dan garis biru sejajar, maka garis hitam putus-putus harus sejajar.]]
Karena geometri affine berhubungan dengan garis-garis paralel, salah satu properti paralel yang dicatat oleh [[Pappus of Alexandria]] telah diambil sebagai premis:<ref>Veblen 1918: p. 103 (figure), and p. 118 (exercise 3).</ref><ref>Coxeter 1955, `` Bidang Affine '', § 2: Geometri Affine sebagai sistem independen</ref>
* Bial  <math>A, B, C</math> berada di satu baris dan <math>A', B', C'</math> di tempat lain, lalu
: <math>(AB' \parallel A'B \ \land \ BC' \parallel B'C) \Rightarrow CA' \parallel C'A.</math>

Sistem aksioma lengkap yang diusulkan memiliki '' titik '', '' garis '', dan '' garis yang mengandung titik '' sebagai [[gagasan primitif]]:
* Dua titik terkandung hanya dalam satu baris.
* Untuk setiap baris '' l '' dan sembarang titik '' P '', bukan pada '' l '', hanya ada satu baris yang berisi '' P '' dan tidak berisi titik '' l ''. Baris ini dikatakan '' sejajar '' dengan '' l ''.
* Setiap baris mengandung setidaknya dua titik.
* Setidaknya ada tiga titik yang tidak termasuk dalam satu baris.

Menurut [[H. S. M. Coxeter]]:
: Kepentingan lima aksioma ini diperkuat oleh fakta bahwa mereka dapat dikembangkan menjadi proposisi yang sangat luas, memegang tidak hanya dalam [[geometri Euklides]] tetapi juga dalam [[ruang Minkowski|geometri Minkowski]] waktu dan ruang (dalam kasus sederhana dimensi 1 + 1, sedangkan teori relativitas khusus diperlukan. Perluasan baik ke geometri Euclidean atau Minkowskian dicapai dengan menambahkan berbagai aksioma ortogonalitas lebih lanjut, dll.<ref>Coxeter 1955, ''Affine plane'', p. 8</ref>

Berbagai jenis geometri affine sesuai dengan interpretasi apa yang diambil untuk '' rotasi ''. Geometri euklides berhubungan dengan [[rotasi (matematika)|ide biasa tentang rotasi]], sedangkan geometri Minkowski sesuai dengan [[rotasi hiperbolik]]. Sehubungan dengan garis [[tegak lurus]], garis tersebut tetap tegak lurus saat bidang mengalami rotasi biasa. Dalam geometri Minkowski, garis yang [[hiperbolik-ortogonal]] tetap berada dalam relasi tersebut saat bidang mengalami rotasi hiperbolik.

=== Struktur yang dipesan ===
Perlakuan aksiomatik dari geometri affine bidang dapat dibangun dari [[Geometri terurut#Aksioma geometri terurut|aksioma geometri terurut]] dengan penambahan dua penjumlahan:<ref>Coxeter, ''Introduction to Geometry'', p. 192</ref>

# ([[Postulat paralel|Affine aksioma paralelisme]]) Diketahui titik A dan garis r, tidak melalui A, paling banyak ada satu garis melalui A yang tidak bertemu r.
# ([[Teorema Desargues|Desargues]]) Diberikan tujuh titik berbeda A, A ', B, B', C, C ', O, sehingga AA', BB ', dan CC' adalah garis yang berbeda melalui O dan AB adalah sejajar dengan A'B 'dan BC sejajar dengan B'C'.

Konsep affine dari paralelisme membentuk sebuah [[relasi ekivalen]] pada garis. Karena aksioma geometri teratur seperti yang disajikan di sini mencakup properti yang menyiratkan struktur bilangan riil, properti tersebut terbawa di sini sehingga ini adalah aksiomatisasi geometri affine di atas bidang bilangan real.

=== Gelanggang terner ===
{{main|Gelanggang terner planar}}
[[Bidang non-Desarguesian]] pertama dicatat oleh [[David Hilbert]] dalam '' Foundations of Geometry ''.<ref>[[David Hilbert]], 1980 (1899). ''[http://www.gutenberg.org/files/17384/17384-pdf.pdf The Foundations of Geometry] {{Webarchive|url=https://web.archive.org/web/20211026210116/https://www.gutenberg.org/files/17384/17384-pdf.pdf |date=2021-10-26 }}'', 2nd ed., Chicago: Open Court, weblink from [[Project Gutenberg]], p. 74.</ref> [[Pesawat moulton]] adalah ilustrasi standar. Untuk memberikan konteks untuk geometri tersebut dan juga geometri yang [[teorema Desargues]] valid, konsep cincin terner telah dikembangkan..

Bidang affine rudimenter dibangun dari pasangan terurut yang diambil dari cincin terner. Sebuah bidang dikatakan memiliki "minor affine Desargues property" jika dua segitiga dalam perspektif paralel, memiliki, sisi ketiga juga harus sejajar. Jika properti ini berlaku pada bidang affine rudimenter yang ditentukan oleh gelanggang terner, lalu ada [[hubungan ekivalen]] antara "vektor" yang ditentukan oleh pasangan titik dari bidang.<ref>[[Rafael Artzy]] (1965). ''Linear Geometry'', [[Addison-Wesley]], p. 213.</ref> Selanjutnya, vektor membentuk [[kelompok abelian]] di bawah tambahan, cincin terner adalah linear, dan memenuhi distributivitas kanan:
: (''a'' + ''b'') ''c'' = ''ac'' + ''bc''.

== Transformasi Affine ==
{{main|Transformasi Affine}}

Secara geometris, transformasi affine (afinitas) mempertahankan collinearity: sehingga mereka mengubah garis paralel menjadi garis paralel dan mempertahankan rasio jarak di sepanjang garis paralel.

Kami mengidentifikasi sebagai '' affine theorems '' setiap hasil geometris yang invarian di bawah [[grup affine]] (dalam [[Felix Klein]] [[program Erlangen]] ini adalah [[grup (matematika)|grup]] yang mendasari transformasi simetri untuk geometri affine).  Pertimbangkan dalam ruang vektor '' V '', [[grup linear umum]] GL ('' V ''). Ini bukan keseluruhan '' affine group '' karena kita juga harus mengizinkan [[terjemahan (geometri)|terjemahan]] oleh vektor '' v '' dalam '' V ''. (Terjemahan seperti itu memetakan setiap '' w '' di '' V '' ke ''w + v''.) Grup affine dihasilkan oleh grup linear umum dan terjemahannya dan sebenarnya [[produk semidirect]] mereka <math>V \rtimes \mathrm{GL}(V)</math>. (Di sini kami menganggap '' V '' sebagai grup di bawah operasi penjumlahannya, dan menggunakan representasi penentu GL ('' V '') pada '' V '' untuk menentukan produk semidirect.)

Misalnya, teorema dari bidang geometri segitiga tentang kesesuaian garis yang menghubungkan setiap simpul ke titik tengah sisi yang berlawanan (di '' [[centroid]] '' atau '' [[Koordinat barycentric (astronomi)|barycenter]] '') bergantung pada pengertian '' mid-point '' dan '' centroid '' sebagai affine invarian.  Contoh lain termasuk teorema [[Teorema Ceva|Ceva]] dan [[Teorema Menelaus|Menelaus]].

Affine invariants juga dapat membantu perhitungan. Misalnya, garis-garis yang membagi luas segitiga menjadi dua bagian yang sama membentuk [[amplop (matematika)|amplop]] di dalam segitiga. Perbandingan luas amplop dengan luas segitiga adalah affine invariant, sehingga hanya perlu dihitung dari kasus sederhana seperti satuan segitiga siku-siku untuk memberikan <math>\tfrac{3}{4} \log_e(2) - \tfrac{1}{2},</math> yaitu 0,019860 ... atau kurang dari 2%, untuk semua segitiga.

Rumus yang sudah dikenal seperti setengah alas dikali tinggi untuk luas segitiga, atau sepertiga alas dikali tinggi volume limas, juga merupakan invarian affine.  Sementara yang terakhir kurang jelas daripada yang pertama untuk kasus umum, dengan mudah terlihat untuk seperenam dari kubus satuan yang dibentuk oleh sebuah muka (luas 1) dan titik tengah kubus (tinggi 1/2).  Oleh karena itu, ini berlaku untuk semua piramida, bahkan yang miring yang puncaknya tidak tepat di atas pusat alas, dan yang memiliki alas jajar genjang, bukan persegi.  Rumus tersebut selanjutnya digeneralisasikan menjadi piramida yang alasnya dapat dibedah menjadi jajaran genjang, termasuk kerucut dengan memungkinkan banyak jajaran genjang (dengan memperhatikan konvergensi).  Pendekatan yang sama menunjukkan bahwa piramida empat dimensi memiliki volume 4D seperempat volume 3D dari [[parallelepiped]] kali alas tingginya, dan seterusnya untuk dimensi yang lebih tinggi.

== Tampilan proyektif ==
Dalam [[geometri]] tradisional, geometri affine dianggap sebagai studi antara [[geometri Euklides]] dan [[geometri proyektif]]. Di satu sisi, geometri affine adalah geometri Euclidean dengan [[kongruensi (geometri)|kongruensi]] ditinggalkan; di sisi lain, geometri affine dapat diperoleh dari geometri proyektif dengan penunjukan garis atau bidang tertentu untuk mewakili [[titik tak terhingga]].<ref>H. S. M. Coxeter (1942). ''Non-Euclidean Geometry'', [[University of Toronto Press]], pp. 18, 19.</ref> Dalam geometri affine, tidak ada struktur [[metrik (matematika)|metrik]] tetapi [[postulat paralel]] berlaku. Geometri Affine memberikan dasar untuk struktur Euklidean ketika garis [[tegak lurus]] ditentukan, atau dasar untuk geometri Minkowski melalui pengertian [[ortogonalitas hiperbolik]].<ref>Coxeter 1942, p. 178</ref> Dalam sudut pandang ini, [[transformasi affine]] adalah [[transformasi proyektif]] yang tidak mengijinkan titik-titik berhingga dengan titik-titik pada tak terhingga, dan affine [[geometri transformasi]] adalah studi tentang properti geometris melalui [[Tindakan kelompok (matematika)|tindakan]] dari [[grup (matematika)|kelompok]] dari transformasi affine.

== Lihat pula ==
* [[Geometri non-Euklides]]

== Referensi ==
{{Reflist|30em}}

== Bacaan lebih lanjut ==
* [[Emil Artin]] (1957) ''[[Geometric Algebra]]'', chapter 2: "Affine and projective geometry", [[Interscience Publishers]].
* V.G. Ashkinuse & [[Isaak Yaglom]] (1962) ''Ideas and Methods of Affine and Projective Geometry'' (in [[Russian language|Russian]]), Ministry of Education, Moscow.
* M. K. Bennett (1995) ''Affine and Projective Geometry'', [[John Wiley & Sons]] {{ISBN|0-471-11315-8}} .
* H. S. M. Coxeter (1955) "The Affine Plane", [[Scripta Mathematica]] 21:5–14, a lecture delivered before the Forum of the Society of Friends of ''Scripta Mathematica'' on Monday, April 26, 1954.
* [[Felix Klein]] (1939) ''Elementary Mathematics from an Advanced Standpoint: Geometry'', translated by E. R. Hedrick and C. A. Noble, pp 70–86, [[Macmillan Company]].
* Bruce E. Meserve (1955) ''Fundamental Concepts of Geometry'', Chapter 5 Affine Geometry,, pp 150–84, [[Addison-Wesley]].
* Peter Scherk & Rolf Lingenberg (1975) ''Rudiments of Plane Affine Geometry'', Mathematical Expositions #20, [[University of Toronto Press]].
* Wanda Szmielew (1984) ''From Affine to Euclidean Geometry: an axiomatic approach'', [[D. Reidel]], {{ISBN|90-277-1243-3}} .
* [[Oswald Veblen]] (1918) ''Projective Geometry'', volume 2, chapter 3: Affine group in the plane, pp 70 to 118, Ginn & Company.

== Pranala luar ==
{{Commonscat}}
*[[Peter Cameron (mathematician)|Peter Cameron]]'s [http://www.maths.qmul.ac.uk/~pjc/pps/pps2.pdf Projective and Affine Geometries] {{Webarchive|url=https://web.archive.org/web/20220121045013/http://www.maths.qmul.ac.uk/~pjc/pps/pps2.pdf |date=2022-01-21 }} from [[University of London]].
*[[Jean Gallier|Jean H. Gallier]] (2001). ''Geometric Methods and Applications for Computer Science and Engineering'', Chapter 2: [http://www.cis.upenn.edu/~cis610/geombchap2.pdf "Basics of Affine Geometry"] {{Webarchive|url=https://web.archive.org/web/20210917182549/https://www.cis.upenn.edu/~cis610/geombchap2.pdf |date=2021-09-17 }} (PDF), Springer Texts in Applied Mathematics #38, chapter online from [[University of Pennsylvania]].

{{Authority control}}

[[Kategori:Geometri| ]]