Als «metric-spaces» getaggte Fragen

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...

Berechnen Sie das Polytop mit der niedrigsten Dimension aus einem bestimmten Satz von Vorzeichenvektoren

Bei einer Menge von Hyperebenen, die durch die Normalenvektoren , sind ihre Zelltypen (oder Vorzeichenvektoren) alle Vektoren t ∈ { + , - } m, für die ein Vektor v ∈ R d existiert so daß ⟨ v , h i ⟩ & ne; 0 und t i = sign ( ⟨ v , h i ⟩ )h1, … , H.m∈ R.dh1,…,hm∈Rdh_1,\dots,h_m \in \mathbf R^dt ∈...