扩展的实数轴由
实数轴加上“+∞”和“−∞”得到(注意“+∞”和“−∞”并不是实数),写作或 [−∞,+∞]。扩展的实数轴在研究
数学分析,特别是
积分时非常有用。
对任意
实数a,定义 −∞ ≤a≤ +∞,就成了一个
全序集。这种
集合有种非常好的性质,就是其所有
子集都有
上确界和
下确界:这是一个完备格。全序关系在上引入了
拓扑。在这个拓扑中,集合U是 +∞ 的
邻域,当且仅当它包含集合 {x|x≥a},这里a是某个实数。−∞ 的邻域类似。 是个
紧致的
豪斯多夫空间,与单位区间 [0,1]
同胚。
通常,不定义 ∞ − ∞,0 × ±∞ 和 ±∞ ÷ ±∞。同时,1 ÷ 0 也不定义为 +∞ (因为无足够强的理由说明为何不定义为 −∞ )。这些规则是根据无穷
极限的性质确定的。
按照极限,一些
函数可以自然地扩展到。例如,可以定义exp(−∞) = 0,exp(+∞) = +∞,ln0 = −∞,ln(+∞) = +∞ 等等。