Functional analysis Definition
Banach algebra
Builds on Normed algebraBanach space
Definition
Let be or . A Banach algebra over is a normed algebra over such that the normed space is complete, that is, a Banach space. So is an associative -algebra with a complete norm such that for all . A Banach algebra is unital if it has a unit , and then one usually also asks .
Remarks
Example: for a compact Hausdorff space , the algebra of continuous functions with . Submultiplicativity holds since for every , and completeness holds because a uniform limit of continuous functions is continuous. Example: the bounded linear operators on a Banach space with the operator norm. Non-example: the polynomial functions on with the same sup norm form a normed algebra but not a Banach algebra. They are dense in by the Weierstrass approximation theorem, and is a uniform limit of polynomials that is not a polynomial, so completeness fails. In a unital Banach algebra, is invertible with inverse when .
Reading path
To understand this page from the ground up, read these 40 pages in order. The foundations come first.
Show the path as a graph
- no evidence level
- Element definition
- Extended real number line object
- Norm concept
- Normed vector space concept
- Proposition concept
- Real numbers object
- Set bounded above definition
- Set definition
- Normed algebra definition
- Conjunction definition
- Disjunction definition
- Implication definition
- Predicate definition
- Supremum definition
- Empty set object
- Family of sets definition
- Ordered pair definition
- Intersection definition
- Union definition
- Existential quantifier definition
- Universal quantifier definition
- Cartesian product definition
- Subset definition
- Union of a family of sets definition
- Uniqueness quantifier definition
- Binary relation definition
- Topological space definition
- Function definition
- Metric space definition
- Convergence of a sequence in a metric space definition
- Open ball definition
- Diameter of a set definition
- Metric topology definition
- Epsilon characterisation of Cauchy sequences statement
- Complete metric space definition
- Open set definition
- Equivalent metrics definition
- Equivalent norms definition
- Banach space definition
- Banach algebra definition
Further reading
About this page
| Tag | TFYXH8QNR2 |
|---|---|
| URI | m2://TFYXH8QNR2 |
| Kind | definition |
| Writing | W0 stub |
| MSC | 46H05, 46J05 |
| Defines | Banach algebra |
| Uses | Normed algebra, Banach space |
Markdown · JSON · Edit on GitHub
What this page needs for W1
- a source with a locator (0 of 1)
The writing levels say how complete the text of a page is. They do not measure its truth.
What links here
No page links to this page yet.