summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/doc/latex/mathfont/mathfont_example.tex
diff options
context:
space:
mode:
Diffstat (limited to 'Master/texmf-dist/doc/latex/mathfont/mathfont_example.tex')
-rw-r--r--Master/texmf-dist/doc/latex/mathfont/mathfont_example.tex2
1 files changed, 1 insertions, 1 deletions
diff --git a/Master/texmf-dist/doc/latex/mathfont/mathfont_example.tex b/Master/texmf-dist/doc/latex/mathfont/mathfont_example.tex
index d69aace431e..7def38f99f9 100644
--- a/Master/texmf-dist/doc/latex/mathfont/mathfont_example.tex
+++ b/Master/texmf-dist/doc/latex/mathfont/mathfont_example.tex
@@ -61,7 +61,7 @@ Expanding $e^{iX}$ as a power series gives an expression for $\phi_X$ that we ca
\vfil
-A smooth manifold consists of a topological space $M$ equipped with a smooth maximal atlas $\leftbrace \phi_i\rightbrace$. The maps $\phi_i\colon U_i\longrightarrow\mathbb R$ technically aren't themselves differentiable, but their compositions $\phi_i^{}\circ\phi_j^{-1}$ are diffeomorphisms on subsets of $\mathbb R^n$. If we have a map $f\colon M\longrightarrow N$ between manifolds, this structure allows us to talk about differentiability of $f$. Specifically, we say that $f$ is smooth if for any $i$ and $j$, the composition
+A smooth manifold consists of a topological space $M$ equipped with a smooth maximal atlas $\leftbrace \phi_i\rightbrace$. The maps $\phi_i\colon U_i\longrightarrow\mathbb R$ are continuous, and their compositions $\phi_i^{}\circ\phi_j^{-1}$ are diffeomorphisms on subsets of $\mathbb R^n$. If we have a map $f\colon M\longrightarrow N$ between manifolds, this structure allows us to talk about differentiability of $f$. Specifically, we say that $f$ is smooth if for any $i$ and $j$, the composition
\[
\psi_j^{}\circ f\circ\phi_i^{-1}
\]