Halbräume/Stetig differenzierbare Abbildung/Über Ausdehnung/Definition

Stetig differenzierbare Abbildung (Halbraum)

Es sei  ${}U\subseteq H$  eine offene Teilmenge in einem euklidischen Halbraum  ${}H\subseteq \mathbb {R} ^{n}$,   ${}P\in U$  sei ein Punkt und es sei

$\varphi \colon U\longrightarrow \mathbb {R} ^{m}$

eine Abbildung. Dann heißt ${}\varphi$ stetig differenzierbar in ${}P$, wenn es eine offene Umgebung  ${}P\in V\subseteq \mathbb {R} ^{n}$  und eine stetig differenzierbare Funktion

${\tilde {\varphi }}\colon V\longrightarrow \mathbb {R} ^{m}$

mit  ${}{\tilde {\varphi }}{|}_{U\cap V}=\varphi {|}_{U\cap V}$  gibt.