Pytania otagowane jako metric-spaces

1
Stałe twierdzenia punktowe dla konstruktywnych przestrzeni metrycznych?
Twierdzenie Banacha o punkcie stałym mówi, że jeśli mamy niepustą pełną przestrzeń metryczną AZAA , wówczas każda jednorodnie kurcząca się funkcja ma unikalny punkt stały . Jednak dowód tego twierdzenia wymaga aksjomatu wyboru - musimy wybrać dowolny element aby rozpocząć iterację , aby uzyskać sekwencję Cauchyego . μ ( f …
1
Oblicz najniższy wymiarowy polytop z danego zestawu wektorów znakowych
Biorąc pod uwagę zestaw hiperpłaszczyzn określonych przez wektory normalne , wszystkie typy komórek (lub wektory znakowe) to wszystkie wektory t ∈ { + , - } m, dla których istnieje wektor tak, że i dla wszystkich . W tym przypadku oznacza wewnętrzny produkt, a oznacza znak ( lubh1,…,hm∈Rdh1,…,hm∈Rdh_1,\dots,h_m \in \mathbf …
1
Czy semantyczna metryka Escardó dla limitów czasu PCF + jest w pełni abstrakcyjna?
W swoim artykule warsztatowym z 1999 r. „Metryczny model PCF” Martín Escardó wykazał, że można podać prostą interpretację PCF w kategorii kompletnych przestrzeni ultradźwiękowych i nie ekspansywnych map. Pokazał, że ten model jest odpowiedni i że może modelować dodanie konstrukcji limitu czasu (tj. Operatora, który uruchomiłby swój argument dla pewnej …
Korzystając z naszej strony potwierdzasz, że przeczytałeś(-aś) i rozumiesz nasze zasady używania plików cookie i zasady ochrony prywatności.
Licensed under cc by-sa 3.0 with attribution required.