多项式的线性代数笔记

We’ll be working with the set , real polynomials of degree . Such polynomials can be expressed using scalar coefficients as follows:

Vector space

The set , along with addition of polynomials and scalar multiplication form a vector space. As a proof, let’s review how the vector space axioms are satisfied. We’ll use , and as arbitrary polynomials from the set for the demonstration. Similarly, and are arbitrary scalars in .

Associativity of vector addition:

This is trivial because addition of polynomials is associative [1]. Commutativity is similarly trivial, for the same reason:

Commutativity of vector addition:

Identity element of vector addition:

The zero polynomial 0 serves as an identity element. , we have .

Inverse element of vector addition:

For each , we can use as the additive inverse, because .

Identity element of scalar multiplication

The scalar 1 serves as an identity element for scalar multiplication. For each , it’s true that .

Associativity of scalar multiplication:

For any two scalars and :

Distributivity of scalar multiplication over vector addition:

For any , and scalar :

Distributivity of scalar multiplication over scalar addition:

For any scalars and and polynomial :

Linear independence, span and basis

Since we’ve shown that polynomials in form a vector space, we can now build additional linear algebraic definitions on top of that.

A set of polynomials is said to be linearly independent if

implies . In words, the only linear combination resulting in the zero vector is when all coefficients are 0.

As an example, let’s discuss the fundamental building blocks of polynomials in : the set . These are linearly independent because:

is true only for zero polynomial, in which all the coefficients . This comes from the very definition of polynomials. Moreover, this set spans the entire because every polynomial can be (by definition) expressed as a linear combination of .

Since we’ve shown these basic polynomials are linearly independent and span the entire vector space, they are a basis for the space. In fact, this set has a special name: the monomial basis (because a monomial is a polynomial with a single term).

Checking if an arbitrary set of polynomials is a basis

Suppose we have some set polynomials, and we want to know if these form a basis for . How do we go about it?

The idea is using linear algebra the same way we do for any other vector space. Let’s use a concrete example to demonstrate:

Is the set a basis for ? We’ll start by checking whether the members of are linearly independent. Write:

By regrouping, we can turn this into:

For this to be true, the coefficient of each monomial has to be zero; mathematically:

In matrix form:

We know how to solve this, by reducing the matrix into row-echelon form. It’s easy to see that the reduced row-echelon form of this specific matrix is , the identity matrix. Therefore, this set of equations has a single solution: [2].

We’ve shown that the set is linearly independent. Now let’s show that it spans the space . We want to analyze:

And find the coefficients that satisfy this for any arbitrary , and . We proceed just as before, by regrouping on the left side:

and equating the coefficient of each power of separately:

If we turn this into matrix form, the matrix of coefficients is exactly the same as before. So we know there’s a single solution, and by rearranging the matrix into , the solution will appear on the right hand side. It doesn’t matter for the moment what the actual solution is, as long as it exists and is unique. We’ve shown that spans the space!

Since the set is linearly independent and spans , it is a basis for the space.

Inner product

I’ve discussed inner products for functions in the post about Hilbert space. Well, polynomials are functions, so we can define an inner product using integrals as follows [3]:

Where the bounds and are arbitrary, and could be infinite. Whenever we deal with integrals we worry about convergence; in my post on Hilbert spaces, we only talked about - the square integrable functions. Most polynomials are not square integrable, however. Therefore, we can restrict this using either:

1. A special weight function to make sure the inner product integral converges
2. Set finite bounds on the integral, and then we can just set .

Let’s use the latter, and restrict the bounds into the range , setting . We have the following inner product:

Let’s check that this satisfies the inner product space conditions.

Conjugate symmetry:

Since real multiplication is commutative, we can write:

We deal in the reals here, so we can safely ignore complex conjugation.

Linearity in the first argument:

Let and . We want to show that

Expand the left-hand side using our definition of inner product:

The result is equivalent to .

Positive-definiteness:

We want to show that for nonzero , we have . First of all, since for all , it’s true that:

What about the result 0 though? Well, let’s say that

Since is a non-negative function, this means that the integral of a non-negative function ends up being 0. But is a polynomial, so it’s continuous, and so is . If the integral of a continuous non-negative function is 0, it means the function itself is 0. Had it been non-zero in any place, the integral would necessarily have to be positive as well.

We’ve proven that only when is the zero polynomial. The positive-definiteness condition is satisfied.

In conclusion, along with the inner product we’ve defined forms an inner product space.

Orthogonality

Now that we have an inner product, we can define orthogonality on polynomials: two polynomials are orthogonal (w.r.t. our inner product) iff

Contrary to expectation [4], the monomial basis polynomials are not orthogonal using our definition of inner product.

For example, calculating the inner product for and :

There are other sets of polynomials that are orthogonal using our inner product. For example, the Legendre polynomials; but this is a topic for another post.

[1]There’s a level of basic algebra below which we won’t descend in these notes. We could break this statement further down by saying that something like can be added to by adding each power of separately for any and , but let’s just take it for granted. [2]Obviously, this specific set of equations is quite trivial to solve without matrices; I just want to demonstrate the more general approach. Once we have a system of linear equations, the whole toolbox of linear algebra is at our disposal. For example, we could also have checked the determinant and seen it’s non-zero, which means that a square matrix is invertible, and in this case has a single solution of zeroes. [3]And actually with this (or any valid) inner product, indeed forms a Hilbert space, because it’s finite-dimensional, and every finite-dimensional inner product space is complete. [4]Because of how naturally this set spans . And indeed, we can define alternative inner products using which monomials are orthogonal.