We introduce partial dcpo’s and show their some applications. A partial dcpo is a poset associated with a designated collection of directed subsets. We prove that (i) the dcpo-completion of every partial dcpo exists; (ii) for certain spaces X, the corresponding partial dcpo’s of continuous real valued functions on X are continuous partial dcpos; (iii) if a space X is Hausdorff compact, the latt...

Let $(X,d)$ be a compactmetric space and let $K$ be a nonempty compact subset of $X$. Let $alpha in (0, 1]$ and let ${rm Lip}(X,K,d^ alpha)$ denote the Banach algebra of all  continuous complex-valued functions $f$ on$X$ for which$$p_{(K,d^alpha)}(f)=sup{frac{|f(x)-f(y)|}{d^alpha(x,y)} : x,yin K , xneq y}

The purpose of this note is to compare the rings of continuous functions, integer-valued or real-valued, in pointfree topology with those in classical topology. To this end, it first characterizes the Boolean frames (= complete Boolean algebras) whose function rings are isomorphic to a classical one and then employs this to exhibit a large class of frames for which the functions rings are not o...

Although prox-regular functions in general are nonconvex, they possess properties that one would expect to find in convex or lowerC2  functions. The class of prox-regular functions covers all convex functions, lower C2  functions and strongly amenable functions. At first, these functions have been identified in finite dimension using proximal subdifferential. Then, the definition of prox-regula...