Related papers: Characterization of inner product spaces

We solve the problem of best approximation by partial isometries of given rank to an arbitrary rectangular matrix, when the distance is measured in any unitarily invariant norm. In the case where the norm is strictly convex, we parametrize…

We consider definable topological spaces of dimension one in o-minimal structures, and state several equivalent conditions for when such a topological space $\left(X,\tau\right)$ is definably homeomorphic to an affine definable space…

Multiplicative relations in the cohomology ring of a manifold impose constraints upon its stable systoles. Given a compact Riemannian manifold (X,g), its real homology H_*(X,R) is naturally endowed with the stable norm. Briefly, if h\in…

Let $n,p,r$ be positive integers with $n \geq p\geq r$. A rank-$\overline{r}$ subset of $n$ by $p$ matrices (with entries in a field) is a subset in which every matrix has rank less than or equal to $r$. A classical theorem of Flanders…

In 2014, Gromov vaguely conjectured that a sequence of manifolds with nonnegative scalar curvature should have a subsequence which converges in some weak sense to a limit space with some generalized notion of nonnegative scalar curvature.…

We show that uniform lattices of isometries of products of real hyperbolic spaces act properly discontinuously and cocompactly on a median space. For lattices in products of at least two factors, this is the strongest degree of…

We study smoothness and strict convexity of (the bidual) of Banach spaces in the presence of diameter 2 properties. We prove that the strong diameter 2 property prevents the bidual from being strictly convex and being smooth, and we…

Let $(G,G_1)$ be a symmetric pair of holomorphic type, and we consider a pair of Hermitian symmetric spaces $D_1=G_1/K_1\subset D=G/K$, realized as bounded symmetric domains in complex vector spaces $\mathfrak{p}^+_1\subset\mathfrak{p}^+$…

In this paper, we study complete minimal hypersurfaces in Riemannian $n-$manifolds $\mathcal{M}^n$ for dimensions $4 \leq n \leq 7$, and we obtain some results in the spirit of known work for $n=3$. Key contributions include extending the…

We present natural (invariant) definite and indefinite scalar products on the N=1 superspace which turns out to carry an inherent Hilbert-Krein structure. We are motivated by supersymmetry in physics but prefer a general mathematical…

The period map for a smooth closed 4-manifold assigns to a Riemannian metric the space of self-dual harmonic 2-forms. This map is from the space of metrics to the Grassmannian of maximal positive subspaces in the second cohomology, where…

Given a postulated set of points, an algebraic system of axioms is proposed for an "arrow space'". An arrow is defined to be an ordered set of two points <T, H>, named respectively Tail and Head. The set of arrows is an arrow space. The…

Parametricity is a property of the syntax of type theory implying, e.g., that there is only one function having the type of the polymorphic identity function. Parametricity is usually proven externally, and does not hold internally.…

This article is a fundamental study in computable analysis. In the framework of Type-2 effectivity, TTE, we investigate computability aspects on finite and infinite products of effective topological spaces. For obtaining uniform results we…

We introduce warped product skew semi-invariant submanifolds of order $1$ of a locally product Riemannian manifold. We give a necessary and sufficient condition for skew semi-invariant submanifold of order 1 to be a locally warped product.…

We prove that the cartesian product of octahedra $B_{1,\infty}^{n,m}=B_1^n\times\ldots\times B_1^n$ ($m$ octahedra) is badly approximated by half--dimensional subspaces in mixed--norm: $d_{N/2}(B_{1,\infty}^{n,m},\ell_{2,1}^{n,m})\ge cm$,…

We give a complete characterization of those $f: [0,1] \to X$ (where $X$ is a Banach space which admits an equivalent Fr\'echet smooth norm) which allow an equivalent $C^2$ parametrization. For $X=\R$, a characterization is well-known.…

Let $X$ be a set of $n$ points of norm at most $1$ in the Euclidean space $R^k$, and suppose $\varepsilon>0$. An $\varepsilon$-distance sketch for $X$ is a data structure that, given any two points of $X$ enables one to recover the square…

In this paper we present a new characterization of inner product spaces related to the p-angular distance. We also generalize some results due to Dunkl, Williams, Kirk, Smiley and Al-Rashed by using the notion of p-angular distance.

We provide a local classification of isometric immersions $f\colon L^p\times_\rho M^n\to\Q_c^{p+n+k}$ in codimensions $k=1, 2$ of warped products of Riemannian manifolds into space forms, under the assumptions that $n\geq k+1$ and that…