Afin dönüşümü

Geometride, afin dönüşüm (Latinceden, affinis, "birbirine bağlılık") veya ilgin dönüşüm, afin uzaylar arasında noktaları, düz çizgileri ve düzlemleri koruyan bir eşlemedir.^[1] Ayrıca, paralel çizgi kümeleri bir afin dönüşüm sonrası paralel kalır. Bir afin dönüşümde aynı doğru üzerinde duran noktalar arasındaki mesafe oranları korunmasına rağmen, çizgiler arasındaki açılar ve noktalar arasındaki mesafeler korunmayabilir.

Öteleme, dönme, ölçekleme, benzeşim, benzerlik dönüşümü, yansıma, kayma eşlemesi ve bunların kombinasyonları birer ilgin dönüşüm örneğidir.

${\displaystyle X}$ ve ${\displaystyle Y}$ afin uzayları için, her ${\displaystyle f:X\to Y}$ afin dönüşümü ${\displaystyle x\mapsto Mx+b}$ formundadır. Burada ${\displaystyle M}$ bir doğrusal dönüşümü, ${\displaystyle x}$ bir vektörü (${\displaystyle X}$ uzayında) ve ${\displaystyle b}$ bir vektörü (${\displaystyle Y}$ uzayında) ifade eder. Doğrusal dönüşümün aksine, ilgin dönüşüm doğrusal bir uzayda sıfır noktasının korunmasını gerektirmez. Bu yüzden, her doğrusal dönüşüm ilgindir, ama her ilgin dönüşüm doğrusal değildir.

Öklid uzayı çok amaç için bir afin uzay olarak düşünülüyor olabilir,Afin uzayı kavramı daha genel olmasına rağmen (yani, tüm Öklid uzaylar afin, ama Öklidyen olmayan olan afin uzaylarda vardır).afin koordinatlarda,kartezyen koordinatlar Öklid uzaylarinda yer alır, Bir afin haritanın her koordinatı çıkışı doğrusal fonksiyondur; o zaman, (durum vektörleri) herhangi bir afin dönüşüm bir doğrusal dönüşüme eşdeğerdir bir öteleme aşağıdadır.

Matematiksel Tanımı

İki afin uzay arasında (bu,iki uzay noktaları arasındaki vektörler olup) vektörler üzerinde doğrusal hareket noktalarının bir göndermesidir.^[1] ${\displaystyle f:{\mathcal {A}}\to {\mathcal {B}}}$ Semboller, bu noktaların herhangi bir çifti için bir f lineer dönüşümü olan φ 'yi belirler;

${\displaystyle P,Q\in {\mathcal {A}}}$:

${\displaystyle {\overrightarrow {f(P)~f(Q)}}=\varphi ({\overrightarrow {PQ}})}$

veya

${\displaystyle f(Q)-f(P)=\varphi (Q-P)}$.

Aşağıda başka birkaç yolla bu tanımı yorumlayabiliriz..

${\displaystyle O\in {\mathcal {A}}}$ seçersek,imaji ${\displaystyle B}$ olur ${\displaystyle f(O)\in {\mathcal {B}}}$, bu demektir ki bir vektör ${\displaystyle {\vec {x}}}$:

${\displaystyle f:(O+{\vec {x}})\mapsto (B+\varphi ({\vec {x}}))}$

Eğer orijin ${\displaystyle O'\in {\mathcal {B}}}$ seçilirse bu bir afin dönüşüm olarak ayrıştırılabilir ve ${\displaystyle B}$ görüntüsü${\displaystyle f(O)\in {\mathcal {B}}}$ ise,herhangi bir ${\displaystyle {\vec {x}}}$ vektörü için bunun anlamı

${\displaystyle g:(O+{\vec {x}})\mapsto (O'+\varphi ({\vec {x}})),}$

${\displaystyle g:{\mathcal {A}}\to {\mathcal {B}}}$ buraya gönderir ${\displaystyle O\mapsto O'}$ yani

${\displaystyle {\vec {b}}={\overrightarrow {O'B}}}$ tarafından aşağıda çevrilen sonuç olarak bu,sezgisel bir ${\displaystyle f}$ bir öteleme ile doğrusal harita oluşur.

Alternatif tanımlar

Ayni alan üzerinde iki Afin uzay ${\displaystyle {\mathcal {A}}}$ ve ${\displaystyle {\mathcal {B}}}$ veriliyor ${\displaystyle f:{\mathcal {A}}\to {\mathcal {B}}}$ fonksiyonu afin bir göndermedir ancak ve ancak her aile için ${\displaystyle \{(a_{i},\lambda _{i})\}_{i\in I}}$ ${\displaystyle {\mathcal {A}}}$ agirlik noktalaridir böylece

${\displaystyle \sum _{i\in I}\lambda _{i}=1,}$

^[2]

${\displaystyle f\left(\sum _{i\in I}\lambda _{i}a_{i}\right)=\sum _{i\in I}\lambda _{i}f(a_{i})\,.}$

Bir diğer ifadeyle, ${\displaystyle f}$ barycenter ler korunur.

Gösterimler

Yukarıda gösterilen, bir afin gönnderme iki fonksiyonun kompozisyonudur: bir öteleme ve bir doğrusal gönderme. Olağan vektör cebri doğrusal göndermeler gönderimi için matris çarpımı ve ötelemeler gösterimi için vektör toplamı kullanılıyor. Resmi olarak,sonlu-boyutlu durum içinde, eğer doğrusal gönderme bir matris A ile bir çarpım olarak ve bir vektör ${\displaystyle {\vec {b}}}$nin toplamı öteleme olarak gösteriliyorsa, bir vektör ${\displaystyle {\vec {x}}}$ üzerinde hareketi bir afin gönderme ${\displaystyle f}$ olarak gösterilebilir

${\displaystyle {\vec {y}}=f({\vec {x}})=A{\vec {x}}+{\vec {b}}.}$

Genişletilmiş matris

Bir genişletilmiş matris ve bir genişletilmiş vektör kullanılıyor, bunu hem öteleme ve hem doğrusal gönderme bir tek matris çarpımı ile temsil etmek mümkündür.Bu teknikle tüm vektörleri genişletmek gerekir sonda bir "1" ile genişler,ve tüm matrisler altta sıfırın bir fazladan satırı kadar genişletiliyor,bir fazladan sütun sağa-öteleme vektörü-ve sağ alt köşe içinde bir "1". Eğer A bir matris ise,

${\displaystyle {\begin{bmatrix}{\vec {y}}\\1\end{bmatrix}}={\begin{bmatrix}A&{\vec {b}}\ \\0,\ldots ,0&1\end{bmatrix}}{\begin{bmatrix}{\vec {x}}\\1\end{bmatrix}}}$

aşağıdakine eşdeğerdir.

${\displaystyle {\vec {y}}=A{\vec {x}}+{\vec {b}}.}$

Düzlemin afin dönüşümü

Iki gerçek boyutlu Afin dönüşümler dahil:

• Tam öteleme,
• Başka bir yönde bir çizgi ile ilgili olarak belirli bir yönde ölçekleme(dik olması gerekmez), öteleme ile birlikte ölçekleme yönünde saf değildir; genel bir anlamda "ölçeklendirme" alarak bu durumda ölçek faktörü içeren (izdüşüm) sıfırdır veya negatiftir; sonra ise yansıma ve öteleme ile birlikte öteleme yansıması içerir,
• dönmeyle kombine benzerlik ile bir öteleme,
• Bir benzerlik ve bir öteleme ile birlikte kesme gönderme veya
• Bir benzeşim ve bir öteleme ile birlikte sıkı gönderme .

Öklid planında genel afin gösteriminin görselleştirilmesi için paralelkenarlar ABCD ve A′B′C′D olarak ′etiketlenir. Seçilen herhangi iki nokta burada,A dan A′ya T planında afin dönüşüm olarak alınıyor ve her tepe eşdeğerdir. Varsayalımki dejenere durumları dışlıyoruz burada ABCDsıfır bölge idi,ayrıca burada tek benzersiz afin dönüşüm T dir. ABCD tabanlı paralelkenarın bir bütün gridi dışarı sürülerek,herhangi bir T(A) belirtilerek P noktası tarafından belirlenen bu imaj T(P) dir. T(A) = A′,T AB çizgi parçasına uygulanan A′B′dir, T' çizgi parçasına uygulanan AC A′C′dir ve A tabanlı vektörlerin T sırasıyla skaler topluluğudur.[Eğer A, E, F eşdoğrusal ise kesir(AF)uzunluğu/(AE)uzunluğu eşittir.(A′F′)uzunluğu/(A′E′) uzunluğu.] geometrik T ye göre ABCD yi A′B′C′D′ tabanına grid dönüştürür .

Afin dönüşümlerin uzunlukları veya açılarını sırası yok etmek için bu alanı sabit bir katsayısı ile çarpmak gerekir.

A′B′C′D′ bölgesi / ABCD bölgesi.

olarak verilen bir T ye doğrudan (sıralı yönlendirme ), veya dolaylı (ters yönlendirme) olabilir ve bu işaret olarak etkisi tarafından belirlenen bölgedir (örnek için vektörlerin çapraz çarpım'ı tanımlanır).

Afin dönüşümlerin örnekleri

Reel sayılar üzerinde Afin dönüşümler

f : R → R fonksiyonları, f(x) = mx + c ile m ve c sabiti,olağan afin dönüşümler yapar.

Sonlu bir alan üzerinde afin dönüşüm

Afin bir dönüşüm içeren GF(2⁸) denklemi aşağıdaki ifade edilmiştir:

${\displaystyle \{\,a'\,\}=M\{\,a\,\}\oplus \{\,v\,\},}$

burada [M] matristir ve {v} vektördür. ${\displaystyle M\{\,a\,\}={\begin{bmatrix}1&0&0&0&1&1&1&1\\1&1&0&0&0&1&1&1\\1&1&1&0&0&0&1&1\\1&1&1&1&0&0&0&1\\1&1&1&1&1&0&0&0\\0&1&1&1&1&1&0&0\\0&0&1&1&1&1&1&0\\0&0&0&1&1&1&1&1\end{bmatrix}}}$  :${\displaystyle \{\,v\,\}={\begin{bmatrix}1\\1\\0\\0\\0\\1\\1\\0\end{bmatrix}}.}$

Örneğin,büyük-sonlu ikili gösterimi içinde aşağıdaki hesaplanan elemanın afin dönüşümü büyük-sonlu hekzadesimal gösterim içinde {CA} ={a} = y⁷ + y⁶ + y³ + y = {11001010} :

${\displaystyle a_{0}'=a_{0}\oplus a_{4}\oplus a_{5}\oplus a_{6}\oplus a_{7}\oplus 1=0\oplus 0\oplus 0\oplus 1\oplus 1\oplus 1=1}$

${\displaystyle a_{1}'=a_{0}\oplus a_{1}\oplus a_{5}\oplus a_{6}\oplus a_{7}\oplus 1=0\oplus 1\oplus 0\oplus 1\oplus 1\oplus 1=0}$

${\displaystyle a_{2}'=a_{0}\oplus a_{1}\oplus a_{2}\oplus a_{6}\oplus a_{7}\oplus 0=0\oplus 1\oplus 0\oplus 1\oplus 1\oplus 0=1}$

${\displaystyle a_{3}'=a_{0}\oplus a_{1}\oplus a_{2}\oplus a_{3}\oplus a_{7}\oplus 0=0\oplus 1\oplus 0\oplus 1\oplus 1\oplus 0=1}$

${\displaystyle a_{4}'=a_{0}\oplus a_{1}\oplus a_{2}\oplus a_{3}\oplus a_{4}\oplus 0=0\oplus 1\oplus 0\oplus 1\oplus 0\oplus 0=0}$

${\displaystyle a_{5}'=a_{1}\oplus a_{2}\oplus a_{3}\oplus a_{4}\oplus a_{5}\oplus 1=1\oplus 0\oplus 1\oplus 0\oplus 0\oplus 1=1}$

${\displaystyle a_{6}'=a_{2}\oplus a_{3}\oplus a_{4}\oplus a_{5}\oplus a_{6}\oplus 1=0\oplus 1\oplus 0\oplus 0\oplus 1\oplus 1=1}$

${\displaystyle a_{7}'=a_{3}\oplus a_{4}\oplus a_{5}\oplus a_{6}\oplus a_{7}\oplus 0=1\oplus 0\oplus 0\oplus 1\oplus 1\oplus 0=1.}$

Böylece, {a′} = y⁷ + y⁶ + y⁵ + y³ + y² + 1 = {11101101} = {ED} afin dönüşümü elde edilir.

Düzlem geometride Afin dönüşüm

ℝ² içinde,dönüşüm tarafından verilen gönderme ile sağ tarafta gerçekleştirilen gösterim:

${\displaystyle {\begin{bmatrix}x\\y\end{bmatrix}}\mapsto {\begin{bmatrix}0&1\\2&1\end{bmatrix}}{\begin{bmatrix}x\\y\end{bmatrix}}+{\begin{bmatrix}-100\\-100\end{bmatrix}}}$

Orijinal üçgen (kırmızı) üç köşe noktaları dönüşüm ile yeni üçgen(mavi) oluşturan üç yeni nokta verir. Bu dönüşüm orijinal üçgeni eğriltir ve öteler. Aslında, her üçgen afin bir dönüşüm başka bir üçgen ile ilgilidir.Bu, aynı zamanda tüm paralelkenarlar için değil,tüm dörtgenler için de geçerlidir.

Ayrıca bakınız

• Bir afin dönüşüm için dönüşüm matrisi
• Afin geometri
• 3D izdüşüm
• Flat (geometri)

Notlar

Kaynakça

• Berger, Marcel (1987), Geometry I, Berlin: Springer, ISBN 3-540-11658-3 
• Nomizu, Katsumi; Sasaki, S. (1994), Affine Differential Geometry (New bas.), Cambridge University Press, ISBN 978-0-521-44177-3 
• Sharpe, R. W. (1997). Differential Geometry: Cartan's Generalization of Klein's Erlangen Program. New York: Springer. ISBN 0-387-94732-9. 

Dış bağlantılar

• "Affine Transformation Example". Hakan Haberdar, University of Houston. 11 Şubat 2015 tarihinde kaynağından arşivlendi. 
• Hazewinkel, Michiel, (Ed.) (2001), "Affine transformation", Encyclopaedia of Mathematics, Kluwer Academic Publishers, ISBN 978-1556080104 
• Geometric Operations: Affine Transform 10 Ekim 2013 tarihinde Wayback Machine sitesinde arşivlendi., R. Fisher, S. Perkins, A. Walker and E. Wolfart.
• Eric W. Weisstein, Affine Transformation (MathWorld)
• Affine Transform 12 Ekim 2013 tarihinde Wayback Machine sitesinde arşivlendi. by Bernard Vuilleumier, Wolfram Demonstrations Project.
• Affine Transformation on PlanetMath 1 Mart 2012 tarihinde Wayback Machine sitesinde arşivlendi.
• Free Affine Transformation software