Евклидтік жазықтық изометриясы - Euclidean plane isometry

Жылы геометрия, а Евклидтік жазықтық изометриясы болып табылады изометрия туралы Евклидтік жазықтық, немесе бейресми түрде, ұзындық сияқты геометриялық қасиеттерді сақтайтын жазықтықты түрлендіру тәсілі. Онда төрт тип бар: аудармалар, айналу, шағылысулар, және шағылысқан шағылысулар (төменде қараңыз евклидтік жазықтық изометрияларының жіктелуі ).

Евклидтік жазықтық изометрияларының жиынтығы а құрайды топ астында құрамы: Евклид тобы екі өлшемде. Ол сызықтардағы шағылысулар арқылы пайда болады және эвклид тобының әрбір элементі ең көп дегенде үш нақты шағылыстың құрамдас бөлігі болып табылады.

Бейресми талқылау

Бейресми түрде, евклидтік жазықтық изометриясы - бұл жазықтықты «деформацияламай» түрлендірудің кез келген тәсілі. Мысалы, Евклид жазықтығы партада тұрған мөлдір пластмасса парағымен ұсынылған делік. Изометрия мысалдары:

Парақты оңға бір дюймге ауыстыру.
Парақты белгілі бір нүктенің айналасында он градусқа айналдыру (ол қозғалыссыз қалады).
Парақты артқы жағынан қарау үшін оны аудару. Егер парақтың бір жағына сурет салынған болса, парақты аударғаннан кейін біз айна кескіні суреттің.

Бұл мысалдар аудармалар, айналу, және шағылысулар сәйкесінше. Изометрияның а деп аталатын тағы бір түрі бар сырғудың шағылысы (төменде қараңыз евклидтік жазықтық изометрияларының жіктелуі ).

Алайда, парақты бүктеу, кесу немесе балқыту изометрия болып саналмайды. Иілу, созылу немесе бұралу сияқты күрт өзгертулер де жоқ.

Ресми анықтама

Ан изометрия Евклид жазықтығының жазықтықтың қашықтықты сақтайтын түрленуі болып табылады. Яғни, бұл карта

{ displaystyle M: ​​{ textbf {R}} ^ {2} to { textbf {R}} ^ {2}}

кез келген ұпай үшін б және q жазықтықта,

{ displaystyle d (p, q) = d (M (p), M (q)),}

қайда г.(б, q) әдеттегідей Евклидтік қашықтық арасында б және q.

Жіктелуі

Евклидтік жазықтық изометрияларының төрт түрі бар екенін көрсетуге болады. (Ескерту: төменде келтірілген изометрия түрлерінің белгілері толық стандартталмаған.)

Рефлексия

Рефлексия, немесе айна изометриялары, деп белгіленеді F_c,v, қайда c жазықтықтағы нүкте болып табылады v Бұл бірлік векторы жылы R². (F «аудару» үшін арналған.) нүктені көрсететін әсерге ие б жолда L перпендикуляр v және ол өтеді c. Сызық L деп аталады шағылысу осі немесе байланысты айна. Формуласын табу үшін F_c,v, біз алдымен нүктелік өнім компонентін табу т туралы б − c ішінде v бағыт,

{ displaystyle t = (p-c) cdot v = (p_ {x} -c_ {x}) v_ {x} + (p_ {y} -c_ {y}) v_ {y},}

содан кейін біз шағылыстыруды аламыз б азайту арқылы,

{ displaystyle F_ {c, v} (p) = p-2tv.}

Бастапқы айналу және шығу тегі туралы сызықтар тіркесімі ортогональды топты құрайтын барлық ортогоналды матрицалармен (яғни 1 және −1 детерминантымен) алынады. O(2). −1 детерминанты жағдайында бізде:

{ displaystyle R_ {0, theta} (p) = { begin {pmatrix} cos theta & sin theta sin theta & - cos theta end {pmatrix}} { begin {bmatrix} p_ {x} p_ {y} end {bmatrix}}.}

бұл көрініс х-аксис кейін an бұрышымен айналады, немесе эквивалентті түрде in / 2 бұрышын түзетін сызықтағы шағылысу х-аксис. Параллель түзудегі шағылыс оған перпендикуляр векторды қосуға сәйкес келеді.

Аудармалар

Аударма

Аудармалар, деп белгіленеді Т_v, қайда v Бұл вектор жылы R² бағытында жазықтықты ығысу әсері бар v. Яғни, кез-келген нүкте үшін б жазықтықта,

{ displaystyle T_ {v} (p) = p + v,}

немесе (х, ж) координаттар,

{ displaystyle T_ {v} (p) = { begin {bmatrix} p_ {x} + v_ {x} p_ {y} + v_ {y} end {bmatrix}}.}

Аударманы екі параллель шағылыстың жиынтығы ретінде қарастыруға болады.

Айналдыру

Айналдыру, деп белгіленеді R_{c, θ}, қайда c - жазықтықтағы нүкте (айналу центрі), ал θ - айналу бұрышы. Координаттар тұрғысынан айналу оларды екі амалға бөлу арқылы оңай көрінеді. Біріншіден, шығу тегі бойынша айналу берілген

{ displaystyle R_ {0, theta} (p) = { begin {pmatrix} cos theta & - sin theta sin theta & cos theta end {pmatrix}} { begin {bmatrix} p_ {x} p_ {y} end {bmatrix}}.}

Бұл матрицалар ортогональ матрицалар (яғни әрқайсысы а квадрат матрица G кімдікі транспозициялау оның кері, яғни

{ displaystyle GG ^ {T} = G ^ {T} G = I_ {2}.}

), детерминант 1-мен (ортогональ матрицалардың басқа мүмкіндігі −1, ол айна бейнесін береді, төменде қараңыз). Олар арнайы қалыптастырады ортогональды топ SO (2).

Айналдыру c алдымен аудару арқылы жүзеге асырылуы мүмкін c түпнұсқаға, содан кейін шығу тегі бойынша айналуды жүзеге асырады және түпнұсқаны қайтадан аударады c. Бұл,

{ displaystyle R_ {c, theta} = T_ {c} circ R_ {0, theta} circ T _ {- c},}

немесе басқаша айтқанда,

{ displaystyle R_ {c, theta} (p) = c + R_ {0, theta} (p-c)}

Сонымен қатар, шығу тегі бойынша айналу, содан кейін аударма жасалады:

{ displaystyle R_ {c, theta} (p) = c-R_ {0, theta} c + R_ {0, theta} (p).}

Айналуды екі параллель емес шағылыстың құрамы ретінде қарастыруға болады.

Қатты түрлендірулер

Аудармалар мен айналымдар жиынтығы бірге қатаң қозғалыстар немесе қатты жылжулар. Бұл жиынтық а топ құрамы бойынша қатаң қозғалыстар тобы, Евклидтік изометриялардың толық тобының кіші тобы.

Слайд шағылыстары

Слайд шағылысы

Слайд шағылыстары, деп белгіленеді G_c,v,w, қайда c жазықтықтағы нүкте, v - векторлық бірлік R², және w нөлге тең емес векторына перпендикуляр v сипатталған жолдағы шағылыстың тіркесімі болып табылады c және v, содан кейін бірге аударма w. Бұл,

{ displaystyle G_ {c, v, w} = T_ {w} circ F_ {c, v},}

немесе басқаша айтқанда,

{ displaystyle G_ {c, v, w} (p) = w + F_ {c, v} (p).}

(Бұл да рас

{ displaystyle G_ {c, v, w} (p) = F_ {c, v} (p + w);}

яғни аударма мен рефлексияны керісінше жасасақ, бірдей нәтижеге қол жеткіземіз.)

Сонымен қатар, біз determ1 детерминанты бар ортогональды матрицаға көбейтеміз (шығу тегі бойынша сызықтағы шағылысқа сәйкес келеді), содан кейін аударма жасалады. Бұл аударма шағылысу сызығына перпендикуляр болатын ерекше жағдайды қоспағанда, бұл слайд шағылысы, бұл жағдайда комбинацияның өзі параллель сызықтағы шағылысу ғана болады.

The жеке басын куәландыратын изометрия, анықталады Мен(б) = б барлық ұпайлар үшін б бұл аударманың ерекше жағдайы, сонымен қатар айналудың ерекше жағдайы. Бұл жоғарыда сипатталған бірнеше түрге жататын жалғыз изометрия.

Барлық жағдайда позициялық векторды ортогональды матрицаға көбейтіп, векторды қосамыз; егер детерминант 1 болса, бізде айналу, аударма немесе сәйкестілік бар, ал егер −1 болса, бізде слайд шағылысы немесе рефлексия болады.

«Кездейсоқ» изометрия, мысалы, үстелден парақ алып, оны кездейсоқ қайта қою »сөзсіз «бұл айналу немесе жылжудың көрінісі (олардың үшеуі бар еркіндік дәрежесі ). Бұл егжей-тегжейлі мәліметтерге қарамастан қолданылады ықтималдықтың таралуы, θ және қосылған вектордың бағыты болғанша тәуелсіз және біркелкі бөлінген және қосылған вектордың ұзындығы үздіксіз үлестірілімге ие. Таза аударма мен таза рефлексия - бұл тек екі дәрежелі еркіндікке ие ерекше жағдайлар, ал сәйкестілік одан да ерекше, еркіндік дәрежелері жоқ.

Изометриялар рефлексия тобы ретінде

Рефлексияларды немесе айна изометрияларын кез-келген изометрияны алу үшін біріктіруге болады. Осылайша изометриялар a мысалы болып табылады рефлексия тобы.

Айна тіркесімдері

Евклид жазықтығында бізде келесі мүмкіндіктер бар.

[г. ] Жеке басын куәландыратын

Бір айнадағы екі шағылыс әр нүктені бастапқы қалпына келтіреді. Барлық нүктелер бекітілген күйінде қалдырылады. Кез-келген бірдей айналардың жұбы бірдей әсер етеді.

[г.б] Рефлексия

Алиса тапқандай көзілдірік арқылы, жалғыз айна сол және оң қолдардың ауысуына себеп болады. (Ресми түрде топологиялық бағдар өзгертілген.) Айнадағы нүктелер бекітілген күйінде қалдырылған. Әр айна ерекше әсерге ие.

[г.б] Айналдыру

Айқасатын екі айна біртұтас нүктеге ие, ол бекітілген күйінде қалады. Барлық басқа нүктелер айналасында айналар арасындағы бұрыштан екі есе артық айналады. Бірдей бекітілген нүктесі мен бұрышы бірдей кез-келген екі айна, егер олар дұрыс тәртіпте қолданылса, бірдей айналады.

[г.г.] Аударма

Қиылыспайтын екі айна параллель болуы керек. Әр нүкте бірдей мөлшерде, айналар арасындағы қашықтықтан екі есе және бір бағытта қозғалады. Ешқандай нүкте бекітілген жоқ. Параллель бағыты бірдей және арақашықтықтары бірдей кез-келген екі айналар, егер олар дұрыс тәртіпте қолданылса, бірдей аударманы береді.

[г.q] Слайд шағылысы

Үш айна. Егер олардың барлығы параллель болса, эффект жалғыз айнамен бірдей болады (үшіншіден бас тарту үшін жұпты сырғытыңыз). Әйтпесе, екеуі параллель, ал үшіншісі оларға перпендикуляр болатын эквивалентті орналасуды таба аламыз. Эффект - бұл айнаға параллель аудармамен біріктірілген шағылысу. Ешқандай нүкте бекітілген жоқ.

Үш айна жеткілікті

Қосымша айналар қосу (жазықтықта) көп мүмкіндіктер қоспайды, өйткені олардың күшін жою үшін оларды әрдайым өзгертуге болады.

Дәлел. Изометрия үш тәуелсіз (коллинеар емес) нүктелерге әсер етуімен толық анықталады. Мәселен, делік б₁, б₂, б₃ картаға дейін q₁, q₂, q₃; Бұған қол жеткізу үшін айналар тізбегін келесі түрде жасай аламыз. Егер б₁ және q₁ ерекшеленеді, олардың перпендикуляр биссектрисасын айна ретінде таңдаңыз. Қазір б₁ карталар q₁; және біз барлық айналарды өткіземіз q₁, оны қалдырып. Суреттерін шақырыңыз б₂ және б₃ осы көрініс астында б₂' және б₃′. Егер q₂ ерекшеленеді б₂′, Бұрышын екіге бөліңіз q₁ жаңа айнамен. Бірге б₁ және б₂ қазір орнында, б₃ орналасқан б₃′ ′; ал егер ол жоқ болса, онда соңғы айна q₁ және q₂ оны аударады q₃. Осылайша кез-келген жазықтық изометрияны көбейту үшін ең көп дегенде үш шағылысу жеткілікті. ∎

Тану

Біз осы изометриялардың қайсысын қолды сақтайтындығына немесе оларды ауыстырғанына және келесі кестеде көрсетілгендей (сәйкестендіруді жоққа шығарған) кем дегенде бір тұрақты нүктесі бар-жоқтығына қарай біле аламыз.

		Қолды сақтайды ма?
		Иә	Жоқ
Бекітілген нүкте?	Иә	Айналдыру	Рефлексия
Бекітілген нүкте?	Жоқ	Аударма	Слайд шағылысы

Топ құрылымы

Айна тақтарының санын талап ететін изометриялар - шағылысу және сырғыма шағылысы - әрқашан оңға және солға кері. Жұп изометриялар - сәйкестілік, айналу және аударма - ешқашан болмайды; олар сәйкес келеді қатаң қозғалыстар, және а қалыпты топша толық Евклид тобы изометрия Толық топ та, тіпті кіші топ та емес абель; мысалы, екі параллель айна құрамының тәртібін өзгерту олардың шығарған аудармасының бағытын өзгертеді.

Дәлел. Идентификация - бұл изометрия; ештеңе өзгермейді, сондықтан қашықтық өзгере алмайды. Егер бір изометрия қашықтықты өзгерте алмаса, екі (немесе үш немесе одан да көп) қатарынан өзгере алмайды; осылайша екі изометрияның құрамы қайтадан изометрия болады, ал изометрия жиынтығы композиция бойынша жабылады. Идентификация изометриясы сонымен қатар композиция үшін идентификация болып табылады, ал композиция солай болады ассоциативті; сондықтан изометриялар a үшін аксиомаларды қанағаттандырады жартылай топ. Үшін топ, бізде де әр элементтің кері мәні болуы керек. Шағылысты болдырмау үшін біз оны өзімізбен бірге құрамыз. (Рефлексиялар тарту.) Әрбір изометрияны шағылысу реті ретінде көрсетуге болатындықтан, оның кері мәнін осы тізбектің кері бағытымен өрнектеуге болады. Бірдей шағылысқан жұптың күшін жою, кезектіліктің паритетін сақтай отырып, шағылысу санын жұп санға азайтуға назар аударыңыз; сәйкестіктің тіпті паритеті бар екенін ескеріңіз. Сондықтан барлық изометриялар топты құрайды, тіпті изометриялар кіші топты құрайды. (Тақ изометрияларға сәйкестілік кірмейді, сондықтан кіші топқа жатпайды.) Бұл кіші топ қалыпты топша болып табылады, өйткені екі тақтың арасында жұп изометрияны сэндвичтеу жұп изометрияны береді. ∎

Жұп топша қалыпты болғандықтан, бұл ядро а гомоморфизм а квоталық топ, мұндағы квоент рефлексия мен сәйкестіктен тұратын топқа изоморфты. Алайда толық топ а емес тікелей өнім, бірақ тек а жартылай бағыт өнім, жұп топшаның және үлестік топтың.

Композиция

Изометриялардың құрамы әртүрлі түрлерді араластырады. Біз жеке тұлғаны екі айнадай немесе жоқ деп санауға болады; қалай болғанда да, оның композицияға әсері жоқ. Екі рефлексия не аударманы, не бұрылысты, не бірегейлікті береді (екеуі де тривиальды түрде). Бұлардың кез-келгенімен жасалған рефлексия бір рефлексияға дейін жойылуы мүмкін; әйтпесе бұл үш айналы изометрияны, глайд шағылысын береді. Аударма жұбы әрқашан бір аудармаға дейін қысқарады; сондықтан күрделі жағдайларға ауысулар жатады. Біз білеміз, айналу немесе аудару арқылы жасалған айналым біркелкі изометрияны көрсетуі керек. Аудармасы бар композиция тағы бір айналдыруды тудырады (сол шамада, жылжытылған бекітілген нүктемен), бірақ айналмалы композиция не аудару, не айналу мүмкін. Екі айналымның құрамы айналуды тудырады және Эйлер бұл туралы теореманы 3D форматында дәлелдеді; дегенмен, бұл тек белгілі бір нүктені бөлісетін айналымдарға қатысты.

Аударма, ротация және ортогоналды топшалар

Сонымен, бізде изометрияның екі жаңа түрі бар: барлық аудармалар және тұрақты нүктені бөлетін айналымдар. Екеуі де жұп топшаның кіші топтары, олардың ішінде аудармалар қалыпты жағдай. Аудармалар кәдімгі кіші топ болғандықтан, оларды изометриялардың кіші тобын белгіленген нүктемен, ортогональды топ.

Дәлел. Егер екі айналу белгіленген нүктемен бөлісетін болса, онда біз тек екінші жұпты қалдырып, төрт (екі және екі) қатардағы ішкі айналарды болдырмау үшін екінші айналудың айналы жұбын айналдыра аламыз. Осылайша, жалпы тіркелген нүктесі бар екі айналудың құрамы бірдей қозғалмайтын нүктеге қатысты бұрыштардың қосындысы бойынша айналуды тудырады.

Егер екі аударма параллель болса, айналу жағдайындағыдай төрт жүйенің ішкі айнасын болдырмау үшін екінші аударманың айна жұбын сырғытуға болады. Осылайша екі параллель аударманың құрамы бірдей бағыттағы қашықтықтардың қосындысы бойынша аударма жасайды. Енді аудармалар параллель емес және айна тізбегі A болады делік₁, A₂ (бірінші аударма) кейіннен Б₁, B₂ (екінші). Сонда А₂ және Б.₁ өту керек, айт c; және ішкі қарым-қатынасты қалпына келтіре отырып, біз осы ішкі жұпты айналдыра аламыз c. Егер біз 90 ° бұрылыс жасасақ, онда қызықты нәрсе болады: енді А.₁ және А₂′ 90 ° бұрышпен қиылысады, айталық бжәне сол сияқты Б.₁′ Және B₂, деп айтыңыз q. Қайтадан ассоциация жасай отырып, біз бірінші жұпты айналдырамыз б жасау B₂« арқылы өту qжәне екінші жұпты айналдыра бұраңыз q жасау A₁« арқылы өту б. Ішкі айналар енді сәйкес келеді және жойылады, ал сыртқы айналар параллель қалдырылады. Сонымен, параллель емес екі аударманың құрамы да аударма жасайды. Сондай-ақ, үш бұрылыс нүктелері үшбұрышты құрайды, олардың шеттері бастан-құйрыққа дейін ереже береді векторлық қосу: 2(б c) + 2(c q) = 2(б q). ∎

Ұялы топтық құрылыс

Шағын топ құрылымы ерікті изометрияны құрудың тағы бір әдісін ұсынады:

Бекітілген нүктені және ол арқылы айна таңдаңыз.

Егер изометрия тақ болса, айнаны қолданыңыз; басқаша емес.
Қажет болса, бекітілген нүктенің айналасында айналдырыңыз.
Қажет болса, аударыңыз.

Бұл жұмыс істейді, өйткені аудармалар - бұл ортогоналды топқа негізделген изометриялардың толық тобының қалыпты топшасы; және қозғалмайтын нүкте бойынша айналу - ортогоналды топтың қалыпты кіші тобы, бір реттік шағылысуымен.

Дискретті кіші топтар

Осы уақытқа дейін талқыланған кіші топтар тек шексіз ғана емес, сонымен қатар үздіксіз (Өтірік топтар ). Кем дегенде бір нөлдік емес аударманы қамтитын кез-келген кіші топ шексіз болуы керек, бірақ ортогоналды топтың кіші топтары ақырлы болуы мүмкін. Мысалы, симметрия тұрақты бесбұрыш 72 ° (360 ° / 5) бүтін еселіктері бойынша айналудан тұрады, сонымен қатар шеттерін перпендикуляр екіге бөлетін бес айнаның шағылыстары бар. Бұл топ, D₅, 10 элементтен тұрады. Оның C топшасы бар₅, жарты өлшемі, шағылыстыруды қалдырады. Бұл екі топ екі отбасының мүшелері, Д_n және C_n, кез келген үшін n > 1. Бұл отбасылар бірігіп розетка топтары.

Аудармалар өз-өзіне оралмайды, бірақ біз кез-келген ақырлы аударманың бүтін еселіктерін немесе осындай екі тәуелсіз аударманың еселіктерінің қосындысын ішкі топ ретінде ала аламыз. Бұлар тор мерзімді плитка төсеу ұшақтың.

Біз дискретті топтардың осы екі түрін біріктіре аламыз - дискретті айналу мен бекітілген нүктенің айналасындағы шағылыстар мен дискретті аудармаларды - құру үшін фриз топтары және тұсқағаз топтары. Бір қызығы, тек бірнеше нүкте қойылған топтар үйлесімді дискретті аудармалармен. Шын мәнінде, тордың үйлесімділігі осындай қатаң шектеу қояды, оған дейін изоморфизм, бізде фриздің тек 7 тобы және тұсқағаздардың 17 ерекше тобы бар. Мысалы, бесбұрыштың симметриялары, D₅, аудармалардың дискретті торымен үйлеспейді. (Әрбір жоғарғы өлшемде осындай санның тек ақырғы саны болады) кристаллографиялық топтар, бірақ олардың саны тез өседі; мысалы, 3D-де 230 топ, ал 4D-де 4783 бар.)

Күрделі жазықтықтағы изометриялар

Жөнінде күрделі сандар, жазықтықтың изометриялары қандай да бір формада болады

{ displaystyle { begin {array} {ccc} mathbb {C} & longrightarrow & mathbb {C} z & mapsto & a + omega z end {array}}}

немесе формада

{ displaystyle { begin {array} {ccc} mathbb {C} & longrightarrow & mathbb {C} z & mapsto & a + omega { overline {z}} { mbox {,}} end {массив}}}

кейбір күрделі сандар үшін а және ω | ω | = 1. Мұны дәлелдеу оңай: егер а = f(0) және ω =f(1) − f(0) және егер біреу анықтаса

{ Displaystyle { begin {array} {rccc} g қос нүкте & mathbb {C} & longrightarrow & mathbb {C} & z & mapsto & { frac {f (z) -a} { omega }} { mbox {,}} end {массив}}}

содан кейін ж бұл изометрия, ж(0) = 0 және ж(1) = 1. Мұны түсіну оңай ж не сәйкестік, не конъюгация болып табылады, ал дәлелденген тұжырым осыдан және осыдан туындайды f(з) = а + ωж(з).

Бұл жазықтық изометриялардың алдыңғы жіктелуіне байланысты екені анық, өйткені:

типтің функциялары з → а + з аудармалар;
типтің функциялары з → ωз айналу болып табылады (қашан | ω | = 1);
конъюгация рефлексия болып табылады.

Күрделі нүкте бойынша айналу екенін ескеріңіз б көмегімен күрделі арифметика арқылы алынады

{ displaystyle z mapsto omega (z-p) + p = omega z + p (1- omega)}

Мұндағы соңғы өрнек 0-ге айналуға эквивалентті бейнелеуді және аударманы көрсетеді, сондықтан тікелей изометрия берілген ${ displaystyle z mapsto omega z + a,}$ біреуі шеше алады ${ displaystyle p (1- omega) = a}$ алу ${ displaystyle p = a / (1- omega)}$ шартымен тең эквивалентті айналу орталығы ретінде ${ displaystyle omega neq 1}$ , яғни тікелей изометрия таза аударма болмаса. Седерберг айтқандай, «тікелей изометрия - бұл айналу немесе аударма».^[1]

Сондай-ақ қараңыз

Бекман - Кварлс теоремасы, изометриялардың сипаттамасын бірлік қашықтықты сақтайтын түрлендірулер ретінде
Келісу (геометрия)
Айналдыру мен шағылыстыруды үйлестіру
Хельмслев теоремасы, сызықтардың изометриясындағы сәйкес нүктелер жұптарының орта нүктелері коллинеар болады деген тұжырым

Әдебиеттер тізімі

^ Седерберг, Джудит Н. (2001). Қазіргі геометрия курсы. бет.136 –164. ISBN 978-0-387-98972-3., 151 беттің дәйексөзі

Сыртқы сілтемелер

Ұшақ изометриясы

[1] Седерберг, Джудит Н. (2001). Қазіргі геометрия курсы. бет.136 –164. ISBN 978-0-387-98972-3., 151 беттің дәйексөзі

[1]