Кіріспе

Шексіз жиын
Шексіз жиындар

Математикада, серия дегеніміз, берілген бастапқы шамаға бірінен кейін бірі шексіз көп шамаларды қосу операциясы. Серияны зерттеу – математикалық анализдің және оның жалпыламасы, математикалық талдаудың маңызды бөлігі. Сериялар математиканың көптеген салаларында қолданылады, тіпті шекті құрылымдарды зерттеуде де (мысалы, комбинаторикада) туынды функциялар арқылы. Математикада кеңінен таралғаннан өзге, шексіз қатарлар физика, информатика, статистика және қаржы сияқты басқа сандық ғылымдарда да жиі қолданылады. Ұзақ уақыт бойы, мұндай потенциалды шексіз қосымшаның шекті нәтиже бере алатыны парадоксалды деп есептелді. Бұл парадокс 17 ғасырда лимит тұжырымын қолдану арқылы шешілді. Зенонның Ахиллес пен тасбақасы туралы парадоксы шексіз қосымшалардың осы интуитивті емес қасиетін көрсетеді: Ахиллес тасбақаны қуалайды, бірақ жарыс басында тасбақаның орнына жеткенде, тасбақа екінші орынға жетеді; ол екінші орынға жеткенде, тасбақа үшінші орынға жетеді, және т.б. Зенон Ахиллес тасбақаны ешқашан жете алмайды, демек, қозғалыс жоқ деген қорытынды жасады. Зенон жарысты шексіз көп кіші жарыстарға бөлді, олардың әрқайсысы шекті уақытты қажет етеді, сондықтан Ахиллестің тасбақаны жете алуға кеткен жалпы уақыты серия арқылы беріледі. Парадокс шешімі – серия шексіз көп мүшелерге ие болса да, оның шекті қосындысы бар, бұл Ахиллестің тасбақаны жете алуға қажетті уақытын көрсетеді. Қазіргі терминологияда, кез келген (реттелген) шексіз мүшелер тізбегі (яғни, сандар, функциялар немесе қосыла алатын кез келген нәрсе) серияны анықтайды, бұл ai мүшелерін бірінен кейін бірі қосу операциясы. Мүшелердің шексіз саны бар екенін көрсету үшін, серияны шексіз серия деп атауға болады. Мұндай серия келесідей өрнекпен бейнеленеді (немесе белгіленеді):

немесе, қосынды белгісін қолдану арқылы:

Сериямен білдірілген қосымшалардың шексіз тізбегін тиімді түрде (кем дегенде, шекті уақыт ішінде) орындау мүмкін емес. Алайда, егер мүшелер мен олардың шекті қосындылары жататын жиын лимит тұжырымын болса, серияға мән беруге болады, оны серияның қосындысы деп атайды. Бұл мән – n шексізге ұмтылғандағы (егер лимит болса) серияның алғашқы n мүшелерінің шекті қосындысының лимиті, олар серияның n-ші ішінара қосындылары деп аталады. Яғни:

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

2-дің табиғи логарифмі

Берілген кезектесетін қатардың ішінара қосындысы ретінде белгіленсін. Онда келесі теңсіздік орындалады:

Тейлор сериясы

Тейлор теоремасы — Тейлор қатары қысқартылғандағы қателік мүшесін есептеуді қамтитын тұжырым.

Гипергеометриялық қатарлар

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

Конвергенттік сынақтар

Көптеген тізбектердің жинақталуы немесе жазылуын анықтау үшін қолданылатын түрлі сынақтар бар. n-ші мүшесіне қатысты сынақ: Егер , онда тізбек жазылады; егер , онда сынақ белгісіз болады. Салыстыру сынағы 1 (Тікелей салыстыру сынағын қараңыз): Егер қандай да бір сан үшін және жеткілікті үлкен мәндерде , онда тізбек абсолютті түрде жинақталады. Егер және барлық жеткілікті үлкен мәндерде , онда тізбек абсолютті түрде жинақталмайды (бірақ ол шартты түрде жинақталуы мүмкін, мысалы, егер мүшелерінің таңбасы кезекпен алмасса). Салыстыру сынағы 2 (Шектеу салыстыру сынағын қараңыз): Егер және жеткілікті үлкен мәндерде , онда тізбек абсолютті түрде жинақталады. Егер және барлық жеткілікті үлкен мәндерде , онда тізбек абсолютті түрде жинақталмайды (бірақ ол шартты түрде жинақталуы мүмкін, мысалы, егер мүшелерінің таңбасы кезекпен алмасса). Қатынас сынағы: Егер барлық жеткілікті үлкен үшін тұрақты болса, онда тізбек абсолютті түрде жинақталады. Егер қатынас 1-ден кіші, бірақ 1-ден кіші тұрақтыдан кіші болса, жинақталу мүмкін, бірақ бұл сынақ оны анықтамайды. Түбірлік сынақ: Егер барлық үшін жеткілікті үлкен тұрақты болса, онда тізбек абсолютті түрде жинақталады. Интегралдық сынақ: егер – [a, b] аралығында анықталған оң және монотонды төмендейтін функция болса, онда тізбек осы интеграл шекті болған жағдайда және тек осы жағдайда ғана жинақталады. Кошидің конденсациялық сынағы: Егер теріс емес және монотонды төмендейтін болса, онда екі тізбек және бірдей сипатта болады: екеуі де жинақталады немесе екеуі де жазылады. Кезектесетін тізбек сынағы: (мүшелерінің таңбасы кезекпен алмасатын) түріндегі тізбек кезектесетін тізбек деп аталады. Мұндай тізбек егер тізбек монотонды төмендесе және нөлге жақын болса ғана жинақталады. Керісіне, жалпы жағдайда дұрыс емес. Кейбір нақты тізбектер үшін арнайы жинақталу сынақтары бар, мысалы, Фурье тізбектері үшін Дини сынағы бар.

Формалды қуаттар сериясы

Қуаттар тізбектерінің көптеген қолданылуы олардың қосындыларына қатысты болғанымен, қуаттар тізбектерін формальды қосындылар ретінде де қарастыруға болады, яғни ешқандай қосу операциялары орындалмайды және "+" символы – қосуға міндетті түрде сәйкес келмейтін, біріктірудің абстрактілі символы болып табылады. Мұндай жағдайда, тізбектің жуыстығы емес, коэффициенттер тізбегі қызығушылық тудырады. Формальды қуаттар тізбегі комбинаторикада басқаша басқару қиын тізбектерді сипаттау және зерттеу үшін қолданылады, мысалы, туынды функциялар әдісі арқылы. Гильберт-Пуанкаре тізбегі – сатылаған алгебраларды зерттеуде қолданылатын формальды қуаттар тізбегі. Тізбектің лиміті қарастырылмаса да, егер мүшелерге тиісті құрылым қолданылса, онда "+" символын қосуға сәйкес келетіндей етіп, қуаттар тізбегі үшін қосу, көбейту, туынды, интеграл сияқты операцияларды "формальды" түрде анықтауға болады. Көбінесе, мүшелер коммутативті сақинадан алынады, сондықтан формальды қуаттар тізбегін мүшелеп қосуға және Коши көбейтіндісі арқылы көбейтуге болады. Бұл жағдайда формальды қуаттар тізбегінің алгебрасы – негізгі сақинадағы натурал сандар моноидінің толық алгебрасы болып табылады. Егер негізгі сақина дифференциалдық алгебра болса, онда формальды қуаттар тізбегінің алгебрасы да дифференциалдық алгебра болып табылады, мүшелеп дифференциалдау орындалады.

Лоран сериясы

Лоран қатарлары дәрежелік қатарларды оң және теріс көрсеткіштерді де қатарға қою арқылы жалпылайды. Сондықтан Лоран қатары – кез келген мынадай түріндегі қатар:

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

Асимптотикалық қатарлар

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

Дивергентті реті

Көп жағдайда, әдеттегі мағынада жиналмайтын қатарларға шек қою қажет болады. Қосымдылық әдісі – бұл классикалық жиналу түсінігін кеңейтетін, жиналмайтын қатарлар жиынының бір бөлігіне шек тағайындау. Қосымдылық әдістеріне Чезаро қосындысы, (C,k) қосындысы, Абель қосындысы және Борель қосындысы жатады, олар жалпылығының арту ретімен (демек, көбірек жиналмайтын қатарларға қолданылады) тізімделген. Мүмкін болатын қосымдылық әдістері туралы әртүрлі жалпы нәтижелер белгілі. Сильверман–Тоеплиц теоремасы матрицалық қосымдылық әдістерін сипаттайды, бұл әдістер коэффициенттер векторына шексіз матрицаны қолдану арқылы жиналмайтын қатарды қосуға мүмкіндік береді. Жиналмайтын қатарды қосудың ең жалпы әдісі конструктивті емес және Банах шектерімен байланысты.