You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Copy file name to clipboardExpand all lines: 2-tangentbdl.tex
+3-3Lines changed: 3 additions & 3 deletions
Original file line number
Diff line number
Diff line change
@@ -565,7 +565,7 @@ \section{The differential of a smooth map}\label{sec:diffsmooth}
565
565
The construction that we employed forced us to fix a basis for the spaces, if this was truly necessary it would defeat the purpose of this whole chapter.
566
566
Fortunately for us, the following exercise shows that, at any given point, the tangent space to a vector space is \emph{canonically}\footnote{That is, independently of the choice of basis.} identified with the vector space itself.
Let $V$ and $W$ be finite-dimensional vector spaces, endowed with their standard smooth structure (see Exercise~\ref{exe:subsetsmanifolds}).
570
570
\begin{enumerate}
571
571
\item Fix $a\in V$. For any vector $v\in V$ define a map $\cT_a(v) : C^\infty(V) \to\R$ by
@@ -1212,7 +1212,7 @@ \section{Submanifolds}
1212
1212
If for all $p\in M$, the intersection $F_p := F\cap E_p$ is a $k$-dimensional subspace of the vector space $E_p$ and $\pi|_F : F \to M$ defines a rank-$k$ vector bundle, then $\pi|F: F \to M$ is called a \emph{subbundle} of $E$.
1213
1213
\end{definition}
1214
1214
1215
-
\begin{exercise}[\textit{[homework 1]}]
1215
+
\begin{exercise}[\textit{[homework 2]}]
1216
1216
Let $M$ be a smooth $m$-manifold and $N$ a smooth $n$-manifold.
1217
1217
Let $F:M\to N$ be an embedding and denote $\widetilde M = F(M)\subset N$.
1218
1218
\begin{enumerate}[(a)]
@@ -1274,7 +1274,7 @@ \section{Submanifolds}
1274
1274
Show that $g$ is a smooth embedding and, therefore, that $g(U)$ is a smooth embedded $n$-dimensional submanifold\footnote{$g(U)$ is the the \emph{graph} of $f$!} of $\R^{n+1}$.
Show that the orthogonal matrices $O(n) := \{ Q\in GL(n) \mid Q^TQ=\id\}$ form a $n(n-1)/2$-dimensional submanifold of the $n^2$-manifold $\mathrm{Mat}(n)$ of $n\times n$-matrices.
0 commit comments