«metric-spaces» etiketlenmiş sorular

Banach'ın sabit nokta teoremi, boş olmayan bir tam metrik uzay sahipsek , o zaman eşit bir büzülme fonksiyonunun benzersiz bir sabit noktası olduğunu söyler . Bununla birlikte, bu teoremin kanıtı, seçim aksiyomunu gerektirir - Cauchy dizisini almak için yinelemeye başlamak için da keyfi bir eleman seçmemiz gerekir. . f : …

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

içindeki normal vektörleri tarafından belirlenen bir dizi hiperplan verildiğinde , hücre tipleri (veya işaret vektörleri) bunların hepsi olan vektörleridir. bir vektör var böylece ve tüm tutar . Burada iç çarpımı belirtir ve sıfır olmayan gerçek sayı işaretini ( veya ) belirtir .h1,…,hm∈Rdh1,…,hm∈Rdh_1,\dots,h_m \in \mathbf R^dt∈{+,−}mt∈{+,−}mt\in\{+,-\}^mv∈Rdv∈Rdv\in\mathbf R^d⟨v,hi⟩≠0⟨v,hi⟩≠0\langle v,h_i \rangle \neq 0ti=sign(⟨v,hi⟩)ti=sign(⟨v,hi⟩)t_i …

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

1999 tarihli "PCF Metrik Modeli" çalıştayında Martín Escardó, PCF'nin tam ultrametrik uzaylar ve genişlemeyen haritalar kategorisinde basit bir yorumunun mümkün olduğunu gösterdi. Bu modelin yeterli olduğunu ve bir zaman aşımı yapısının (yani, sınırlı sayıda adım için argümanını çalıştıracak bir operatör ekleyebileceğini ve içinde sonlandırılamazsa bir cevap verebileceğini veya bir hata …

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