|
Size: 2391
Comment:
|
Size: 2204
Comment: Cleanup
|
| Deletions are marked like this. | Additions are marked like this. |
| Line 1: | Line 1: |
| = Null Spaces = | = Null Space = |
| Line 3: | Line 3: |
| The '''null space''' of a system of equations is the set of solutions for which the dependent variables 'cancel out'. In other words, all values of ''x'' such that ''Ax = 0''. | A '''null space''' is a particular category of '''subspaces'''. The '''null space''' of a system of equations is the set of solutions for which the dependent variables cancel out. |
| Line 11: | Line 11: |
| == Utility == | == Definition == |
| Line 13: | Line 13: |
| Defining the null space of a system is useful for defining the '''complete solution'''. | In linear algebra, the '''null space''' is the subspace that satisfies '''''A'''x = 0''. It is notated as ''N('''A''')''. |
| Line 15: | Line 15: |
| Algebraically, null spaces have an identity property. Given any valid solution to ''Ax = b'', ''any'' combination of null spaces can be added to that solution to create another valid solution, because ''b + 0 = b''. | Null spaces are composed of null space vectors. There is always a '''zero vector''' in the null space. If a matrix is [[LinearAlgebra/Invertibility|invertible]] however, the zero vector is the ''only'' null space vector. Algebraically, null spaces have an identity property. Given any valid solution to '''''A'''x = b'', ''any'' combination of null spaces can be added to that solution to create another valid solution, because ''b + 0 = b''. |
| Line 21: | Line 23: |
| == Solving == | == Solution == |
| Line 23: | Line 25: |
| Given an [[LinearAlgebra/Elimination|eliminated]] matrix, the solution for null space begins with identifying the '''free columns'''. | Leaving aside the invertible case, the non-zero vectors of the null space can be solved for. |
| Line 25: | Line 27: |
| Null spaces will follow a pattern: * There will be a null space vector for each free column. * In other words, given a matrix ''A'' with ''n'' free columns, the null space of ''A'' (sometimes notated as ''N(A)'') has ''n'' dimensions. * Populate each vector with the corresponding free column position holding a one, and all other free column positions holding a zero. * Solve the system of equation given these values and given a right hand side value of 0. As an example, consider this system: |
Consider the below system of equations. |
| Line 35: | Line 30: |
| w + 2x + 2y + 2z = a 2w + 4x + 6y + 8z = b 3w + 6x + 8y + 10z = c |
w + 2x + 2y + 2z = 1 2w + 4x + 6y + 8z = 5 3w + 6x + 8y + 10z = 6 |
| Line 40: | Line 35: |
| The eliminated form of the augmented matrix ''A'' looks like: | This system is formulated as a matrix and eliminated into: |
| Line 43: | Line 38: |
| ┌ ┐ │ [1] 2 2 2 a│ │ 0 0 [2] 4 b-2a│ │ 0 0 0 0 c-b-a│ └ ┘ |
┌ ┐ ┌ ┐ ┌ ┐ │[1] 2 2 2│ │ w│ │ 1│ │ 0 0 [2] 4│ │ x│ = │ 3│ │ 0 0 0 0│ │ y│ │ 0│ └ ┘ │ z│ └ ┘ └ ┘ |
| Line 50: | Line 46: |
| From this point, the null space of ''A'' can be computed. | The number of vectors in the null space match the number of free variables. In this case, there are 2. |
| Line 52: | Line 48: |
| Note that the free columns are in positions 2 and 4. Therefore, the null space solutions begin like: | The null space vectors can be 'prepopulated' or 'templated' by allowing pivot variables to vary and alternating which free variable is set to 0 or 1. In this case, they are: * ''[w 1 y 0]'' * ''[w 0 y 1]'' |
| Line 54: | Line 52: |
| {{{ [? 1 ? 0] [? 0 ? 1] }}} The first solution can be found by rewriting the first equation from the system (with 0 as the right hand value): |
Solve '''''A'''x = 0'' using these values. For example, substituting in the first vector's values gives... |
| Line 66: | Line 59: |
| }}} | |
| Line 68: | Line 60: |
| Substitute this into the second equation: {{{ |
|
| Line 73: | Line 62: |
| 2w + 4 + 6y = 0 |
|
| Line 78: | Line 69: |
| }}} | |
| Line 80: | Line 70: |
| Substitute this into the first equation again: {{{ |
|
| Line 88: | Line 75: |
| The first null space solution is: | ...a null space vector in ''[-2 1 0 0]''. |
| Line 90: | Line 77: |
| {{{ [-2 1 0 0] }}} Repeat the process for the second solution, arriving at: {{{ [2 0 -1 1] }}} |
The second null space vector is ''[2 0 -1 1]''. |
Null Space
A null space is a particular category of subspaces. The null space of a system of equations is the set of solutions for which the dependent variables cancel out.
Contents
Definition
In linear algebra, the null space is the subspace that satisfies Ax = 0. It is notated as N(A).
Null spaces are composed of null space vectors. There is always a zero vector in the null space. If a matrix is invertible however, the zero vector is the only null space vector.
Algebraically, null spaces have an identity property. Given any valid solution to Ax = b, any combination of null spaces can be added to that solution to create another valid solution, because b + 0 = b.
Solution
Leaving aside the invertible case, the non-zero vectors of the null space can be solved for.
Consider the below system of equations.
w + 2x + 2y + 2z = 1 2w + 4x + 6y + 8z = 5 3w + 6x + 8y + 10z = 6
This system is formulated as a matrix and eliminated into:
┌ ┐ ┌ ┐ ┌ ┐
│[1] 2 2 2│ │ w│ │ 1│
│ 0 0 [2] 4│ │ x│ = │ 3│
│ 0 0 0 0│ │ y│ │ 0│
└ ┘ │ z│ └ ┘
└ ┘The number of vectors in the null space match the number of free variables. In this case, there are 2.
The null space vectors can be 'prepopulated' or 'templated' by allowing pivot variables to vary and alternating which free variable is set to 0 or 1. In this case, they are:
[w 1 y 0]
[w 0 y 1]
Solve Ax = 0 using these values. For example, substituting in the first vector's values gives...
w + 2x + 2y + 2z = 0 w + 2(1) + 2y + 2(0) = 0 w + 2 + 2y = 0 w = -2 - 2y 2w + 4x + 6y + 8z = 0 2w + 4(1) + 6y + 8(0) = 0 2w + 4 + 6y = 0 2w + 4 + 6y = 0 2(-2 - 2y) + 4 + 6y = 0 -4 - 4y + 4 + 6y = 0 2y = 0 y = 0 w = -2 - 2y w = -2 - 2(0) w = -2
...a null space vector in [-2 1 0 0].
The second null space vector is [2 0 -1 1].