metric-spaces पर टैग किए गए जवाब

बानाच के निश्चित बिंदु प्रमेय में कहा गया है कि यदि हमारे पास एक गैर-रिक्त पूर्ण मीट्रिक स्थान AAA , तो कोई समान रूप से संकुचनशील कार्य f:A→Af:A→Af : A \to A में एक विशिष्ट निश्चित बिंदु μ(f)μ(f)\mu(f) । हालांकि, इस प्रमेय का सबूत पसंद का स्वयंसिद्ध की आवश्यकता है …

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

यह देखते हुए hyperplanes का एक सेट सामान्य वैक्टर द्वारा निर्धारित किया , अपने प्रकार की कोशिकाओं (या संकेत वैक्टर) सभी वैक्टर हैं टी ∈ { + , - } मीटर जिसके लिए एक वेक्टर वहां मौजूद वी ∈ आर डी ताकि ⟨ वी , ज मैं ⟩ ≠ 0 …

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

अपने 1999 के वर्कशॉप पेपर "ए मेट्रिक मॉडल ऑफ पीसीएफ" में , मार्टिन एस्कार्डो ने दिखाया कि पूर्ण अल्ट्रामेट्रिक स्पेस और नोक्सपैंसिव मैप्स की श्रेणी में पीसीएफ की सरल व्याख्या देना संभव है। उसने दिखाया कि यह मॉडल पर्याप्त था, और यह टाइमआउट निर्माण के अलावा मॉडल बना सकता है …

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