一般的な行列

ウィキペディア小見出し辞書

一般的な行列

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2018/10/09 07:03 UTC 版)

「エルミート標準形」の記事における「一般的な行列」の解説

より一般的に、成分が整数であるような m×n 行列がエルミート標準形（HNF）であるとは、 0 ≤ r ≤ n を満たすような r、および 単調増加関数 f: [r + 1, n] → [1, m] が存在し、M のはじめの r 列がゼロで、r + 1 ≤ j ≤ n に対し mf(j)j > 0。 i > f(j) のときは、mij = 0。 k < f(j) のときは、mf(j)j > mkj ≥ 0。 が成立することを言う。