Відношення толерантності

Версія від 17:54, 12 січня 2013, створена Іванко1 (обговорення | внесок) (суміш розкладок за допомогою AWB)

Визначення

Відношення толерантності (близькості, подібності) — рефлексивне, симетричние та не транзитивне бінарне відношення.

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

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

Клас толерантності

Якщо T - толерантність на множині   і  ,то підмножина  називається класом толерантності.Класи толерантності утворюють покриття множини  . Якщо дано покриття   множини   ,то відношення   являється толерантністю.Однак класи цієї толерантності не обов'язково повинні співпадати з множиною  . Наприклад,якщо толерантність   являється покриттям  ,де   і  ,то до числа класів толерантності належать об'єднання    класом толерантності не являється. Клас   толерантності   називається максимальним ,якщо  , де   - деякий клас толерантності  ,з чого виходить,що  .Покриття   множини   співпадає з множиною всіх максимальних класів деякої толерантності тоді і тільки тоді,коли для будь-яких   та   включення  ,з чого випливає,що  .

Т-толерантні алгебри, або TR-моделі

Процедура виділення t-розрізнюваних елементів із "реальної" сукупності A принципово неоднозначна: вона породжує сукупності  ,елементи яких можна представити на склеєних аркушах багатолисті поверхні, причому кожен аркуш відповідає якійсь одній можливості виділення . Позначимо через   об'єднання  , що допускає можливість "відклеювання" листів. При цьому елементи  будуть визначатися "з точністю до толерантності t".

T-модель — сукупність   із заданим на ній відношенням толерантності   (позначення:  ), таким, що   і   тягне за собою   для  .


Алгебраїчна система   на носії   з сукупностями головних операцій  і головних предикатів  називається Т-толерантною алгеброю, або TR-моделлю, якщо:

  • алгебра   -замкнута, тобто для будь  -арной операції   і будь-яких  існує елемент  такий, що      (властивість t-замкненості);
  • відношення   - толерантності на будь-якій ;
  • операції   і толерантності   узгоджені (або сумісні) на  , тобто для будь-яких  елементів   таких, що  , виконується   (властивість узгодженості Т з R).

Т-толерантну алгебру називатимемо t-локальною,якщо істинність будь-якого твердження   відносно цієї алгебри не зміниться при зміні довільного   на елемент  такий,що  ,тобто  (властивість t-локальності).

Теорема

Нехай   - t-локальна алгебра.Тоді:

  1.   - t-незв'язана (тобто,для будь-яких  ні при яких   не виконується  ,якщо    являється невірним).
  2. Порядок   дифінітно-скінченний (тобто  .
  3. Толерантний простір  утворює T-модель.
  4. Толерантність t узгоджена з алгеброю  .

Доведення

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

Таким самим способом можна довести друге твердження.Припустимо,що являється невірним  .Тоді це означало б,що для якихось   виконується   та   ,тобто що хоча б 2 елементи   t-розрізнювані в  t-зв'язні та t-нерозрізнювані в  .

Третя властивість випливає безпосередньо з t-локальності толерантної алгебри   ,що можна застосувати до  .

Четверта властивість може бути доведена за допомогою властивостей t-замкненості та t-локальності.Дійсно,якщо   і   ,то,в силу t-замкненості  ,а в силу t-локальності   і  .

Приклади толерантності

Приклад 1

Множина складається з російських слів, що складаються з чотирьох букв — іменників у називному відмінку. Будемо називати такі слова подібними, якщо вони відрізняються не більше ніж на одну букву. Відома задача «Перетворення мухи в слона» в точних термінах формулюється так:

Знайти таку послідовність слів, що починається словом «муха» і закінчується словами «слон», будь-які два сусідніх слова в якій подібні (в сенсі тільки що даного визначення).

Наведемо рішення цієї задачі: «муха» — «мура» — «тура» — «тара» — «кара» — «каре» — «кафе» — «кафр» — «каюр» — «каюк» — «крюк» — «крок» — «срок» — «сток» — «стон» — «слон».

Від схожості до толерантності

Приклад 1

Наприклад, дві нові "Волги" одного випуску і кольору з точки зору покупця цілком однакові і, стало бути, синоніми. Але дві "Волги" різного випуску (або нова і стара "Волги" одного випуску) тільки схожі. При відсутності необхідного вибору одна може замінити іншу, якщо покупець готовий погодитися з подібною заміною.

Приклад 2

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

Пояснення

Якщо для об'єктів зазначено тільки схожість, то неможливо їх розбити на чіткі класи так, що всередині класу об'єкти схожі, а між об'єктами різних класів подібності немає. У разі подібності виникає розмита ситуація без чітких меж.

Кожен елемент множини несе певну інформацію про схожих на нього елементах. Але не всю інформацію), як у випадку однакових елементів. Тут вже немає дилеми: "Все або нічого" або "Повна інформація - відсутність інформації", Тут можливі різні ступені інформації, яку одні елемент містить відносно іншого.

Найвищий ступінь від подібності - непомітність, а зовсім не однаковість, як може здатися на перший погляд. Однаковість - властивість якісно інша. Справа в тому, чю нерозрізнені об'єкти (так само, як і подібні) не розбиваються на класи так, щоб у кожному класі елементи не розрізнялися, а елементи різних класів свідомо розрізнялися.

Справді,візьмемо множину точок на площині. Нехай величина лежить нижче порога разрешимости очі, тобто - Таку відстань, при якому точки, що знаходяться на цій відстані, невиразні візуально (при обраному видаленні площині від спостерігача). Візьмемо тепер точок, що лежать на одній прямій і віддалених (кожна від сусідніх) на відстані. Кожна пара сусідніх точок нерозрізнена, але якщо достатньо велика, то перша і остання точки будуть відстояти один від одного на метр і свідомо будуть помітні. Зрозуміло, однаковість є приватний випадки нерозрізненості і подібності.

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

Так само, як перехід від розпливчастого поняття "однаковість" до точно визначеного тину відношенні супроводжувався запровадженням пового терміну "еквівалентність", математичне відношення, відповідне нашому інтуїтивному уявленню про подібність або нерозрізненості, отримало у Зимана назву "толерантність". Інакше кажучи, толерантність є експлікацією поняття подібності або нерозрізненості.