The irreducibility in ordered Banach algebras (Q427262): Difference between revisions
From MaRDI portal
Created a new Item |
Changed an Item |
||
Property / review text | |||
Let \(A\) be an ordered Banach algebra and let \(OI(A)=\{b\in A:\,0\leq b\leq e,\;b^2=b\}\), where \(e\) is the unit of \(A\). An element \(z\geq 0\) is said to be order continuous if \(b_\alpha\downarrow 0\) implies \(b_\alpha z\downarrow 0\) and \(zb_\alpha\downarrow 0\) for any \(b_\alpha\in OI(A)\). It is shown that, if \(E\) is a Dedekind complete Banach lattice, then the set of all order continuous elements in \(L(E)\) coincides with the set of all positive order continuous operators on \(E\). An algebra \(A\) is said to have a (strongly) disjunctive product if, for any order continuous \(x\) and \(y\) in \(A\) \((x,y\geq 0)\) with \(xy=0\), there exists \(b\in OI(A)\) such that \(xb=(e-b)y=0\). It is proved that the algebra \(L(E)\) has a strongly disjunctive product if and only if \(E\) has an order continuous norm. An element \(z\in A\) is said to be irreducible if, for every \(b\in OI(A)\), the equality \((e-b)zb=0\) implies either \(b=0\) or \(b=e\). The spectral radius \(r(z)\) is called an \(f\)-pole of the resolvent \(R(\cdot,z)\) if \(0\leq x\leq z\) implies \(r(x)\leq r(z)\) and if \(r(x)=r(z)\), then \(r(z)\) is a pole of \(R(\cdot,x)\). It is shown that, under some natural assumptions on the Banach lattice \(E\), if \(0\leq T\in L(E)\), then \(r(T)\) is an \(f\)-pole of \(R(\cdot,T)\) if and only if \(r(T)\) is a finite-rank pole of \(R(\cdot,T)\). The Frobenius normal form of \(z\) is obtained when \(r(z)\) is an \(f\)-pole of \(R(\cdot,z)\). Some applications to the spectral theory of irreducible operators and to general spectral theory are presented. | |||
Property / review text: Let \(A\) be an ordered Banach algebra and let \(OI(A)=\{b\in A:\,0\leq b\leq e,\;b^2=b\}\), where \(e\) is the unit of \(A\). An element \(z\geq 0\) is said to be order continuous if \(b_\alpha\downarrow 0\) implies \(b_\alpha z\downarrow 0\) and \(zb_\alpha\downarrow 0\) for any \(b_\alpha\in OI(A)\). It is shown that, if \(E\) is a Dedekind complete Banach lattice, then the set of all order continuous elements in \(L(E)\) coincides with the set of all positive order continuous operators on \(E\). An algebra \(A\) is said to have a (strongly) disjunctive product if, for any order continuous \(x\) and \(y\) in \(A\) \((x,y\geq 0)\) with \(xy=0\), there exists \(b\in OI(A)\) such that \(xb=(e-b)y=0\). It is proved that the algebra \(L(E)\) has a strongly disjunctive product if and only if \(E\) has an order continuous norm. An element \(z\in A\) is said to be irreducible if, for every \(b\in OI(A)\), the equality \((e-b)zb=0\) implies either \(b=0\) or \(b=e\). The spectral radius \(r(z)\) is called an \(f\)-pole of the resolvent \(R(\cdot,z)\) if \(0\leq x\leq z\) implies \(r(x)\leq r(z)\) and if \(r(x)=r(z)\), then \(r(z)\) is a pole of \(R(\cdot,x)\). It is shown that, under some natural assumptions on the Banach lattice \(E\), if \(0\leq T\in L(E)\), then \(r(T)\) is an \(f\)-pole of \(R(\cdot,T)\) if and only if \(r(T)\) is a finite-rank pole of \(R(\cdot,T)\). The Frobenius normal form of \(z\) is obtained when \(r(z)\) is an \(f\)-pole of \(R(\cdot,z)\). Some applications to the spectral theory of irreducible operators and to general spectral theory are presented. / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Andrzej Sołtysiak / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 46B40 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 47B65 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 46B42 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 47A10 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 46H30 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6046115 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
ordered Banach algebra | |||
Property / zbMATH Keywords: ordered Banach algebra / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
irreducible element | |||
Property / zbMATH Keywords: irreducible element / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
order continuous element | |||
Property / zbMATH Keywords: order continuous element / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
finite-rank pole | |||
Property / zbMATH Keywords: finite-rank pole / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Frobenius normal form | |||
Property / zbMATH Keywords: Frobenius normal form / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
disjunctive product | |||
Property / zbMATH Keywords: disjunctive product / rank | |||
Normal rank |
Revision as of 23:03, 29 June 2023
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | The irreducibility in ordered Banach algebras |
scientific article |
Statements
The irreducibility in ordered Banach algebras (English)
0 references
13 June 2012
0 references
Let \(A\) be an ordered Banach algebra and let \(OI(A)=\{b\in A:\,0\leq b\leq e,\;b^2=b\}\), where \(e\) is the unit of \(A\). An element \(z\geq 0\) is said to be order continuous if \(b_\alpha\downarrow 0\) implies \(b_\alpha z\downarrow 0\) and \(zb_\alpha\downarrow 0\) for any \(b_\alpha\in OI(A)\). It is shown that, if \(E\) is a Dedekind complete Banach lattice, then the set of all order continuous elements in \(L(E)\) coincides with the set of all positive order continuous operators on \(E\). An algebra \(A\) is said to have a (strongly) disjunctive product if, for any order continuous \(x\) and \(y\) in \(A\) \((x,y\geq 0)\) with \(xy=0\), there exists \(b\in OI(A)\) such that \(xb=(e-b)y=0\). It is proved that the algebra \(L(E)\) has a strongly disjunctive product if and only if \(E\) has an order continuous norm. An element \(z\in A\) is said to be irreducible if, for every \(b\in OI(A)\), the equality \((e-b)zb=0\) implies either \(b=0\) or \(b=e\). The spectral radius \(r(z)\) is called an \(f\)-pole of the resolvent \(R(\cdot,z)\) if \(0\leq x\leq z\) implies \(r(x)\leq r(z)\) and if \(r(x)=r(z)\), then \(r(z)\) is a pole of \(R(\cdot,x)\). It is shown that, under some natural assumptions on the Banach lattice \(E\), if \(0\leq T\in L(E)\), then \(r(T)\) is an \(f\)-pole of \(R(\cdot,T)\) if and only if \(r(T)\) is a finite-rank pole of \(R(\cdot,T)\). The Frobenius normal form of \(z\) is obtained when \(r(z)\) is an \(f\)-pole of \(R(\cdot,z)\). Some applications to the spectral theory of irreducible operators and to general spectral theory are presented.
0 references
ordered Banach algebra
0 references
irreducible element
0 references
order continuous element
0 references
finite-rank pole
0 references
Frobenius normal form
0 references
disjunctive product
0 references