Als «metric-spaces» getaggte Fragen

1
Fixpunktsätze für konstruktive metrische Räume?
Banachs Fixpunktsatz besagt, dass, wenn wir einen nicht leeren vollständigen metrischen Raum AEINA , jede gleichmäßig kontrahierende Funktion f:A→Af:EIN→EINf : A \to A einen eindeutigen Fixpunkt μ(f)μ(f)\mu(f) . Der Beweis dieses Theorems erfordert jedoch das Axiom der Wahl - wir müssen ein beliebiges Element wählen a∈Aein∈EINa \in A, um mit …
1
Ist die Metriksemantik von Escardó für PCF + -Zeitüberschreitungen vollständig abstrakt?
In seiner Werkstattarbeit "Ein metrisches Modell der PCF" von 1999 zeigte Martín Escardó, dass es möglich ist, PCF in der Kategorie der vollständigen ultrametrischen Räume und nicht expansiven Karten einfach zu interpretieren. Er zeigte, dass dieses Modell angemessen war und dass es die Hinzufügung eines Timeout-Konstrukts modellieren konnte (dh eines …
Durch die Nutzung unserer Website bestätigen Sie, dass Sie unsere Cookie-Richtlinie und Datenschutzrichtlinie gelesen und verstanden haben.
Licensed under cc by-sa 3.0 with attribution required.