{"id":741,"date":"2017-09-08T18:59:26","date_gmt":"2017-09-08T22:59:26","guid":{"rendered":"http:\/\/blog.richmond.edu\/math320\/?p=741"},"modified":"2017-09-08T18:59:26","modified_gmt":"2017-09-08T22:59:26","slug":"algebraic-and-transcendental-numbers","status":"publish","type":"post","link":"https:\/\/blog.richmond.edu\/math320\/2017\/09\/08\/algebraic-and-transcendental-numbers\/","title":{"rendered":"Algebraic and Transcendental Numbers"},"content":{"rendered":"

By Grace Conway and Greg Bischoff<\/b><\/p>\n

Introduction<\/b><\/p>\n

The real numbers can be divided into many different categories to help facilitate different discussions of real numbers for different contexts. Usually in class we divide the real line into the rational and irrational numbers, but we don\u2019t have to do it that way. We can discuss the real numbers by splitting the reals into what are known as the algebraic and transcendental numbers. The algebraic numbers are numbers that can be written as the root to a non-zero polynomial with rational coefficients (1). We define a polynomial as:<\/span><\/p>\n

\"a_nx^n where \"n <\/span><\/p>\n

Transcendentals are numbers that are not algebraic; numbers that cannot be written as a root to a non-zero polynomial with rational coefficients (1).<\/span><\/p>\n

Are all rational numbers also algebraic?<\/strong><\/p>\n

We may want to consider the relationship between rational and algebraic numbers since these are two ways to categorize the real numbers. As it turns out, all rational numbers are algebraic numbers. This fact follows trivially from our definition of a polynomial using only two integer terms\u2014a binomial. By manipulating a binomial with a negative second term, we will find its root may be any desired rational.<\/span><\/p>\n

\"qx<\/span><\/p>\n

\"qx<\/span><\/p>\n

\"x (\"p)<\/span><\/p>\n

The root of this polynomial is the rational \"p\/q\", thus the rationals are algebraic.<\/span><\/p>\n

Are all irrational numbers also transcendental?<\/strong><\/p>\n

One may think that all irrational numbers are transcendental through the inversion of the previous point, but this is not the case. This can be seen by an example of \"\sqrt{2}\". Recall from the reading that we have previously shown that \"\sqrt{2}\" is irrational. The \"\sqrt{2}\" is the solution to the equation:<\/span><\/p>\n

\"x^2<\/span><\/p>\n

Where that solution is a root of the following polynomial:<\/span><\/p>\n

\"x^2<\/span><\/p>\n

What is the cardinality of the algebraic and transcendental numbers?<\/strong><\/p>\n

Now, that we know that all rational numbers are algebraic numbers, we might be curious about how many algebraic numbers exist. The cardinality of the algebraic numbers is countable infinity (3). If you are interested in the formal proof, please look <\/span>here<\/span><\/a>, but we will provide the highlights for you.<\/span><\/p>\n

The proof uses a counting argument through a mapping from the polynomials of degree \"n\" (from the set denoted \"P^n\") to the natural numbers and the union of all of these polynomials, which makes the collection of all polynomials countable. Then, each polynomial is of order \"n\" and has n roots. Since \"n\" is countable, and the number of polynomials is countable, the number of roots of polynomials with integer coefficients in total is countably infinite.<\/span><\/p>\n

Knowing that the set of algebraic numbers is countable, where does that leave the transcendental numbers? Since the real numbers are uncountable and are the union of the set of algebraic numbers and transcendental numbers, the set of transcendental numbers is also uncountable. This follows from the fact that the union of a countable set and an uncountable set is uncountably infinite.<\/span><\/p>\n

How do I prove that a number is transcendental?<\/strong><\/p>\n

While there are uncountably infinitely many transcendental numbers, some famous transcendental numbers include \"e\", \"\pi\", and non-zero logarithms (1 and 2). In 1873, \"e\" was the first number proven to be transcendental by Charles Hermite (2). In 1882, \"\pi\" was proven to be a transcendental number by Ferdinand von Lindemann (2). A proof by contradiction is usually the way to prove a number is transcendental. The original proofs by Charles Hermite and Ferdinand von Lindemann are very heavily computational. If you are interested in seeing the original proofs, you can take a look <\/span>here<\/span><\/a>. We spent a lot of time trying to wrap our heads around these lengthy proofs, so we think it is easier to focus on how mathematicians have been able to simplify them. Over the years, mathematicians have defined and proven smaller theorems that are necessary in the larger proofs. An example of this is the Lindemann-Weierstrass Theorem.<\/span><\/p>\n

The Lindemann-Weierstrass Theorem says that for any two sets of distinct algebraic numbers, \"a_1,\cdots and \"\alpha_1,\cdots, \"a_1e^{\alpha_1}+\cdots (4). Using the Lindemann-Weierstrass Theorem, we are able to prove that a number is transcendental.<\/span><\/p>\n

Example from <\/span>here<\/span><\/a><\/p>\n

Suppose \"\pi\" is an algebraic number. By definition, \"i\pi\" is also algebraic. Let \"n=2,, and \"\alpha_2=0\". Then, \"1e^{i\pi}+1e^0=0\". This is a contradiction of Lindemann-Weierstrass Theorem. Thus, \"\pi\" is not algebraic, so it must be transcendental.<\/span><\/p>\n

References<\/span><\/p>\n

    \n
  1. https:\/\/www.math.u-psud.fr\/~fischler\/inde\/inde_fischlerpondichery.pdf<\/span><\/a><\/li>\n
  2. https:\/\/www.mathsisfun.com\/numbers\/transcendental-numbers.html<\/span><\/a><\/li>\n
  3. https:\/\/www.math.utah.edu\/~pa\/math\/sets\/algebraic.html<\/span><\/a><\/li>\n
  4. https:\/\/faculty.math.illinois.edu\/~reinige1\/piday15\/Rationality.pdf<\/span><\/a><\/li>\n<\/ol>\n","protected":false},"excerpt":{"rendered":"

    By Grace Conway and Greg Bischoff Introduction The real numbers can be divided into many different categories to help facilitate different discussions of real numbers for different contexts. Usually in class we divide the real line into the rational and irrational numbers, but we don\u2019t have to do it that way. We can discuss the […]<\/p>\n","protected":false},"author":3530,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"jetpack_post_was_ever_published":false,"_jetpack_newsletter_access":"","_jetpack_dont_email_post_to_subs":false,"_jetpack_newsletter_tier_id":0,"_jetpack_memberships_contains_paywalled_content":false,"_jetpack_memberships_contains_paid_content":false,"footnotes":"","jetpack_publicize_message":"","jetpack_publicize_feature_enabled":true,"jetpack_social_post_already_shared":true,"jetpack_social_options":{"image_generator_settings":{"template":"highway","default_image_id":0,"font":"","enabled":false},"version":2}},"categories":[58818],"tags":[],"class_list":["post-741","post","type-post","status-publish","format-standard","hentry","category-class-blogs"],"jetpack_publicize_connections":[],"jetpack_featured_media_url":"","jetpack_sharing_enabled":true,"jetpack_shortlink":"https:\/\/wp.me\/p7L4E1-bX","jetpack-related-posts":[],"_links":{"self":[{"href":"https:\/\/blog.richmond.edu\/math320\/wp-json\/wp\/v2\/posts\/741","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/blog.richmond.edu\/math320\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/blog.richmond.edu\/math320\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/blog.richmond.edu\/math320\/wp-json\/wp\/v2\/users\/3530"}],"replies":[{"embeddable":true,"href":"https:\/\/blog.richmond.edu\/math320\/wp-json\/wp\/v2\/comments?post=741"}],"version-history":[{"count":0,"href":"https:\/\/blog.richmond.edu\/math320\/wp-json\/wp\/v2\/posts\/741\/revisions"}],"wp:attachment":[{"href":"https:\/\/blog.richmond.edu\/math320\/wp-json\/wp\/v2\/media?parent=741"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/blog.richmond.edu\/math320\/wp-json\/wp\/v2\/categories?post=741"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/blog.richmond.edu\/math320\/wp-json\/wp\/v2\/tags?post=741"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}