Геометричне перетворення

У математиці геометричне перетворення - це будь-яка бієкція множини до себе (або до іншої такої множини) з деякою помітною геометричною основою. Більш конкретно, це функція, домен і діапазон якої є наборами точок - найчастіше обома $\mathbb {R} ^{2}$ або обидва $\mathbb {R} ^{3}$ - така, що функція є ін'єктивною, щоб існувала її обернена. До вивчення геометрії можна підходити шляхом вивчення цих перетворень.

Геометричні перетворення можна класифікувати за розмірністю їх наборів операндів (таким чином розрізняючи, скажімо, площинні перетворення та просторові перетворення). Їх також можна класифікувати за властивостями, які вони зберігають:

• Переміщення зберігають відстань та кути (наприклад, паралельне перенесення);
• Ізометрії зберігають кути та відстані (наприклад, перетворення Евкліда);
• Подібність зберігають кути та співвідношення між відстанями (наприклад, зміна розміру);
• Афінні перетворення зберігають паралельність (наприклад, масштабування, зсув );
• Проективні перетворення (трансформації) зберігають колінеарність ;

Кожен із цих класів містить попередній.

• Перетворення Мебіуса із використанням складних координат на площині (як і інверсія кола) зберігають безліч усіх прямих і кіл, але можуть міняти місцями лінії та кола.

• 

  Оригінальне зображення (на основі карти Франції)

• 

  Ізометрія

• 

  Подібність

• 

  Афінне перетворення

• 

  Проективна трансформація

• 

  інверсія

• Дифеоморфізми (bidifferentiable перетворення) є перетворенням, як афінні в першому порядку; вони містять попередні як особливі випадки і можуть бути додатково уточнені.
• Конформні перетворення зберігають кути і є, у першому порядку, подібністю.
• Еквіаріальні перетворення, збереження площ у площинному випадку або об’ємів у тривимірному випадку. і є, у першому порядку, афінними перетвореннями детермінанти 1.
• Гомеоморфізми (двосторонні перетворення) зберігають околиці точок.

• 

  Конформне перетворення

• 

  Еквіаріальна трансформація

• 

  Дифеоморфізм

• 

  Гомеоморфізм

Перетворення одного типу утворюють групи, які можуть бути підгрупами інших груп перетворень.

Протилежні групові дії

Багато геометричних перетворень виражаються за допомогою лінійної алгебри. Бієктивні лінійні перетворення (бієкція) - це елементи загальної лінійної групи. Лінійне перетворення A не є особливим. Для вектора рядків v матричний добуток vA дає інший вектор рядка w = vA.

Транспонування вектора рядка v є вектором стовпця v ^T, а транзакція вищевказаної рівності - $w^{T}=(vA)^{T}=A^{T}v^{T}.$ Тут A ^T забезпечує ліву дію на вектори стовпців.

У геометрії перетворень є композиції AB. Починаючи з вектора рядка v, правильною дією складеного перетворення є w = vAB. Після транспонування

$w^{T}=(vAB)^{T}=(AB)^{T}v^{T}=B^{T}A^{T}v^{T}.$

Таким чином, для AB пов'язана дія лівої групи є $B^{T}A^{T}.$ При вивченні протилежних груп розрізняють дії протилежних груп, оскільки єдиними групами, для яких ці протилежності рівні, є комутативні групи.

Примітки

• Ерлангенська програма
• Роздум
• Ортогональне перетворення
• Обертання
• Топологія
• Матриця перетворення

Для ознайомлення

• Adler, Irving (2012) [1966]. A New Look at Geometry. Dover. ISBN 978-0-486-49851-5. 
• Дієнес, З.П. ; Golding, EW (1967). Геометрія через трансформації (3 т. ): Геометрія спотворень, Геометрія конгруентності та Групи та координати. Нью-Йорк: Гердер і Гердер.
• Девід Ганс - Трансформації та геометрії.
• Hilbert, David; Cohn-Vossen, Stephan (1952). Geometry and the Imagination (вид. 2nd). Chelsea. ISBN 0-8284-1087-9. 
• Джон Макклірі - Геометрія з диференційованої точки зору.
• Модєнов, П.С.; Пархоменко, А.С. (1965). Геометричні перетворення (2 т. ): Евклідові та афінні перетворення та проективні перетворення. Нью-Йорк: Академічна преса.
• А. Н. Преслі - Елементарна диференціальна геометрія.
• Яглом, І.М. (1962, 1968, 1973, 2009). Геометричні перетворення (4 т. ). Випадковий будинок (I, II та III), MAA (I, II, III та IV).