Afin dönüşümler

Geometride, afin dönüşüm (Latinceden, affinis, "birbirine bağlılık") veya ilgin dönüşüm, arasında noktaları, düz çizgileri ve düzlemleri koruyan bir eşlemedir. 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.

bir eğrelti benzerifraktal resmi afin gösterimdir. Ve her eğreltinin otunun yapraklarıbir afin dönüşüm tarafından bir diğeri ile ilişkilidir. Örneğin,yansıma, dönme, genişleme ve çevirme kırmızı yaprak kombinasyonu tarafından mavi yaprak haline dönüştürülebilir.

Öteleme, dönme, , , , yansıma, ve bunların kombinasyonları birer ilgin dönüşüm örneğidir.

${\displaystyle X}$ ve ${\displaystyle Y}$ 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).,kartezyen koordinatlar Öklid uzaylarinda yer alır, Bir afin haritanın her koordinatı ; o zaman, () herhangi bir afin dönüşüm bir doğrusal dönüşüme eşdeğerdir bir aşağıdadır.

Matematiksel Tanımı

İki arasında (bu,iki uzay noktaları arasındaki vektörler olup) vektörler üzerinde hareket noktalarının bir göndermesidir.${\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 ${\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,}$

${\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}$ ler korunur.

Gösterimler

Yukarıda gösterilen, bir afin gönnderme iki fonksiyonun : bir öteleme ve bir . Olağan vektör cebri doğrusal göndermeler gönderimi için matris çarpımı ve ötelemeler gösterimi için 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

2D düzlem üzerinde afin dönüşümler üç boyutlu olarak gerçekleştirilebilir. öteleme z ekseni üzerinde boyunca kesme yapılır ve dönme z ekseni etrafında yapılır.

Bir 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ü

Merkezi bir genleşme.Üçgenler A1B1Z, A1C1Z ve B1C1Z eşleştirilir olsun sırasıyla A2B2Z, A2C2Z ve B2C2Z.

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 (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 () sıfırdır veya negatiftir; sonra ise ve öteleme ile birlikte içerir,
• dönmeyle kombine ile bir öteleme,
• Bir benzerlik ve bir öteleme ile birlikte veya
• Bir benzeşim ve bir öteleme ile birlikte .

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 (2⁸) denklemi aşağıdaki ifade edilmiştir:

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

burada [M] ve {v} . ${\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, gösterimi içinde aşağıdaki hesaplanan elemanın afin dönüşümü büyük-sonlu 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

Gerçek düzlemde basit bir 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

Notlar

1. ^ ^{a b} Berger, Marcel (1987), p. 38.
2. ^ Schneider, Philip K. & Eberly, David H. (2003). Geometric Tools for Computer Graphics. Morgan Kaufmann. s. 98. ISBN . 13 Ekim 2013 tarihinde kaynağından . Erişim tarihi: 11 Ekim 2013. 

Kaynakça

• (1987), Geometry I, Berlin: Springer, ISBN  
• ; Sasaki, S. (1994), Affine Differential Geometry (New bas.), Cambridge University Press, ISBN  
• Sharpe, R. W. (1997). Differential Geometry: Cartan's Generalization of Klein's Erlangen Program. New York: Springer. ISBN . 

Dış bağlantılar

• . 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  
• Geometric Operations: Affine Transform 10 Ekim 2013 tarihinde Wayback Machine sitesinde ., R. Fisher, S. Perkins, A. Walker and E. Wolfart.
• Eric W. Weisstein, Affine Transformation (MathWorld)
• Affine Transform 12 Ekim 2013 tarihinde Wayback Machine sitesinde . by Bernard Vuilleumier, .
• Affine Transformation on PlanetMath 1 Mart 2012 tarihinde Wayback Machine sitesinde .