Fork me on GitHub
Math for the people, by the people.

User login

Fr\'echet derivative is unique

% this is the default PlanetMath preamble.  as your knowledge
% of TeX increases, you will probably want to edit this, but
% it should be fine as is for beginners.

% almost certainly you want these

% used for TeXing text within eps files
% need this for including graphics (\includegraphics)
% for neatly defining theorems and propositions
% making logically defined graphics

% there are many more packages, add them here as you need them

% define commands here

The Fr\'echet derivative is unique.\\
Assume that both $A$ and $B$ in $L(\mathsf{V,W})$ satisfy the condition for the \PMlinkname{Fr\'echet derivative}{derivative2} at the point $\mathbf{x}$. To prove that they are equal we will show that for all $\varepsilon >0$ the operator norm $\|A-B\|$ is not greater than $\varepsilon$. By the definition of limit there exists a positive $\delta$ such that for all $\|\mathbf{h}\|\leq\delta$
\mbox{ and }
holds. This gives
Now we have
\[\delta\cdot\|A-B\|=\delta\cdot\sup_{\|\mathbf{g}\|\leq 1}\|(A-B)\mathbf{g}\|=\sup_{\|\mathbf{g}\|\leq\delta}\|(A-B)\mathbf{g}\|\leq\sup_{\|\mathbf{g}\|\leq\delta}\varepsilon\cdot\|\mathbf{g}\|\leq\varepsilon\cdot\delta,
thus $\|A-B\|\leq\varepsilon$ as we wanted to show.