\relax 
\@writefile{toc}{\contentsline {chapter}{\numberline {7}Topology}{133}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\newlabel{top chap}{{7}{133}}
\@writefile{toc}{\contentsline {paragraph}{``Point-set topology''}{133}}
\@writefile{toc}{\contentsline {paragraph}{``Rubber-sheet geometry''}{133}}
\@writefile{toc}{\contentsline {section}{\numberline {7.1}Definition of a topological space}{134}}
\newlabel{defn top}{{7.1}{134}}
\@writefile{toc}{\contentsline {paragraph}{Example\nobreakspace  {}1}{134}}
\@writefile{toc}{\contentsline {paragraph}{Example\nobreakspace  {}2}{134}}
\@writefile{toc}{\contentsline {paragraph}{Example\nobreakspace  {}3}{135}}
\newlabel{cofinite}{{7.1}{135}}
\@writefile{toc}{\contentsline {section}{\numberline {7.2}Motivation from metric spaces}{135}}
\newlabel{metric motiv}{{7.2}{135}}
\@writefile{toc}{\contentsline {paragraph}{Definition}{135}}
\@writefile{toc}{\contentsline {paragraph}{Equivalent conditions}{135}}
\@writefile{lof}{\contentsline {figure}{\numberline {7.2a}{\ignorespaces Hausdorff property}}{136}}
\newlabel{hausdorff fig}{{7.2a}{136}}
\@writefile{lof}{\contentsline {figure}{\numberline {7.2b}{\ignorespaces $S^1=[0,1]$ with the ends identified}}{137}}
\newlabel{S1}{{7.2b}{137}}
\@writefile{toc}{\contentsline {section}{\numberline {7.3}Continuous maps and homeomorphisms}{137}}
\newlabel{homeo cont}{{7.3}{137}}
\@writefile{toc}{\contentsline {subsection}{\numberline {7.3.1}Definition of a continuous map}{137}}
\newlabel{def_cont_sect}{{7.3.1}{137}}
\@writefile{toc}{\contentsline {paragraph}{Example\nobreakspace  {}1}{137}}
\@writefile{toc}{\contentsline {paragraph}{Example\nobreakspace  {}2}{137}}
\@writefile{toc}{\contentsline {subsection}{\numberline {7.3.2}Definition of a homeomorphism}{138}}
\newlabel{def_of_homeom}{{7.3.2}{138}}
\@writefile{toc}{\contentsline {paragraph}{Example\nobreakspace  {}3}{138}}
\@writefile{lof}{\contentsline {figure}{\numberline {7.3a}{\ignorespaces $(0,1)\simeq \@mathbb R$}}{138}}
\newlabel{k}{{7.3a}{138}}
\@writefile{lof}{\contentsline {figure}{\numberline {7.3b}{\ignorespaces Squaring the circle}}{139}}
\newlabel{l}{{7.3b}{139}}
\@writefile{toc}{\contentsline {paragraph}{Example\nobreakspace  {}4}{139}}
\@writefile{toc}{\contentsline {paragraph}{Example\nobreakspace  {}5}{139}}
\@writefile{toc}{\contentsline {subsection}{\numberline {7.3.3}Homeomorphisms and the Erlangen program}{139}}
\newlabel{sec!separation}{{7.3.3}{139}}
\@writefile{toc}{\contentsline {subsection}{\numberline {7.3.4}The homeomorphism problem}{140}}
\newlabel{homeo prob}{{7.3.4}{140}}
\@writefile{toc}{\contentsline {section}{\numberline {7.4}Topological properties}{140}}
\newlabel{top prop}{{7.4}{140}}
\@writefile{lof}{\contentsline {figure}{\numberline {7.4b}{\ignorespaces Path connected set}}{141}}
\newlabel{m}{{7.4b}{141}}
\@writefile{toc}{\contentsline {subsection}{\numberline {7.4.1}Connectedness}{141}}
\newlabel{subsec!connected}{{7.4.1}{141}}
\@writefile{toc}{\contentsline {paragraph}{Proof}{141}}
\@writefile{toc}{\contentsline {paragraph}{Remark}{142}}
\@writefile{toc}{\contentsline {subsection}{\numberline {7.4.2}Compactness}{142}}
\newlabel{comp}{{7.4.2}{142}}
\citation{Su}
\citation{Su}
\citation{Su}
\citation{Su}
\citation{Ru}
\@writefile{toc}{\contentsline {paragraph}{Example}{143}}
\citation{Su}
\@writefile{toc}{\contentsline {subsection}{\numberline {7.4.3}Continuous image of a compact space is compact}{144}}
\newlabel{im compact}{{7.4.3}{144}}
\@writefile{toc}{\contentsline {paragraph}{Proof}{144}}
\@writefile{toc}{\contentsline {subsection}{\numberline {7.4.4}An application of topological properties}{144}}
\newlabel{sec!using}{{7.4.4}{144}}
\@writefile{toc}{\contentsline {section}{\numberline {7.5}Subspace and quotient topology}{145}}
\newlabel{sub and quot}{{7.5}{145}}
\@writefile{toc}{\contentsline {paragraph}{Proof}{146}}
\@writefile{toc}{\contentsline {section}{\numberline {7.6}Standard examples of glueing}{146}}
\newlabel{std exs}{{7.6}{146}}
\@writefile{toc}{\contentsline {paragraph}{Example\nobreakspace  {}0}{146}}
\@writefile{toc}{\contentsline {paragraph}{Example\nobreakspace  {}1}{146}}
\@writefile{lof}{\contentsline {figure}{\numberline {7.6a}{\ignorespaces The M\"obius strip $M$}}{147}}
\newlabel{Moebius fig}{{7.6a}{147}}
\@writefile{lof}{\contentsline {figure}{\numberline {7.6b}{\ignorespaces The cylinder $S^1\times [0,1]$}}{147}}
\newlabel{cylinder fig}{{7.6b}{147}}
\@writefile{toc}{\contentsline {paragraph}{Example\nobreakspace  {}2}{147}}
\@writefile{toc}{\contentsline {paragraph}{Example\nobreakspace  {}3}{147}}
\@writefile{toc}{\contentsline {paragraph}{Example\nobreakspace  {}4}{147}}
\@writefile{lof}{\contentsline {figure}{\numberline {7.6c}{\ignorespaces The torus}}{148}}
\newlabel{torus fig}{{7.6c}{148}}
\@writefile{lof}{\contentsline {figure}{\numberline {7.6d}{\ignorespaces Surface with $g$ handles}}{148}}
\newlabel{surf fig}{{7.6d}{148}}
\@writefile{toc}{\contentsline {paragraph}{Step\nobreakspace  {}1: Main claim}{149}}
\@writefile{lof}{\contentsline {figure}{\numberline {7.6e}{\ignorespaces Boundary and interior points}}{149}}
\newlabel{r}{{7.6e}{149}}
\@writefile{toc}{\contentsline {paragraph}{Step\nobreakspace  {}2}{149}}
\@writefile{toc}{\contentsline {paragraph}{Step\nobreakspace  {}3}{149}}
\@writefile{toc}{\contentsline {section}{\numberline {7.7}Topology of $\PP ^n_\@mathbb R$}{150}}
\newlabel{Top Pn}{{7.7}{150}}
\@writefile{lof}{\contentsline {figure}{\numberline {7.7}{\ignorespaces Topology of $\@mathbb P^2_\@mathbb R$: M\"obius strip with a disc glued in}}{151}}
\newlabel{aa}{{7.7}{151}}
\@writefile{toc}{\contentsline {section}{\numberline {7.8}Nonmetric quotient topologies}{151}}
\newlabel{nonmetric}{{7.8}{151}}
\@writefile{toc}{\contentsline {paragraph}{Example\nobreakspace  {}1 (the mousetrap topology)}{151}}
\@writefile{lof}{\contentsline {figure}{\numberline {7.8a}{\ignorespaces The mousetrap topology}}{152}}
\newlabel{s}{{7.8a}{152}}
\@writefile{toc}{\contentsline {paragraph}{Example\nobreakspace  {}2: Quadratic forms}{152}}
\@writefile{lof}{\contentsline {figure}{\numberline {7.8b}{\ignorespaces Equivalence classes of quadratic forms $ax^2+2bxy+cy^2$}}{153}}
\newlabel{light cone fig}{{7.8b}{153}}
\@writefile{toc}{\contentsline {section}{\numberline {7.9}Basis for a topology}{153}}
\newlabel{basis}{{7.9}{153}}
\@writefile{toc}{\contentsline {paragraph}{Proof}{154}}
\@writefile{toc}{\contentsline {paragraph}{Example 1}{154}}
\@writefile{toc}{\contentsline {paragraph}{Example 2}{154}}
\@writefile{toc}{\contentsline {paragraph}{Example 3: Profinite topology of an infinite group}{154}}
\@writefile{toc}{\contentsline {paragraph}{Remark}{155}}
\@writefile{toc}{\contentsline {section}{\numberline {7.10}Product topology}{155}}
\newlabel{prod top}{{7.10}{155}}
\@writefile{lof}{\contentsline {figure}{\numberline {7.10}{\ignorespaces Balls for product metrics}}{156}}
\newlabel{u}{{7.10}{156}}
\@writefile{toc}{\contentsline {section}{\numberline {7.11}The Hausdorff property}{156}}
\newlabel{Hausdorff}{{7.11}{156}}
\@writefile{toc}{\contentsline {paragraph}{Example 1}{156}}
\@writefile{toc}{\contentsline {paragraph}{Example 2}{156}}
\@writefile{toc}{\contentsline {paragraph}{Example 3}{156}}
\@writefile{toc}{\contentsline {paragraph}{Proof}{157}}
\@writefile{toc}{\contentsline {section}{\numberline {7.12}Compact versus closed}{157}}
\newlabel{comp v closed}{{7.12}{157}}
\@writefile{toc}{\contentsline {paragraph}{Proof}{157}}
\@writefile{lof}{\contentsline {figure}{\numberline {7.12}{\ignorespaces Separating a point from a compact subset}}{158}}
\newlabel{sep_closed_point}{{7.12}{158}}
\@writefile{toc}{\contentsline {section}{\numberline {7.13}Closed maps}{158}}
\newlabel{closed}{{7.13}{158}}
\@writefile{toc}{\contentsline {paragraph}{Example 1}{158}}
\@writefile{toc}{\contentsline {paragraph}{Proof}{158}}
\@writefile{toc}{\contentsline {paragraph}{Example 2}{158}}
\@writefile{lof}{\contentsline {figure}{\numberline {7.13a}{\ignorespaces Closed map}}{159}}
\newlabel{z}{{7.13a}{159}}
\@writefile{lof}{\contentsline {figure}{\numberline {7.13b}{\ignorespaces Nonclosed map}}{159}}
\newlabel{y}{{7.13b}{159}}
\@writefile{toc}{\contentsline {paragraph}{Proof}{160}}
\@writefile{toc}{\contentsline {section}{\numberline {7.14}A criterion for homeomorphism}{160}}
\newlabel{homeo crit}{{7.14}{160}}
\@writefile{toc}{\contentsline {paragraph}{Proof}{160}}
\@writefile{toc}{\contentsline {paragraph}{Example}{160}}
\@writefile{toc}{\contentsline {section}{\numberline {7.15}Loops and the winding number}{160}}
\newlabel{wind}{{7.15}{160}}
\@writefile{toc}{\contentsline {paragraph}{Question}{160}}
\@writefile{toc}{\contentsline {paragraph}{Answer}{161}}
\@writefile{toc}{\contentsline {subsection}{\numberline {7.15.1}Paths, loops and families}{161}}
\newlabel{IxI}{{7.15.1}{161}}
\@writefile{toc}{\contentsline {paragraph}{Tentative definition}{161}}
\@writefile{lof}{\contentsline {figure}{\numberline {7.15a}{\ignorespaces Continuous family of paths}}{162}}
\newlabel{IxI fig}{{7.15a}{162}}
\@writefile{toc}{\contentsline {paragraph}{Remark}{162}}
\@writefile{toc}{\contentsline {paragraph}{Proof}{162}}
\@writefile{toc}{\contentsline {paragraph}{Definition}{163}}
\@writefile{toc}{\contentsline {paragraph}{Example}{163}}
\@writefile{toc}{\contentsline {subsection}{\numberline {7.15.2}The winding number}{163}}
\newlabel{sec!winddef}{{7.15.2}{163}}
\@writefile{toc}{\contentsline {paragraph}{Definition}{164}}
\@writefile{toc}{\contentsline {paragraph}{Proof}{164}}
\@writefile{lof}{\contentsline {figure}{\numberline {7.15b}{\ignorespaces $D^*$ covered by overlapping open radial sectors}}{165}}
\newlabel{overlap sectors}{{7.15b}{165}}
\@writefile{lof}{\contentsline {figure}{\numberline {7.15c}{\ignorespaces Overlapping intervals}}{165}}
\newlabel{overlap intervals}{{7.15c}{165}}
\@writefile{toc}{\contentsline {subsection}{\numberline {7.15.3}Winding number is constant in a family}{166}}
\newlabel{htpy}{{7.15.3}{166}}
\@writefile{toc}{\contentsline {paragraph}{Proof}{166}}
\@writefile{toc}{\contentsline {subsection}{\numberline {7.15.4}Applications of the winding number}{167}}
\newlabel{fun thm}{{7.15.4}{167}}
\@writefile{toc}{\contentsline {paragraph}{Proof}{167}}
\@writefile{toc}{\contentsline {paragraph}{Remark}{167}}
\@writefile{toc}{\contentsline {paragraph}{Proof}{167}}
\@writefile{toc}{\contentsline {section}{Exercises to Chapter\nobreakspace  {}7}{168}}
\newlabel{metric_top_ex}{{1}{168}}
\newlabel{cont ex}{{2}{168}}
\newlabel{conv ex}{{3}{168}}
\newlabel{seqcont ex}{{4}{168}}
\newlabel{sspace ex}{{10}{170}}
\newlabel{submetric ex}{{11}{170}}
\newlabel{ex!p2r}{{17a}{171}}
\newlabel{ex!squarequot}{{18}{171}}
\@writefile{lof}{\contentsline {figure}{\numberline {7.15a}{\ignorespaces Glueing patterns on the square}}{172}}
\newlabel{fig!moresquare}{{7.15a}{172}}
\newlabel{ex!genus2}{{19}{172}}
\newlabel{uniform}{{20}{172}}
\newlabel{ex!basept}{{21}{173}}
\@writefile{lof}{\contentsline {figure}{\numberline {7.15b}{\ignorespaces The surface with two handles and the octagon}}{173}}
\newlabel{fig!octagon}{{7.15b}{173}}
\@setckpt{top}{
\setcounter{page}{174}
\setcounter{equation}{0}
\setcounter{enumi}{21}
\setcounter{enumii}{5}
\setcounter{enumiii}{0}
\setcounter{enumiv}{0}
\setcounter{footnote}{1}
\setcounter{mpfootnote}{0}
\setcounter{part}{0}
\setcounter{chapter}{7}
\setcounter{section}{15}
\setcounter{subsection}{4}
\setcounter{subsubsection}{0}
\setcounter{paragraph}{0}
\setcounter{subparagraph}{0}
\setcounter{figure}{19}
\setcounter{table}{0}
\setcounter{parentequation}{0}
\setcounter{cor}{7}
\setcounter{corn}{2}
\setcounter{constr}{1}
\setcounter{principle}{2}
\setcounter{prop}{30}
\setcounter{lem}{4}
\setcounter{lemn}{4}
\setcounter{cla}{2}
\setcounter{thm}{22}
}