\relax 
\@writefile{toc}{\contentsline {chapter}{\numberline {5}Projective geometry}{91}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\newlabel{ch!proj}{{5}{91}}
\@writefile{toc}{\contentsline {section}{\numberline {5.1}Motivation for projective geometry}{91}}
\newlabel{motiv proj}{{5.1}{91}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.1.1}Inhomogeneous to homogeneous}{91}}
\newlabel{subsec!inhom}{{5.1.1}{91}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.1.2}Perspective}{92}}
\newlabel{subsec!pers+mot}{{5.1.2}{92}}
\@writefile{lof}{\contentsline {figure}{\numberline {5.1a}{\ignorespaces A cube in perspective}}{93}}
\newlabel{fig!cube}{{5.1a}{93}}
\@writefile{lof}{\contentsline {figure}{\numberline {5.1b}{\ignorespaces Perspective drawing}}{93}}
\newlabel{fig!perspec}{{5.1b}{93}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.1.3}Asymptotes}{93}}
\@writefile{lof}{\contentsline {figure}{\numberline {5.1c}{\ignorespaces Hyperbola and parabola}}{94}}
\newlabel{fig!conics}{{5.1c}{94}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.1.4}Compactification}{94}}
\newlabel{Pncomp}{{5.1.4}{94}}
\@writefile{toc}{\contentsline {section}{\numberline {5.2}Definition of projective space}{95}}
\newlabel{Definition of Pn}{{5.2}{95}}
\@writefile{toc}{\contentsline {section}{\numberline {5.3}Projective linear subspaces}{96}}
\newlabel{sec!subsp}{{5.3}{96}}
\@writefile{toc}{\contentsline {paragraph}{Definition}{97}}
\@writefile{toc}{\contentsline {section}{\numberline {5.4}Dimension of intersection}{97}}
\newlabel{proj dim inters}{{5.4}{97}}
\newlabel{dim eq1}{{1}{97}}
\@writefile{toc}{\contentsline {paragraph}{Proof}{97}}
\newlabel{dim eq2}{{2}{97}}
\@writefile{toc}{\contentsline {section}{\numberline {5.5}$\PGL (n+1)$ and projective frames of reference}{97}}
\newlabel{PGL}{{5.5}{97}}
\@writefile{toc}{\contentsline {paragraph}{Definition}{98}}
\@writefile{toc}{\contentsline {paragraph}{Proof}{99}}
\@writefile{toc}{\contentsline {section}{\numberline {5.6}Projective linear maps of $\PP ^1$ and the cross-ratio}{99}}
\newlabel{pers cross-ratio}{{5.6}{99}}
\@writefile{lof}{\contentsline {figure}{\numberline {5.6a}{\ignorespaces The 3-transitive action of $\PGL (2)$ on $\PP ^1$}}{100}}
\newlabel{3-transitive}{{5.6a}{100}}
\newlabel{rs eq}{{4}{100}}
\@writefile{toc}{\contentsline {paragraph}{Remark}{100}}
\newlabel{cross-sect eq}{{5}{100}}
\@writefile{toc}{\contentsline {paragraph}{Proof}{100}}
\@writefile{lof}{\contentsline {figure}{\numberline {5.6b}{\ignorespaces The cross-ratio $\{P,Q;R,S\}$}}{101}}
\newlabel{fig!x-ratio}{{5.6b}{101}}
\@writefile{toc}{\contentsline {section}{\numberline {5.7}Perspectivities}{101}}
\newlabel{sec!pers}{{5.7}{101}}
\@writefile{toc}{\contentsline {paragraph}{Proof}{102}}
\@writefile{toc}{\contentsline {section}{\numberline {5.8}Affine space as a subset of projective space}{102}}
\newlabel{aff in proj}{{5.8}{102}}
\@writefile{lof}{\contentsline {figure}{\numberline {5.8}{\ignorespaces The inclusion $\aff ^n\subset \PP ^n$}}{103}}
\newlabel{fig!An_in_Pn}{{5.8}{103}}
\@writefile{toc}{\contentsline {section}{\numberline {5.9}Desargues' theorem}{103}}
\newlabel{Desargues}{{5.9}{103}}
\newlabel{eq!Des}{{8}{103}}
\@writefile{lof}{\contentsline {figure}{\numberline {5.9a}{\ignorespaces The Desargues configuration in $\PP ^2$ or $\PP ^3$}}{104}}
\newlabel{fig!Des}{{5.9a}{104}}
\@writefile{toc}{\contentsline {paragraph}{Proof}{104}}
\@writefile{toc}{\contentsline {paragraph}{Step 1}{104}}
\@writefile{toc}{\contentsline {paragraph}{Step 2}{104}}
\@writefile{lof}{\contentsline {figure}{\numberline {5.9b}{\ignorespaces Lifting the Desargues configuration to $\@mathbb P^3$}}{105}}
\newlabel{des lift}{{5.9b}{105}}
\@writefile{toc}{\contentsline {section}{\numberline {5.10}Pappus' theorem}{105}}
\newlabel{Pappus}{{5.10}{105}}
\@writefile{lof}{\contentsline {figure}{\numberline {5.10}{\ignorespaces The Pappus configuration}}{106}}
\newlabel{pap fig}{{5.10}{106}}
\@writefile{toc}{\contentsline {paragraph}{Proof}{106}}
\@writefile{toc}{\contentsline {section}{\numberline {5.11}Principle of duality}{107}}
\newlabel{dual}{{5.11}{107}}
\@writefile{toc}{\contentsline {section}{\numberline {5.12}Axiomatic projective geometry}{108}}
\newlabel{Axiomatic projective geometry}{{5.12}{108}}
\citation{Ha}
\@writefile{lof}{\contentsline {figure}{\numberline {5.12a}{\ignorespaces Axiomatic projective plane}}{109}}
\newlabel{axiomatic}{{5.12a}{109}}
\@writefile{toc}{\contentsline {paragraph}{Introducing coordinates in axiomatic projective planes}{109}}
\@writefile{toc}{\contentsline {paragraph}{Flavour of proof}{109}}
\@writefile{lof}{\contentsline {figure}{\numberline {5.12b}{\ignorespaces Geometric construction of addition}}{110}}
\newlabel{add}{{5.12b}{110}}
\@writefile{toc}{\contentsline {section}{Exercises to Chapter\nobreakspace  {}5}{110}}
\newlabel{ex!perspec}{{1}{110}}
\newlabel{ex6}{{5}{111}}
\newlabel{ex7}{{6}{111}}
\newlabel{ex!aff lin}{{10}{111}}
\newlabel{ex!Des1}{{13}{112}}
\newlabel{ex!Des2}{{14}{112}}
\newlabel{ex!Pap}{{15}{112}}
\newlabel{ex!no of points}{{20}{113}}
\@setckpt{proj}{
\setcounter{page}{114}
\setcounter{equation}{8}
\setcounter{enumi}{20}
\setcounter{enumii}{3}
\setcounter{enumiii}{0}
\setcounter{enumiv}{0}
\setcounter{footnote}{0}
\setcounter{mpfootnote}{0}
\setcounter{part}{0}
\setcounter{chapter}{5}
\setcounter{section}{12}
\setcounter{subsection}{0}
\setcounter{subsubsection}{0}
\setcounter{paragraph}{0}
\setcounter{subparagraph}{0}
\setcounter{figure}{12}
\setcounter{table}{0}
\setcounter{parentequation}{0}
\setcounter{cor}{7}
\setcounter{corn}{0}
\setcounter{constr}{0}
\setcounter{principle}{1}
\setcounter{prop}{19}
\setcounter{lem}{2}
\setcounter{lemn}{4}
\setcounter{cla}{2}
\setcounter{thm}{20}
}