קוד:הגדרת איזומורפיזם של מרחבי מכפלה פנימית

\begin{definition}

יהיו $V,V'$ מרחבי מכפלה פנימית. אומרים ש-$V$ \textbf{איזומורפי} ל-$V'$ (ומסמנים $V\cong V'$), אם קיים איזומורפיזם $f:V\rightarrow V'$ של מרחבים וקטוריים, כך שלכל $u,v\in V$ מתקיים $\left \langle f\left(u \right ),f\left(v \right ) \right \rangle=\left \langle u,v \right \rangle$.

\end{definition}