Statements (20)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:mathematical_concept
|
| gptkbp:appliesTo |
gptkb:Hermitian_matrices
gptkb:compact_Lie_groups self-adjoint operators |
| gptkbp:field |
gptkb:mathematics
operator theory representation theory linear algebra |
| gptkbp:hasVariant |
gptkb:Weyl's_inequality
gptkb:Weyl's_theorem_on_complete_reducibility gptkb:Weyl's_theorem_on_eigenvalues gptkb:Weyl's_theorem_on_essential_spectrum |
| https://www.w3.org/2000/01/rdf-schema#label |
Weyl's theorem
|
| gptkbp:namedAfter |
gptkb:Hermann_Weyl
|
| gptkbp:relatedTo |
gptkb:Schur's_lemma
representation theory of Lie groups spectral theory |
| gptkbp:statedIn |
gptkb:Weyl's_1912_paper
|
| gptkbp:bfsParent |
gptkb:Hermann_Weyl
|
| gptkbp:bfsLayer |
4
|