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

From Wikipedia, the free encyclopedia

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

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

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

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

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

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

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

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

Remove ads

Особине

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

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

Remove ads

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

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

Посматрајмо логаритамску функцију: За сваку фиксирану базу , логаритам пресликава позитивне реалне бројеве у реалне бројеве ; формално:

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

Осим што је изоморфизам скупова, логаритамска функција такође чува одређене операције. На пример, посматрајмо групу позитивних реалних бројева у односу на обично множење. За логаритамску функцију важи следећи идентитет:

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

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

или уопштено .

На пример, што се пресликава у други систем као .

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

Remove ads

Апликације

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

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

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

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

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

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

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

Референце

Литература

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

Loading related searches...

Wikiwand - on

Seamless Wikipedia browsing. On steroids.

Remove ads