Power is Well-Defined

From ProofWiki
Jump to navigation Jump to search

Theorem

Integer

Let $x$ be a non-zero real number.

Let $k$ be an integer.


Then $x^k$ is well-defined.


Rational

Let $x \in \R_{> 0}$ be a (strictly) positive real number.

Let $q$ be a rational number.


Then $x^q$ is well-defined.