你在这里

35.引理

主标签

  • 35.引理

引列的含意是辅助定理。它来源于希腊语,可直译为“假设的什么”。

我们打算证明一个定理,比如说,是A。我们被引导去猜测另一个定理, 比如说,是B;答B为真,我们也许能用它来证明A。我们暂时假定B成立,把它 的证明推迟一下,而先去证明A。这样一个假设的定理B就是原来所提定理的辅 助定理。我们这段简短的叙述相当典型,它阐明了“引理”一字现在的含意。