Is my classification of transcendental correct?

  • Context: Undergrad 
  • Thread starter Thread starter JustinzCruiz
  • Start date Start date
  • Tags Tags
    Classification
Click For Summary

Discussion Overview

The discussion revolves around the classification of transcendental numbers, particularly in relation to irrational numbers and surds. Participants explore definitions, distinctions between algebraic and transcendental numbers, and the implications of these classifications.

Discussion Character

  • Debate/contested
  • Conceptual clarification
  • Mathematical reasoning

Main Points Raised

  • One participant defines transcendental numbers as irrational numbers that cannot be expressed as roots of any order, suggesting they are distinct from surds.
  • Another participant counters that transcendental numbers are those that do not satisfy any polynomial equation with rational coefficients, thus separating them from algebraic numbers.
  • A third participant states that all real numbers that are not algebraic are transcendental, emphasizing the distinction between algebraic and transcendental numbers.
  • A later reply clarifies that the initial definition of surds may be too narrow, suggesting that operations on surds can yield algebraic irrationals, which are not transcendental.
  • One participant seeks examples of algebraic irrationals that cannot be formed using surds, indicating uncertainty about the classification of certain numbers.
  • Another participant provides an example of algebraic numbers that cannot be expressed as finite sums or products of roots, referencing the Abel–Ruffini theorem.
  • There is a mention of terminology, where "surds" are described as numbers that can be expressed by radicals, indicating a potential misunderstanding of terms.

Areas of Agreement / Disagreement

Participants express differing views on the definitions and classifications of transcendental and algebraic numbers. No consensus is reached regarding the precise categorization of certain types of irrational numbers.

Contextual Notes

Participants highlight the ambiguity in definitions and the complexity of classifying numbers, particularly in relation to operations involving surds and the nature of algebraic irrationals.

JustinzCruiz
From what I've recently read, Transcendental numbers are those irrational numbers which cannot be formed by sqrt or any root of any order. So If the irrational numbers which are formed by taking roots of different orders on numbers which are not perfect roots of that order, it is called as a surd. So transcendental would have to be those irrational numbers which are not surds. So Transcendental could be classified as a type of irrational number which are not surds. More simply speaking, Transcendentals are irrational numbers that are not Surds. Am I right with this?
 
  • Like
Likes   Reactions: Leo Authersh
Mathematics news on Phys.org
JustinzCruiz said:
From what I've recently read, Transcendental numbers are those irrational numbers which cannot be formed by sqrt or any root of any order. So If the irrational numbers which are formed by taking roots of different orders on numbers which are not perfect roots of that order, it is called as a surd. So transcendental would have to be those irrational numbers which are not surds. So Transcendental could be classified as a type of irrational number which are not surds. More simply speaking, Transcendentals are irrational numbers that are not Surds. Am I right with this?
Not quite. The definition goes the other way around. Transcendental numbers ##t## are those which do not follow an equation ##0=t^n+c_1t^{n-1}+c_2t^{n-2}+ \ldots + c_{n_1}t + c_n## with all ##c_i \,{=}_{e.g.}\, \mathbb{Q}## and some arbitrary ##n\in \mathbb{N}\,.##

This way one gets rid of the requirement of written roots, which is ambiguous. E.g. there are numbers which satisfy a polynomial equation of degree five (or higher), which means they are algebraic = not transcendental, but cannot be written by root expressions either.

Irrational only means no quotient of integers. Thus ##\sqrt{2}## is irrational, but not transcendental. Therefore there are actually two different categories of numbers: rational / irrational and algebraic / transcendental where rational numbers are algebraic, and transcendental numbers are irrational.
 
All real numbers that are not algebraic are transcendental.
There are both transcendental and algebraic irrational numbers. And there are rational numbers, all of them are algebraic.

Here is a Venn diagram:

b0863664ce8b6788c6c3dbd39245f4d7.png
 
  • Like
Likes   Reactions: Leo Authersh and jim mcnamara
So I was right except for saying just surds, I should have said using surds which includes things like (1+√5)/2 which perform operations on surds to form irrationals which are not transcendental(Algebraic). Restating : Irrationals that cannot be formed using surds are Transcendentals.
But I do know that algebraic numbers are not just irrational numbers but also include whole of Real numbers except Transcendentals.
Exception of my statement : Raising algebraic number to the power of an irrational algebraic number (Eg:2√2) which indeed uses a surd to form a Transcendental.

If I am wrong, please inform me of those numbers that are algebraic irrationals which are not formed using surds.

According to me Irrationals are of 2 types:
1. Surds ( Including those formed by operations on surds)
2. Transcendentals.

If I am wrong, there needs to exist 3 types of Irrationals:
1. Surds( Including those formed by operations on surds ) [Algebraic]
2. Non Surds( Not formed by operations on surds or surds itself) but [Algebraic]. {Please inform me if this category exists and give me some examples of it}
3. Transcendentals. [Not Algebraic]
 
The second. The roots of ##x^5 - x +1## are an example, there is no way to express them as finite sum/product/... of nth roots. of integers.
The existence of these numbers is shown by the Abel–Ruffini theorem.
 
  • Like
Likes   Reactions: Leo Authersh and JustinzCruiz
Thank you so much. You made my day.
 
What you named surds is usually called "can be expressed by radicals". Radical is a general term for "root".
 
I have asked a similar question. You might find it useful.
https://math.stackexchange.com/q/2385349/469594
 

Similar threads

  • · Replies 1 ·
Replies
1
Views
2K
Replies
5
Views
3K
  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 7 ·
Replies
7
Views
5K
  • · Replies 8 ·
Replies
8
Views
2K
  • · Replies 13 ·
Replies
13
Views
3K
  • · Replies 0 ·
Replies
0
Views
3K
  • · Replies 13 ·
Replies
13
Views
3K
  • · Replies 21 ·
Replies
21
Views
2K