\documentclass[12pt,twoside]{book}
 \pagestyle{myheadings}
 \usepackage{amsmath,amssymb,epsfig,graphics}
 \textheight215truemm \textwidth 138truemm
 % \addtolength{\textheight}{40truemm}
 % \addtolength{\voffset}{-12truemm}
 % \addtolength{\textwidth}{32truemm}
 % \addtolength{\hoffset}{-18truemm}

% short Greeks
 \newcommand{\al}{\alpha}
 \newcommand{\be}{\beta}
 \newcommand{\ga}{\gamma}
 \newcommand{\de}{\delta}
 \newcommand{\ep}{\varepsilon}
 \newcommand{\fie}{\varphi}
% \newcommand{\io}{\iota}
% \newcommand{\ka}{\kappa}
 \newcommand{\la}{\lambda}
 \newcommand{\si}{\sigma}
% \newcommand{\th}{\theta}
 \newcommand{\ze}{\zeta}
% \newcommand{\om}{\omega}
 \newcommand{\Fie}{\Phi}
 \newcommand{\Ga}{\Gamma}
 \newcommand{\De}{\Delta}
 \newcommand{\La}{\Lambda}
 \newcommand{\Si}{\Sigma}
% \newcommand{\Th}{\Theta}
% \newcommand{\Om}{\Omega}

 \newcommand{\abar}{\overline a}
 \newcommand{\bbar}{\overline b}
 \newcommand{\cbar}{\overline c}
 \newcommand{\dbar}{\overline d}
 \newcommand{\xbar}{\overline x}
 \newcommand{\ybar}{\overline y}
 \newcommand{\zbar}{\overline z}
 \newcommand{\Abar}{\overline A}
 \newcommand{\Xbar}{\overline X}
 \newcommand{\boldzbar}{\overline{\bz}}
 \newcommand{\trboldzbar}{{}^{\mathrm{t}}\overline{\bz}}
 \newcommand{\labar}{\overline\la}
 \newcommand{\psibar}{\overline\psi}
 \newcommand{\mubar}{\overline\mu}
 \newcommand{\wA}{\wave A}
 \newcommand{\wG}{\wave G}
 \newcommand{\wM}{\wave M}
 \newcommand{\wT}{\wave T}

 \newcommand{\color}[6]{}

 \newcommand{\tr}{{}^\mathrm{t}\!}
 \newcommand{\herm}{{}^\mathrm{h}\!}
% vector symbols

 \newcommand{\ba}{\mathbf a}
 \newcommand{\bb}{\mathbf b}
 \newcommand{\bc}{\mathbf c}
 \newcommand{\bd}{\mathbf d}
 \newcommand{\bbe}{\mathbf e}
 \newcommand{\bbf}{\mathbf f}
 \newcommand{\bg}{\mathbf g}
 \newcommand{\bp}{\mathbf p}
 \newcommand{\bq}{\mathbf q}
 \newcommand{\br}{\mathbf r}
 \newcommand{\bs}{\mathbf s}
 \newcommand{\bu}{\mathbf u}
 \newcommand{\bv}{\mathbf v}
 \newcommand{\bw}{\mathbf w}
 \newcommand{\bx}{\mathbf x}
 \newcommand{\by}{\mathbf y}
 \newcommand{\bz}{\mathbf z}

\newcommand{\vect}[1]{\overline{#1}}

% Script letters
% \newcommand{\sA}{\mathcal A} % sheaf of algebras A
 \newcommand{\sB}{\mathcal B} % basis for topology
% \newcommand{\sC}{\mathcal C} % conductor ideal
% \newcommand{\sD}{\mathcal D} % differential algebra
% \newcommand{\sE}{\mathcal E} % sheaf E
% \newcommand{\sF}{\mathcal F} % sheaf F
% \newcommand{\sG}{\mathcal G} % sheaf G
 \newcommand{\sH}{\mathcal H} % upper half plane
% \newcommand{\sI}{\mathcal I} % injective sheaf I
% \newcommand{\sJ}{\mathcal J} % injective sheaf J
% \newcommand{\sK}{\mathcal K} % field
% \newcommand{\sL}{\mathcal L} % invertible sheaf L
% \newcommand{\sM}{\mathcal M} % moduli space Mg
% \newcommand{\sN}{\mathcal N} % script N
% \newcommand{\sO}{\mathcal O} % structure sheaf
% \newcommand{\Oh}{\mathcal O} % structure sheaf
% \newcommand{\sP}{\mathcal P} % script P
% \newcommand{\sR}{\mathcal R} % sheaf of O-algebras
 \newcommand{\sT}{\mathcal T} % topology
% \newcommand{\sV}{\mathcal V} % open cover

% Bourbaki letters
 \newcommand{\C}{\mathbb C} % complex numbers
 \newcommand{\E}{\mathbb E} % Euclidean space
 \newcommand{\quat}{\mathbb H} % quaternions
 \newcommand{\HH}{\mathbb H} % quaternions
% \newcommand{\N}{\mathbb N} % natural numbers
% \newcommand{\Q}{\mathbb Q} % rational numbers
 \newcommand{\R}{\mathbb R} % real numbers
 \newcommand{\Z}{\mathbb Z} % integers
 \newcommand{\FF}{\mathbb F} % scroll F or Galois field F_q
 \newcommand{\aff}{\mathbb A} % affine space
 \newcommand{\PP}{\mathbb P} % projective space

 \newcommand{\dd}{\mathrm d}
 \newcommand{\D}{\mathrm D}
\renewcommand{\Cup}{\bigcup} % union over set
\renewcommand{\Cap}{\bigcap} % intersection

\newcommand{\Span}[1]{\left<#1\right>} % <x> span or hull of x

 \DeclareMathOperator{\im}{Im} % Imaginary part
 \newcommand{\QED}{\ifhmode\unskip\nobreak\fi\quad {\rm Q.E.D.}} % QED
 \DeclareMathOperator{\Perm}{Perm} % Permutation group
 \DeclareMathOperator{\Stab}{Stab} % Stabiliser subgroup
 \DeclareMathOperator{\Trans}{Trans} % Transformation group
 \DeclareMathOperator{\Sim}{Sim} % Similarity group
 \DeclareMathOperator{\Homeo}{Homeo} % Homeomorphism group
 \DeclareMathOperator{\Rot}{Rot} % Rotation
 \DeclareMathOperator{\Refl}{Refl} % Reflection
 \DeclareMathOperator{\Glide}{Glide} % Glide
 \DeclareMathOperator{\Transl}{Transl} % Translation
 \DeclareMathOperator{\Twist}{Twist} % Twist
 \DeclareMathOperator{\Halfturn}{Halfturn} % Halfturn
 \DeclareMathOperator{\RotRefl}{Rot-Refl} % Rotary Reflection
 \DeclareMathOperator{\Fix}{Fix} % Fixed locus
 \DeclareMathOperator{\Gal}{Gal} % Galois group
 \DeclareMathOperator{\Eucl}{Eucl} % Euclidean group
 \DeclareMathOperator{\Aff}{Aff} % Affine group
 \DeclareMathOperator{\GL}{GL} % full linear group
 \DeclareMathOperator{\PGL}{PGL} % projective linear group
 \DeclareMathOperator{\Poin}{Poin} % Poincar\'e group
 \newcommand{\wPoin}{\wave{\mathrm{Poin}}} % Poincar\'e group
 \DeclareMathOperator{\U}{U} % unitary group
 \DeclareMathOperator{\SU}{SU} % special unitary group
 \DeclareMathOperator{\SL}{SL} % special linear group
 \renewcommand{\O}{\operatorname{O}} % orthogonal group
 \DeclareMathOperator{\SO}{SO} % special orthogonal group
 \DeclareMathOperator{\Spin}{Spin} % spinor group
 \DeclareMathOperator{\area}{area} % area
 \DeclareMathOperator{\arccot}{arccot} % area
 \DeclareMathOperator{\arccosh}{arccosh} % arc hyperbolic cosine
 \DeclareMathOperator{\arcsinh}{arcsinh} % arc hyperbolic sine
 \DeclareMathOperator{\length}{length} % area

 \newcommand{\opo}{\mathcal O} % quantum spin operator
 \newcommand{\wave}{\widetilde}
 \renewcommand{\vec}{\overrightarrow}
 \newcommand{\iso}{\cong}
 \newcommand{\isoto}{\xrightarrow{\simeq}}
 \newcommand{\1}{^{-1}} % inverse
 \newcommand{\half}{\frac{1}{2}}
\DeclareMathSymbol{\therefore} {\mathrel}{AMSa}{"29}
\DeclareMathSymbol{\because} {\mathrel}{AMSa}{"2A}
\DeclareMathSymbol{\ltimes} {\mathbin}{AMSb}{"6E}
\DeclareMathSymbol{\subsetneqq} {\mathrel}{AMSb}{"24}
\DeclareMathSymbol{\subsetneq} {\mathrel}{AMSb}{"24}
\DeclareMathSymbol{\onto} {\mathrel}{AMSa}{"10} % -->>
 \newcommand{\bij}{\leftrightarrow} % <-->
 \newcommand{\into}{\hookrightarrow}
 \newcommand{\diag}{\operatorname{diag}} % diagonal matrix
 \newcommand{\id}{\mathrm{id}} % identity map

 \newcommand{\plusspin}{$(+)$}
 \newcommand{\minusspin}{$(-)$}

 \newcommand{\exref}[1]{Ex.~\arabic{chapter}.\ref{#1}}%

\newenvironment{exa}{\paragraph{Example}}{}
\newenvironment{pf}{\paragraph{Proof}}{\par\medskip}
\newenvironment{pfof}[1]{\paragraph{Proof of #1}}{\par\medskip}
\newenvironment{skpf}{\paragraph{Sketch Proof}}{\par\medskip}
\newenvironment{rem}{\paragraph{Remark}}{\par\medskip}
\newenvironment{rems}{\paragraph{Remarks}}{\par\medskip}
\newenvironment{hint}{[Hint:}{\unskip ]}
\newenvironment{defn}{\paragraph{Definition}}{\par\medskip}
\newtheorem{cor}{Corollary}\renewcommand{\thecor}{\empty}
\newtheorem{corn}{Corollary}
\newtheorem{constr}{Construction}\renewcommand{\theconstr}{\empty}
\newtheorem{principle}{Principle}\renewcommand{\theprinciple}{\empty}
\newtheorem{prop}{Proposition}\renewcommand{\theprop}{\empty}
\newtheorem{lem}{Lemma}\renewcommand{\thelem}{\empty}
\newtheorem{lemn}{Lemma}
\newtheorem{cla}{Claim}\renewcommand{\thecla}{\empty}
\newtheorem{thm}{Theorem}\renewcommand{\thethm}{\empty}

\renewcommand{\theequation}{\arabic{equation}}

% \overfullrule 10 pt
%\includeonly{eucl}
% \nofiles

 \newcommand{\see}[2]{see {\em #1}}
 \makeindex

\begin{document}
\pagenumbering{roman}

%Titlepage

 \title{Geometry and topology}
 \author{Miles Reid\footnote{Mathematics Institute, University of
Warwick, Coventry CV4 7AL, United Kingdom,  e-mail address: {\tt
miles@maths.warwick.ac.uk}} and Bal\'azs Szendr\H oi\footnote{Department
of Mathematics, Universiteit Utrecht, P.O.box 80010, NL--3508 TA Utrect,
The Netherlands, e-mail address: {\tt szendroi@math.uu.nl}}}
 \date{This edition Aug 2004 \\ \  \\ \small Status: Complete, except for Figure~0.1. \\ We would be very grateful for any comments or suggestions for improvement.}
%\maketitle

 \index{angular!defect, excess|see{angle sum}}
 \index{closed|see{compact versus closed}}
 \index{compact|see{maximal --, sequentially --}}
 \index{connected|see{path --, simply --}}
 \index{bilinear form|see{Euclidean inner product, Lorentz dot product}}
 \index{distance|see{Euclidean --, hyper\-bolic --, metric, shortest
--, spherical --, ratio of --}}
 \index{Euclidean!motion|see{motion}}
 \index{frame of reference|see{frame}}
 \index{geodesic|see{shortest distance}}
 \index{glide!reflection|see{glide}}
 \index{glueing|see{quotient topology}}
 \index{great circle|see{spherical line}}
 \index{group|see{abstract --, fundamental --, Lie --,
topological --, transformation --}}
 \index{ideal point|see{infinity, point at}}
 \index{intersection|see{dimension of --}}
 \index{isometry|see{motion, preserves distances}}
 \index{Lie group|see{compact --}}
 \index{Lorentz!translation|see{hyperbolic --}}
 \index{orthogonal|see{Lorentz orthogonal}}
 \index{path|see{length of path, minimum over paths}}
 \index{point at infinity|see{infinity, point at}}
 \index{principal homogeneous space|see{torsor}}
 \index{rigid body motion|see{motion}}
 \index{shortest distance|see{minimum over paths}}
 \index{simplex of reference|see{frame}}
 \index{UMP|see{universal mapping property}}

 \setcounter{page}{4} % pp. i--iv are for CUP
 \include{intro}

% Table of contents
\cleardoublepage
\markboth{\quad Contents\hfill}{\hfill Contents\quad}\addcontentsline{toc}{chapter}{Table of contents}\tableofcontents

% List of figures
 \cleardoublepage\markboth{\quad Figures\hfill}{\hfill Figures\quad}\makeatletter\renewcommand*\l@figure{\@dottedtocline{1}{1.5em}{2.8em}}\makeatother\addcontentsline{toc}{chapter}{List of figures}\listoffigures

 \cleardoublepage
 \pagenumbering{arabic}
 \include{eucl}
 \include{comp}
 \include{hyp}
 \include{aff} 
 \include{proj}
 \include{gp}
 \include{top}
 \include{lie}
 \include{final}
 \include{app}
 \include{biblio}

 \clearpage \markboth{\quad Index\hfill}{\hfill Index\quad}
 \addcontentsline{toc}{chapter}{Index}\input geom.ind

\end{document}