Изоморфизм

Википедия — ирекле энциклопедия мәғлүмәте
Перейти к навигации Перейти к поиску
Graph isomorphism a.svg Graph isomorphism b.svg|-|bgcolor=white|Ике изоморфлы граф миҫалы. Изоморфизм бер графтың түбәләренә икенсе графтың шул уҡ төҫтәге түбәләрен ярашлы ҡуя: бер графта ике түбә ҡабырға менән тоташтырыла шул саҡта һәм тик шул саҡта ғына, әгәр икенсе графта шул уҡ төҫтәге түбәләр ҡабырға менән тоташтырылған булһа.

Изоморфи́зм (бор. грек. ἴσος теленән — «тигеҙ, бер төрлө, оҡшаш» һәм μορφή — «форма») — был бик дөйөм төшөнсә, математиканың төрлө бүлектәрендә төрлөсә билдәләнә. Изоморфизм ниндәйҙер структуралар бирелгән күмәклектәр (мәҫәлән, төркөмдәр, ҡулсалар, һыҙыҡлы арауыҡтар һәм башҡалар) өсөн билдәләнә. Дөйөм һыҙатта уны ошолай тасуирларға мөмкин: әгәр структура бирелгән ике күмәклек араһындағы әйләндерелмәле сағылыш (биекция) был структураны һаҡлаһа, ул изоморфизм тип атала. Әгәр бындай структуралар араһында изоморфизм булһа, улар изоморфлы тип аталалар. Изоморфизм һәр саҡ бындай структуралар класында эквивалентлылыҡ бәйләнеше бирә.

Шулай, мәҫәлән, ике граф,әгәр улар араһында изоморфизм булһа, изоморфлы тип атала: йәғни бер графтың түбәләренә икенсе графтың түбәләрен, беренсе графтың тоташтырылған түбәләренә икенсе графтың тоташтырылған түбәләре тап килерлек итеп ярашлы ҡуйып була һәм киреһенсә. Икенсе төрлө әйткәндә, ике граф изоморфлы, әгәр улар «бер төрлө» (түбәләренең исемен алмаштырыуға тиклем аныҡлыҡ менән) булһа.

Дөйөм осраҡта, араһында изоморфизм булған объекттар, был структура мәғәнәһендә «бер төрлө тәртипкә һалынған» булалар.

Изоморфлы системаларҙың икенсе классик миҫалы булып, билдәләнгән ҡушыу ғәмәле менән бөтә ысын һандар күмәклеге һәм билдәләнгән ҡабатлау ғәмәле менән ыңғай ысын һандар күмәклеге тора. сағылышы был осраҡта изоморфизм була.

Дөйөм алгебра[үҙгәртергә | вики-тексты үҙгәртергә]

Дөйөм алгебрала изоморфизм тип гомоморфизм булған әйләндерелмәле сағылыш атала. Түбәндә бер нисә миҫал килтерелә.

Төркөмдәр[үҙгәртергә | вики-тексты үҙгәртергә]

һәм  — ике төркөм булһын, ти. биекцияһы, әгәр теләһә ниндәй өсөн

булһа, изоморфизм тип атала.

Әгәр төркөм топологик булһа, ярашлы топологик арауыҡтарҙың гомеоморфлы булыу шарты өҫтәлә.[1]

Яландар[үҙгәртергә | вики-тексты үҙгәртергә]

һәм  — яландар булһын, ти. биекцияһы, әгәр ул яландың ике ғәмәлен дә һаҡлаһа, йәғни теләһә ниндәй өсөн

  1. ,
  2. шарты үтәлһә, изоморфизм тип атала.

Миҫал. Коэффициенттары ысын һандар булған күпбыуындар ҡулсаһы өсөн күпбыуыны модуле буйынса фактор-ҡулса[2] комплекслы һандар яланына изоморфлы ялан була.

Өҫтәлмә структуралы (тәртипкә килтерелгән яландар, топологик яландар Ҡалып:Һәм башҡалар) өсөн, биекция шулай уҡ был өҫтәлмә структураларҙы һаҡлай тигән шарт өҫтәлергә мөмкин.

Күмәклектәр теорияһы[үҙгәртергә | вики-тексты үҙгәртергә]

Күмәклектәр теорияһында теләһә ниндәй биекция изоморфизм була.

Миҫалға, ике өлөшләтә тәртипкә килтерелгән күмәклек, әгәр улар араһында тәртипте һаҡлаусы биекция булһа, изоморфлы булалар[3].

Категориялар теорияһында изоморфизм[үҙгәртергә | вики-тексты үҙгәртергә]

Категориялар теорияһында изоморфизм әйләндерелмәле морфизм була, йәғни ул шундай морфизм , уның өсөн һәм композициялары тождестволы морфизм булған морфизмы бар. Төркөмдәр категориялары, ҡулсалар категориялары, векторлы арауыҡтар һәм башҡа структуралар категориялары билдәләмәләре, төркөмдәр, ҡулсалар, векторлы арауыҡтар изоморфизмының классик билдәләмәләре категорияла изоморфизмдың дөйөм билдәләмәһе менән тап килерлек итеп төҙөлә.

Нормалаштырылған арауыҡтар[үҙгәртергә | вики-тексты үҙгәртергә]

Нормалаштырылған арауыҡтар өсөн уларҙың береһенең икенсеһенә сағылышы нормалаштырылған арауыҡтар изоморфизмы тип атала, әгәр ул һыҙыҡлы, өҙлөкһөҙ һәм биектив, һәм кире сағылыш шулай уҡ өҙлөкһөҙ булһа. Был мәғәнәлә изоморфизм һыҙыҡлы арауыҡтың һәм топологияның структураһын һаҡлай, ләкин норманы мотлаҡ һаҡламай. Әгәр изоморфизм норманы ла һаҡлаһа, ул изометрик изоморфизм йәки изометрия тип атала[4].

Графтар теорияһы[үҙгәртергә | вики-тексты үҙгәртергә]

графы графына изоморфлы тип атала, әгәр графы түбәләре күмәклегенән графы түбәләре күмәклегенә, түбәндәге үҙсәнлектәргә эйә булған биекцияһы булһа: әгәр графында түбәһенән түбәһенә ҡабырға булһа, ул саҡта графында түбәһенән түбәһенә ҡабырға булырға тейеш һәм киреһенсә — әгәр графында түбәһенән түбәһенә ҡабырға булһа, ул саҡта графында түбәһенән түбәһенә ҡабырға булырға тейеш. Ориентирлашҡан граф осрағында был биекция шулай уҡ ҡабырғаның ориентацияһын һаҡларға тейеш. Үлсәүле граф осрағында биекция шулай уҡ ҡабырғаның ауырлығын һаҡларға тейеш. Иҫәпләү ҡатмарлылығы теорияһында әлегә тиклем графтар изоморфлығы мәсьәләләре ҡатмарлылығы тураһында һорау асыҡ ҡала. Әлеге ваҡытта уның класына ингәнлеге лә, -тулылығы ла иҫбат ителмәгән.

Бәйле билдәләмәләр[үҙгәртергә | вики-тексты үҙгәртергә]

Алгебраик системаның үҙенә изоморфизмы автоморфизм тип атала.

Тарихы[үҙгәртергә | вики-тексты үҙгәртергә]

Изоморфизм төшөнсәһе математикала төркөмдәргә ҡарата ҡулланылып барлыҡҡа килә һәм тәбиғи рәүештә математик структураларҙың киң класына таратыла.

Вариациялар һәм дөйөмләштереүҙәр[үҙгәртергә | вики-тексты үҙгәртергә]

  • Изоморфизм төшөнсәһен (һәм башҡа яҡын төшөнсәләрҙе) аныҡлаусы ниндәйҙер дөйөм теория Бурбаки төркөмө тарафынан уларҙың «Теория множеств» (Глава 4. Структуралар) китабында тәҡдим ителә.

Шулай уҡ ҡарағыҙ[үҙгәртергә | вики-тексты үҙгәртергә]

Иҫкәрмәләр[үҙгәртергә | вики-тексты үҙгәртергә]

  1. Л. С. Понтрягин Непрерывные группы стр. 392
  2. Фаддеев Д. К. Лекции по алгебре — М.: Наука, 1984. — Б. 200—201. — 416 б.
  3. Верещагин Н. К., Шень А. Лекции по математической логике и теории алгоритмов. Часть 1. Начала теории множеств. стр. 48
  4. Петр Бородин, А. Савчук, И. Шейпак Задачи по функциональному анализу — МЦНМО, 2017. — Б. 28. — 337 б. — ISBN 9785040485147.

Әҙәбиәт[үҙгәртергә | вики-тексты үҙгәртергә]

Һылтанмалар[үҙгәртергә | вики-тексты үҙгәртергә]