20/04/12 12:55:25.59 yHJL3tga.net
Z = (z_i^{j-1}) とする。
w = (w_1, …, w_{m+1})^T とする。
Z*x = 0
の解は x = (0, …, 0)^T だけしかない。
よって、 x → Z*x は単射、したがって、全単射。
よって、
Z*x = w
は一意的な解を持つ。
20/04/12 12:55:25.59 yHJL3tga.net
Z = (z_i^{j-1}) とする。
w = (w_1, …, w_{m+1})^T とする。
Z*x = 0
の解は x = (0, …, 0)^T だけしかない。
よって、 x → Z*x は単射、したがって、全単射。
よって、
Z*x = w
は一意的な解を持つ。