Pertanyaan yang diberi tag «metric-spaces»

Teorema titik tetap Banach mengatakan bahwa jika kita memiliki ruang metrik kosong yang tidak kosong , maka fungsi kontraktual yang seragam memiliki titik tetap unik . Namun, bukti teorema ini membutuhkan aksioma pilihan - kita perlu memilih elemen yang sewenang-wenang untuk memulai iterasi dari, untuk mendapatkan Cauchy urutan . f …

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

Diberikan satu set pesawat terbang yang ditentukan oleh vektor normal , tipe selnya (atau tanda vektor) adalah semua vektor t ∈ { + , - } m yang terdapat vektor v ∈ R d sehingga ⟨ v , h i ⟩ ≠ 0 dan t i = tanda ( ⟨ …

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

Dalam makalah lokakarya tahun 1999 "Model Metrik PCF" , Martín Escardó menunjukkan bahwa adalah mungkin untuk memberikan interpretasi sederhana PCF dalam kategori ruang ultrametrik lengkap dan peta non-luas. Dia menunjukkan bahwa model ini memadai, dan dapat memodelkan penambahan konstruk batas waktu (yaitu, operator yang akan menjalankan argumennya untuk sejumlah langkah …

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