Motivated by the questions in the theory of Fredholm stability in Banach space and Kato's strictly singular operators we answer several natural questions concerning ``orthogonality'' in normed spaces and the properties of metric projections. What the reader will see below might have benn known long ago, but we did not find it in the literature. Some open (for us) questions are formulated at the end of Sections 7 and 9.
Two different notions of approximate Birkhoff-James orthogonality in nor\-med linear spaces have been introduced by Dragomir and Chmie\-liń\-ski. In the present paper we consider a global and a local approximate symmetry of the Birkhoff-James orthogonality related to each of the two definitions. We prove that the considered orthogonality is approximately symmetric in the sense of Dragomir in all finite-dimensional Banach spaces. For the other case, we prove that for finite-dimensional polyhedral Banach spaces, the approximate symmetry of the orthogonality is equivalent to some newly introduced…
Let $X$ be a complex normed space. Based on the right norm derivative $ρ_{_{+}}$, we define a mapping $ρ_{_{\infty}}$ by \begin{equation*} ρ_{_{\infty}}(x,y) = \frac1π\int_0^{2π}e^{iθ}ρ_{_{+}}(x,e^{iθ}y)dθ\quad(x,y\in X). \end{equation*} The mapping $ρ_{_{\infty}}$ has a good response to some geometrical properties of $X$. For instance, we prove that $ρ_{_{\infty}}(x,y)=ρ_{_{\infty}}(y,x)$ for all $x, y \in X$ if and only if $X$ is an inner product space. In addition, we define a $ρ_{_{\infty}}$-orthogonality in $X$ and show that a linear mapping preserving $ρ_{_{\infty}}$-orthogonality has to…
We introduce a notion of p-orthogonality in a general Banach space $1 \le p \le \infty$. We use this concept to characterize $\ell_p$-spaces among Banach spaces and also among complete order smooth p-normed spaces. We further introduce a notion of $p$-orthogonal decomposition in order smooth p-normed spaces. We prove that if the $\infty$-orthogonal decomposition holds in an order smooth $\infty$-normed space, then the 1-orthogonal decomposition holds in the dual space. We also give an example to show that the above said decomposition may not be unique.
The aim of this paper is to present some results concerning the $ρ_*$-orthogonality in real normed spaces and its preservation by linear operators. Among other things, we prove that if $T\,: X \longrightarrow Y$ is a nonzero linear $(I, ρ_*)$-orthogonality preserving mapping between real normed spaces, then $$\frac{1}{3}\|T\|\|x\|\leq\|Tx\|\leq 3[T]\|x\|, \qquad (x\in X)$$ where $[T]:=\inf\{\|Tx\|: \,x\in X, \|x\|=1\}$. We also show that the pair $(X,\perp_{ρ_*})$ is an orthogonality space in the sense of Rätz. Some characterizations of smooth spaces are given based on the $ρ_*$-orthogonality.
We introduce the notion of approximate smoothness in a normed linear space. We characterize this property and show the connections between smoothness and approximate smoothness for some spaces. As an application, we consider in particular the Birkhoff-James orthogonality and its right-additivity under the assumption of approximate smoothness.
It is shown that Birkhoff-James orthogonality knows everything about the smooth norms in reflexive Banach spaces and can also compute the dimensions of the underlying normed spaces.
Associated to Birkhoff orthogonality, we study Birkhoff angles in a normed space and present some of their basic properties. We also discuss how to decide whether an angle is more acute or more obtuse than another. In addition, given two vectors $x$ and $y$ in a normed space, we study the formula for Birkhoff `cosine' of the angle from $x$ to $y$ from which we can, in principal, compute the angle. Some examples will be presented.
Let $x$ and $y$ be two unit vectors in a normed plane $\mathbb{R}^2$. We say that $x$ is Birkhoff orthogonal to $y$ if the line through $x$ in the direction $y$ supports the unit disc. A B-measure (Fankhänel 2011) is an angular measure $μ$ on the unit circle for which $μ(C)=π/2$ whenever $C$ is a shorter arc of the unit circle connecting two Birkhoff orthogonal points. We present a characterization of the normed planes that admit a B-measure.
We introduce the relation $ρ_λ$-orthogonality in the setting of normed spaces as an extension of some orthogonality relations based on norm derivatives, and present some of its essential properties. Among other things, we give a characterization of inner product spaces via the functional $ρ_λ$. Moreover, we consider a class of linear mappings preserving this new kind of orthogonality. In particular, we show that a linear mapping preserving $ρ_λ$-orthogonality has to be a similarity, that is, a scalar multiple of an isometry.
We study Birkhoff-James orthogonality of compact (bounded) linear operators between Hilbert spaces and Banach spaces. Applying the notion of semi-inner-products in normed linear spaces and some related geometric ideas, we generalize and improve some of the recent results in this context. In particular, we obtain a characterization of Euclidean spaces and also prove that it is possible to retrieve the norm of a compact (bounded) linear operator (functional) in terms of its Birkhoff-James orthogonality set. We also present some best approximation type results in the space of bounded linear opera…
We explore the relation between the orthogonality of bounded linear operators in the space of operators and that of elements in the ground space. To be precise, we study if $ T, A \in \mathbb{L}(\mathbb{X}, \mathbb{Y}) $ satisfy $ T \bot_B A,$ then whether there exists $ x \in \mathbb{X} $ such that $ Tx\bot_B Ax$ with $ \|x\| =1, \|Tx\| = \|T\|$, where $\mathbb{X}, \mathbb{Y} $ are normed linear spaces. In this context, we introduce the notion of Property $ P_n $ for a Banach space and illustrate its connection with orthogonality of a bounded linear operator between Banach spaces. We further …
We describe absolutely ordered $p$-normed spaces, for $1 \le p \le \infty$ which presents a model for "non-commutative" vector lattices and includes order theoretic orthogonality. To demonstrate its relevance, we introduce the notion of {\it absolute compatibility} among positive elements in absolute order unit spaces and relate it to symmetrized product in the case of a C$^{\ast}$-algebra. In the latter case, whenever one of the elements is a projection, the elements are absolutely compatible if and only if they commute. We develop an order theoretic prototype of the results. For this purpose…
The concept of angle, angle functions, and the question how to measure angles present old and well-established mathematical topics referring to Euclidean space, and there exist also various extensions to non-Euclidean spaces of different types. In particular, it is very interesting to investigate or to combine (geometric) properties of possible concepts of angle functions and angle measures in finite-dimensional real Banach spaces (= Minkowski spaces). However, going into this direction one will observe that there is no monograph or survey reflecting the complete picture of the existing litera…
We prove that an asymmetric normed space is never a Baire space if the topology induced by the asymmetric norm is not equivalent to the topology of a norm. More precisely, we show that a biBanach asymmetric normed space is a Baire space if and only if it is isomorphic to its associated normed space.
In this paper, we study some topological characteristics of the n-normed spaces. We observe convergence sequences, closed sets, and bounded sets in the n-normed spaces using norms of quotient spaces that will be constructed. These norms will be a new viewpoint in observing the characteristics of the n-normed spaces. By using these norms, we also review the completeness of the n-normed spaces.
We give a detailed proof D. Handelman's theorem stating (in the context of an order unit normed space) that a monotone sigma-complete order unit normed space is a Banach space.
In this paper, we introduce the cone normed spaces and cone bounded linear mappings. Among other things, we prove the Baire category theorem and the Banach--Steinhaus theorem in cone normed spaces.
We generalize the notion of $M$-ideals in order smooth $\infty$-normed spaces to "smooth $p$-order ideals" in order smooth $p$-normed spaces. We show that if $V$ is an order smooth $p$-normed space and $W$ is a closed subspace of $V$, then $W$ is a smooth $p$-order ideal in $V$ if and only if $W^{\perp}$ is a smooth $p'$-order ideal in order smooth $p'$-normed space if and only if $W^{\perp\perp}$ is a smooth $p$-order ideal in order smooth $p$-normed space $V^{**}$. We prove that every $L$-summand in order smooth $1$-normed space is a smooth $1$-order ideal. We find a condition under which ev…
Let X, Y be asymmetric normed spaces and Lc(X, Y) the convex cone of all linear continuous operators from X to Y. It is known that in general, Lc(X, Y) is not a vector space. The aim of this note is to prove, using the Baire category theorem, that if Lc(X, Y) is a vector space for some asymmetric normed space Y , then X is isomorphic to its associated normed space (the converse is true for every asymmetric normed space Y and is easy to establish). For this, we introduce an index of symmetry of the space X denoted c(X) $\in$ [0, 1] and we give the link between the index c(X) and the fact that L…
The idea of convex sets and various related results in 2-Probabilistic normed spaces were established in [HR]. In this paper, We obtain the concepts of convex series closedness, convex series compactness, boundedness and their interrelationships in Menger's 2-probabilistic normed space. Finally, the idea of $ \mathcal{D}- $ Boundedness in Menger's 2-probabilistic normed spaces and Menger's Generalized 2-Probabilistic Normed spaces are discussed.
We consider linear narrow operators on lattice-normed spaces. We prove that, under mild assumptions, every finite rank linear operator is strictly narrow (before it was known that such operators are narrow). Then we show that every dominated, order continuous linear operator from a lattice-normed space over atomless vector lattice to an atomic lattice-normed space is order narrow.
The quotient shape types of normed vectorial spaces(over the same field) with respect to Banach spaces reduce to those of Banach spaces. The finite quotient shape type of normed spaces is an invariant of the (algebraic) dimension, but not conversely. The converse holds for separable normed spaces as well as for the bidual-like spaces (isomorphic to their second dual spaces). As a consequence, the Hilbert space $l_2$, or even its (countably dimensional, unitary) direct sum subspace may represent the unique quotient shape type of all $2^\aleph_0$-dimensional normed spaces. An application yields …
In this paper, we study some features of n-normed spaces with respect to norms of its quotient spaces. We define continuous functions with respect to the norms of its quotient spaces and show that all types of continuity are equivalent. We also study contractive mappings on n- normed spaces using the same approach. In particular, we prove a fixed point theorem for contractive mappings on a closed and bounded set in an n-normed space.
The Erberlein-Smulian Theorem asserts that for complete normed spaces, that is Banach spaces, a subset is weak compact if and only if it is weak sequentially compact. In this paper it is shown that the completeness of the normed space is not necessary for the above mentioned result.
In this paper, we study a part of approximation theory that presents the conditions under which a closed set in a normed linear space is proximinal or Chebyshev.
In this paper we continue the study of compact-like operators in lattice normed spaces started recently by Aydin, Emelyanov, Erkurşun Özcand and Marabeh. We show among others, that every p-compact operator between lattice normed spaces is p-bounded. The paper contains answers of almost all questions asked by these authors.
In this article, we study the notions of $n$-isometries in non-Archimedean $n$-normed spaces over linear ordered non-Archimedean fields, and prove the Mazur-Ulam theorem in the spaces. Furthermore, we obtain some properties for $n$-isometries in non-Archimedean $n$-normed spaces.
In this paper we discuss some properties of resolvents of an accretive operator in linear 2-normed spaces, focusing on the concept of contraction mapping and the unique fixed point of contraction mappings in linear 2- normed spaces. Also, we establish the existence of solution of strong accretive operator equation in linear 2-normed spaces.
Inspired in the theorem of Krein-Milamn, we investigate the existence of extreme points in compact convex subsets of asymmetric normed spaces. We focus our attention in the finite dimensional case, giving a geometric description of all compact convex subsets of a finite dimensional asymmetric normed space.
We study metrically projective and metrically free matricially normed spaces. We describe these spaces in terms of a special space $\widehat M_n$, the space of $n\times n$ matrices, endowed with a special matrix-norm. We show that metrically free matricially normed spaces are matricial $\ell_1$-sums of some distinguished families of matricially normed spaces $\widehat M_n$, whereas metrically projective matricially normed spaces are complete direct summands of matricial $\ell_1$-sums of arbitrary families of the spaces $\widehat M_n$. At the end we specify the underlying normed space of $\wide…
The concept of Soft set theory was introduced by Molodtsov in the study [8]. Soft real numbers and properties were introduced inthe study [6] and soft normed space was defined in [11]. In this study, firstly we obtain a soft normed space by defining a soft norm on (Real numbers) which is called soft normed real space. By using this normed space we define the soft linear functional and investigate some of its properties. Secondly, we introduce soft dual space and soft dual operator and investigate their properties. Finally, we state and prove the theorem about representation of soft linear func…