See also: Linear Algebra, basis vectors, column space, null space, solution space

1. The Problem Statement

Objective: Let be the vector space (polynomials of degree at most 2). Given the set where:

Question: Does the set span the entire vector space ? (i.e., Is ?)


2. Theoretical Approach

To span , any arbitrary polynomial must be expressible as a linear combination of and .

Where are scalars to be determined, and are arbitrary constants representing any possible polynomial in the universe of .


3. The Derivation

Step A: Expanding the Equation

We substitute the vectors into the linear combination formula:

Regrouping the terms on the right side by powers of :

Step B: System of Linear Equations

By comparing coefficients on both sides, we generate the system:

  1. term:
  2. term:
  3. Constant term:

Step C: Solving for Scalars

From equation (2), we isolate :

Substitute into equation (1) to find :

Step D: The Consistency Check (The Trap)

Now, we must verify if these scalar values satisfy the 3rd equation (the constant term). Substitute our found values:


4. The Conclusion & Counter-Example

The Result: The system is consistent ONLY IF the polynomial’s coefficients satisfy the specific relationship . Since a general polynomial in (like ) does not necessarily obey this rule, the system is generally inconsistent.

Formal Answer:

Counter-Example Proof: Consider the polynomial .

  • Here, .
  • According to our constraint, must be: .
  • However, our actual is .
  • Since , this polynomial cannot be built using and .

5. Key Takeaway for Engineering

The Dimensionality Rule: The vector space is isomorphic to (it has 3 dimensions: ). To span a 3-dimensional space, you generally need at least 3 linearly independent vectors.

In this problem, we were given only 2 vectors. Geometrically, this means creates a 2D plane cutting through the 3D space of polynomials. We can reach any point on that plane, but we cannot reach points (polynomials) that float “above” or “below” it.

Rule of Thumb: If the number of vectors in your set is less than the dimension of the space (), the set cannot span . It can only form a subspace.