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

3. Перехід до трансфинитное

Зважаючи на вищесказане про природу нескінченності і понятті множини, стає зрозумілим підхід Кантора до трактування нескінченних множин як кінцевих. Іншими словами, він вважав, що ідентичність безлічі визначається його елементами, тобто нескінченна безліч за аналогією з кінцевим може бути специфіковано нескінченним переліком. Сама ідея нескінченного переліку елементів безлічі представляється вельми важким, і ось тут-то Кантор і використовує реалістичну посилку: цілком можливо, що нездатність мислити нескінченні множини без якоїсь породжує ідеї виявиться просто контингентні людським обмеженням, що ніяк не обмежує ідеї існування множин в деякому уявному просторі. Контингентні явно не місце в платонівському царстві сутностей. Якщо нескінченні безлічі трактуються як кінцеві, то їм можна приписати числа, і вони можуть бути полічені. Але як це зробити? Адже поняття кардинального числа, виведене з ідеї одно-однозначної відповідності, не дає числа об'єктів в інтуїтивному сенсі. Щоб називати їх числами, потрібно порівняння їх, тобто щоб можна було сказати, яке з них більше, а яке менше.

Розглянемо дві множини, А і В. Нехай С є кардинальне число кожного з цих множин, тобто число, що показує їх «розмір». Їх можна порівнювати у відповідності з наступним визначенням:

С (А) <С (В), якщо і тільки якщо, мається підмножина В * множини В таке, що С (В *) = С (А).

Таким чином можна ввести відношення порядку серед множин. Але для того щоб знати, що це визначає навіть частковий порядок, необхідно знати, що

С (А) <С (В) & С (В) <С (А) => С (А) = С (В).

Це теорема Шредера - Бернштейна, згідно з якою якщо є підмножина В * множини В таке, що існує одне-однозначна відповідність між А і В *, і існує підмножина А * множини А таке, що існує одне -однозначна відповідність В і А *, тоді існує одно-однозначна відповідність між А і В.

Для кінцевих множин ця процедура порівняння множин інтуїтивно зрозуміла, але у випадку нескінченних множин виникають проблеми. Дійсно, розглянемо загальний випадок порівняння двох множин А і В.

Нехай дано дві множини Aw. В. Тоді є чотири комбінаторні можливості:

1) З (А) = С (В); 2) С (А) <С (В); 3) С (А)> С (В); 4) АІВ непорівнянні щодо кардинальності.

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

Для загальної трактування кінцевих і нескінченних множин слід ввести визначення, яке підходило б для тих і інших. Або ж слід показати, що закони для трансфінітних чисел не суперечать законам для кінцевих чисел. Але треба відразу зауважити, що кардинальні числа для нескінченних множин (далі, просто кардинальні числа) мають особливу арифметику, на якій ми тут не зупиняємося. У дусі прийнятої Кантором посилки ця арифметика дозволяє висловити співвідношення між кардинальним числом даної множини ^ і його безліччю-ступенем Р (А), тому що мається одно-однозначна відповідність між підмножинами А і безліччю всіх функцій / від А до безлічі з двох елементів {0 , 1}, де кожна підмножина розглядається як ті елементи з А, для яких / приймає значення 1. Звідси випливає, що кардинальне число безлічі-мірою від безлічі А одно 2, зведеному в ступінь кардинального числа Л. Іншими словами,

С (Р (А)) = С (2А) = 2С (А).

На підставі вже встановлених результатів можна бачити деякі співвідношення у світі трансфінітних чисел. Кардинальне число точок на лінії є те ж саме, що кардинальне число безлічі дійсних чисел в інтервалі (О, 1). Далі, кардинальне число безлічі дійсних чисел в інтервалі (0, 1) одно кардинального числа безлічі-ступеня безлічі натуральних чисел P (N). Але тоді число точок на лінії одно C (P (N)) = 2 * °. Виникає питання, в якому співвідношенні перебувають поняття безперервної лінії і її точок, що розглядаються як множини. Це підводить нас до розгляду співвідношення безперервного і дискретного.

« Попередня Наступна »
= Перейти до змісту підручника =
Інформація, релевантна " 3. Перехід до трансфинитное "
  1. Предметний покажчик
    Аксіома - нескінченності 168-170, 175, 180 - вибору 123, 168, 169, 176-178, 197, 206, 215 - виділення 123, 180 - безперервності 156 - об'єктивності 180 - рівності 203 - сводимости 168 - трансфинитное 203 - фундування 221, 223 - числа 203 Абсолютна істина 98, 101 Аналітичність - логіки 102, 103, 107 - математики 52 Апріорність 42 - 61 - категорій 42-61 - логіки 102
  2. 5. Про підхід П.С. Новикова
    Основна методологічна установка П.С. Новикова полягала в тому, що обгрунтування математичної теорії може бути досягнуто тільки в рамках її конструктивного уявлення. Він вважав, проте, що брауеровскій інтуіціонізм невиправдано затиснутий финитной установкою, яка обмежує сферу прийнятних об'єктів. Ідея Новикова полягала в тому, щоб створити умови для введення нескінченних об'єктів
  3. Формалізм. Математика як створення формально несуперечливих конструкцій
    Треба погодитися, що стан, в якому ми знаходимося зараз відносно парадоксів, на тривалий час нестерпно. Подумайте; в математиці - цьому зразку достовірності та істинності - утворення понять і хід умовиводів, як їх всякий вивчає, викладає і застосовує; призводять до безглуздостей. Де ж шукати надійність і істинність, якщо навіть саме математичне мислення дає осічку? Д.
  4. МНОЖИНИ
    У цій главі йдеться про теорії множин Кантора, яка народилася в останній чверті XIX в. Незважаючи на те, що ця теорія давно стала класичною, становлять інтерес ті її аспекти, які описують основні ідеї, що призвели до теорії. Подання цих ідей здійснено у формі наративу про нескінченність, де показується, що логіка нескінченності Кантора розвивалася поступово. Наприклад,
  5. 4. Вихід за межі фінітізма
    Ми виходимо тут з тотожності онтологічної істинності і об-грунтовної значущості математичних суджень ^ припускаємо, що всяка надійна метатеорія міститься в системі онтологічно істинної математики, і всяка онтологічно справжня система принципів може виступати в якості бази абсолютного і гранично надійного обгрунтування математичної теорії. Визначення метатеоріі в рамках
  6. 6. Континуум-гіпотеза
    Теорія Кантора, вирішивши величезну частину проблем, пов'язаних з розумінням нескінченності, разом з тим поставила проблеми, які досі перебувають у центрі уваги філософів і математиків. Така ситуація досить типова для науки, оскільки кожна нова теорія ставить нові невирішені проблеми. Філософська проблема полягає в тому, що нові проблеми можуть виявитися або псевдопроблемами, або
  7. Аксіома заміщення
    Якщо а є безліч і F (х, у) є цілком певне безліч в мові Цермело - Френкеля, яке асоціює з кожним елементом х безлічі а єдиний елемент х *, тоді є безліч а *, чиї елементи є якраз ті безлічі х *, які асоціюються формулою F (х, j>) з елементами а: Vx \ Уу [у є х => 3z (F (y, z) & Vw (F (y, w) w = z))] => = »Vv VM [u Є v 3t {t є x & F {t , і))]].
  8. Класи і парадокси
    Всі колишні визначення та висновки не виходять за межі основних результатів Фреге. Проблематика, специфічна для філософії математики Рассела, починається з спроби більш точного дослідження поняття нескінченного класу і вирішення пов'язаних з ним парадоксів. Попереднім кроком на цьому став аналіз проблеми логічного пояснення нескінченних (трансфінітних) чи-сів, а разом з ними і
  9. Криза математики на початку XX століття
    Цієї точки зору (про законність існування абсолютної нескінченності. - В. С.), яку я вважаю єдино правильною, дотримуються лише деякі. Бути може, я за часом перший, що захищає її з повною визначеністю з усіма наслідками, але одне я знаю твердо: я не буду її останнім захисником. Г. Кантор. Про різні точках зору на актуально нескінченне Подією, яка, по
  10. Завдання 8: Обмежити та узагальнити поняття:
    Теорія: Обмеження - перехід від даного родового до видового. Узагальнення - перехід від даного видового до родового. Приклад: «юридична особа». Рішення: Обмеження - «іноземна юридична особа». Узагальнення -
© 2014-2022  ibib.ltd.ua