Skip to content
Hub Nexus

No author yetClaim it

Version 1Updated 4 min read

Support

This subsection is a review only and we take the main results as known. For proofs, see (Birkhoff & MacLane 1965) or (Ebbinghaus 1990).

Just as integers have a division operation— e.g.,
"4 goes 5 times into 21 with remainder 1"— so
do polynomials.

Theorem 1.1 (Division Theorem for Polynomials)

Let c ( x ) be a polynomial.
If m ( x ) is a non-zero polynomial then there are quotient and
remainder polynomials q ( x ) and r ( x ) such that

c ( x ) = m ( x ) ⋅ q ( x ) + r ( x )

where the degree of r ( x ) is strictly less than the degree of m ( x ).

In this book constant polynomials,
including the zero polynomial, are said to have degree 0.
(This is not the standard definition, but it is convienent here.)

The point of the integer division statement
"4 goes 5 times into 21 with remainder 1"
is that the remainder is less than 4— while 4 goes 5
times, it does not go 6 times.
In the same way, the point of the polynomial division statement
is its final clause.

Example 1.2

If c ( x ) = 2 {x}^{3} − 3 {x}^{2} + 4 x and m ( x ) = {x}^{2} + 1 then q ( x ) = 2 x − 3 and r ( x ) = 2 x + 3. Note that r ( x ) has a lower degree than m ( x ).

Corollary 1.3

The remainder when c ( x ) is divided by x − λ is the constant polynomial r ( x ) = c ( λ ).

Proof

The remainder must be a constant polynomial because it is of degree less than the divisor x − λ, To determine the constant, take m ( x ) from the theorem to be x − λ and substitute λ for x to get c ( λ ) = ( λ − λ ) ⋅ q ( λ ) + r ( x ).

If a divisor m ( x ) goes into a dividend c ( x ) evenly,
meaning that r ( x ) is the zero polynomial,
then m ( x ) is a factor of c ( x ).
Any root of the factor (any λ ∈ ℝ such that
m ( λ ) = 0) is a root of c ( x ) since
c ( λ ) = m ( λ ) ⋅ q ( λ ) = 0.
The prior corollary immediately yields the following converse.

Corollary 1.4

If λ is a root of the polynomial c ( x ) then x − λ divides c ( x ) evenly, that is, x − λ is a factor of c ( x ).

Finding the roots and factors of a high-degree polynomial can be hard.
But for second-degree polynomials we have the quadratic formula: the
roots of a {x}^{2} + b x + c are

{λ}_{1} = \frac{− b + \sqrt{{b}^{2} − 4 a c}}{2 a} \ {λ}_{2} = \frac{− b − \sqrt{{b}^{2} − 4 a c}}{2 a}

(if the discriminant {b}^{2} − 4 a c is negative then the polynomial
has no real number roots).
A polynomial that cannot be factored into two lower-degree polynomials
with real number coefficients is irreducible over the reals.

Theorem 1.5

Any constant or linear polynomial is irreducible over the reals. A quadratic polynomial is irreducible over the reals if and only if its discriminant is negative. No cubic or higher-degree polynomial is irreducible over the reals.

Corollary 1.6

Any polynomial with real coefficients can be factored into linear and irreducible quadratic polynomials. That factorization is unique; any two factorizations have the same powers of the same factors.

Note the analogy with the prime factorization of integers.
In both cases, the uniqueness clause is very useful.

Example 1.7

Because of uniqueness we know, without multiplying them out, that ( x + 3 {)}^{2} ( {x}^{2} + 1 {)}^{3} does not equal ( x + 3 {)}^{4} ( {x}^{2} + x + 1 {)}^{2}.

Example 1.8

By uniqueness, if c ( x ) = m ( x ) ⋅ q ( x ) then where c ( x ) = ( x − 3 {)}^{2} ( x + 2 {)}^{3} and m ( x ) = ( x − 3 ) ( x + 2 {)}^{2}, we know that q ( x ) = ( x − 3 ) ( x + 2 ).

While {x}^{2} + 1 has no real roots and so doesn't factor over the real
numbers, if we imagine a root— traditionally denoted i
so that {i}^{2} + 1 = 0— then {x}^{2} + 1 factors into a product of linears
( x − i ) ( x + i ).

So we adjoin this root i to the reals and close the new system with
respect to addition, multiplication, etc. (i.e., we also add
{}3 + i, and {}2 i, and {}3 + 2 i, etc., putting in all linear
combinations of 1 and i).
We then get a new structure, the complex numbers, denoted
ℂ.

In ℂ we can factor (obviously, at least some) quadratics that would be
irreducible if we were to stick to the real numbers.
Surprisingly, in ℂ we can not only factor {x}^{2} + 1
and its close relatives, we can factor any quadratic.

a {x}^{2} + b x + c = a ⋅ ( x − \frac{− b + \sqrt{{b}^{2} − 4 a c}}{2 a} ) ⋅ ( x − \frac{− b − \sqrt{{b}^{2} − 4 a c}}{2 a} )

Example 1.9

The second degree polynomial {x}^{2} + x + 1 factors over the complex numbers
into the product of two first degree polynomials.

( x − \frac{− 1 + \sqrt{− 3}}{2} ) ( x − \frac{− 1 − \sqrt{− 3}}{2} ) = ( x − ( − \frac{1}{2} + \frac{\sqrt{3}}{2} i ) ) ( x − ( − \frac{1}{2} − \frac{\sqrt{3}}{2} i ) )

Corollary 1.10 (Fundamental Theorem of Algebra)

Polynomials with complex coefficients factor into linear polynomials with complex coefficients. The factorization is unique.

References

  • Ebbinghaus, H. D. (1990), Numbers, Springer-Verlag.
  • Birkhoff, Garrett; MacLane, Saunders (1965), Survey of Modern Algebra (Third ed.), Macmillian.

Where this page came from

This page was imported from Wikibooks. From “Linear Algebra” on Wikibooks, by its contributors, under CC BY-SA 4.0. Changed here: set as a page; navigation and edit links left out; each image under its own licence, credited in its caption.

Nobody has written it yet — it is the source material at a new address, which is why search engines are asked to skip it and why no one earns from it. It is up for grabs: take it on, and it is yours to rewrite and to earn from.

Comments

Spinner Logo

Next in Linear Algebra

CC BY-SA 4.0
Recall the definitions of the complex number addition $( a + b i ) \ + \ ( c + d i ) = ( a + c ) + ( b + d ) i$ and multiplication. $\begin{matrix}( a + b i ) ( c + d i ) & = a c + a d i + b c i + b d ( − 1 ) \\ & = ( a c − b d ) + ( a d + b c ) i\end{matrix}$ Example 2.1 For instance, $( 1 − 2 i )
CC BY-SA 4.0
In matrix terms, ${R e p}_{D , D} ( t ) = {R e p}_{B , D} ( \text{id} ) \ {R e p}_{B , B} ( t ) \ ( {R e p}_{B , D} ( \text{id} ) {)}^{− 1}$ (recall that a representation of composition like this one reads right to left). Definition 1.1 The matrices T and S are **similar** if there is a nonsingular
CC BY-SA 4.0
The prior subsection defines the relation of similarity and shows that, although similar matrices are necessarily matrix equivalent, the converse does not hold. Some matrix-equivalence classes break into two or more similarity classes (the nonsingular $n \ × \ n$ matrices, for instance). This means
CC BY-SA 4.0
In this subsection we will focus on the property of [Corollary 2.4]( Definition 3.1 A transformation $t : V → V$ has a scalar **eigenvalue** $λ$ if there is a nonzero **eigenvector** $\overset{→}{ζ} ∈ V$ such that $t ( \overset{→}{ζ} ) = λ ⋅ \overset{→}{ζ}$. ("Eigen" is German for "characteristic of
CC BY-SA 4.0
This subsection is optional, although it is necessary for later material in this section and in the next one. A linear transformations $t : V → V$, because it has the same domain and codomain, can be iterated.[1] That is, compositions of t with itself such as ${t}^{2} = t ∘ t$ and ${t}^{3} = t ∘ t ∘
CC BY-SA 4.0
This subsection is optional, and requires material from the optional Direct Sum subsection. The prior subsection shows that as j increases, the dimensions of the $ℛ ( {t}^{j} )$'s fall while the dimensions of the $𝒩 ( {t}^{j} )$'s rise, in such a way that this rank and nullity split the dimension o