Related papers: Inner product space with no ortho-normal basis wit…
We prove that the category of topological spaces and open maps does not have binary products, thus resolving the Esakia problem in the negative. We also prove that the categories of complete Heyting algebras and complete closure algebras do…
We present the definition of the logical framework TF, the Type Framework. TF is a lambda-free logical framework; it does not include lambda-abstraction or product kinds. We give formal proofs of several results in the metatheory of TF, and…
We obtain a complete characterization of the norm attainment set of a bounded linear functional on a normed space, in terms of a semi-inner-product defined on the space. Motivated by this result, we further apply the concept of…
We give an infinite family of torsion-free groups that do not satisfy the unique product property. For these examples, we also show that each group contains arbitrarily large sets whose square has no uniquely represented element.
We show that no left-ordering on a free product of (left-orderable) groups is isolated. In particular, we show that the space of left-orderings of free product of finitely generated groups is homeomorphic to the Cantor set. With the same…
The goal of this paper is twofold. In addition to the results stated in the next paragraph, we present some classical results on absoluteness relevant to functional analysis that are well known to logicians but not nearly as well advertised…
This is an attempt to model ambient space as a three-dimensional real affine space with a distinguished group of automorphisms containing the translations and acting freely and transitively on pairs consisting of a half-plane together with…
In this work, we introduce the notion of a two-Krein space and show that, starting from any classical Krein space, it is possible to construct spaces endowed with an indefinite two-inner product (admitting both positive and negative…
Let $\Lambda^{\mathbb{R}}$ denote the linear space over $\mathbb{R}$ spanned by $z^{k}$, $k \! \in \! \mathbb{Z}$. Define the real inner product (with varying exponential weights) $\langle \boldsymbol{\cdot},\boldsymbol{\cdot}…
Finite dimensional linear spaces (both complex and real) with indefinite scalar product [.,.] are considered. Upper and lower bounds are given for the size of an indecomposable matrix that is normal with respect to this scalar product in…
Let $X$ be a Banach space with an unconditional finite-dimensional Schauder decomposition $(E_n)$. We consider the general problem of characterizing conditions under which one can construct an unconditional basis for $X$ by forming an…
In a previous paper [1] [MR4101040], we initiated a systematic study of semihypergroups and had a thorough discussion about some important analytic and algebraic objects associated to this class of objects. In this paper, we investigate…
In this paper, we discuss the Weyl problem in warped product space. We obtain the openness, non rigidity and some applications. These results together with the a priori estimates obtained by Lu imply some existence results. Meanwhile we…
Infinitary operations, such as products indexed by countably infinite linear orders, arise naturally in the context of fundamental groups and groupoids. Despite the fact that the usual binary operation of the fundamental group determines…
An orthogonal product basis (OPB) of a finite-dimensional Hilbert space $H=H_1\otimes H_2\otimes\cdots\otimes H_n$ is an orthonormal basis of $H$ consisting of product vectors $x_1\otimes x_2\otimes\cdots\otimes x_n$. We show that the…
We investigate strongly separately continuous functions on a product of topological spaces and prove that if $X$ is a countable product of real lines, then there exists a strongly separately continuous function $f:X\to\mathbb R$ which is…
We give an algebraic characterization of pre-Hilbert spaces with an orthonormal basis. This characterization is used to show that there are pre-Hilbert spaces $X$ of dimension and density $\lambda$ for any uncountable $\lambda$ without any…
The nondegeneracy of the Petersson inner product on cusp forms, and the fact that Hecke operators are self-adjoint with respect to the Petersson product, together imply that the cusp forms have a basis consisting of Hecke eigenforms. In the…
We find the necessary and sufficient condition for the proper biharmonic CMC hypersurfaces in the special warped product space. Furthermore, we obtain that there exists no proper biharmonic CMC compact hypersurface there.
For a positive linear map F and a normal matrix N, we show that |F(N)| is bounded by some simple linear combinations in the unitary orbit of F(|N|). Several elegant sharp inequalities are derived, especially for the Schur product.