Related papers: Characterisation of equivalent norms on a linear s…

Given a logic presented in a sequent calculus, a natural question is that of equivalence of proofs: to determine whether two given proofs are equated by any denotational semantics, ie any categorical interpretation of the logic compatible…

An equilateral dimension of a normed space is a maximal number of pairwise equidistant points of this space. The aim of this paper is to study the equilateral dimension of certain classes of finite dimensional normed spaces. The well-known…

Mathematical notation makes up a large portion of STEM literature, yet finding semantic representations for formulae remains a challenging problem. Because mathematical notation is precise, and its meaning changes significantly with small…

Let $H$ be an infinite-dimensional complex Hilbert space and let ${\mathcal G}_{\infty}(H)$ be the set of all closed subspaces of $H$ whose dimension and codimension both are infinite. We investigate (not necessarily surjective)…

We consider the approximation properties of finite element spaces on quadrilateral meshes. The finite element spaces are constructed starting with a given finite dimensional space of functions on a square reference element, which is then…

In the recent paper \cite{Hos}, surjective isometries, not necessarily linear, $T: {\rm AC}(X,E) \longrightarrow {\rm AC}(Y,F)$ between vector-valued absolutely continuous functions on compact subsets $X$ and $Y$ of the real line, has been…

In this paper, we study geodesics and geodesic vectors for homogeneous exponential Finsler space and homogeneous infinite series Finsler space. Further, we find necessary and sufficient condition for a non-zero vector in these homogeneous…

We prove that a region in a two-dimensional affine subspace of a normed space $V$ has the least 2-dimensional Hausdorff measure among all compact surfaces with the same boundary. Furthermore, the 2-dimensional Hausdorff area density admits…

In this paper, we extend the definition of qx-asymptotic function, for extended real-valued function that define on an infinite dimensional topological normed space without lower semicontinuity or quasi-convexity condition. As the main…

Determination of linear combination of exponential functions with unknown rate constants from its sampled values is a problem of considerable interest. Here we present a constructive and explicit solution to this problem. Moments of such…

Let $H$ be a reflexive, dense, separable, infinite dimensional complex Hilbert space and let $B(H)$ be the algebra of all bounded linear operators on $H$. In this paper, we carry out characterizations of norm-attainable operators in normed…

Let $V$ be a real or complex vector space. The finite topology of $V$ consists of all the subsets $U$ for which the intersection $U \cap F$ is closed in $F$ for every finite-dimensional linear subspace of $V$. It is known that if $V$ has…

Let $X$ be a possibly non-reduced space of pure dimension. We introduce an essentially intrinsic pointwise Hermitian norm on smooth $(0,*)$-forms, in particular on holomorphic functions, on $X$. We prove that the space of holomorphic…

We prove the following vanishing theorem. Let M be an irreducible symmetric space of noncompact type whose dimension exceeds 2 and $M\ne SO_0(2,2)/SO(2)\tm SO(2).$ Let E be any vector bundle over M, Then any E-valued $L^2$ harmonic 1-form…

The aim of this paper is to present a survey of some recent results obtained in the study of spaces with asymmetric norm. The presentation follows the ideas from the theory of normed spaces (topology, continuous linear operators, continuous…

It has recently been proved that the category of N-manifolds of degree $n$, that is, $\mathbb N$-graded supermanifolds of degree $n$ for which the parity agrees with the gradation, is equivalent to the category of purely even $n$-tuple…

We prove trace theorems for weighted mixed norm Sobolev spaces in the upper-half space where the weight is a power function of the vertical variable. The results show the differentiability order of the trace functions depends only on the…

Distributional semantics creates vector-space representations that capture many forms of semantic similarity, but their relation to semantic entailment has been less clear. We propose a vector-space model which provides a formal foundation…

We generalize the notion of S-equivalence, previously defined for semistable vector bundles, to points in arbitrary algebraic stacks and use it to describe the identification of points when passing to the moduli space. As applications, we…

In this paper we present (quasi-)norm equivalence on a vector-valued function space $L^p_A(l^q)$ and extend the equivalence to $p=\infty$ and $0<q<\infty$ in the scale of Triebel-Lizorkin space, motivated by Fraizer-Jawerth. By applying the…