Кіріспе

Векторлық есептеудің тензорларға кеңейтілуі

Математикада тензорлық есептеу, тензорлық талдау немесе Риччи есептеулері – векторлық есептеудің тензорлық өрістерге (көптүрлілікте өзгеруі мүмкін тензорлар, мысалы, кеңістік-уақытта) кеңейтілуі болып табылады. Грегорио Риччи Курбастро және оның шәкірті Туллио Леви-Чивита жасаған бұл әдіс Альберт Эйнштейннің жалпы салыстырмалылық теориясын жасау үшін қолданылды. Инфинитезимальды есептеуден өзгеше, тензорлық есептеу физикалық теңдеулерді көптүрліліктің координаттарын таңдауға тәуелсіз түрде беруге мүмкіндік береді. Тензорлық есептеу физика, инженерия және компьютерлік ғылымдарда, соның ішінде серпімділік, үздіксіз механика, электромагнетизм (электромагниттік өрістің математикалық сипаттамаларына қараңыз), жалпы салыстырмалылық теориясы (жалпы салыстырмалылықтың математикасына қараңыз), кванттық өріс теориясы және машиналық оқыту салаларында көптеген қолданымдарға ие. Сыртқы есептеудің жақтаушысы Ели Картанмен бірге жұмыс істеген, ықпалды геометр Шиинг Шен Черн тензорлық есептеудің рөлін былай қорытындылайды: «Біздің дифференциалдық геометриямызда, көптүрліліктер туралы сөйлегенде, геометрия координаттармен сипатталады, бірақ координаттардың өзінің мәні жоқ. Олар өзгеріске ұшырауы мүмкін. Мұндай жағдайды шешу үшін маңызды құрал – тензорлық талдау немесе Риччи есептеулері, бұл математиктер үшін жаңалық болды. Математикада сіз функцияны жазасыз, есептейсіз, қосасыз, көбейтісіз немесе дифференциалдайсыз. Сізде өте нақты нәрсе болады. Геометрияда геометриялық жағдай сандармен сипатталады, бірақ сіз сандарды кез келген түрде өзгерте аласыз. Сондықтан мұны шешу үшін Риччи есептеулері қажет.»

Синтаксисі

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

Вектордың ыдырауы

Тензорлық белгілеу векторды Эйнштейн қосындысына жіктеуге мүмкіндік береді, ол негізгі вектордың (немесе ) компоненттік вектормен (немесе ) тензорлық жиырылуын білдіреді. Кез келген вектордың екі түрлі бейнеленуі бар: біреуі – ковариантты негізге ие контравариантты компонент, ал екіншісі – контравариантты негізге ие ковариантты компонент. Барлық жоғарғы индекстері бар тензор объектілері контравариантты, ал барлық төменгі индекстері бар тензор объектілері ковариантты деп аталады. Контравариантты және ковариантты ажырату қажеттілігі кездейсоқ векторды оның негіздік векторымен белгілі бір координаттар жүйесіне байланысты көбейту кезінде туындайды. Осы көбейтуді негіздік вектордың кездейсоқ векторға проекциясы ретінде, немесе кездейсоқ вектордың негіздік векторға проекциясы ретінде қарастыруға болады. Екі түсіндіру де толыққанды эквивалентті, бірақ әртүрлі компоненттері мен әртүрлі негіздік векторлары бар.

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