Вопросы с тегом «metric-spaces»

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

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

Для заданного набора гиперплоскостей, определяемых нормальными векторами , его типами ячеек (или знаковыми векторами) являются все векторы t ∈ { + , - } m, для которых существует вектор v ∈ R d так , что ⟨ v , ч я ⟩ ≠ 0 и т я = знак ( …

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

В своей работе на семинаре 1999 года «Метрическая модель ФКВ» Мартин Эскардо показал, что можно дать простую интерпретацию ФКП в категории полных ультраметрических пространств и неэкспансивных карт. Он показал, что эта модель является адекватной, и что она может моделировать добавление конструкции тайм-аута (т. Е. Оператора, который будет использовать свой аргумент …

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