Proving Exponential Inequalities for Positive Real Numbers

  • Thread starter Thread starter julypraise
  • Start date Start date
Click For Summary

Homework Help Overview

The discussion revolves around proving properties of exponential functions, specifically for positive real numbers. The original poster seeks assistance in demonstrating that \( a^x > 0 \) for \( a > 1 \) and \( x \in \mathbb{R} \), as well as proving that \( a^y > 1 \) for \( y > 0 \). Additionally, there is a query about proving that \( 0^b = 0 \) when \( b \) is a real number.

Discussion Character

  • Exploratory, Conceptual clarification, Mathematical reasoning

Approaches and Questions Raised

  • Participants discuss a potential proof strategy involving induction for natural numbers, extending to integers and rational numbers, and then using continuity for real numbers. There is also a request for clarification on a specific theorem from Rudin's Mathematical Analysis related to the proof of \( 0^b \).

Discussion Status

The discussion is ongoing, with participants exploring various proof strategies and seeking clarification on specific aspects. Some guidance has been offered regarding the structure of the proof, but there is no consensus on the final approach or resolution of the problems.

Contextual Notes

There are constraints noted regarding the definitions and conditions under which the properties are to be proven, particularly the restriction on \( b \) in the case of \( 0^b \) to avoid undefined or indeterminate forms.

julypraise
Messages
104
Reaction score
0
(Sorry for the wrong title!)

Let a>1 (a in R). Then how do you prove for all x in R, a^x > 0 ?

And also that a^y>1 for all y>0, how do you prove?

And also how do you prove that 0^b = 0 when b is a real number?

(For me this is so difficult. So please just help me. Enough hints will suffice, no full solution.)
 
Last edited by a moderator:
Physics news on Phys.org
This depends on what you can use. I would prove it by the following scheme:

1) First prove it for all natural numbers x (by induction).

2) Use [itex]a^{-x}=(a^x)^{-1}[/itex] to prove it for all integers.

3) Use [itex]a^{m/n}=\sqrt[n]{a^m}[/itex] to prove it for all rational numbers.

4) Use continuity of [itex]a^x[/itex] to prove it for all real numbers.
 
Could you help me bit more on proving the part 3)?

So by the theorem in Rudin's Mathematical Analysis in page 10 thm 1.21, I can prove this right?
 
Last edited by a moderator:
julypraise said:
Third problem:

And also how do you prove that 0^b = 0 when b is a real number?

b must be restricted, as in b > 0, so that 0^b is not

undefined and/or is not indeterminate.
 
Last edited by a moderator:

Similar threads

  • · Replies 22 ·
Replies
22
Views
2K
Replies
14
Views
4K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 6 ·
Replies
6
Views
2K
Replies
2
Views
1K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 25 ·
Replies
25
Views
4K
Replies
2
Views
2K
  • · Replies 14 ·
Replies
14
Views
2K