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

This paper studies the problem of sequence-to-sequence alignment, namely establishing correspondences in time and in space between two di erent video sequences of the same dynamic scene. The sequences are recorded by uncalibrated video cameras, which are either stationary or jointly moving, with xed (but unknown) internal parameters and relative inter-camera external parameters. Temporal variat...

motivating the perturbations of frames in hilbert and banach spaces, in this paper we introduce the invariance of fr'echet frames under perturbation. also we show that for any fr'echet spaces, there is a fr'echet frame and any element in these spaces  has a series expansion.

This paper deals with the algebra F(L) of real functions of a frame L and its subclasses LSC(L) and USC(L) of, respectively, lower and upper semicontinuous real functions. It is well-known that F(L) is a lattice-ordered ring; this paper presents explicit formulas for its algebraic operations which allow to conclude about their behaviour in LSC(L) and USC(L). As applications, idempotent function...

A Banaschewski function on a bounded lattice L is an antitone self-map of L that picks a complement for each element of L. We prove a set of results that include the following: • Every countable complemented modular lattice has a Banaschewski function with Boolean range, the latter being unique up to isomorphism. • Every (not necessarily unital) countable von Neumann regular ring R has a map ε ...

In this note we investigate the operators associated with frame sequences in a Hilbert space H, i.e., the synthesis operator T : l (N) → H , the analysis operator T ∗ : H → l (N) and the associated frame operator S = TT ∗ as operators defined on (or to) the whole space rather than on subspaces. Furthermore, the projection P onto the range of T , the projection Q onto the range of T ∗ and the Gr...

This paper introduces a new approach to the theory of Ω-categories enriched by a frame. The approach combines ideas from various areas such as generalized ultrametric domains, Ω-categories, constructive analysis, and fuzzy mathematics. As the basic framework, we use the Wagner’s Ω-category [18,19] with a frame instead of a quantale with unit. The objects and morphisms in the category will be ca...

Let 1 p 1 and = (1 ; : : : ; r) T be a vector-valued compactly supported L p function on R d. Deene V p (() = n P r i=1 P j2Z d d i (j) i (? j) : (d i (j)) j2Z d 2 ` p ; 1 i r o : In this paper, we consider the p-frame property of the space V p (() with being compactly supported function in L p \ L p=(p?1). Moreover, for the one-dimensional case, we show that if f i (? j) : 1 i r; j 2 Zg is a p...

Classically, a Tychonoff space is called strongly 0-dimensional if its Stone-Čech compactification is 0-dimensional, and given the familiar relationship between spaces and frames it is then natural to call a completely regular frame strongly 0-dimensional if its compact completely regular coreflection is 0-dimensional (meaning: is generated by its complemented elements). Indeed, it is then seen...

Classically, a Tychonoff space is called strongly 0-dimensional if its Stone-Čech compactification is 0-dimensional, and given the familiar relationship between spaces and frames it is then natural to call a completely regular frame strongly 0-dimensional if its compact completely regular coreflection is 0-dimensional (meaning: is generated by its complemented elements). Indeed, it is then seen...