1
zmxnv123 2023-10-15 11:50:15 +08:00
要证明对于任意常数 K ,logkN = o(N),我们需要使用大 O 符号的定义并应用极限的概念。
根据定义,我们需要证明对于任意常数 K ,存在一个正常数 c ,使得当 N 足够大时,有 |logkN| ≤ c|N|。 我们来思考 logkN 和 N 之间的关系。可以使用对数性质将其转化为 k^logkN = N 。 这表示 N 是以 k 为底的 k^logkN 的幂。 接下来,我们将考虑两种情况:当底数 k 大于 1 和 k 等于 1 时。 1. 当底数 k 大于 1 时: 由于对数函数的增长性质,我们可以得到 logkN ≤ N for all N > 0 。这意味着对于任意常数 K 和 N ,我们有 logkN ≤ N 。因此,我们可以选择 c = 1 来满足不等式 |logkN| ≤ c|N|,因为 logkN 的增长速度小于或等于 N 的增长速度。 2. 当底数 k 等于 1 时: 由于 log1N = 0 for all N > 0 ,我们可以将不等式变为 |log1N| ≤ c|N|。由于 log1N 在任意 N 的范围内都是常数 0 ,我们可以选择任意正常数 c 来满足不等式。 综上所述,对于任意常数 K ,logkN = o(N) 成立。 ---------------------------------------------------------- powerd by ChatGPT |
2
vituralfuture 2023-10-15 12:10:43 +08:00 via Android
大 O 符号描述的是函数的上界。logkN=logk+logN ,取 N 到正无穷的极限,小于 N ,所以 logkN=O(N)
|
3
geelaw 2023-10-15 12:24:49 +08:00 via iPhone
@zmxnv123 #1 ChatGPT 做证明题经常生成胡言乱语,可以作为很好纠错练习生成器。
@vituralfuture #2 o 和 O 是两个概念。 最后回楼主:K 和 k 什么关系啊?另外作业题请自己做。 |
4
sylxjtu 2023-10-15 12:29:16 +08:00 via Android
洛必达法则 lim N \to \infty logkN/N = lim N \to \infty (1/N)/1 = \lim N \to \infty N 趋向于正无穷,根据小 o 符号定义即为所证
|
5
Tiaa OP @geelaw 回复一下,这确实是一个作业题,只是不太了解应该怎么具体去实现(太久没有学数学了),所以才想着看看大家的做题思路。
|
6
Kirscheis 2023-10-15 13:44:52 +08:00
这是一个定义习题,应该是刚学小 o 标记的习题。小 o 标记的意思就是只要 N 充分大,函数与小 o 记号内函数的比值趋于 0 。
所以对任意 c∈R ,求 log(kN)/(cN) 当 N ➡ +∞ 时的极限即可,由于此时上下都➡ +∞,可以用洛必达法则求极限,得到结果为 0 ,按定义即得证。 |
7
yolee599 2023-10-15 14:10:16 +08:00 via Android
@zmxnv123 #1 这个过程你验证过吗?另外 v 站禁止发 AI 生成的内容,会被站长 ban
|
8
geelaw 2023-10-15 14:21:25 +08:00 via iPhone
@Tiaa #5 但你依然没有解释 K 和 k 有什么关系。数学符号的大小写不可以互换,意思不同。另外 logkN 的含义也不明确,有人理解为 log_k N ,有人理解为 log kN ,后一种情况你也没有说 log 的底数(数学文本中会默认是自然对数)——虽然底数对这个结论没有影响,但是既然你在练习定义,最好把每一步都做得比较明确。
作为作业题,你可以先从你会的开始,比如背诵一遍 o 的定义,然后你就会发现要做这个证明,只需要实现它的定义。试试看? |
9
chitanda 2023-10-15 15:59:12 +08:00
|
12
Tiaa OP @
@geelaw 你好,感谢你的耐心回复。关于 K 和 k 的关系,只是一开始为了区分 k 是为真数,然而当时我输入时没有找到该输入的符号,因此用 k 来输出,可以看作 K 和 k 都为一个任意常数进行计算。并且我会试着用您所说的 o 的定义再去证明看看的。 |
14
LaTero 2023-10-15 20:39:46 +08:00 via Android
k 是无所谓的,换底公式就变成一个系数了,还是符合大 O 。然后注意 ln(n)/n = ln(n^(1/n)),再求 n^(1/n)的极限,这个极限一般教材例题就有。
|
15
LaTero 2023-10-15 20:49:30 +08:00 via Android
lim log_k(n)/n = lim log_k(n^(1/n) = log_k(lim n^(1/n)) = log_k(1) = 0
|
16
lance6716 2023-10-15 20:51:22 +08:00 via Android
op 成功证明了,如果一个人能把问题定义清楚,他大概率就能自己解决问题。连哪里有歧义都意识不到大概率是没法解决问题的
|
17
LaTero 2023-10-15 20:52:58 +08:00
说实话你这个问题有点太基础了,建议好好补一补基础。数学问题最好去 math.stackexchange.com 查。https://math.stackexchange.com/questions/1642671/prove-lim-n-to-infty-frac-lnnn-0-without-lhospitals-rule
|
20
bravecarrot 2023-10-15 22:08:10 +08:00
logkN = logk + logN 显而易见了啊
|