Запитання з тегом «metric-spaces»

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

15 reference-request  lo.logic  pl.programming-languages  denotational-semantics  metric-spaces 

Враховуючи набір гіперпланів, визначених нормальними векторами , його типи комірок (або знакові вектори) - це всі вектори для яких існує вектор так що і виконується для всіх . Тут позначає внутрішній добуток, а позначає знак ( або ) ненульового реального числа .год1, … , Годм∈ Rггод1,…,годм∈Rгh_1,\dots,h_m \in \mathbf R^d v …

11 co.combinatorics  cg.comp-geom  computational-geometry  metric-spaces 

У своєму доробковому документі 1999 року "Метрична модель PCF" Мартін Ескардо показав, що можна дати просту інтерпретацію PCF у категорії повних ультраметричних просторів та нерозширених карт. Він показав, що ця модель є адекватною, і що вона може моделювати додавання конструкції таймауту (тобто оператора, який би запускав свій аргумент за деяку …

11 pl.programming-languages  denotational-semantics  metric-spaces