Deplasare (geometrie)
În geometrie, o deplasare[1] este o izometrie a unui spațiu metric. De exemplu, un plan echipat cu metrica distanței euclidiene este un spațiu metric în care o aplicație care asociază figuri congruente este o deplasare.[2] Mai general, termenul deplasare este un sinonim pentru izometria surjectivă în geometria metrică,[3] inclusiv geometria eliptică și geometria hiperbolică. În acest din urmă caz, deplasarea hiperbolică oferă o abordare a subiectului pentru începători.
Deplasările pot fi împărțite în directe și indirecte. Deplasările directe („proprii” sau „rigide”) sunt deplasări precum translațiile și rotațiile care păstrează orientarea unei forme chirale. Mișcările indirecte („improprii”) sunt mișcări precum reflexiile, reflexiile translate și rotațiile improprii, care inversează orientarea unei forme chirale. Unii geometri definesc deplasarea ca fiind doar deplasări directe.
În geometria diferențială
modificareÎn geometria diferențială un difeomorfism este numit deplasare dacă induce o izometrie între spațiul tangent(d) într-un punct la o varietate și spațiul tangent la imaginea acelui punct.[4][5]
Grupul deplasărilor
modificarePentru o geometrie, mulțimea deplasărilor formează un grup față de compunerea aplicațiilor(d). Acest grup de deplasări este remarcabil prin proprietățile sale. De exemplu, grupul euclidian(d) este remarcat pentru subgrupul normal(d) de translații. În plan, o mișcare euclidiană directă este fie o translație, fie o rotație, în timp ce în spațiu fiecare deplasare euclidiană directă poate fi exprimată ca o deplasare elicoidala(d) conform Teoremei lui Chasles. Când spațiul subiacent este o varietate riemanniană(d), grupul de deplasări este un grup Lie. Mai mult, pentru fiecare pereche de puncte și fiecare izometrie varietatea are curbură constantă dacă și numai dacă există o deplasare care aplică un punct pe altul pentru care deplasarea induce izometria.[6]
În relativitatea restrânsă ideea unui grup de deplasări a fost avansată ca deplasări lorentziene. De exemplu, ideile fundamentale au fost prezentate pentru un plan caracterizat prin forma pătratică .[7] Deplasările din spațiul Minkowski au fost descrise de Serghei Novikov în 2006:[8]
- Principiul fizic al vitezei constante a luminii este exprimat prin cerința ca schimbarea de la un sistem de referință inerțial la altul să fie determinată de o deplasare a spațiului Minkowski, adică de o transformare
- care conservă intervalele din spațiu-timp. Aceasta înseamnă că
- pentru fiecare pereche de puncte x și y din R1,3.
Istoric
modificareO apreciere timpurie a rolului deplasărilor în geometrie a fost dată de Alhazen (965–1039). În lucrarea sa, Spațiul și natura sa,[9] el folosește comparații ale dimensiunilor unui corp mobil pentru a cuantifica vidul spațiului imaginar.
În secolul al XIX-lea Felix Klein a devenit un susținător al teoriei grupurilor ca mijloc de a clasifica geometriile în funcție de „grupurile de deplasări”. El a propus utilizarea grupurilor de simetrii în Programul Erlangen(d), o sugestie care a fost adoptată pe scară largă. El a observat că fiecare congruență euclidiană este o transformare afină(d), iar fiecare dintre acestea este o transformare proiectivă(d); prin urmare grupul de proiectivități conține grupul de transformări afine, care la rândul său conține grupul de congruențe euclidiene. Termenul deplasare pune mai mult accent pe adjectivele: proiectiv, afin, euclidian. Contextul a fost astfel extins atât de mult încât „În topologie deplasările permise sunt deformații inversabile continue care ar putea fi numite deplasări elastice”.[10]
Știința cinematicii este dedicată modelării mișcării fizice în expresii de transformări matematice. Frecvent, transformarea poate fi scrisă folosind algebră vectorială și transformarea liniară. Un exemplu simplu este o rotație descrisă printr-o înmulțire de numere complexe: unde . Rotația în spațiu este realizată prin folosirea cuaternionilor și a transformărilor Lorentz ale spațiu-timpului prin utilizarea bicuaternionilor(d). La începutul secolului al XX-lea, au fost examinate sistemele numerelor hipercomplexe. Mai târziu grupurile lor de automorfisme au condus la grupuri excepționale, cum ar fi G2(d).
În anii 1890 logicienii reduceau noțiunile primitive de geometrie sintetică la un minim absolut. Giuseppe Peano și Mario Pieri au folosit expresia deplasare pentru congruența perechilor de puncte. În raportul său la Congresul Internațional de Filosofie din 1900 Alessandro Padoa a anunțat reducerea noțiunilor primitive doar la punct și deplasare. La acest congres Peano l-a prezentat pe Bertrand Russell logicienilor Europeni. În cartea sa, Principles of Mathematics (1903), Russell a considerat o deplasare ca fiind o izometrie euclidiană care păstrează orientarea(d).[11]
În 1914, când a scris Elements of Non-Euclidean Geometry (în română Elemente de geometrie neeuclidiană), Duncan Sommerville a folosit ideea unei deplasări geometrice pentru a stabili ideea de distanță în geometria hiperbolică.[12] El explica:
- Prin deplasare în sens general nu se înțelege o schimbare de poziție a unui singur punct sau a unei figuri mărginite, ci o deplasare a întregului spațiu, sau, dacă avem de-a face doar cu două dimensiuni, a întregului plan. O deplasare este o transformare care schimbă fiecare punct P într-un alt punct P ′, astfel încât distanțele și unghiurile să rămână neschimbate.
Axiomele deplasării
modificareLászló Rédei a dat următoarele axiome ale deplasării:[13]
- 1. Orice deplasare este o aplicație biunivocă spațiului R pe sine însuși, astfel încât fiecare trei puncte de pe o dreaptă să fie transformate în (trei) puncte de pe o dreaptă.
- 2. Transformarea identică a spațiului R este o deplasare.
- 3. Produsul a două deplasări este o deplasare.
- 4. Inversa unei deplasări este o deplasare.
- 5. Fiind date două plane A, A', două drepte g, g' și două puncte P, P' astfel că P este pe g, g este pe A, P' este pe g' iar g' este pe A', atunci există o deplasare care aplică A pe A', g pe g' și P pe P'
- 6. Fiind date un plan A, o dreaptă g și un punct P, astfel că P este pe g și g este pe A, atunci există patru deplasări care aplică A, g și P pe ei înșiși, și nu mai mult de două dintre aceste deplasări pot avea orice punct al lui g ca punct fix, în timp ce există una dintre ele (identitatea) pentru care fiecare punct a lui A este fix.
- 7. Există trei puncte A, B, P pe dreapta g astfel încât P este între A și B și pentru fiecare punct C (diferit de P) între A și B există un punct D între C și P pentru care nu există vreo deplasare cu P fix care să aplice C pe un punct situat între D și P.
Axiomele 2 la 4 implică faptul că deplasările formează un grup.
Axioma 5 determină ca o deplasare să transforme orice dreaptă tot într-o dreaptă.
Note
modificare- ^ V. Popescu, Geometrie analitică[nefuncțională], pub.ro, accesat 2022-02-05, p. 146
- ^ en Gunter Ewald (1971) Geometry: An Introduction, p. 179, Belmont: Wadsworth ISBN: 0-534-00034-7
- ^ en M.A. Khamsi & W.A. Kirk (2001) An Introduction to Metric Spaces and Fixed Point Theorems, p. 15, John Wiley & Sons ISBN: 0-471-41825-0
- ^ en A.Z. Petrov (1969) Einstein Spaces, p. 60, Pergamon Press
- ^ en B.A. Dubrovin, A.T. Fomenko, S.P Novikov (1992) Modern Geometry – Methods and Applications, second edition, p 24, Springer, ISBN: 978-0-387-97663-1
- ^ en D.V. Alekseevskij, E.B. Vinberg, A.S. Solodonikov (1993) Geometry II, p. 9, Springer, ISBN: 0-387-52000-7
- ^ en Graciela S. Birman, Katsumi Nomizu, (1984), "Trigonometry in Lorentzian geometry", American Mathematical Monthly 91(9):543–9, group of motions: p 545
- ^ en Serghei Novikov, I.A. Taimov, (2006), Modern Geometric Structures and Fields, Dmitry Chibisov translator, page 45, American Mathematical Society ISBN: 0-8218-3929-2
- ^ en Ibn Al_Haitham: Proceedings of the Celebrations of the 1000th Anniversary, Hakim Mohammed Said editor, pages 224-7, Hamdard National Foundation, Karachi: The Times Press
- ^ en Ari Ben-Menahem (2009) Historical Encyclopedia of the Natural and Mathematical Sciences, v. I, p. 1789
- ^ en B. Russell (1903) Principles of Mathematics, p 418. See also pp 406, 436
- ^ en D. M. Y. Sommerville (1914) Elements of Non-Euclidean Geometry, page 179, link from University of Michigan, Historical Math Collection
- ^ en Redei, L (). Foundation of Euclidean and non-Euclidean geometries according to F. Klein. New York: Pergamon. pp. 3–4.
Bibliografie
modificare- en Tristan Needham (1997) Visual Complex Analysis, Euclidean motion p 34, direct motion p 36, opposite motion p 36, spherical motion p 279, hyperbolic motion p 306, Clarendon Press, ISBN: 0-19-853447-7 .
- en Miles Reid, Balázs Szendröi (2005) Geometry and Topology, Cambridge University Press, ISBN: 0-521-61325-6, MR2194744.