Showing 1–25 of 25 results for author: Karn, A K

Position of $L(X, Y)$ in $Lip_0(X, Y)$

Authors: Anil Kumar Karn, Arindam Mandal

Abstract: We prove that $L(X,Y)$ is complemented in $Lip_0(X, Y)$ (via a norm-one projection) provided that $Y$ is a dual space. Next, we introduce a vector-valued Lipschitz-free space $F_Y(X)$, a linear contraction $β_X^Y: F_Y(X) \to Y$ and prove that the quotient space ${Lip_{0}(X, Y)}/{L(X, Y) }$ is isometrically isomorphic to $L(\ker(β_X^Y), Y)$ whenever $Y$ is injective. We also consider a $Y$-valued d… ▽ More We prove that $L(X,Y)$ is complemented in $Lip_0(X, Y)$ (via a norm-one projection) provided that $Y$ is a dual space. Next, we introduce a vector-valued Lipschitz-free space $F_Y(X)$, a linear contraction $β_X^Y: F_Y(X) \to Y$ and prove that the quotient space ${Lip_{0}(X, Y)}/{L(X, Y) }$ is isometrically isomorphic to $L(\ker(β_X^Y), Y)$ whenever $Y$ is injective. We also consider a $Y$-valued duality pairing between $Lip_0(X, Y)$ and $F_Y(X)$ and obtain a necessary and sufficient condition for a Lipschitz map to be linear. As an application, we describe $\ker(β_{\mathbb{R}}^{\mathbb{R}})$ as the pre-dual of the quotient space $L^{\infty}(\mathbb{R})/\tilde{\mathbb{R}}$ where $\tilde{\mathbb{R}}$ is the set of all constant maps on $\mathbb{R}$. △ Less

Submitted 10 June, 2025; originally announced June 2025.

MSC Class: Primary 46B20; Secondary 46B03

Coexistence of Hilbert space effects and orthogonality

Authors: Anil Kumar Karn

Abstract: In this paper, we show that every pair of absolutely compatible Hilbert space effects are coexistent and exhibit a partial orthogonality property. We introduce the notion of partially ortho-coexistence. We generalize absolute compatibility to obtain more examples of partially ortho-coexistent pairs and introduce the notion of generalized compatibility. In the case of $\mathbb{M}_2$, we discuss a g… ▽ More In this paper, we show that every pair of absolutely compatible Hilbert space effects are coexistent and exhibit a partial orthogonality property. We introduce the notion of partially ortho-coexistence. We generalize absolute compatibility to obtain more examples of partially ortho-coexistent pairs and introduce the notion of generalized compatibility. In the case of $\mathbb{M}_2$, we discuss a geometric behaviour of the generalized compatibility. △ Less

Submitted 13 November, 2024; originally announced November 2024.

Comments: 17 pages

MSC Class: Primary: 47B02; Secondary: 46L10; 47L30

A generalization of Lipschitz mappings

Authors: Anil Kumar Karn, Arindam Mandal

Abstract: Using the notion of modulus of continuity at a point of a mapping between metric spaces, we introduce the notion of extensively bounded mappings generalizing that of Lipschitz mappings. We also introduce a metric on it which becomes a norm if the codomain is a normed linear space. We study its basic properties. We also discuss a linearization of an extensively bounded mapping into a bounded linear… ▽ More Using the notion of modulus of continuity at a point of a mapping between metric spaces, we introduce the notion of extensively bounded mappings generalizing that of Lipschitz mappings. We also introduce a metric on it which becomes a norm if the codomain is a normed linear space. We study its basic properties. We also discuss a linearization of an extensively bounded mapping into a bounded linear mapping. As an application, we introduce the notion of extensively bounded operator ideals. We also discuss extensively bounded finite rank and extensively bounded compact mappings and their corresponding operator ideals. △ Less

Submitted 3 January, 2025; v1 submitted 14 October, 2024; originally announced October 2024.

Comments: 26

MSC Class: Primary 46B20; Secondary 46B28

Projections in an order unit space and orthogonality

Authors: Anil Kumar Karn

Abstract: We introduce the notion of order projections using the order unit property of a positive element in an order unit space and characterize them in terms of (geometric) orthogonality. We describe order projections of the order unit space obtained by adjoining an order unit to a normed linear space. We introduce the notion of order projections using the order unit property of a positive element in an order unit space and characterize them in terms of (geometric) orthogonality. We describe order projections of the order unit space obtained by adjoining an order unit to a normed linear space. △ Less

Submitted 16 June, 2025; v1 submitted 10 October, 2024; originally announced October 2024.

Comments: 11 pages

MSC Class: Primary: 46B40; Secondary: 46B20

Normed linear spaces which are isometric to order unit spaces

Authors: Anil Kumar Karn

Abstract: In this paper, we consider the linear direct sum of a real normed linear space with an order unit space and with a base normed space to obtain respectively a new order unit space and a new base normed space. As a consequence, we find that an $\ell_1$-space may be shown to be an order unit space. (However, not in the natural order.) Dually, an $\ell_{\infty}$-space may be shown to be a base normed… ▽ More In this paper, we consider the linear direct sum of a real normed linear space with an order unit space and with a base normed space to obtain respectively a new order unit space and a new base normed space. As a consequence, we find that an $\ell_1$-space may be shown to be an order unit space. (However, not in the natural order.) Dually, an $\ell_{\infty}$-space may be shown to be a base normed space. To understand this aberration, we characterize the real normed linear spaces which are isometrically isomorphic to order unit spaces. We prove that other than the classical case of $\ell_{\infty}$, $\ell_1$ is also isometrically isomorphic to an order unit space whereas $\ell_2$ is not isometrically isomorphic to any order unit space. △ Less

Submitted 12 May, 2024; v1 submitted 10 June, 2023; originally announced June 2023.

Comments: 11 pages

MSC Class: Primary: 46B40; Secondary: 46B20

On the geometry of an order unit space

Authors: Anil Kumar Karn

Abstract: We introduce the notion of $\mathit{skeleton}$ with a head in a non-zero real vector space. We prove that skeletons with heads describe order unit spaces geometrically. Next, we consider the notion of $\mathit{periphery}$ corresponding to an order unit space which is a part of the skeleton. We note that periphery consists of boundary elements of the positive cone with unit norms. We discuss some e… ▽ More We introduce the notion of $\mathit{skeleton}$ with a head in a non-zero real vector space. We prove that skeletons with heads describe order unit spaces geometrically. Next, we consider the notion of $\mathit{periphery}$ corresponding to an order unit space which is a part of the skeleton. We note that periphery consists of boundary elements of the positive cone with unit norms. We discuss some elementary properties of the periphery. We also find a condition under which $V$ would contain a copy of $\ell_{\infty}^n$ for some $n \in \mathbb{N}$ as an order unit subspace. △ Less

Submitted 9 August, 2023; v1 submitted 28 November, 2022; originally announced November 2022.

Comments: 19 pages

MSC Class: 46B40 (Primary); 46B20; 46L05 (Secondary)

Centre of a compact convex set

Authors: Anil Kumar Karn

Abstract: We introduce the notion centre of a convex set and study the space of continuous affine functions on a compact convex set with a centre. We show that these spaces are precisely the dual of a base normed space in which the underlying base has a (unique) centre. We also characterize the corresponding base norm space. We obtain a condition on a compact, balanced, convex subset of a locally convex spa… ▽ More We introduce the notion centre of a convex set and study the space of continuous affine functions on a compact convex set with a centre. We show that these spaces are precisely the dual of a base normed space in which the underlying base has a (unique) centre. We also characterize the corresponding base norm space. We obtain a condition on a compact, balanced, convex subset of a locally convex space so that the corresponding space of continuous affine functions on the convex set is an absolute order unit space. Similarly, we characterize a condition on the base with a centre of a base normed space so that the latter becomes an absolutely base normed space. △ Less

Submitted 4 March, 2022; v1 submitted 19 January, 2022; originally announced January 2022.

Comments: 16 pages

MSC Class: Primary: 46B40; Secondary: 46B20

Absolute compatibility and poincaré sphere

Authors: Anil Kumar Karn

Abstract: In this paper, we introduce the notion of strict projections and prove that an absolutely compatible pair of strict elements in a von Neumann algebra $\mathcal{M}$ unitarily equivalent to the elements $ \left((p - x_0) \otimes I_2 \right) P_0 + (x_0 \otimes I_2) P$, $\left((p - x_0) \otimes I_2 \right) P_0 + (x_0 \otimes I_2) P'$ of $M_2(\mathcal{M}_0)$ where $\mathcal{M}_0$ is an abelian von Neum… ▽ More In this paper, we introduce the notion of strict projections and prove that an absolutely compatible pair of strict elements in a von Neumann algebra $\mathcal{M}$ unitarily equivalent to the elements $ \left((p - x_0) \otimes I_2 \right) P_0 + (x_0 \otimes I_2) P$, $\left((p - x_0) \otimes I_2 \right) P_0 + (x_0 \otimes I_2) P'$ of $M_2(\mathcal{M}_0)$ where $\mathcal{M}_0$ is an abelian von Neumann algebra, $x_0$ is a strict element of $\mathcal{M}_0^+$, $P_0 = \begin{bmatrix} 0 & 0 \\ 0 & 1 \end{bmatrix} \in M_2(\mathcal{M}_0)$ and $P$ is a strict projection in $M_2(\mathcal{M}_0)$. We also discuss the geometric form of this representation when $\mathcal{M} = \mathbb{M}_2$. △ Less

Submitted 25 October, 2021; originally announced October 2021.

Comments: 12 pages

MSC Class: Primary 46L05; Secondary 46B40; 46B42

$K_0$-group of absolute Matrix order unit spaces

Authors: Anil Kumar Karn, Amit kumar

Abstract: In this paper, we describe the Grothendieck group $K_0(V)$ of an absolute matrix order unit space $V$. For this purpose, we discuss the direct limit of absolute matrix order unit spaces. We show that $K_0$ is a functor from category of absolute matrix order unit spaces with morphisms as unital completely $\vert \cdot \vert$-preserving maps to category of abelian groups. We study order structure on… ▽ More In this paper, we describe the Grothendieck group $K_0(V)$ of an absolute matrix order unit space $V$. For this purpose, we discuss the direct limit of absolute matrix order unit spaces. We show that $K_0$ is a functor from category of absolute matrix order unit spaces with morphisms as unital completely $\vert \cdot \vert$-preserving maps to category of abelian groups. We study order structure on $K_0(V)$ and prove that under certain condition $K_0(V)$ is an ordered abelian group. We also show that the functor $K_0$ is additive on orthogonal unital completely $\vert \cdot \vert$-preserving maps. △ Less

Submitted 6 January, 2021; originally announced January 2021.

Comments: 23 pages

MSC Class: Primary 46B40; Secondary 46L05; 46L30

A generalization of spin factors

Authors: Anil Kumar Karn

Abstract: Using a technique of adjoining an order unit to a normed linear space, we have characterized strictly convex spaces among normed linear spaces and Hilbert spaces among strictly convex Banach spaces respectively. This leads to a generalization of spin factors and provides a new class of absolute order unit spaces. Using a technique of adjoining an order unit to a normed linear space, we have characterized strictly convex spaces among normed linear spaces and Hilbert spaces among strictly convex Banach spaces respectively. This leads to a generalization of spin factors and provides a new class of absolute order unit spaces. △ Less

Submitted 19 January, 2022; v1 submitted 27 March, 2020; originally announced March 2020.

Comments: 16 pages

MSC Class: Primary 46B40; Secondary 46B20

Journal ref: Acta Sci. Math. (Szeged) 87(2021), 551--569

Orthogonality: An antidote to Kadison's anti-lattice theorem

Authors: Anil Kumar Karn

Abstract: In this paper, we propose non-commutative analogues of infimum and supremum with the help of algebraic orthogonality. In this paper, we propose non-commutative analogues of infimum and supremum with the help of algebraic orthogonality. △ Less

Submitted 19 December, 2019; originally announced December 2019.

Comments: 6 pages

MSC Class: Primary 46L05; Secondary 46B40; 46B42

Partial isometries in an absolute order unit space

Authors: Anil Kumar Karn, Amit kumar

Abstract: In this paper, we extend the notion of orthogonality to the general elements of an absolute matrix order unit space and relate it to the orthogonality among positive elements. We introduce the notion of a partial isometry in an absolute matrix order unit space. As an application, we describe the comparison of order projections. We also discuss finiteness of order projections. In this paper, we extend the notion of orthogonality to the general elements of an absolute matrix order unit space and relate it to the orthogonality among positive elements. We introduce the notion of a partial isometry in an absolute matrix order unit space. As an application, we describe the comparison of order projections. We also discuss finiteness of order projections. △ Less

Submitted 12 December, 2019; originally announced December 2019.

Comments: 19 pages

MSC Class: Primary 46B40; Secondary 46L05; 46L30

Absolutely compatible pair of elements in a von Neumann algebra-II

Authors: Anil Kumar Karn

Abstract: Let $A$ be a unital C$^*$-algebra with unity $1_A$. A pair of elements $0 \le a, b \le 1_A$ in $A$ is said to be \emph{absolutely compatible} if, $\vert a - b \vert + \vert 1_A - a - b \vert = 1_A.$ In this paper we provide a complete description of absolutely compatible pair of strict elements in a von Neumann algebra. The end form of such a pair has a striking resemblance with that of a `generic… ▽ More Let $A$ be a unital C$^*$-algebra with unity $1_A$. A pair of elements $0 \le a, b \le 1_A$ in $A$ is said to be \emph{absolutely compatible} if, $\vert a - b \vert + \vert 1_A - a - b \vert = 1_A.$ In this paper we provide a complete description of absolutely compatible pair of strict elements in a von Neumann algebra. The end form of such a pair has a striking resemblance with that of a `generic pair' of projections on a complex Hilbert space introduced by Halmos. △ Less

Submitted 24 June, 2019; originally announced June 2019.

Comments: 7 pages

MSC Class: Primary: 46L10; Secondary: 46B40

Isometries of absolute order unit spaces

Authors: Anil Kumar Karn, Amit kumar

Abstract: We prove that for a bijective, unital, linear map between absolute order unit spaces is an isometry if, and only if, it is absolute value preserving. We deduce that, on (unital) $JB$-algebras, such maps are precisely Jordan isomorphisms. Next, we introduce the notions of absolutely matrix ordered spaces and absolute matrix order unit spaces and prove that for a bijective, unital, linear map betwee… ▽ More We prove that for a bijective, unital, linear map between absolute order unit spaces is an isometry if, and only if, it is absolute value preserving. We deduce that, on (unital) $JB$-algebras, such maps are precisely Jordan isomorphisms. Next, we introduce the notions of absolutely matrix ordered spaces and absolute matrix order unit spaces and prove that for a bijective, unital, linear map between absolute matrix order unit spaces is a complete isometry if, and only if, it is completely absolute value preserving. We obtain that on (unital) C$^*$-algebras such maps are precisely C$^*$-algebra isomorphism. △ Less

Submitted 12 March, 2019; originally announced March 2019.

Comments: 10 pages

MSC Class: 46B40 (Primary); 46L05; 46L30 (Secondary)

Contractive linear preservers of absolutely compatible pairs between C*-algebras

Authors: Nabin K. Jana, Anil K. Karn, Antonio M. Peralta

Abstract: Let $a$ and $b$ be elements in the closed ball of a unital C$^*$-algebra $A$ (if $A$ is not unital we consider its natural unitization). We shall say that $a$ and $b$ are domain (respectively, range) absolutely compatible ($a\triangle_d b$, respectively, $a\triangle_r b$, in short) if $\Big| |a| -|b| \Big| + \Big| 1-|a|-|b| \Big| =1$ (resp.,… ▽ More Let $a$ and $b$ be elements in the closed ball of a unital C$^*$-algebra $A$ (if $A$ is not unital we consider its natural unitization). We shall say that $a$ and $b$ are domain (respectively, range) absolutely compatible ($a\triangle_d b$, respectively, $a\triangle_r b$, in short) if $\Big| |a| -|b| \Big| + \Big| 1-|a|-|b| \Big| =1$ (resp., $\Big| |a^*| -|b^*| \Big| + \Big| 1-|a^*|-|b^*| \Big| =1$), where $|a|^2= a^* a$. We shall say that $a$ and $b$ are absolutely compatible ($a\triangle b$ in short) if they are both range and domain absolutely compatible. In general, $a\triangle_d b$ (respectively, $a\triangle_r b$ and $a\triangle b$) is strictly weaker than $ab^*=0 $ (respectively, $a^* b =0$ and $a\perp b$). Let $T: A\to B$ be a contractive linear mapping between C$^*$-algebras. We prove that if $T$ preserves domain absolutely compatible elements (i.e., $a\triangle_d b\Rightarrow T(a)\triangle_d T(b)$) then $T$ is a triple homomorphism. A similar statement is proved when $T$ preserves range absolutely compatible elements. It is finally shown that $T$ is a triple homomorphism if, and only if, $T$ preserves absolutely compatible elements. △ Less

Submitted 25 October, 2018; originally announced October 2018.

Absolutely compatibility in $\mathbb{M}_2$ and ellipticity

Authors: Nabin K. Jana, Anil K. Karn

Abstract: Let $a,b$ be elements in a unital C$^*$-algebra with $0\leq a,b\leq 1$. The element $a$ is absolutely compatible with $b$ if $$\vert a - b \vert + \vert 1 - a - b \vert = 1.$$ In this note, we describe a complete list of absolutely compatible pairs in $\mathbb{M}_2$. We note that non-commutative pairs exhibit an elliptic behaviour. Let $a,b$ be elements in a unital C$^*$-algebra with $0\leq a,b\leq 1$. The element $a$ is absolutely compatible with $b$ if $$\vert a - b \vert + \vert 1 - a - b \vert = 1.$$ In this note, we describe a complete list of absolutely compatible pairs in $\mathbb{M}_2$. We note that non-commutative pairs exhibit an elliptic behaviour. △ Less

Submitted 29 October, 2018; v1 submitted 17 April, 2018; originally announced April 2018.

Comments: Content of this paper has been merged with 1801.01216

MSC Class: Primary 15B48; Secondary 46L10 15B10

Quantization of $A_{0}(K)$-Spaces

Authors: Anindya Ghatak, Anil Kumar Karn

Abstract: In this paper, we study $L^1$-matrix convex sets $\{K_{n}\}$ in $*$-locally convex spaces and show that every C$^*$-ordered operator space is complete isometrically, completely isomorphic to $\{A_{0}(K_{n}, M_{n}(V))\}$ for a suitable $L^1$-matrix convex set $\{K_{n}\}$. Further, we generalize the notion of regular embedding of a compact convex set to $L^{1}$-regular embedding of $L^{1}$-matrix co… ▽ More In this paper, we study $L^1$-matrix convex sets $\{K_{n}\}$ in $*$-locally convex spaces and show that every C$^*$-ordered operator space is complete isometrically, completely isomorphic to $\{A_{0}(K_{n}, M_{n}(V))\}$ for a suitable $L^1$-matrix convex set $\{K_{n}\}$. Further, we generalize the notion of regular embedding of a compact convex set to $L^{1}$-regular embedding of $L^{1}$-matrix convex set. Using $L^{1}$-regular embedding of $L^{1}$-convex set, we find conditions under which $A_{0}(K_{n}, M_{n}(V))$ is an abstract operator system. △ Less

Submitted 9 February, 2018; originally announced February 2018.

Comments: 15 pages

MSC Class: Primary 46B40; Secondary 46L07; 47L25

Absolutely compatible pairs in a von Neumann algebra

Authors: Nabin K. Jana, Anil K. Karn, Antonio M. Peralta

Abstract: Let $a,b$ be elements in a unital C$^*$-algebra with $0\leq a,b\leq 1$. The element $a$ is absolutely compatible with $b$ if $$\vert a - b \vert + \vert 1 - a - b \vert = 1.$$ In this note we find some technical characterizations of absolutely compatible pairs in an arbitrary von Neumann algebra. These characterizations are applied to measure how close is a pair of absolute compatible positive ele… ▽ More Let $a,b$ be elements in a unital C$^*$-algebra with $0\leq a,b\leq 1$. The element $a$ is absolutely compatible with $b$ if $$\vert a - b \vert + \vert 1 - a - b \vert = 1.$$ In this note we find some technical characterizations of absolutely compatible pairs in an arbitrary von Neumann algebra. These characterizations are applied to measure how close is a pair of absolute compatible positive elements in the closed unit ball from being orthogonal or commutative. In the case of 2 by 2 matrices the results offer a geometric interpretation in terms of an ellipsoid determined by one of the points. The conclusions for 2 by 2 matrices are also applied to describe absolutely compatible pairs of positive elements in the closed unit ball of $\mathbb{M}_n$. △ Less

Submitted 25 October, 2018; v1 submitted 3 January, 2018; originally announced January 2018.

Comments: 20 pages

MSC Class: Primary 46L10; Secondary 46B40 46L05

Algebraic orthogonality in $C^{\ast}$--algebras-II

Authors: Anil Kumar Karn

Abstract: We prove the following: Let $A$ be a C$^{\ast}$-algebra. Then for $a, b \in A^+ \setminus\{ 0 \}$, we have $a b = 0$ if and only is $\Vert \Vert c \Vert^{-1} c + \Vert d \Vert^{-1} d \Vert = 1$ whenever $0 < c \le a$ and $0 < d \le b$ in $A^+$. We prove the following: Let $A$ be a C$^{\ast}$-algebra. Then for $a, b \in A^+ \setminus\{ 0 \}$, we have $a b = 0$ if and only is $\Vert \Vert c \Vert^{-1} c + \Vert d \Vert^{-1} d \Vert = 1$ whenever $0 < c \le a$ and $0 < d \le b$ in $A^+$. △ Less

Submitted 17 December, 2017; v1 submitted 4 May, 2017; originally announced May 2017.

Comments: Proof of Lemma is not convincing. That is, there is a gap in the proof

MSC Class: Primary 46B40; Secondary 46L05; 46L30

Algebraic orthogonality and commuting projections in operator algebras

Authors: Anil Kumar Karn

Abstract: 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… ▽ More 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, we introduce the notion of {\it order projections} and extend the results related to projections in a unital C$^{\ast}$-algebra to order projections in an absolute order unit space. As an application, we describe spectral decomposition theory for elements of an absolute order unit space. △ Less

Submitted 17 December, 2017; v1 submitted 25 April, 2017; originally announced April 2017.

Comments: 28

MSC Class: Primary 46B40; Secondary 46L05; 46L30

$M$-ideals and split faces of the quasi state space of a non-unital ordered Banach space

Authors: Anindya Ghatak, Anil Kumar Karn

Abstract: We characterize $M$-ideals in order smooth $\infty$-normed spaces by extending the notion of split faces of the state space to those of the quasi-state space. We also characterize approximate order unit spaces as those order smooth $\infty$-normed spaces $V$ that are $M$-ideals in $\tilde{V}.$ Here $\tilde{V}$ is the order unit space obtained by adjoining an order unit to $V.$ To prove these resul… ▽ More We characterize $M$-ideals in order smooth $\infty$-normed spaces by extending the notion of split faces of the state space to those of the quasi-state space. We also characterize approximate order unit spaces as those order smooth $\infty$-normed spaces $V$ that are $M$-ideals in $\tilde{V}.$ Here $\tilde{V}$ is the order unit space obtained by adjoining an order unit to $V.$ To prove these results, we develop an order theoretic version of the "Alfsen-Efffros' cone decomposition theorem" for order smooth $1$-normed spaces. (As a quick application of this result, we sharpen a result on the extension of bounded positive linear functionals on subspaces of order smooth $\infty$-normed spaces.) △ Less

Submitted 22 January, 2018; v1 submitted 25 April, 2017; originally announced April 2017.

Comments: 16

MSC Class: 46B40 (Primary); 46L05; 46L30 (Secondary)

Orthogonality in $\ell_p$-spaces and its bearing on ordered Banach spaces

Authors: Anil Kumar Karn

Abstract: 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$-n… ▽ More 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. △ Less

Submitted 30 November, 2012; originally announced December 2012.

MSC Class: Primary: 46B40; Secondary: 46B45; 47B60

An operator summability of sequences in Banach spaces

Authors: Anil Kumar Karn, Deba Prasad Sinha

Abstract: 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 $p$-summable sequence in a Banach space is operator $p$-summable, while in its turn every operator $p$-summable sequence is weakly $p$-summable. An operator… ▽ More 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 $p$-summable sequence in a Banach space is operator $p$-summable, while in its turn every operator $p$-summable sequence is weakly $p$-summable. An operator $T \in B(X, Y)$ is said to be $p$-limited if for every $\lef x_n \rig \in l_p^w(X)$, $\lef Tx_n \rig$ is operator $p$-summable. The set of all $p$-limited operators form a normed operator ideal. It is shown that every weakly $p$-summable sequence in $X$ is operator $p$-summable if and only if every operator $T \in B(X, l_p)$ is $p$-absolutely summing. On the other hand every operator $p$-summable sequence in $X$ is norm $p$-summable if and only if every $p$-limited operator in $B(l_{p'}, X)$ is absolutely $p$-summing. Moreover, this is the case if and only if $X$ is a subspace of $L_p(μ)$ for some Borel measure $μ$. △ Less

Submitted 16 July, 2012; originally announced July 2012.

Comments: 16 pages

MSC Class: 46B20 (Primary) 46B28; 46B50 (Secondary)

Compactness and an approximation property related to an operator ideal

Authors: Anil Kumar Karn, Deba Prasad Sinha

Abstract: For an operator ideal $\mathcal A$, we study the composition operator ideals ${\mathcal A}\circ{\mathcal K}$, ${\mathcal K}\circ{\mathcal A}$ and ${\mathcal K}\circ{\mathcal A}\circ{\mathcal K}$, where $\mathcal K$ is the ideal of compact operators. We introduce a notion of an $\mathcal A$-approximation property on a Banach space and characterise it in terms of the density of finite rank operators… ▽ More For an operator ideal $\mathcal A$, we study the composition operator ideals ${\mathcal A}\circ{\mathcal K}$, ${\mathcal K}\circ{\mathcal A}$ and ${\mathcal K}\circ{\mathcal A}\circ{\mathcal K}$, where $\mathcal K$ is the ideal of compact operators. We introduce a notion of an $\mathcal A$-approximation property on a Banach space and characterise it in terms of the density of finite rank operators in ${\mathcal A}\circ{\mathcal K}$ and ${\mathcal K}\circ{\mathcal A}$. We propose the notions of $\ell_{\infty}$-extension and $\ell_{1}$-lifting properties for an operator ideal $\mathcal A$ and study ${\mathcal A}\circ{\mathcal K}$, ${\mathcal}\circ{\mathcal A}$ and the $\mathcal A$-approximation property where $\mathcal A$ is injective or surjective and/or with the $\ell_{\infty}$-extension or $\ell_{1}$-lifting property. In particular, we show that if $\mathcal A$ is an injective operator ideal with the $\ell_\infty$-extension property, then we have: (a) $X$ has the $\mathcal A$-approximation property if and only if $({\mathcal A}^{min})^{inj}(Y,X)={\mathcal A}^{min}(Y,X)$, for all Banach spaces $Y$. (b) The dual space $X^*$ has the $\mathcal A$-approximation property if and only if $(({\mathcal A}^{dual})^{min})^{sur}(X,Y)=({\mathcal A}^{dual})^{min}(X,Y)$, for all Banach spaces $Y$.}For an operator ideal $\mathcal A$, we study the composition operator ideals ${\mathcal A}\circ{\mathcal K}$, △ Less

Submitted 9 July, 2012; originally announced July 2012.

Comments: 23 pages

MSC Class: 46B50 (Primary) 46B20; 46B28; 47B07 (Secondary)

Order units in a C*-algebra

Authors: Anil K. Karn

Abstract: Order unit property of a positive element in a $C^{*}$-algebra is defined. It is proved that precisely projections satisfy this order theoretic property. This way, unital hereditary $C^{*}$-subalgebras of a $C^{*}$-algebra are characterized. Order unit property of a positive element in a $C^{*}$-algebra is defined. It is proved that precisely projections satisfy this order theoretic property. This way, unital hereditary $C^{*}$-subalgebras of a $C^{*}$-algebra are characterized. △ Less

Submitted 5 December, 2003; originally announced December 2003.

Comments: 5 pages, no figures, no tables

Journal ref: Proc. Indian Acad. Sci. (Math. Sci.), Vol. 113, No. 1, February 2003, pp. 65-69