\relax \@writefile{toc}{\contentsline {chapter}{\numberline {6}Geometry and group theory}{115}} \@writefile{lof}{\addvspace {10\p@ }} \@writefile{lot}{\addvspace {10\p@ }} \newlabel{ch!gp}{{6}{115}} \@writefile{lof}{\contentsline {figure}{\numberline {6.0}{\ignorespaces The plan of Coventry market}}{116}} \newlabel{coventry fig}{{6.0}{116}} \@writefile{toc}{\contentsline {section}{\numberline {6.1}Transformations form a group}{117}} \newlabel{transf as group}{{6.1}{117}} \@writefile{toc}{\contentsline {paragraph}{Proof}{117}} \@writefile{toc}{\contentsline {section}{\numberline {6.2}Transformation groups}{117}} \newlabel{transf group defn}{{6.2}{117}} \@writefile{toc}{\contentsline {paragraph}{Discussion}{118}} \newlabel{eq!preserves}{{1}{118}} \@writefile{toc}{\contentsline {paragraph}{Example 0. ``No structure''}{118}} \@writefile{toc}{\contentsline {paragraph}{Example 1. Euclidean motions}{118}} \@writefile{toc}{\contentsline {paragraph}{Example 1a. Symmetry groups}{118}} \@writefile{toc}{\contentsline {paragraph}{Example 2. Linear maps}{118}} \@writefile{toc}{\contentsline {section}{\numberline {6.3}Klein's Erlangen program}{119}} \newlabel{sec!erlan}{{6.3}{119}} \newlabel{eq!Erlang}{{2}{119}} \@writefile{toc}{\contentsline {section}{\numberline {6.4}Conjugacy in transformation groups}{120}} \newlabel{cjgcy}{{6.4}{120}} \@writefile{toc}{\contentsline {paragraph}{Question:}{120}} \@writefile{toc}{\contentsline {paragraph}{Answer:}{120}} \newlabel{conj eq}{{3}{120}} \@writefile{toc}{\contentsline {paragraph}{Example\nobreakspace {}1. Transpositions in $S_n$}{120}} \@writefile{toc}{\contentsline {paragraph}{Proof}{120}} \@writefile{toc}{\contentsline {paragraph}{Example\nobreakspace {}2. Fixed point}{121}} \@writefile{toc}{\contentsline {paragraph}{Example\nobreakspace {}3. Rotation}{121}} \@writefile{lof}{\contentsline {figure}{\numberline {6.4a}{\ignorespaces The conjugate rotation $g\Rot (P,\theta )g\1=\Rot (g(P),g(\theta ))$}}{121}} \newlabel{grot_fig}{{6.4a}{121}} \@writefile{toc}{\contentsline {paragraph}{Example\nobreakspace {}4. Translation}{121}} \@writefile{toc}{\contentsline {paragraph}{Remark}{121}} \@writefile{lof}{\contentsline {figure}{\numberline {6.4b}{\ignorespaces Action of $\Aff (n)$ on vectors of $\aff ^n$}}{122}} \newlabel{ct fig}{{6.4b}{122}} \@writefile{toc}{\contentsline {section}{\numberline {6.5}Applications of conjugacy}{122}} \@writefile{toc}{\contentsline {subsection}{\numberline {6.5.1}Normal forms}{122}} \newlabel{eq!enf}{{6}{122}} \newlabel{jnf eq}{{7}{123}} \@writefile{toc}{\contentsline {paragraph}{Remark}{123}} \@writefile{toc}{\contentsline {subsection}{\numberline {6.5.2}Finding generators}{124}} \newlabel{ssec!gens}{{6.5.2}{124}} \@writefile{toc}{\contentsline {paragraph}{Example\nobreakspace {}1. How to walk a wardrobe}{124}} \@writefile{toc}{\contentsline {paragraph}{Example\nobreakspace {}2. The $15$-puzzle}{124}} \@writefile{toc}{\contentsline {paragraph}{Proof}{125}} \@writefile{toc}{\contentsline {paragraph}{Step 2}{125}} \@writefile{toc}{\contentsline {paragraph}{Step 3}{125}} \@writefile{toc}{\contentsline {paragraph}{End of proof}{125}} \@writefile{toc}{\contentsline {subsection}{\numberline {6.5.3}The algebraic structure of transformation groups}{125}} \newlabel{sd prod}{{6.5.3}{125}} \newlabel{dprod eq}{{8}{125}} \newlabel{dprod law}{{10}{126}} \newlabel{sdprod diag}{{11}{126}} \@writefile{toc}{\contentsline {paragraph}{Proof}{126}} \@writefile{toc}{\contentsline {paragraph}{Remarks}{127}} \@writefile{toc}{\contentsline {section}{\numberline {6.6}Discrete reflection groups}{128}} \newlabel{reflection groups}{{6.6}{128}} \@writefile{toc}{\contentsline {paragraph}{Example 1. Kaleidoscope}{128}} \@writefile{lof}{\contentsline {figure}{\numberline {6.6a}{\ignorespaces Kaleidoscope}}{128}} \newlabel{Kaleid}{{6.6a}{128}} \@writefile{toc}{\contentsline {paragraph}{Example 2. Barber's shop}{128}} \newlabel{grevin}{{6.6}{128}} \@writefile{toc}{\contentsline {paragraph}{Example 3. Mus\'ee Gr\'evin}{128}} \citation{Cx} \@writefile{lof}{\contentsline {figure}{\numberline {6.6b}{\ignorespaces ``Mus\'ee Gr\'evin''}}{129}} \newlabel{Grevin}{{6.6b}{129}} \@writefile{toc}{\contentsline {section}{Exercises to Chapter\nobreakspace {}6}{129}} \newlabel{ex!matrix_vect}{{1}{129}} \newlabel{similarity ex}{{2}{129}} \newlabel{angle ex}{{2b}{129}} \newlabel{scaling factor ex}{{2c}{129}} \newlabel{ex!cent}{{3}{129}} \newlabel{ex!dihed}{{5}{130}} \newlabel{grevin ex}{{6}{130}} \newlabel{ex!stab}{{7}{130}} \newlabel{ex!or}{{8}{131}} \newlabel{sd prod ex}{{17}{132}} \@setckpt{gp}{ \setcounter{page}{133} \setcounter{equation}{12} \setcounter{enumi}{17} \setcounter{enumii}{3} \setcounter{enumiii}{0} \setcounter{enumiv}{0} \setcounter{footnote}{0} \setcounter{mpfootnote}{0} \setcounter{part}{0} \setcounter{chapter}{6} \setcounter{section}{6} \setcounter{subsection}{0} \setcounter{subsubsection}{0} \setcounter{paragraph}{0} \setcounter{subparagraph}{0} \setcounter{figure}{5} \setcounter{table}{0} \setcounter{parentequation}{0} \setcounter{cor}{7} \setcounter{corn}{0} \setcounter{constr}{0} \setcounter{principle}{2} \setcounter{prop}{22} \setcounter{lem}{2} \setcounter{lemn}{4} \setcounter{cla}{2} \setcounter{thm}{20} }