{examples,mjo-linear_algebra}.tex: add \Isom for isometries

diff --git a/examples.tex b/examples.tex
index 9096b70a6b11580ba2d611acb80a58948670c98c..accec5d13898e65f2f62cbf0ebbfe05ab6caf837 100644 (file)
--- a/examples.tex
+++ b/examples.tex
@@ -254,8 +254,11 @@
     \end{align*}
     \normalsize
 
-    If $V$ is an algebra, then $\Der{V}$ is the space of all
-    (linear) derivations on $V$.
+    If $V$ is an algebra, then $\Der{V}$ is the space of all (linear)
+    derivations on $V$. We also have the group of isometries on $V$,
+    if $V$ has a metric: $\Isom{V}$. More generally, if $V$ and $W$
+    are both metric spaces, then we can represent the isometries from
+    one to the other by $\Isom[W]{V}$.
   \end{section}
 
   \begin{section}{Listing}

diff --git a/mjo-linear_algebra.tex b/mjo-linear_algebra.tex
index 062121f6bd33cf879f3b9f4d204334f358f8d1b1..32d4d6cde083c9d6f2a5ce8fec8260eef2297234 100644 (file)
--- a/mjo-linear_algebra.tex
+++ b/mjo-linear_algebra.tex
@@ -196,4 +196,33 @@
   }
 \fi
 
+
+% The set of all isometries from its first argument to its second
+% (optional) argument, both assumed to be at least normed spaces, and
+% more likely Hilbert spaces. The norms are implicit, i.e. not
+% included in the arguments. If the optional argument is omitted, you
+% get the isometries from the first argument to itself AKA its
+% isometry group.
+\newcommand*{\Isom}[2][]{
+  \operatorname{Isom}\of{ {#2}
+    \if\relax\detokenize{#1}\relax
+      {}%
+    \else
+      {,{#1}}%
+    \fi
+  }
+}
+\ifdefined\newglossaryentry
+  \newglossaryentry{Isom}{
+    name={\ensuremath{\Isom{V}}},
+    description={the group of isometries on $V$},
+    sort=Isom
+  }
+  \newglossaryentry{Isom2}{
+    name={\ensuremath{\Isom[W]{V}}},
+    description={the set of isometries from $V$ to $W$},
+    sort=Isom
+  }
+\fi
+
 \fi