Раніше
Міро [міфо] воззренческіе уявлення, пов'язані з простору, швидше конструюють простір, ніж відображають його.
Міфологічна система світу успадковує цілісність і статичність думки, в якій вона виникла. Небо як дах світу і Земля як центр світу - її основні конструкти. У просторі між Небом і Землею в Давньому Єгипті була поміщена сила, що встановлює рівновагу у світі. У Стародавній Індії були два варіанти заповнення: Індрою (сином Неба і Землі) і просто повітрям. У цих моделях світ виникає з хаосу, простір утворено конструктами, а не вміщає їх.
У Древній Греції в руслі атомізму (Анаксагор, Парменід) з'явилося подання про нескінченному порожньому просторі, у якому тільки й можливий рух. Простір атомістів позбавлене центру, вічно, не має кордонів. Епікур, однак, позбавив його ізотропності, зберігши обрані напрямки "вгору" і "вниз" для пояснення падіння тіл. В уявленнях інших філософських напрямів простір має кордон і центр, верх і низ.
Простір світу Платона - сфера з Землею в центрі (загальний "низ"), що вміщає всі матеріальні тіла.
Платон створив догму досконалості окружності, яка живе до цих пір в комплексних рядах Фур'є. Ця догма сходить до наочним уявленням про коло видноколі.
Простір світу Аристотеля - звичайно, наповнене повітрям і заповнено місцями для об'єктів, неоднорідний і анізотропно, є ареною і учасником подій. У цьому світі ми й жили аж до Ренесансу.
Аристотель "назавжди" представив простір, час і рух безперервними, нескінченно подільними. Чи немає у Вас сумнівів у правоті Арістотеля? ..
Простір Евкліда цілком адекватно "метальної" кінематиці твердих тіл. Евклід забезпечив практикам засоби вимірювання та порівняння довжин, площ і обсягів об'єктів самої різної форми. Абстрактне простір Евкліда однорідний і изотропно, нескінченно ділимо і безмежно. Геометрія Евкліда досі живить нашу просторову інтуїцію і філософію.
Геометрію прийнято вважати наочною. Абстрактність геометрії залишається в тіні (прозорих креслень): точка, позбавлена протяжності; лінія, позбавлена ширини; поверхню, позбавлена товщини. Що таке абстрактність?
У Середні століття простір Всесвіту отримало додаткове оснащення: пекло і рай про дев'ять колах кожен; структури, що вміщають ангелів і бога і траєкторії небесних тіл.
Данте Аліг'єрі блискуче виконав соціальне замовлення на опис конструкції Миру у формі, доступній розумінню простого елітяніна.
До речі, що означають терміни "Комедія" і "Божественна"?
Ренесанс відновив уявлення про однорідний, порожньому, нескінченному абстрактному просторі і розмістив у ньому системи відліку. "Всесвіт є сфера, центр якої всюди, а окружність ніде" (Кузанец).
У тривимірному просторі Галілея вільний рух відбувається по колу, а не по нескінченній прямій. Простір Галілея однорідно: закони механіки однакові у всіх його точках. Порожнечу Галілей винахідливо ввів як нескінченну кількість порожнеч, позбавлених величини.
У нескінченно видовженому просторі Декарта (сутність матерії - об'ємність) немає порожнечі (яка не має властивостей), його структуру визначає загальне рух ("вихорів"). Цей рух породжує неоднорідність і викривляє траєкторії руху частинок аж до планет: простір "викривлене". Ця концепція була продовжена Лейбніцем і Ейнштейном.
Концепцію абсолютно порожньої однорідного простору (Анаксагор) продовжив і завершив Ньютон. Він ввів "абсолютне, завжди однакове і нерухоме" простір, "абсолютна, істинне, математичне, що протікає рівномірно" час. Поряд з ними були дозволені відносне (буденне) час і відносне простір.
Місце як частина простору може бути відповідно абсолютним або відносним; положення є властивість місця, тому як рух, так і спокій можуть бути абсолютними або відносними.
Різного роду субстанції схоластів - флогістон, теплорода, ефір - населяють світ і до цього дня, забезпечуючи Homo profanes образами, що апелюють до наочності та інтуїції повсякденного досвіду, легко доставляючи бажане розуміння.
Що таке "розуміння"?
У якому відношенні знаходяться світ і простір? Пусте изотропное простір нейтрально вміщує світ, а світ його структурує? Або анізотропне простір структурує світ? Ці питання - наукові чи філософські?
Новий час
У Новий час вчені продовжують обговорювати кінцівку і нескінченність, дискретність і безперервність простору, зв'язок простору і часу, руху і матерії (матерія визначає простір чи навпаки?). Парадигма первинності, іманентна західному мисленню, вимагає свого; на додачу первинність може бути гносеологічної і онтологічної.
Простір - фізичний об'єкт?
Філософи розрізняють простору реальне ("насправді"), концептуальний (в науці і в мистецтві), перцептуальное ("дане нам у чуттєвому сприйнятті"). У міфі всі вони об'єднані, в філософії ототожнені реальне і концептуальне, в науці - концептуальне і перцептуальное.
У Новий час європейці аріфметізіровалі площину введенням координат. Відстань (x, y) між точками x = (x1, x2) і y = (y1, y2) не вимірюється, а обчислюється.
Пари координат - вектори - можна складати і множити на число: на площині визначені арифметичні операції над точками (векторами). Відстань від нульового вектора (початку координат) отримало назву довжини (норми) вектора: | x |. Арифметизації тривимірного простору відбувається так само.
Багатовікові дослідження П'ятого постулату Евкліда в "революційній атмосфері" середини XIX століття привели до додання несуперечливої антіевклідовой-неевклідової геометрії статусу геометрії. Див. нижче Додаток.
Наступний крок: кількість координат (розмірність простору!) Переступило поріг наочності, але залишилося кінцевим. Термінологія збереглася, формули - "подовжилися". Простір стало протяжним різноманіттям (Грассман).
Гаус вибрав з трьох тем, запропонованих Ріманом для пробної лекції, тему "Про гіпотези, що лежать в основі геометрії": йому хотілося подивитися, як проявить самостійність молодий чоловік у настільки важкою грі.
Кліффорд не тільки переклав лекцію Рімана на англійську мову, але і висловив деякі міркування:
Не відбуваються чи зміни фізичного характеру внаслідок змін геометричній кривизни простору? - Теплота, світло, електромагнітне поле можуть бути пов'язані з властивостями геометрії простору.
Зміни кривизни в просторі можуть бути одного з трьох родів:
кривизна простору може змінюватися від точки до точки;
кривизна простору може змінюватися з часом;
кривизна простору може змінюватися обома способами.
У фізичному світі не має місця нічого, крім зміни кривизни простору при тому явищі, яке ми називаємо рухом матерії.
Тепер
На перше місце вийшли проблеми концептуального простору.
На початку ХХ століття зроблено ще один крок: число координат стало "нескінченним".
Це - (арифметичне) Гільбертів простір l2. У цьому просторі визначені ті ж арифметичні операції і визначена норма вектора.
Надалі Банах і Вінер визначили норму аксіоматично, а Колмогоров і фон Нейман ввели поняття топологічного векторного простору, відокремивши від гілки просторів з метрикою Піфагора гілку топологічних просторів.
Концептуальне математичне простір конструюється за допомогою аксіом як складається з "точок" з визначеними для них відносинами. Саме для дослідження цих відносин і використовується те або інше простір: n-мірний векторний простір; Гільбертів простір l2; простір неперервних функцій; простір многочленів над полем коефіцієнтів; Гільбертів простір функцій, інтегровних з квадратом; фазовий простір станів об'єкта; простір кольорів.
Чи є така конструкція "правильної"? Чи існує емпіричне підтвердження або спростування? І як нам жити з цими фікціями, чи то пак абстракціями?
У математиці концепція простору еволюціонувала поза зв'язку з фізикою та іншими науками, але результати цього процесу зробили у фізиці черговий квантовий перехід і були оцінені по достоїнству.
Простір у фізиці - носій властивостей, пов'язаних з законами збереження. Групам перетворень з одним безперервним параметром, що зберігає дію, відповідають закони збереження.
Концептуальне фізичний простір конструюється як оснащене математичне простір. Щоб тільки глянути на ці результати, не кажучи вже про оволодіння ними, потрібно подолати високий математичний - насправді концептуальний - бар'єр.
Нова труднощі: метрику простору визначає не сила тяжіння (сутність), а геометрія (формула). А де ж маса? А як же ми? ..
Додаток
У руслі роздумів про доведення неодноразово робилися спроби довести як теорему твердження (постулат) Евкліда про паралельні (у формулюванні Евкліда: якщо відрізки AC та BD, що лежать по одну і ту ж сторону від відрізка AB, утворюють з ним кути A і B, A + B <180, то відрізки AC та BD, будучи продовженими, перетнуться). Теореми, доведені в пошуках докази від протилежного, врешті-решт утворили цілі "нові геометрії", в яких п'ятий постулат був замінений його запереченням. Бракувало одного - бажаного протиріччя (суперечності з чим?). Звернення до досвіду, до вимірювань у реальному просторі не призвело до вибору єдино "правильної" геометрії: сума кутів трикутника виходила в нових геометріях меншою 180, а вимірювання на місцевості (Гаусс) і в космічному просторі мали похибку, яка не давала підстав зробити "правильний вибір ". Гаус, Бояі і Лобачевський залишили перевірку евклідової реального простору наступним поколінням. Координатний спосіб подання геометричних об'єктів, висхідний до Декарта, доставляє їх аналітичну інтерпретацію і вирішує проблему суперечливості: модель неевклідової площині евклідовим засобами дозволяє стверджувати, що неевклідова геометрія і евклідова геометрія однаково (не) суперечливі.
Ріман винайшов ще одну неевклідову геометрію (сферичну), у якій через точку поза прямою на площині не можна було провести ні однієї прямої, не перетинає даної прямої. Ріман продовжив конструювання "геометрій", здійснивши еволюційний крок, все значення якого вдалося усвідомити зусиллями кількох поколінь. Ріман запропонував принципово новий підхід до конструювання математичного простору: не від великого до малого, а навпаки.
На евклідової площини теорема Піфагора призводить до формули для визначення інтервалу між двома точками (квадрата елемента довжини):
ds2 = dx2 + dy2
ds2 = dx2 + dy2
ds2 = (dx1) 2 + (dx2) 2
Індекси при координатах переміщені вгору (і не випадково).
Паралельний перенос і поворот системи координат не змінюють довжини інтервалу.
У косокутної системі координат з кутом? між осями квадрат елемента довжини обчислюється так:
ds2 = (dx1) 2 +2 dx1dx2cos? + (dx2) 2
У криволінійній системі координат U, V малий інтервал по поверхні
Ds2 = Kdu2 +2 Ldudv + Mdv2 (квадратична форма)
визначається через коефіцієнти, залежні від (початковою) точки (інтервалу) і укладається з геодезичної лінії. Гаус представив поверхню як простір, всі властивості якого укладені в квадратичної формі; вона задає геометрію.
Тривимірний простір з тих пір стало окремим випадком тричі протяжної величини. Квадратична форма визначає метрику, яка відображатиме, наприклад, фізичні властивості нагрітого тіла.
Ньютон і Лейбніц, досліджуючи рух в просторі, використовували в ньому миттєві значення величин і створили апарат диференціалів. Ріман для дослідження простору почав з диференціалів, тобто поклав в основу конструювання простору нескінченно малі елементи.
Концептуальне фізичний простір в теорії відносності конструюється як 4-мірне математичне простір-час з належно певної метрикою. Більш "природно" (але неповно) фізичний світ описується в 5 мірному рімановому різноманітті - і так далі ...
Яка ж "насправді" розмірність фізичного простору? Чи однакові розмірності простору "у великому" і "в малому"? Як пов'язані простір і час?
Простір - поняття, а не метафора. І тому щоразу простір повинен мати формальне визначення.
У ХХ столітті метафора простору міцно увійшла в історію, економіку, культуру, життя. І скрізь по-різному!
Фізична геометрія
Геометрія в межах Галактики - евклідова, в межах Метагалактика - досить близька до евклідової. Геометрія мікросвіту до відстаней 10-16 - евклідова з гарним наближенням. Геометрія оцінюється за тим, як в її рамках реалізується динаміка. Такий роздільний аналіз можливий тільки для трьох (з чотирьох) взаємодій (сил): електромагнітного, слабкого і сильного. Гравітаційна взаємодія не допускає роздільного розгляду геометрії та динаміки.
Еволюція "геометрій" призвела до розгляду точки як об'єкту, що має структуру, в теорії розшарованих просторів. До точки в розшарованому просторі "прикріплено" "своє" простір. Розшарування простір можна спробувати уявити як (нескінченне) безліч просторів, в якому виділено простір, який називається базою. Кожна точка бази пов'язана з простором, званому шаром над базою. Шар відображає структуру точки бази.
Приклад. Приймемо пряму в якості бази і запросимо до розгляду сімейство площин, перпендикулярних прямої в кожній точці. У кожній площині проведемо коло одного і того ж радіуса з центром на базі і зіставимо її цьому центру. Розшарування простір побудований: воно являє собою циліндр з віссю.
Ще один приклад. На колі довільного радіуса на площині побудуємо циліндричний об'єм. Шарами будуть прямі всередині циліндра, перпендикулярні основи.
Одна із спроб об'єднання всіх чотирьох взаємодій робиться за допомогою розшарованого простору, що має базою простір Мінковського, а шарами - сфери, відповідні квантовим числах елементарних частинок; всередині сфер обертаються вектори станів.
Континуальним концепціям знайшлися опоненти: концепції дискретних моделей, що наближають контінуальноє простір і контінуальноє час. На сцену виходить дискретна геометрія, підтримувана теорією інформації та міццю комп'ютерів. Пропонується не уточнення, не вдосконалення, пропонується альтернатива всієї існуючої науці.
Труднощі в розвитку фізики викликають до життя ще більш суттєві новації, наприклад, простору з негативною розмірністю.
* * *
Ми відокремлюємо розгляд еволюції уявлень про час від розгляду еволюції уявлень про масу і про простір: з'ясується, що концепція часу стає провідною.