Связь дифференцируемости и непрерывности: когда производные существуют и когда нет
Введено| English | Значение |
|---|---|
| differentiability/ˌdɪfəˌrenʃɪəˈbɪlɪti/ | дифференцируемость |
| continuous/kənˈtɪnjuːəs/ | непрерывный |
| corner/ˈkɔːnə/ | угол |
| cusp/kʌsp/ | острие |
| vertical tangent/ˈvɜːtɪkl ˈtændʒənt/ | вертикальная касательная |
Гладкость подразумевает связность, но не наоборот
- Если функция имеет производную в точке, её график там не просто непрерывен — он гладкий.
- Дифференцируемость в точке — условие более сильное, чем непрерывность.
- Ключевой факт: дифференцируема $\Rightarrow$ непрерывна. Касательная линия не может существовать в месте разрыва.
- Но обратное неверно: непрерывный график всё ещё может иметь острый угол без производной.
Гладкая, дифференцируемая кривая
y = ax² + bx
Эта парабола гладка везде — касательная существует в каждой точке, в отличие от угла, где наклон скачком меняется.
Почему дифференцируемость влечёт непрерывность
- Производная — это предел наклонов секущих; чтобы этот предел был конечным, функция не может иметь скачка.
- Если $f$ имела скачок в точке $c$, наклоны секущих вблизи $c$ стремились бы к бесконечности — нет конечного наклона касательной.
- Таким образом, наличие $f'(c)$ гарантирует, что $f$ является непрерывной в точке $c$.
- Противоположное утверждение (полезно на экзаменах): если $f$ не непрерывна в точке $c$, она не дифференцируема там.
Какое следование верно?
Difficulty 1/5 · 100 coins + a small bonus on first completion today
Дифференцируемость влечет непрерывность; обратное неверно.
Если $f$ не непрерывна в $c$, то $f$ в $c$ является...
Difficulty 1/5 · 100 coins + a small bonus on first completion today
Контрапозиция утверждения «дифференцируема $\Rightarrow$ ⟹ непрерывна»: не непрерывна $\Rightarrow$ ⟹ не дифференцируема.
Где производная не существует
- Непрерывности недостаточно — три типа форм нарушают дифференцируемость даже без разрыва:
- Угол (излом): левый и правый наклоны различаются (как $|x|$ в точке $0$).
- Шип: наклоны стремятся к $+\infty$ и $-\infty$ (как $x^{2/3}$ в точке $0$).
- Вертикальная касательная: касательная вертикальна, поэтому её наклон не определён (как $\sqrt[3]{x}$ в точке $0$).
На каких элементах производная не существует, даже если функция непрерывна?
Difficulty 2/5 · 140 coins + a small bonus on first completion today
Углы, выпуклости и вертикальные касательные устраняют производную; гладкая точка поворота все еще имеет $f'=0$.
В ____ касательной линия касательной вертикальна, поэтому её наклон (производная) не определен.
Difficulty 1/5 · 100 coins + a small bonus on first completion today
Вертикальная линия имеет неопределенный наклон; например, $\sqrt[3]{x}$ при $0$.
Всё сводится к касательной
- Производная существует только тогда, когда есть одна чётко определённая касательная линия с конечным наклоном.
- У угла две разные касательные; у шипа/вертикальной касательной — бесконечный наклон — ни одно из них не даёт единого конечного значения.
- $|x|$ непрерывна всюду, но не имеет производной в точке $0$ — классический контрпример.
- Итак: сначала проверьте непрерывность (необходимо), затем проверьте наличие единственного конечного наклона касательной (всё остальное).
$f(x)=|x|$ непрерывна в $0$, но не дифференцируема там.
Difficulty 1/5 · 100 coins + a small bonus on first completion today
Угол дает левый наклон $-1$, правый наклон $+1$ — нет единого наклона касательной.
Для $f(x)=|x|$ каков наклон справа (для $x>0$) в точке $0$?
Difficulty 2/5 · 140 coins + a small bonus on first completion today
Для $x>0$, $f(x)=x$, поэтому наклон равен $+1$ (левый наклон составляет $-1$, отсюда угол).
Не переворачивайте импликацию. Дифференцируемость $\Rightarrow$ непрерывность — верно, но непрерывность $\Rightarrow$ дифференцируемость — неверно. $f(x)=|x|$ это доказывает: функция идеально непрерывна в $0$, но угол означает, что $f'(0)$ не существует (левый наклон $-1$, правый наклон $+1$).
Является ли $f(x)=|x|$ дифференцируемым в точке $x=0$?
- Непрерывна ли в $0$? Да — разрыва нет. ✓
- Левый наклон: для $x<0$ и $f(x)=-x$ наклон равен $-1$. Правый наклон: для $x>0$ и $f(x)=x$ наклон равен $+1$.
- Односторонние наклоны не совпадают ($-1\neq1$) — это угол.
- Значит, $f'(0)$ не существует, хотя функция $f$ непрерывна в этой точке.
Дифференцируемость $\Rightarrow$ непрерывность (для касательной нужен неразрывный график), но непрерывность не является достаточным условием дифференцируемости. Производная не существует в угле (наклоны расходятся), острие или при вертикальной касательной (бесконечный наклон) — везде, где нет единственной конечной касательной прямой.