Related papers: Order ideals in order smooth $p$-normed spaces
A semiring is uniserial if its ideals are totally ordered by inclusion. First, we show that a semiring $S$ is uniserial if and only if the matrix semiring $M_n(S)$ is uniserial. As a generalization of valuation semirings, we also…
A coarse space $X$, endowed with a linear order compatible with the coarse structure of $X$, is called linearly ordered. We prove that every linearly ordered coarse space $X$ is locally convex and the asymptotic dimension of $X$ is either…
Given an ordered structure, we study a natural way to extend the order to preorders on type spaces. For definably complete, linearly ordered structures, we give a characterisation of the preorder on the space of 1-types. We apply these…
We define a scheme for labelling and ordering integral ideals of number fields, including prime ideals as a special case. The order we define depends only on the choice of a monic irreducible integral defining polynomial for each field $K$,…
The stratum St(J,<) (the homogeneous stratum Sth(J,<) respectively) of a monomial ideal J in a polynomial ring R is the family of all (homogeneous) ideals of R whose initial ideal with respect to the term order < is J. St(J,<) and Sth(J,<)…
We study the problem of totally smooth renormings of Banach spaces and provide such renormings for spaces which are weakly compactly generated. We also consider renormings for $(a,B,c)$-ideals.
We prove a compactness criterion in $L^p({\mu},X)$: a subset of $L^p({\mu},X)$ is relatively norm compact iff the set of integrals of its functions over any measurable set is relatively norm compact, it satisfies the Fr\'echet oscillation…
Rapoport-Zink spaces are deformation spaces for $p$-divisible groups with additional structure. At infinite level, they become preperfectoid spaces. Let $\mathscr{M}_{\infty}$ be an infinite-level Rapoport-Zink space of EL type, and let…
We prove that a subspace of a real JBW$^*$-triple is an $M$-summand if and only if it is a weak$^*$-closed triple ideal. As a consequence, $M$-ideals of real JB$^*$-triples correspond to norm-closed triple ideals. As in the setting of…
The article deals with the mixed modulus of smoothness of positive order and the best approximation by ''angle'' of functions from the Lorentz space $L_{p, \tau}(\mathbb{T}^{m})$. The properties of the mixed modulus of smoothness, the sharp…
We show that an element $w$ of a finite Weyl group $W$ is rationally smooth if and only if the hyperplane arrangement $I$ associated to the inversion set of $w$ is inductively free, and the product $(d_1+1) \cdots (d_l+1)$ of the…
An ordered semiring is a commutative semiring equipped with a compatible preorder. Ordered semirings generalise both distributive lattices and commutative rings, and provide a convenient framework to unify certain aspects of lattice theory…
For each ordinal $\xi$ and each $1<p<\infty$, we offer a natural, ismorphic characterization of those spaces and operators which admit an equivalent $\xi$-$p$-asymptotically uniformly smooth norm. We also introduce the notion of…
We study the set of monomial ideals in a polynomial ring as an ordered set, with the ordering given by reverse inclusion. We give a short proof of the fact that every antichain of monomial ideals is finite. Then we investigate ordinal…
For a simple complete ideal $\wp$ of a local ring at a closed point on a smooth complex algebraic surface, we introduce an algebraic object, named Poincar\'e series $P_{\wp}$, that gathers in an unified way the jumping numbers and the…
Let (X,d,p) be a pointed metric space. A pretangent space to X at p is a metric space consisting of some equivalence classes of convergent to p sequences (x_n), x_n \in X, whose degree of convergence is comparable with a given scaling…
Let $1 \leq p <\infty$. A sequence $\lef x_n \rig$ in a Banach space $X$ is defined to be $p$-operator summable if for each $\lef f_n \rig \in l^{w^*}_p(X^*)$, we have $\lef \lef f_n(x_k)\rig_k \rig_n \in l^s_p(l_p)$. Every norm…
The aim of this work is to study the first order Dirac-Sobolev spaces in $L^p$ norm on an open subset of ${\mathbb R}^3$ to clarify its relationship with the corresponding Sobolev spaces. It is shown that for $1< p <\infty$, they coincide,…
We introduce a very natural topology on the set of total orderings of monomials of any algebra having a countable basis over a field. This topological space and some notable subspaces are compact. This topological framework allows us to…
We consider spline functions over simplicial meshes in $\RR^n$. We assume that the spline pieces join together with some finite order of smoothness but the pieces themselves are infinitely smooth. Such splines can have extra orders of…