O'rnatish - Embedding

Yilda matematika, an ko'mish (yoki ko'mish^[1]) ba'zilaridan biri matematik tuzilish kabi boshqa bir misolda mavjud, masalan guruh bu kichik guruh.

Qachondir biron narsaga qarshi X boshqa ob'ektga joylashtirilgan deyiladi Y, joylashtirish ba'zi tomonidan berilgan in'ektsion va tuzilishni saqlovchi xarita f : X → Y. "Tuzilishni saqlab qolish" ning aniq ma'nosi uning matematik tuzilish turiga bog'liq X va Y misollar. Ning terminologiyasida toifalar nazariyasi, tuzilishni saqlovchi xarita a deb nomlanadi morfizm.

Bu xarita f : X → Y ko'mish ko'pincha "ilgak o'qi" yordamida ko'rsatiladi (U + 21AA ↪ HOOK bilan o'ng tomonga o'q);^[2] shunday qilib: ${ displaystyle f: X hookrightarrow Y.}$ (Boshqa tomondan, bu yozuv ba'zan saqlanib qoladi inklyuziya xaritalari.)

Berilgan X va Y, ning bir nechta turli xil joylashtirilishi X yilda Y mumkin bo'lishi mumkin. Ko'pgina qiziqishlarga o'xshash standart (yoki "kanonik") ko'mish mavjud natural sonlar ichida butun sonlar, ichidagi butun sonlar ratsional sonlar, ichidagi ratsional sonlar haqiqiy raqamlar, va haqiqiy sonlar murakkab sonlar. Bunday holatlarda odatda domen X uning bilan rasm f(X) tarkibida Y, Shuning uchun; ... uchun; ... natijasida f(X) ⊆ Y.

Topologiya va geometriya

Umumiy topologiya

Yilda umumiy topologiya, ko'mish a gomeomorfizm uning tasviriga.^[3] Aniqroq, in'ektsion davomiy xarita ${ displaystyle f: X to Y}$ o'rtasida topologik bo'shliqlar ${ displaystyle X}$ va ${ displaystyle Y}$ a topologik ko'mish agar ${ displaystyle f}$ o'rtasida gomomorfizm hosil qiladi ${ displaystyle X}$ va ${ displaystyle f (X)}$ (qayerda ${ displaystyle f (X)}$ ko'taradi subspace topologiyasi meros qilib olingan ${ displaystyle Y}$). Keyinchalik intuitiv ravishda, joylashtirish ${ displaystyle f: X to Y}$ bizni davolashga imkon beradi ${ displaystyle X}$ kabi subspace ning ${ displaystyle Y}$. Har qanday joylashish in'ektsion va davomiy. In'ektsion, uzluksiz va har qanday xarita ochiq yoki yopiq ko'mishdir; ammo ochiq va yopiq bo'lmagan ko'milganlar ham mavjud. Agar rasm bo'lsa, ikkinchisi sodir bo'ladi ${ displaystyle f (X)}$ ham emas ochiq to'plam na a yopiq to'plam yilda ${ displaystyle Y}$.

Berilgan bo'shliq uchun ${ displaystyle Y}$, joylashishning mavjudligi ${ displaystyle X to Y}$ a topologik o'zgarmas ning ${ displaystyle X}$. Bu ikkita bo'shliqni ajratishga imkon beradi, agar biri bo'shliqqa singdirilishi mumkin bo'lsa, ikkinchisi yo'q.

Differentsial topologiya

Yilda differentsial topologiya: Ruxsat bering ${ displaystyle M}$ va ${ displaystyle N}$ silliq bo'ling manifoldlar va ${ displaystyle f: M to N}$ silliq xarita bo'ling. Keyin ${ displaystyle f}$ deyiladi suvga cho'mish agar u bo'lsa lotin hamma joyda in'ektsiya mavjud. An ko'mishyoki a silliq ko'mish, yuqorida aytib o'tilgan topologik ma'noda joylashadigan in'ektsion immersiya deb ta'riflanadi (ya'ni. gomeomorfizm uning tasviriga).^[4]

Boshqacha qilib aytganda, ko'mish domeni diffeomorfik uning tasviriga, xususan, ko'mish tasviri a bo'lishi kerak submanifold. Immersion - bu mahalliy ko'mish (ya'ni har qanday nuqta uchun) ${ displaystyle x in M}$ mahalla bor ${ displaystyle x in U subset M}$ shu kabi ${ displaystyle f: U to N}$ ko'mishdir.)

Domen manifoldi ixcham bo'lsa, silliq joylashish tushunchasi in'ektsion immersion tushunchasiga tengdir.

Muhim holat ${ displaystyle N = mathbb {R} ^ {n}}$. Bu erda qiziqish qanchalik katta ${ displaystyle n}$ o'lchov jihatidan ko'mish uchun bo'lishi kerak ${ displaystyle m}$ ning ${ displaystyle M}$. The Uitni emblem teoremasini^[5] ta'kidlaydi ${ displaystyle n = 2m}$ etarli va bu eng yaxshi chiziqli bog'lanishdir. Masalan, haqiqiy proektsion makon RP^m o'lchov ${ displaystyle m}$, qayerda ${ displaystyle m}$ ikki kishining kuchi, talab qiladi ${ displaystyle n = 2m}$ ko'mish uchun. Biroq, bu suvga cho'mish uchun qo'llanilmaydi; masalan; misol uchun, RP² botirilishi mumkin ${ displaystyle mathbb {R} ^ {3}}$ tomonidan aniq ko'rsatilgan Bola yuzasi - o'z-o'zidan kesishgan narsadir. The Rim yuzasi o'z ichiga olgan suvga cho'mish mumkin emas qalpoqchalar.

Ichki joylashtirish to'g'ri agar u nisbatan yaxshi harakat qilsa chegaralar: biri xaritani talab qiladi ${ displaystyle f: X rightarrow Y}$ shunday bo'lish

• ${ displaystyle f ( qismli X) = f (X) cap qisman Y}$va
• ${ displaystyle f (X)}$ bu ko'ndalang ga ${ displaystyle qisman Y}$ ning har qanday nuqtasida ${ displaystyle f ( qismli X)}$.

Birinchi shart, ega bo'lishga tengdir ${ displaystyle f ( qismli X) subseteq qisman Y}$ va ${ displaystyle f (X setminus qisman X) subsetiq Y setminus qisman Y}$. Ikkinchi shart, taxminan, aytganda f(X) ning chegarasiga tekst emas Y.

Riemann geometriyasi

Yilda Riemann geometriyasi: Ruxsat bering (M, g) va (N, h) bo'lishi Riemann manifoldlari.An izometrik joylashish silliq ko'mishdir f : M → N saqlaydigan metrik bu ma'noda g ga teng orqaga tortish ning h tomonidan f, ya'ni g = f*h. Shubhasiz, har qanday ikkita teginuvchi vektor uchun ${ displaystyle v, w in T_ {x} (M)}$ bizda ... bor

${ displaystyle g (v, w) = h (df (v), df (w))}.$

Shunga o'xshash, izometrik immersiya Riemann metrikalarini saqlaydigan Riemann manifoldlari orasidagi immersiondir.

Bunga teng ravishda izometrik ko'milish (immersion) - bu uzunlikni saqlaydigan silliq joylashish (immersion). chiziqlar (qarang Nash qo'shish teoremasi ).^[6]

Algebra

Umuman olganda, uchun algebraik kategoriya C, ikkalasi o'rtasida joylashish C-algebraik tuzilmalar X va Y a C-morphism e : X → Y bu in'ektsion.

Maydon nazariyasi

Yilda maydon nazariyasi, an ko'mish a maydon E dalada F a halqa gomomorfizmi σ : E → F.

The yadro ning σ bu ideal ning E bu butun maydon bo'lishi mumkin emas E, shart tufayli σ(1) = 1. Bundan tashqari, bu maydonlarning taniqli xususiyati shundaki, ularning yagona ideallari nol ideal va butun maydonning o'zi. Shuning uchun, yadro 0 ga teng, shuning uchun maydonlarning har qanday joylashtirilishi a monomorfizm. Shuning uchun, E bu izomorfik uchun pastki maydon σ(E) ning F. Bu ismni oqlaydi ko'mish maydonlarning o'zboshimchalik bilan homomorfizmi uchun.

Umumjahon algebra va modellar nazariyasi

Agar $ a $ bo'lsa imzo va ${ displaystyle A, B}$ σ-tuzilmalar (shuningdek, b-algebralar deb nomlanadi universal algebra yoki modellar model nazariyasi ), keyin xarita ${ displaystyle h: A to B}$ σ-joylashtirilgan iff quyidagilarning barchasi:

• ${ displaystyle h}$ in'ektsion,
• har bir kishi uchun ${ displaystyle n}$-ar funktsiya belgisi ${ displaystyle f in sigma}$ va ${ displaystyle a_ {1}, ldots, a_ {n} in A ^ {n},}$ bizda ... bor ${ displaystyle h (f ^ {A} (a_ {1}, ldots, a_ {n})) = f ^ {B} (h (a_ {1}), ldots, h (a_ {n}) )}$,
• har bir kishi uchun ${ displaystyle n}$-ariy munosabat belgisi ${ displaystyle R in sigma}$ va ${ displaystyle a_ {1}, ldots, a_ {n} in A ^ {n},}$ bizda ... bor ${ displaystyle A modellari R (a_ {1}, ldots, a_ {n})}$ iff ${ displaystyle B modellari R (h (a_ {1}), ldots, h (a_ {n})).}$

Bu yerda ${ displaystyle A modellari R (a_ {1}, ldots, a_ {n})}$ ga teng bo'lgan namunaviy nazariy yozuvdir ${ displaystyle (a_ {1}, ldots, a_ {n}) R ^ {A}} da$. Model nazariyasida yanada kuchli tushunchalar mavjud elementar joylashish.

Tartib nazariyasi va domen nazariyasi

Yilda tartib nazariyasi, ning joylashtirilishi qisman buyurtma qilingan to'plamlar funktsiya F qisman buyurtma qilingan to'plamlar orasida X va Y shu kabi

${ displaystyle forall x_ {1}, x_ {2} in X: x_ {1} leq x_ {2} iff F (x_ {1}) leq F (x_ {2}).}$

Injektivligi F ushbu ta'rifdan tezda kelib chiqadi. Yilda domen nazariyasi, qo'shimcha talab shu

${ displaystyle forall y in Y: {x mid F (x) leq y }}$ bu yo'naltirilgan.

Metrik bo'shliqlar

Xaritalash ${ displaystyle phi: X dan Y gacha}$ ning metrik bo'shliqlar deyiladi ko'mish(bilan buzilish; xato ko'rsatish ${ displaystyle C> 0}$) agar

${ displaystyle Ld_ {X} (x, y) leq d_ {Y} ( phi (x), phi (y)) leq CLd_ {X} (x, y)})$

ba'zi bir doimiy uchun ${ displaystyle L> 0}$.

Normativ bo'shliqlar

Muhim maxsus holat bu normalangan bo'shliqlar; bu holda chiziqli ko'milishlarni ko'rib chiqish tabiiydir.

Sonli o'lchovli haqida berilishi mumkin bo'lgan asosiy savollardan biri normalangan bo'shliq ${ displaystyle (X, | cdot |)}$ bu, maksimal o'lchov nima? ${ displaystyle k}$ shunday Hilbert maydoni ${ displaystyle ell _ {2} ^ {k}}$ ichiga lineer ravishda joylashtirilishi mumkin ${ displaystyle X}$ doimiy buzilish bilanmi?

Javob Dvoretzkiy teoremasi.

Kategoriya nazariyasi

Yilda toifalar nazariyasi, barcha toifalarda qo'llaniladigan ko'milishning qoniqarli va umuman qabul qilingan ta'rifi yo'q. Barcha izomorfizmlar va ko'milgan barcha kompozitsiyalar ko'milgan bo'lib, barcha ko'milishlar monomorfizmlar bo'lishini kutish mumkin. Boshqa odatiy talablar quyidagilardir: har qanday ekstremal monomorfizm ko'mish va ko'milishlar ostida barqaror orqaga chekinishlar.

Ideal sifatida barcha o'rnatilgan sinf subobyektlar izomorfizmgacha berilgan ob'ektning ham bo'lishi kerak kichik va shunday qilib buyurtma qilingan to'plam. Bunday holda, ushbu toifaga ko'milganlar sinfiga nisbatan yaxshi ta'sir ko'rsatiladi. Bu toifadagi yangi mahalliy tuzilmalarni aniqlashga imkon beradi (masalan, a yopish operatori ).

A beton toifasi, an ko'mish morfizmdir ƒ: A → B ning asosiy to'plamidan in'ektsiya funktsiyasi A ning asosiy to'plamiga B va shuningdek dastlabki morfizm quyidagi ma'noda: Agar g ob'ektning asosiy to'plamidan funktsiya C ning asosiy to'plamiga Ava agar uning tarkibi bilan ƒ morfizmdir .g: C → B, keyin g o'zi morfizmdir.

A faktorizatsiya tizimi chunki kategoriya ko'mish tushunchasini ham keltirib chiqaradi. Agar (E, M) - faktorizatsiya tizimi, keyin morfizmlar M ichki qism sifatida qaralishi mumkin, ayniqsa toifaga nisbatan yaxshi quvvatlanganidaM. Beton nazariyalar ko'pincha faktorizatsiya tizimiga ega M oldingi ma'noda ko'milishlardan iborat. Bu ushbu maqolada keltirilgan misollarning aksariyat qismida.

Kategoriya nazariyasida odatdagidek a mavjud ikkilamchi kontseptsiya, kotirovka sifatida tanilgan. Oldingi barcha xususiyatlarni dualizatsiya qilish mumkin.

O'rnatish an-ga ham tegishli bo'lishi mumkin ichki funktsiya.

Shuningdek qarang

• Yopiq suvga cho'mish
• Muqova
• O'lchovni kamaytirish
• Suvga cho'mish
• Jonson-Lindenstrauss lemmasi
• Submanifold
• Subspace
• Umumjahon makon

Izohlar

Adabiyotlar

• Bishop, Richard Lourens; Krittenden, Richard J. (1964). Manifoldlar geometriyasi. Nyu-York: Academic Press. ISBN  978-0-8218-2923-3.CS1 maint: ref = harv (havola)
• Bishop, Richard Lourens; Goldberg, Samuel Irving (1968). Manifoldlar bo'yicha tenzor tahlili (Birinchi Dover 1980 tahr.). Macmillan kompaniyasi. ISBN  0-486-64039-6.CS1 maint: ref = harv (havola)
• Krampin, Maykl; Pirani, Feliks Arnold Edvard (1994). Amaldagi differentsial geometriya. Kembrij, Angliya: Kembrij universiteti matbuoti. ISBN  978-0-521-23190-9.CS1 maint: ref = harv (havola)
• Karmo, Manfredo Perdigao (1994). Riemann geometriyasi. ISBN  978-0-8176-3490-2.CS1 maint: ref = harv (havola)
• Flandriya, Xarli (1989). Fizikaviy fanlarga qo'llaniladigan differentsial shakllar. Dover. ISBN  978-0-486-66169-8.CS1 maint: ref = harv (havola)
• Gallot, Silvestr; Xulin, Dominik; Lafonteyn, Jak (2004). Riemann geometriyasi (3-nashr). Berlin, Nyu-York: Springer-Verlag. ISBN  978-3-540-20493-0.CS1 maint: ref = harv (havola)
• Xokking, Jon Gilbert; Yosh, Geyl sotuvchilari (1988) [1961]. Topologiya. Dover. ISBN  0-486-65676-4.CS1 maint: ref = harv (havola)
• Kosinski, Antoni Albert (2007) [1993]. Differentsial manifoldlar. Mineola, Nyu-York: Dover nashrlari. ISBN  978-0-486-46244-8.CS1 maint: ref = harv (havola)
• Lang, Serj (1999). Differentsial geometriya asoslari. Matematikadan aspirantura matnlari. Nyu-York: Springer. ISBN  978-0-387-98593-0.CS1 maint: ref = harv (havola)
• Kobayashi, Shoshichi; Nomizu, Katsumi (1963). Differentsial geometriya asoslari, 1-jild. Nyu-York: Vili-Interscience.CS1 maint: ref = harv (havola)
• Li, Jon Marshall (1997). Riemann manifoldlari. Springer Verlag. ISBN  978-0-387-98322-6.CS1 maint: ref = harv (havola)
• Sharpe, RW (1997). Differentsial geometriya: Kleynning Erlangen dasturini karton yordamida umumlashtirish. Springer-Verlag, Nyu-York. ISBN  0-387-94732-9.CS1 maint: ref = harv (havola).
• Spivak, Maykl (1999) [1970]. Differentsial geometriyaga keng kirish (1-jild). Nashr qiling yoki halok bo'ling. ISBN  0-914098-70-5.CS1 maint: ref = harv (havola)
• Warner, Frank Uilson (1983). Differentsialli manifoldlar va yolg'on guruhlarining asoslari. Springer-Verlag, Nyu-York. ISBN  0-387-90894-3.CS1 maint: ref = harv (havola).

Tashqi havolalar

• Adámek, Jiří; Horst Herrlich; Jorj Streker (2006). Mavhum va aniq toifalar (mushuklarning quvonchi).
• Manifoldlarni ko'mish Manifold Atlasida

Xuddi shu nom bilan bog'liq maqolalar indeksi Bu maqola bir xil ismga ega bo'lgan (yoki o'xshash ismlarga) tegishli narsalar ro'yxatini o'z ichiga oladi. Agar shunday bo'lsa ichki havola noto'g'ri sizni bu erga olib borgan bo'lsa, to'g'ridan-to'g'ri mo'ljallangan maqolaga ishora qilish uchun havolani o'zgartirishni xohlashingiz mumkin.