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

С Википедије, слободне енциклопедије

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

се понекад зове Грандијев ред, по италијанском математичару, филозофу, и свештенику Гвиду Грандију, који је дао незабораван третман реда 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. ^ а б Devlin, стр. 77
  2. ^ а б Davis, стр. 152
  3. ^ Kline 1983, стр. 307
  4. ^ Knopp, стр. 457
  5. ^ Protter, Murray H.; Morrey, Charles B. Jr. (1997). A First Course in Real Analysis. Springer Science & Business Media. стр. 249. ISBN 978-0-387-97437-8. 

Литература[уреди | уреди извор]

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