Головна
Аксіологія / Аналітична філософія / Антична філософія / Антологія / Антропологія / Історія філософії / Історія філософії / Логіка / Метафізика / Світова філософія / Першоджерела з філософії / Проблеми філософії / Сучасна філософія / Соціальна філософія / Середньовічна філософія / Телеологія / Теорія еволюції / Філософія (підручник) / Філософія мистецтва / Філософія історії / Філософія кіно / Філософія науки / Філософія політики / Філософія різних країн і часів / Філософія самоорганізації / Філософи / Фундаментальна філософія / Хрестоматії з філософії / Езотерика
ГоловнаФілософіяФілософія науки → 
« Попередня Наступна »
А. Грюнбаум. Філософські проблеми простору і часу: Пер. з англ. Вид. 2-е, стереотипне. - М.: Едиториал УРСС. - 568 с., 2003 - перейти до змісту підручника

В. Пуанкаре

Зараз ми дамо ілюстрацію загального формулювання конвенційного характеру просторової конгруентності, яку ми привели в розділі Б в якості прямого слідства ріманова аналізу метричної проблеми просторового континууму. Розглянемо фізичну поверхню, таку, як нескінченна площина або частину її, і на ній систему декартових координат. Звичайна метрізація такій поверхні грунтується на конгруентності, яка визначається збігами переміщуваного стержня: лінійному відрізку, різниця координат між кінцями якого відповідно дорівнює dx і dy, приписується довжина ds, що задається формулою, і геометрія, пов'язана з цією метрізацію поверхні, є, звичайно, евклідової. Але ми також вільні використовувати іншу метрізацію в якої частини цього простору або всюди в ньому. Так, наприклад, ми можемо з рівною підставою метрізовать частина площини вище осі х за допомогою нової метрики

.

Ця альтернативна метрізація відмінна від звичайної метризації: наприклад, вона робить довжини горизонтальних відрізків, різниця координат між кінцями яких дорівнює dx, залежними від положення їх на осі у. Отже, ця метрізація дозволяє нам вважати конгруентними відрізки, у яких пріy = 2 і dx = 1 при у = 1, тоді як звичайна метрізація призводить до відношення довжин як 2:1. Однак нова метрика не говорить про те, що рухомий стрижень буде послідовно збігатися з інтервалами, що відносяться до класу конгруентності, визначеного цією метрикою; навпаки, нова метрика бере до уваги це розбіжність, роблячи довжину стрижня змінної функцією його положення: будучи розташованим паралельно осі x при y = 2, стрижень буде мати тільки половину довжини стрижня, розташованого при у = 1.

Оскільки наша нова метрика, введена Пуанкаре, породжує клас конгруентності лінійних відрізків, відмінний від класу звичайної конгруентності, становить інтерес питання, чи має місце подібна незвичайна конгруентність кутів. Для обговорення цього ми звернемося до наступних необхідним математичним даними. Кут? , Заданий напрямками А і В у римановом просторі, які визначаються переміщеннями Ai і Bi, відповідно виражається формулою

Де gij являють собою метричні коефіцієнти метрики для лінійних відрізків. Зараз ми введемо нову метрику, яка має те властивість, що її метричні коефіцієнти g * ij пов'язані з первісними коефіцієнтами gij наступним так званим «конформною» перетворенням:, де є аналітична функція координат xi. З вищенаведеного висловлювання для cos? очевидно, що кути? і, отже, відносини конгруентності між кутами залишаються незмінними при будь-якій новій метризації, в якій метричні коефіцієнти g * ij пов'язані конформною перетворенням з коефіцієнтами первісної метрики.

Цей результат дозволяє нам переконатися в тому, що метрика Пуанкаре призводить до того ж самого класу конгруентності кутів, що і первісна метрика, оскільки коефіцієнти метрики Пуанкаре пов'язані з коефіцієнтами стандартної метрики множником 1/y2.

Щоб визначити, які лінії на півплощині є геодезичними в нестандартній метриці Пуанкаре

,

потрібно замінити дану ds і внести зміни в умови, визначальні для цього сімейства геодезичних.

Як вже згадувалося у виносці на стор 28 в розділі Б, шукані геодезичні нашої нової метрики повинні тому задаватися рівнянням Ейлера

При підстановці цієї величини I в ейлерову рівняння ми отримуємо диференціальне рівняння сімейства геодезичних

Рішенням цього рівняння є вираз

,

де k і R - постійні інтегрування. Це рішення являє собою сімейство прямих (геодезичних), пов'язаних з метрикою Пуанкаре; але на евклідовому мовою, відповідному звичайної декартової метриці, воно представляє сімейство «кіл» з центрами на осі х і перпендикулярних їй, причому верхні «півкола» будуть геодезичними напівплощині Пуанкаре, характеризується вже інший метрикою.

Читач може переконатися, що нова метрізація Пуанкаре призводить до гіперболічної неевклідової геометрії на півплощині, використовуючи нові метричні коефіцієнти g11 = 1/y2 і g22 = 1/y2, щоб отримати з формули Гаусса 1 (1 Це можна знайти в кн.: Ф.Клейна, Неевклидова геометрія, М.-Л., 1936, стор 306.) від'ємне значення гаусової кривизни K. Те, що метрика Пуанкаре дає гіперболічну геометрію тієї ж самої напівплощині y> 0 є евклідової площиною при звичайній метризації, стає геометрично очевидним, якщо зауважити, що нові геодезичні напівплощині Пуанкаре мають наступні властивості: по-перше, їх нескінченність гарантується поведінкою метрики Пуанкаре при y ? 0 і, по-друге, вони задовольняють гіперболічному постулату паралельності, згідно з яким існує більш ніж одна компланарності, паралельна даній прямій, оскільки вони також визначаються як евклідові півкола і, отже, виявляють евклидово властивість: через точку поза півкола може бути проведена більше ніж одна півколо, не яка перетинає дану півколо.

Очевидно, що заміна стандартної декартовій метрики метрикою Пуанкаре призводить до такому перейменуванню різних траєкторій на півплощині, що мова гіперболічної геометрії описує ті ж самі факти збігу стрижнів при переміщенні на півплощині, які зазвичай викладаються мовою евклідової геометрії. У світлі попередньої оцінки Ріманом просторової (і тимчасової) метрики ми повинні зробити висновок, що не тільки з математичної, але і з філософської точок зору гіперболічна метрізація напівплощині настільки ж правомірна, як і евклідова метрізація.

Однак можуть заперечити, що, хоча нові метрики і законні з філософської точки зору, все ж для всіх визначень конгруентності, що не приписують рівні довжини ds інтервалах, визначеним за допомогою збігу твердого стрижня, вільного від збурюючих впливів , характерна педантична штучність і збочена складність. Підстави для цього заперечення наступні: а) в природі не існує таких зручних і звичних об'єктів, збіг яких при переміщенні призводило б до фізичної реалізації такої дивної і незвичайної конгруентності, і б) після внесення поправок на різні види Ідіосінкразіческім спотворень твердих тіл, які залежать від їх будови і відбуваються в негомогенних теплових, електричних та інших полях, все що переміщаються тверді тіла дають ті ж самі інтервали, що і являє собою реалізацію однієї з нескінченної кількості математично несумісних конгруентністю. Mutatis mutandis те ж саме заперечення можна висунути і по відношенню до будь-якого визначення тимчасової конгруентності, яка є нестандарта ної унаслідок невідповідності з ходом стандартних невое-Мущал матеріальних годин. Відповідь на цю критику може бути двояким.

1) На перший погляд правдоподібність критерію простоти у виборі визначення конгруентності відкриває підхід до другого міркуванню на цей рахунок, а саме коли є чітке уявлення про те, що критерію простоти недостатньо і необхідні міркування не тільки щодо визначення конгруентності, але також і про форму загальної системи, в якій геометрія і фізика пов'язані між собою. Наше обговорення в главах другої та четвертої покаже, що в якості ціни за велику простоту загальної теорії можна прийняти і дивне визначення конгруентності. Передбачаючи главу другу, ми відзначимо тут, що хоча Ейнштейн тільки посилався на можливість незвичайного визначення просторової конгруентності в загальній теорії відносності, але фактично не використовував його 1 (1 А. Ейнштейн, Основи загальної теорії відносності, «Збори наукових праць», т. I , M., 1965, стор 452-507.) він все ж спирався в цій теорії на таке визначення тимчасової конгруентності, яке наш передбачуваний опонент розглядав би як найвищою мірою довільне, оскільки воно не задається ходом стандартних матеріальних годин.

2) Особливо повчально помітити, що космологія Мілна постулює фактичне існування в природі двох метрично різних видів годин, відповідні періоди яких дають фізичну реалізацію математично несумісних конгруентністю.

Зокрема, припущення Мілна веде до того, що існує нелінійне відношення

між часом?, Певним допомогою періодичних астрономічних процесів, і часом t, певним допомогою атомних явищ, причому t0 є відповідно обраної довільної сталої. Нелінійність відносини між цими двома видами часу має тут надзвичайно велике значення, оскільки вона гарантує, що два інтервали, конгруентні в одній з цих двох тимчасових шкал, будуть неконгруентністю в іншій; це очевидно з того, що похідна d? / Dt не є постійною. Ми можемо чітко собі уявити геометричні відносини між обома шкалами часу: нехай кінцем половини незамкненою лінії буде точка t = 0 по t-шкалою і нехай рівні просторові

інтервали на лінії позначають рівні тимчасові інтервали по tf-шкалою . Тоді?-Шкалу можна було б представити на тій же самій лінії такий метрізацію, де просторові інтервали ставали б коротше в напрямку точки t = 0 тобто точки, яка не відноситься до?-Шкалою, оскільки?? -? при t? 0. Таким чином, в напрямку t = 0 (в минуле) рівні тимчасові інтервали на?-Шкалою відповідали б завжди меншим інтервалам на t-шкалою.

Ясно, що було б досить необгрунтовано розглядати одну з двох конгруентністю Мілна як незвичайну, оскільки кожна з них має фізичну реалізацію. Вибір між цими двома шкалами неминуче є справою угоди, так як цілком зрозуміло, що в теорії Мілна ці пов'язані з різними метриками опису світу фактично еквівалентні і, отже, однаково істинні.

Який вирок можна було б винести прибічнику ньютонівської точки зору, згідно з якою метрика внутрішньо властива різноманіттю, якщо врахувати приклади альтернативної метрізуемості як простору (гіперболічна метрізація Пуанкаре напівплощині), так і часу (загальна теорія відносності і космологія Мілна)? По-перше, ньютоніанец вірно зауважує, що, оскільки всі згодні з тим, що термін «конгруентний» в застосуванні до інтервалів повинен виражати рефлективне, симетричне і транзитивне відношення в даному класі геометричних конфігурацій, використання цього терміну обмежується позначенням відносини просторового рівності. Однак ньютоніанец неправомірно наполягає на тому, що просторове рівність між двома лінійними відрізками фізичного простору (або між областями поверхні, або тривимірного простору відповідно) полягає в тому, що вони містять те ж саме, внутрішньо властиве їм кількість простору. І, виходячи з цієї помилкової передумови, він нібито має право стверджувати, що, по-перше, ніколи не буде законним довільний вибір того, які специфічні інтервали слід вважати конгруентними, і, по-друге, на додаток до того, що такий вибір не можна зробити, не існує можливості і для вибору ліній, які слід розглядати як прямі, а тим самим не можна зробити вибір і серед альтернативних геометричних описів реального фізичного простору. Причина цього полягає в наступному: умові геодезичних повинні задовольняти прямі,

на які накладається обмеження, що тільки членам єдиного класу лінійних відрізків, рівність яких є внутрішньо притаманним їм властивістю, можна приписувати одну і ту ж довжину ds . Крім того, Ньютон-нець стверджує, що тільки «істинно» (внутрішньо) рівні тимчасові інтервали можуть розглядатися як конгруентних, і тому він наполягає на тому, що в тимчасовому континуумі існує тільки один допустимий клас конгруентності. Цей висновок він потім намагається обгрунтувати, посилаючись на деякі причинні відносини з ньютоновой динаміки; ми спростуємо його далі, в розділі другому.

« Попередня Наступна »
= Перейти до змісту підручника =
Інформація, релевантна " В. Пуанкаре "
  1. Е. Рассел
    Протягом 1897-1900 років Рассел і Пуанкаре вели суперечку, розпочатий в 1897 році рецензією Пуанкаре на« Підстави геометрії »Рассела і продовжений у відповіді Рассела і в запереченнях Пуанкаре. Рассел критикував конвенцією-оналістіческое поняття конгруентності Пуанкаре і наступним чином проголошував існування внутрішньо властивою простору метрики: Мабуть, треба думати, що, оскільки вимірювання
  2. 115. Яку роль відіграє інтуїція в науковому пізнанні?
    Буквально «інтуїція» (від лат intuitin) означає пильну всматріваніе. Інтуїтивне знання часто характеризується як безпосереднє знання, миттєве осяяння філос фи багаторазово розглядали феномен інтуїції. Платон, Р. Декарт, А. Бергсон, 3. Фрейд, Н. Лоський, С. Франк і багато інших описували інтуїтивне знання. Деякі філософи визначають інтуїцію як чуттєву здатність, або
  3. Махізм (емпіріокритицизм): основні ідеї та причини впливу серед природознавців
      У другій половині XIX в. «Перший позитивізм» поступається місцем новій історичній формі позитивізму - емпіріокритицизму або махізму. Найбільш відомі його представники - Ернст Мах90, Ріхард Авенаріус91, Анрі Пуанка-ре92 та ін Нові відкриття в науці підсилюють девальвацію механістичної картини світу, механіцизму як універсального підходу до всіх природних процесів і явищ.
  4. 2. Поняття онтологічно істинної математики
      Поняття істини в математиці є досить складним. Ми повинні відокремлювати один від одного, принаймні, п'ять значень цього поняття, які так чи інакше використовуються в загальних характеристиках математичного мислення. Це формальна істина, яка тотожна виводимості судження з принципів, семантична істина, бпределяемая через здійснимість принципів даної теорії на об'єктах другий
  5. 106. Як відповідають філософи на питання про те, що є істина?
      Проблема істини є основною для гносеології, оскільки питання про те, що є істина, чи досяжна вона і які її кри геріі, - це питання про пізнаваність світу, про можливості людини отримувати достовірне знання. Категорія істини, так само як і багато інших понять філософії, має різні тлумачення. Найбільшого поширення набула класична концепція істини, яку
  6. 10. Операціональні визначення в геометрії
      Ми бачили, що система математичної геометрії, якщо її належним чином формалізувати, стає незалежною від значень термінів, таких, як прямі лінії і крапки. Тоді вся система може розглядатися як визначення цих термінів з огляду на те, що вона дає всі їх властивості. Аксіома I, наприклад, може бути сформульована таким чином: «Точки» та «прямі лінії» суть такі об'єкти, а
  7. ЛІТЕРАТУРА
      А. Логіка До с. 83-85. Про логіку Аристотеля, крім книги Prantl C. «Geschichte der Logik im Abendlande» I. Abschnitt IV (Лейпциг, 1855), у багатьох відношеннях вичерпне твір Maier H. «Die Syllogistik des Aristoteles» (Тюбінген, 1896-1900), особливо друга частина другої половини «Логічна теорія силогізму і походження аристотелевской логіки». До с. 90 та ін «Подальший розвиток
  8. АЛФАВІТНИЙ ПОКАЖЧИК
      А абстрагування 105, 147, 236 Августин Блаженний 65 Авенаріус Р. 10, 124, 125, 126 агностицизм 28, 36, 37, 38, 39, 43, 56 Айдукевич К. 54, 87, 136 Айер А. 136, 137, 140 аксіологія 13, 130, 265 аксіома 93, 109, 114, 139, 143, 146, 208, 249, 251, 253 аналогія 80, 174, 213, 269 Ансельм Кентерберійський 65 антиномія 38 антропний принцип 212, 227 - 229, 234 антропологія 4 , 12, 13, 17, 18, 26,
  9. 114. Як співвідносяться емпіричний і теоретичний рівні пізнання?
      З питання про співвідношення емпіричного і теоретичного рівнів виділяється позиція емпіризму. Прихильники емпіризму абсолютизируют значення фактів і емпіричних мето дов пізнання в науці. Найбільш чітко лінія емпіризму простежується в позитивізмі першої, другої та третьої хвилі Теоретичне знання, з точки зору позитивістів не має самостійного значення воно виро зводно і повністю залежить
  10. 109. Які проблеми розглядає філософія науки?
      Філософія науки являє собою відносно самостоя тельную галузь філософії Нараду з філософією техніки, фі філософією історії, антропологією та іншими розділами філософії. Головну проблему, яку ставить і досліджує філософія науки, можна сформулювати наступним чином що таке наукове знання, які його структура, підстави, функції, як протікає розвиток науки? Становлення
  11. ПРОБЛЕМА ІНТУЇЦІЇ У ФІЛОСОФІЇ МАТЕМАТИКИ Пуанкаре
      Л віслюку виникнення в XVII столітті нової математики і особливо після того як першокласні вчені приступили до строго логічної виробленні аналізу і протягом XIX в. домоглися в цьому цінних результатів, в математиці (і в логіці) виникла тенденція, багато в чому змінила колишнє - полулогіческое, полуінтуітівное - розуміння математики. Відтепер стали прагнути до того, щоб не тільки довести
  12. Інтуіціонізм і конструктивізм. Математика як створення інтутівно і алгоріфміческі очевидних конструкцій
      Ні актуальної нескінченності. Кантор-анци (послідовники засновника теорії множин Г. Кантора. - В. С.) забули це і впали в протиріччя, А. Пуанкаре. Наука і метод Всіх некласичних математиків об'єднує загальне переконання, що надійність математичних побудов гарантується тільки тоді, коли математика досліджує доступні нашій свідомості кінцеві об'єкти, що допускають кінцеві і
  13. 1. Загальне розуміння проблеми обгрунтування
      Сучасна проблема обгрунтування математики, як уже сказано, зводиться до обгрунтування несуперечності математичних теорій. Природний шлях досягнення прогресу в цьому напрямку полягає в тому, щоб звести питання про несуперечності складних теорій до несуперечності теорій, більш простих і непроблематично в цьому відношенні. Першим суворим міркуванням такого роду, проведеним при
  14. 11. Концепція геометрії XX століття
      Коли близько 1600 розвинулася наука нового часу, то відносно уявлень науки, яка підкреслювала логічні системи термінів, виникало деяка недовіра. Задовго до того, як стали думати про поняття «операциональное-значення», логічні системи, які отримали вираз в середньовічної схоластики, застосовувалися до світу досвіду досить вільно. Думали,-що, сформулювавши логічну
  15. МЕТОДОЛОГІЯ ?
      Розвиток тези Можна розвивати тезу різними способами, які при цьому не виключають один одного: - визначаючи містяться в ньому вираження; - виводячи слідства; - пропонуючи приклади для ілюстрації цієї тези; - відзначаючи твердження, яким він протистоїть, і наводячи приклади, що випливають з цих протистоять тверджень; - вказуючи на ситуації, в яких теза застосовується, і ті,
  16. Прагматизм
      Прагматизм - філософська течія, що виникло в кінці XIX в. та отримало найбільше поширення в США. Своїм народженням прагматизм зобов'язаний діяльності невеликої групи науковців, що збиралися на початку 70-х рр.. ХІХ в. в Кембриджі (штат Массачусетс), названої Пірсом «Метафізичним клубом». У 1871 р. Чарлз Пірс (1839-1914) виступив з доповіддю, що містив основні ідеї прагматизму,
  17. 5.5.2. Західні демократії (1918 -1923 рр..)
      Перехід від війни до миру в країнах Заходу проходив досить складно. У Німеччині, яка пішла шляхом корінної зміни існуючого режиму, протягом ряду років складався республіканський парламентський лад. У країнах-переможницях - Великобританії, Франції й США - соціально-політичний процес протікав в рамках традиційного парламентаризму. Післявоєнна ситуація вимагала відновлення
© 2014-2022  ibib.ltd.ua