Meaning of irrational exponent

  • Context: Undergrad 
  • Thread starter Thread starter murshid_islam
  • Start date Start date
  • Tags Tags
    Exponent Irrational
Click For Summary

Discussion Overview

The discussion revolves around the meaning of expressions involving irrational exponents, specifically the interpretation of a^p when p is an irrational number. Participants explore various mathematical definitions, implications, and examples related to this concept, touching on both theoretical and practical aspects.

Discussion Character

  • Exploratory
  • Technical explanation
  • Debate/contested
  • Mathematical reasoning

Main Points Raised

  • Some participants explain that a^p for irrational p can be understood as a limit of rational approximations, suggesting that a^p = lim (a^{r_i}) where r_i converges to p.
  • Others propose that irrational exponents can be defined using natural logarithms, stating that a^p = e^(p ln(a)), which is continuous for positive a.
  • One participant argues that expressions like 2^pi do not have meaning until pi is approximated rationally, while others counter that irrational numbers like pi are mathematically meaningful in their own right.
  • There is a discussion about the product of irrational numbers, with some participants questioning under what conditions such products remain irrational.
  • Several participants express a preference for integral definitions of irrational exponents, suggesting that a^p can be defined through integrals involving logarithmic functions.

Areas of Agreement / Disagreement

Participants express differing views on the meaning and implications of irrational exponents, with no consensus reached on the interpretation of specific expressions or the nature of irrational numbers. The discussion includes both supportive and critical perspectives on the definitions and examples provided.

Contextual Notes

Some arguments rely on specific mathematical properties and definitions that may not be universally accepted or may depend on particular contexts, such as the continuity of functions or the nature of irrational numbers.

murshid_islam
Messages
468
Reaction score
21
i know what the meaning of [tex]a^p[/tex] is when p is an integer or rational. e.g., [tex]a^3 = a.a.a[/tex] or [tex]a^{\frac{1}{5}}[/tex] is such a number that when multiplied five times gives the number a.
but what is the menaing of [tex]a^p[/tex] when p is an irrational number?
 
Physics news on Phys.org
same thing just a irrational amount of times instant of a integer/rational times.
like a^3,14 (simple part of pi)
its the same as a^3*a^0,14=a^3*a^(7/50)=a^3*(a^(1/50))^7 pi and such can be explained as a infinite amount of sums like this and by that a infintie amount of parts like this
 
murshid_islam said:
i know what the meaning of [tex]a^p[/tex] is when p is an integer or rational. e.g., [tex]a^3 = a.a.a[/tex] or [tex]a^{\frac{1}{5}}[/tex] is such a number that when multiplied five times gives the number a.
but what is the menaing of [tex]a^p[/tex] when p is an irrational number?

This shows how bad things are in some schools. If you are going to consider irrational exponents then a better approch is needed.

The modern way is:
1. Define the Natural logarithm using an integral, viz, [tex]ln(x)[/tex]. This is continuous and continuously differentiable for [tex]x>0[/tex]
2. Its inverse will be [tex]e^x[/tex] for all real [tex]x[/tex].
3. This means that [tex]a^p = e^(pln(a))[/tex]. This is then taken to be the definition of [tex]a^p[/tex].
4. This is or was A-level in England till the year 2000 but you don't need to know that, these days, as things are dummed down.
 
Well, it depends. For example, the value 2^pi does not mean anything, meaning that all it represent is another irrational number, until you give pi a rational approximation. However, something like 10^log 2 has a meaning as it is another expression of 2. Here it is important to notice that ln 2 is a limit, as in the more digits you assign to log 2, the closer the expression 10^log 2 is to 2.
 
Last edited:
Werg22 said:
Well, it depends. For example, the value 2^pi does not mean anything, meaning that all it represent is another irrational number, until you give pi a rational approximation. However, something like 10^log 2 has a meaning as it is another expression of 2. Here it is important to notice that ln 2 is a limit, as in the more digits you assign to log 2, the closer the expression 10^log 2 is to 2.
I am tempted to echo eds' statement, "This shows how bad things are in some schools"! Are you claiming that irrational numbers do not exist or "do not mean anything"? Your last statement "ln 2 is a limit, as in the more digits you assign to log 2, the closer the expression 10^log 2 is to 2." is correct but that means that "10^log 2" does in fact exist and "mean something"!

You certainly can define, as eds said, 2^pi as e^(pi ln 2) but since pi ln 2 is an irrational number itself, you still haven't answered the original question:
murshad_islam said:
i know what the meaning of [itex]a^p[/itex] is when p is an integer or rational. e.g.,[itex]a^3= a.a.a[/itex] or [itex]a^\frac{1}{5}[/itex] is such a number that when multiplied five times gives the number a.
but what is the meaning of when p is an irrational number?

If p is an irrational number, then there exist a sequence of rational numbers {ri} converging to p. We define ap to make the function ax continuous: [itex]a^p= \lim_{i\rightarrow \infty} a^{r_i}[/itex].
 
so, here ri is a closer and closer approximation to the irrational number p as i becomes larger and larger. am i right? and can we say that [itex]r_{i} \rightarrow p[/itex] as [itex]i \rightarrow \infty[/itex]?
 
Last edited:
Werg, what do you mean by 'meaning'. pi, is just as meaningful as 1/2, mathematically, and if you want to discuss the philosophy of it there is another forum entirely devoted to that. Of course, mathematicians bandy about these tongue in cheek statements, but I wouldn't condone doing so here where the opportunity for misapprehension is so large.
 
HallsofIvy said:
pi ln 2 is an irrational number itself
maybe pi ln 2 is irrational, but how do we know that?
 
murshid_islam said:
maybe pi ln 2 is irrational, but how do we know that?

There is a way to prove that the product of the irrational number gives another irrational number provided that we are dealing with roots of powers (such as 2^1/2 and 2^1/2).
 
  • #10
Werg22 said:
There is a way to prove that the product of the irrational number gives another irrational number provided that we are dealing with roots of powers (such as 2^1/2 and 2^1/2).
i don't get it. [itex]\sqrt{2}.\sqrt{2} = 2[/itex](rational)
 
  • #11
Sorry I forgot to add the "not". It should be provided that we are not dealing...
 
  • #12
Werg22 said:
There is a way to prove that the product of the irrational number gives another irrational number provided that we are dealing with roots of powers (such as 2^1/2 and 2^1/2).

What about e and 1/e?
 
  • #13
Office_Shredder said:
What about e and 1/e?

:-p Also inverse operations don't count. I admit that I am not sure about the validity of what I said, but I remember seeing a problem that asked to prove that the product of irrational numbers, provided certain conditions, is also irrational. I'll check it right now, I'll get back at you as soon as I find it.
 
  • #14
murshid_islam said:
i know what the meaning of [tex]a^p[/tex] is when p is an integer or rational. e.g., [tex]a^3 = a.a.a[/tex] or [tex]a^{\frac{1}{5}}[/tex] is such a number that when multiplied five times gives the number a.
but what is the menaing of [tex]a^p[/tex] when p is an irrational number?

Here is one definition: [tex]a^p[/tex] is the unique number y>0 such that [tex]\int_{1}^{y} \frac{dt}{t}=p\int_{1}^{a} \frac{dt}{t}[/tex]
 
Last edited:
  • #15
I prefer the integral definitions. A good way to approximate them by hand if you ever lose your calculator :P Its also interesting when your a is not equal to 0 or 1, you get a nice transcendental number. Look up Gelfond-Schnieder Theorem
 
  • #16
Gib Z said:
I prefer the integral definitions. A good way to approximate them by hand if you ever lose your calculator :P Its also interesting when your a is not equal to 0 or 1, you get a nice transcendental number. Look up Gelfond-Schnieder Theorem
What if a is the 1/p-th power of an integer? :wink:
 
  • #17
O sorry I forget to mention a has to be algebraic as well. Applying the theorem again, we can see if p is irrational, then 1/p is also irrational, and then a is transcendental, not algebraic.
 

Similar threads

  • · Replies 11 ·
Replies
11
Views
2K
Replies
5
Views
2K
  • · Replies 10 ·
Replies
10
Views
3K
  • · Replies 19 ·
Replies
19
Views
3K
  • · Replies 35 ·
2
Replies
35
Views
8K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 12 ·
Replies
12
Views
3K
  • · Replies 13 ·
Replies
13
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 3 ·
Replies
3
Views
1K