| dbo:abstract |
In functional analysis, every C*-algebra is isomorphic to a subalgebra of the C*-algebra of bounded linear operators on some Hilbert space This article describes the spectral theory of closed normal subalgebras of (en) |
| dbo:wikiPageID |
63857858 (xsd:integer) |
| dbo:wikiPageLength |
16438 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID |
1055441622 (xsd:integer) |
| dbo:wikiPageWikiLink |
dbr:Σ-algebra dbr:Normal_subgroup dbr:Function_(mathematics) dbr:Sigma_additivity dbr:Complex_measure dbr:Functional_analysis dbr:Measurable_space dbr:Hilbert_space dbc:C*-algebras dbr:C*-algebra dbr:Self-adjoint_operator dbr:Seminorm dbr:Subalgebra dbr:Self-adjoint dbr:Regular_Borel_measure dbr:Projection_operator dbr:Closed_(mathematics) dbr:Bounded_linear_operator |
| dbp:mathStatement |
Suppose is a closed normal subalgebra of that contains the identity operator and let be the maximal ideal space of Let be the Borel subsets of For every in let denote the Gelfand transform of so that is an injective map There exists a unique resolution of identity that satisfies: the notation is used to summarize this situation. Let be the inverse of the Gelfand transform where can be canonically identified as a subspace of Let be the closure of the linear span of Then the following are true: is a closed subalgebra of containing There exists a isometric *-isomorphism extending such that for all * Recall that the notation means that for all ; * Note in particular that for all * Explicitly, satisfies and for every . If is open and nonempty then A bounded linear operator commutes with every element of if and only if it commutes with every element of (en) Let be a resolution of identity on There exists a closed normal subalgebra of and an isometric *-isomorphism satisfying the following properties: for all and which justifies the notation ; for all and ; an operator commutes with every element of if and only if it commutes with every element of if is a simple function equal to where is a partition of and the are complex numbers, then ; if is the limit of a sequence of simple functions in then converges to in and ; for every (en) |
| dbp:name |
Theorem (en) |
| dbp:wikiPageUsesTemplate |
dbt:Annotated_link dbt:Cite_book dbt:Em dbt:Math dbt:Multiple_issues dbt:One_source dbt:Reflist dbt:See_also dbt:Sfn dbt:Technical dbt:Functional_analysis dbt:Math_theorem dbt:Robertson_Topological_Vector_Spaces dbt:Rudin_Walter_Functional_Analysis dbt:Schaefer_Wolff_Topological_Vector_Spaces dbt:SpectralTheory |
| dcterms:subject |
dbc:C*-algebras |
| rdf:type |
owl:Thing |
| rdfs:comment |
In functional analysis, every C*-algebra is isomorphic to a subalgebra of the C*-algebra of bounded linear operators on some Hilbert space This article describes the spectral theory of closed normal subalgebras of (en) |
| rdfs:label |
Spectral theory of normal C*-algebras (en) |
| rdfs:seeAlso |
dbr:Projection-valued_measure |
| owl:sameAs |
wikidata:Spectral theory of normal C*-algebras https://global.dbpedia.org/id/C1TKm |
| prov:wasDerivedFrom |
wikipedia-en:Spectral_theory_of_normal_C*-algebras?oldid=1055441622&ns=0 |
| foaf:isPrimaryTopicOf |
wikipedia-en:Spectral_theory_of_normal_C*-algebras |
| is dbo:wikiPageWikiLink of |
dbr:Decomposition_of_spectrum_(functional_analysis) dbr:Spectral_theory_of_compact_operators dbr:Projection-valued_measure dbr:Spectral_theory dbr:Spectral_theorem |
| is foaf:primaryTopic of |
wikipedia-en:Spectral_theory_of_normal_C*-algebras |