Изоморфизам (математика)

Група петих корена јединице под множењем је изоморфна групи ротација правилног петоугла под композицијом.

Изоморфизам у математици представља бијективно и инвертибилно пресликавање две математичке структуре истог типа из једне у другу, који се може обрнути инверзним пресликавањем. Две математичке структуре су изоморфне ако између њих постоји изоморфизам. Реч изоморфизам је изведена из старогрчког: ἴσος isos „једнак“, а μορφή morphe „форма“ или „облик“.

Интерес за изоморфизме лежи у чињеници да два изоморфна објекта имају иста својства (искључујући даље информације као што су додатна структура или називи објеката). Стога се изоморфне структуре не могу разликовати само са становишта структуре и могу се идентификовати. У математичком жаргону се каже да су два објекта иста до изоморфизма.

Аутоморфизам је изоморфизам структуре према себи. Изоморфизам између две структуре је канонски изоморфизам (канонска мапа која је изоморфизам) ако постоји само један изоморфизам између две структуре (као што је случај за решења универзалног својства), или ако је изоморфизам много природнији (у неком смислу) од других изоморфизама. На пример, за сваки прост број p, сва поља са p елементима су канонски изоморфна, са јединственим изоморфизмом. Теореме изоморфизма дају канонске изоморфизме који нису јединствени.

Термин изоморфизам се углавном користи за алгебарске структуре. У овом случају, пресликавања се називају хомоморфизми, а хомоморфизам је изоморфизам ако и само ако је бијективан.

У различитим областима математике, изоморфизми су добили специјализована имена, у зависности од врсте структуре која се разматра. На пример:

• Изометрија је изоморфизам метричких простора.
• Хомеоморфизам је изоморфизам тополошких простора.
• Дифеоморфизам је изоморфизам простора опремљених диференцијалном структуром, типично диференцибилним многострукостима.
• Пермутација је аутоморфизам скупа.
• У геометрији се изоморфизми и аутоморфизми често називају трансформацијама, на пример круте трансформације, афине трансформације, пројективне трансформације.affine transformation

Теорија категорија, која се може посматрати као формализација концепта пресликавања између структура, пружа језик који се може користити за обједињавање приступа овим различитим аспектима основне идеје.

Особине

Пресликавање $f$ из једне структуре у другу се назива изоморфизмом када је:

• $f$ бијективно
• $f$ хомоморфизам
• Инверзна функција $f^{-1}$ хомоморфизам

Ако постоји изоморфизам између две структуре, онда се за њих каже да су изоморфне. Ово се, рецимо за структуре $X$ и $Y$ означава са $X\cong Y$.

Практичан пример

Следе примери изоморфизама из обичне алгебре.

Посматрајмо логаритамску функцију: За сваку фиксирану базу $b$, логаритам $\log _{b}$ пресликава позитивне реалне бројеве $\mathbb {R} ^{+}$ у реалне бројеве $\mathbb {R}$; формално:

$\log _{b}:\mathbb {R} ^{+}\mapsto \mathbb {R} \!$

Ово пресликавање је један-један и на, тј, оно је бијекција са домена у кодомен логаритамске функције.

Осим што је изоморфизам скупова, логаритамска функција такође чува одређене операције. На пример, посматрајмо групу $(\mathbb {R} ^{+},\times )$ позитивних реалних бројева у односу на обично множење. За логаритамску функцију важи следећи идентитет:

$\log _{b}(x\times y)=\log _{b}(x)+\log _{b}(y)\!$

Али реални бројеви у односу на сабирање су такође група. Тако да је логаритамска функција у ствари изоморфизам групе из групе $(\mathbb {R} ^{+},\times )$ у групу $(\mathbb {R} ,+)$.

Логаритми се стога могу користити да поједноставе множење реалних бројева. Помоћу логаритама, множење позитивних реалних бројева се замењује сабирањем логаритама. Посматрајмо групу $\mathbb {Z} /6\mathbb {Z}$ бројева од 0 до 5 у односу на сабирање по модулу 6. Такође посматрајмо групу $\mathbb {Z} /2\mathbb {Z} \times \mathbb {Z} /3\mathbb {Z}$, уређених парова где $x$ координате могу бити 0 или 1, а $y$ координате могу бити 0, 1, или 2, а сабирање $x$-координате је по модулу 2 а сабирање $y$-координате је по модулу 3. Ове структуре су изоморфне у односу на сабирање, ако се идентификују коришћењем следеће схеме:

$(0,0)\mapsto 0$

$(1,1)\mapsto 1$

$(0,2)\mapsto 2$

$(1,0)\mapsto 3$

$(0,1)\mapsto 4$

$(1,2)\mapsto 5$

или уопштено $(a,b)\rightarrow (3a+4b){\bmod {6}}$. На пример, $(1,1)+(1,0)=(0,1)$ што се пресликава у други систем као $1+3=4$. Чак иако ова два скупа изгледају различито, он су у ствари изоморфни. Општије, директан производ две цикличне групе $\mathbb {Z} /n\mathbb {Z}$ и $\mathbb {Z} /m\mathbb {Z}$ је цикличан ако и само ако су $n$ и $m$ узајамно прости.

Апликације

У алгебри, изоморфизми су дефинисани за све алгебарске структуре. Неки се конкретније проучавају; на пример:

• Линеарни изоморфизми између векторских простора; они су специфицирани инверзибилним матрицама.
• Групни изоморфизми између група; класификација класа изоморфизма коначних група је отворен проблем.
• Изоморфизам прстена између прстенова.
• Изоморфизми поља су исти као изоморфизми прстена између поља; њихово проучавање, и тачније проучавање аутоморфизама поља је важан део Галове теорије.

Баш као што аутоморфизми алгебарске структуре чине групу, изоморфизми између две алгебре које деле заједничку структуру формирају гомилу. Допуштање одређеном изоморфизму да идентификује две структуре претвара ову гомилу у групу.

У математичкој анализи, Лапласова трансформација је изоморфизам који пресликава тешке диференцијалне једначине у лакше алгебарске једначине.

У теорији графова, изоморфизам између два графа G и H је бијективна мапа f од врхова G до врхова H која чува „структуру ивице“ у смислу да постоји ивица од темена u до темена v у G ако и само ако постоји ивица од $f(u)$ до $f(v)$ у H. Види изоморфизам графа.

У математичкој анализи, изоморфизам између два Хилбертова простора је сабирање који чува бијекцију, скаларно множење и унутрашњи производ.

У раним теоријама логичког атомизма, Бертранд Расел и Лудвиг Витгенштајн су теоретисали да је формални однос између чињеница и истинитих тврдњи изоморфан. Пример оваквог начина размишљања може се наћи у Раселовом Уводу у математичку филозофију.

У кибернетици, добар регулатор или Конант-Ешбијева теорема наводи да „Сваки добар регулатор система мора бити модел тог система“. Било да се регулише или саморегулише, потребан је изоморфизам између регулатора и делова система за обраду.

Литература

• Mazur, Barry (12. 6. 2007), When is one thing equal to some other thing? (PDF), Архивирано из оригинала (PDF) 24. 10. 2019. г., Приступљено 16. 07. 2022 CS1 одржавање: Формат датума (веза)
• Ayres, Frank (1965). Schaum's Outline of Modern Abstract Algebra (1st изд.). McGraw-Hill. ISBN 9780070026551. 
• Vinberg, Ėrnest Borisovich (2003). A Course in Algebra. American Mathematical Society. стр. 3. ISBN 9780821834138. 
• Sir William Rowan Hamilton (1856). „Memorandum respecting a new System of Roots of Unity” (PDF). Philosophical Magazine. 12: 446. 
• Vialar, Thierry (2016-12-07). Handbook of Mathematics (на језику: енглески). BoD - Books on Demand. стр. 274. ISBN 9782955199008. 
• Roweis, S. T.; Saul, L. K. (2000). „Nonlinear Dimensionality Reduction by Locally Linear Embedding”. Science. 290 (5500): 2323—2326. CiteSeerX 10.1.1.111.3313 . PMID 11125150. doi:10.1126/science.290.5500.2323. 
• Saul, Lawrence K.; Roweis, Sam T. (2003). „Think globally, fit locally: Unsupervised learning of nonlinear manifolds”. Journal of Machine Learning Research. 4 (June): 119—155. „Quadratic optimisation of $\mathbf {M} =(I-W)^{\top }(I-W)$ (page 135) such that $\mathbf {M} \equiv YY^{\top }$” 
• Zhang, Zhenyue; Zha, Hongyuan (2004). „Principal Manifolds and Nonlinear Dimension Reduction via Local Tangent Space Alignment”. SIAM Journal on Scientific Computing. 26 (1): 313—338. CiteSeerX 10.1.1.211.9957 . doi:10.1137/s1064827502419154. 
• Zhang, Zhenyue; Wang, Jing (2006). „MLLE: Modified Locally Linear Embedding Using Multiple Weights”. Advances in Neural Information Processing Systems. 19. „It can retrieve the ideal embedding if MLLE is applied on data points sampled from an isometric manifold.” 
• Lee, Jeffrey M. (2009). Manifolds and Differential Geometry. Providence, RI: American Mathematical Society. ISBN 978-0-8218-4815-9. 
• Emmy Noether, Abstrakter Aufbau der Idealtheorie in algebraischen Zahl- und Funktionenkörpern, Mathematische Annalen 96 (1927) pp. 26–61
• Colin McLarty, "Emmy Noether's 'Set Theoretic' Topology: From Dedekind to the rise of functors". The Architecture of Modern Mathematics: Essays in history and philosophy (edited by Jeremy Gray and José Ferreirós), Oxford University Press (2006) pp. 211–35.
• Jacobson, Nathan (2009), Basic algebra, 1 (2nd изд.), Dover, ISBN 9780486471891 
• Paul M. Cohn, Universal algebra, Chapter II.3 p. 57
• Milne, James S. (2013), Group Theory, 3.13 
• van der Waerden, B. I. (1994), Algebra, 1 (9 изд.), Springer-Verlag 
• Dummit, David S.; Foote, Richard M. (2004). Abstract algebra. Hoboken, NJ: Wiley. ISBN 978-0-471-43334-7. 
• Burris, Stanley; Sankappanavar, H. P. (2012). A Course in Universal Algebra (PDF). ISBN 978-0-9880552-0-9. 
• W. R. Scott (1964), Group Theory, Prentice Hall 
• John R. Durbin (2009). Modern Algebra: An Introduction (6 изд.). Wiley. ISBN 978-0-470-38443-5. 
• Anthony W. Knapp (2016), Basic Algebra (Digital second изд.) 
• Pierre Antoine Grillet (2007), Abstract Algebra (2 изд.), Springer 
• Joseph J. Rotman (2003), Advanced Modern Algebra (2 изд.), Prentice Hall, ISBN 0130878685 

• Kleene, Stephen Cole (2002) [1967]. Mathematical Logic. Mineola, New York: Dover Publications. ISBN 978-0-486-42533-7. 
• Lévy, Azriel (2002) [1979]. Basic set theory. Mineola, New York: Dover Publications. ISBN 978-0-486-42079-0. 
• Mac Lane, Saunders; Birkhoff, Garrett (1999) [1967]. Algebra (Third изд.). Providence, Rhode Island: American Mathematical Society. 
• Mazur, Barry (12. 6. 2007), When is one thing equal to some other thing? (PDF), Архивирано из оригинала (PDF) 24. 10. 2019. г., Приступљено 16. 07. 2022 CS1 одржавање: Формат датума (веза)
• Mendelson, Elliott (1964). Introduction to Mathematical Logic. New York: Van Nostrand Reinhold. 
• Rosser, John Barkley (2008) [1953]. Logic for mathematicians. Mineola, New York: Dover Publication. ISBN 978-0-486-46898-3. 
• Shoenfield, Joseph Robert (2001) [1967]. Mathematical Logic (2nd изд.). A K Peters. ISBN 978-1-56881-135-2. 

Спољашње везе

• Hazewinkel Michiel, ур. (2001). „Isomorphism”. Encyclopaedia of Mathematics. Springer. ISBN 978-1556080104. 
• Weisstein, Eric W. „Isomorphism”. MathWorld. 
• Automorphism at Encyclopaedia of Mathematics