diff --git a/tex/analysis_2/4_calculus_nvals.tex b/tex/analysis_2/4_calculus_nvals.tex index b6089d2..ef14dbf 100644 --- a/tex/analysis_2/4_calculus_nvals.tex +++ b/tex/analysis_2/4_calculus_nvals.tex @@ -143,15 +143,31 @@ \section{Teorema di Dini} \begin{proof} [Dimostrazione per $n=2$ e $k=1$.] La dimostrazione si articola in tre passaggi: innanzitutto si costruisce $f$, poi ne si verifica la continuità e infine si calcola la sua derivata. - - - Per ipotesi, $\partial_yg(x_0,y_0) \neq 0$. Ai fini della dimostrazione, si supponga che $\partial_yg(x_0,y_0) > 0$. Per il teorema di permanenza del segno (Thm. \ref{thm:sign}, Cap. \ref{chap:functions}), esiste una scatola $W=[x_0-\delta,x_0+\delta]\times[y_0-\varepsilon,y_0+\varepsilon]\with \delta,\varepsilon>0 \tc \partial_yg(x,y)>0\ \forall (x,y)\in W$. Sia $h(y)=g(x_0,y)\in\C{1}$. Per quanto appena detto, $h(y)$ è una funzione strettamente crescente nell'intervallo $[y_0-\varepsilon, y_0+\varepsilon]$, per cui $h(y_0-\varepsilon)<0=h(y_0)0\). I segni \(+\) e \(-\) indicano gli intervalli sulle basi in cui \(g(x,y)>0\).} + \label{fig:thm_dini_1} + \end{minipage} + \hfill + \begin{minipage}[t]{0.45\textwidth} + \def\svgwidth{\textwidth} + \input{graphics/thm_dini_2.pdf_tex} + \caption{Rappresentazione della seconda parte della dimostrazione. Il ragionamento è analogo al precedente.} + \label{fig:thm_dini_2} + \end{minipage} + \end{figure} + + Per ipotesi, $\partial_yg(x_0,y_0) \neq 0$. Ai fini della dimostrazione, si supponga che $\partial_yg(x_0,y_0) > 0$. Per il teorema di permanenza del segno (Thm. \ref{thm:sign}, Cap. \ref{chap:functions}), esiste una scatola $W=[x_0-\delta,x_0+\delta]\times[y_0-\varepsilon,y_0+\varepsilon]\with \delta,\varepsilon>0 \tc \partial_yg(x,y)>0\ \forall (x,y)\in W$ (Fig. \ref{fig:thm_dini_1}). Sia $h(y)=g(x_0,y)\in\C{1}$. Per quanto appena detto, $h(y)$ è una funzione strettamente crescente nell'intervallo $[y_0-\varepsilon, y_0+\varepsilon]$, per cui $h(y_0-\varepsilon)<0=h(y_0)0$. Allora, per lo stesso ragionamento applicato in precedenza, $g(\overline{x},f(\overline{x})-\overline{\varepsilon})<0=g(\overline{x},f(\overline{x}))0$. Allora, per lo stesso ragionamento applicato in precedenza, $g(\overline{x},f(\overline{x})-\overline{\varepsilon})<0=g(\overline{x},f(\overline{x})).pdf_tex} +%% instead of +%% \includegraphics{.pdf} +%% To scale the image, write +%% \def\svgwidth{} +%% \input{.pdf_tex} +%% instead of +%% \includegraphics[width=]{.pdf} +%% +%% Images with a different path to the parent latex file can +%% be accessed with the `import' package (which may need to be +%% installed) using +%% \usepackage{import} +%% in the preamble, and then including the image with +%% \import{}{.pdf_tex} +%% Alternatively, one can specify +%% \graphicspath{{/}} +%% +%% For more information, please see info/svg-inkscape on CTAN: +%% http://tug.ctan.org/tex-archive/info/svg-inkscape +%% +\begingroup% + \makeatletter% + \providecommand\color[2][]{% + \errmessage{(Inkscape) Color is used for the text in Inkscape, but the package 'color.sty' is not loaded}% + \renewcommand\color[2][]{}% + }% + \providecommand\transparent[1]{% + \errmessage{(Inkscape) Transparency is used (non-zero) for the text in Inkscape, but the package 'transparent.sty' is not loaded}% + \renewcommand\transparent[1]{}% + }% + \providecommand\rotatebox[2]{#2}% + \newcommand*\fsize{\dimexpr\f@size pt\relax}% + \newcommand*\lineheight[1]{\fontsize{\fsize}{#1\fsize}\selectfont}% + \ifx\svgwidth\undefined% + \setlength{\unitlength}{278.65597222bp}% + \ifx\svgscale\undefined% + \relax% + \else% + \setlength{\unitlength}{\unitlength * \real{\svgscale}}% + \fi% + \else% + \setlength{\unitlength}{\svgwidth}% + \fi% + \global\let\svgwidth\undefined% + \global\let\svgscale\undefined% + \makeatother% + \begin{picture}(1,0.93634992)% + \lineheight{1}% + \setlength\tabcolsep{0pt}% + \put(0,0){\includegraphics[width=\unitlength,page=1]{thm_dini_1.pdf}}% + \put(0.03939815,0.91149567){\color[rgb]{0,0,0}\makebox(0,0)[lt]{\lineheight{1.25}\smash{\begin{tabular}[t]{l}$y$\end{tabular}}}}% + \put(0.94205932,0.06897639){\color[rgb]{0,0,0}\makebox(0,0)[lt]{\lineheight{1.25}\smash{\begin{tabular}[t]{l}$x$\end{tabular}}}}% + \put(0,0){\includegraphics[width=\unitlength,page=2]{thm_dini_1.pdf}}% + \put(0.37518212,0.63496091){\color[rgb]{0,0,0}\makebox(0,0)[lt]{\lineheight{1.25}\smash{\begin{tabular}[t]{l}$+++++++++$\end{tabular}}}}% + \put(0.29845941,0.34706817){\color[rgb]{0,0,0}\makebox(0,0)[lt]{\lineheight{1.25}\smash{\begin{tabular}[t]{l}$----------$\end{tabular}}}}% + \put(0,0){\includegraphics[width=\unitlength,page=3]{thm_dini_1.pdf}}% + \put(0.32428352,0.28872758){\color[rgb]{0,0,0}\makebox(0,0)[lt]{\lineheight{1.25}\smash{\begin{tabular}[t]{l}$\delta$\end{tabular}}}}% + \put(0.66104636,0.28872758){\color[rgb]{0,0,0}\makebox(0,0)[lt]{\lineheight{1.25}\smash{\begin{tabular}[t]{l}$\delta$\end{tabular}}}}% + \put(0.14438378,0.58487389){\color[rgb]{0,0,0}\makebox(0,0)[lt]{\lineheight{1.25}\smash{\begin{tabular}[t]{l}$\varepsilon$\end{tabular}}}}% + \put(0.14438378,0.40621296){\color[rgb]{0,0,0}\makebox(0,0)[lt]{\lineheight{1.25}\smash{\begin{tabular}[t]{l}$\varepsilon$\end{tabular}}}}% + \put(0.49178957,0.0405042){\color[rgb]{0,0,0}\makebox(0,0)[lt]{\lineheight{1.25}\smash{\begin{tabular}[t]{l}$x_0$\end{tabular}}}}% + \put(0.01886501,0.49685364){\color[rgb]{0,0,0}\makebox(0,0)[lt]{\lineheight{1.25}\smash{\begin{tabular}[t]{l}$y_0$\end{tabular}}}}% + \put(0.85910798,0.66820398){\color[rgb]{0,0,0}\makebox(0,0)[lt]{\lineheight{1.25}\smash{\begin{tabular}[t]{l}$W$\end{tabular}}}}% + \end{picture}% +\endgroup% diff --git a/tex/analysis_2/graphics/thm_dini_1.svg b/tex/analysis_2/graphics/thm_dini_1.svg new file mode 100644 index 0000000..183735e --- /dev/null +++ b/tex/analysis_2/graphics/thm_dini_1.svg @@ -0,0 +1,230 @@ + + + + + + + + + + + + + + + + + $y$ + $x$ + + $+++++++++$ + $----------$ + + + $\delta$ + $\delta$ + $\varepsilon$ + $\varepsilon$ + $x_0$ + $y_0$ + $W$ + + diff --git a/tex/analysis_2/graphics/thm_dini_2.pdf b/tex/analysis_2/graphics/thm_dini_2.pdf new file mode 100644 index 0000000..a076d8e Binary files /dev/null and b/tex/analysis_2/graphics/thm_dini_2.pdf differ diff --git a/tex/analysis_2/graphics/thm_dini_2.pdf_tex b/tex/analysis_2/graphics/thm_dini_2.pdf_tex new file mode 100644 index 0000000..e24c8db --- /dev/null +++ b/tex/analysis_2/graphics/thm_dini_2.pdf_tex @@ -0,0 +1,72 @@ +%% Creator: Inkscape 1.3.2 (091e20e, 2023-11-25, custom), www.inkscape.org +%% PDF/EPS/PS + LaTeX output extension by Johan Engelen, 2010 +%% Accompanies image file 'thm_dini_2.pdf' (pdf, eps, ps) +%% +%% To include the image in your LaTeX document, write +%% \input{.pdf_tex} +%% instead of +%% \includegraphics{.pdf} +%% To scale the image, write +%% \def\svgwidth{} +%% \input{.pdf_tex} +%% instead of +%% \includegraphics[width=]{.pdf} +%% +%% Images with a different path to the parent latex file can +%% be accessed with the `import' package (which may need to be +%% installed) using +%% \usepackage{import} +%% in the preamble, and then including the image with +%% \import{}{.pdf_tex} +%% Alternatively, one can specify +%% \graphicspath{{/}} +%% +%% For more information, please see info/svg-inkscape on CTAN: +%% http://tug.ctan.org/tex-archive/info/svg-inkscape +%% +\begingroup% + \makeatletter% + \providecommand\color[2][]{% + \errmessage{(Inkscape) Color is used for the text in Inkscape, but the package 'color.sty' is not loaded}% + \renewcommand\color[2][]{}% + }% + \providecommand\transparent[1]{% + \errmessage{(Inkscape) Transparency is used (non-zero) for the text in Inkscape, but the package 'transparent.sty' is not loaded}% + \renewcommand\transparent[1]{}% + }% + \providecommand\rotatebox[2]{#2}% + \newcommand*\fsize{\dimexpr\f@size pt\relax}% + \newcommand*\lineheight[1]{\fontsize{\fsize}{#1\fsize}\selectfont}% + \ifx\svgwidth\undefined% + \setlength{\unitlength}{278.65597222bp}% + \ifx\svgscale\undefined% + \relax% + \else% + \setlength{\unitlength}{\unitlength * \real{\svgscale}}% + \fi% + \else% + \setlength{\unitlength}{\svgwidth}% + \fi% + \global\let\svgwidth\undefined% + \global\let\svgscale\undefined% + \makeatother% + \begin{picture}(1,0.93634992)% + \lineheight{1}% + \setlength\tabcolsep{0pt}% + \put(0,0){\includegraphics[width=\unitlength,page=1]{thm_dini_2.pdf}}% + \put(0.03939815,0.91149567){\color[rgb]{0,0,0}\makebox(0,0)[lt]{\lineheight{1.25}\smash{\begin{tabular}[t]{l}$y$\end{tabular}}}}% + \put(0.94205932,0.06897639){\color[rgb]{0,0,0}\makebox(0,0)[lt]{\lineheight{1.25}\smash{\begin{tabular}[t]{l}$x$\end{tabular}}}}% + \put(0,0){\includegraphics[width=\unitlength,page=2]{thm_dini_2.pdf}}% + \put(0.32024304,0.44068987){\color[rgb]{0,0,0}\makebox(0,0)[lt]{\lineheight{1.25}\smash{\begin{tabular}[t]{l}$++++$\end{tabular}}}}% + \put(0.31583523,0.35754543){\color[rgb]{0,0,0}\makebox(0,0)[lt]{\lineheight{1.25}\smash{\begin{tabular}[t]{l}$----$\end{tabular}}}}% + \put(0,0){\includegraphics[width=\unitlength,page=3]{thm_dini_2.pdf}}% + \put(0.32918773,0.28432644){\color[rgb]{0,0,0}\makebox(0,0)[lt]{\lineheight{1.25}\smash{\begin{tabular}[t]{l}$\overline{\delta}$\end{tabular}}}}% + \put(0.44741546,0.28432644){\color[rgb]{0,0,0}\makebox(0,0)[lt]{\lineheight{1.25}\smash{\begin{tabular}[t]{l}$\overline{\delta}$\end{tabular}}}}% + \put(0.25333115,0.36589865){\color[rgb]{0,0,0}\makebox(0,0)[lt]{\lineheight{1.25}\smash{\begin{tabular}[t]{l}$\overline{\varepsilon}$\end{tabular}}}}% + \put(0.25333115,0.43940682){\color[rgb]{0,0,0}\makebox(0,0)[lt]{\lineheight{1.25}\smash{\begin{tabular}[t]{l}$\overline{\varepsilon}$\end{tabular}}}}% + \put(0.3859481,0.03787072){\color[rgb]{0,0,0}\makebox(0,0)[lt]{\lineheight{1.25}\smash{\begin{tabular}[t]{l}$\overline{x}$\end{tabular}}}}% + \put(0.02963098,0.40534419){\color[rgb]{0,0,0}\makebox(0,0)[lt]{\lineheight{1.25}\smash{\begin{tabular}[t]{l}$\overline{y}$\end{tabular}}}}% + \put(0.85910798,0.66820398){\color[rgb]{0,0,0}\makebox(0,0)[lt]{\lineheight{1.25}\smash{\begin{tabular}[t]{l}$W$\end{tabular}}}}% + \put(0,0){\includegraphics[width=\unitlength,page=4]{thm_dini_2.pdf}}% + \end{picture}% +\endgroup% diff --git a/tex/analysis_2/graphics/thm_dini_2.svg b/tex/analysis_2/graphics/thm_dini_2.svg new file mode 100644 index 0000000..565beb8 --- /dev/null +++ b/tex/analysis_2/graphics/thm_dini_2.svg @@ -0,0 +1,237 @@ + + + + + + + + + + + + + + + + + $y$ + $x$ + + $++++$ + $----$ + + + $\overline{\delta}$ + $\overline{\delta}$ + $\overline{\varepsilon}$ + $\overline{\varepsilon}$ + $\overline{x}$ + $\overline{y}$ + $W$ + + +