Linear Algebra - Dimension of a vector space

Card Puncher Data Processing

About

The dimension of a vector space V is the size of a basis for that vector space written:

  • dim V.

dim Span = rank

Dimension Lemma

If U is a subspace of W then

  • D1: <math>dim U <= dimW</math> (or <math>dim U <= |W|</math> ) and
  • D2: if <math>dim U = dimW</math> then <math>U = W</math>

Example:

  • Suppose V = Span {[1, 2], [2, 1]}. Clearly V is a subspace of R2. However, the set {[1, 2], [2, 1]} is linearly independent, so dim V = 2. Since <math>dim \mathbb{R}^2 = 2</math> , D2 shows that V = R2.
  • S = {[−0.6,−2.1,−3.5,−2.2], [−1.3, 1.5,−0.9,−0.5], [4.9,−3.7, 0.5,−0.3], [2.6,−3.5,−1.2,−2.0], [−1.5,−2.5,−3.5, 0.94]} Since every vector in S is a 4-vector, Span S is a subspace of R4. Since <math>dim \mathbb{R}^4 = 4</math> , D1 shows <math>dimSpan S <= 4</math> .

Theorem

Kernel-Image

Definition

For any linear function <math>f : V \mapsto W</math> : <MATH> \text{dim } \href{function#kernel}{Ker} f + \text{dim } \href{function#image}{lm} f = \text{dim V} </MATH>

Rank-Nullity

Apply Kernel-Image Theorem to a matrix function f (x) = Ax:

  • Ker f = Null A
  • dim lm f = dim Col A = rank A

For any n-column matrix A, <MATH> \href{matrix#nullity}{nullity } A + \href{rank}{rank } A = n </MATH>

Dual Dimension

Example

  • over R: Let V = Span {[1, 0, 1], [0, 1, 0]}. Then V* = Span {[1, 0,-1]}. dim V + dimV* = 3
  • over R: Let V = Span {[1, 0, 1, 0], [0, 1, 0, 1]}. Then V* = Span {[1, 0,-1, 0], [0, 1, 0,-1]} dim V + dimV* = 4
  • over GF(2): Let V = Span {[1, 0, 1], [0, 1, 0]}. Then V* = Span {[1, 0, 1]}. dim V + dimV* = 3

Dual Dimension Theorem: <MATH>dim V + dim V^* = n</MATH>

Proof:

Let <math>a_1, \dots , a_m</math> be generators for V.

Let <math>A = \begin{bmatrix} \begin{array}{r} a_1 \\ \hline \\ \vdots \\ \hline \\ a_m \end{array} \end{bmatrix} </math> then <math>V^* = \href{matrix#null space}{Null} A</math>

Rank-Nullity Theorem states that





Discover More
Card Puncher Data Processing
Linear Algebra - Dual of a vector space

The set of vectors u such that u · v = 0 for every vector v in V is called thedual of V. Dual is written as . Definition: For a subspace V of , the dual space of V, written , is: The dual of Span {a1,...
Card Puncher Data Processing
Linear Algebra - Find a basis computation problem

Find a basis for a vector space Example: Find a basis for the null space of By the dot-product definition of matrix-vector multiplication, a vector v is in the null space of A if the dot-product...
Function Domain Codomain Caesar Crypto
Linear Algebra - Function (Set)

For each input element in a set , a function assigns a single output element from another set . is called the domain of the function is called the co-domain or in Mathese: The function...
Card Puncher Data Processing
Linear Algebra - Inner product of two vectors

Inner products allow the rigorous introduction of intuitive geometrical notions such as the length of a vector or the angle between two vectors. They also provide the means of defining orthogonality between...
Card Puncher Data Processing
Linear Algebra - Linear Function (Weighted sum)

f is a linear function if she is defined by where: M is an R x C matrix and A Linear function can be expressed as a matrix-vector product: If a function can be expressed as a matrix-vector product...
Card Puncher Data Processing
Linear Algebra - Matrix

The Traditional notion of a matrix is: a two-dimensional array a rectangular table of known or unknown numbers One simple role for a matrix: packing together a bunch of columns or rows Matrix...
Card Puncher Data Processing
Linear Algebra - Rank

in linear algebra The rank of a set S of vectors is the dimension of Span S written: rank S dim Any set of D-vectors has rank at most |D|. If rank(S) = len(S) then the vectors are linearly dependent...
Card Puncher Data Processing
Linear Algebra - Vector Space (set of vector)

A vector space is a subset of the set of function representing a geometric objectpassing through the origin. A vector space over a field F is any set V of vector : with the addition and scalar-multiplication...



Share this page:
Follow us:
Task Runner