A spectral theorem for matrices over fields of power series (Q1898751): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(5 intermediate revisions by 4 users not shown) | |||
Property / author | |||
Property / author: Hans Arwed Keller / rank | |||
Property / reviewed by | |||
Property / reviewed by: László Márki / rank | |||
Property / author | |||
Property / author: Hans Arwed Keller / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: László Márki / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2054431772 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Normal matrices over Hermitian discrete valuation rings / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3356452 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On a class of orthomodular quadratic spaces / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Algebras of bounded operators on nonclassical orthomodular spaces / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5514647 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5796078 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 17:26, 23 May 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A spectral theorem for matrices over fields of power series |
scientific article |
Statements
A spectral theorem for matrices over fields of power series (English)
0 references
24 April 1996
0 references
The authors consider matrices over fields \(K = \mathbb{R} ((t_1, t_2, \dots, t_m))\) of formal power series in one or several variables with real coefficients. The main result states that over these \(K\) every symmetric matrix can be orthogonally diagonalized. It is also shown that this result even carries over to fields of generalized power series in infinitely many variables. The method of proof can be outlined as follows. First write \(K = K_0 ((t))\) where \(t = t_m\) and \(K_0 = \mathbb{R} ((t_1, \dots, t_{m - 1}))\). The field \(K = K_0 ((t))\) is complete with respect to a nonarchimedean discrete valuation. This allows to present a given symmetric matrix \({\mathcal A} \in \text{Mat}_n (K)\) as a power series \({\mathcal A} = A_0 + A_1t + A_2 t^2 + \dots\) with coefficients \(A_k \in \text{Mat}_n (K_0)\). Secondly a recursive construction is set up that produces an orthogonal transition matrix \({\mathcal U} = U_0 + U_1t + U_2t^2 + \dots\) such that \({\mathcal U}^{tr} {\mathcal A} {\mathcal U}\) is decomposed into two blocks of smaller size. The proof is then finished by an induction. The eigenvalues of \({\mathcal A}\) are obtained at the end as a by-product.
0 references
non-archimedean valued fields
0 references
symmetric matrices
0 references
orthogonal diagonalization
0 references
formal power series
0 references
eigenvalues
0 references