Skip to content

Commit

Permalink
Update 1-manifolds.tex
Browse files Browse the repository at this point in the history
  • Loading branch information
mseri authored Nov 24, 2024
1 parent cd326e2 commit 0fc71a9
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion 1-manifolds.tex
Original file line number Diff line number Diff line change
Expand Up @@ -574,7 +574,7 @@ \section{Smooth maps and differentiability}\label{sec:smoothfn}
\caption{A function is differentiable if it is differentiable as a euclidean function through the magnifying lens provided by the charts.}
\end{marginfigure}
\begin{definition}
A function $f:M\to\R$ from a smooth manifold $M$ of dimension $n$ to $\R$ is \emph{smooth}, or \emph{of class $C^\infty$}, if for any smooth chart $(\varphi, V)$ for $M$ the map $f\circ\varphi^{-1}:\varphi(V)\subset\R^n \to \R$ is smooth as a euclidean function on the open subset $\varphi(V)\subset\R^n$.
A function $f:M\to\R$ from a smooth manifold $M$ of dimension $n$ to $\R$ is \emph{smooth}, or \emph{of class $C^\infty$}, if for any smooth chart $(V, \varphi)$ for $M$ the map $f\circ\varphi^{-1}:\varphi(V)\subset\R^n \to \R$ is smooth as a euclidean function on the open subset $\varphi(V)\subset\R^n$.
We denote the space of smooth functions by $C^\infty(M)$.
\end{definition}

Expand Down

0 comments on commit 0fc71a9

Please sign in to comment.