卡在這題?用 AI 解開它
Calculus · real student question

求 1/x − floor(1/x) 在 x 從右側趨近 0 時的極限,其中 floor 表示高斯(最大整數)函數。

Question

計算

lim⁡x→0+(1x−⌊1x⌋)\lim_{x \to 0^{+}} \left(\frac{1}{x} - \left\lfloor \frac{1}{x} \right\rfloor\right)

Step-by-step solution

  1. 認出這個式子就是小數部分。 對任意實數 tt,t−⌊t⌋t - \lfloor t \rfloor 就是小數部分 {t}\{t\},它恆滿足 0≤{t}<10 \le \{t\} < 1。所以整個式子是 {1x}\left\{\tfrac1x\right\},被困在 [0,1)[0,1) 裡——有界,但光是有界從來就證明不了極限存在。

  2. 看看裡面那個函數在做什麼。 當 x→0+x \to 0^{+} 時 1x→+∞\tfrac1x \to +\infty。一個奔向無窮大的量,它的小數部分會一遍又一遍掃過 [0,1)[0,1),每增加一個單位就掃一次——而 1x\tfrac1x 無界地增大,所以在任何區間 (0,δ)(0,\delta) 裡它都掃了無窮多次。

  3. 造一個讓值恆為 0 的數列。 對整數 nn 取 xn=1nx_n = \tfrac{1}{n}。那麼 1xn=n\tfrac{1}{x_n} = n 是整數,所以

    1xn−⌊1xn⌋=n−n=0\frac{1}{x_n} - \left\lfloor \frac{1}{x_n} \right\rfloor = n - n = 0

    而且 xn→0+x_n \to 0^{+}。

  4. 再造一個讓值恆為 1/2 的數列。 取 yn=1n+12y_n = \dfrac{1}{n + \tfrac12}。那麼 1yn=n+12\tfrac{1}{y_n} = n + \tfrac12,它的高斯函數值是 nn,所以

    1yn−⌊1yn⌋=12\frac{1}{y_n} - \left\lfloor \frac{1}{y_n} \right\rfloor = \frac12

    而且 yn→0+y_n \to 0^{+} 同樣成立。

  5. 用數列判準下結論。 如果極限存在而且等於 LL,那麼每個趨近 0+0^{+} 的數列都必須把函數值逼到 LL。這裡兩個數列分別給出 00 與 12\tfrac12,所以這樣的 LL 不存在:

    lim⁡x→0+(1x−⌊1x⌋) 不存在\lim_{x \to 0^{+}} \left(\frac{1}{x} - \left\lfloor \frac{1}{x} \right\rfloor\right) \text{ 不存在}

    事實上,對任意 c∈[0,1)c \in [0,1) 取 x=1n+cx = \tfrac{1}{n + c},就能讓值恰好等於 cc,所以 [0,1)[0,1) 裡的每個數都是子數列極限。

Answer

極限不存在;在任意接近 0 的地方,函數值填滿了 [0,1)\text{極限不存在;在任意接近 }0\text{ 的地方,函數值填滿了 } [0,1)

Need to solve a different problem like this? Open the solver →