Тангенс кеңістігі - Tangent space

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

Ресми емес сипаттама

Бір нүктенің тангенс кеңістігінің кескіндемелік көрінісі ${displaystyle x}$ үстінде сфера. Бұл жанама кеңістіктегі вектор at мүмкін жылдамдығын білдіреді ${displaystyle x}$. Осы бағытта жақын нүктеге қозғалғаннан кейін жылдамдықты сол нүктенің тангенс кеңістігіндегі вектор - басқа жанама кеңістік көрсетілмейді.

Жылы дифференциалды геометрия, әрбір нүктеге бекітуге болады ${displaystyle x}$ а дифференциалданатын коллектор а жанасу кеңістігі- шынайы векторлық кеңістік ол интуитивті түрде тангенциалды өтуге болатын мүмкін бағыттарды қамтиды ${displaystyle x}$. Жанындағы кеңістіктің элементтері ${displaystyle x}$ деп аталады жанасу векторлары кезінде ${displaystyle x}$. Бұл а ұғымын жалпылау байланысты вектор ішінде Евклид кеңістігі. The өлшем жанасатын кеңістіктің а нүктесінде байланысты коллекторы сол сияқты көпжақты өзі.

Мысалы, егер берілген коллектор а ${displaystyle 2}$-сфера, содан кейін жанасу кеңістігін шардағы сол нүктеге тиетін жазықтық ретінде бейнелеуге болады перпендикуляр нүкте арқылы сфераның радиусына дейін. Жалпы алғанда, егер берілген коллекторды an деп санасаңыз ендірілген субманифольд туралы Евклид кеңістігі, содан кейін жанама кеңістікті осы мәнерде бейнелеуге болады. Бұл анықтауға дәстүрлі тәсіл болды параллель тасымалдау. Көптеген авторлар дифференциалды геометрия және жалпы салыстырмалылық оны қолданыңыз. ^{[1] [2]} Нақтырақ айтқанда, бұл аффинді тангенс кеңістігін анықтайды, ол қазіргі терминологиямен сипатталған тангенс векторларының кеңістігінен ерекшеленеді.

Жылы алгебралық геометрия, керісінше, ішкі анықтамасы бар жанасу кеңістігі туралы алгебралық әртүрлілік ${displaystyle V}$ бұл векторлық кеңістікті, кем дегенде, өлшемімен береді ${displaystyle V}$ өзі. Ұпайлар ${displaystyle p}$ жанасатын кеңістіктің өлшемі дәл осы өлшемде болады ${displaystyle V}$ деп аталады сингулярлы емес ұпайлар; басқалары аталады жекеше ұпай. Мысалы, өзін қиып өтетін қисықтың сол кезде ерекше жанама сызығы болмайды. Сингулярлық нүктелері ${displaystyle V}$ бұл «көпқырлы болу сынағы» сәтсіздікке ұшырайды. Қараңыз Танис кеңістігі.

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

Коллектордың барлық жанасу кеңістіктері «бір-біріне жабысып», бастапқы коллектордың екі еселенген өлшемімен жаңа дифференциалданатын коллекторды құруы мүмкін, оны « тангенс байламы коллектордың.

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

Жоғарыдағы бейресми сипаттама коллектордың қоршаған векторлық кеңістікке ену қабілетіне негізделген ${displaystyle mathbb {R} ^ {m}}$ жанасу векторлары коллектордан қоршаған кеңістікке ‘жабысып’ кетуі үшін. Алайда, жанама кеңістік туралы ұғымды тек коллектордың өзіне негізделген анықтаған ыңғайлы.^[3]

Жанама кеңістікті анықтаудың әр түрлі эквивалентті тәсілдері бар. Қисықтардың жылдамдығы арқылы берілген анықтама интуитивті түрде қарапайым болғанымен, жұмыс істеу өте ауыр. Төменде талғампаз және дерексіз тәсілдер сипатталған.

Тангенс қисықтары арқылы анықтау

Кірістірілген-көп қабатты суретте нүктедегі жанама вектор ${displaystyle x}$ ретінде қарастырылады жылдамдық а қисық нүкте арқылы өту ${displaystyle x}$. Біз жанамалы векторды қисықтардың эквиваленттік класы ретінде анықтай аламыз ${displaystyle x}$ кезінде бір-біріне жанасу кезінде ${displaystyle x}$.

Айталық ${displaystyle M}$ Бұл ${displaystyle C ^ {k}}$ көпжақты (${displaystyle kgeq 1}$) және сол ${displaystyle xin M}$. A таңдаңыз координаттар кестесі ${displaystyle varphi: U o mathbb {R} ^ {n}}$, қайда ${displaystyle U}$ болып табылады ішкі жиын туралы ${displaystyle M}$ құрамында ${displaystyle x}$. Бұдан әрі екі қисық болсын дейік ${displaystyle гамма _ {1}, гамма _ {2}: (- 1,1) o M}$ бірге ${displaystyle {гамма _ {1}} (0) = x = {гамма _ {2}} (0)}$ екеуіне де солай беріледі ${displaystyle varphi circ гамма _ {1}, varphi circ gamma _ {2}: (- 1,1) o mathbb {R} ^ {n}}$ кәдімгі мағынада дифференциалданады (біз бұларды атаймыз инициализацияланған қисықтар ${displaystyle x}$). Содан кейін ${displaystyle гамма _ {1}}$ және ${displaystyle гамма _ {2}}$ деп айтылады балама кезінде ${displaystyle 0}$ және егер туындылары болса ғана ${displaystyle varphi circ гамма _ {1}}$ және ${displaystyle varphi circ гамма _ {2}}$ кезінде ${displaystyle 0}$ сәйкес келеді. Бұл анықтайды эквиваленттік қатынас инициалданған барлық дифференциалды қисықтардың жиынтығында ${displaystyle x}$, және эквиваленттік сыныптар сияқты қисықтардың белгілі жанасу векторлары туралы ${displaystyle M}$ кезінде ${displaystyle x}$. Кез келген осындай қисықтың эквиваленттік класы ${displaystyle гамма}$ деп белгіленеді ${displaystyle гамма '(0)}$. The жанасу кеңістігі туралы ${displaystyle M}$ кезінде ${displaystyle x}$, деп белгіленеді ${displaystyle T_ {x} M}$, содан кейін барлық жанама векторлардың жиыны ретінде анықталады ${displaystyle x}$; бұл координаттар кестесін таңдауға байланысты емес ${displaystyle varphi: U o mathbb {R} ^ {n}}$.

Тангенс кеңістігі ${displaystyle T_ {x} M}$ жанама вектор ${displaystyle vin T_ {x} M}$, арқылы өтетін қисық бойымен ${displaystyle xin M}$.

Векторлық-кеңістіктегі амалдарды анықтау үшін ${displaystyle T_ {x} M}$, біз диаграмманы қолданамыз ${displaystyle varphi: U o mathbb {R} ^ {n}}$ және а анықтаңыз карта ${displaystyle mathrm {d} {varphi} _ {x}: T_ {x} M o mathbb {R} ^ {n}}$ арқылы ${displaystyle {mathrm {d} {varphi} _ {x}} (гамма '(0)) ~ {стекль {ext {df}} {=}} ~ сол жақта. {frac {mathrm {d}} {mathrm {d } {t}}} [(varphi circ гамма) (t)] ight | _ {t = 0},}$ қайда ${гаммадағы displaystyle гаммасы '(0)}$. Тағы да, бұл құрылыстың нақты кестеге тәуелді еместігін тексеру керек ${displaystyle varphi: U o mathbb {R} ^ {n}}$ және қисық ${displaystyle гамма}$ қолданылып жатыр, ал іс жүзінде ол қолданылмайды.

Карта ${displaystyle mathrm {d} {varphi} _ {x}}$ болып шығады биективті және векторлық-кеңістіктегі амалдарды беру үшін қолданылуы мүмкін ${displaystyle mathbb {R} ^ {n}}$ дейін ${displaystyle T_ {x} M}$, осылайша соңғысын жиынтыққа айналдырып ${displaystyle n}$-өлшемді нақты векторлық кеңістік.

Туындылар арқылы анықтау

Енді солай делік ${displaystyle M}$ Бұл ${displaystyle C ^ {жарамсыз}}$ көпжақты. Нақты бағаланатын функция ${displaystyle f: M o mathbb {R}}$ тиесілі делінеді ${displaystyle {C ^ {infty}} (M)}$ егер және әрбір координаталық диаграмма үшін болса ғана ${displaystyle varphi: U o mathbb {R} ^ {n}}$, карта ${displaystyle fcirc varphi ^ {- 1}: varphi [U] subseteq mathbb {R} ^ {n} o mathbb {R}}$ шексіз дифференциалданады. Ескертіп қой ${displaystyle {C ^ {infty}} (M)}$ нақты ассоциативті алгебра қатысты бағыттағы өнім және функциялардың қосындысы және скалярлық көбейту.

Нүкте таңдаңыз ${displaystyle xin M}$. A туынды кезінде ${displaystyle x}$ ретінде анықталады сызықтық карта ${displaystyle D: {C ^ {infty}} (M) o mathbb {R}}$ бұл лейбництің жеке басын қанағаттандырады

${displaystyle forall f, gin {C ^ {infty}} (M): qquad D (fg) = D (f) cdot g (x) + f (x) cdot D (g),})$

ол модельденген өнім ережесі калькуляция.

(Әрбір бірдей тұрақты функция үшін ${displaystyle f = {ext {const}},}$ Бұдан шығатыны ${displaystyle D (f) = 0}$).

Егер туынды жиыны бойынша қосу және скалярлық көбейтуді анықтайтын болсақ ${displaystyle x}$ арқылы

• ${displaystyle (D_ {1} + D_ {2}) (f) ~ {stackrel {ext {df}} {=}} ~ {D} _ {1} (f) + {D} _ {2} (f) )}$ және
• ${displaystyle (lambda cdot D) (f) ~ {stackrel {ext {df}} {=}} ~ lambda cdot D (f)}$,

содан кейін біз жанама кеңістік ретінде анықтайтын нақты векторлық кеңістікті аламыз ${displaystyle T_ {x} M}$ туралы ${displaystyle M}$ кезінде ${displaystyle x}$.

Жалпылау

Бұл анықтаманы жалпылау мүмкін, мысалы, дейін күрделі коллекторлар және алгебралық сорттары. Алайда, туындыларды зерттеудің орнына ${displaystyle D}$ функциялардың толық алгебрасынан оның орнына жұмыс істеу керек микробтар функциялар. Мұның себебі - құрылым құрылымы болмауы мүмкін жақсы осындай құрылымдар үшін. Мысалы, рұқсат етіңіз ${displaystyle X}$ алгебралық алуан түрлілігі болуы мүмкін құрылым құрылымы ${displaystyle {mathcal {O}} _ {X}}$. Содан кейін Танис кеңістігі бір сәтте ${displaystyle pin P}$ бәрінің жиынтығы ${displaystyle mathbb {k}}$- бағыттар ${displaystyle D: {mathcal {O}} _ {X, p} o mathbb {k}}$, қайда ${displaystyle mathbb {k}}$ болып табылады жер өрісі және ${displaystyle {mathcal {O}} _ {X, p}}$ болып табылады сабақ туралы ${displaystyle {mathcal {O}} _ {X}}$ кезінде ${displaystyle p}$.

Анықтамалардың эквиваленттілігі

Үшін ${displaystyle xin M}$ және дифференциалданатын қисық ${displaystyle гаммасы: (- 1,1) o M}$ осындай ${displaystyle гаммасы (0) = x,}$ анықтау ${displaystyle {D_ {gamma}} (f) ~ {stackrel {ext {df}} {=}} ~ (fcirc gamma) '(0)}$ (мұнда туынды қарапайым мағынада алынады, өйткені ${displaystyle fcirc гамма}$ функциясы болып табылады ${displaystyle (-1,1)}$ дейін ${displaystyle mathbb {R}}$). Мұны анықтауға болады ${displaystyle D_ {гамма} (f)}$ нүктесінде туынды болып табылады ${displaystyle x,}$ және сол эквиваленттік қисықтар бірдей туынды шығарады. Осылайша, эквиваленттік сынып үшін ${displaystyle гамма '(0),}$ біз анықтай аламыз ${displaystyle {D_ {gamma '(0)}} (f) {stackrel {ext {df}} {=}} (fcirc gamma)' (0),}$ қайда қисық ${гаммадағы displaystyle гаммасы '(0)}$ таңдалған. Карта ${displaystyle gamma '(0) mapsto D_ {gamma' (0)}}$ бұл эквиваленттік кластар кеңістігі арасындағы векторлық кеңістіктің изоморфизмі ${displaystyle гамма '(0)}$ және нүктедегі туындылар ${displaystyle x.}$

Котангенс кеңістігі арқылы анықтама

Тағы да, біз а ${displaystyle C ^ {жарамсыз}}$ көпжақты ${displaystyle M}$ және нүкте ${displaystyle xin M}$. Қарастырайық идеалды ${displaystyle I}$ туралы ${displaystyle C ^ {жарамсыз} (M)}$ ол барлық тегіс функциялардан тұрады ${displaystyle f}$ жоғалу ${displaystyle x}$, яғни, ${displaystyle f (x) = 0}$. Содан кейін ${displaystyle I}$ және ${displaystyle I ^ {2}}$ нақты векторлық кеңістіктер, және ${displaystyle T_ {x} M}$ ретінде анықталуы мүмкін қос кеңістік туралы кеңістік ${displaystyle I / I ^ {2}}$. Бұл соңғы кеңістік сонымен қатар котангенс кеңістігі туралы ${displaystyle M}$ кезінде ${displaystyle x}$.

Бұл анықтама ең абстрактілі болғанымен, оны басқа параметрлерге, мысалы, сорттары жылы қарастырылды алгебралық геометрия.

Егер ${displaystyle D}$ туынды болып табылады ${displaystyle x}$, содан кейін ${displaystyle D (f) = 0}$ әрқайсысы үшін ${displaystyle фин I ^ {2}}$, бұл дегеніміз ${displaystyle D}$ сызықтық картаны тудырады ${displaystyle I / I ^ {2} o mathbb {R}}$. Керісінше, егер ${displaystyle r: I / I ^ {2} o mathbb {R}}$ сызықтық карта болып табылады ${displaystyle D (f) ~ {stackrel {ext {def}} {=}} ~ rleft ((f-f (x)) + I ^ {2} ight)}$ туындысын анықтайды ${displaystyle x}$. Бұл туынды арқылы анықталған тангенс кеңістігі мен котангенс кеңістігі арқылы анықталған тангенс кеңістігінің эквиваленттілігін береді.

Қасиеттері

Егер ${displaystyle M}$ ашық ішкі жиыны болып табылады ${displaystyle mathbb {R} ^ {n}}$, содан кейін ${displaystyle M}$ Бұл ${displaystyle C ^ {жарамсыз}}$ табиғи түрде көп қабатты (координаталық диаграммаларды қабылдаңыз жеке куәліктер ішіндегі ашық жиындарда ${displaystyle mathbb {R} ^ {n}}$жанама кеңістіктер табиғи түрде анықталған ${displaystyle mathbb {R} ^ {n}}$.

Тангенс векторлары бағытталған туынды ретінде

Тангенс векторлары туралы ойлаудың тағы бір әдісі: бағытты туындылар. Вектор берілген ${displaystyle v}$ жылы ${displaystyle mathbb {R} ^ {n}}$, біреуі нүктеде сәйкес бағытталған туындысын анықтайды ${displaystyle xin mathbb {R} ^ {n}}$ арқылы

${displaystyle forall fin {C ^ {infty}} (mathbb {R} ^ {n}): qquad (D_ {v} f) (x) ~ {stackrel {ext {df}} {=}} ~ left. { frac {mathrm {d}} {mathrm {d} {t}}} [f (x + tv)] ight | _ {t = 0} = қосынды _ {i = 1} ^ {n} v ^ {i} {frac {ішінара f} {ішінара x ^ {i}}} (x).}$

Бұл карта, әрине, туынды болып табылады ${displaystyle x}$. Сонымен қатар, кез келген нүкте ${displaystyle mathbb {R} ^ {n}}$ осы формада. Демек, векторлар (нүктеде жанама векторлар ретінде қарастырылады) мен нүктеде туындылар арасында бір-біріне сәйкестік бар.

Нүктедегі жанама векторларды жанама векторларды сол кездегі туындылар ретінде анықтауға болатындықтан, оларды бағытты туындылар ретінде қарастыру заңды. Нақтырақ айтқанда, егер ${displaystyle v}$ жанама вектор болып табылады ${displaystyle M}$ бір сәтте ${displaystyle x}$ (туынды деп ойладым), содан кейін бағытталған туынды анықтаңыз ${displaystyle D_ {v}}$ бағытта ${displaystyle v}$ арқылы

${displaystyle forall fin {C ^ {infty}} (M): qquad {D_ {v}} (f) ~ {stackrel {ext {df}} {=}} ~ v (f).}$

Егер біз ойласақ ${displaystyle v}$ дифференциалданатын қисықтың бастапқы жылдамдығы ретінде ${displaystyle гамма}$ инициализацияланған ${displaystyle x}$, яғни, ${displaystyle v = гамма '(0)}$, содан кейін оның орнына анықтаңыз ${displaystyle D_ {v}}$ арқылы

${displaystyle forall fin {C ^ {infty}} (M): qquad {D_ {v}} (f) ~ {stackrel {ext {df}} {=}} ~ (fcirc gamma) '(0).}$

Тангенс кеңістігінің нүктедегі негізі

Үшін ${displaystyle C ^ {жарамсыз}}$ көпжақты ${displaystyle M}$, егер диаграмма болса ${displaystyle varphi = (x ^ {1}, ldots, x ^ {n}): U o mathbb {R} ^ {n}}$ бірге беріледі ${displaystyle pin U}$, содан кейін реттелген негізді анықтауға болады ${displaystyle солға {солға ({frac {жартылай} {жартылай x ^ {1}}} ight) _ {p}, нүктелер, сол жақ ({frac {іштей} {ішінара x ^ {n}}} ight) _ {p} ight}}$ туралы ${displaystyle T_ {p} M}$ арқылы

${displaystyle forall iin {1, ldots, n}, ~ forall fin {C ^ {infty}} (M): qquad {сол жақ ({frac {жартылай} {жартылай x ^ {i}}} ight) _ {p}} (f) ~ {stackrel {ext {df}} {=}} ~ сол жақ ({frac {жартылай} {жартылай x ^ {i}}} {Үлкен (} fcirc varphi ^ {- 1 } {Үлкен)} ight) {Үлкен (} varphi (p) {Үлкен)}.}$

Содан кейін әрбір жанама вектор үшін ${displaystyle vin T_ {p} M}$, біреуінде бар

${displaystyle v = sum _ {i = 1} ^ {n} v ^ {i} cdot солға ({frac {жартылай} {жартылай x ^ {i}}} ight) _ {p}.}$

Бұл формула сондықтан білдіреді ${displaystyle v}$ жанама векторлардың базалық сызықты тіркесімі ретінде ${displaystyle сол жақта ({frac {жартылай} {жартылай x ^ {i}}} ight) _ {p} in T_ {p} M}$ координаттар кестесімен анықталған ${displaystyle varphi: U o mathbb {R} ^ {n}}$.^[4]

Картаның туындысы

Әрбір тегіс (немесе сараланатын) карта ${displaystyle varphi: M o N}$ тегіс (немесе дифференциалданатын) коллекторлар арасында табиғи индукция пайда болады сызықтық карталар оларға сәйкес жанама кеңістіктер арасында:

${displaystyle mathrm {d} {varphi} _ {x}: T_ {x} M o T_ {varphi (x)} N.}$

Егер жанамалық кеңістік дифференциалданатын қисықтар арқылы анықталса, онда бұл карта арқылы анықталады

${displaystyle {mathrm {d} {varphi} _ {x}} (гамма '(0)) ~ {стакель {ext {df}} {=}} ~ (varphi circ gamma)' (0).}$

Егер оның орнына жанамалық кеңістік туындылар арқылы анықталса, онда бұл карта арқылы анықталады

${displaystyle [mathrm {d} {varphi} _ {x} (D)] (f) ~ {stackrel {ext {df}} {=}} ~ D (fcirc varphi).}$

Сызықтық карта ${displaystyle mathrm {d} {varphi} _ {x}}$ әртүрлі деп аталады туынды, жалпы туынды, дифференциалды, немесе алға туралы ${displaystyle varphi}$ кезінде ${displaystyle x}$. Ол әр түрлі басқа белгілерді қолдану арқылы жиі айтылады:

${displaystyle Dvarphi _ {x}, qquad (varphi _ {*}) _ {x}, qquad varphi '(x).}$

Белгілі бір мағынада туынды - бұл ең жақсы сызықтық жуықтау ${displaystyle varphi}$ жақын ${displaystyle x}$. Қашан екенін ескеріңіз ${displaystyle N = mathbb {R}}$, содан кейін карта ${displaystyle mathrm {d} {varphi} _ {x}: T_ {x} M o mathbb {R}}$ туралы әдеттегі түсінікпен сәйкес келеді дифференциалды функциясы ${displaystyle varphi}$. Жылы жергілікті координаттар туындысы ${displaystyle varphi}$ арқылы беріледі Якобиан.

Туынды картаға қатысты маңызды нәтиже:

Теорема. Егер ${displaystyle varphi: M o N}$ Бұл жергілікті диффеоморфизм кезінде ${displaystyle x}$ жылы ${displaystyle M}$, содан кейін ${displaystyle mathrm {d} {varphi} _ {x}: T_ {x} M o T_ {varphi (x)} N}$ сызықтық болып табылады изоморфизм. Керісінше, егер ${displaystyle mathrm {d} {varphi} _ {x}}$ изоморфизм болса, онда бар ашық көршілік ${displaystyle U}$ туралы ${displaystyle x}$ осындай ${displaystyle varphi}$ карталар ${displaystyle U}$ диффеоморфты түрде оның кескініне.

Бұл жалпылау кері функция теоремасы коллекторлар арасындағы карталарға.

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

• Экспоненциалды карта
• Векторлық кеңістік
• Қисықтардың дифференциалды геометриясы
• Координаттардан туындаған негіз
• Котангенс кеңістігі

Ескертулер

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

• Ли, Джеффри М. (2009), Манифольдтар және дифференциалдық геометрия, Математика бойынша магистратура, 107, Провидент: Американдық математикалық қоғам.
• Мичор, Питер В. (2008), Дифференциалды геометрия тақырыптары, Математика бойынша магистратура, 93, Провидент: Американдық математикалық қоғам.
• Спивак, Майкл (1965), Манифольд бойынша есептеу: жетілдірілген есептеудің классикалық теоремаларына заманауи тәсіл, W. A. ​​Benjamin, Inc., ISBN  978-0-8053-9021-6.

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

• Тангенс жазықтықтары MathWorld сайтында