Грандијеви редови

Из Википедије, слободне енциклопедије
Иди на навигацију Иди на претрагу

У математици, бесконачан ред , написан и као

се понекад зове Грандијев ред, по италијанском математичару, филозофу, и свештенику Гвиду Грандију, који је дао незабораван третман реда 1703. године. То је дивергентни ред, што значи да му недостаје сума у уобичајеном смислу. С друге стране, његов Цесаро збир је 1/2.

Доказ помоћу интеграла[уреди]

За доказивање помоћу интеграла, потражићемо неодређени интеграл функције  у односу на променљиву . За било коју функцију  понављаћемо парцијалну интеграцију, са  и :

Овде је  константа интеграције.

Узмимо да је  добићемо резултат који ће помоћи за решавање Грандијевог реда :

Можемо и проширити интеграл коришћењем парцијалне интеграције   и . Посматрамо интеграл као функцију   и видимо да имамо исти интеграл на обе стране једначине и додајемо  обема странама и поделимо их двојком. Симболички:

Поређење резултата проширеног интеграла коришћењем обе методе и ове  .

Доказ помоћу 1 / x реда[уреди]

Ред:

Је прилично лако доказати. Прво, помножимо све x-ом. На левој страни, добијамо 1, а на десној страни представићемо х као (x - 1) + 1. Помножимо ред  (x - 1) и 1 одвојено и додамо два заједно.

Сви термини осим 1 се поништавају, и дају:

Примењујући овај ред за 2 добијамо:

Неригорозне методе[уреди]

Један очигледан метод за напад реда

1 − 1 + 1 − 1 + 1 − 1 + 1 − 1 + ...

је да га третирамо као извучени ред и обавимо одузимање на месту:

(1 − 1) + (1 − 1) + (1 − 1) + ... = 0 + 0 + 0 + ... = 0.

Са друге стране, сличан поступак доводи до наизглед контрадикторног резултата

1 + (−1 + 1) + (−1 + 1) + (−1 + 1) + ... = 1 + 0 + 0 + 0 + ... = 1.
Тако, применом заграда код Грандијевог реда на различите начине, можемо добити или 0 или 1 као "вредности". (Варијације ове идеје, назване Еиленберг-Мазур превара, понекад се користе у теорији чворова и алгебре.)

Посматрајући Грандијев ред као дивергентни геометријски ред, можемо користити исте алгебарске методе да проширимо конвергентни геометријски ред да добијемо трећу вредност:

С = 1 − 1 + 1 − 1 + ..., тако да је
1 − С = 1 − (1 − 1 + 1 − 1 + ...) = 1 − 1 + 1 − 1 + ... = С,

одакле добијамо да је С = 1/2. Исти закључак произлази из обрачуна −С, одузимањем резултата од С, и решавањем 2С = 1.[1]

Наведене манипулације не узимају у обзир шта збир низа у ствари значи. Ипак, код проширења за које је важно да буде могуће да се изједначи низ по вољи, и још је важније да буде у стању да се обавља аритметика са њима, може се доћи до два закључка:
  • Ред 1 − 1 + 1 − 1 + ... нема збир.[1][2]
  • ...али његов збир би требало да буде 1/2.[2]
У ствари, обе ове изјаве могу се прецизно и формално доказати, али само помоћу добро дефинисаних математичких концепта који су настали у 19. веку. Након 17.-вековног увођења рачуна у Европу, али пре појаве модерне строгости, напетост између ових одговора подстакнула је оно што је окарактерисано као "бескрајни" и "насилни" спор између математичара.[3][4]

Формула за сабирање до бесконачност Геометријског реда је  , иако деривација за суму важи само када је  (као и са модулом r мање од један, онда ће термини низа пасти на нулу како n расте и ред конвергира) формула још увек ради за r= -1. За случај када је  са  и , збир до бесконачности G је и  конвергира до 

Ране идеје[уреди]

Дивергенција[уреди]

У модерној математици, збир бесконачног низа се дефинише као граница низа његових парцијалних сума, ако постоји. Редослед парцијалних сума Грандијвог низа је 1, 0, 1, 0, ..., који јасно не прилази било ком броју (иако нема две акумулације тачака на 0 и 1). Дакле, Грандијев ред дивергира.
Може се показати да не важи за обављање многих наизглед безазлених операција на низу, као што су прерасподела индивидуалних услова, осим ако низ апсолутно конвергира. Иначе ове операције могу да промене резултат сабирања.[5] Даље, услови Грандијвог реда могу се преуредити тако да имају своје акумулације тачака у сваком интервалу од два или више узастопних целих бројева, не само 0 или 1. На пример, ред
(у ком се, после пет почетних +1 термина, термини смењују у паровима од +1 и -1 термина) је пермутација Грандијвог реда у којој свака вредност у преуређеном реду одговара вредности која је највише далеко од четири позиције у оригиналном реду; његове таче акумулације су 3, 4, и 5. 

Едукација[уреди]

Могућност сабирања[уреди]

Повезани проблеми[уреди]

Види још[уреди]

Референце[уреди]

  1. 1,0 1,1 Devlin, стр. 77
  2. 2,0 2,1 Davis, стр. 152
  3. ^ Kline 1983, стр. 307
  4. ^ Knopp, стр. 457
  5. ^ Protter, Murray H.; Morrey, Charles B. Jr. (7. 03. 1997). A First Course in Real Analysis. Springer Science & Business Media. стр. 249. ISBN 978-0-387-97437-8. 

Литература[уреди]

Спољашње везе[уреди]