Metrization, paracompactness, and real-valued functions II
نویسندگان
چکیده
منابع مشابه
Pointfree topology version of image of real-valued continuous functions
Let $ { mathcal{R}} L$ be the ring of real-valued continuous functions on a frame $L$ as the pointfree version of $C(X)$, the ring of all real-valued continuous functions on a topological space $X$. Since $C_c(X)$ is the largest subring of $C(X)$ whose elements have countable image, this motivates us to present the pointfree version of $C_c(X).$The main aim of this paper is to present t...
متن کاملThe ring of real-valued functions on a frame
In this paper, we define and study the notion of the real-valued functions on a frame $L$. We show that $F(L) $, consisting of all frame homomorphisms from the power set of $mathbb{R}$ to a frame $ L$, is an $f$-ring, as a generalization of all functions from a set $X$ into $mathbb R$. Also, we show that $F(L) $ is isomorphic to a sub-$f$-ring of $mathcal{R}(L)$, the ring of real-valued continu...
متن کاملReal-valued Functions on Flows
We develop the flow analog of the classical Yosida adjunction between spaces and archimedean lattice-ordered groups with strong unit. A product of this development is the flow counterpart of the classical compactification of a space. We characterize those flows which are compactifiable, i.e., dense subflows of a compact flow. Finally, we exhibit a duality between the compactifications of a give...
متن کاملEfficiently Approximable Real-Valued Functions
We define a class, denoted APP, of real-valued functions f : {0, 1}n → [0, 1] such that f can be approximated to within any > 0 by a probabilistic Turing machine running in time poly(n, 1/ ). The class APP can be viewed as a generalization of BPP. We argue that APP is more natural and more important than BPP, and that most results about BPP are better stated as results about APP. We show that A...
متن کاملCompletely Normal Frames and Real-valued Functions
Up to now point-free insertion results have been obtained only for semicontinuous real functions. Notably, there is now available a setting for dealing with arbitrary, not necessarily (semi-)continuous, point-free real functions, due to Gutiérrez Garćıa, Kubiak and Picado, that gives point-free topology the freedom to deal with general real functions only available before to point-set topology....
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Fundamenta Mathematicae
سال: 1979
ISSN: 0016-2736,1730-6329
DOI: 10.4064/fm-104-1-13-20