The resolvent operator approach is applied to address a system of generalized ordered variational inclusions with ⊕ operator in real ordered Banach space. With the help of the resolvent operator technique, Li et al. (J. Inequal. Appl. 2013:514, 2013; Fixed Point Theory Appl. 2014:122, 2014; Fixed Point Theory Appl. 2014:146, 2014; Appl. Math. Lett. 25:1384-1388, 2012; Fixed Point Theory Appl. 2...

and Applied Analysis 3 Lemma 3. Let (X; ≽) be a Banach lattice. Then the positive coneX is weakly closed. Proof. It is clear that the positive coneX of the Banach lattice X is convex. We have mentioned that the positive coneX of the Banach latticeX is norm closed. ApplyingMazur’s lemma (see [12] or [15]), we have in a Banach space, a convex set is norm closed if and only if it is weakly closed....

We show that for logics that capture DSPACE(log n) over ordered structures, and for recursive probability distributions on the class of nite models of the signature, the 0{1 law and the convergence law hold if and only if certain boundedness conditions are satissed. As one of the applications , we consider the conjecture of Kolaitis and Vardi, stating that for arbitrary probability distribution...

1.1. Normed spaces. Recall that a (real) vector space V is called a normed space if there exists a function ‖ · ‖ : V → R such that (1) ‖f‖ ≥ 0 for all f ∈ V and ‖f‖ = 0 if and only if f = 0. (2) ‖af‖ = |a| ‖f‖ for all f ∈ V and all scalars a. (3) (Triangle inequality) ‖f + g‖ ≤ ‖f ||+ ‖g‖ for all f, g ∈ V . If V is a normed space, then d(f, g) = ‖f−g‖ defines a metric on V . Convergence w.r.t ...

Huang and Zhang cite{Huang} have introduced the concept of cone metric space where the set of real numbers is replaced by an ordered Banach space. Shojaei cite{shojaei} has obtained points of coincidence and common fixed points for s-Contraction mappings which satisfy generalized contractive type conditions in a complete cone metric space.In this paper, the notion of complete cone metric ...

The authors use techniques and results from the theory of generalized metric spaces to give a new, short proof that every connected, linearly ordered topological space that is a cancellative topological semigroup is metrizable, and hence embeddable in R. They also prove that every separable, linearly ordered topological space that is a cancellative topological semigroup is metrizable, so embedd...

Engineering analysis often involves the accurate numerical solution of boundary value problems in discrete form. Hierarchical quadtree (or octree) grid generation offers an efficient method for the spatial discretisation of arbitrary-shaped two- (or three-) dimensional domains. It consists of recursive algebraic splitting of sub-domains into quadrants (or cubes), leading to an ordered hierarchi...

Fuzzy set theory has entered into a large variety of disciplines of sciences,technology and humanities having established itself as an extremely versatileinterdisciplinary research area. Accordingly different notions of fuzzystructure have been developed such as fuzzy normed linear space, fuzzytopological vector space, fuzzy sequence space etc. While reviewing theliterature in fuzzy sequence sp...

The notion of stratified (L, M)-semiuniform convergence tower spaces is introduced, which extends the notions ofprobabilistic semiuniform convergence spaces and lattice-valued semiuniform convergence spaces. The resulting categoryis shown to be a strong topological universe. Besides, the relations between our category and that of stratified (L, M)-filter tower spaces are studied.