(Received) We study the Weyl closure Cl(L) = K(x)h@iL \ D for an operator L of the rst Weyl algebra D = Khx;@i. We give an algorithm to compute Cl(L) and we describe its initial ideal under the order ltration. Our main application is an algorithm for constructing a Jordan-HH older series for a holonomic D-module and a formula for its length. Using the closure, we also reproduce a result of Strr...

We show that the Scott topology induces a topology for real-valued Lipschitz maps on Banach spaces which we call the L-topology. It is the weakest topology with respect to which the L-derivative operator, as a second order functional on the space of Lipschitz maps into the domain of non-empty, convex and weak*-compact valued functions ordered by reverse inclusion, is continuous. For finite dime...

Let N be a ...nite set. By a closure space we mean the family of the closed sets of a closure operator on 2 satisfying the additional condition ; = ;. A simple game on a closure space L is a function v : L ! f0; 1g such that v(;) = 0 and v (N) = 1. We assume simple games are monotonic. The coalitions are the closed sets of L and the players are the elements i 2 N . We will give results concerni...

‎In this paper‎, ‎we generalize the proximal point algorithm to complete CAT(0) spaces and show‎ ‎that the sequence generated by the proximal point algorithm‎ $w$-converges to a zero of the maximal‎ ‎monotone operator‎. ‎Also‎, ‎we prove that if $f‎: ‎Xrightarrow‎ ‎]-infty‎, +‎infty]$ is a proper‎, ‎convex and lower semicontinuous‎ ‎function on the complete CAT(0) space $X$‎, ‎then the proximal...

Via the introduction of (infinitary) disjunctions on any complete lattice while inheriting the meet as a conjunction, we construct a bijective correspondence (up to isomorphism) between complete lattices L and complete Heyting algebras DI(L) equipped with a so called disjunctive join dense closure operator RL. If L is itself a complete Heyting algebra then DI(L) ∼= L and RL = idDI(L). Ortholatt...

The notion of B-convexity for operator spaces, which a priori depends on a set of parameters indexed by Σ, is defined. Some of the classical characterizations of this geometric notion for Banach spaces are studied in this new context. For instance, an operator space is BΣ-convex if and only if it has Σ-subtype. The class of uniformly non-L(Σ) operator spaces, which is also the class of BΣ-conve...

In the paper, authors propose the concepts of operator extended s-convex function and operator extended s-convex on the co-ordinates, and establish some new HermiteHadamard type inequalities for operator extended s-convex functions and operator extended s-convex functions on the co-ordinates.

A language L is prefix-convex if, whenever words u and w are in L with u a prefix of w, then every word v which has u as a prefix and is a prefix of w is also in L. Similarly, we define suffix-, factor-, and subword-convex languages, where by subword we mean subsequence. Together, these languages constitute the class of convex languages which contains interesting subclasses, such as ideals, clo...