diff options
author | Holden Rohrer <hr@hrhr.dev> | 2021-09-21 17:12:46 -0400 |
---|---|---|
committer | Holden Rohrer <hr@hrhr.dev> | 2021-09-21 17:12:46 -0400 |
commit | 32f4af5f369fa9f0b2988ecad7797f4bec3661c3 (patch) | |
tree | 7ce1c56011914681d6e2ffb5737dcdf1078d3930 /li/04_vector_space | |
parent | b8433c9909bc5d29df16fd3011251a0a214d2b1a (diff) |
notes and homework
Diffstat (limited to 'li/04_vector_space')
-rw-r--r-- | li/04_vector_space | 30 |
1 files changed, 30 insertions, 0 deletions
diff --git a/li/04_vector_space b/li/04_vector_space new file mode 100644 index 0000000..720f44b --- /dev/null +++ b/li/04_vector_space @@ -0,0 +1,30 @@ +Vector Space is a set V and binary addition operator and a +scalar-by-vector multiplication operator where V is closed under the +binary and multiplication operators. (V, +, *) denotes the space. +V = R^n is one example of a vector space. + +A subspace is a subset of V s.t. (S, +, *) is a closed vector space. + +With A an mxn matrix, + +S = { x in R^n | Ax = 0 } is a subspace in R^n + +It is sufficient proof to check: +(i) \forall x,y \in S, x+y \in S + If Ax = 0, Ay = 0, A(x+y) = Ax + Ay = 0 + 0 = 0. +(ii) \forall x\in S, \alpha\in R, \alpha x \in S. + A(\alpha*x)= \alpha(Ax) = \alpha*0 = 0. +Therefore, S is a subspace of R^n. + +This is called the null space of A, null(A). + +AX = 0 is also a vector space over X\in R^M by R^M. + +If A is invertible, AX = 0 \to A^{-1} AX = A^{-1} 0 \to X = 0. + +S = span{a1, a2, ..., a_n} is a subspace in R^m + Proof of subspace omitted. + +S = column space of A = C(A) = R(A) = span of A. +R(A) stands for range. +Ax = b has a solution, iff b \in R(A) |