Homework Statement
I have this theorem which I am having trouble understanding due to notation.
Theorem: Define S,S'\subseteqℝ3 to be surfaces. Let f:S→S' be a smooth map. f is a local isometry if for all p in S, and all w1,w2 in TpS,
<w1,w2>=<dfp(w1),dfp(w2)>.
The thing I don't...