Сызық инварианттарының есептеу формулалары

Жұмыс түрі: Курстық жұмыс
Тегін: Антиплагиат
Көлемі: 17 бет
Таңдаулыға:

Мазмұны

Кіріспе

: 1

Кіріспе: Сызық ұғымы

3: 4

: 1. 1

Кіріспе: Сызық инварианттарының кинематикалық тұрғыда сипатталуы

3: 5

: 1. 2

Кіріспе: Сызық инварианттарының есептеу формулалары

3: 6

: 2

Кіріспе: Инварианттардың геометриялық мағынасы

3: 7

: 2. 1

Кіріспе: Түзу сызықты бер инварианттардың есептелу формулалары

3: 9

: 3

Кіріспе: Айнымалыларды ауыстыру. Инварианттары мен тензолар

3: 11

: 3. 1

Кіріспе: Беттің негізгі инварианттары

3: 14

: 3. 2

Кіріспе: Беттегі сызықтық инварианттарының есептеу формулалары

3: 16

: 3. 3

Кіріспе: Сызық инварианттарының кинематикалық тұрғыда сипатталуы

3: 18

Кіріспе: Қорытынды

3: 20

Кіріспе: Пайдаланған әдебиеттер тізімі

3: 21

Кіріспе

Жұмыстың өзектілігі: оқырмандарды инварианттар ұғымымен толықтай таныстыру, соынмен қатар геометриялық есептерде қолданыы мен маңызын көрсету.

Жұмыстың мақсаты: инварианттар ұғымын тоықтай талқылау, қолданыс аясын есептер мен формулалар арқылы көрсету. .

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

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

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

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

Жұмыс құрылымы: жұмыс кіріспеден, тоғыз бөлімнен, қорытындыдан, пайдаланылған әдебиеттер тізімінен және 21 беттен тұрады.

1 Сызық ұғымы

Аналитикалық геометрияда сызықты анықтайтын функцияларға дифференциалдау шарты қойылмағандықтан, ондағы сызық анықтамасы дифференциалдық-геометриялық зерттеу негізінде жата алмайды. Сол себептен де сызықтың шынайы топологиялық анықтамасы да айтқан зерттеуде қолайсыз.

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

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

Егер түзу ретінде ОХ осі алынса, онда қарапайым үзік

$у = \varphi(х)$ , $\ \ z = \text{ψ}(х)$ , (1)

теңдеулерімен беріледі, мұнда $\varphi$ және $\text{ψ}$ кейбір D $\epsilon$ O _x кесіндісінің барлық нүктелерінде дифференциалданатын функциялар.

Енді жеткілікті рет дифференциалданатын бір айналымға тәуелді

$r = r(t)$ , (1. 2)

Вектор функция келбетін қарастырайық. Бұл функцияның берілуі r векторының координаталары болып келетін

x = f ₁ (t), y = f ₂ (t), z = f ₃ (t) (1. 3)

скаляр функцияларының беріліуіне эквивалент.

Анализден мындай жәйт мәлім - y - y (х) теңдеуін (y (х) - ) M(х, y) нүктесі аймағындах-ке қатысты шешу үшін, М нүктесінде

y ^/ (х) ≠0 (1. 4)

болу керек. Сонда х=x(y) шешімі де М нүктесінің кейбір маңында дифференциалданатын функция болып келеді.

Егер берілген t мәнінде f _i (t) туындыларының бірі нөлден өзгеше болса, онда (1. 3) -тің сәйкес теңдеуін t -ға қатысты шешеміз.

y = f ₂ (t(x) ), z = f ₃ (t(x) ) (1. 5)

Кеңістік сызығы (немесе қисығы) деп бір аргументті жеткілікті рет дифференциалданатын $r = r(t)$ вектор-функция келбетін айтамыз. $r \neq \ r(t)$ орындалатын нүктелер қисықтың жай нүктелері, $r = r(t)$ болатын нүктелер қисықтың ерекше нүктелері делінеді.

Геометриялық тұрғыда $r(t) \neq \ \ 0$ шарты сызықтың жанамасын қамтамасыз етеді. Сонымен сызықтың жай нүктесінде әрқашан білгілі жанама бар.

Ескерту. $r(t) \neq \ \ 0$ шарты сызық нүктесі аймағын қарапайым үзік ретінде келтірудің жеткілікті шарты болып келеді, жалпы алғанда ол қажетті шарт болуы міндетті емес. Дербес жағдайда r ^/ -тың нөлге айналуы t айнымалсын ауыстыру нәтежесі болуы мүмкін. Мәселен, t= $\tau^{3}$ арқылы жаңа $\tau$ айнымалысына көшсек

r _t = r ^/ (t( $\tau$ ) ) = 3 $\tau$ ² r _t (1. 6)

1. 1 Сызық инварианттарының кинематикалық тұрғыда сипатталуы

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

S = t (2)

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

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

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

$C:\Users\Admin\Desktop\Новый точечный рисунок.bmp$ (2. 1)

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

$C:\Users\Admin\Desktop\Новый точечный рисунок.bmp$

1-сурет - Сызықтық және бұрыштық жылдамдықтар

1. 2 Сызық инварианттарының есептеу формулалары

Ең алдымен қисықта параметр ретінде S доға ұзындығы алынсын, димек қисық теңдеуімен аламыз.

$r = r(s)$ (2. 2)

Френе формуласын түрлендіре қолданамыз

$C:\Users\Admin\Desktop\Новый точечный рисунок.bmp$ (2. 3)

Мұның жалғасы ретінде

$C:\Users\Admin\Desktop\Новый точечный рисунок.bmp$ (2. 4)

$r = r(t)$ вектор-функциясының Sбойынша алғашқы үш туындысын тауып мына теңдіктерге келеміз (А скаляр тура мәнін білген қажет емес) :

$C:\Users\Admin\Desktop\Новый точечный рисунок.bmp$ (2. 5)

Табылған туындылардың мәндерін негізгі формулаға қойып, қисық инварианттардың келесі есептеу формулаларын аламыз

$C:\Users\Admin\Desktop\Новый точечный рисунок.bmp$ (2. 6)

2 Инварианттардың геометриялық мағынасы

Инвариант - бұл белгілі бір типтегі түрлендірулерде өзгеріссіз қалатын математикалық объектілердің белгілі бір класының (жиынтығының) қасиеті.

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

Инварианттар математиканың геометрия, топология және алгебра сияқты әртүрлі салаларында қолданылады. Инварианттардың ашылуы математикалық объектілерді жіктеу процесінде маңызды қадам болып табылады.

Мысалдар:

үшбұрыштың ауданы Евклид кеңістігінің изометрлеріне қатысты

инвариант болып табылады;

жиынның қуаты биекцияларға қатысты инвариант болып табылады.
детерминант, із, эигенвектор және матрицаның эигенверсиясы

негізді таңдауға қатысты инвариантты болып табылады;

дифференциалдық теңдеулер теориясында инвариант мәні тұрақты

(бірінші интеграл) қалаған функцияға тәуелді функция деп аталады;

Лебег өлшемі ауысуларға қатысты инвариантты;
матрицаның сингулярлық сандары ортогональды түрлендірулерге

қатысты инвариантты.

инварианттар теориясы инвариантты көпмүшелерді (немесе жай

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

топологиялық инвариант - жалпы топология терминдерінің сөздігін

қараңыз;

инвариантты есептер - бұл олимпиадалық математикадағы

тапсырмалардың үлкен класы;

Хадвигер саны және хроматикалық сан - оның шыңдарын қайта

санау кезінде графиктің инварианттары.

Эллипстік қисықтың инварианты:

$C:\Users\Admin\Desktop\Новый точечный рисунок.bmp$

Қиғаштық инварианттың геометриялық мағынасы сызықтың қисықтығы мен бұралымының геометриялық мағынасына ұқсас анықталады.

$C:\Users\Admin\Desktop\Новый точечный рисунок.bmp$ (3)

Мұнда $\text{ψ}$ - екі жақын мойын жанамалары арасындағы бұрыш, ал $\varphi$ - оларға сәйкес жақын сәулелер арасындағы бұрыш.

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

$C:\Users\Admin\Desktop\Новый точечный рисунок.bmp$ (3. 1)

Ɛ ₃ (s) векторы көбейткіш ретінде аралас және векторлық көбейтінділерге кіргендіктен Ɛ ₃ (s+∆ s) векторын Ɛ ₃ (s+∆ s) - Ɛ ₃ (s) векторымен алмастыруға болады. Мұның өзі шегін есептеуге мүмкіндік береді.

$C:\Users\Admin\Desktop\Новый точечный рисунок.bmp$ (3. 2)

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

$C:\Users\Admin\Desktop\Новый точечный рисунок.bmp$ (3. 3)

Мойын сызығы мен сәуле араындағы υ бұрышыт үшін

$C:\Users\Admin\Desktop\Новый точечный рисунок.bmp$

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

$C:\Users\Admin\Desktop\Новый точечный рисунок.bmp$ (3. 4)

Мұнда ds ₁ - мойын сызығы доға ұзындығының дифференциалы, ал ds - түзусызықты бет сфералық индикатрисасының ұзындығы дифференциалы .

2. 1 Түзу сызықты бер инварианттардың есептелу формулалары

Түзусызықты бет

r = z(s) +λƐ ₃ (s) (3. 5)

теңдеуімен берілсін, мұнда z(s), λƐ ₃ (s) инвариантты s параметірінің (сфералық индикатрисасының доға ұзындығы) функциялары. Сонда оның инварианттарына қарапайым түрде деривациялық формулаларын және

$C:\Users\Admin\Desktop\Новый точечный рисунок.bmp$ (3. 6)

Қатынастарын пайдалану нәтижесінде мынандай есептеу формулалары қорытылып шығарылады:

$C:\Users\Admin\Desktop\Новый точечный рисунок.bmp$

$C:\Users\Admin\Desktop\Новый точечный рисунок.bmp$ (3. 7)

Егер түзусызықты бет r = p(t) +λl (t) теңдеуімен берілсе, мұнда p векторы кез келген бағыттаушысының радиус-векторы, l - жасушаның бағыттауышы векторы, t - кез келген параметр, онда мына формулаларды қоса қолданамыз:

ds = dƐ ₃ = dƐ

z = p _m = p + λ _m e

$C:\Users\Admin\Desktop\Новый точечный рисунок.bmp$ (3. 8)

және штрих t бойынша туынды алу белгісі. (3. 7) формуласынның жалғасы ретінде төмендегі формуланы қарасырамыз:

$C:\Users\Admin\Desktop\Новый точечный рисунок.bmp$ (3. 9)

Сонымен түзусызықты беттің кез келген t параметріне қатысты берілуіндегі есептеу формулаларының түрі:

$C:\Users\Admin\Desktop\Новый точечный рисунок.bmp$

$C:\Users\Admin\Desktop\Новый точечный рисунок.bmp$ (3. 10)

3 Айнымалыларды ауыстыру. Инварианттары мен тензолар

$C:\Users\Admin\Desktop\Новый точечный рисунок.bmp$ (4)

шартты орындалуындағы формулаларын және қисық сызықты координаталарға көшу формулалары деп қарастыруға болады. әрине қисық сызықты координаталардың қандай да болмасын алынуында беттің қасиеттері өзгермейтіні айқын. Төменде «тензорлық санау» деген амалды жеңілдету мақсатында айнымалыларды жаңаша, индекс арқылы белгілейтін боламыз, атап айтқанда, u, v, U, V айнымалыларына сәйкесінше u ¹ , u ² , u ^1* , u ^2* әріптерімен белгілейміз.

Кейбір қозғалмайтын жүйеге қатысты алынған x, y, z декарт координаталарынан қисық сызықты u ¹ , u ² координаталарына көшу беттің зерттеуін жеңілдеткенмен, пайда болатын шамалардың инварианттығын қамтамасыз ете алмайды: бұл шамалар u ¹ , u ² айнымалыларының

u ⁱ = u ⁱ (u ^1* , u ^2* ), i = 1, 2, . . . , (4. 1)

формуласы бойынша u ^1* , u ^2* айнымалыларымен алмастыру нәтижесінде беттің сол күйі сақталғанына қарамастан, өзгеруі мүмкін. Геометрия маманының алдында тұрған кокейкесті мәселе - r (u ¹ , u ² ) функциясы және оның туындылары арқылы өрнектелетін және ауыстыру нәтижесінде өзгермейтін шамаларды іздестіріп табу. Мұндай шамалар беттің инварианттары делінеді. Инварианттарды іздестіру мәселесі осыған ұқсас механика, электродинамика және векторлық анализ құралына сүйенетін түрлі пәндерде қарастырылады.

Қарапайым инварианттар геометриялық немесе физикалық мысалдардан-ақ пайда болады. Мәселен,

$C:\Users\Admin\Desktop\Новый точечный рисунок.bmp$ (4. 2)

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

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

Дәлі оы қиындықтарды жеңу жолдары тензор ұғымының пайда болуына және тензорлық есептеудің қалыптасуына себебін тигізді.

... жалғасы

Сіз бұл жұмысты біздің қосымшамыз арқылы толығымен тегін көре аласыз.