正如数学中经常出现的情况一样,归根结底要从一个好的、坚实的定义开始。以下是几个合理的起点:
发件人维基百科:
在数学中,实变量或复变量的可微函数的临界点或驻点是任意值在其领域内其中其导数为0。一些作者还将任何极限点归类为临界点,其中。。。导数未定义。[强调我的]
发件人数学世界:
A函数$y=f(x)$在所有点上都有关键点$x_0美元$哪里$f'(x_0)=0$或$f(x)$不可微。函数具有临界点,其中梯度$\nabla f=\mathbf{b}$或$\部分f/\部分x$或偏导数$\部分f/\部分y$未定义。
发件人托马斯微积分:
安内部点函数域的$f美元$哪里$f’$为零或未定义为临界点属于$f美元$.[粗体强调我的]
请注意,维基百科和托马斯微积分定义函数的临界点$f美元$成为领域中的点$f美元$(托马斯更进一步,只考虑领域内部的点)。MathWorld定义并没有做出这种限制,它对可微性的定义也不够精确,不需要任何限制。
我们还应该考虑目标定义临界点。在初级微积分课程中,目标通常是转到优化问题。在优化问题中,我们寻找极值(a)在导数为零的地方(费马定理),(b)在域的边界点,以及(c)在导数不存在的域点。因此,我们可能需要定义临界点,以便看到这三种行为。因此,我建议将临界点正确定义如下(用于微积分类):
定义:一临界点函数的$f美元$是一个点$x_0美元$在…领域$f美元$这样$f'(x_0)=0$或$f'(x_0)$未定义。
注意,导数通常被认为在集合的边界上是未定义的,所以这个定义适用于我们感兴趣的所有三类点,而不会引起问题。
最后,将此定义应用于您的问题,$x_0=3$不是的关键点$$f(x)=\压裂{x-2}{x-3}$$自从$x_0=3$不在的域中$f美元$,至少不像通常理解的域那样(我想我们可以处理扩展实数)。