Why ##a^0=1##?

  • Context: Undergrad 
  • Thread starter Thread starter Mike_bb
  • Start date Start date
  • #61
Mike_bb said:
I like this definition (on Wiki article).
There's quite a high level of sophistication about rational indices. Also even for all arithmetic with rational numbers; we tell kids about 'sharing' and division but even that is a matter of going through the motions and believing you got a right answer. As a lifetime Engineer, I'm used to a black box approach to Maths - as a tool and not a religion.
 
Physics news on Phys.org
  • #62
sophiecentaur said:
For example, do you know the mechanics of deriving dy/dx for y=cos(x) and where the 'limit' is involved (plus some elementary trig identities).
Yes, I do. I studied full course of Math. But your example has another type of definition. Of course, if we are talking about derivatives we should use limit conception to define. "Derivative of a function" means that we "derive some function" and thus we use limit.
 
Last edited:
  • #63
If ##a^0\ne 1## then ##a^0\ne -e^{\pi i}## and the beauty of mathematics would be gone.

AM
 
  • #64
Mike_bb said:
Yes, I do. I studied full course of Math. But your example has another type of definition. Of course, if we are talking about derivatives we should use limit conception to define. "Derivative of a function" means that we "derive some function" and thus we use limit.
Pure or applied Maths course? The Pure Maths guys look after the souls of Scientists and engineers etc. who use Maths for their work. Your terminology is a bit approximate and it's not getting us anywhere.

I'm afraid that, unless you are a 'good' pure mathematician, you need to trust their authority a bit blindly and follow the 'rules' really which have been derived carefully. You can't pick and choose between those rules to suit yourself. I gave up trying to do that.
 
  • #65
sophiecentaur said:
Pure or applied Maths course? The Pure Maths guys look after the souls of Scientists and engineers etc. who use Maths for their work. Your terminology is a bit approximate and it's not getting us anywhere.
Pure Maths.
 
  • #67
IMHO, ##a^0 = 1## is settled at post #8. If that's not satisfactory, then one must have in mind ##a, x \notin \mathbb{R}##, or an algebra where ##1## is not the multiplicative identity, in which case, please define it precisely. Otherwise there is nothing left to discuss.
Probably a good matematician could have answered better than me here, but I'm a poor engineer.
 
  • Agree
Likes   Reactions: sophiecentaur
  • #69
Mike_bb said:
Please make screenshots.
Would this link help? It leads into the 'my terminology' link above and introduces the concept of Lim (Limit). In your pure Maths course, you must have come across that idea. That idea of finding a final value as the limiting value as another variable approaches (say) zero.
I really don;t see how this stuff is anything but basic. Is there a translation problem?
 
  • #70
sophiecentaur said:
Would this link help? It leads into the 'my terminology' link above and introduces the concept of Lim (Limit). In your pure Maths course, you must have come across that idea. That idea of finding a final value as the limiting value as another variable approaches (say) zero.
I really don;t see how this stuff is anything but basic. Is there a translation problem?
I visited this site but I can't understand what's wrong?
 
  • #71
Mike_bb said:
Limits are used when we want to check whether function continuous at the point or not but limits don't allow to define values at the point.
I think this is where our little 'skirmish' started. Can you not show that our function is continuous by finding the limit when x=0+∂x as ∂x →0. Why should the function be discontinuous only at (0,1) ?
ps No wonder ; we were both looking at the same site and both saying that it makes perfect sense.
Mike_bb said:
if we are talking about derivatives we should use limit conception to define. "Derivative of a function" means that we "derive some function" and thus we use limit.
Is it not common terminology to describe dy/dx as a "derivative'? Maybe our two generations use different terminology.
 
  • #72
sophiecentaur said:
Why should the function be discontinuous only at (0,1) ?
Why not? You can define function as you want and then the function can be discontinuous. Following your logic, all functions should be continuous.
 
  • #73
Mike_bb said:
Why not? You can define function as you want and then the function can be discontinuous. Following your logic, all functions should be c

Mike_bb said:
ontinuous.
I could go for that, except that wouldn't you have to test every function for continuity over all its range? for a function we know to be discontinuous at certain values - say tan(x), you can test near your π/2 point and the test would show up the discontinuity pretty quickly. You seem to be wanting to do this test at an arbitrary point (0,1) so wouldn't it pass a simple limits test? I'm no purist but why would that not be good enough? Maybe you were being a bit 'contrary' when you said that you don't blindly follow these rules. Maybe the onus is on you to (dis)prove the rule in this case.

Thing is, you could be one of 'those' Mathematicians who I used to work with and very often, they knew best about these things. Life with them could be fun - a bit like at Hogwarts.
PS I happened upon this thread ,just now https://www.physicsforums.com/threa...e-limit-is-the-limit-of-the-integral.1085205/
 
  • #74
sophiecentaur said:
You seem to be wanting to do this test at an arbitrary point (0,1) so wouldn't it pass a simple limits test?
sophiecentaur said:
Maybe the onus is on you to (dis)prove the rule in this case.
This case: we know that ##a^n## is defined exactly for all natural N. And that's all. Next step is to define ##a^x## not only for natural values. Do you agree with this step? If you agree then we define ##a^x## for all real values such way that laws of exponents should not be broken.

If you want to explore a function for continuity you must follow the rules:
1.webp
 
Last edited:
  • Like
Likes   Reactions: sophiecentaur
  • #75
Mike_bb said:
Do you agree with this step? I
Yes. It's fine with me. I believe the the relationships between all the axioms in the Maths we use have been sorted out and are consistent. It always makes me uneasy when trying to think just how this relates to the real world, though. But that's all Philosophy and PF doesn't deal with it. It's hard when people ask for 'easy' answers about Physics - as if they actually exist. The 'answers' to questions about advanced maths seldom have short cut answers - so you don't tend to get a guy on the TV trying to explain Calculus cos it's hard from the get go and people hate that.
 
  • Agree
Likes   Reactions: Mike_bb
  • #76
Good to get a tick / check. I only recently found that smiley. Have I been unobservant for years?
 
  • Like
Likes   Reactions: Mike_bb
  • #77
sophiecentaur said:
Have I been unobservant for years?
Moments turn into years before you even know it. :smile:
 

Similar threads

  • · Replies 8 ·
Replies
8
Views
2K
  • · Replies 9 ·
Replies
9
Views
2K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 6 ·
Replies
6
Views
3K
  • · Replies 5 ·
Replies
5
Views
3K
  • · Replies 8 ·
Replies
8
Views
2K
  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 25 ·
Replies
25
Views
5K
  • · Replies 6 ·
Replies
6
Views
4K
  • · Replies 29 ·
Replies
29
Views
6K