On the binary relation $ {⩽}_{u}$ on self-adjoint Hilbert space operators

M.S. Moslehian; S.M.S. Nabavi Sales; H. Najafi

doi:10.1016/j.crma.2012.04.004

Functional Analysis

On the binary relation

⩽_{u}

on self-adjoint Hilbert space operators

Presented by: the Editorial Board

M.S. Moslehian ¹; S.M.S. Nabavi Sales ¹; H. Najafi ¹

¹ Department of Pure Mathematics, Center of Excellence in Analysis on Algebraic Structures (CEAAS), Ferdowsi University of Mashhad, P.O. Box 1159, Mashhad 91775, Iran

Comptes Rendus. Mathématique, Volume 350 (2012) no. 7-8, pp. 407-410.

Abstract
Résumé

Given self-adjoint operators $A, B \in B (H)$ it is said $A ⩽_{u} B$ whenever $A ⩽ U^{⁎} B U$ for some unitary operator U. We show that $A ⩽_{u} B$ if and only if $f (g {(A)}^{r}) ⩽_{u} f (g {(B)}^{r})$ for any increasing operator convex function f, any operator monotone function g and any positive number r. We present some sufficient conditions under which if $B ⩽ A ⩽ U^{⁎} B U$ , then $B = A = U^{⁎} B U$ . Finally we prove that if $A^{n} ⩽ U^{⁎} A^{n} U$ for all $n \in N$ , then $A = U^{⁎} A U$ .

Soient $A, B \in B (H)$ des opérateurs auto-adjoints donnés, on dit que $A ⩽_{u} B$ si $A ⩽ U^{⁎} B U$ , où U est un opérateur unitaire. On montre que $A ⩽_{u} B$ si et seulement si $f (g {(A)}^{r}) ⩽_{u} f (g {(B)}^{r})$ pour toute fonction dʼopérateurs f, convexe et croissante, toute fonction dʼopérateurs g, monotone et tout nombre r positif. On donne des conditions nécessaires et suffisantes pour que $B ⩽ A ⩽ U^{⁎} B U$ implique $B = A = U^{⁎} B U$ . Enfin on montre que si $A^{n} ⩽ U^{⁎} A^{n} U$ pour tout $n \in N$ alors $A = U^{⁎} A U$ .

Received: 2011-11-25
Accepted: 2012-04-10
Published online: 2012-04-01

DOI: 10.1016/j.crma.2012.04.004

Author's affiliations:

M.S. Moslehian ¹; S.M.S. Nabavi Sales ¹; H. Najafi ¹

¹ Department of Pure Mathematics, Center of Excellence in Analysis on Algebraic Structures (CEAAS), Ferdowsi University of Mashhad, P.O. Box 1159, Mashhad 91775, Iran

@article{CRMATH_2012__350_7-8_407_0,
     author = {M.S. Moslehian and S.M.S. Nabavi Sales and H. Najafi},
     title = {On the binary relation $ {\ensuremath{\leqslant}}_{u}$ on self-adjoint {Hilbert} space operators},
     journal = {Comptes Rendus. Math\'ematique},
     pages = {407--410},
     publisher = {Elsevier},
     volume = {350},
     number = {7-8},
     year = {2012},
     doi = {10.1016/j.crma.2012.04.004},
     language = {en},
}

TY  - JOUR
AU  - M.S. Moslehian
AU  - S.M.S. Nabavi Sales
AU  - H. Najafi
TI  - On the binary relation $ {⩽}_{u}$ on self-adjoint Hilbert space operators
JO  - Comptes Rendus. Mathématique
PY  - 2012
SP  - 407
EP  - 410
VL  - 350
IS  - 7-8
PB  - Elsevier
DO  - 10.1016/j.crma.2012.04.004
LA  - en
ID  - CRMATH_2012__350_7-8_407_0
ER  -

%0 Journal Article
%A M.S. Moslehian
%A S.M.S. Nabavi Sales
%A H. Najafi
%T On the binary relation $ {⩽}_{u}$ on self-adjoint Hilbert space operators
%J Comptes Rendus. Mathématique
%D 2012
%P 407-410
%V 350
%N 7-8
%I Elsevier
%R 10.1016/j.crma.2012.04.004
%G en
%F CRMATH_2012__350_7-8_407_0

M.S. Moslehian; S.M.S. Nabavi Sales; H. Najafi. On the binary relation $ {⩽}_{u}$ on self-adjoint Hilbert space operators. Comptes Rendus. Mathématique, Volume 350 (2012) no. 7-8, pp. 407-410. doi : 10.1016/j.crma.2012.04.004. https://comptes-rendus.academie-sciences.fr/mathematique/articles/10.1016/j.crma.2012.04.004/

References
Cited by

[1] R. Bhatia Matrix Analysis, Springer, New York, 1997

[2] R.G. Douglas On the operator equation $S^{⁎} X T = X$ and related topics, Acta Sci. Math. (Szeged), Volume 30 (1969), pp. 19-32

[3] B.P. Duggal The operator inequality $P ⩽ A^{⁎} P A$ , Proc. Amer. Math. Soc., Volume 109 (1990) no. 3, pp. 697-698

[4] T. Furuta Invitation to Linear Operators, Taylor and Francis, London, New York, 2001

[5] G. Helmberg Introduction to Spectral Theory in Hilbert Space, John Wiley & Sons, New York, 1969

[6] H. Kosaki On some trace inequality, Proc. Center Math. Anal. Austral. Nat. Univ., Volume 29 (1992), pp. 129-134

[7] M.S. Moslehian; S.M.S. Nabavi Sales Some conditions implying normality of operators, C. R. Acad. Sci. Paris, Ser. I, Volume 349 (2011), pp. 251-254

[8] M.S. Moslehian; H. Najafi Around operator monotone functions, Integral Equations Operator Theory, Volume 71 (2011) no. 4, pp. 575-582

[9] T. Okayasu; Y. Ueta A condition under which $B = A = U^{⁎} B U$ follows from $B ⩾ A ⩾ U^{⁎} B U$ , Proc. Amer. Math. Soc., Volume 135 (2007) no. 5, pp. 1399-1403

[10] M.Ph. Olson The selfadjoint operators of a Von Neumann algebra form a conditionally complete lattice, Proc. Amer. Math. Soc., Volume 28 (1971) no. 2, pp. 537-544

[11] M. Uchiyama Operator monotone functions which are defined implicitly and operator inequalities, J. Funct. Anal., Volume 175 (2000) no. 2, pp. 330-347

Cited by Sources:

Comments - Policy