Skip to content

Commit

Permalink
Add clarification after lecture
Browse files Browse the repository at this point in the history
Signed-off-by: Marcello Seri <[email protected]>
  • Loading branch information
mseri committed Dec 8, 2021
1 parent 816aa16 commit 2282e3c
Show file tree
Hide file tree
Showing 2 changed files with 2 additions and 2 deletions.
2 changes: 1 addition & 1 deletion 2-tangentbdl.tex
Original file line number Diff line number Diff line change
Expand Up @@ -1234,7 +1234,7 @@ \section{Submanifolds}

\begin{example}\label{ex:s2}
The sphere $\bS^2 = \{x\in\R^3 \mid \|x\| = 1\}$ is a $2$-dimensional submanifold of $N=\R^3$.
This is immediate using the third condition in the Proposition~\ref{prop:submanifolds_and_R}: let $\psi(x) = \|x\|^2 -1 : \R^3 \to \R$, then $\psi$ is smooth, $\bS^2 = \{x\in\R^3\mid\psi(x)=0\}$ and $d\psi_x(v)= 2x\cdot v \neq 0$ for $x\in\bS^2$.
This is immediate using the third condition in the Proposition~\ref{prop:submanifolds_and_R}: let $\psi(x) = \|x\|^2 -1 : \R^3 \to \R$, then $\psi$ is smooth, $\bS^2 = \{x\in\R^3\mid\psi(x)=0\}$ and, denoting $t$ the coorindates on $\R$, $d\psi_x(v)= v^i \frac{\partial \psi}{\partial x^i}|_x \frac{\partial}{\partial t}|_0 = (2x\cdot v) \frac{\partial}{\partial t}|_0$, that is, as a 1x3 matrix $d\psi_x = 2(x^1\; x^2\; x^3)$ so it is of maximal rank $1$ for all $x\in\bS^2$.
\end{example}

\begin{example}
Expand Down
2 changes: 1 addition & 1 deletion aom.tex
Original file line number Diff line number Diff line change
Expand Up @@ -213,7 +213,7 @@
\setlength{\parskip}{\baselineskip}
Copyright \copyright\ \the\year\ \thanklessauthor

\par Version 0.21 -- \today
\par Version 0.22 -- \today

\vfill
\small{\doclicenseThis}
Expand Down

0 comments on commit 2282e3c

Please sign in to comment.