Мы имеем функцию F1: ℝ³ → ℝ, задаваемую формулой
F1(x, y, z) = (x² + y²)³ – x²y²(z² + 1),
и функцию F2: ℝ³ → ℝ², задаваемую как
F2(x, y, z) = ( (x² + y²)³ – x²y²(z² + 1), x – 10 ).
Наша цель – выяснить, является ли множество точек, где F1 = 0 (соответственно F2 = 0), гладким подмногообразием ℝ³. Для этого проверяют, является ли 0 регулярным значением соответствующей функции (то есть, в каждой точке предобразия 0 дифференциал имеет максимальный ранг).
————————————
Анализ для F1
- Выражение F1(x, y, z) = (x² + y²)³ – x²y²(z²...