实数指数幂

0. 基本信息

课程名称

高等微积分

课程ID

{课程ID}

章节/单元

1 实数与实数的运算

小节

1.4 实数的幂

知识点名称

有理指数幂

知识点ID

{项目组统一定义的知识点ID}

知识点类型

概念

知识点层级

一般

难度

4

重要程度

3

建议学习时长

40分钟

填写与复核

填写人： 孟广轩 复核人： {姓名}
版本与日期： v0.1，2026-07-23

1. 知识背景与应用

1.1 知识点概述

有理指数幂只定义了 $a^r$ 在 $r\in\mathbb{Q}$ 时的取值。为了使指数可以取任意实数，并进一步建立定义在整个实数域上的指数函数，需要把有理指数幂推广为实数指数幂。

设 $a>1$，$x\in\mathbb{R}$。可以考察所有满足 $r<x$ 的有理数 $r$ 所对应的 $a^r$，并利用确界原理定义 $a^x$。当 $0<a<1$ 时，可以借助倒数把定义归结为底数大于 $1$ 的情形。

实数指数幂的建立保留了指数运算的基本规律，例如 $a^{x+y}=a^x a^y$，并为研究指数函数的单调性、连续性和极限性质奠定基础。它也是定义对数函数、一般幂函数以及进一步讨论初等函数的重要前提，同时再次体现了确界原理在分析学中的作用。

1.2 与其他课程或知识点的联系

关联知识点 1

相关知识点ID： {相关知识点ID}

相关知识点名称： 确界原理

关系类型： 应用

关系说明： 确界原理定义了实数指数幂。

关联知识点 2

相关知识点ID： {相关知识点ID}

相关知识点名称： 有理指数幂

关系类型： 后续

关系说明： 无理指数幂通过有理指数幂的上确界来定义

关联知识点 3

相关知识点ID： {相关知识点ID}

相关知识点名称： 初等函数的连续性

关系类型： 后续

关系说明： 指数函数、对数函数、幂函数的连续性都依赖于实数的幂

2. 知识点正文

实数指数幂的定义

有理指数幂已经定义了 $a^r$ 在 $a>0$、$r\in\mathbb{Q}$ 时的取值。下面把指数的取值范围由 $\mathbb{Q}$ 推广到 $\mathbb{R}$。

设 $a>1$，$x\in\mathbb{R}$，定义

\[ A\coloneqq\{a^r\mid r\in\mathbb{Q},\ r\le x\}. \]

在取上确界之前，需要证明集合 $A$ 非空且有上界。

取正整数 $N>\lvert x\rvert$。于是 $-N<x<N$。因为 $-N\in\mathbb{Q}$，所以

\[ a^{-N}\in A, \]

从而 $A\ne\varnothing$。

另一方面，对任意 $a^r\in A$，都有 $r\le x<N$。有理指数幂关于指数严格单调递增，因此

\[ a^r\le a^N. \]

所以 $a^N$ 是 $A$ 的一个上界。由确界原理，$A$ 存在上确界。定义

\[ a^x\coloneqq\sup A =\sup\{a^r\mid r\in\mathbb{Q},\ r\le x\}. \]

当 $x\in\mathbb{Q}$ 时，$a^x\in A$，并且它不小于 $A$ 中的任何元素。因此，上述定义与原有的有理指数幂定义一致。

当 $a=1$ 时，对任意 $x\in\mathbb{R}$，定义

\[ 1^x\coloneqq1. \]

当 $0<a<1$ 时，$1/a>1$，定义

\[ a^x\coloneqq\left(\frac{1}{a}\right)^{-x}. \]

至此，对任意 $a>0$ 和 $x\in\mathbb{R}$，实数指数幂 $a^x$ 都有了定义。

实数指数幂的运算规律

实数指数幂延续了有理指数幂的基本运算律。设 $a,b>0$，$x,y\in\mathbb{R}$，则有以下结论。

同底数幂的乘法：

\[ a^x a^y=a^{x+y}. \]

证明：任取自然数$n$，由于$a^x,a^y$是上确界，所以存在有理数$r,s$满足：

\[ (1-\frac{1}{n})a^x <a^r < a^x\\ (1-\frac{1}{n})a^y <a^s < a^y \]

所以

\[ (1-\frac{2}{n})a^x a^y <(1-\frac{1}{n})^2 a^x a^y< a^r a^s=a^{r+s}<a^{x+y} \]

由$n$的任意性，$a^x a^y\le a^{x+y}$。

任取有理数$t$满足 $t\le x+y$，取 $x-\frac{1}{n}\le r\le x$，$s=t-r-\frac{1}{n}$。则 $s\le x+y-\left x-\frac{1}{n} \right-\frac{1}{n}=y$，那么

\[ a^t=a^{s+r+\frac{1}{n}}=a^s a^r a^{\frac{1}{n}}\le a^x a^y a^{\frac{1}{n}} \]

从而 $a^x a^y a^{\frac{1}{n}}$ 是$a^t$的上界，故$a$^x a^y a^{\frac{1}{n}}\ge a^{x+y}$。

幂的乘方：

\[ (a^x)^y=a^{xy}. \]

同指数幂的乘法：

\[ (ab)^x=a^x b^x. \]

由此还可以得到

\[ \left(\frac{a}{b}\right)^x=\frac{a^x}{b^x}. \]

这些等式可以先对有理数指数使用有理指数幂的运算律，再利用有理数的稠密性和上确界定义，把结论推广到任意实数指数。

实数指数幂关于指数的单调性由底数决定：

当 $a>1$ 时，若 $x<y$，则 $a^x<a^y$；
当 $a=1$ 时，对任意 $x\in\mathbb{R}$ 都有 $a^x=1$；
当 $0<a<1$ 时，若 $x<y$，则 $a^x>a^y$。

无论 $a>0$、$x\in\mathbb{R}$ 取何值，始终有

\[ a^x>0. \]

此外，对固定的实数指数 $x$，底数变化时有：

若 $x>0$，则 $a^x$ 关于 $a$ 严格单调递增；
若 $x=0$，则 $a^x=1$；
若 $x<0$，则 $a^x$ 关于 $a$ 严格单调递减。

这里始终要求底数为正数。若允许底数为 $0$ 或负数，则某些实数指数幂在实数范围内没有定义，因而不能得到对所有实数指数统一成立的运算体系。