Perguntas com a marcação «metric-spaces»

O teorema do ponto fixo de Banach diz que, se tivermos um espaço métrico completo não vazio AUMAA , qualquer função uniformemente contrativa possui um ponto fixo único . No entanto, a prova desse teorema requer o axioma da escolha - precisamos escolher um elemento arbitrário para iniciar a iteração …

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

Dado um conjunto de hiperplanos determinado pelos vetores normais , seus tipos de células (ou vetores de sinais) são todos vetores t ∈ { + , - } m para os quais existe um vetor v ∈ R d de modo que ⟨ v , h i ⟩ ≠ 0 …

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

Em seu artigo de oficina de 1999 "Um modelo métrico do PCF" , Martín Escardó mostrou que é possível dar uma interpretação simples do PCF na categoria de espaços ultramétricos completos e mapas não expansivos. Ele mostrou que esse modelo era adequado e que poderia modelar a adição de uma …

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