Wpis z mikrobloga

@kuba_kuba: niech V = p. lin nad K, dim V = n, w należy do V, B = baza V, a1,...,an należą do K, z1,...,zn należą do K

jeśli w = a1b1 + a2b2 + ... + anbn i jednocześnie w = z1b1 + z2b2 + ... + znbn to wtedy

w-w = 0 = (a1-z1)b1 + (a2-z2)b2 + ... + (zn-an)bn

ale z definicji bazy, b1,...,bn są lin. niez. więc