Matrix with a bounded mapping as an entry is bounded

Click For Summary
SUMMARY

The discussion focuses on the boundedness of the mapping $$\rho(x)$$ defined on a Banach space $$X = \mathcal{A} \oplus \mathbb{C}$$, where $$\rho(x)$$ is represented as a matrix with components $$L_{x}$$ and $$\lambda$$. It is established that $$||\rho(x)||_{\infty} = \max \{ ||L_{x}||_{\infty}, |\lambda| \}$$, confirming that $$\rho(x)$$ belongs to the space of bounded operators $$B(X)$$. The exercise emphasizes the need to calculate the operator norm of the matrix representation and demonstrates that both $$||L_{x}||_{\infty}$$ and $$|\lambda|$$ are finite, ensuring the boundedness of $$\rho$$.

PREREQUISITES
  • Understanding of C*-algebras and their properties
  • Familiarity with operator norms and Banach spaces
  • Knowledge of matrix representations of linear operators
  • Basic concepts of algebra homomorphisms
NEXT STEPS
  • Study the properties of C*-algebras and their applications in functional analysis
  • Learn about operator norms in detail, particularly in the context of Banach spaces
  • Explore matrix representations of linear transformations and their implications
  • Investigate algebra homomorphisms and their role in operator theory
USEFUL FOR

Mathematicians, particularly those specializing in functional analysis, algebraists, and students studying operator theory will benefit from this discussion.

HeinzBor
Messages
39
Reaction score
1
Homework Statement
C* algebras, showing that a matrix is bounded, and a homomorphism
Relevant Equations
Definitions of boundedness and homomorphisms.
In a previous exercise I have shown that for a $$C^{*} algebra \ \mathcal{A}$$ which may or may not have a unit the map $$L_{x} : \mathcal{A} \rightarrow \mathcal{A}, \ L_{x}(y)=xy$$ is bounded. I.e. $$||L_{x}||_{\infty} \leq ||x||_{1}$$, $$x=(a, \lambda) \in \mathcal{\hat{A}} = \mathcal{A} \oplus \mathbb{C} \ with \ ||x||_{1}:= ||a|| + |\lambda| \ and \ ||.||_{\infty}$$ is the usual operator norm.For this exercise, consider $$X = \mathcal{A} \oplus \mathbb{C}$$ with $X$ being a Banach space given by the following norm $$||(a, \lambda)||_{max}:= max \{ ||a||, |\lambda| \}$$.

For $$x = (a,\lambda) \in \mathcal{\hat{A}} \ define \ \rho(x): X \rightarrow X, \ \rho(x) :=
\begin{pmatrix}
L_{x} & 0 \\
0 & \lambda
\end{pmatrix}
$$.

Alright... Then I must show that $$\rho(x) \in B(X)$$ and that $$||\rho(x)||_{\infty} = max \{ ||L_{x}||_{\infty}, |\lambda| \}$$. also show that $$\rho$$ is a homomorphism of algebras.

I think this exercise should be a straightforward calculation honestly, but it has been bothering me for a while since I am not really sure on how I should work with a matrix in this regard as opposed to the usual way of working with functions between two spaces. So I think the reason why I can't get started is first of all how do I take the norm of this matrix and if I know that I can at least write out $$||\rho(x)||_{\infty}$$ and then probably try to get some calculation started, but until then I am stuck..
 
Last edited:
Physics news on Phys.org
So According to the definition which I found $$||\rho(x)||_{\infty} $$ should be the maximum value of $$1: L_{x} + |0|$$ vs $$2: |0| + |\lambda|$$.

So
$$||\rho(x)||_{\infty} = |\lambda| \ or ||\rho(x)||_{\infty} = |L_{x}| $$ depending on whether lambda or L_x is the largest in terms of absolute value..
 
I realized one can show boundedness of $$\rho$$ by showing that $$||\rho(x)||_{\infty} = max \{ ||L_{x}||_{\infty}, \lambda \},$$ since both $$|\lambda| \ and \ ||L_{x}||_{\infty}$$ are finite
 

Similar threads

Replies
7
Views
2K
  • · Replies 6 ·
Replies
6
Views
1K
  • · Replies 5 ·
Replies
5
Views
1K
  • · Replies 8 ·
Replies
8
Views
2K
  • · Replies 43 ·
2
Replies
43
Views
5K
  • · Replies 13 ·
Replies
13
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 8 ·
Replies
8
Views
1K
Replies
4
Views
2K