Skip to main content

All Questions

Filter by
Sorted by
Tagged with
9 votes
0 answers
163 views

Moore-Penrose partial isometries and hermitian elements

Let $A$ be a unital Banach algebra. An element $a \in A$ is hermitian if $\|\mathrm{exp}(ita)\|=1$ for every $t \in \mathbb{R}$. An element $a \in A$ is Moore-Penrose invertible if there exists $b \in ...
Hannes Thiel's user avatar
  • 3,497
2 votes
0 answers
81 views

An square root of the multiplicative operator on $\ell^1(\mathbb{Z}_n)$

Let us consider the finite group algebra $\ell^1(\mathbb{Z}_n)$. Let $x=(x_0,\cdots,x_{n-1})$ in $\ell^1(\mathbb{Z}_n)$ and define $$M_x: \ell^1(\mathbb{Z}_n)\to \ell^1(\mathbb{Z}_n) : M_x(a)=a*x$$ ...
ABB's user avatar
  • 4,058
1 vote
1 answer
119 views

Regarding variation of spectra

I have been reading the article The variation of spectra by J.D Newburgh. in this article and all related reference/ articles, the term 'variation of spectra' keeps coming in, but I nowhere find a ...
user332905's user avatar
0 votes
0 answers
109 views

Operator algebra on an invariant subset

In Rickart, page 50 Theorem 2.2.1, the statement is made: A linear subspace $\mathfrak{M}$ of the algebra $\mathfrak{A}-\mathfrak{L}$ is invariant with respect to the representation $a{\rightarrow}A_a^...
user54738's user avatar
  • 109
3 votes
1 answer
555 views

Trace norm of operators obtained by restricting the matrix of a trace class operator

Suppose $H$ is a Hilbert space with orthonormal basis $\{e_i\}_{i\in \mathbb N}$. To every operator $T$, we associate a infinite matrix $[T_{ij}]$, where $T_{ij}=\left<Te_j,e_i\right>$. We know ...
NewB's user avatar
  • 243
4 votes
1 answer
210 views

Does there exists a $C^*$-algebra corresponding to every Banach ternary algebra?

Let $V$ be a TRO (closed subspace of $B(H,K)$, closed under the product $xyz\to xy^*z$). Let $C(V)$, $D(V)$ denote the $C^{\ast}$-algebra generated by $VV^{\ast}$ and $V^*V$ respectively. We define $A(...
Math Lover's user avatar
  • 1,115
9 votes
2 answers
298 views

Two inequalities in $C^*$ algebras

Under what conditions on a $C^*$ algebra $A$ we have the following inequality: $$x^*a^*ax+a^*x^*xa\leq x^*x+a^*x^*ax+x^*a^*xa\;\;\; \forall x,a\in A$$ The second identity which I am looking for is ...
Ali Taghavi's user avatar
3 votes
1 answer
210 views

Relaxed/Truncated Version of Wiener's Tauberian Theorem

Background Let $(U_t)_{t \in \mathbb{R}}$ be the (translation) $C_0$-group on $L^1(\mathbb{R})$ defined by $$ U_t(f)(x) = f(x-t) \quad \text{for almost every } x \in \mathbb{R} $$ (for $t \in \...
ABIM's user avatar
  • 5,405
4 votes
2 answers
187 views

Largest ideal in bounded linear maps on Schatten-$p$ class

Let $1\leq p<\infty.$ Denote $S_p(\ell_2)$ be the set of all compact operator $x$ on $\ell_2$ such that $Tr(|x|^p)<\infty.$ Define $\|x\|_{S_p(\ell_2)}:=Tr(|x|^p)^{\frac{1}{p}}.$ This makes $S_p(...
A beginner mathmatician's user avatar
2 votes
0 answers
125 views

Sub Banach spaces (Banach algebras) of the disc algebra which are invariant under the differentiation operator

In this question the disc algebra $\mathcal{A}(\mathbb{D})$ is the Banach algebra of all holomorphic functions on the unit open disc $\mathbb{D} \subset \mathbb{C}$ which have a ...
Ali Taghavi's user avatar
4 votes
1 answer
476 views

Bicommutant theorem for commutative operator algebras

Let $\mathcal{B}(H)$ denote the space of bounded linear operators on a complex Hilbert space $H$. The von Neumann bicommutant theorem says: Theorem. Suppose that $\mathcal{A}$ is a $C^*$-subalgebra ...
Jochen Glueck's user avatar
14 votes
1 answer
694 views

Criterion for a Banach algebra to be finite dimensional

Let $A$ be a Banach algebra (say, complex and unital) and suppose that every (closed) commutative subalgebra of $A$ is finite dimensional. Question. Does it follow that $A$ is finite dimensional? ...
Jochen Glueck's user avatar
1 vote
0 answers
76 views

norm of operator between matrix algebras equipped with trace norm [duplicate]

Let $M_i$ stands‎ ‎for the algebra of $d_i\times d_i$ matrices with $\|T\|=d_i‎ ‎\|T\|_1=d_i (trace{(T^\ast T)}^{\frac{1}{2}})$‎, ‎and $M_{ij}$‎ ‎stands for the algebra of $d_i d_j\times d_i d_j$ ...
reza's user avatar
  • 13
1 vote
1 answer
133 views

Does the image of $f$ contain a positive number?

Let $H$ be a Hilbert space and $T$ be a bounded and positive operator on $H$. Define a real function $f$ on positive real numbers by $$f(r):=\|(r+T)^{-1}\|^{-1}-r\quad(r\in\mathbb R_+).$$ Does the ...
MSMalekan's user avatar
  • 2,118
11 votes
2 answers
2k views

Operator that commutes with projections

We investigate the Hilbert space $\ell^2(\mathbb{N}_0)$ with standard orthonormal basis vectors $e_n:=(0,...,0,1,0,...).$ Consider the family of self-adjoint rank $1$ projections $P_n\bullet:= \...
Sascha's user avatar
  • 536
4 votes
1 answer
162 views

approximate diagonal

Let $I$ be an arbitary index set, $((A_i)_i,\|.\|_i)_{i\in I}$ be a family of Banach algebras, with approximate diagonal $(m^{i}_α)_α\subseteq A_i\hat\otimes A_i$, and $B=\{(x_i)_i\in {\displaystyle \...
R.N's user avatar
  • 209
4 votes
0 answers
84 views

Can a spectral projection fail to preserve a closed invariant subspace of its parent operator?

Let $X$ be a complex Banach space, and let $T:X\longrightarrow X$ be a bounded linear operator. Let $\sigma_1$ and $\sigma_2$ be disjoint compact subsets of $\mathbb{C}$ for which $\sigma_1\cup \...
DCM's user avatar
  • 778
5 votes
0 answers
179 views

Representations of the algebra of shift-invariant operators on $\ell^\infty({\mathbb Z})$

$\newcommand{\Z}{\mathbb Z}$ By an operator on $\ell^\infty(\Z)$, I mean a bounded linear map $\ell^\infty(\Z)\to\ell^\infty(\Z)$. (Note that I am not assuming weak-star continuity.) By shift-...
Yemon Choi's user avatar
  • 25.8k
1 vote
0 answers
80 views

What is the character space of $\mathcal P(K)$?

Let $K$ be a compact subset of $\Bbb C$. Let $\mathcal P(K)$ be the closed algebra generated by the complex polynomials on $K$. What is the character space $\Phi_{\mathcal P(K)}$ of $\mathcal P(K)$?...
BigbearZzz's user avatar
  • 1,245
8 votes
3 answers
1k views

Conceptually, what does unitization do?

Let $(\mathcal A,||\cdot||)$ be a normed algebra (with or without a unit). The unitization of $\mathcal A$ is the space $\mathcal A_+:=\mathcal A\oplus \Bbb C$ where the multiplication operation $\...
BigbearZzz's user avatar
  • 1,245
11 votes
2 answers
545 views

Is $\mathcal{B}^{\mathbb{Z}}(l^\infty(\mathbb{Z}))$ a commutative algebra?

Consider $l^\infty(\mathbb{Z})$ the Banach space of bounded complex valued functions on the abelian group $\mathbb{Z}$ with the supremum norm. It has a natural action by $\mathbb{Z}$ given by $(zf)(g):...
Werner Thumann's user avatar
9 votes
3 answers
4k views

Projections in Banach spaces

Dear All, I am absolutely lost in the following problem: Let $P_s, \: s \in [0,1],$ be a uniformly bounded family of projections (idempotents) in a Banach space $X$ such that $P_s P_t = P_{{\rm min}...
zoltan.leka's user avatar