06.09.2021 Views

Linear Algebra, Theory And Applications, 2012a

Linear Algebra, Theory And Applications, 2012a

Linear Algebra, Theory And Applications, 2012a

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

8.4. EXERCISES 219<br />

8.3.4 The Lindemannn Weierstrass Theorem <strong>And</strong> Vector Spaces<br />

As another application of the abstract concept of vector spaces, there is an amazing theorem<br />

due to Weierstrass and Lindemannn.<br />

Theorem 8.3.34 Suppose a 1 , ··· ,a n are algebraic numbers and suppose α 1 , ··· ,α n are<br />

distinct algebraic numbers. Then<br />

n∑<br />

a i e αi<br />

≠0<br />

i=1<br />

In other words, the {e α1 , ··· ,e αn } are independent as vectors with field of scalars equal to<br />

the algebraic numbers.<br />

There is a proof of this in the appendix. It is long and hard but only depends on<br />

elementary considerations other than some algebra involving symmetric polynomials. See<br />

Theorem F.3.5.<br />

A number is transcendental if it is not a root of a polynomial which has integer coefficients.<br />

Most numbers are this way but it is hard to verify that specific numbers are<br />

transcendental. That π is transcendental follows from<br />

e 0 + e iπ =0.<br />

By the above theorem, this could not happen if π were algebraic because then iπ would also<br />

be algebraic. Recall these algebraic numbers form a field and i is clearly algebraic, being<br />

arootofx 2 +1. This fact about π was first proved by Lindemannn in 1882 and then the<br />

general theorem above was proved by Weierstrass in 1885. This fact that π is transcendental<br />

solved an old problem called squaring the circle which was to construct a square with the<br />

same area as a circle using a straight edge and compass. It can be shown that the fact π is<br />

transcendental implies this problem is impossible. 1<br />

8.4 Exercises<br />

⎛⎛<br />

1. Let H denote span ⎝⎝ 1 2<br />

0<br />

and determine a basis.<br />

⎞ ⎛<br />

⎠ , ⎝ 1 ⎞ ⎛<br />

4 ⎠ , ⎝ 1 ⎞ ⎛<br />

3 ⎠ , ⎝ 0 ⎞⎞<br />

1 ⎠⎠ . Find the dimension of H<br />

0 1 1<br />

2. Let M = { u =(u 1 ,u 2 ,u 3 ,u 4 ) ∈ R 4 : u 3 = u 1 =0 } . Is M a subspace? Explain.<br />

3. Let M = { u =(u 1 ,u 2 ,u 3 ,u 4 ) ∈ R 4 : u 3 ≥ u 1<br />

}<br />

. Is M a subspace? Explain.<br />

4. Let w ∈ R 4 and let M = { u =(u 1 ,u 2 ,u 3 ,u 4 ) ∈ R 4 : w · u =0 } . Is M a subspace?<br />

Explain.<br />

5. Let M = { u =(u 1 ,u 2 ,u 3 ,u 4 ) ∈ R 4 : u i ≥ 0foreachi =1, 2, 3, 4 } . Is M a subspace?<br />

Explain.<br />

6. Let w, w 1 be given vectors in R 4 and define<br />

M = { u =(u 1 ,u 2 ,u 3 ,u 4 ) ∈ R 4 : w · u = 0 and w 1 · u =0 } .<br />

Is M a subspace? Explain.<br />

1 Gilbert, the librettist of the Savoy operas, may have heard about this great achievement. In Princess<br />

Ida which opened in 1884 he has the following lines. “As for fashion they forswear it, so the say - so they<br />

say; and the circle - they will square it some fine day some fine day.” Of course it had been proved impossible<br />

to do this a couple of years before.

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!