[OS X TeX] very slow pdflatexmk runs after upgrade TeXShop to 3.80

Fri Jul 14 16:45:57 CEST 2017

Under macOS Sierra 10.12.5, I upgraded toTeXShop 3.80 from the immediately preceding version, and with the same MacTeX 2017/TeXLive 2017 (except for any TeXLive package updates).

After updating TeXShop, when I run pdflatexmk on essentially the same complex document (about 300 pages with many source files that are included or inputted, multiple indexes, etc.), it takes many seconds more than it did under the previous version, with noticeable multi-second stops between each run during my single invocation of Typeset with pdflatexmk. 

With the previous version, pdflatexmk typesetting ran smoothly, with none of the hiccuping stops now occurring.

My pdflatexmkrc file and contents of the console are listed below. 

   ===========  BEGIN ~/Library/TewXShop/bin/tslatexmk/pdflatexmkrc  =============
# Don't edit this file IF it is named latexmkrcDONTedit directly since
#   TeXShop may replace it on update.
# If you wish to edit or add to this file, copy it to ~/Library/TeXShop/bin
# and rename it latexmkrcedit if that file doesn't already exist.

# Edit this File to add/change dependencies and rules
# The following is used by ALL the latexmk engine files

# change '--shell-escape' to an empty string, '', to remove the shell-escape default
#$TSUserCompileOptions = '--shell-escape';
$TSUserCompileOptions = '';

# turn recorder option off (no .fls file generated)
#$recorder=0;

# turn off duplicated missing references
$silence_logfile_warnings = 1;

# Custom dependency for glossaries package
# if you make custom glossaries you may have to add items to the @cus_dep_list and corresponding sub-routines
# NOTE: fileparse and $$Psource are undocumented latexmk as of version 4.40 --- Thanks to John Collins
# if you use the glossary package and DON'T use the glossaries package uncomment (remove the leading #)
# the single line with the system call and comment out (add leading #s) to the two following lines. No
# other changes are necessary. If you use both packages, place any project using the glossary package
# into a folder by itself and create a platexmkrc file containing the lines
#		sub makeglo2gls {
#				system("makeindex -s '$_[0]'.ist -t '$_[0]'.glg -o '$_[0]'.gls '$_[0]'.glo");
#		}
# (without the leading #s) in that folder.
add_cus_dep('glo', 'gls', 0, 'makeglo2gls');
		sub makeglo2gls {
#				system("makeindex -s '$_[0]'.ist -t '$_[0]'.glg -o '$_[0]'.gls '$_[0]'.glo");
				my ($name, $path) = fileparse($$Psource);
				return system("makeglossaries -d '$path' '$name'");
		}
# The glossaries package, with the [acronym] option, produces a .acn file when processed with (xe/pdf)latex and
# then makeindex/xindy to process the .acn into .acr and finally runs of (xe/pdf)latex to read in the .acr file.
add_cus_dep('acn', 'acr', 0, 'makeacn2acr');
		sub makeacn2acr {
#				system("makeindex -s '$_[0]'.ist -t '$_[0]'.alg -o '$_[0]'.acr '$_[0]'.acn");
				my ($name, $path) = fileparse($$Psource);
				return system("makeglossaries -d '$path' '$name'");
		}
# example of an added custom glossary type that is used in some of the glossaries example files:
# this is for the new glossary type command \newglossary[nlg]{notation}{not}{ntn}{Notation} from the glossaries package
add_cus_dep('ntn', 'not', 0, 'makeacn2acr');
# for other glossaries 4.xx examples
add_cus_dep('flo', 'flx', 0, 'makeacn2acr');
add_cus_dep('acn2', 'acr2', 0, 'makeacn2acr');

# the glossary package samples do acr->acn and not->ntn rather than the reverse for the glossaries package
add_cus_dep('acr', 'acn', 0, 'makeacr2acn');
		sub makeacr2acn {
				system("makeindex -s '$_[0]'.ist -t '$_[0]'.alg -o '$_[0]'.acn '$_[0]'.acr");
		}
add_cus_dep('not', 'ntn', 0, 'makenot2ntn');
		sub makenot2ntn {
				system("makeindex -s '$_[0]'.ist -t '$_[0]'.nlg -o '$_[0]'.ntn '$_[0]'.not");
		}

# dependencies for custom indexes using the index package
# examples for sample.tex for index package:
 add_cus_dep('adx', 'and', 0, 'makeadx2and');
 		sub makeadx2and {
 				system("makeindex -o '$_[0]'.and '$_[0]'.adx");
 		}
 add_cus_dep('ndx', 'nnd', 0, 'makendx2nnd');
 		sub makendx2nnd {
 				system("makeindex -o '$_[0]'.nnd '$_[0]'.ndx");
 		}
 add_cus_dep('ldx', 'lnd', 0, 'makeldx2lnd');
	 sub makeldx2lnd {
	 		 system("makeindex -o '$_[0]'.lnd '$_[0]'.ldx");
	 }

# dependency for biblatex example with a title index
 add_cus_dep('tdx', 'tnd', 0, 'maketdx2tnd');
 		sub maketdx2tnd {
 				system("makeindex -o '$_[0]'.tnd '$_[0]'.tdx");
 		}

# Custom dependency and function for nomencl package
add_cus_dep('nlo', 'nls', 0, 'makenlo2nls');
		sub makenlo2nls {
				system("makeindex -s nomencl.ist -o '$_[0]'.nls '$_[0]'.nlo");
		}

# Specify custom index style file:
#$makeindex = "makeindex  -s my.ist %O -o %D %S";# Don't edit this file IF it is named latexmkrcDONTedit directly since
#   TeXShop may replace it on update.
# If you wish to edit or add to this file, copy it to ~/Library/TeXShop/bin
# and rename it latexmkrcedit if that file doesn't already exist.

# Edit this File to add/change dependencies and rules
# The following is used by ALL the latexmk engine files

# change '--shell-escape' to an empty string, '', to remove the shell-escape default
#$TSUserCompileOptions = '--shell-escape';
$TSUserCompileOptions = '';

# turn recorder option off (no .fls file generated)
#$recorder=0;

# turn off duplicated missing references
$silence_logfile_warnings = 1;

# Custom dependency for glossaries package
# if you make custom glossaries you may have to add items to the @cus_dep_list and corresponding sub-routines
# NOTE: fileparse and $$Psource are undocumented latexmk as of version 4.40 --- Thanks to John Collins
# if you use the glossary package and DON'T use the glossaries package uncomment (remove the leading #)
# the single line with the system call and comment out (add leading #s) to the two following lines. No
# other changes are necessary. If you use both packages, place any project using the glossary package
# into a folder by itself and create a platexmkrc file containing the lines
#		sub makeglo2gls {
#				system("makeindex -s '$_[0]'.ist -t '$_[0]'.glg -o '$_[0]'.gls '$_[0]'.glo");
#		}
# (without the leading #s) in that folder.
add_cus_dep('glo', 'gls', 0, 'makeglo2gls');
		sub makeglo2gls {
#				system("makeindex -s '$_[0]'.ist -t '$_[0]'.glg -o '$_[0]'.gls '$_[0]'.glo");
				my ($name, $path) = fileparse($$Psource);
				return system("makeglossaries -d '$path' '$name'");
		}
# The glossaries package, with the [acronym] option, produces a .acn file when processed with (xe/pdf)latex and
# then makeindex/xindy to process the .acn into .acr and finally runs of (xe/pdf)latex to read in the .acr file.
add_cus_dep('acn', 'acr', 0, 'makeacn2acr');
		sub makeacn2acr {
#				system("makeindex -s '$_[0]'.ist -t '$_[0]'.alg -o '$_[0]'.acr '$_[0]'.acn");
				my ($name, $path) = fileparse($$Psource);
				return system("makeglossaries -d '$path' '$name'");
		}
# example of an added custom glossary type that is used in some of the glossaries example files:
# this is for the new glossary type command \newglossary[nlg]{notation}{not}{ntn}{Notation} from the glossaries package
add_cus_dep('ntn', 'not', 0, 'makeacn2acr');
# for other glossaries 4.xx examples
add_cus_dep('flo', 'flx', 0, 'makeacn2acr');
add_cus_dep('acn2', 'acr2', 0, 'makeacn2acr');

# the glossary package samples do acr->acn and not->ntn rather than the reverse for the glossaries package
add_cus_dep('acr', 'acn', 0, 'makeacr2acn');
		sub makeacr2acn {
				system("makeindex -s '$_[0]'.ist -t '$_[0]'.alg -o '$_[0]'.acn '$_[0]'.acr");
		}
add_cus_dep('not', 'ntn', 0, 'makenot2ntn');
		sub makenot2ntn {
				system("makeindex -s '$_[0]'.ist -t '$_[0]'.nlg -o '$_[0]'.ntn '$_[0]'.not");
		}

# dependencies for custom indexes using the index package
# examples for sample.tex for index package:
 add_cus_dep('adx', 'and', 0, 'makeadx2and');
 		sub makeadx2and {
 				system("makeindex -o '$_[0]'.and '$_[0]'.adx");
 		}
 add_cus_dep('ndx', 'nnd', 0, 'makendx2nnd');
 		sub makendx2nnd {
 				system("makeindex -o '$_[0]'.nnd '$_[0]'.ndx");
 		}
 add_cus_dep('ldx', 'lnd', 0, 'makeldx2lnd');
	 sub makeldx2lnd {
	 		 system("makeindex -o '$_[0]'.lnd '$_[0]'.ldx");
	 }

# dependency for biblatex example with a title index
 add_cus_dep('tdx', 'tnd', 0, 'maketdx2tnd');
 		sub maketdx2tnd {
 				system("makeindex -o '$_[0]'.tnd '$_[0]'.tdx");
 		}

# Custom dependency and function for nomencl package
add_cus_dep('nlo', 'nls', 0, 'makenlo2nls');
		sub makenlo2nls {
				system("makeindex -s nomencl.ist -o '$_[0]'.nls '$_[0]'.nlo");
		}

# Specify custom index style file:
#$makeindex = "makeindex  -s my.ist %O -o %D %S”;

   ===========  END ~/Library/TewXShop/bin/tslatexmk/pdflatexmkrc  =============

  ===========  BEGIN console file ===============

  Subroutine makeglo2gls redefined at (eval 9) line 2, <GEN2> chunk 1.
Latexmk: This is Latexmk, John Collins, 16 May 2017, version: 4.53a.
Rule 'pdflatex': Rules & subrules not known to be previously run:
   pdflatex
Rule 'pdflatex': The following rules & subrules became out-of-date:
      'pdflatex'
------------
Run number 1 of rule 'pdflatex'
------------
------------
Running 'pdflatex  --synctex=1 --file-line-error  -recorder  "topologybook.tex"'
------------
Latexmk: applying rule 'pdflatex'...
This is pdfTeX, Version 3.14159265-2.6-1.40.18 (TeX Live 2017) (preloaded format=pdflatex)
 restricted \write18 enabled.
entering extended mode
(./topologybook.tex
LaTeX2e <2017-04-15>
Babel <3.12> and hyphenation patterns for 84 language(s) loaded.
(/usr/local/texlive/2017/texmf-dist/tex/latex/snapshot/snapshot.sty)
(/usr/local/texlive/2017/texmf-dist/tex/latex/memoir/memoir.cls
Document Class: memoir 2016/05/16 v3.7f configurable book, report, article docu
ment class
(/usr/local/texlive/2017/texmf-dist/tex/generic/oberdiek/ifpdf.sty)
(/usr/local/texlive/2017/texmf-dist/tex/latex/ifetex/ifetex.sty
(/usr/local/texlive/2017/texmf-dist/tex/plain/ifetex/ifetex.tex))
(/usr/local/texlive/2017/texmf-dist/tex/generic/ifxetex/ifxetex.sty)
(/usr/local/texlive/2017/texmf-dist/tex/generic/oberdiek/ifluatex.sty)
(/usr/local/texlive/2017/texmf-dist/tex/latex/memoir/mem10.clo)
(/usr/local/texlive/2017/texmf-dist/tex/latex/memoir/mempatch.sty))
(/usr/local/texlive/2017/texmf-dist/tex/latex/base/ifthen.sty)
(./preamble/preamble.tex (./preamble/packages.sty
(/usr/local/texlive/2017/texmf-dist/tex/latex/csquotes/csquotes.sty
(/usr/local/texlive/2017/texmf-dist/tex/latex/etoolbox/etoolbox.sty)
(/usr/local/texlive/2017/texmf-dist/tex/latex/graphics/keyval.sty)
(/usr/local/texlive/2017/texmf-dist/tex/latex/csquotes/csquotes.def)
(/usr/local/texlive/2017/texmf-dist/tex/latex/csquotes/csquotes.cfg))
(/usr/local/texlive/2017/texmf-dist/tex/latex/amsmath/amsmath.sty
For additional information on amsmath, use the `?' option.
(/usr/local/texlive/2017/texmf-dist/tex/latex/amsmath/amstext.sty
(/usr/local/texlive/2017/texmf-dist/tex/latex/amsmath/amsgen.sty))
(/usr/local/texlive/2017/texmf-dist/tex/latex/amsmath/amsbsy.sty)
(/usr/local/texlive/2017/texmf-dist/tex/latex/amsmath/amsopn.sty))
(/usr/local/texlive/2017/texmf-dist/tex/latex/amscls/amsthm.sty)
(/usr/local/texlive/2017/texmf-dist/tex/latex/l3packages/xfrac/xfrac.sty
(/usr/local/texlive/2017/texmf-dist/tex/latex/l3kernel/expl3.sty
(/usr/local/texlive/2017/texmf-dist/tex/latex/l3kernel/expl3-code.tex)
(/usr/local/texlive/2017/texmf-dist/tex/latex/l3kernel/l3pdfmode.def))
(/usr/local/texlive/2017/texmf-dist/tex/latex/graphics/graphicx.sty
(/usr/local/texlive/2017/texmf-dist/tex/latex/graphics/graphics.sty
(/usr/local/texlive/2017/texmf-dist/tex/latex/graphics/trig.sty)
(/usr/local/texlive/2017/texmf-dist/tex/latex/graphics-cfg/graphics.cfg)
(/usr/local/texlive/2017/texmf-dist/tex/latex/graphics-def/pdftex.def)))
(/usr/local/texlive/2017/texmf-dist/tex/latex/l3packages/l3keys2e/l3keys2e.sty)
 (/usr/local/texlive/2017/texmf-dist/tex/latex/base/textcomp.sty
(/usr/local/texlive/2017/texmf-dist/tex/latex/base/ts1enc.def))
(/usr/local/texlive/2017/texmf-dist/tex/latex/l3packages/xparse/xparse.sty)
(/usr/local/texlive/2017/texmf-dist/tex/latex/l3packages/xtemplate/xtemplate.st
y)) (/usr/local/texlive/2017/texmf-dist/tex/latex/moresize/moresize.sty)
(/usr/local/texlive/2017/texmf-dist/tex/latex/enumitem/enumitem.sty)
(/usr/local/texlive/2017/texmf-dist/tex/latex/tools/multicol.sty)
(/usr/local/texlive/2017/texmf-dist/tex/latex/tools/longtable.sty)
(/usr/local/texlive/2017/texmf-dist/tex/latex/tools/calc.sty)
(/usr/local/texlive/2017/texmf-dist/tex/generic/xstring/xstring.sty
(/usr/local/texlive/2017/texmf-dist/tex/generic/xstring/xstring.tex))
(/usr/local/texlive/2017/texmf-dist/tex/latex/xpatch/xpatch.sty)
(/usr/local/texlive/2017/texmf-dist/tex/latex/bigfoot/suffix.sty)
(/usr/local/texlive/2017/texmf-dist/tex/latex/xcolor/xcolor.sty
(/usr/local/texlive/2017/texmf-dist/tex/latex/graphics-cfg/color.cfg)
(/usr/local/texlive/2017/texmf-dist/tex/latex/graphics/dvipsnam.def))
(/usr/local/texlive/2017/texmf-dist/tex/latex/pict2e/pict2e.sty
(/usr/local/texlive/2017/texmf-dist/tex/latex/pict2e/pict2e.cfg)
(/usr/local/texlive/2017/texmf-dist/tex/latex/pict2e/p2e-pdftex.def))
(/usr/local/texlive/2017/texmf-dist/tex/latex/tikz-cd/tikz-cd.sty
(/usr/local/texlive/2017/texmf-dist/tex/latex/pgf/frontendlayer/tikz.sty
(/usr/local/texlive/2017/texmf-dist/tex/latex/pgf/basiclayer/pgf.sty
(/usr/local/texlive/2017/texmf-dist/tex/latex/pgf/utilities/pgfrcs.sty
(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/utilities/pgfutil-common.te
x
(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/utilities/pgfutil-common-li
sts.tex))
(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/utilities/pgfutil-latex.def
(/usr/local/texlive/2017/texmf-dist/tex/latex/ms/everyshi.sty))
(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/utilities/pgfrcs.code.tex))
(/usr/local/texlive/2017/texmf-dist/tex/latex/pgf/basiclayer/pgfcore.sty
(/usr/local/texlive/2017/texmf-dist/tex/latex/pgf/systemlayer/pgfsys.sty
(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/systemlayer/pgfsys.code.tex
(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/utilities/pgfkeys.code.tex
(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/utilities/pgfkeysfiltered.c
ode.tex))
(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/systemlayer/pgf.cfg)
(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-pdftex.d
ef
(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-common-p
df.def)))
(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/systemlayer/pgfsyssoftpath.
code.tex)
(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/systemlayer/pgfsysprotocol.
code.tex))
(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/basiclayer/pgfcore.code.tex
(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex
(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/math/pgfmathcalc.code.tex
(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/math/pgfmathutil.code.tex)
(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/math/pgfmathparser.code.tex
)
(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.code.
tex
(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.basic
.code.tex)
(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.trigo
nometric.code.tex)
(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.rando
m.code.tex)
(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.compa
rison.code.tex)
(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.base.
code.tex)
(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.round
.code.tex)
(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.misc.
code.tex)
(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.integ
erarithmetics.code.tex)))
(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/math/pgfmathfloat.code.tex)
)
(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepoints.co
de.tex)
(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathconst
ruct.code.tex)
(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathusage
.code.tex)
(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/basiclayer/pgfcorescopes.co
de.tex)
(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/basiclayer/pgfcoregraphicst
ate.code.tex)
(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretransform
ations.code.tex)
(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/basiclayer/pgfcorequick.cod
e.tex)
(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreobjects.c
ode.tex)
(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathproce
ssing.code.tex)
(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/basiclayer/pgfcorearrows.co
de.tex)
(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreshade.cod
e.tex)
(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreimage.cod
e.tex
(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreexternal.
code.tex))
(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/basiclayer/pgfcorelayers.co
de.tex)
(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretranspare
ncy.code.tex)
(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepatterns.
code.tex)))
(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/modules/pgfmoduleshapes.cod
e.tex)
(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/modules/pgfmoduleplot.code.
tex)
(/usr/local/texlive/2017/texmf-dist/tex/latex/pgf/compatibility/pgfcomp-version
-0-65.sty)
(/usr/local/texlive/2017/texmf-dist/tex/latex/pgf/compatibility/pgfcomp-version
-1-18.sty))
(/usr/local/texlive/2017/texmf-dist/tex/latex/pgf/utilities/pgffor.sty
(/usr/local/texlive/2017/texmf-dist/tex/latex/pgf/utilities/pgfkeys.sty
(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/utilities/pgfkeys.code.tex)
) (/usr/local/texlive/2017/texmf-dist/tex/latex/pgf/math/pgfmath.sty
(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex))
(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/utilities/pgffor.code.tex
(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex)))
(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/frontendlayer/tikz/tikz.cod
e.tex
(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/libraries/pgflibraryplothan
dlers.code.tex)
(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/modules/pgfmodulematrix.cod
e.tex)
(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/frontendlayer/tikz/librarie
s/tikzlibrarytopaths.code.tex)))
(/usr/local/texlive/2017/texmf-dist/tex/generic/tikz-cd/tikzlibrarycd.code.tex
(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/frontendlayer/tikz/librarie
s/tikzlibrarymatrix.code.tex)
(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/frontendlayer/tikz/librarie
s/tikzlibraryquotes.code.tex)
(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/libraries/pgflibraryarrows.
meta.code.tex)))
(/usr/local/texlive/2017/texmf-dist/tex/latex/lipsum/lipsum.sty))
(./preamble/fonts.sty
(/usr/local/texlive/2017/texmf-dist/tex/latex/base/fontenc.sty
(/usr/local/texlive/2017/texmf-dist/tex/latex/cyrillic/ot2enc.def)
(/usr/local/texlive/2017/texmf-dist/tex/latex/base/t1enc.def))
(/Users/murray/Library/texmf/tex/latex/lucimatx/lucimatx.sty)
(/usr/local/texlive/2017/texmf-dist/tex/latex/tools/bm.sty)
(/Users/murray/Library/texmf/tex/latex/my/mymath.sty
(/usr/local/texlive/2017/texmf-dist/tex/latex/mathtools/mathtools.sty
(/usr/local/texlive/2017/texmf-dist/tex/latex/mathtools/mhsetup.sty))
(/usr/local/texlive/2017/texmf-dist/tex/latex/oberdiek/centernot.sty)
(/usr/local/texlive/2017/texmf-dist/tex/latex/scalerel/scalerel.sty)
(/Users/murray/Library/texmf/tex/latex/my/mywidebar.sty)
(/Users/murray/Library/texmf/tex/latex/my/myaccents.sty)
>>> Using mymath variant defs for Lucida Bright.
>>> Using mymath variant defs for Lucida Bright.
) (/Users/murray/Library/texmf/tex/generic/diagxy/diagxy.sty
(/usr/local/texlive/2017/texmf-dist/tex/generic/xypic/xy.tex Bootstrap'ing:
catcodes, docmode,
(/usr/local/texlive/2017/texmf-dist/tex/generic/xypic/xyrecat.tex)
(/usr/local/texlive/2017/texmf-dist/tex/generic/xypic/xyidioms.tex)

 Xy-pic version 3.8.9 <2013/10/06>
 Copyright (c) 1991-2013 by Kristoffer H. Rose <krisrose at tug.org> and others
 Xy-pic is free software: see the User's Guide for details.

Loading kernel: messages; fonts; allocations: state, direction,
utility macros; pictures: \xy, positions, objects, decorations;
kernel objects: directionals, circles, text; options; algorithms: directions,
edges, connections;  Xy-pic loaded)
(/usr/local/texlive/2017/texmf-dist/tex/generic/xypic/xyarrow.tex
 Xy-pic option: Arrow and Path feature v.3.9 path, \ar, loaded)
(/usr/local/texlive/2017/texmf-dist/tex/generic/xypic/xycurve.tex
 Xy-pic option: Curve and Spline extension v.3.12 curve, circles, loaded)
(/Users/murray/Library/texmf/tex/latex/lucida/t1hlh.fd))) (./preamble/style.sty

******************************************************
Stock height and width: 794.96999pt by 614.295pt
Top and edge trims: 0pt and 0pt
Page height and width: 663pt by 456pt
Text height and width: 538pt by 336pt
Spine and edge margins: 60pt and 60pt
Upper and lower margins: 67.5pt and 57.5pt
Headheight and headsep: 12pt and 18.06749pt
Footskip: 25.29494pt
Columnsep and columnseprule: 10pt and 0pt
Marginparsep and marginparwidth: 7pt and 46pt
Sidecapsep and sidecapwidth: 7pt and 128pt
Sidebarhsep and sidebarwidth: 7pt and 128pt
Sidebarvsep and sidebartopsep: 12pt and 0pt
Sidebarheight: 548.39996pt
Sidefoothsep and sidefootwidth: 7pt and 128pt
Sidefootvsep and sidefootheight: 12pt and 548.39996pt
******************************************************

(/Users/murray/Library/texmf/tex/latex/lucida/t1hls.fd))
(./preamble/mathdefs.sty
(/usr/local/texlive/2017/texmf-dist/tex/latex/mathtools/empheq.sty)
(/usr/local/texlive/2017/texmf-dist/tex/latex/thmtools/thmtools.sty
(/usr/local/texlive/2017/texmf-dist/tex/latex/thmtools/thm-patch.sty
(/usr/local/texlive/2017/texmf-dist/tex/latex/thmtools/parseargs.sty))
(/usr/local/texlive/2017/texmf-dist/tex/latex/thmtools/thm-kv.sty
(/usr/local/texlive/2017/texmf-dist/tex/generic/oberdiek/kvsetkeys.sty
(/usr/local/texlive/2017/texmf-dist/tex/generic/oberdiek/infwarerr.sty)
(/usr/local/texlive/2017/texmf-dist/tex/generic/oberdiek/etexcmds.sty)))
(/usr/local/texlive/2017/texmf-dist/tex/latex/thmtools/thm-autoref.sty
(/usr/local/texlive/2017/texmf-dist/tex/latex/thmtools/aliasctr.sty
(/usr/local/texlive/2017/texmf-dist/tex/latex/carlisle/remreset.sty)))
(/usr/local/texlive/2017/texmf-dist/tex/latex/thmtools/thm-listof.sty)
(/usr/local/texlive/2017/texmf-dist/tex/latex/thmtools/thm-restate.sty)
(/usr/local/texlive/2017/texmf-dist/tex/latex/thmtools/thm-amsthm.sty))
****************************************
>>> Made patch specific for amsthm.
****************************************
) (./preamble/links.sty
(/usr/local/texlive/2017/texmf-dist/tex/latex/biblatex/biblatex.sty
(/usr/local/texlive/2017/texmf-dist/tex/generic/oberdiek/pdftexcmds.sty
(/usr/local/texlive/2017/texmf-dist/tex/generic/oberdiek/ltxcmds.sty))
(/usr/local/texlive/2017/texmf-dist/tex/latex/oberdiek/kvoptions.sty)
(/usr/local/texlive/2017/texmf-dist/tex/latex/logreq/logreq.sty
(/usr/local/texlive/2017/texmf-dist/tex/latex/logreq/logreq.def))
(/usr/local/texlive/2017/texmf-dist/tex/latex/url/url.sty)
(/usr/local/texlive/2017/texmf-dist/tex/latex/biblatex/blx-dm.def)
(/usr/local/texlive/2017/texmf-dist/tex/latex/biblatex/blx-compat.def)
(/usr/local/texlive/2017/texmf-dist/tex/latex/biblatex/blx-bibtex.def

Package biblatex Warning: Using fall-back BibTeX(8) backend:
(biblatex)                functionality may be reduced/unavailable.

) (/usr/local/texlive/2017/texmf-dist/tex/latex/biblatex/biblatex.def)
(/Users/murray/Library/texmf/tex/latex/biblatex/bbx/mybooknumeric.bbx
(/usr/local/texlive/2017/texmf-dist/tex/latex/biblatex/bbx/standard.bbx)
(/usr/local/texlive/2017/texmf-dist/tex/latex/biblatex/bbx/numeric.bbx))
(/usr/local/texlive/2017/texmf-dist/tex/latex/biblatex/cbx/numeric.cbx)
(./biblatex.cfg))
(/usr/local/texlive/2017/texmf-dist/tex/latex/nomencl/nomencl.sty
Using the configuration file nomencl.cfg
(./nomencl.cfg))
(/usr/local/texlive/2017/texmf-dist/tex/latex/repeatindex/repeatindex.sty
(/usr/local/texlive/2017/texmf-dist/tex/latex/tools/afterpage.sty))
(/usr/local/texlive/2017/texmf-dist/tex/latex/hyperref/hyperref.sty
(/usr/local/texlive/2017/texmf-dist/tex/generic/oberdiek/hobsub-hyperref.sty
(/usr/local/texlive/2017/texmf-dist/tex/generic/oberdiek/hobsub-generic.sty))
(/usr/local/texlive/2017/texmf-dist/tex/latex/oberdiek/auxhook.sty)
(/usr/local/texlive/2017/texmf-dist/tex/latex/hyperref/pd1enc.def)
(/usr/local/texlive/2017/texmf-dist/tex/latex/latexconfig/hyperref.cfg))
(/usr/local/texlive/2017/texmf-dist/tex/latex/memoir/memhfixc.sty)

Package hyperref Message: Driver (autodetected): hpdftex.

(/usr/local/texlive/2017/texmf-dist/tex/latex/hyperref/hpdftex.def
(/usr/local/texlive/2017/texmf-dist/tex/latex/oberdiek/rerunfilecheck.sty))

Package hyperref Warning: Option `pdftex' has already been used,
(hyperref)                setting the option has no effect on input line 107.

(/usr/local/texlive/2017/texmf-dist/tex/latex/xmpincl/xmpincl.sty)<<TopologyEd2
metadata.xmpi>>
(/usr/local/texlive/2017/texmf-dist/tex/latex/hyperxmp/hyperxmp.sty
(/usr/local/texlive/2017/texmf-dist/tex/generic/oberdiek/stringenc.sty))
(/usr/local/texlive/2017/texmf-dist/tex/latex/doclicense/doclicense.sty
(/usr/local/texlive/2017/texmf-dist/tex/latex/xifthen/xifthen.sty)
(/usr/local/texlive/2017/texmf-dist/tex/latex/tools/xspace.sty)
(/usr/local/texlive/2017/texmf-dist/tex/latex/doclicense/doclicense-english.ldf
)) (/usr/local/texlive/2017/texmf-dist/tex/latex/oberdiek/aliascnt.sty)
(/usr/local/texlive/2017/texmf-dist/tex/latex/cleveref/cleveref.sty))
(./preamble/labels.sty
(/usr/local/texlive/2017/texmf-dist/tex/latex/showlabels/showlabels.sty
Package: `showlabels' v1.8 <2016/06/09>
with amsmath equation tags
))) (/usr/local/texlive/2017/texmf-dist/tex/latex/microtype/microtype.sty
(/usr/local/texlive/2017/texmf-dist/tex/latex/microtype/microtype-pdftex.def)
(/usr/local/texlive/2017/texmf-dist/tex/latex/microtype/microtype.cfg))
Writing nomenclature file topologybook.nlo
Writing index file notation.idx 
Writing index file names.idx 
Writing index file topologybook.idx 
(/Users/murray/Library/texmf/tex/latex/biblatex/lbx/mylanguagestrings.lbx
(/usr/local/texlive/2017/texmf-dist/tex/latex/biblatex/lbx/english.lbx))
(/usr/local/texlive/2017/texmf-dist/tex/latex/ccicons/ccicons.sty
(/usr/local/texlive/2017/texmf-dist/tex/latex/xkeyval/xkeyval.sty
(/usr/local/texlive/2017/texmf-dist/tex/generic/xkeyval/xkeyval.tex
(/usr/local/texlive/2017/texmf-dist/tex/generic/xkeyval/xkvutils.tex))))
(./topologybook.aux)
(/usr/local/texlive/2017/texmf-dist/tex/latex/base/ts1cmr.fd)
(/usr/local/texlive/2017/texmf-dist/tex/latex/cyrillic/ot2cmr.fd)
(/usr/local/texlive/2017/texmf-dist/tex/context/base/mkii/supp-pdf.mkii
[Loading MPS to PDF converter (version 2006.09.02).]
) (/usr/local/texlive/2017/texmf-dist/tex/latex/oberdiek/epstopdf-base.sty
(/usr/local/texlive/2017/texmf-dist/tex/latex/oberdiek/grfext.sty)
(/usr/local/texlive/2017/texmf-dist/tex/latex/latexconfig/epstopdf-sys.cfg))
ABD: EveryShipout initializing macros
No file topologybook.bbl.
(/usr/local/texlive/2017/texmf-dist/tex/latex/hyperref/nameref.sty
(/usr/local/texlive/2017/texmf-dist/tex/generic/oberdiek/gettitlestring.sty))
Redoing nameref's sectioning
Redoing nameref's label
(/usr/local/texlive/2017/texmf-dist/tex/generic/oberdiek/se-pdfdoc.def)
(/usr/local/texlive/2017/texmf-dist/tex/generic/oberdiek/se-utf8.def) [1{/Users
/murray/Library/texlive/2017/texmf-var/fonts/map/pdftex/updmap/pdftex.map}]
[2] [3] [4] (./main/mainmatter.tex (./main/SetsMaps/chapterSetsMaps.tex
(./main/SetsMaps/setsmaps-init.tex

LaTeX Warning: Citation 'EisenbergMathMethod1996' on page 1 undefined on input 
line 11.

LaTeX Warning: Citation 'LakinsMathReasoning2016' on page 1 undefined on input 
line 12.

LaTeX Warning: Citation 'PinterSets2014' on page 1 undefined on input line 13.

LaTeX Warning: Citation 'BourbakiSets2004' on page 1 undefined on input line 15
.

LaTeX Warning: Citation 'EisenbergSets1971' on page 1 undefined on input line 1
6.

LaTeX Warning: Citation 'Bernays1991' on page 1 undefined on input line 17.

LaTeX Warning: Citation 'Suppes1972' on page 1 undefined on input line 20.

Overfull \hbox (75.8248pt too wide) in paragraph at lines 8--24
\T1/hlh/m/n/10 (-20) for ex-am-ple, Eisen-berg  [[]], Lakins  [[]],

Overfull \hbox (25.4927pt too wide) in paragraph at lines 8--24
\T1/hlh/m/n/10 (-20) [[]] (or, with a dif-fer-ent ax-iomatic foun-da-tion, Sup-
pes  [[]]). 
) (./main/SetsMaps/logic.tex
Underfull \vbox (badness 3492) has occurred while \output is active [1])
(./main/SetsMaps/sets.tex

LaTeX Warning: Reference `def:finite' on page 1 undefined on input line 65.

[2]

LaTeX Warning: Reference `subsec:predicate-logic' on page 1 undefined on input 
line 72.

[3]

LaTeX Warning: Reference `sec:maps' on page 1 undefined on input line 104.

LaTeX Warning: Reference `subsec:intervals' on page 1 undefined on input line 1
12.

LaTeX Warning: Reference `prob:Russell-paradox' on page 1 undefined on input li
ne 116.

[4]

LaTeX Warning: Reference `subsec:intervals' on page 1 undefined on input line 1
96.

[5]

LaTeX Warning: Reference `eq:def-equal-sets' on page 6 undefined on input line 
260.

LaTeX Warning: Reference `eq:def-equal-sets' on page 1 undefined on input line 
260.

LaTeX Warning: Reference `eq:def-subset' on page 6 undefined on input line 260.

LaTeX Warning: Reference `eq:def-subset' on page 1 undefined on input line 260.

LaTeX Warning: Reference `prob:both-element-and-subset' on page 1 undefined on 
input line 273.

[6] (/Users/murray/Library/texmf/tex/latex/lucidabr/omshlh.fd)

LaTeX Warning: Reference `axiom:induction' on page 7 undefined on input line 35
4.

[7]

LaTeX Warning: Reference `sec:wo' on page 1 undefined on input line 369.

LaTeX Warning: Reference `axiom:induction' on page 8 undefined on input line 40
0.

Underfull \vbox (badness 1418) has occurred while \output is active [8]
[9]

LaTeX Warning: Reference `sec:families' on page 1 undefined on input line 526.

[10]

LaTeX Warning: Reference `subsec:tuples-sequences' on page 1 undefined on input
 line 579.

[11]

LaTeX Warning: Reference `sec:maps' on page 1 undefined on input line 646.

LaTeX Warning: Reference `sec:order-relations' on page 1 undefined on input lin
e 652.

LaTeX Warning: Reference `sec:equiv' on page 1 undefined on input line 658.

[12]

LaTeX Warning: Reference `ex:types-of-relations' on page 1 undefined on input l
ine 728.

Overfull \hbox (38.67267pt too wide) in paragraph at lines 733--734
\T1/hlh/m/n/10 (-20) verse re-la-tion $[]$ is \T1/hlh/m/it/10 (-20) not \T1/hlh
/m/n/10 (-20) func-tional be-cause the set $\OMS/hlcy/m/n/10 f [] g$
[13]

LaTeX Warning: Reference `prob-part:union-intersect-nil-nest' on page 14 undefi
ned on input line 810.

LaTeX Warning: Reference `prob-part:powersets-nil-nest' on page 14 undefined on
 input line 810.

[14]

LaTeX Warning: Reference `thm:wo-principle' on page 15 undefined on input line 
926.

LaTeX Warning: Reference `axiom:induction' on page 15 undefined on input line 9
26.

) (./main/SetsMaps/maps.tex

LaTeX Warning: Reference `subsec:relations' on page 1 undefined on input line 3
5.

[15]

LaTeX Warning: Reference `prob:closed-graph-no-compact' on page 1 undefined on 
input line 55.

LaTeX Warning: Reference `prob-part:graph-closed-if-continuous' on page 1 undef
ined on input line 55.

[16] [17] [18] [19]

LaTeX Warning: Reference `add-assoc' on page 20 undefined on input line 328.

LaTeX Warning: Reference `add-negs' on page 20 undefined on input line 328.

LaTeX Warning: Reference `mult-assoc' on page 20 undefined on input line 328.

LaTeX Warning: Reference `mult-recip' on page 20 undefined on input line 328.

LaTeX Warning: Reference `distrib' on page 20 undefined on input line 328.

LaTeX Warning: Reference `add-cancel' on page 20 undefined on input line 357.

LaTeX Warning: Reference `mult-cancel' on page 20 undefined on input line 357.

LaTeX Warning: Reference `add-assoc' on page 20 undefined on input line 357.

LaTeX Warning: Reference `add-negs' on page 20 undefined on input line 357.

LaTeX Warning: Reference `mult-assoc' on page 20 undefined on input line 357.

LaTeX Warning: Reference `mult-recip' on page 20 undefined on input line 357.

LaTeX Warning: Reference `distrib' on page 20 undefined on input line 357.

[20] [21]

LaTeX Warning: Reference `prop:extend-many-pieces' on page 1 undefined on input
 line 502.

[22] [23] [24]

LaTeX Warning: Reference `prob:direct-and-inverse-image' on page 1 undefined on
 input line 694.

LaTeX Warning: Reference `problem-part:image-intersection-strict' on page 1 und
efined on input line 694.

[25] [26]

LaTeX Warning: Reference `prob:prove-composite-inj-surj-implies-one-is' on page
 1 undefined on input line 835.

LaTeX Warning: Reference `prob:inj-implies-exists-retraction' on page 1 undefin
ed on input line 863.

LaTeX Warning: Reference `cor-part:exists-retraction-implies-inj' on page 27 un
defined on input line 863.

LaTeX Warning: Reference `prob:surj-implies-exists-section' on page 1 undefined
 on input line 864.

LaTeX Warning: Reference `cor-part:exists-section-implies-surj' on page 27 unde
fined on input line 864.

[27]

LaTeX Warning: Reference `def:reverse-relation' on page 1 undefined on input li
ne 901.

LaTeX Warning: Reference `prop:composite-inj-surj-implies-one-is' on page 1 und
efined on input line 919.

[28]

LaTeX Warning: Reference `eq:two-bijections' on page 29 undefined on input line
 934.

LaTeX Warning: Reference `subsec:inj-surj-bij' on page 1 undefined on input lin
e 934.

LaTeX Warning: Reference `prop-part:inverse-of-inverse' on page 1 undefined on 
input line 934.

LaTeX Warning: Reference `prob:prove-inverse-map-properties' on page 1 undefine
d on input line 970.

[29] [30]

LaTeX Warning: Reference `eqn:direct-inverse-images' on page 1 undefined on inp
ut line 1110.

LaTeX Warning: Reference `prop:composite-inj-surj-implies-one-is' on page 1 und
efined on input line 1148.

LaTeX Warning: Reference `cor:section-and-retraction-implies-inj-surj' on page 
1 undefined on input line 1154.

LaTeX Warning: Reference `cor-part:exists-retraction-implies-inj' on page 31 un
defined on input line 1154.

[31]

LaTeX Warning: Reference `prop:inverse-map-properties' on page 1 undefined on i
nput line 1165.

) (./main/SetsMaps/families.tex

Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding):
(hyperref)                removing `math shift' on input line 48.

[32]

Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding):
(hyperref)                removing `math shift' on input line 116.

[33] [34] [35] [36]

LaTeX Warning: Reference `subsec:union-intersect-two' on page 1 undefined on in
put line 368.

LaTeX Warning: Reference `subsec:union-intersect-two' on page 1 undefined on in
put line 373.

LaTeX Warning: Reference `eq:DeMorgans-laws' on page 1 undefined on input line 
399.

[37]

LaTeX Warning: Reference `eqn:direct-inverse-images' on page 1 undefined on inp
ut line 443.

LaTeX Warning: Reference `prop:extend-two-pieces' on page 1 undefined on input 
line 445.

[38]

LaTeX Warning: Reference `prop:extend-two-pieces' on page 1 undefined on input 
line 469.

[39]

LaTeX Warning: Reference `subsec:ordered-pairs' on page 1 undefined on input li
ne 564.

LaTeX Warning: Reference `subsec:composite' on page 1 undefined on input line 5
82.

[40] [41]

LaTeX Warning: Reference `def:power-of-set' on page 1 undefined on input line 6
61.

LaTeX Warning: Reference `subsec:nth-power-of-set' on page 1 undefined on input
 line 670.

LaTeX Warning: Reference `prob:finite-product-nonempty' on page 1 undefined on 
input line 687.

[42]

LaTeX Warning: Reference `cor:AC-choice-function' on page 1 undefined on input 
line 718.

LaTeX Warning: Reference `cor:AC-choice-set' on page 1 undefined on input line 
728.

LaTeX Warning: Reference `prob:AC-equivalents' on page 1 undefined on input lin
e 730.

LaTeX Warning: Reference `prop:inf-set-has-den-subset' on page 1 undefined on i
nput line 732.

[43]

LaTeX Warning: Reference `prop:extend-many-pieces' on page 1 undefined on input
 line 859.

LaTeX Warning: Reference `def:union-intersect-collection' on page 1 undefined o
n input line 900.

[44]
Overfull \hbox (2.57535pt too wide) in paragraph at lines 909--910
[]\T1/hlh/m/n/10 (-20) Let $\OML/hlcm/m/it/10 n$ \T1/hlh/m/n/10 (-20) be a pos-
i-tive in-te-ger and let $\OML/hlcm/m/it/10 ÑX[]Ö[]$ \T1/hlh/m/n/10 (-20) be a 
fam-ily of \T1/hlh/m/it/10 (-20) nonempty

LaTeX Warning: Reference `cor:section-and-retraction-implies-inj-surj' on page 
1 undefined on input line 938.

LaTeX Warning: Reference `cor-part:exists-section-implies-surj' on page 45 unde
fined on input line 938.

LaTeX Warning: Reference `ax:AC' on page 45 undefined on input line 946.

LaTeX Warning: Reference `cor:AC-product' on page 45 undefined on input line 94
6.

LaTeX Warning: Reference `cor:AC-choice-function' on page 45 undefined on input
 line 946.

LaTeX Warning: Reference `cor:AC-choice-set' on page 45 undefined on input line
 946.

LaTeX Warning: Reference `ax:AC' on page 45 undefined on input line 951.

LaTeX Warning: Reference `cor:AC-choice-function' on page 1 undefined on input 
line 951.

LaTeX Warning: Reference `cor:AC-choice-set' on page 1 undefined on input line 
951.

LaTeX Warning: Reference `cor:AC-choice-function' on page 1 undefined on input 
line 954.

LaTeX Warning: Reference `ax:AC' on page 45 undefined on input line 954.

LaTeX Warning: Reference `ax:AC' on page 45 undefined on input line 957.

LaTeX Warning: Reference `cor:AC-choice-function' on page 1 undefined on input 
line 957.

) (./main/SetsMaps/recursion.tex [45] [46]

LaTeX Warning: Reference `prop-eq:IC-and-recurrence' on page 47 undefined on in
put line 99.

LaTeX Warning: Reference `pf-eq:recurse-2' on page 47 undefined on input line 1
32.

LaTeX Warning: Reference `prop:extend-many-pieces' on page 1 undefined on input
 line 136.

LaTeX Warning: Reference `pf-eq:recurse-1' on page 47 undefined on input line 1
44.

LaTeX Warning: Reference `prop-eq:IC-and-recurrence' on page 47 undefined on in
put line 144.

[47]

LaTeX Warning: Reference `pf-eq:recurse-4' on page 48 undefined on input line 1
83.

[48]

LaTeX Warning: Reference `thm:ordinary-recursion' on page 1 undefined on input 
line 222.

LaTeX Warning: Reference `thm:ordinary-recursion' on page 49 undefined on input
 line 242.

LaTeX Warning: Reference `thm:ordinary-recursion' on page 49 undefined on input
 line 246.

LaTeX Warning: Reference `thm:ordinary-recursion' on page 49 undefined on input
 line 291.

[49]

LaTeX Warning: Reference `cor-eq-primitive-recurse' on page 50 undefined on inp
ut line 320.

LaTeX Warning: Reference `pf-eq-primitive-recurse-3' on page 50 undefined on in
put line 341.

LaTeX Warning: Reference `pf-eq-primitive-recurse-4' on page 50 undefined on in
put line 368.

LaTeX Warning: Reference `thm:ordinary-recursion' on page 50 undefined on input
 line 368.

[50]

LaTeX Warning: Reference `pf-eq-primitive-recurse-2' on page 51 undefined on in
put line 373.

LaTeX Warning: Reference `pf-eq-primitive-recurse-3' on page 51 undefined on in
put line 378.

LaTeX Warning: Reference `pf-eq-primitive-recurse-1' on page 51 undefined on in
put line 384.

LaTeX Warning: Reference `pf-eq-primitive-recurse-5' on page 51 undefined on in
put line 384.

LaTeX Warning: Reference `pf-eq-primitive-recurse-3' on page 51 undefined on in
put line 384.

LaTeX Warning: Reference `pf-eq-primitive-recurse-6' on page 51 undefined on in
put line 384.

LaTeX Warning: Reference `cor-eq-primitive-recurse' on page 51 undefined on inp
ut line 403.

LaTeX Warning: Reference `thm:ordinary-recursion' on page 51 undefined on input
 line 411.

LaTeX Warning: Reference `cor:primitive-recursion' on page 51 undefined on inpu
t line 413.

LaTeX Warning: Reference `thm:complete-recursion' on page 51 undefined on input
 line 441.

LaTeX Warning: Reference `prop:inf-subset-of-countable' on page 1 undefined on 
input line 441.

[51]

LaTeX Warning: Reference `def:union-intersection-family' on page 1 undefined on
 input line 520.

[52]

LaTeX Warning: Reference `thm:ordinary-recursion' on page 1 undefined on input 
line 549.

LaTeX Warning: Reference `cor:primitive-recursion' on page 1 undefined on input
 line 549.

LaTeX Warning: Reference `thm:complete-recursion' on page 1 undefined on input 
line 549.

LaTeX Warning: Reference `thm:complete-recursion' on page 53 undefined on input
 line 566.

) (./main/SetsMaps/countable.tex

LaTeX Warning: Reference `def:one-one-corr' on page 1 undefined on input line 1
0.

[53]
Overfull \hbox (3.3389pt too wide) in paragraph at lines 84--88
\T1/hlh/m/n/10 (-20) Hence the map ob-tained from $\OML/hlcm/m/it/10 h[]$ \T1/h
lh/m/n/10 (-20) by re-strict-ing its do-main to $\OMS/hlcy/m/n/10 f\T1/hlh/m/n/
10 (-20) 1\OML/hlcm/m/it/10 ; \T1/hlh/m/n/10 (-20) 2\OML/hlcm/m/it/10 ; [] ; n;
 n \OMS/hlcy/m/n/10 Ç

LaTeX Warning: Reference `prop:union-finite-family-of-finite-sets' on page 1 un
defined on input line 99.

[54]
Overfull \hbox (10.72176pt too wide) in paragraph at lines 152--155
[]\T1/hlh/m/n/10 (-20) Now let $\OML/hlcm/m/it/10 n \OMS/hlcy/m/n/10 ^^U \T1/hl
h/m/n/10 (-20) 1$ and as-sume that each sub-set of $\OMS/hlcy/m/n/10 f\T1/hlh/m
/n/10 (-20) 1\OML/hlcm/m/it/10 ; \T1/hlh/m/n/10 (-20) 2\OML/hlcm/m/it/10 ; [] ;
 n\OMS/hlcy/m/n/10 g$

LaTeX Warning: Reference `lem:disj-union-finite-sets' on page 1 undefined on in
put line 158.

LaTeX Warning: Reference `ex:N-is-infinite' on page 1 undefined on input line 1
71.

[55]

LaTeX Warning: Reference `prop:subset-of-finite' on page 1 undefined on input l
ine 191.

LaTeX Warning: Reference `lem:disj-union-finite-sets' on page 1 undefined on in
put line 191.

LaTeX Warning: Reference `prop:union-finite-family-of-finite-sets' on page 1 un
defined on input line 240.

LaTeX Warning: Reference `prop:union-finite-family-of-finite-sets' on page 1 un
defined on input line 243.

[56]

LaTeX Warning: Reference `thm:wo-principle' on page 57 undefined on input line 
258.

LaTeX Warning: Reference `prop:subset-of-finite' on page 1 undefined on input l
ine 284.

[57]

LaTeX Warning: Reference `prop:subset-of-finite' on page 1 undefined on input l
ine 345.

LaTeX Warning: Reference `prop:inf-subset-of-countable' on page 1 undefined on 
input line 372.

LaTeX Warning: Reference `ex:N-is-infinite' on page 1 undefined on input line 3
74.

LaTeX Warning: Reference `prop:subset-of-finite' on page 1 undefined on input l
ine 374.

[58]

LaTeX Warning: Reference `thm:complete-recursion' on page 59 undefined on input
 line 394.

LaTeX Warning: Reference `cor:AC-choice-function' on page 1 undefined on input 
line 394.

LaTeX Warning: Reference `prop:image-of-finite-set' on page 1 undefined on inpu
t line 406.

LaTeX Warning: Reference `prop:image-of-countable-set' on page 1 undefined on i
nput line 417.

LaTeX Warning: Reference `pf-eq:two-three-powers' on page 59 undefined on input
 line 448.

[59]

LaTeX Warning: Reference `prop:image-of-countable-set' on page 1 undefined on i
nput line 485.

LaTeX Warning: Reference `lem:N-times-N-denumerable' on page 1 undefined on inp
ut line 485.

LaTeX Warning: Reference `thm:countable-union-of-countable-sets' on page 1 unde
fined on input line 491.

LaTeX Warning: Reference `prob:Z-is-denumerable' on page 1 undefined on input l
ine 496.

LaTeX Warning: Reference `cor:product-finite-family-countable-sets' on page 1 u
ndefined on input line 519.

[60] [61]

LaTeX Warning: Reference `ex:uncountable-product-of-doubletons' on page 1 undef
ined on input line 586.

LaTeX Warning: Reference `cor:reals-uncountable' on page 1 undefined on input l
ine 587.

LaTeX Warning: Reference `ex:N-is-infinite' on page 1 undefined on input line 6
18.

[62]

LaTeX Warning: Reference `eq:poly-for-algebraic' on page 63 undefined on input 
line 724.

[63]

LaTeX Warning: Reference `prop:inf-set-has-den-subset' on page 1 undefined on i
nput line 755.

LaTeX Warning: Reference `cor:AC-choice-function' on page 64 undefined on input
 line 755.

LaTeX Warning: Reference `cor:AC-choice-function' on page 1 undefined on input 
line 755.

) (./main/SetsMaps/ordering.tex

LaTeX Warning: Reference `def:antisymmetric' on page 64 undefined on input line
 66.

LaTeX Warning: Reference `def:partial-order' on page 1 undefined on input line 
66.

LaTeX Warning: Reference `def:comparable' on page 64 undefined on input line 66
.

LaTeX Warning: Reference `def:comparable' on page 1 undefined on input line 66.

[64] [65] [66]

LaTeX Warning: Reference `cref' on page 67 undefined on input line 292.

LaTeX Warning: Reference `ex:preorderings' on page 1 undefined on input line 29
2.

LaTeX Warning: Reference `ex:preorder-on-subset' on page 1 undefined on input l
ine 292.

LaTeX Warning: Reference `ex:divisibility-po' on page 1 undefined on input line
 296.

[67] [68]

LaTeX Warning: Reference `cref' on page 69 undefined on input line 398.

LaTeX Warning: Reference `ex:partial-orders' on page 1 undefined on input line 
398.

LaTeX Warning: Reference `ex:inclusion-po' on page 1 undefined on input line 39
8.

[69] [70]

LaTeX Warning: Reference `thm:intervals-in-R' on page 1 undefined on input line
 552.

[71] [72] [73]

LaTeX Warning: Reference `fig:dictionary-order' on page 1 undefined on input li
ne 733.

[74]

LaTeX Warning: Reference `cref' on page 75 undefined on input line 768.

LaTeX Warning: Reference `ex:partial-orders' on page 1 undefined on input line 
768.

LaTeX Warning: Reference `ex:divisibility-po' on page 1 undefined on input line
 768.

[75] [76]

LaTeX Warning: Reference `def:upper-bound-property-of-direction' on page 77 und
efined on input line 907.

LaTeX Warning: Reference `ex:dictionary-order' on page 1 undefined on input lin
e 956.

LaTeX Warning: Reference `cref' on page 77 undefined on input line 961.

LaTeX Warning: Reference `ex:partial-orders' on page 1 undefined on input line 
961.

LaTeX Warning: Reference `ex:product-ordering' on page 1 undefined on input lin
e 961.

LaTeX Warning: Reference `cref' on page 77 undefined on input line 966.

LaTeX Warning: Reference `ex:partial-orders' on page 1 undefined on input line 
966.

LaTeX Warning: Reference `ex:product-ordering' on page 1 undefined on input lin
e 966.

[77] [78]

LaTeX Warning: Reference `prob:preorder-is-generated-like-that' on page 1 undef
ined on input line 1050.

LaTeX Warning: Reference `prob:generate-preorder-from-surj' on page 1 undefined
 on input line 1055.

LaTeX Warning: Reference `sec:equiv' on page 1 undefined on input line 1056.

LaTeX Warning: Reference `prob:generate-preorder-from-surj' on page 1 undefined
 on input line 1086.

) (./main/SetsMaps/ordercomplete.tex [79]

LaTeX Warning: Reference `ax:R-order-complete' on page 1 undefined on input lin
e 55.

[80] [81]

LaTeX Warning: Reference `thm:closed-interval-R-uncountable' on page 1 undefine
d on input line 200.

LaTeX Warning: Reference `def:interval' on page 1 undefined on input line 214.

LaTeX Warning: Reference `txt:std-intervals' on page 1 undefined on input line 
226.

[82]

LaTeX Warning: Reference `pfcase:all-intervals-lower-not-upper-bound' on page 1
 undefined on input line 275.

) (./main/SetsMaps/equivrel.tex [83]) (./main/SetsMaps/well-ordering.tex

LaTeX Warning: Reference `def:comparable' on page 84 undefined on input line 19
.

LaTeX Warning: Reference `thm:wo-principle' on page 84 undefined on input line 
20.

LaTeX Warning: Reference `subsec:1st-uncountable-ordinal' on page 1 undefined o
n input line 44.

[84]

LaTeX Warning: Reference `thm:wo-principle' on page 85 undefined on input line 
63.

LaTeX Warning: Reference `pf:OmegaPlus-exists' on page 1 undefined on input lin
e 100.

LaTeX Warning: Reference `property:OmegaPlus4' on page 85 undefined on input li
ne 109.

LaTeX Warning: Reference `property:OmegaPlus1' on page 85 undefined on input li
ne 111.

LaTeX Warning: Reference `property:OmegaPlus4' on page 85 undefined on input li
ne 111.

[85]

LaTeX Warning: Reference `lem:bded-above-subset-wo-has-sup' on page 1 undefined
 on input line 158.

LaTeX Warning: Reference `prop:sups-exist-in-OmegaPlus' on page 1 undefined on 
input line 167.

LaTeX Warning: Reference `lem:bded-above-subset-wo-has-sup' on page 1 undefined
 on input line 180.

LaTeX Warning: Reference `property:OmegaPlus4' on page 86 undefined on input li
ne 183.

LaTeX Warning: Reference `thm:OmegaPlus-exists' on page 86 undefined on input l
ine 226.

LaTeX Warning: Reference `thm:OmegaPlus-exists' on page 1 undefined on input li
ne 226.

LaTeX Warning: Reference `thm-wo' on page 86 undefined on input line 226.

LaTeX Warning: Reference `thm:OmegaPlus-exists' on page 1 undefined on input li
ne 230.

LaTeX Warning: Reference `ex:dictionary-order' on page 1 undefined on input lin
e 239.

LaTeX Warning: Reference `prob:dictionary-order-product-wo' on page 1 undefined
 on input line 240.

[86]

LaTeX Warning: Reference `property:OmegaPlus1' on page 87 undefined on input li
ne 257.

LaTeX Warning: Reference `property:OmegaPlus4' on page 87 undefined on input li
ne 257.

[87]

Package thmtools Warning: Unused key `refname' on input line 300.

LaTeX Warning: Reference `thm-wo' on page 1 undefined on input line 319.

LaTeX Warning: Citation 'KneserZorn1950' on page 88 undefined on input line 322
.

LaTeX Warning: Citation 'GraysonZorn2007' on page 88 undefined on input line 32
5.

LaTeX Warning: Citation 'GaillardZorn2017' on page 88 undefined on input line 3
25.

[88]

LaTeX Warning: Reference `ax:AC' on page 89 undefined on input line 405.

LaTeX Warning: Reference `pf:zorn-step-1' on page 1 undefined on input line 409
.

[89]

LaTeX Warning: Reference `eq:star-zorn-pf' on page 90 undefined on input line 4
83.

LaTeX Warning: Reference `pf:zorn-step-5' on page 1 undefined on input line 523
.

LaTeX Warning: Reference `pf-zorn-claim-a' on page 90 undefined on input line 5
23.

[90]

LaTeX Warning: Reference `pf:zorn-step-6' on page 1 undefined on input line 577
.

LaTeX Warning: Reference `lem:zorn-prelim-lemma' on page 1 undefined on input l
ine 577.

LaTeX Warning: Reference `lem:zorn-prelim-lemma' on page 1 undefined on input l
ine 590.

LaTeX Warning: Reference `eq:star-zorn-pf' on page 91 undefined on input line 5
90.

LaTeX Warning: Reference `eq:star-zorn-pf' on page 1 undefined on input line 59
0.

LaTeX Warning: Reference `lem:zorn-prelim-lemma' on page 1 undefined on input l
ine 590.

LaTeX Warning: Reference `eq:star-zorn-pf' on page 91 undefined on input line 5
90.

LaTeX Warning: Reference `eq:star-zorn-pf' on page 1 undefined on input line 59
0.

[91]

Package thmtools Warning: Unused key `refname' on input line 619.

LaTeX Warning: Reference `pf-wo-cond-i' on page 92 undefined on input line 670.

LaTeX Warning: Reference `pf-wo-cond-ii' on page 92 undefined on input line 671
.

[92]

LaTeX Warning: Reference `pf-wothm-same-i' on page 93 undefined on input line 6
92.

LaTeX Warning: Reference `pf-wothm-S-and-Ri' on page 93 undefined on input line
 692.

LaTeX Warning: Reference `pf-wo-cond-ii' on page 93 undefined on input line 695
.

LaTeX Warning: Reference `pf-wothm-same-i' on page 93 undefined on input line 6
97.

LaTeX Warning: Reference `pf-wothm-S-and-Ri' on page 93 undefined on input line
 697.

LaTeX Warning: Reference `pf-wothm-S-and-Ri' on page 93 undefined on input line
 703.

LaTeX Warning: Reference `pf-wo-cond-i' on page 93 undefined on input line 704.

LaTeX Warning: Reference `pf-wo-cond-ii' on page 93 undefined on input line 704
.

LaTeX Warning: Reference `pf-wothm-S-and-Ri' on page 93 undefined on input line
 705.

LaTeX Warning: Reference `ZornLemma' on page 93 undefined on input line 712.

Overfull \hbox (5.15701pt too wide) in paragraph at lines 727--728
[]\T1/hlh/m/n/10 (-20) The pre-ced-ing proof is a typ-i-cal pro-ce-dure for ap-
ply-ing Zorn's Lemma.To

LaTeX Warning: Reference `def:wo' on page 1 undefined on input line 782.

LaTeX Warning: Reference `ex:dictionary-order' on page 1 undefined on input lin
e 787.

[93]

LaTeX Warning: Reference `prob:extend-wo-to-greatest-elt' on page 1 undefined o
n input line 816.

LaTeX Warning: Reference `prob:transfinite-induction' on page 1 undefined on in
put line 845.

LaTeX Warning: Reference `prob-cond-trans-induct-hyp' on page 94 undefined on i
nput line 847.

LaTeX Warning: Reference `cref' on page 94 undefined on input line 856.

LaTeX Warning: Reference `ex:partial-orders' on page 1 undefined on input line 
856.

LaTeX Warning: Reference `ex:divisibility-po' on page 1 undefined on input line
 856.

[94]

LaTeX Warning: Reference `prob:of-finite-character' on page 1 undefined on inpu
t line 922.

Overfull \hbox (14.17062pt too wide) in paragraph at lines 922--932
[]\T1/hlh/m/n/10 (-20) (\T1/hlh/m/it/10 (-20) Continuation of [].\T1/hlh/m/n/10
 (-20) ) Prove the \T1/hlh/b/n/10 Teichm¸ller-Tukey Lemma\T1/hlh/m/n/10 (-20) :
 A nonempty

LaTeX Warning: Reference `cor:AC-choice-function' on page 95 undefined on input
 line 934.

)) [95] (./main/MetricSpaces/chapterMetrics.tex [96]
(./main/MetricSpaces/metrics-init.tex

LaTeX Warning: Reference `sec:compactmetric' on page 1 undefined on input line 
23.

LaTeX Warning: Reference `chap:compact' on page 1 undefined on input line 23.

) (./main/MetricSpaces/metrics.tex [97]
Overfull \hbox (5.58485pt too wide) in paragraph at lines 79--79
[] 
[98]

LaTeX Warning: Reference `prob:translation-rotation-invariant-metrics' on page 
1 undefined on input line 120.

LaTeX Warning: Reference `subsec:euclidean-spaces' on page 1 undefined on input
 line 122.

[99]

LaTeX Warning: Reference `lem-part:norm-nonneg' on page 100 undefined on input 
line 179.

LaTeX Warning: Reference `lem-part:norm-strict-pos' on page 100 undefined on in
put line 179.

[100] [101]

LaTeX Warning: Reference `lem:CS-inequality' on page 102 undefined on input lin
e 270.

LaTeX Warning: Reference `lem:norm-properties' on page 1 undefined on input lin
e 270.

LaTeX Warning: Reference `lem:norm-properties' on page 1 undefined on input lin
e 288.

LaTeX Warning: Reference `lem:norm-properties' on page 1 undefined on input lin
e 327.

LaTeX Warning: Reference `lem-part:norm-strict-pos' on page 102 undefined on in
put line 327.

Overfull \hbox (4.21518pt too wide) in paragraph at lines 327--329
[]\T1/hlh/m/n/10 (-20) Since $\OML/hlcm/m/it/10 dÑx; yÖ \OMS/hlcy/m/n/10 É k\OM
L/hlcm/m/it/10 x \OMS/hlcy/m/n/10 ^^@ \OML/hlcm/m/it/10 y\OMS/hlcy/m/n/10 k$\T1
/hlh/m/n/10 (-20) , then from [] [] we have $\OML/hlcm/m/it/10 dÑx; yÖ \OMS/hlc
y/m/n/10 É

LaTeX Warning: Reference `lem:norm-properties' on page 1 undefined on input lin
e 331.

LaTeX Warning: Reference `lem-part:norm-homog' on page 102 undefined on input l
ine 331.

[102]

LaTeX Warning: Reference `lem:norm-properties' on page 1 undefined on input lin
e 338.

LaTeX Warning: Reference `lem-part:norm-triangle' on page 103 undefined on inpu
t line 338.

LaTeX Warning: Reference `prop:Euclidean-d-properties' on page 103 undefined on
 input line 356.

LaTeX Warning: Reference `prop-part:Euclidean-d-stric-pos' on page 103 undefine
d on input line 356.

LaTeX Warning: Reference `prop:Euclidean-d-properties' on page 103 undefined on
 input line 357.

LaTeX Warning: Reference `prop-part:Euclidean-d-symmetric' on page 103 undefine
d on input line 357.

LaTeX Warning: Reference `prop:Euclidean-d-properties' on page 103 undefined on
 input line 358.

LaTeX Warning: Reference `prop-part:Euclidean-d-triangle' on page 103 undefined
 on input line 358.

LaTeX Warning: Reference `fig:triangle-inequality' on page 1 undefined on input
 line 361.

Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding):
(hyperref)                removing `math shift' on input line 364.

Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding):
(hyperref)                removing `superscript' on input line 364.

Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding):
(hyperref)                removing `math shift' on input line 364.

[103]

LaTeX Warning: Reference `fig:taxicab-dist' on page 1 undefined on input line 3
78.

pdfTeX warning (ext4): destination with the same identifier (name{definition.6}
) has been already used, duplicate ignored
<to be read again> 
                   \relax 
l.384 \label
            {def:taxicab-metric}

LaTeX Warning: Reference `prop:Euclidean-d-properties' on page 1 undefined on i
nput line 406.

[104] [105]

LaTeX Warning: Reference `prop-part:dmax-stric-pos' on page 106 undefined on in
put line 501.

LaTeX Warning: Reference `prop-part:dmax-triangle' on page 106 undefined on inp
ut line 501.

(/Users/murray/Library/texmf/tex/latex/lucida/ts1hlh.fd)

LaTeX Warning: Reference `prob:translation-rotation-invariant-metrics' on page 
1 undefined on input line 522.

LaTeX Warning: Reference `subsec:metrics-and-metric-spaces' on page 1 undefined
 on input line 528.

[106]

LaTeX Warning: Reference `cor:extreme-value-thm' on page 1 undefined on input l
ine 548.

LaTeX Warning: Reference `fig:max-metric-dist-fns' on page 1 undefined on input
 line 563.

LaTeX Warning: Reference `def:max-metric' on page 1 undefined on input line 571
.

[107]

LaTeX Warning: Reference `prop-part:dmax-fns-triangle' on page 108 undefined on
 input line 597.

Overfull \hbox (9.80023pt too wide) in paragraph at lines 624--625
[]\T1/hls/b/n/10 1.9 Ex-am-ple. []\T1/hlh/m/n/10 (-20) Again let $\OML/hlcm/m/i
t/10 X$ \T1/hlh/m/n/10 (-20) be the set of all con-tin-u-ous func-tions $\OML/h
lcm/m/it/10 x [] [] Ü\T1/hlh/m/n/10 (-20) 0\OML/hlcm/m/it/10 ; \T1/hlh/m/n/10 (
-20) 1\OML/hlcm/m/it/10 á [] \LMR/hlcm/m/n/10 R$\T1/hlh/m/n/10 (-20) .

LaTeX Warning: Reference `fig:d1-dist-between-functions' on page 1 undefined on
 input line 630.

LaTeX Warning: Reference `prop-part:d1-fns-stric-pos' on page 108 undefined on 
input line 668.

[108] [109] [110]

LaTeX Warning: Reference `lem:norm-properties' on page 111 undefined on input l
ine 763.

LaTeX Warning: Reference `lem-part:norm-triangle' on page 1 undefined on input 
line 763.

LaTeX Warning: Reference `cref' on page 111 undefined on input line 773.

LaTeX Warning: Reference `ex:seq-conv-metric' on page 1 undefined on input line
 773.

LaTeX Warning: Reference `ex:seq-nonneg-conv-iff-partial-sums-bded-above' on pa
ge 1 undefined on input line 773.

LaTeX Warning: Reference `lem:norm-properties' on page 1 undefined on input lin
e 801.

LaTeX Warning: Reference `prop:Euclidean-d-properties' on page 1 undefined on i
nput line 803.

[111] [112]

LaTeX Warning: Reference `def:max-metric' on page 1 undefined on input line 970
.

LaTeX Warning: Reference `prob:generalize-d-and-d1-to-product' on page 1 undefi
ned on input line 971.

[113]

LaTeX Warning: Reference `ex:hilbert-sequence-space' on page 1 undefined on inp
ut line 1014.

LaTeX Warning: Reference `subsec:metrics-fn-and-seq-spaces' on page 1 undefined
 on input line 1015.

LaTeX Warning: Reference `lem:norm-properties' on page 1 undefined on input lin
e 1040.

LaTeX Warning: Hyper reference `lem:CS-inequality' on page 114 undefined on inp
ut line 1040.

LaTeX Warning: Reference `lem:CS-inequality' on page 114 undefined on input lin
e 1040.

[114]
Overfull \hbox (1.90543pt too wide) in paragraph at lines 1092--1093
[]\T1/hlh/m/n/10 (-20) Are the taxi-cab and max met-rics on $\LMR/hlcm/m/n/10 R
[]$ \T1/hlh/m/n/10 (-20) also translation-invariant?

LaTeX Warning: Reference `ex:hilbert-sequence-space' on page 1 undefined on inp
ut line 1098.

[115]

LaTeX Warning: Reference `ex:max-metric-on-product' on page 1 undefined on inpu
t line 1153.

LaTeX Warning: Reference `prob:metric-on-seq-bded-metric-spaces' on page 1 unde
fined on input line 1198.

LaTeX Warning: Reference `prop:base-dprime-denumerable-product' on page 1 undef
ined on input line 1198.

LaTeX Warning: Reference `lem:norm-properties' on page 1 undefined on input lin
e 1212.

[116]

LaTeX Warning: Reference `prob:pseudometric' on page 1 undefined on input line 
1256.

LaTeX Warning: Reference `property:metric-nonnegative' on page 117 undefined on
 input line 1292.

LaTeX Warning: Reference `property:metric-symmetric' on page 117 undefined on i
nput line 1292.

[117]

LaTeX Warning: Reference `property:UM' on page 118 undefined on input line 1309
.

LaTeX Warning: Reference `ex:sequence-space-metric' on page 1 undefined on inpu
t line 1313.

LaTeX Warning: Reference `prob:p-adic-metric' on page 1 undefined on input line
 1316.

LaTeX Warning: Reference `prob:p-adic-norm' on page 1 undefined on input line 1
316.

LaTeX Warning: Reference `prob:ultametric-bis' on page 1 undefined on input lin
e 1317.

LaTeX Warning: Reference `prob:ultrametric' on page 1 undefined on input line 1
331.

[118]

LaTeX Warning: Reference `prob:p-adic-norm' on page 1 undefined on input line 1
416.

LaTeX Warning: Reference `prob:ultrametric' on page 1 undefined on input line 1
443.

) (./main/MetricSpaces/openclosed.tex

LaTeX Warning: Reference `sec:contconv' on page 1 undefined on input line 16.

[119]

LaTeX Warning: Reference `prob:pt-inside-sphere-on-segment' on page 1 undefined
 on input line 102.

[120]

LaTeX Warning: Reference `fig:ball-in-R1' on page 1 undefined on input line 108
.

LaTeX Warning: Reference `fig:ball-in-R2' on page 1 undefined on input line 122
.

LaTeX Warning: Reference `fig:ball-in-R3' on page 1 undefined on input line 136
.

LaTeX Warning: Reference `inlinedef:convex' on page 1 undefined on input line 1
47.

LaTeX Warning: Reference `lem:norm-properties' on page 1 undefined on input lin
e 153.

[121] [122]

LaTeX Warning: Reference `def:max-metric' on page 1 undefined on input line 213
.

LaTeX Warning: Reference `fig:ball-for-max-metric' on page 1 undefined on input
 line 228.

[123]

LaTeX Warning: Reference `ex:discrete-metric' on page 1 undefined on input line
 240.

LaTeX Warning: Reference `ex:induced-d' on page 1 undefined on input line 255.

LaTeX Warning: Reference `ex:sup-metric-on-functions' on page 1 undefined on in
put line 266.

[124]

LaTeX Warning: Reference `fig:ball-in-C-unit-interval' on page 1 undefined on i
nput line 291.

LaTeX Warning: Reference `fig:small-ball-inside-ball' on page 1 undefined on in
put line 305.

[125]

LaTeX Warning: Reference `prop:small-ball-inside-ball' on page 1 undefined on i
nput line 339.

[126]

LaTeX Warning: Reference `chap:spaces' on page 1 undefined on input line 420.

LaTeX Warning: Reference `ex:discrete-metric' on page 1 undefined on input line
 432.

LaTeX Warning: Reference `thm:open-sets-properties-in-metric-space' on page 1 u
ndefined on input line 432.

[127]

LaTeX Warning: Reference `thm:intervals-in-R' on page 1 undefined on input line
 467.

LaTeX Warning: Reference `thm:open-sets-properties-in-metric-space' on page 1 u
ndefined on input line 477.

LaTeX Warning: Reference `thm-part:union-of-d-open-sets-is-d-open' on page 128 
undefined on input line 477.

LaTeX Warning: Reference `ex:open-interval-ray-d-open' on page 128 undefined on
 input line 477.

[128]

LaTeX Warning: Reference `def:interval' on page 1 undefined on input line 530.

[129]

LaTeX Warning: Reference `ex:induced-d' on page 1 undefined on input line 568.

LaTeX Warning: Reference `fig:d-prime-open-in-subset' on page 1 undefined on in
put line 574.

LaTeX Warning: Reference `eq:open-intersect-subset-metric' on page 130 undefine
d on input line 589.

LaTeX Warning: Reference `thm:open-sets-properties-in-metric-space' on page 1 u
ndefined on input line 597.

LaTeX Warning: Reference `thm-part:union-of-d-open-sets-is-d-open' on page 130 
undefined on input line 597.

[130]

LaTeX Warning: Reference `ex:all-d-open-sets-in-R' on page 131 undefined on inp
ut line 607.

LaTeX Warning: Reference `ex:open-sets-subset-metric' on page 131 undefined on 
input line 607.

Underfull \vbox (badness 10000) has occurred while \output is active [131]

LaTeX Warning: Reference `thm:open-sets-properties-in-metric-space' on page 1 u
ndefined on input line 692.

[132]

LaTeX Warning: Reference `thm:open-sets-properties-in-metric-space' on page 1 u
ndefined on input line 724.

LaTeX Warning: Reference `thm-part:nil-and-whole-are-d-open' on page 1 undefine
d on input line 724.

LaTeX Warning: Reference `prop:DeMorgans-laws' on page 133 undefined on input l
ine 734.

LaTeX Warning: Reference `prop:DeMorgans-laws' on page 1 undefined on input lin
e 734.

LaTeX Warning: Reference `prop:DeMorgans-laws' on page 133 undefined on input l
ine 734.

LaTeX Warning: Reference `prop:DeMorgans-laws' on page 1 undefined on input lin
e 734.

LaTeX Warning: Reference `thm:open-sets-properties-in-metric-space' on page 1 u
ndefined on input line 735.

LaTeX Warning: Reference `thm-part:union-of-d-open-sets-is-d-open' on page 1 un
defined on input line 735.

LaTeX Warning: Reference `thm-part:union-of-finitely-many-d-closed-sets-is-d-cl
osed' on page 133 undefined on input line 738.

LaTeX Warning: Reference `thm-part:union-of-finitely-many-d-closed-sets-is-d-cl
osed' on page 1 undefined on input line 738.

LaTeX Warning: Reference `thm:open-sets-properties-in-metric-space' on page 1 u
ndefined on input line 738.

LaTeX Warning: Reference `chap:connected' on page 1 undefined on input line 753
.

[133]

LaTeX Warning: Reference `fig:ball-disk-disjoint' on page 1 undefined on input 
line 785.

LaTeX Warning: Reference `thm:closed-sets-properties-in-metric-space' on page 1
 undefined on input line 798.

LaTeX Warning: Reference `thm-part:union-of-finitely-many-d-closed-sets-is-d-cl
osed' on page 1 undefined on input line 798.

LaTeX Warning: Reference `def:separation-axioms' on page 1 undefined on input l
ine 800.

LaTeX Warning: Reference `def-item:T1' on page 134 undefined on input line 800.

Underfull \vbox (badness 1178) has occurred while \output is active [134]

LaTeX Warning: Reference `fig:separate-pt-from-closed-in-metric' on page 1 unde
fined on input line 835.

LaTeX Warning: Reference `prop:small-ball-inside-ball' on page 1 undefined on i
nput line 836.

LaTeX Warning: Reference `cref' on page 135 undefined on input line 837.

LaTeX Warning: Reference `ex:d-closed-sets' on page 1 undefined on input line 8
37.

LaTeX Warning: Reference `ex:disk-closed' on page 1 undefined on input line 837
.

LaTeX Warning: Reference `def:separation-axioms' on page 1 undefined on input l
ine 855.

LaTeX Warning: Reference `def-item:regular' on page 135 undefined on input line
 855.

LaTeX Warning: Reference `prop:separate-pt-from-closed-in-metric' on page 1 und
efined on input line 855.

LaTeX Warning: Reference `cref' on page 135 undefined on input line 860.

LaTeX Warning: Reference `ex:d-closed-sets' on page 1 undefined on input line 8
60.

LaTeX Warning: Reference `ex:singleton-closed-in-metric' on page 1 undefined on
 input line 860.

LaTeX Warning: Reference `prop:separate-pt-from-closed-in-metric' on page 1 und
efined on input line 860.

pdfTeX warning (ext4): destination with the same identifier (name{corollary.26}
) has been already used, duplicate ignored
<to be read again> 
                   \relax 
l.864 \label
            {cor:separate-pts-in-metric}

LaTeX Warning: Reference `prob:direct-proof-separate-pts-in-metric' on page 1 u
ndefined on input line 870.

LaTeX Warning: Reference `cor:separate-pts-in-metric' on page 135 undefined on 
input line 870.

LaTeX Warning: Reference `prop:separate-pt-from-closed-in-metric' on page 1 und
efined on input line 870.

LaTeX Warning: Reference `def:separation-axioms' on page 1 undefined on input l
ine 872.

LaTeX Warning: Reference `def-item:T2' on page 135 undefined on input line 872.

LaTeX Warning: Reference `cor:separate-pts-in-metric' on page 1 undefined on in
put line 875.

[135]

LaTeX Warning: Reference `def:dist-pt-to-set' on page 1 undefined on input line
 893.

[136]

LaTeX Warning: Reference `thm:open-sets-properties-in-metric-space' on page 1 u
ndefined on input line 998.

LaTeX Warning: Reference `thm-part:union-of-d-open-sets-is-d-open' on page 1 un
defined on input line 998.

[137]

LaTeX Warning: Reference `cor:separate-pts-in-metric' on page 1 undefined on in
put line 1041.

LaTeX Warning: Reference `prop:separate-pt-from-closed-in-metric' on page 1 und
efined on input line 1041.

LaTeX Warning: Reference `ex:sup-metric-on-functions' on page 1 undefined on in
put line 1045.

LaTeX Warning: Reference `ex:hilbert-sequence-space' on page 1 undefined on inp
ut line 1066.

[138]

LaTeX Warning: Reference `prob-part:d-closed-is-G-delta' on page 1 undefined on
 input line 1188.

LaTeX Warning: Reference `prob-part:dist-to-A-less-dist-to-B-in-open' on page 1
 undefined on input line 1214.

LaTeX Warning: Reference `cor:separate-pts-in-metric' on page 1 undefined on in
put line 1215.

[139]

LaTeX Warning: Reference `def:separation-axioms' on page 1 undefined on input l
ine 1220.

LaTeX Warning: Reference `def-item:normal' on page 140 undefined on input line 
1220.

LaTeX Warning: Reference `prob:pseudometric' on page 1 undefined on input line 
1259.

LaTeX Warning: Reference `cor:separate-pts-in-metric' on page 1 undefined on in
put line 1265.

LaTeX Warning: Reference `prob:pseudometric-identify-distance-0' on page 1 unde
fined on input line 1270.

LaTeX Warning: Reference `prob:ultrametric' on page 1 undefined on input line 1
284.

LaTeX Warning: Reference `prob:p-adic-metric' on page 1 undefined on input line
 1285.

LaTeX Warning: Reference `ex:sequence-space-metric' on page 1 undefined on inpu
t line 1286.

) (./main/MetricSpaces/equivalent.tex [140]pdfTeX warning (ext4): destination w
ith the same identifier (name{proposition.33}) has been already used, duplicate
 ignored
<to be read again> 
                   \relax 
l.31 \label
           {prop:equiv-metrics-via-balls} [141]pdfTeX warning (ext4): destinati
on with the same identifier (name{proposition.34}) has been already used, dupli
cate ignored
<to be read again> 
                   \relax 
l.68 \label
           {prop:d-and-dmax-equiv}

LaTeX Warning: Reference `prop:equiv-metrics-via-balls' on page 1 undefined on 
input line 78.

LaTeX Warning: Reference `prob:taxicab-equiv-euclidean' on page 1 undefined on 
input line 110.

LaTeX Warning: Reference `ex:sup-metric-on-functions' on page 142 undefined on 
input line 123.

LaTeX Warning: Reference `ex:L1-metric-on-functions' on page 142 undefined on i
nput line 123.

[142]

LaTeX Warning: Reference `fig:dmax-vs-done' on page 1 undefined on input line 1
42.

LaTeX Warning: Reference `fig:func-not-in-ball' on page 1 undefined on input li
ne 163.

[143]

LaTeX Warning: Reference `prop:bded-metric-equiv-to-given' on page 1 undefined 
on input line 180.

LaTeX Warning: Reference `ax:R-order-complete' on page 1 undefined on input lin
e 198.

[144]

LaTeX Warning: Reference `def:bounded' on page 1 undefined on input line 220.

pdfTeX warning (ext4): destination with the same identifier (name{proposition.3
8}) has been already used, duplicate ignored
<to be read again> 
                   \relax 
l.250 \label
            {prop:bded-metric-equiv-to-given} [145]

LaTeX Warning: Reference `prop:bded-metric-equiv-to-given' on page 1 undefined 
on input line 292.

LaTeX Warning: Reference `cref' on page 146 undefined on input line 294.

LaTeX Warning: Reference `ex:limits-in-calculus' on page 1 undefined on input l
ine 294.

LaTeX Warning: Reference `ex:limits-at-infty' on page 1 undefined on input line
 294.

LaTeX Warning: Reference `ex:infinite-limits' on page 146 undefined on input li
ne 294.

[146]

LaTeX Warning: Reference `fig:map-R-to-interval' on page 1 undefined on input l
ine 342.

[147] [148] [149] [150]

LaTeX Warning: Reference `prob:translation-rotation-invariant-metrics' on page 
1 undefined on input line 571.

pdfTeX warning (ext4): destination with the same identifier (name{definition.43
}) has been already used, duplicate ignored
<to be read again> 
                   \relax 
l.582 \label
            {def:isometry} [151]pdfTeX warning (ext4): destination with the sam
e identifier (name{examples.44}) has been already used, duplicate ignored
<to be read again> 
                   \relax 
l.610 \label
            {ex:isometries}

LaTeX Warning: Reference `prob:translation-rotation-invariant-metrics' on page 
1 undefined on input line 635.

Overfull \hbox (25.85425pt too wide) detected at line 643
[]

LaTeX Warning: Citation 'JacobBaileyLinearAlgebra' on page 152 undefined on inp
ut line 648.

LaTeX Warning: Citation 'ChrisCooperIsometries' on page 152 undefined on input 
line 648.

LaTeX Warning: Citation 'ChrisCooperIsometries3D' on page 152 undefined on inpu
t line 648.

LaTeX Warning: Citation 'FlemingSeveralVars2Ed' on page 152 undefined on input 
line 648.

LaTeX Warning: Citation 'KConradIsometries' on page 152 undefined on input line
 648.

LaTeX Warning: Reference `prob:ip-and-isometry' on page 1 undefined on input li
ne 649.

[152]

LaTeX Warning: Citation 'FlemingSeveralVars2Ed' on page 153 undefined on input 
line 701.

LaTeX Warning: Citation 'KConradIsometries' on page 153 undefined on input line
 701.

Overfull \hbox (10.61795pt too wide) detected at line 746
\OML/hlcm/m/it/10 d[]Ñy[]; y[]Ö \OMS/hlcy/m/n/10 É \OML/hlcm/m/it/10 d[][]fÑx[]
Ö; fÑx[]Ö[] \OMS/hlcy/m/n/10 É \OML/hlcm/m/it/10 dÑx[]; x[]Ö \OMS/hlcy/m/n/10 É
 \OML/hlcm/m/it/10 d[]f[]Ñy[]Ö; f[]Ñy[]Ö[]: []

LaTeX Warning: Reference `prop:isometries-equiv-relation' on page 1 undefined o
n input line 753.

pdfTeX warning (ext4): destination with the same identifier (name{definition.46
}) has been already used, duplicate ignored
<to be read again> 
                   \relax 
l.765 \label
            {def:top-equiv-metric-spaces} [153]pdfTeX warning (ext4): destinati
on with the same identifier (name{examples.47}) has been already used, duplicat
e ignored
<to be read again> 
                   \relax 
l.786 \label
            {ex:top-equiv-metric-spaces}

LaTeX Warning: Reference `def:equivalent-metrics' on page 1 undefined on input 
line 793.

LaTeX Warning: Reference `ex:equiv-metrics-implies-top-equiv' on page 1 undefin
ed on input line 797.

Overfull \hbox (16.05836pt too wide) in paragraph at lines 831--832
[]\T1/hlh/m/n/10 (-20) The met-ric space $\OML/hlcm/m/it/10 ÑÜ\T1/hlh/m/n/10 (-
20) 0\OML/hlcm/m/it/10 ; cá; dÖ$ \T1/hlh/m/n/10 (-20) is topo-log-i-cally equiv
-a-lent to $\OML/hlcm/m/it/10 ÑÜa; bá; d[]Ö$\T1/hlh/m/n/10 (-20) .
[154]
Overfull \hbox (25.11824pt too wide) in paragraph at lines 843--846
\T1/hlh/m/n/10 (-20) ---the com-pos-ite of a trans-la-tion fol-lowed by a di-la
-tion or contraction---

LaTeX Warning: Reference `prop:isometries-equiv-relation' on page 1 undefined o
n input line 862.

LaTeX Warning: Reference `prop-part:top-equiv-metric-reflexive' on page 1 undef
ined on input line 892.

LaTeX Warning: Reference `cref' on page 155 undefined on input line 892.

LaTeX Warning: Reference `ex:top-equiv-metric-spaces' on page 1 undefined on in
put line 892.

LaTeX Warning: Reference `ex:equiv-metrics-implies-top-equiv' on page 1 undefin
ed on input line 892.

LaTeX Warning: Reference `chap:spaces' on page 1 undefined on input line 897.

[155]

LaTeX Warning: Reference `prob:cf-taxicab-euclidean-d' on page 1 undefined on i
nput line 916.

LaTeX Warning: Reference `prob-part:def-metric-on-seq-bded-metric-spaces' on pa
ge 1 undefined on input line 945.

LaTeX Warning: Reference `ex:sequence-space-metric' on page 1 undefined on inpu
t line 945.

LaTeX Warning: Reference `prob:hilbert-space-and-cube' on page 1 undefined on i
nput line 952.

LaTeX Warning: Reference `prob-part:hilbert-cube' on page 1 undefined on input 
line 952.

LaTeX Warning: Reference `ex:hilbert-sequence-space' on page 1 undefined on inp
ut line 953.

LaTeX Warning: Reference `prob-part:diam-ball-equal-diam-disk-Rn' on page 156 u
ndefined on input line 985.

Overfull \hbox (0.39265pt too wide) in paragraph at lines 993--995
[]\T1/hlh/m/n/10 (-20) Let $\OMS/hlcy/m/n/10 F$ \T1/hlh/m/n/10 (-20) be the col
-lec-tion of all nonempty $\OML/hlcm/m/it/10 d$\T1/hlh/m/n/10 (-20) -closed sub
-sets of a bounded
[156]

LaTeX Warning: Reference `prob:dist-between-sets' on page 1 undefined on input 
line 1005.

LaTeX Warning: Reference `prob:translation-rotation-invariant-metrics' on page 
1 undefined on input line 1018.

LaTeX Warning: Reference `ex:hilbert-sequence-space' on page 1 undefined on inp
ut line 1025.

LaTeX Warning: Reference `ex:hilbert-sequence-space' on page 1 undefined on inp
ut line 1042.

[157]

LaTeX Warning: Reference `lem:norm-properties' on page 1 undefined on input lin
e 1071.

LaTeX Warning: Reference `lem:CS-inequality' on page 158 undefined on input lin
e 1081.

LaTeX Warning: Reference `prob:euclidean-ip' on page 1 undefined on input line 
1107.

LaTeX Warning: Reference `prob:translation-rotation-invariant-metrics' on page 
1 undefined on input line 1119.

[158]

LaTeX Warning: Reference `prop-part:top-equiv-metric-symmetric' on page 1 undef
ined on input line 1158.

LaTeX Warning: Reference `prop-part:top-equiv-metric-transitive' on page 1 unde
fined on input line 1158.

LaTeX Warning: Reference `prop:top-equiv-metric-equiv-relation' on page 1 undef
ined on input line 1158.

) (./main/MetricSpaces/contconv.tex

LaTeX Warning: Reference `sec:metrics' on page 1 undefined on input line 16.

pdfTeX warning (ext4): destination with the same identifier (name{definition.49
}) has been already used, duplicate ignored
<to be read again> 
                   \relax 
l.20 \label
           {def:cont-metric} [159]pdfTeX warning (ext4): destination with the s
ame identifier (name{examples.50}) has been already used, duplicate ignored
<to be read again> 
                   \relax 
l.51 \label
           {ex:cont-metric}

LaTeX Warning: Reference `def:cont-metric' on page 1 undefined on input line 58
.

Underfull \vbox (badness 1430) has occurred while \output is active [160]
[161]

LaTeX Warning: Reference `ex:max-metric-on-product' on page 1 undefined on inpu
t line 163.

Overfull \hbox (5.56319pt too wide) in paragraph at lines 181--181
[] 

LaTeX Warning: Reference `def:cont-metric' on page 1 undefined on input line 19
7.

[162]
Overfull \hbox (21.48416pt too wide) in paragraph at lines 222--223
[]\T1/hlh/m/it/10 (-20) For each $\OML/hlcm/m/it/10 d[]$\T1/hlh/m/it/10 (-20) -
neighborhood $\OML/hlcm/m/it/10 N$ \T1/hlh/m/it/10 (-20) of $\OML/hlcm/m/it/10 
fÑxÖ$ \T1/hlh/m/it/10 (-20) in $\OML/hlcm/m/it/10 Y$ \T1/hlh/m/it/10 (-20) ther
e ex-ists some $\OML/hlcm/m/it/10 d$\T1/hlh/m/it/10 (-20) -neighborhood

LaTeX Warning: Reference `thm-property:metric-cont-at-pt-via-nbds-cont' on page
 1 undefined on input line 234.

LaTeX Warning: Reference `thm-property:metric-cont-at-pt-via-nbds-exists-nbd' o
n page 1 undefined on input line 234.

LaTeX Warning: Reference `thm-property:metric-cont-at-pt-via-nbds-exists-nbd' o
n page 1 undefined on input line 235.

LaTeX Warning: Reference `thm-property:metric-cont-at-pt-via-nbds-inverse-image
' on page 1 undefined on input line 235.

LaTeX Warning: Reference `thm-property:metric-cont-at-pt-via-nbds-inverse-image
' on page 1 undefined on input line 236.

LaTeX Warning: Reference `thm-property:metric-cont-at-pt-via-nbds-cont' on page
 1 undefined on input line 236.

LaTeX Warning: Reference `thm-property:metric-cont-at-pt-via-nbds-cont' on page
 1 undefined on input line 241.

LaTeX Warning: Reference `thm-property:metric-cont-at-pt-via-nbds-exists-nbd' o
n page 1 undefined on input line 241.

LaTeX Warning: Reference `thm-property:metric-cont-at-pt-via-nbds-cont' on page
 1 undefined on input line 242.

LaTeX Warning: Reference `fig:pf-1then2-metric-cont-at-pt' on page 1 undefined 
on input line 253.

LaTeX Warning: Reference `thm-property:metric-cont-at-pt-via-nbds-cont' on page
 1 undefined on input line 253.

LaTeX Warning: Reference `fig:pf-1then2-metric-cont-at-pt' on page 1 undefined 
on input line 253.

LaTeX Warning: Reference `thm-property:metric-cont-at-pt-via-nbds-cont' on page
 1 undefined on input line 253.

LaTeX Warning: Reference `thm:metric-cont-at-pt-via-nbds' on page 1 undefined o
n input line 258.

LaTeX Warning: Reference `thm-property:metric-cont-at-pt-via-nbds-exists-nbd' o
n page 1 undefined on input line 262.

LaTeX Warning: Reference `thm-property:metric-cont-at-pt-via-nbds-inverse-image
' on page 1 undefined on input line 262.

LaTeX Warning: Reference `thm-property:metric-cont-at-pt-via-nbds-exists-nbd' o
n page 1 undefined on input line 263.

LaTeX Warning: Reference `thm-property:metric-cont-at-pt-via-nbds-exists-nbd' o
n page 1 undefined on input line 265.

[163]

LaTeX Warning: Reference `fig:pf-2then3-metric-cont-at-pt' on page 1 undefined 
on input line 274.

LaTeX Warning: Reference `thm:metric-cont-at-pt-via-nbds' on page 1 undefined o
n input line 278.

LaTeX Warning: Reference `thm-property:metric-cont-at-pt-via-nbds-inverse-image
' on page 1 undefined on input line 287.

LaTeX Warning: Reference `thm-property:metric-cont-at-pt-via-nbds-cont' on page
 1 undefined on input line 287.

LaTeX Warning: Reference `thm-property:metric-cont-at-pt-via-nbds-inverse-image
' on page 1 undefined on input line 288.

LaTeX Warning: Reference `thm-property:metric-cont-at-pt-via-nbds-inverse-image
' on page 1 undefined on input line 291.

Overfull \hbox (1.13252pt too wide) in paragraph at lines 288--293
[]\T1/hlh/m/n/10 (-20) Assume []. Let $\OML/hlcm/m/it/10 " > \T1/hlh/m/n/10 (-2
0) 0$. Since $\OML/hlcm/m/it/10 B[]ÑfÑxÖ\T1/hlh/m/n/10 (-20) ; \OML/hlcm/m/it/1
0 d[]Ö$ \T1/hlh/m/n/10 (-20) is a $\OML/hlcm/m/it/10 d[]$\T1/hlh/m/n/10 (-20) -
neighborhood

LaTeX Warning: Reference `thm-property:metric-cont-at-pt-via-nbds-inverse-image
' on page 1 undefined on input line 312.

LaTeX Warning: Reference `prob:metric-open-map-nowhere-cont' on page 1 undefine
d on input line 326.

[164]

LaTeX Warning: Reference `thm:metric-cont-at-pt-via-nbds' on page 1 undefined o
n input line 334.

LaTeX Warning: Reference `thm:metric-cont-at-pt-via-nbds' on page 1 undefined o
n input line 337.

LaTeX Warning: Reference `thm:metric-cont-at-pt-via-nbds' on page 1 undefined o
n input line 343.

Overfull \hbox (10.55005pt too wide) in paragraph at lines 343--344
[]\T1/hlh/m/n/10 (-20) From [] we may now de-duce an es-pe-cially sim-ple cri-t
e-rion for continuity---

LaTeX Warning: Reference `prop:d-open-iff-nbd-each-pt' on page 1 undefined on i
nput line 367.

LaTeX Warning: Reference `thm-property:metric-cont-at-pt-via-nbds-inverse-image
' on page 165 undefined on input line 369.

LaTeX Warning: Reference `thm:metric-cont-at-pt-via-nbds' on page 1 undefined o
n input line 370.

LaTeX Warning: Reference `thm-property:metric-cont-at-pt-via-nbds-exists-nbd' o
n page 165 undefined on input line 373.

LaTeX Warning: Reference `thm:metric-cont-at-pt-via-nbds' on page 1 undefined o
n input line 373.

LaTeX Warning: Reference `thm:continuity-in-metric-via-open-sets' on page 1 und
efined on input line 391.

[165]

LaTeX Warning: Reference `chap:contconv' on page 1 undefined on input line 400.

LaTeX Warning: Reference `thm:R-archimedean' on page 1 undefined on input line 
450.

[166]

LaTeX Warning: Reference `ineq:dxnx-less-than-1' on page 167 undefined on input
 line 514.

pdfTeX warning (ext4): destination with the same identifier (name{examples.59})
 has been already used, duplicate ignored
<to be read again> 
                   \relax 
l.527 \label
            {ex:seq-conv-metric} [167]

LaTeX Warning: Reference `def:upper-lower-bounds' on page 1 undefined on input 
line 541.

LaTeX Warning: Reference `prop:conv-seq-bded' on page 1 undefined on input line
 547.

Overfull \hbox (1.81577pt too wide) in paragraph at lines 547--548
[]\T1/hlh/m/n/10 (-20) In fact, in view of [], the range $\OMS/hlcy/m/n/10 f []
 g$ \T1/hlh/m/n/10 (-20) will cer-tainly be bounded

LaTeX Warning: Reference `ex:increasing-seq-R-bded-above-converges' on page 1 u
ndefined on input line 568.

LaTeX Warning: Reference `ex:hilbert-sequence-space' on page 1 undefined on inp
ut line 568.

LaTeX Warning: Reference `page-comment:sum-sqs-ell2-bded-above-converges' on pa
ge 1 undefined on input line 568.

[168]

LaTeX Warning: Reference `prop:conv-seq-bded' on page 1 undefined on input line
 598.

LaTeX Warning: Reference `ex:conv-in-whole-metric-not-in-subsp' on page 1 undef
ined on input line 606.

LaTeX Warning: Reference `cor:rationals-order-dense-in-reals' on page 1 undefin
ed on input line 626.

[169]

LaTeX Warning: Reference `ex:sup-metric-on-functions' on page 1 undefined on in
put line 667.

[170]

LaTeX Warning: Reference `def:seq-conv-metric' on page 1 undefined on input lin
e 701.

LaTeX Warning: Reference `thm:conv-via-nbds-metric' on page 1 undefined on inpu
t line 723.

[171]

LaTeX Warning: Reference `fig:coordinatewise-conv-seq-R2' on page 1 undefined o
n input line 748.

LaTeX Warning: Reference `fig:coordinatewise-conv-seq-Rk' on page 1 undefined o
n input line 756.

LaTeX Warning: Reference `prop:d-and-dmax-equiv' on page 1 undefined on input l
ine 791.

LaTeX Warning: Reference `cor:conv-seq-invariant-of-equiv-metrics' on page 1 un
defined on input line 791.

[172]

LaTeX Warning: Reference `ex:seq-conv-Rn-iff-conv-coordinatewise' on page 1 und
efined on input line 829.

LaTeX Warning: Reference `ex:max-metric-on-product' on page 1 undefined on inpu
t line 829.

[173]

LaTeX Warning: Reference `cor:separate-pts-in-metric' on page 1 undefined on in
put line 844.

Overfull \hbox (9.75574pt too wide) in paragraph at lines 844--847
[]\T1/hlh/m/n/10 (-20) Just sup-pose that $\OML/hlcm/m/it/10 x \LMR/hlcm/m/n/10
 î \OML/hlcm/m/it/10 y$\T1/hlh/m/n/10 (-20) . By [] there are dis-joint $\OML/h
lcm/m/it/10 d$\T1/hlh/m/n/10 (-20) -neighborhoods

LaTeX Warning: Reference `cref' on page 174 undefined on input line 862.

LaTeX Warning: Reference `ex:seq-conv-metric' on page 1 undefined on input line
 862.

LaTeX Warning: Reference `ex:conv-in-whole-metric-not-in-subsp' on page 1 undef
ined on input line 862.

LaTeX Warning: Reference `thm:unique-seq-lim-metric' on page 1 undefined on inp
ut line 866.

Underfull \vbox (badness 1331) has occurred while \output is active [174]

LaTeX Warning: Reference `cond:set-d-closed' on page 1 undefined on input line 
922.

LaTeX Warning: Reference `cond:seq-limit-in-set' on page 1 undefined on input l
ine 922.

LaTeX Warning: Reference `cond:set-d-closed' on page 1 undefined on input line 
923.

LaTeX Warning: Reference `cond:seq-limit-in-set' on page 1 undefined on input l
ine 928.

LaTeX Warning: Reference `cond:set-d-closed' on page 1 undefined on input line 
928.

LaTeX Warning: Reference `cond:seq-limit-in-set' on page 1 undefined on input l
ine 929.

LaTeX Warning: Reference `cond:seq-limit-in-set' on page 1 undefined on input l
ine 941.

[175]

LaTeX Warning: Reference `thm:metric-cont-at-pt-via-nbds' on page 1 undefined o
n input line 975.

LaTeX Warning: Reference `thm:metric-cont-at-pt-via-nbds' on page 1 undefined o
n input line 989.

LaTeX Warning: Reference `thm:cont-via-seq-conv-metric' on page 1 undefined on 
input line 1015.

[176]

LaTeX Warning: Reference `ex:extended-reals' on page 1 undefined on input line 
1038.

LaTeX Warning: Reference `lem:balls-at-infinity-in-extended-reals' on page 1 un
defined on input line 1056.

LaTeX Warning: Reference `thm:metric-cont-at-pt-via-nbds' on page 1 undefined o
n input line 1061.

LaTeX Warning: Reference `thm:conv-via-nbds-metric' on page 1 undefined on inpu
t line 1061.

[177]

LaTeX Warning: Reference `def:cont-metric' on page 1 undefined on input line 10
81.

Overfull \hbox (10.8464pt too wide) in paragraph at lines 1114--1116
\T1/hlh/m/n/10 (-20) of ad-di-tion and mul-ti-pli-ca-tion, re-spec-tively, are 
$\OML/hlcm/m/it/10 Ñd[]; dÖ$\T1/hlh/m/n/10 (-20) -continuous. 
[178]

LaTeX Warning: Reference `ex:max-metric-on-product' on page 1 undefined on inpu
t line 1184.

LaTeX Warning: Reference `prob-part:proj-finite-prod-metric-is-cont' on page 1 
undefined on input line 1192.

LaTeX Warning: Reference `prob:metric-on-seq-bded-metric-spaces' on page 1 unde
fined on input line 1192.

LaTeX Warning: Reference `ex:hilbert-sequence-space' on page 1 undefined on inp
ut line 1207.

LaTeX Warning: Reference `ex:sequence-space-metric' on page 1 undefined on inpu
t line 1211.

[179]

LaTeX Warning: Reference `ex:sup-metric-on-functions' on page 1 undefined on in
put line 1226.

LaTeX Warning: Reference `ex:L1-metric-on-functions' on page 1 undefined on inp
ut line 1227.

LaTeX Warning: Reference `prob:euclidean-ip' on page 1 undefined on input line 
1252.

LaTeX Warning: Reference `prob:euclidean-ip' on page 1 undefined on input line 
1261.

LaTeX Warning: Reference `inlinedef:convex' on page 1 undefined on input line 1
280.

LaTeX Warning: Reference `prob:inv-im-closed-is-closed-metric' on page 1 undefi
ned on input line 1285.

LaTeX Warning: Reference `prob:ip-cont-metric' on page 1 undefined on input lin
e 1285.

[180]

LaTeX Warning: Reference `def:seq-conv-metric' on page 181 undefined on input l
ine 1317.

LaTeX Warning: Reference `cref' on page 181 undefined on input line 1328.

LaTeX Warning: Reference `ex:increasing-seq-R-bded-above-converges' on page 1 u
ndefined on input line 1328.

[181]

LaTeX Warning: Reference `prob:p-adic-metric' on page 1 undefined on input line
 1374.

LaTeX Warning: Reference `ex:seq-conv-Rn-iff-conv-coordinatewise' on page 1 und
efined on input line 1382.

LaTeX Warning: Reference `ex:sequence-space-metric' on page 1 undefined on inpu
t line 1382.

LaTeX Warning: Reference `ex:seq-conv-Rn-iff-conv-coordinatewise' on page 1 und
efined on input line 1385.

LaTeX Warning: Reference `ex:hilbert-sequence-space' on page 1 undefined on inp
ut line 1385.

LaTeX Warning: Reference `ex:sup-metric-on-functions' on page 1 undefined on in
put line 1399.

LaTeX Warning: Reference `ex-part:ptwise-conv-not-sup-conv' on page 1 undefined
 on input line 1402.

LaTeX Warning: Reference `ex:L1-metric-on-functions' on page 1 undefined on inp
ut line 1402.

LaTeX Warning: Reference `prob:pseudometric' on page 1 undefined on input line 
1431.

LaTeX Warning: Reference `thm:unique-seq-lim-metric' on page 1 undefined on inp
ut line 1432.

) (./main/MetricSpaces/complete.tex [182]

LaTeX Warning: Reference `prob:bounded-fn' on page 1 undefined on input line 20
.

LaTeX Warning: Reference `thm:NIP' on page 1 undefined on input line 68.

LaTeX Warning: Reference `thm:cpt-via-fip' on page 1 undefined on input line 96
.

[183]

LaTeX Warning: Reference `cor:rationals-order-dense-in-reals' on page 1 undefin
ed on input line 120.

LaTeX Warning: Reference `term:category' on page 1 undefined on input line 143.

LaTeX Warning: Reference `prob:Baire-cat-in-loc-cpt' on page 1 undefined on inp
ut line 143.

LaTeX Warning: Reference `cref' on page 184 undefined on input line 145.

LaTeX Warning: Reference `ex:totally-disconnected' on page 1 undefined on input
 line 145.

LaTeX Warning: Reference `ex:explosion-pt' on page 1 undefined on input line 14
5.

LaTeX Warning: Citation 'BoasPrimerReal1996' on page 184 undefined on input lin
e 145.

LaTeX Warning: Citation 'GoldbergReal1976' on page 184 undefined on input line 
145.

LaTeX Warning: Reference `app:close-piecewise-linear' on page 1 undefined on in
put line 149.

[184]
Overfull \hbox (2.25098pt too wide) in paragraph at lines 197--199
\T1/hlh/m/n/10 (-20) For ex-am-ple, any isom-e-try from $\OML/hlcm/m/it/10 ÑX; 
dÖ$ \T1/hlh/m/n/10 (-20) and $\OML/hlcm/m/it/10 ÑY; d[]Ö$ \T1/hlh/m/n/10 (-20) 
is $\OML/hlcm/m/it/10 Ñd; d[]Ö$\T1/hlh/m/n/10 (-20) -uniformly
)) [185] (./main/TopologicalSpaces/chapterTopological.tex [186]
(./main/TopologicalSpaces/topological-init.tex)
(./main/TopologicalSpaces/topologies.tex

LaTeX Warning: Reference `thm:continuity-in-metric-via-open-sets' on page 1 und
efined on input line 12.

Underfull \vbox (badness 5954) has occurred while \output is active [187]pdfTeX
 warning (ext4): destination with the same identifier (name{definition.2}) has 
been already used, duplicate ignored
<to be read again> 
                   \relax 
l.59 \label
           {def:topological-space} [188]

LaTeX Warning: Reference `def:d-open' on page 1 undefined on input line 87.

LaTeX Warning: Reference `def:topology' on page 1 undefined on input line 87.

LaTeX Warning: Reference `thm:open-sets-properties-in-metric-space' on page 1 u
ndefined on input line 87.

LaTeX Warning: Reference `chap:metricspace' on page 1 undefined on input line 9
7.

LaTeX Warning: Reference `ex-topology-induced-by-metric' on page 1 undefined on
 input line 105.

LaTeX Warning: Reference `prop:d-and-dmax-equiv' on page 1 undefined on input l
ine 120.

LaTeX Warning: Reference `cref' on page 189 undefined on input line 135.

LaTeX Warning: Reference `ex:d-closed-sets' on page 1 undefined on input line 1
35.

LaTeX Warning: Reference `ex:everything-open-closed-for-discrete-d' on page 1 u
ndefined on input line 135.

[189]

LaTeX Warning: Reference `cref' on page 190 undefined on input line 153.

LaTeX Warning: Reference `ex:continuous-maps' on page 1 undefined on input line
 153.

LaTeX Warning: Reference `ex:coarser-finer-topologies' on page 1 undefined on i
nput line 153.

LaTeX Warning: Reference `ex:discrete-topology' on page 1 undefined on input li
ne 155.

LaTeX Warning: Reference `ex:indiscrete-topology' on page 1 undefined on input 
line 155.

[190]

LaTeX Warning: Reference `thm:closed-sets-properties-in-metric-space' on page 1
 undefined on input line 257.

Underfull \vbox (badness 3118) has occurred while \output is active [191]

LaTeX Warning: Reference `thm:closed-sets-properties-in-metric-space' on page 1
 undefined on input line 288.

LaTeX Warning: Reference `thm:closed-sets-properties-in-metric-space' on page 1
 undefined on input line 289.

LaTeX Warning: Reference `thm:open-sets-properties-in-metric-space' on page 1 u
ndefined on input line 290.

LaTeX Warning: Reference `thm:open-sets-properties-in-metric-space' on page 1 u
ndefined on input line 291.

LaTeX Warning: Reference `cref' on page 192 undefined on input line 313.

LaTeX Warning: Reference `ex:d-open-in-R-etc' on page 1 undefined on input line
 313.

LaTeX Warning: Reference `ex:open-sets-subset-metric' on page 1 undefined on in
put line 313.

[192]

LaTeX Warning: Reference `fig:open-in-subspace' on page 1 undefined on input li
ne 398.

LaTeX Warning: Reference `lem:subspace-topology' on page 1 undefined on input l
ine 418.

LaTeX Warning: Reference `def:subspace' on page 1 undefined on input line 418.

LaTeX Warning: Reference `fig:rel-topology-induced-by-metric' on page 1 undefin
ed on input line 420.

LaTeX Warning: Reference `convention:usual-top-on-subset-of-Rn' on page 1 undef
ined on input line 445.

[193]

LaTeX Warning: Reference `ex:extended-reals' on page 1 undefined on input line 
451.

LaTeX Warning: Reference `prop:extended-reals-dhat-induces-equiv-metric-on-R' o
n page 1 undefined on input line 453.

[194]

LaTeX Warning: Reference `def:subspace' on page 1 undefined on input line 496.

LaTeX Warning: Reference `prop:closed-in-subspace' on page 1 undefined on input
 line 496.

pdfTeX warning (ext4): destination with the same identifier (name{proposition.1
1}) has been already used, duplicate ignored
<to be read again> 
                   \relax 
l.505 
       [195]

LaTeX Warning: Reference `cref' on page 196 undefined on input line 604.

LaTeX Warning: Reference `ex:topologies' on page 1 undefined on input line 604.

LaTeX Warning: Reference `ex:Sierpinski-space' on page 1 undefined on input lin
e 604.

LaTeX Warning: Reference `prob:included-and-excluded-pt-topologies' on page 1 u
ndefined on input line 628.

LaTeX Warning: Reference `prob-part:included-pt-topology' on page 1 undefined o
n input line 628.

[196]

LaTeX Warning: Reference `subsec:separation' on page 1 undefined on input line 
693.

[197]

LaTeX Warning: Reference `prob:T1-space' on page 1 undefined on input line 719.

LaTeX Warning: Reference `prob:pseudometric' on page 1 undefined on input line 
725.

LaTeX Warning: Reference `prob:open-etc-for-pseudometric' on page 1 undefined o
n input line 726.

LaTeX Warning: Reference `cref' on page 198 undefined on input line 736.

LaTeX Warning: Reference `ex:topologies' on page 1 undefined on input line 736.

LaTeX Warning: Reference `ex:Sierpinski-space' on page 1 undefined on input lin
e 736.

LaTeX Warning: Reference `prob:T1-space' on page 1 undefined on input line 740.

[198]

LaTeX Warning: Reference `prob:T1-space' on page 1 undefined on input line 814.

LaTeX Warning: Reference `prob:T1-space' on page 1 undefined on input line 846.

) (./main/TopologicalSpaces/neighborhoods.tex [199]

LaTeX Warning: Reference `def:d-nbd' on page 1 undefined on input line 36.

LaTeX Warning: Reference `cref' on page 200 undefined on input line 49.

LaTeX Warning: Reference `ex:topologies' on page 1 undefined on input line 49.

LaTeX Warning: Reference `ex:finite-compl-topology' on page 1 undefined on inpu
t line 49.

[200]

LaTeX Warning: Reference `prop:d-open-iff-nbd-each-pt' on page 1 undefined on i
nput line 109.

pdfTeX warning (ext4): destination with the same identifier (name{proposition.1
5}) has been already used, duplicate ignored
<to be read again> 
                   \relax 
l.112 \label
            {prop:open-iff-nbd-each-pt}pdfTeX warning (ext4): destination with 
the same identifier (name{definition.16}) has been already used, duplicate igno
red
<to be read again> 
                   \relax 
l.123 \label
            {def:nbd-of-set} [201]

LaTeX Warning: Reference `thm:nbd-axioms' on page 202 undefined on input line 1
91.

LaTeX Warning: Reference `def:topology' on page 202 undefined on input line 206
.

LaTeX Warning: Reference `thm:nbd-axioms' on page 1 undefined on input line 207
.

LaTeX Warning: Reference `thm:topology-from-nbds' on page 1 undefined on input 
line 208.

[202]

LaTeX Warning: Reference `thm:topology-from-nbds' on page 1 undefined on input 
line 215.

LaTeX Warning: Reference `fig:line-with-two-origins' on page 1 undefined on inp
ut line 234.

LaTeX Warning: Reference `thm:topology-from-nbds' on page 1 undefined on input 
line 241.

[203]

LaTeX Warning: Reference `thm:topology-from-nbds' on page 1 undefined on input 
line 260.

LaTeX Warning: Reference `fig:nbd-x-half-disk-space' on page 1 undefined on inp
ut line 271.

LaTeX Warning: Reference `thm:topology-from-nbds' on page 1 undefined on input 
line 280.

[204]pdfTeX warning (ext4): destination with the same identifier (name{examples
.21}) has been already used, duplicate ignored
<to be read again> 
                   \relax 
l.322 \label
            {ex:hausdorff-spaces}

LaTeX Warning: Reference `cref' on page 205 undefined on input line 327.

LaTeX Warning: Reference `ex:topology-via-nbds' on page 1 undefined on input li
ne 327.

LaTeX Warning: Reference `ex:line-with-2-origins' on page 1 undefined on input 
line 327.

LaTeX Warning: Reference `cref' on page 205 undefined on input line 342.

LaTeX Warning: Reference `ex:topology-via-nbds' on page 1 undefined on input li
ne 342.

LaTeX Warning: Reference `ex:half-disk-space' on page 1 undefined on input line
 342.

LaTeX Warning: Reference `cref' on page 205 undefined on input line 344.

LaTeX Warning: Reference `ex:topology-via-nbds' on page 1 undefined on input li
ne 344.

LaTeX Warning: Reference `ex:half-disk-space' on page 1 undefined on input line
 344.

LaTeX Warning: Reference `fig:half-disk-space-non-metrizable' on page 1 undefin
ed on input line 350.

[205]

LaTeX Warning: Reference `prop:nbds-in-subspace' on page 1 undefined on input l
ine 389.

LaTeX Warning: Reference `prob:T1-space' on page 1 undefined on input line 411.

[206]

LaTeX Warning: Reference `thm:continuity-in-metric-via-open-sets' on page 1 und
efined on input line 467.

LaTeX Warning: Reference `sec:continuous' on page 1 undefined on input line 467
.

LaTeX Warning: Reference `chap:embedding' on page 1 undefined on input line 557
.

LaTeX Warning: Reference `prop:separate-pt-from-closed-in-metric' on page 1 und
efined on input line 561.

LaTeX Warning: Reference `cor:separate-pts-in-metric' on page 1 undefined on in
put line 561.

[207]

LaTeX Warning: Reference `prob:T0-intro' on page 1 undefined on input line 595.

LaTeX Warning: Reference `prob:T1-space' on page 1 undefined on input line 596.

LaTeX Warning: Reference `prob:regular-equivalents' on page 208 undefined on in
put line 597.

LaTeX Warning: Reference `prob:subspace-of-regular' on page 208 undefined on in
put line 597.

LaTeX Warning: Reference `prob-part:metric-is-normal' on page 1 undefined on in
put line 598.
LaTeX Warning: Reference `prob:distances-pts-to-sets' on page 1 undefined on in
put line 598.

LaTeX Warning: Reference `thm:cpt-T2-is-normal' on page 1 undefined on input li
ne 599.

LaTeX Warning: Reference `sec:separation' on page 1 undefined on input line 600
.

LaTeX Warning: Reference `cref' on page 208 undefined on input line 620.

LaTeX Warning: Reference `ex:topologies' on page 1 undefined on input line 620.

LaTeX Warning: Reference `ex:Sierpinski-space' on page 1 undefined on input lin
e 620.

LaTeX Warning: Reference `prob:countable-complement-topology' on page 1 undefin
ed on input line 623.

LaTeX Warning: Reference `prob:included-and-excluded-pt-topologies' on page 1 u
ndefined on input line 626.

LaTeX Warning: Reference `thm:nbd-axioms' on page 1 undefined on input line 676
.

[208]

LaTeX Warning: Reference `cref' on page 209 undefined on input line 712.

LaTeX Warning: Reference `ex:hausdorff-spaces' on page 1 undefined on input lin
e 712.

LaTeX Warning: Reference `ex:half-disk-space' on page 1 undefined on input line
 712.

LaTeX Warning: Reference `thm:topology-from-nbds' on page 1 undefined on input 
line 723.

[209]

LaTeX Warning: Reference `prob:limit-pt' on page 1 undefined on input line 795.

LaTeX Warning: Reference `cref' on page 210 undefined on input line 817.

LaTeX Warning: Reference `ex:topologies' on page 1 undefined on input line 817.

LaTeX Warning: Reference `ex:Sierpinski-space' on page 1 undefined on input lin
e 817.

LaTeX Warning: Reference `prob:Fort-space-regular-not-metrizable' on page 1 und
efined on input line 855.

Overfull \hbox (11.06798pt too wide) in paragraph at lines 855--856
[]\T1/hlh/m/n/10 (-20) (\T1/hlh/m/it/10 (-20) Note: \T1/hlh/m/n/10 (-20) A reg-
u-lar space, even a reg-u-lar $\OML/hlcm/m/it/10 T[]$\T1/hlh/m/n/10 (-20) -spac
e, need not be metrizable---
) (./main/TopologicalSpaces/boundary.tex [210]

LaTeX Warning: Reference `fig:annulus-pts' on page 1 undefined on input line 18
.

[211]

LaTeX Warning: Reference `prop:ops-and-local-base' on page 1 undefined on input
 line 71.

LaTeX Warning: Reference `prop:bdy-relative' on page 1 undefined on input line 
93.

LaTeX Warning: Reference `subfig:pt-inside-ball' on page 1 undefined on input l
ine 111.

LaTeX Warning: Reference `subfig:pt-outside-disk' on page 1 undefined on input 
line 161.

[212]

LaTeX Warning: Reference `fig:pt-on-ball-bdy' on page 1 undefined on input line
 171.

LaTeX Warning: Reference `intuit:bdy' on page 1 undefined on input line 199.

[213]

LaTeX Warning: Reference `prop-part:open-in-terms-of-bdy' on page 1 undefined o
n input line 260.

LaTeX Warning: Reference `prop-part:bdy-of-complement' on page 1 undefined on i
nput line 260.

LaTeX Warning: Reference `prop-part:closed-in-terms-of-bdy' on page 1 undefined
 on input line 262.

LaTeX Warning: Reference `prop-part:open-in-terms-of-bdy' on page 1 undefined o
n input line 262.

[214]pdfTeX warning (ext4): destination with the same identifier (name{definiti
on.27}) has been already used, duplicate ignored
<to be read again> 
                   \relax 
l.283 

LaTeX Warning: Reference `def:closure' on page 1 undefined on input line 298.

LaTeX Warning: Reference `eq:cls-int-duality' on page 1 undefined on input line
 299.

pdfTeX warning (ext4): destination with the same identifier (name{proposition.2
8}) has been already used, duplicate ignored
<to be read again> 
                   \relax 
l.315 \label
            {prop:interior-pt-via-nbds}

LaTeX Warning: Reference `txt:annular-set' on page 1 undefined on input line 35
7.

[215]

LaTeX Warning: Reference `cor:rationals-order-dense-in-reals' on page 1 undefin
ed on input line 367.

LaTeX Warning: Reference `prop:interior-pt-via-nbds' on page 1 undefined on inp
ut line 370.

LaTeX Warning: Reference `cor:open-iff-equals-interior' on page 1 undefined on 
input line 371.

LaTeX Warning: Reference `prop:interior-pt-via-nbds' on page 1 undefined on inp
ut line 416.

LaTeX Warning: Reference `prop:interior-pt-via-nbds' on page 1 undefined on inp
ut line 422.

LaTeX Warning: Reference `thm-pf-part:open-subset-in-interior' on page 1 undefi
ned on input line 422.

pdfTeX warning (ext4): destination with the same identifier (name{corollary.31}
) has been already used, duplicate ignored
<to be read again> 
                   \relax 
l.430 \label
            {cor:open-iff-equals-interior} [216]

LaTeX Warning: Reference `cor-part:subset-preserve-interior' on page 1 undefine
d on input line 474.

LaTeX Warning: Reference `cor:interior-and-inclusion-and-intersection' on page 
1 undefined on input line 485.

LaTeX Warning: Reference `cor-part:interior-preserve-intersection' on page 1 un
defined on input line 485.

LaTeX Warning: Reference `cref' on page 217 undefined on input line 493.

LaTeX Warning: Reference `ex:interiors' on page 1 undefined on input line 493.

LaTeX Warning: Reference `ex:rationals-interior' on page 1 undefined on input l
ine 493.

LaTeX Warning: Reference `eq:cls-int-duality' on page 1 undefined on input line
 522.

LaTeX Warning: Reference `ex:bdy' on page 1 undefined on input line 531.

LaTeX Warning: Reference `ex:interiors' on page 1 undefined on input line 531.

[217]

LaTeX Warning: Reference `intuit:bdy' on page 1 undefined on input line 577.

LaTeX Warning: Reference `intuit:int' on page 1 undefined on input line 577.

LaTeX Warning: Reference `ex:extended-reals' on page 1 undefined on input line 
612.

LaTeX Warning: Reference `prop:closure-in-terms-of-nbhds' on page 1 undefined o
n input line 614.

LaTeX Warning: Reference `lem:balls-at-infinity-in-extended-reals' on page 1 un
defined on input line 614.

LaTeX Warning: Reference `chap:contconv' on page 1 undefined on input line 621.

[218]

LaTeX Warning: Reference `prop:closure-in-terms-of-nbhds' on page 1 undefined o
n input line 625.

LaTeX Warning: Reference `def:dist-pt-to-set' on page 1 undefined on input line
 625.

LaTeX Warning: Reference `prop:closure-in-terms-of-nbhds' on page 1 undefined o
n input line 648.

LaTeX Warning: Reference `def:d-dense' on page 1 undefined on input line 648.

LaTeX Warning: Reference `prop:closure-in-terms-of-nbhds' on page 1 undefined o
n input line 660.

LaTeX Warning: Reference `cref' on page 219 undefined on input line 681.

LaTeX Warning: Reference `ex:closure' on page 1 undefined on input line 681.

LaTeX Warning: Reference `ex:cls-of-Q' on page 1 undefined on input line 681.

LaTeX Warning: Reference `ex:infty-in-cls' on page 1 undefined on input line 69
9.

LaTeX Warning: Reference `prop:closure-in-terms-of-nbhds' on page 1 undefined o
n input line 708.

[219]

LaTeX Warning: Reference `thm-part:compl-of-int' on page 1 undefined on input l
ine 776.

LaTeX Warning: Reference `thm:cls-int-duality' on page 1 undefined on input lin
e 783.

LaTeX Warning: Reference `thm:cls-int-duality' on page 1 undefined on input lin
e 799.

pdfTeX warning (ext4): destination with the same identifier (name{corollary.41}
) has been already used, duplicate ignored
<to be read again> 
                   \relax 
l.802 F
       or every subset $A$ of a topological space $X$:

LaTeX Warning: Reference `thm:cls-int-duality' on page 1 undefined on input lin
e 832.

LaTeX Warning: Reference `cor:cls-int-duality' on page 1 undefined on input lin
e 832.

LaTeX Warning: Reference `thm:int-largest-open' on page 1 undefined on input li
ne 833.

LaTeX Warning: Reference `cor:cls-int-duality' on page 1 undefined on input lin
e 833.

LaTeX Warning: Reference `cor-part:cls-as-int-compl' on page 1 undefined on inp
ut line 833.

LaTeX Warning: Reference `thm:int-largest-open' on page 1 undefined on input li
ne 833.

[220]

LaTeX Warning: Reference `thm:int-largest-open' on page 1 undefined on input li
ne 860.

LaTeX Warning: Reference `thm-part:int-largest-open-means' on page 1 undefined 
on input line 860.

LaTeX Warning: Reference `cor:cls-int-duality' on page 1 undefined on input lin
e 864.

LaTeX Warning: Reference `cor-part:cls-as-int-compl' on page 1 undefined on inp
ut line 864.

LaTeX Warning: Reference `cor:closed-iff-equals-closure' on page 1 undefined on
 input line 887.

LaTeX Warning: Reference `cor:open-iff-equals-interior' on page 1 undefined on 
input line 887.

LaTeX Warning: Reference `cor:cls-int-duality' on page 1 undefined on input lin
e 887.

LaTeX Warning: Reference `cor:interior-and-inclusion-and-intersection' on page 
1 undefined on input line 889.

LaTeX Warning: Reference `cor:cls-int-duality' on page 1 undefined on input lin
e 921.

LaTeX Warning: Reference `cor-part:cls-as-int-compl' on page 1 undefined on inp
ut line 921.

LaTeX Warning: Reference `eq:DeMorgans-laws' on page 1 undefined on input line 
921.

LaTeX Warning: Reference `cor:interior-and-inclusion-and-intersection' on page 
1 undefined on input line 921.

LaTeX Warning: Reference `cor-part:interior-preserve-intersection' on page 1 un
defined on input line 921.

[221]

LaTeX Warning: Reference `cor-part:closure-preserve-union' on page 1 undefined 
on input line 942.

pdfTeX warning (ext4): destination with the same identifier (name{definition.45
}) has been already used, duplicate ignored
<to be read again> 
                   \relax 
l.962 \label
            {def:nowhere-dense}

LaTeX Warning: Reference `thm:cls-int-duality' on page 1 undefined on input lin
e 973.

LaTeX Warning: Reference `thm-part:compl-of-int' on page 1 undefined on input l
ine 973.

LaTeX Warning: Reference `thm:Baire-category-thm' on page 222 undefined on inpu
t line 979.

[222]pdfTeX warning (ext4): destination with the same identifier (name{definiti
on.46}) has been already used, duplicate ignored
<to be read again> 
                   \relax 
l.989 \label
            {def:meager set}

LaTeX Warning: Reference `prop-part:intersect-dense-opens' on page 1 undefined 
on input line 1033.

LaTeX Warning: Reference `prop-part:meager-has-empty-int' on page 1 undefined o
n input line 1033.

LaTeX Warning: Reference `prop-part:intersect-dense-opens' on page 1 undefined 
on input line 1042.

LaTeX Warning: Reference `thm:cls-int-duality' on page 1 undefined on input lin
e 1055.

LaTeX Warning: Reference `thm-part:compl-of-cls' on page 1 undefined on input l
ine 1055.

[223]

LaTeX Warning: Reference `prop-part:meager-has-empty-int' on page 1 undefined o
n input line 1065.

LaTeX Warning: Reference `prop-part:intersect-dense-opens' on page 1 undefined 
on input line 1065.

LaTeX Warning: Reference `prop-part:meager-has-empty-int' on page 1 undefined o
n input line 1065.

LaTeX Warning: Reference `prop-part:open-is-nonmeager' on page 1 undefined on i
nput line 1065.

LaTeX Warning: Reference `ex:bdy' on page 1 undefined on input line 1074.

LaTeX Warning: Reference `ex:bdy-line-in-plane' on page 1 undefined on input li
ne 1074.

LaTeX Warning: Reference `thm:cls-smallest-closed' on page 1 undefined on input
 line 1117.

LaTeX Warning: Reference `thm:int-largest-open' on page 1 undefined on input li
ne 1125.

[224]

LaTeX Warning: Reference `cref' on page 225 undefined on input line 1198.

LaTeX Warning: Reference `ex:topologies' on page 1 undefined on input line 1198
.

LaTeX Warning: Reference `ex:Sierpinski-space' on page 1 undefined on input lin
e 1198.

LaTeX Warning: Reference `cref' on page 225 undefined on input line 1201.

LaTeX Warning: Reference `ex:topology-via-nbds' on page 1 undefined on input li
ne 1201.

LaTeX Warning: Reference `ex:right-interval-topology-R' on page 1 undefined on 
input line 1201.

LaTeX Warning: Reference `cref' on page 225 undefined on input line 1204.

LaTeX Warning: Reference `ex:topology-via-nbds' on page 1 undefined on input li
ne 1204.

LaTeX Warning: Reference `ex:line-with-2-origins' on page 1 undefined on input 
line 1204.

LaTeX Warning: Reference `cref' on page 225 undefined on input line 1207.

LaTeX Warning: Reference `ex:hausdorff-spaces' on page 1 undefined on input lin
e 1207.

LaTeX Warning: Reference `ex:half-disk-space' on page 1 undefined on input line
 1207.

LaTeX Warning: Reference `prob:tangent-disk-space' on page 1 undefined on input
 line 1210.

[225]

LaTeX Warning: Reference `def:separation-axioms' on page 1 undefined on input l
ine 1261.

[226]

LaTeX Warning: Reference `inlinedef:convex' on page 1 undefined on input line 1
310.

LaTeX Warning: Reference `prob:limit-pt' on page 1 undefined on input line 1341
.

) (./main/TopologicalSpaces/bases.tex [227]

LaTeX Warning: Reference `ex:metric-local-bases' on page 1 undefined on input l
ine 80.

[228]

LaTeX Warning: Reference `ex:metric-local-bases' on page 1 undefined on input l
ine 107.

LaTeX Warning: Reference `cref' on page 229 undefined on input line 107.

LaTeX Warning: Reference `ex:topologies' on page 1 undefined on input line 107.

LaTeX Warning: Reference `ex:d-infinity-topology-on-Rn' on page 1 undefined on 
input line 107.

LaTeX Warning: Reference `prop:d-and-dmax-equiv' on page 1 undefined on input l
ine 107.

LaTeX Warning: Reference `ex:metric-local-bases' on page 1 undefined on input l
ine 111.

LaTeX Warning: Reference `cref' on page 229 undefined on input line 115.

LaTeX Warning: Reference `ex:topology-via-nbds' on page 1 undefined on input li
ne 115.

LaTeX Warning: Reference `ex:half-disk-space' on page 1 undefined on input line
 115.

[229]

LaTeX Warning: Reference `def:2nd-countable' on page 1 undefined on input line 
161.

LaTeX Warning: Reference `def:separable' on page 1 undefined on input line 161.

pdfTeX warning (ext4): destination with the same identifier (name{definition.53
}) has been already used, duplicate ignored
<to be read again> 
                   \relax 
l.165 \label
            {def:1st-countable}

LaTeX Warning: Reference `cref' on page 230 undefined on input line 195.

LaTeX Warning: Reference `ex:topology-via-nbds' on page 1 undefined on input li
ne 195.

LaTeX Warning: Reference `ex:half-disk-space' on page 1 undefined on input line
 195.

[230]

LaTeX Warning: Reference `cref' on page 231 undefined on input line 239.

LaTeX Warning: Reference `ex:top-from-base' on page 1 undefined on input line 2
39.

LaTeX Warning: Reference `ex:topology-ptwise-convergence-all-fns-R-to-R' on pag
e 1 undefined on input line 239.

pdfTeX warning (ext4): destination with the same identifier (name{definition.55
}) has been already used, duplicate ignored
<to be read again> 
                   \relax 
l.253 \label
            {def:base}

LaTeX Warning: Reference `property:open-union-of-base-members' on page 1 undefi
ned on input line 273.

pdfTeX warning (ext4): destination with the same identifier (name{examples.56})
 has been already used, duplicate ignored
<to be read again> 
                   \relax 
l.278 \label
            {ex:bases}

LaTeX Warning: Reference `prop:small-ball-inside-ball' on page 1 undefined on i
nput line 296.

LaTeX Warning: Reference `prob:d-open-iff-union-d-balls' on page 1 undefined on
 input line 296.

LaTeX Warning: Reference `ex:all-balls-base-of-metric' on page 1 undefined on i
nput line 304.

[231]

LaTeX Warning: Reference `ex:all-balls-base-of-metric' on page 1 undefined on i
nput line 315.

LaTeX Warning: Reference `cref' on page 232 undefined on input line 329.

LaTeX Warning: Reference `ex:topology-via-nbds' on page 1 undefined on input li
ne 329.

LaTeX Warning: Reference `ex:line-with-2-origins' on page 1 undefined on input 
line 329.

LaTeX Warning: Reference `ex:bases' on page 1 undefined on input line 341.

LaTeX Warning: Reference `ex:whole-top-is-base' on page 232 undefined on input 
line 341.

LaTeX Warning: Reference `ex:open-cubes-base-of-Rn' on page 232 undefined on in
put line 341.

LaTeX Warning: Reference `ex:local-base' on page 1 undefined on input line 342.

LaTeX Warning: Reference `ex:nbd-sys-local-base' on page 232 undefined on input
 line 342.

LaTeX Warning: Reference `ex:open-cubes-local-base-Rn' on page 232 undefined on
 input line 342.

LaTeX Warning: Reference `cond:base-of-X' on page 1 undefined on input line 375
.

LaTeX Warning: Reference `cond:local-base-at-x-in-X' on page 1 undefined on inp
ut line 375.

LaTeX Warning: Reference `cond:local-base-at-x-in-X' on page 1 undefined on inp
ut line 382.

LaTeX Warning: Reference `cond:base-of-X' on page 1 undefined on input line 382
.

LaTeX Warning: Reference `cond:local-base-at-x-in-X' on page 1 undefined on inp
ut line 392.

LaTeX Warning: Reference `prop:base-vs-local-base' on page 1 undefined on input
 line 406.

LaTeX Warning: Reference `prop:base-vs-local-base' on page 232 undefined on inp
ut line 406.

LaTeX Warning: Reference `cref' on page 232 undefined on input line 407.

LaTeX Warning: Reference `ex:1st-countable' on page 1 undefined on input line 4
07.

LaTeX Warning: Reference `ex:metrizable-is-1st-countable' on page 1 undefined o
n input line 407.

[232]

LaTeX Warning: Reference `prop:base-vs-local-base' on page 1 undefined on input
 line 441.

LaTeX Warning: Reference `prop:base-vs-local-base' on page 1 undefined on input
 line 455.

LaTeX Warning: Reference `thm:topology-from-nbds' on page 1 undefined on input 
line 457.

LaTeX Warning: Reference `thm:topology-from-nbds' on page 1 undefined on input 
line 462.

LaTeX Warning: Reference `property:N2' on page 233 undefined on input line 463.

LaTeX Warning: Reference `property:N4' on page 233 undefined on input line 463.

LaTeX Warning: Reference `thm:topology-from-nbds' on page 233 undefined on inpu
t line 463.

LaTeX Warning: Reference `property:N1' on page 233 undefined on input line 464.

LaTeX Warning: Reference `property:N3' on page 233 undefined on input line 464.

LaTeX Warning: Reference `property:B1' on page 233 undefined on input line 465.

LaTeX Warning: Reference `property:B2' on page 233 undefined on input line 465.

LaTeX Warning: Reference `property:N5' on page 233 undefined on input line 466.

LaTeX Warning: Reference `thm:topology-from-nbds' on page 1 undefined on input 
line 470.

LaTeX Warning: Reference `prop:base-vs-local-base' on page 1 undefined on input
 line 478.

LaTeX Warning: Reference `property:B2' on page 233 undefined on input line 487.

LaTeX Warning: Reference `property:base-member-open' on page 233 undefined on i
nput line 491.

LaTeX Warning: Reference `property:open-union-of-base-members' on page 233 unde
fined on input line 491.

LaTeX Warning: Reference `def:base' on page 1 undefined on input line 492.

LaTeX Warning: Reference `property:B1' on page 233 undefined on input line 493.

LaTeX Warning: Reference `property:B2' on page 233 undefined on input line 493.

LaTeX Warning: Reference `thm:top-from-base' on page 1 undefined on input line 
494.

[233]

LaTeX Warning: Reference `def:base' on page 1 undefined on input line 499.

LaTeX Warning: Reference `property:base-member-open' on page 1 undefined on inp
ut line 499.

LaTeX Warning: Reference `property:open-union-of-base-members' on page 1 undefi
ned on input line 499.

LaTeX Warning: Reference `thm:top-from-base' on page 1 undefined on input line 
503.

LaTeX Warning: Reference `property:B1' on page 234 undefined on input line 503.

pdfTeX warning (ext4): destination with the same identifier (name{examples.59})
 has been already used, duplicate ignored
<to be read again> 
                   \relax 
l.508 \label
            {ex:top-from-base}

LaTeX Warning: Reference `def:total-ordering' on page 1 undefined on input line
 518.

LaTeX Warning: Reference `property:B1' on page 234 undefined on input line 529.

LaTeX Warning: Reference `property:B2' on page 234 undefined on input line 530.

LaTeX Warning: Reference `cref' on page 234 undefined on input line 550.

LaTeX Warning: Reference `ex:bases' on page 1 undefined on input line 550.

LaTeX Warning: Reference `ex:open-ints-base-of-R' on page 1 undefined on input 
line 550.

LaTeX Warning: Reference `ex:extended-reals' on page 1 undefined on input line 
557.

[234]

LaTeX Warning: Reference `ex:extended-reals' on page 1 undefined on input line 
569.

LaTeX Warning: Reference `prop:extended-reals-dhat-induces-equiv-metric-on-R' o
n page 1 undefined on input line 575.

LaTeX Warning: Reference `lem:balls-at-infinity-in-extended-reals' on page 1 un
defined on input line 601.

LaTeX Warning: Reference `lem:balls-at-infinity-in-extended-reals' on page 1 un
defined on input line 615.

LaTeX Warning: Reference `ex-case:plus-infty' on page 1 undefined on input line
 620.

LaTeX Warning: Reference `property:B1' on page 235 undefined on input line 636.

LaTeX Warning: Reference `thm:top-from-base' on page 1 undefined on input line 
636.

LaTeX Warning: Reference `property:B2' on page 235 undefined on input line 636.

LaTeX Warning: Reference `thm:top-from-base' on page 1 undefined on input line 
640.

LaTeX Warning: Reference `WHAT' on page 1 undefined on input line 650.

[235]

LaTeX Warning: Reference `thm:top-from-base' on page 1 undefined on input line 
667.

LaTeX Warning: Reference `fig:3-fns-thru-4-windows' on page 1 undefined on inpu
t line 682.

LaTeX Warning: Reference `property:B1' on page 236 undefined on input line 700.

LaTeX Warning: Reference `property:B2' on page 236 undefined on input line 700.

Overfull \hbox (39.92242pt too wide) in paragraph at lines 676--701
 \T1/hlh/m/n/10 (-20) De-fine $\OMS/hlcy/m/n/10 B$ \T1/hlh/m/n/10 (-20) to be t
he col-lec-tion of all such sub-sets $\OML/hlcm/m/it/10 B[]x[]; x[]; [] ; x[] \
T1/hlh/m/n/10 (-20) ;  \OML/hlcm/m/it/10 I[]; I[]; [] ; I[][]$

Overfull \hbox (15.45676pt too wide) in paragraph at lines 676--701
\T1/hlh/m/n/10 (-20) of $\OMS/hlcy/m/n/10 F$ \T1/hlh/m/n/10 (-20) for all pos-s
i-ble choices of $\OML/hlcm/m/it/10 k$\T1/hlh/m/n/10 (-20) , of $\OML/hlcm/m/it
/10 Ñ[]Ö$\T1/hlh/m/n/10 (-20) , and of $\OML/hlcm/m/it/10 Ñ[]Ö$\T1/hlh/m/n/10 (
-20) .

LaTeX Warning: Reference `property:B1' on page 236 undefined on input line 702.

LaTeX Warning: Reference `property:B2' on page 236 undefined on input line 705.

LaTeX Warning: Reference `thm:top-from-base' on page 1 undefined on input line 
715.

LaTeX Warning: Reference `sec:converge' on page 1 undefined on input line 718.

[236]
Underfull \vbox (badness 5985) has occurred while \output is active [237]

LaTeX Warning: Reference `cref' on page 238 undefined on input line 771.

LaTeX Warning: Reference `ex:1st-countable' on page 1 undefined on input line 7
71.

LaTeX Warning: Reference `ex:metrizable-is-1st-countable' on page 1 undefined o
n input line 771.

LaTeX Warning: Reference `def:max-metric' on page 1 undefined on input line 805
.

LaTeX Warning: Reference `prop:d-and-dmax-equiv' on page 1 undefined on input l
ine 813.

LaTeX Warning: Reference `cond:local-base-at-x-in-X' on page 238 undefined on i
nput line 816.

LaTeX Warning: Reference `prop:base-vs-local-base' on page 1 undefined on input
 line 816.

LaTeX Warning: Reference `fig:rational-cube-inside' on page 1 undefined on inpu
t line 827.

[238]

LaTeX Warning: Reference `prop:base-vs-local-base' on page 1 undefined on input
 line 870.

Underfull \vbox (badness 2828) has occurred while \output is active [239]

LaTeX Warning: Reference `cref' on page 240 undefined on input line 931.

LaTeX Warning: Reference `ex:top-from-base' on page 1 undefined on input line 9
31.

LaTeX Warning: Reference `ex:Sorgenfrey-line' on page 1 undefined on input line
 931.

LaTeX Warning: Reference `thm:in-2nd-countable-each-base-contains-countable-bas
e' on page 1 undefined on input line 936.

Overfull \hbox (34.01646pt too wide) in paragraph at lines 935--942
[] [] []$ \T1/hlh/m/n/10 (-20) would have to con-tain some count-able base $[] 
[] []$.

LaTeX Warning: Reference `def:dense-set' on page 1 undefined on input line 948.

[240]

LaTeX Warning: Reference `cref' on page 241 undefined on input line 969.

LaTeX Warning: Reference `ex:dense' on page 1 undefined on input line 969.

LaTeX Warning: Reference `ex:rationals-irrationals-dense' on page 1 undefined o
n input line 969.

LaTeX Warning: Reference `cref' on page 241 undefined on input line 972.

LaTeX Warning: Reference `ex:dense' on page 1 undefined on input line 972.

LaTeX Warning: Reference `ex:dense-subsets-of-discrete' on page 1 undefined on 
input line 972.

LaTeX Warning: Reference `cref' on page 241 undefined on input line 974.

LaTeX Warning: Reference `ex:2nd-countable' on page 1 undefined on input line 9
74.

LaTeX Warning: Reference `ex:2nd-countable-discrete' on page 1 undefined on inp
ut line 974.

LaTeX Warning: Reference `cref' on page 241 undefined on input line 980.

LaTeX Warning: Reference `ex:2nd-countable' on page 1 undefined on input line 9
80.

LaTeX Warning: Reference `ex:Rn-is-2nd-countable' on page 1 undefined on input 
line 980.

LaTeX Warning: Reference `ex:hilbert-sequence-space' on page 1 undefined on inp
ut line 987.

[241]

LaTeX Warning: Reference `ex:sup-metric-on-functions' on page 1 undefined on in
put line 1031.

LaTeX Warning: Reference `sec:compactmetric' on page 1 undefined on input line 
1035.

LaTeX Warning: Reference `chap:compact' on page 1 undefined on input line 1035.

LaTeX Warning: Reference `app:close-piecewise-linear' on page 1 undefined on in
put line 1035.

LaTeX Warning: Reference `cref' on page 242 undefined on input line 1064.

LaTeX Warning: Reference `ex:top-from-base' on page 1 undefined on input line 1
064.

LaTeX Warning: Reference `ex:order-topology' on page 1 undefined on input line 
1064.

[242]

LaTeX Warning: Reference `prob:no-intersect-empty-collection' on page 1 undefin
ed on input line 1077.

LaTeX Warning: Reference `prob:tangent-disk-space' on page 1 undefined on input
 line 1090.

LaTeX Warning: Reference `cref' on page 243 undefined on input line 1103.

LaTeX Warning: Reference `ex:1st-countable' on page 1 undefined on input line 1
103.

LaTeX Warning: Reference `ex:Fort-topology' on page 1 undefined on input line 1
103.

LaTeX Warning: Reference `cref' on page 243 undefined on input line 1151.

LaTeX Warning: Reference `ex:1st-countable' on page 1 undefined on input line 1
151.

LaTeX Warning: Reference `ex:Fort-topology' on page 1 undefined on input line 1
151.

LaTeX Warning: Reference `chap:compact' on page 1 undefined on input line 1194.

LaTeX Warning: Reference `def:cover' on page 1 undefined on input line 1194.

[243]

LaTeX Warning: Reference `cref' on page 244 undefined on input line 1200.

LaTeX Warning: Reference `ex:top-from-base' on page 1 undefined on input line 1
200.

LaTeX Warning: Reference `ex:Sorgenfrey-line' on page 1 undefined on input line
 1200.

LaTeX Warning: Reference `ex:dictionary-order' on page 1 undefined on input lin
e 1208.

LaTeX Warning: Reference `cref' on page 244 undefined on input line 1216.

LaTeX Warning: Reference `ex:top-from-base' on page 1 undefined on input line 1
216.

LaTeX Warning: Reference `ex:order-topology' on page 1 undefined on input line 
1216.

LaTeX Warning: Reference `cref' on page 244 undefined on input line 1216.

LaTeX Warning: Reference `ex:top-from-base' on page 1 undefined on input line 1
216.

LaTeX Warning: Reference `ex:right-interval-topology' on page 1 undefined on in
put line 1216.

LaTeX Warning: Reference `cref' on page 244 undefined on input line 1236.

LaTeX Warning: Reference `ex:topologies' on page 1 undefined on input line 1236
.

LaTeX Warning: Reference `ex:finite-compl-topology' on page 1 undefined on inpu
t line 1236.

LaTeX Warning: Reference `prob:countable-complement-topology' on page 1 undefin
ed on input line 1239.

LaTeX Warning: Reference `cref' on page 244 undefined on input line 1242.

LaTeX Warning: Reference `ex:topology-via-nbds' on page 1 undefined on input li
ne 1242.

LaTeX Warning: Reference `ex:half-disk-space' on page 1 undefined on input line
 1242.

LaTeX Warning: Reference `cref' on page 244 undefined on input line 1246.

LaTeX Warning: Reference `ex:top-from-base' on page 1 undefined on input line 1
246.

LaTeX Warning: Reference `ex:Sorgenfrey-line' on page 1 undefined on input line
 1246.

LaTeX Warning: Reference `thm:nbd-axioms' on page 1 undefined on input line 125
2.

)) [244] (./main/ContinuityConvergence/chapterContinuityConvergence.tex
(./main/ContinuityConvergence/continuityconvergence-init.tex)
(./main/ContinuityConvergence/continuous.tex [245]

LaTeX Warning: Reference `ex:inequiv-metrics-on-fns' on page 1 undefined on inp
ut line 52.

Overfull \hbox (18.96858pt too wide) in paragraph at lines 52--53
[]\T1/hlh/m/n/10 (-20) Example [] con-cern-ing the set $\OML/hlcm/m/it/10 X$ \T
1/hlh/m/n/10 (-20) of all con-tin-u-ous func-tions $\OML/hlcm/m/it/10 x [] [] Ü
\T1/hlh/m/n/10 (-20) 0\OML/hlcm/m/it/10 ; \T1/hlh/m/n/10 (-20) 1\OML/hlcm/m/it/
10 á [] \LMR/hlcm/m/n/10 R$

LaTeX Warning: Reference `prob:cf-3-topologies-on-R' on page 1 undefined on inp
ut line 54.

Overfull \hbox (13.0625pt too wide) in paragraph at lines 56--59
\T1/hlh/m/n/10 (-20) map $\OML/hlcm/m/it/10 f [] [] ÑX; \OMS/hlcy/m/n/10 S\OML/
hlcm/m/it/10 Ö [] ÑY; \OMS/hlcy/m/n/10 U\OML/hlcm/m/it/10 Ö$ \T1/hlh/m/n/10 (-2
0) is also con-tin-u-ous as a map $\OML/hlcm/m/it/10 f [] [] ÑX; \OMS/hlcy/m/n/
10 T\OML/hlcm/m/it/10 Ö [] ÑY; \OMS/hlcy/m/n/10 U\OML/hlcm/m/it/10 Ö$\T1/hlh/m/
n/10 (-20) .

LaTeX Warning: Reference `cref' on page 246 undefined on input line 66.

LaTeX Warning: Reference `ex:continuous-maps' on page 1 undefined on input line
 66.

LaTeX Warning: Reference `ex:coarser-finer-topologies' on page 1 undefined on i
nput line 66.

) (./main/ContinuityConvergence/homeomorphism.tex [246])
(./main/ContinuityConvergence/productspace.tex

LaTeX Warning: Reference `ex:max-metric-on-product' on page 1 undefined on inpu
t line 16.

[247]

LaTeX Warning: Reference `prob:metric-on-seq-bded-metric-spaces' on page 1 unde
fined on input line 50.

LaTeX Warning: Reference `eq:dprime-prod-formula' on page 248 undefined on inpu
t line 65.

[248]

LaTeX Warning: Reference `prob:graph-homeomorph-of-dom' on page 1 undefined on 
input line 116.

LaTeX Warning: Reference `prob-part:graph-closed-if-continuous' on page 1 undef
ined on input line 125.

LaTeX Warning: Reference `prob-part:graph-closed-if-continuous' on page 1 undef
ined on input line 128.

LaTeX Warning: Reference `WHAT' on page 1 undefined on input line 128.

) (./main/ContinuityConvergence/quotientspace.tex [249])
(./main/ContinuityConvergence/convergence.tex

LaTeX Warning: Reference `thm:WHAT' on page 1 undefined on input line 8.

pdfTeX warning (ext4): destination with the same identifier (name{proposition.5
}) has been already used, duplicate ignored
<to be read again> 
                   \relax 
l.35 \label
           {prop:unif-conv-implies-ptwise-conv} [250]

LaTeX Warning: Reference `ex:extended-reals' on page 1 undefined on input line 
73.

)) [251] (./main/Compact/chapterCompact.tex [252]
(./main/Compact/compact-init.tex) (./main/Compact/compact.tex
Underfull \vbox (badness 10000) has occurred while \output is active [253]

LaTeX Warning: Reference `ax:R-order-complete' on page 1 undefined on input lin
e 28.

[254]

LaTeX Warning: Reference `chap:metricspace' on page 1 undefined on input line 7
8.

LaTeX Warning: Reference `ex:sup-metric-on-functions' on page 1 undefined on in
put line 78.

LaTeX Warning: Reference `thm:unit-interval-compact' on page 1 undefined on inp
ut line 113.

LaTeX Warning: Reference `eq:balls-cover-I' on page 255 undefined on input line
 121.

LaTeX Warning: Reference `thm:unit-interval-compact' on page 1 undefined on inp
ut line 129.

[255]

LaTeX Warning: Reference `prop:cont-interval-to-R-bded' on page 1 undefined on 
input line 137.

[256]

LaTeX Warning: Reference `thm:unit-interval-compact' on page 1 undefined on inp
ut line 214.

pdfTeX warning (ext4): destination with the same identifier (name{definition.5}
) has been already used, duplicate ignored
<to be read again> 
                   \relax 
l.218 \label
            {def:cpt}

LaTeX Warning: Reference `def:cpt' on page 1 undefined on input line 234.

LaTeX Warning: Reference `sec:compactmetric' on page 1 undefined on input line 
235.

LaTeX Warning: Reference `thm-condition:sequentially-cpt' on page 1 undefined o
n input line 236.

LaTeX Warning: Reference `thm:metrizable-space-conditions-cpt' on page 1 undefi
ned on input line 236.

pdfTeX warning (ext4): destination with the same identifier (name{examples.6}) 
has been already used, duplicate ignored
<to be read again> 
                   \relax 
l.241 \label
            {ex:cpt-spaces}

LaTeX Warning: Reference `thm:unit-interval-compact' on page 1 undefined on inp
ut line 249.

[257]

LaTeX Warning: Reference `ex:finite-space-cpt' on page 1 undefined on input lin
e 301.

LaTeX Warning: Reference `cref' on page 258 undefined on input line 320.

LaTeX Warning: Reference `ex:topologies' on page 1 undefined on input line 320.

LaTeX Warning: Reference `ex:indiscrete-topology' on page 1 undefined on input 
line 320.

LaTeX Warning: Reference `cref' on page 258 undefined on input line 328.

LaTeX Warning: Reference `ex:topologies' on page 1 undefined on input line 328.

LaTeX Warning: Reference `ex:finite-compl-topology' on page 1 undefined on inpu
t line 328.

[258]pdfTeX warning (ext4): destination with the same identifier (name{definiti
on.7}) has been already used, duplicate ignored
<to be read again> 
                   \relax 
l.367 \label
            {def:fip} [259]

LaTeX Warning: Reference `thm:cpt-via-fip' on page 1 undefined on input line 41
7.

LaTeX Warning: Reference `hm:unit-interval-compact' on page 1 undefined on inpu
t line 457.

LaTeX Warning: Reference `cref' on page 260 undefined on input line 457.

LaTeX Warning: Reference `ex:cpt-spaces' on page 1 undefined on input line 457.

LaTeX Warning: Reference `ex:open-intervals-rays-noncpt' on page 1 undefined on
 input line 457.

[260]

LaTeX Warning: Reference `lem:subspace-cpt-via-cover-of-whole-space' on page 1 
undefined on input line 482.

LaTeX Warning: Reference `fig:open-cover-closed-subspace-of-cpt' on page 1 unde
fined on input line 484.

[261]

LaTeX Warning: Reference `prop:cpt-metrizable-is-totally-bded' on page 1 undefi
ned on input line 541.

Package thmtools Warning: Unused key `refname' on input line 544.

pdfTeX warning (ext4): destination with the same identifier (name{example.15}) 
has been already used, duplicate ignored
<to be read again> 
                   \relax 
l.568 \label
            {ex:Cantor-K}

LaTeX Warning: Reference `thm:closed-in-compact-is-compact' on page 1 undefined
 on input line 592.

LaTeX Warning: Reference `thm:unit-interval-compact' on page 1 undefined on inp
ut line 592.

LaTeX Warning: Reference `thm:Heine-Borel-thm' on page 262 undefined on input l
ine 592.

LaTeX Warning: Reference `thm:cpt-subset-of-T2-is-closed' on page 1 undefined o
n input line 606.

LaTeX Warning: Command \i invalid in math mode on input line 612.

[262]

LaTeX Warning: Reference `thm:cpt-subset-of-T2-is-closed' on page 1 undefined o
n input line 656.

LaTeX Warning: Reference `lem:separate-pt-from-cpt-in-T2' on page 1 undefined o
n input line 656.

LaTeX Warning: Reference `thm:separate-disj-cpts-in-T2' on page 1 undefined on 
input line 656.

LaTeX Warning: Reference `thm:closed-in-compact-is-compact' on page 1 undefined
 on input line 659.

LaTeX Warning: Reference `thm:separate-disj-cpts-in-T2' on page 1 undefined on 
input line 659.

LaTeX Warning: Reference `thm:closed-in-compact-is-compact' on page 1 undefined
 on input line 676.

[263]pdfTeX warning (ext4): destination with the same identifier (name{corollar
y.20}) has been already used, duplicate ignored
<to be read again> 
                   \relax 
l.698 \label
            {cor:quotient-of-cpt-is-cpt}pdfTeX warning (ext4): destination with
 the same identifier (name{corollary.21}) has been already used, duplicate igno
red
<to be read again> 
                   \relax 
l.706 \label
            {cor:homeomorph-of-cpt-is-cpt}pdfTeX warning (ext4): destination wi
th the same identifier (name{corollary.22}) has been already used, duplicate ig
nored
<to be read again> 
                   \relax 
l.725 \label
            {cor:cont-from-cpt-to-T2-is-closed}

LaTeX Warning: Reference `cor:cont-bij-cpt-to-T2-is-homeo' on page 1 undefined 
on input line 741.

LaTeX Warning: Reference `def:dist-pt-to-set' on page 1 undefined on input line
 775.

[264]

LaTeX Warning: Reference `cor:extreme-value-thm' on page 1 undefined on input l
ine 781.

LaTeX Warning: Reference `prob:dist-pt-to-set-continuous' on page 1 undefined o
n input line 785.

LaTeX Warning: Reference `prob-part:dist-pt-to-set-continuous' on page 1 undefi
ned on input line 785.

LaTeX Warning: Reference `fig:tube-slice-R-times-I' on page 1 undefined on inpu
t line 810.

[265]

LaTeX Warning: Reference `fig:cover-of-slice' on page 1 undefined on input line
 853.

[266] [267]

LaTeX Warning: Reference `thm:tube-lemma' on page 268 undefined on input line 9
24.

LaTeX Warning: Reference `thm:cont-image-cpt-is-cpt' on page 1 undefined on inp
ut line 949.

[268]
Overfull \hbox (6.73897pt too wide) in paragraph at lines 1010--1012
\T1/hlh/m/n/10 (-20) log-i-cal space $\OML/hlcm/m/it/10 X$ \T1/hlh/m/n/10 (-20)
 to a com-pact space $\OML/hlcm/m/it/10 Y$ \T1/hlh/m/n/10 (-20) whose graph $[]
$

LaTeX Warning: Reference `thm:cpt-via-nets' on page 1 undefined on input line 1
014.

Overfull \hbox (8.11954pt too wide) in paragraph at lines 1013--1015
[]$ \T1/hlh/m/n/10 (-20) con-verges to $\OML/hlcm/m/it/10 fÑxÖ$ \T1/hlh/m/n/10 
(-20) in $\OML/hlcm/m/it/10 Y$ \T1/hlh/m/n/10 (-20) by ap-ply-ing [] to $[]$. 
) (./main/Compact/compactmetric.tex [269]

LaTeX Warning: Reference `thm:cpt-metrizable-implies-2nd-countable' on page 1 u
ndefined on input line 47.

LaTeX Warning: Reference `thm:metrizable-separable-iff-2nd-countable' on page 1
 undefined on input line 52.

LaTeX Warning: Reference `prob:hilbert-space-and-cube' on page 1 undefined on i
nput line 53.

LaTeX Warning: Reference `prob-part:hilbert-cube' on page 1 undefined on input 
line 53.

LaTeX Warning: Reference `thm:cpt-metrizable-implies-2nd-countable' on page 1 u
ndefined on input line 54.

LaTeX Warning: Reference `thm:tychonoff-thm-denumerable-metric-case' on page 1 
undefined on input line 64.

LaTeX Warning: Reference `lem:cpt-subset-metric-is-bded' on page 1 undefined on
 input line 67.

[270]pdfTeX warning (ext4): destination with the same identifier (name{proposit
ion.36}) has been already used, duplicate ignored
<to be read again> 
                   \relax 
l.103 \label
            {prop:cpt-metrizable-is-totally-bded}

LaTeX Warning: Reference `lem:total-bded-criterion' on page 1 undefined on inpu
t line 120.

pdfTeX warning (ext4): destination with the same identifier (name{examples.37})
 has been already used, duplicate ignored
<to be read again> 
                   \relax 
l.131 \label
            {ex:totally-bded}

LaTeX Warning: Reference `prop:cpt-metrizable-is-totally-bded' on page 1 undefi
ned on input line 148.

LaTeX Warning: Reference `ex:subset-of-totally-bded-is-totally-bded' on page 1 
undefined on input line 148.

LaTeX Warning: Reference `ex:open-interval-not-totally-bded' on page 1 undefine
d on input line 158.

LaTeX Warning: Reference `ex:R-not-totally-bded' on page 1 undefined on input l
ine 158.

[271]pdfTeX warning (ext4): destination with the same identifier (name{proposit
ion.38}) has been already used, duplicate ignored
<to be read again> 
                   \relax 
l.182 \label
            {prop:totally-bded-is-2nd-countable}

LaTeX Warning: Reference `thm:metrizable-separable-iff-2nd-countable' on page 1
 undefined on input line 192.

LaTeX Warning: Reference `lem:total-bded-criterion' on page 1 undefined on inpu
t line 194.

LaTeX Warning: Reference `prop:totally-bded-is-2nd-countable' on page 1 undefin
ed on input line 201.

LaTeX Warning: Reference `thm:cpt-via-nets' on page 1 undefined on input line 2
46.

[272]

LaTeX Warning: Reference `thm-condition:metrizable-cpt' on page 1 undefined on 
input line 287.

LaTeX Warning: Reference `thm-condition:countably-cpt' on page 1 undefined on i
nput line 287.

LaTeX Warning: Reference `thm-condition:sequences-cluster' on page 1 undefined 
on input line 287.

LaTeX Warning: Reference `thm-condition:sequentially-cpt' on page 1 undefined o
n input line 287.

LaTeX Warning: Reference `thm:in-1st-countable-seq-clusters-if-subseq-converges
' on page 1 undefined on input line 287.

LaTeX Warning: Reference `thm-condition:countably-cpt' on page 1 undefined on i
nput line 291.

LaTeX Warning: Reference `thm-condition:sequences-cluster' on page 1 undefined 
on input line 291.

LaTeX Warning: Reference `thm-condition:countably-cpt' on page 1 undefined on i
nput line 293.

LaTeX Warning: Reference `thm-condition:sequences-cluster' on page 1 undefined 
on input line 293.

LaTeX Warning: Reference `thm-condition:sequences-cluster' on page 1 undefined 
on input line 303.

LaTeX Warning: Reference `thm-condition:countably-cpt' on page 1 undefined on i
nput line 303.

LaTeX Warning: Reference `thm-condition:sequences-cluster' on page 1 undefined 
on input line 305.

LaTeX Warning: Reference `thm-condition:countably-cpt' on page 1 undefined on i
nput line 305.

Underfull \vbox (badness 1168) has occurred while \output is active [273]

LaTeX Warning: Reference `thm-condition:countably-cpt' on page 1 undefined on i
nput line 314.

LaTeX Warning: Reference `thm-condition:metrizable-cpt' on page 1 undefined on 
input line 314.

LaTeX Warning: Reference `thm-condition:countably-cpt' on page 1 undefined on i
nput line 314.

LaTeX Warning: Reference `thm-condition:metrizable-cpt' on page 1 undefined on 
input line 314.

LaTeX Warning: Reference `prop:cpt-metrizable-is-totally-bded' on page 1 undefi
ned on input line 316.

LaTeX Warning: Reference `thm:Lindelof' on page 274 undefined on input line 317
.

LaTeX Warning: Reference `lem:total-bded-criterion' on page 1 undefined on inpu
t line 319.

LaTeX Warning: Reference `thm-condition:sequences-cluster' on page 1 undefined 
on input line 331.

LaTeX Warning: Reference `thm-condition:countably-cpt' on page 1 undefined on i
nput line 331.

LaTeX Warning: Reference `WHAT' on page 1 undefined on input line 345.

LaTeX Warning: Reference `prob:a-sequentially-cpt-fn-space-not-cpt' on page 1 u
ndefined on input line 345.

LaTeX Warning: Reference `WHAT' on page 1 undefined on input line 347.

LaTeX Warning: Reference `thm:OmegaPlus-exists' on page 1 undefined on input li
ne 352.

[274]

LaTeX Warning: Reference `thm:metrizable-space-conditions-cpt' on page 1 undefi
ned on input line 382.

LaTeX Warning: Reference `prob:limit-pt' on page 1 undefined on input line 382.

pdfTeX warning (ext4): destination with the same identifier (name{definition.42
}) has been already used, duplicate ignored
<to be read again> 
                   \relax 
l.385 \label
            {def:limit-pt}pdfTeX warning (ext4): destination with the same iden
tifier (name{corollary.43}) has been already used, duplicate ignored
<to be read again> 
                   \relax 
l.394 \label
            {cor:limit-pt-in-cpt-metrizable}

LaTeX Warning: Reference `thm:metrizable-space-conditions-cpt' on page 1 undefi
ned on input line 405.

LaTeX Warning: Reference `thm:metrizable-space-conditions-cpt' on page 1 undefi
ned on input line 410.

LaTeX Warning: Reference `thm:Heine-Borel-thm' on page 275 undefined on input l
ine 428.

[275]

LaTeX Warning: Reference `thm:metrizable-space-conditions-cpt' on page 1 undefi
ned on input line 435.

LaTeX Warning: Reference `thm:Heine-Borel-thm' on page 1 undefined on input lin
e 475.

LaTeX Warning: Reference `thm:metrizable-space-conditions-cpt' on page 1 undefi
ned on input line 478.

LaTeX Warning: Reference `thm:cpt-iff-complete-and-totally-bded' on page 1 unde
fined on input line 481.

LaTeX Warning: Reference `thm:metrizable-space-conditions-cpt' on page 1 undefi
ned on input line 482.

LaTeX Warning: Reference `thm:tychonoff-finite-family' on page 1 undefined on i
nput line 502.

LaTeX Warning: Reference `prop:bded-metric-equiv-to-given' on page 1 undefined 
on input line 508.

[276]

LaTeX Warning: Reference `prob:unif-cont' on page 1 undefined on input line 543
.

[277]
Overfull \hbox (49.65659pt too wide) in paragraph at lines 660--662
[]\T1/hlh/m/n/10 (-20) [\T1/hlh/m/it/10 (-20) Hint: \T1/hlh/m/n/10 (-20) Form t
he col-lec-tion $\OMS/hlcy/m/n/10 f [] g$ \T1/hlh/m/n/10 (-20) where $\OML/hlcm
/m/it/10 E[] \OMS/hlcy/m/n/10 É f [] g$
) (./main/Compact/locallycompact.tex [278])) [279]
(./main/Connected/chapterConnected.tex [280]
(./main/Connected/connected-init.tex) (./main/Connected/connected.texpdfTeX war
ning (ext4): destination with the same identifier (name{definition.1}) has been
 already used, duplicate ignored
<to be read again> 
                   \relax 
l.12 \label
           {def:connected} [281]pdfTeX warning (ext4): destination with the sam
e identifier (name{lemma.4}) has been already used, duplicate ignored
<to be read again> 
                   \relax 
l.71 \label
           {lem:conn-in-open-closed-it-meets}

LaTeX Warning: Reference `lem:disconnected-criteria' on page 1 undefined on inp
ut line 81.

) (./main/Connected/components.texpdfTeX warning (ext4): destination with the s
ame identifier (name{definition.5}) has been already used, duplicate ignored
<to be read again> 
                   \relax 
l.15 \label
           {def:component} [282]

LaTeX Warning: Reference `cor:conn-set-in-unique-component' on page 1 undefined
 on input line 46.

LaTeX Warning: Reference `lem:conn-in-open-closed-it-meets' on page 1 undefined
 on input line 46.

LaTeX Warning: Reference `subsec:totally-disconnected' on page 1 undefined on i
nput line 53.

LaTeX Warning: Reference `thm:R-subspace-conn-iff-interval' on page 1 undefined
 on input line 58.

pdfTeX warning (ext4): destination with the same identifier (name{definition.8}
) has been already used, duplicate ignored
<to be read again> 
                   \relax 
l.76 \label
           {def:totally-disconnected} [283]pdfTeX warning (ext4): destination w
ith the same identifier (name{examples.9}) has been already used, duplicate ign
ored
<to be read again> 
                   \relax 
l.90 \label
           {ex:totally-disconnected}

LaTeX Warning: Reference `cref' on page 284 undefined on input line 98.

LaTeX Warning: Reference `ex:components' on page 1 undefined on input line 98.

LaTeX Warning: Reference `ex:Q-components' on page 1 undefined on input line 98
.

LaTeX Warning: Reference `ex:Cantor-K' on page 1 undefined on input line 107.

LaTeX Warning: Reference `chap:compact' on page 1 undefined on input line 108.

LaTeX Warning: Reference `ex:Cantor-K' on page 1 undefined on input line 108.

LaTeX Warning: Reference `thm:R-subspace-conn-iff-interval' on page 1 undefined
 on input line 110.

LaTeX Warning: Reference `ex:Cantor-K' on page 1 undefined on input line 116.

[284]) (./main/Connected/pathconnected.tex) (./main/Connected/homotopy.tex)
(./main/Connected/simplyconnected.tex [285])) [286]
(./main/Embedding/chapterEmbedding.tex (./main/Embedding/separation.tex)
(./main/Embedding/metrization.texpdfTeX warning (ext4): destination with the sa
me identifier (name{proposition.1}) has been already used, duplicate ignored
<to be read again> 
                   \relax 
l.12 
     pdfTeX warning (ext4): destination with the same identifier (name{namedthe
orem.2}) has been already used, duplicate ignored
<to be read again> 
                   \relax 
l.30 ...theorem}[name=Urysohn Metrization Theorem]
                                                   [287])) [288])
(./back/backmatter.tex (./back/exerciseguide.tex
Underfull \hbox (badness 1173) in paragraph at lines 23--23
[]|\T1/hlh/m/n/10 (+20) 2.99, 2.99, 2.99, 2.99, 2.99,

Underfull \hbox (badness 10000) in paragraph at lines 23--25
[]|\T1/hlh/m/n/10 (+20) pages 235--999,

Underfull \hbox (badness 1173) in paragraph at lines 27--27
[]|\T1/hlh/m/n/10 (+20) 2.99, 2.99, 2.99, 2.99, 2.99,

Underfull \hbox (badness 10000) in paragraph at lines 27--29
[]|\T1/hlh/m/n/10 (+20) pages 235--999,

Underfull \hbox (badness 1173) in paragraph at lines 31--31
[]|\T1/hlh/m/n/10 (+20) 2.99, 2.99, 2.99, 2.99, 2.99,

Underfull \hbox (badness 10000) in paragraph at lines 31--33
[]|\T1/hlh/m/n/10 (+20) pages 235--999,

Underfull \hbox (badness 1173) in paragraph at lines 35--35
[]|\T1/hlh/m/n/10 (+20) 2.99, 2.99, 2.99, 2.99, 2.99,

Underfull \hbox (badness 10000) in paragraph at lines 35--37
[]|\T1/hlh/m/n/10 (+20) pages 235--999,

Underfull \hbox (badness 1173) in paragraph at lines 39--39
[]|\T1/hlh/m/n/10 (+20) 2.99, 2.99, 2.99, 2.99, 2.99,

Underfull \hbox (badness 10000) in paragraph at lines 39--41
[]|\T1/hlh/m/n/10 (+20) pages 235--999,

Underfull \hbox (badness 1173) in paragraph at lines 42--42
[]|\T1/hlh/m/n/10 (+20) 2.99, 2.99, 2.99, 2.99, 2.99,

Underfull \hbox (badness 10000) in paragraph at lines 42--44
[]|\T1/hlh/m/n/10 (+20) pages 235--999,

Underfull \hbox (badness 1173) in paragraph at lines 46--46
[]|\T1/hlh/m/n/10 (+20) 2.99, 2.99, 2.99, 2.99, 2.99,

Underfull \hbox (badness 10000) in paragraph at lines 46--48
[]|\T1/hlh/m/n/10 (+20) pages 235--999,

Underfull \hbox (badness 1173) in paragraph at lines 50--50
[]|\T1/hlh/m/n/10 (+20) 2.99, 2.99, 2.99, 2.99, 2.99,

Underfull \hbox (badness 10000) in paragraph at lines 50--52
[]|\T1/hlh/m/n/10 (+20) pages 235--999,

Underfull \hbox (badness 1173) in paragraph at lines 54--54
[]|\T1/hlh/m/n/10 (+20) 2.99, 2.99, 2.99, 2.99, 2.99,

Underfull \hbox (badness 10000) in paragraph at lines 54--56
[]|\T1/hlh/m/n/10 (+20) pages 235--999,

Underfull \hbox (badness 1173) in paragraph at lines 58--58
[]|\T1/hlh/m/n/10 (+20) 2.99, 2.99, 2.99, 2.99, 2.99,

Underfull \hbox (badness 10000) in paragraph at lines 58--60
[]|\T1/hlh/m/n/10 (+20) pages 235--999,

Underfull \hbox (badness 1173) in paragraph at lines 62--62
[]|\T1/hlh/m/n/10 (+20) 2.99, 2.99, 2.99, 2.99, 2.99,

Underfull \hbox (badness 10000) in paragraph at lines 62--64
[]|\T1/hlh/m/n/10 (+20) pages 235--999,

Underfull \hbox (badness 1173) in paragraph at lines 66--66
[]|\T1/hlh/m/n/10 (+20) 2.99, 2.99, 2.99, 2.99, 2.99,

Underfull \hbox (badness 10000) in paragraph at lines 66--68
[]|\T1/hlh/m/n/10 (+20) pages 235--999,

Underfull \hbox (badness 1173) in paragraph at lines 70--70
[]|\T1/hlh/m/n/10 (+20) 2.99, 2.99, 2.99, 2.99, 2.99,

Underfull \hbox (badness 10000) in paragraph at lines 70--72
[]|\T1/hlh/m/n/10 (+20) pages 235--999,

Underfull \hbox (badness 1173) in paragraph at lines 74--74
[]|\T1/hlh/m/n/10 (+20) 2.99, 2.99, 2.99, 2.99, 2.99,

Underfull \hbox (badness 10000) in paragraph at lines 74--76
[]|\T1/hlh/m/n/10 (+20) pages 235--999,

Underfull \hbox (badness 1173) in paragraph at lines 78--78
[]|\T1/hlh/m/n/10 (+20) 2.99, 2.99, 2.99, 2.99, 2.99,

Underfull \hbox (badness 10000) in paragraph at lines 78--80
[]|\T1/hlh/m/n/10 (+20) pages 235--999,
[289] [290]) (./back/indexes.tex
No file topologybook.nls.
No file notation.gls.
No file names.ind.
No file topologybook.ind.
)) (./topologybook.aux
No file front/frontmatter.aux.
No file front/preface.aux.
(./main/SetsMaps/chapterSetsMaps.aux) (./main/MetricSpaces/chapterMetrics.aux)
(./main/TopologicalSpaces/chapterTopological.aux)
(./main/ContinuityConvergence/chapterContinuityConvergence.aux)
(./main/Compact/chapterCompact.aux) (./main/Connected/chapterConnected.aux)
(./main/Embedding/chapterEmbedding.aux) (./back/backmatter.aux))
Dependency list written on topologybook.dep.

Package rerunfilecheck Warning: File `topologybook.out' has changed.
(rerunfilecheck)                Rerun to get outlines right
(rerunfilecheck)                or use package `bookmark'.

LaTeX Warning: There were undefined references.

LaTeX Warning: Label(s) may have changed. Rerun to get cross-references right.

Package biblatex Warning: Please (re)run BibTeX on the file(s):
(biblatex)                topologybook
(biblatex)                and rerun LaTeX afterwards.

 )
(see the transcript file for additional information){/usr/local/texlive/2017/te
xmf-dist/fonts/enc/dvips/base/8r.enc}</Users/murray/Library/texmf/fonts/type1/b
h/lucida/lbd.pfb></Users/murray/Library/texmf/fonts/type1/bh/lucida/lbdi.pfb></
Users/murray/Library/texmf/fonts/type1/bh/lucida/lbi.pfb></Users/murray/Library
/texmf/fonts/type1/bh/lucida/lbma.pfb></Users/murray/Library/texmf/fonts/type1/
bh/lucida/lbme.pfb></Users/murray/Library/texmf/fonts/type1/bh/lucida/lbmo.pfb>
</Users/murray/Library/texmf/fonts/type1/bh/lucida/lbmr.pfb></Users/murray/Libr
ary/texmf/fonts/type1/bh/lucida/lbms.pfb></Users/murray/Library/texmf/fonts/typ
e1/bh/lucida/lbmsd.pfb></Users/murray/Library/texmf/fonts/type1/bh/lucida/lbr.p
fb></Users/murray/Library/texmf/fonts/type1/bh/lucida/lsd.pfb></Users/murray/Li
brary/texmf/fonts/type1/bh/lucida/lsdi.pfb></Users/murray/Library/texmf/fonts/t
ype1/bh/lucida/lsi.pfb></Users/murray/Library/texmf/fonts/type1/bh/lucida/lsr.p
fb></usr/local/texlive/2017/texmf-dist/fonts/type1/public/xypic/xyatip10.pfb></
usr/local/texlive/2017/texmf-dist/fonts/type1/public/xypic/xybtip10.pfb>
Output written on topologybook.pdf (294 pages, 1069203 bytes).
SyncTeX written on topologybook.synctex.gz.
Transcript written on topologybook.log.
Latexmk: Index file 'notation.idx' was written
Latexmk: Index file 'names.idx' was written
Latexmk: Index file 'topologybook.idx' was written
Latexmk: Non-existent bbl file 'topologybook.bbl'
 No file topologybook.bbl.
===========Latexmk: Missing input file: 'topologybook.nls' from line
  'No file topologybook.nls.'
Latexmk: Missing input file: 'topologybook.nls' from line
  'No file topologybook.nls.'
===========Latexmk: Missing input file: 'notation.gls' from line
  'No file notation.gls.'
Latexmk: Missing input file: 'notation.gls' from line
  'No file notation.gls.'
===========Latexmk: Missing input file: 'names.ind' from line
  'No file names.ind.'
Latexmk: Missing input file: 'names.ind' from line
  'No file names.ind.'
===========Latexmk: Missing input file: 'topologybook.ind' from line
  'No file topologybook.ind.'
Latexmk: Missing input file: 'topologybook.ind' from line
  'No file topologybook.ind.'
===========Latexmk: Missing input file: 'front/frontmatter.aux' from line
  'No file front/frontmatter.aux.'
Latexmk: Missing input file: 'front/frontmatter.aux' from line
  'No file front/frontmatter.aux.'
===========Latexmk: Missing input file: 'front/preface.aux' from line
  'No file front/preface.aux.'
Latexmk: Missing input file: 'front/preface.aux' from line
  'No file front/preface.aux.'
Latexmk: Log file says output to 'topologybook.pdf'
Latexmk: Couldn't find aux file 'front/frontmatter.aux'
Latexmk: Couldn't find aux file 'front/preface.aux'
=== TeX engine is 'pdfTeX'
Latexmk: Found bibliography file(s) [mytopologybook.bib mytopologyread.bib topologybook-blx.bib]
Latexmk: Summary of warnings:
  Latex failed to resolve 1135 reference(s)
  Latex failed to resolve 19 citation(s)
Rule 'cusdep nlo nls topologybook': File changes, etc:
   Changed files, or newly in use since previous run(s):
      'topologybook.nlo'
   Non-existent destination files:
      'topologybook.nls'
------------
Run number 1 of rule 'cusdep nlo nls topologybook'
------------
=== Creating rule for 'cusdep nlo nls topologybook'
Latexmk: applying rule 'cusdep nlo nls topologybook'...
For rule 'cusdep nlo nls topologybook', running '&do_cusdep( makenlo2nls )' ...
This is makeindex, version 2.15 [TeX Live 2017] (kpathsea + Thai support).
Scanning style file /usr/local/texlive/2017/texmf-dist/makeindex/nomencl/nomencl.ist..........done (10 attributes redefined, 3 ignored).
Scanning input file topologybook.nlo....done (140 entries accepted, 0 rejected).
Sorting entries....done (990 comparisons).
Generating output file topologybook.nls....done (293 lines written, 0 warnings).
Output written in topologybook.nls.
Transcript written in topologybook.ilg.
Rule 'makeindex topologybook.idx': File changes, etc:
   Changed files, or newly in use since previous run(s):
      'topologybook.idx'
   Non-existent destination files:
      'topologybook.ind'
------------
Run number 1 of rule 'makeindex topologybook.idx'
------------
------------
Running 'makeindex -s "topologybook".ist  -o "topologybook.ind" "topologybook.idx"'
------------
Latexmk: applying rule 'makeindex topologybook.idx'...
This is makeindex, version 2.15 [TeX Live 2017] (kpathsea + Thai support).
Scanning style file ./topologybook.ist......done (6 attributes redefined, 0 ignored).
Scanning input file topologybook.idx.....done (1105 entries accepted, 3 rejected).
Sorting entries...........done (11822 comparisons).
Generating output file topologybook.ind.....done (949 lines written, 147 warnings).
Output written in topologybook.ind.
Transcript written in topologybook.ilg.
Rule 'bibtex topologybook': File changes, etc:
   Changed files, or newly in use since previous run(s):
      'topologybook.aux'
   Non-existent destination files:
      'topologybook.bbl'
------------
Run number 1 of rule 'bibtex topologybook'
------------
------------
Running 'bibtex  "topologybook"'
------------
Latexmk: applying rule 'bibtex topologybook'...
For rule 'bibtex topologybook', running '&run_bibtex(  )' ...
This is BibTeX, Version 0.99d (TeX Live 2017)
The top-level auxiliary file: topologybook.aux
The style file: biblatex.bst
I couldn't open auxiliary file front/frontmatter.aux
---line 25 of file topologybook.aux
 : \@input{front/frontmatter.aux
 :                              }
I'm skipping whatever remains of this command
I couldn't open auxiliary file front/preface.aux
---line 39 of file topologybook.aux
 : \@input{front/preface.aux
 :                          }
I'm skipping whatever remains of this command
A level-1 auxiliary file: main/SetsMaps/chapterSetsMaps.aux
A level-1 auxiliary file: main/MetricSpaces/chapterMetrics.aux
A level-1 auxiliary file: main/TopologicalSpaces/chapterTopological.aux
A level-1 auxiliary file: main/ContinuityConvergence/chapterContinuityConvergence.aux
A level-1 auxiliary file: main/Compact/chapterCompact.aux
A level-1 auxiliary file: main/Connected/chapterConnected.aux
A level-1 auxiliary file: main/Embedding/chapterEmbedding.aux
A level-1 auxiliary file: back/backmatter.aux
Database file #1: topologybook-blx.bib
Database file #2: mytopologybook.bib
Database file #3: mytopologyread.bib
Biblatex version: 3.3
(There were 2 error messages)
Latexmk: One or more aux files is missing for bibtex. I'll try
          to get (pdf)latex to remake them.
Rule 'makeindex notation.idx': File changes, etc:
   Changed files, or newly in use since previous run(s):
      'notation.idx'
   Non-existent destination files:
      'notation.ind'
------------
Run number 1 of rule 'makeindex notation.idx'
------------
------------
Running 'makeindex -s "topologybook".ist  -o "notation.ind" "notation.idx"'
------------
Latexmk: applying rule 'makeindex notation.idx'...
This is makeindex, version 2.15 [TeX Live 2017] (kpathsea + Thai support).
Scanning style file ./topologybook.ist......done (6 attributes redefined, 0 ignored).
Scanning input file notation.idx...done (0 entries accepted, 0 rejected).
Nothing written in notation.ind.
Transcript written in notation.ilg.
Rule 'makeindex names.idx': File changes, etc:
   Changed files, or newly in use since previous run(s):
      'names.idx'
   Non-existent destination files:
      'names.ind'
------------
Run number 1 of rule 'makeindex names.idx'
------------
------------
Running 'makeindex -s "topologybook".ist  -o "names.ind" "names.idx"'
------------
Latexmk: applying rule 'makeindex names.idx'...
This is makeindex, version 2.15 [TeX Live 2017] (kpathsea + Thai support).
Scanning style file ./topologybook.ist......done (6 attributes redefined, 0 ignored).
Scanning input file names.idx....done (44 entries accepted, 0 rejected).
Sorting entries....done (249 comparisons).
Generating output file names.ind....done (100 lines written, 0 warnings).
Output written in names.ind.
Transcript written in names.ilg.
Rule 'pdflatex': File changes, etc:
   Changed files, or newly in use since previous run(s):
      'TopologyEd2metadata.xmpi'
      'back/backmatter.aux'
      'main/Compact/chapterCompact.aux'
      'main/Connected/chapterConnected.aux'
      'main/ContinuityConvergence/chapterContinuityConvergence.aux'
      'main/Embedding/chapterEmbedding.aux'
      'main/MetricSpaces/chapterMetrics.aux'
      'main/SetsMaps/chapterSetsMaps.aux'
      'main/TopologicalSpaces/chapterTopological.aux'
      'names.ind'
      'notation.ind'
      'topologybook.aux'
      'topologybook.bbl'
      'topologybook.ind'
      'topologybook.nls'
      'topologybook.out'
------------
Run number 2 of rule 'pdflatex'
------------
------------
Running 'pdflatex  --synctex=1 --file-line-error  -recorder  "topologybook.tex"'
------------
Latexmk: applying rule 'pdflatex'...
This is pdfTeX, Version 3.14159265-2.6-1.40.18 (TeX Live 2017) (preloaded format=pdflatex)
 restricted \write18 enabled.
entering extended mode
(./topologybook.tex
LaTeX2e <2017-04-15>
Babel <3.12> and hyphenation patterns for 84 language(s) loaded.
(/usr/local/texlive/2017/texmf-dist/tex/latex/snapshot/snapshot.sty)
(/usr/local/texlive/2017/texmf-dist/tex/latex/memoir/memoir.cls
Document Class: memoir 2016/05/16 v3.7f configurable book, report, article docu
ment class
(/usr/local/texlive/2017/texmf-dist/tex/generic/oberdiek/ifpdf.sty)
(/usr/local/texlive/2017/texmf-dist/tex/latex/ifetex/ifetex.sty
(/usr/local/texlive/2017/texmf-dist/tex/plain/ifetex/ifetex.tex))
(/usr/local/texlive/2017/texmf-dist/tex/generic/ifxetex/ifxetex.sty)
(/usr/local/texlive/2017/texmf-dist/tex/generic/oberdiek/ifluatex.sty)
(/usr/local/texlive/2017/texmf-dist/tex/latex/memoir/mem10.clo)
(/usr/local/texlive/2017/texmf-dist/tex/latex/memoir/mempatch.sty))
(/usr/local/texlive/2017/texmf-dist/tex/latex/base/ifthen.sty)
(./preamble/preamble.tex (./preamble/packages.sty
(/usr/local/texlive/2017/texmf-dist/tex/latex/csquotes/csquotes.sty
(/usr/local/texlive/2017/texmf-dist/tex/latex/etoolbox/etoolbox.sty)
(/usr/local/texlive/2017/texmf-dist/tex/latex/graphics/keyval.sty)
(/usr/local/texlive/2017/texmf-dist/tex/latex/csquotes/csquotes.def)
(/usr/local/texlive/2017/texmf-dist/tex/latex/csquotes/csquotes.cfg))
(/usr/local/texlive/2017/texmf-dist/tex/latex/amsmath/amsmath.sty
For additional information on amsmath, use the `?' option.
(/usr/local/texlive/2017/texmf-dist/tex/latex/amsmath/amstext.sty
(/usr/local/texlive/2017/texmf-dist/tex/latex/amsmath/amsgen.sty))
(/usr/local/texlive/2017/texmf-dist/tex/latex/amsmath/amsbsy.sty)
(/usr/local/texlive/2017/texmf-dist/tex/latex/amsmath/amsopn.sty))
(/usr/local/texlive/2017/texmf-dist/tex/latex/amscls/amsthm.sty)
(/usr/local/texlive/2017/texmf-dist/tex/latex/l3packages/xfrac/xfrac.sty
(/usr/local/texlive/2017/texmf-dist/tex/latex/l3kernel/expl3.sty
(/usr/local/texlive/2017/texmf-dist/tex/latex/l3kernel/expl3-code.tex)
(/usr/local/texlive/2017/texmf-dist/tex/latex/l3kernel/l3pdfmode.def))
(/usr/local/texlive/2017/texmf-dist/tex/latex/graphics/graphicx.sty
(/usr/local/texlive/2017/texmf-dist/tex/latex/graphics/graphics.sty
(/usr/local/texlive/2017/texmf-dist/tex/latex/graphics/trig.sty)
(/usr/local/texlive/2017/texmf-dist/tex/latex/graphics-cfg/graphics.cfg)
(/usr/local/texlive/2017/texmf-dist/tex/latex/graphics-def/pdftex.def)))
(/usr/local/texlive/2017/texmf-dist/tex/latex/l3packages/l3keys2e/l3keys2e.sty)
 (/usr/local/texlive/2017/texmf-dist/tex/latex/base/textcomp.sty
(/usr/local/texlive/2017/texmf-dist/tex/latex/base/ts1enc.def))
(/usr/local/texlive/2017/texmf-dist/tex/latex/l3packages/xparse/xparse.sty)
(/usr/local/texlive/2017/texmf-dist/tex/latex/l3packages/xtemplate/xtemplate.st
y)) (/usr/local/texlive/2017/texmf-dist/tex/latex/moresize/moresize.sty)
(/usr/local/texlive/2017/texmf-dist/tex/latex/enumitem/enumitem.sty)
(/usr/local/texlive/2017/texmf-dist/tex/latex/tools/multicol.sty)
(/usr/local/texlive/2017/texmf-dist/tex/latex/tools/longtable.sty)
(/usr/local/texlive/2017/texmf-dist/tex/latex/tools/calc.sty)
(/usr/local/texlive/2017/texmf-dist/tex/generic/xstring/xstring.sty
(/usr/local/texlive/2017/texmf-dist/tex/generic/xstring/xstring.tex))
(/usr/local/texlive/2017/texmf-dist/tex/latex/xpatch/xpatch.sty)
(/usr/local/texlive/2017/texmf-dist/tex/latex/bigfoot/suffix.sty)
(/usr/local/texlive/2017/texmf-dist/tex/latex/xcolor/xcolor.sty
(/usr/local/texlive/2017/texmf-dist/tex/latex/graphics-cfg/color.cfg)
(/usr/local/texlive/2017/texmf-dist/tex/latex/graphics/dvipsnam.def))
(/usr/local/texlive/2017/texmf-dist/tex/latex/pict2e/pict2e.sty
(/usr/local/texlive/2017/texmf-dist/tex/latex/pict2e/pict2e.cfg)
(/usr/local/texlive/2017/texmf-dist/tex/latex/pict2e/p2e-pdftex.def))
(/usr/local/texlive/2017/texmf-dist/tex/latex/tikz-cd/tikz-cd.sty
(/usr/local/texlive/2017/texmf-dist/tex/latex/pgf/frontendlayer/tikz.sty
(/usr/local/texlive/2017/texmf-dist/tex/latex/pgf/basiclayer/pgf.sty
(/usr/local/texlive/2017/texmf-dist/tex/latex/pgf/utilities/pgfrcs.sty
(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/utilities/pgfutil-common.te
x
(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/utilities/pgfutil-common-li
sts.tex))
(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/utilities/pgfutil-latex.def
(/usr/local/texlive/2017/texmf-dist/tex/latex/ms/everyshi.sty))
(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/utilities/pgfrcs.code.tex))
(/usr/local/texlive/2017/texmf-dist/tex/latex/pgf/basiclayer/pgfcore.sty
(/usr/local/texlive/2017/texmf-dist/tex/latex/pgf/systemlayer/pgfsys.sty
(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/systemlayer/pgfsys.code.tex
(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/utilities/pgfkeys.code.tex
(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/utilities/pgfkeysfiltered.c
ode.tex))
(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/systemlayer/pgf.cfg)
(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-pdftex.d
ef
(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-common-p
df.def)))
(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/systemlayer/pgfsyssoftpath.
code.tex)
(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/systemlayer/pgfsysprotocol.
code.tex))
(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/basiclayer/pgfcore.code.tex
(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex
(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/math/pgfmathcalc.code.tex
(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/math/pgfmathutil.code.tex)
(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/math/pgfmathparser.code.tex
)
(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.code.
tex
(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.basic
.code.tex)
(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.trigo
nometric.code.tex)
(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.rando
m.code.tex)
(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.compa
rison.code.tex)
(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.base.
code.tex)
(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.round
.code.tex)
(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.misc.
code.tex)
(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.integ
erarithmetics.code.tex)))
(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/math/pgfmathfloat.code.tex)
)
(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepoints.co
de.tex)
(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathconst
ruct.code.tex)
(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathusage
.code.tex)
(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/basiclayer/pgfcorescopes.co
de.tex)
(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/basiclayer/pgfcoregraphicst
ate.code.tex)
(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretransform
ations.code.tex)
(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/basiclayer/pgfcorequick.cod
e.tex)
(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreobjects.c
ode.tex)
(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathproce
ssing.code.tex)
(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/basiclayer/pgfcorearrows.co
de.tex)
(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreshade.cod
e.tex)
(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreimage.cod
e.tex
(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreexternal.
code.tex))
(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/basiclayer/pgfcorelayers.co
de.tex)
(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretranspare
ncy.code.tex)
(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepatterns.
code.tex)))
(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/modules/pgfmoduleshapes.cod
e.tex)
(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/modules/pgfmoduleplot.code.
tex)
(/usr/local/texlive/2017/texmf-dist/tex/latex/pgf/compatibility/pgfcomp-version
-0-65.sty)
(/usr/local/texlive/2017/texmf-dist/tex/latex/pgf/compatibility/pgfcomp-version
-1-18.sty))
(/usr/local/texlive/2017/texmf-dist/tex/latex/pgf/utilities/pgffor.sty
(/usr/local/texlive/2017/texmf-dist/tex/latex/pgf/utilities/pgfkeys.sty
(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/utilities/pgfkeys.code.tex)
) (/usr/local/texlive/2017/texmf-dist/tex/latex/pgf/math/pgfmath.sty
(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex))
(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/utilities/pgffor.code.tex
(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex)))
(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/frontendlayer/tikz/tikz.cod
e.tex
(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/libraries/pgflibraryplothan
dlers.code.tex)
(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/modules/pgfmodulematrix.cod
e.tex)
(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/frontendlayer/tikz/librarie
s/tikzlibrarytopaths.code.tex)))
(/usr/local/texlive/2017/texmf-dist/tex/generic/tikz-cd/tikzlibrarycd.code.tex
(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/frontendlayer/tikz/librarie
s/tikzlibrarymatrix.code.tex)
(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/frontendlayer/tikz/librarie
s/tikzlibraryquotes.code.tex)
(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/libraries/pgflibraryarrows.
meta.code.tex)))
(/usr/local/texlive/2017/texmf-dist/tex/latex/lipsum/lipsum.sty))
(./preamble/fonts.sty
(/usr/local/texlive/2017/texmf-dist/tex/latex/base/fontenc.sty
(/usr/local/texlive/2017/texmf-dist/tex/latex/cyrillic/ot2enc.def)
(/usr/local/texlive/2017/texmf-dist/tex/latex/base/t1enc.def))
(/Users/murray/Library/texmf/tex/latex/lucimatx/lucimatx.sty)
(/usr/local/texlive/2017/texmf-dist/tex/latex/tools/bm.sty)
(/Users/murray/Library/texmf/tex/latex/my/mymath.sty
(/usr/local/texlive/2017/texmf-dist/tex/latex/mathtools/mathtools.sty
(/usr/local/texlive/2017/texmf-dist/tex/latex/mathtools/mhsetup.sty))
(/usr/local/texlive/2017/texmf-dist/tex/latex/oberdiek/centernot.sty)
(/usr/local/texlive/2017/texmf-dist/tex/latex/scalerel/scalerel.sty)
(/Users/murray/Library/texmf/tex/latex/my/mywidebar.sty)
(/Users/murray/Library/texmf/tex/latex/my/myaccents.sty)
>>> Using mymath variant defs for Lucida Bright.
>>> Using mymath variant defs for Lucida Bright.
) (/Users/murray/Library/texmf/tex/generic/diagxy/diagxy.sty
(/usr/local/texlive/2017/texmf-dist/tex/generic/xypic/xy.tex Bootstrap'ing:
catcodes, docmode,
(/usr/local/texlive/2017/texmf-dist/tex/generic/xypic/xyrecat.tex)
(/usr/local/texlive/2017/texmf-dist/tex/generic/xypic/xyidioms.tex)

 Xy-pic version 3.8.9 <2013/10/06>
 Copyright (c) 1991-2013 by Kristoffer H. Rose <krisrose at tug.org> and others
 Xy-pic is free software: see the User's Guide for details.

Loading kernel: messages; fonts; allocations: state, direction,
utility macros; pictures: \xy, positions, objects, decorations;
kernel objects: directionals, circles, text; options; algorithms: directions,
edges, connections;  Xy-pic loaded)
(/usr/local/texlive/2017/texmf-dist/tex/generic/xypic/xyarrow.tex
 Xy-pic option: Arrow and Path feature v.3.9 path, \ar, loaded)
(/usr/local/texlive/2017/texmf-dist/tex/generic/xypic/xycurve.tex
 Xy-pic option: Curve and Spline extension v.3.12 curve, circles, loaded)
(/Users/murray/Library/texmf/tex/latex/lucida/t1hlh.fd))) (./preamble/style.sty

******************************************************
Stock height and width: 794.96999pt by 614.295pt
Top and edge trims: 0pt and 0pt
Page height and width: 663pt by 456pt
Text height and width: 538pt by 336pt
Spine and edge margins: 60pt and 60pt
Upper and lower margins: 67.5pt and 57.5pt
Headheight and headsep: 12pt and 18.06749pt
Footskip: 25.29494pt
Columnsep and columnseprule: 10pt and 0pt
Marginparsep and marginparwidth: 7pt and 46pt
Sidecapsep and sidecapwidth: 7pt and 128pt
Sidebarhsep and sidebarwidth: 7pt and 128pt
Sidebarvsep and sidebartopsep: 12pt and 0pt
Sidebarheight: 548.39996pt
Sidefoothsep and sidefootwidth: 7pt and 128pt
Sidefootvsep and sidefootheight: 12pt and 548.39996pt
******************************************************

(/Users/murray/Library/texmf/tex/latex/lucida/t1hls.fd))
(./preamble/mathdefs.sty
(/usr/local/texlive/2017/texmf-dist/tex/latex/mathtools/empheq.sty)
(/usr/local/texlive/2017/texmf-dist/tex/latex/thmtools/thmtools.sty
(/usr/local/texlive/2017/texmf-dist/tex/latex/thmtools/thm-patch.sty
(/usr/local/texlive/2017/texmf-dist/tex/latex/thmtools/parseargs.sty))
(/usr/local/texlive/2017/texmf-dist/tex/latex/thmtools/thm-kv.sty
(/usr/local/texlive/2017/texmf-dist/tex/generic/oberdiek/kvsetkeys.sty
(/usr/local/texlive/2017/texmf-dist/tex/generic/oberdiek/infwarerr.sty)
(/usr/local/texlive/2017/texmf-dist/tex/generic/oberdiek/etexcmds.sty)))
(/usr/local/texlive/2017/texmf-dist/tex/latex/thmtools/thm-autoref.sty
(/usr/local/texlive/2017/texmf-dist/tex/latex/thmtools/aliasctr.sty
(/usr/local/texlive/2017/texmf-dist/tex/latex/carlisle/remreset.sty)))
(/usr/local/texlive/2017/texmf-dist/tex/latex/thmtools/thm-listof.sty)
(/usr/local/texlive/2017/texmf-dist/tex/latex/thmtools/thm-restate.sty)
(/usr/local/texlive/2017/texmf-dist/tex/latex/thmtools/thm-amsthm.sty))
****************************************
>>> Made patch specific for amsthm.
****************************************
) (./preamble/links.sty
(/usr/local/texlive/2017/texmf-dist/tex/latex/biblatex/biblatex.sty
(/usr/local/texlive/2017/texmf-dist/tex/generic/oberdiek/pdftexcmds.sty
(/usr/local/texlive/2017/texmf-dist/tex/generic/oberdiek/ltxcmds.sty))
(/usr/local/texlive/2017/texmf-dist/tex/latex/oberdiek/kvoptions.sty)
(/usr/local/texlive/2017/texmf-dist/tex/latex/logreq/logreq.sty
(/usr/local/texlive/2017/texmf-dist/tex/latex/logreq/logreq.def))
(/usr/local/texlive/2017/texmf-dist/tex/latex/url/url.sty)
(/usr/local/texlive/2017/texmf-dist/tex/latex/biblatex/blx-dm.def)
(/usr/local/texlive/2017/texmf-dist/tex/latex/biblatex/blx-compat.def)
(/usr/local/texlive/2017/texmf-dist/tex/latex/biblatex/blx-bibtex.def

Package biblatex Warning: Using fall-back BibTeX(8) backend:
(biblatex)                functionality may be reduced/unavailable.

) (/usr/local/texlive/2017/texmf-dist/tex/latex/biblatex/biblatex.def)
(/Users/murray/Library/texmf/tex/latex/biblatex/bbx/mybooknumeric.bbx
(/usr/local/texlive/2017/texmf-dist/tex/latex/biblatex/bbx/standard.bbx)
(/usr/local/texlive/2017/texmf-dist/tex/latex/biblatex/bbx/numeric.bbx))
(/usr/local/texlive/2017/texmf-dist/tex/latex/biblatex/cbx/numeric.cbx)
(./biblatex.cfg))
(/usr/local/texlive/2017/texmf-dist/tex/latex/nomencl/nomencl.sty
Using the configuration file nomencl.cfg
(./nomencl.cfg))
(/usr/local/texlive/2017/texmf-dist/tex/latex/repeatindex/repeatindex.sty
(/usr/local/texlive/2017/texmf-dist/tex/latex/tools/afterpage.sty))
(/usr/local/texlive/2017/texmf-dist/tex/latex/hyperref/hyperref.sty
(/usr/local/texlive/2017/texmf-dist/tex/generic/oberdiek/hobsub-hyperref.sty
(/usr/local/texlive/2017/texmf-dist/tex/generic/oberdiek/hobsub-generic.sty))
(/usr/local/texlive/2017/texmf-dist/tex/latex/oberdiek/auxhook.sty)
(/usr/local/texlive/2017/texmf-dist/tex/latex/hyperref/pd1enc.def)
(/usr/local/texlive/2017/texmf-dist/tex/latex/latexconfig/hyperref.cfg))
(/usr/local/texlive/2017/texmf-dist/tex/latex/memoir/memhfixc.sty)

Package hyperref Message: Driver (autodetected): hpdftex.

(/usr/local/texlive/2017/texmf-dist/tex/latex/hyperref/hpdftex.def
(/usr/local/texlive/2017/texmf-dist/tex/latex/oberdiek/rerunfilecheck.sty))

Package hyperref Warning: Option `pdftex' has already been used,
(hyperref)                setting the option has no effect on input line 107.

(/usr/local/texlive/2017/texmf-dist/tex/latex/xmpincl/xmpincl.sty)<<TopologyEd2
metadata.xmpi>>
(/usr/local/texlive/2017/texmf-dist/tex/latex/hyperxmp/hyperxmp.sty
(/usr/local/texlive/2017/texmf-dist/tex/generic/oberdiek/stringenc.sty))
(/usr/local/texlive/2017/texmf-dist/tex/latex/doclicense/doclicense.sty
(/usr/local/texlive/2017/texmf-dist/tex/latex/xifthen/xifthen.sty)
(/usr/local/texlive/2017/texmf-dist/tex/latex/tools/xspace.sty)
(/usr/local/texlive/2017/texmf-dist/tex/latex/doclicense/doclicense-english.ldf
)) (/usr/local/texlive/2017/texmf-dist/tex/latex/oberdiek/aliascnt.sty)
(/usr/local/texlive/2017/texmf-dist/tex/latex/cleveref/cleveref.sty))
(./preamble/labels.sty
(/usr/local/texlive/2017/texmf-dist/tex/latex/showlabels/showlabels.sty
Package: `showlabels' v1.8 <2016/06/09>
with amsmath equation tags
))) (/usr/local/texlive/2017/texmf-dist/tex/latex/microtype/microtype.sty
(/usr/local/texlive/2017/texmf-dist/tex/latex/microtype/microtype-pdftex.def)
(/usr/local/texlive/2017/texmf-dist/tex/latex/microtype/microtype.cfg))
Writing nomenclature file topologybook.nlo
Writing index file notation.idx 
Writing index file names.idx 
Writing index file topologybook.idx 
(/Users/murray/Library/texmf/tex/latex/biblatex/lbx/mylanguagestrings.lbx
(/usr/local/texlive/2017/texmf-dist/tex/latex/biblatex/lbx/english.lbx))
(/usr/local/texlive/2017/texmf-dist/tex/latex/ccicons/ccicons.sty
(/usr/local/texlive/2017/texmf-dist/tex/latex/xkeyval/xkeyval.sty
(/usr/local/texlive/2017/texmf-dist/tex/generic/xkeyval/xkeyval.tex
(/usr/local/texlive/2017/texmf-dist/tex/generic/xkeyval/xkvutils.tex))))
(./topologybook.aux
No file front/frontmatter.aux.
No file front/preface.aux.
(./main/SetsMaps/chapterSetsMaps.aux) (./main/MetricSpaces/chapterMetrics.aux)
(./main/TopologicalSpaces/chapterTopological.aux)
(./main/ContinuityConvergence/chapterContinuityConvergence.aux)
(./main/Compact/chapterCompact.aux) (./main/Connected/chapterConnected.aux)
(./main/Embedding/chapterEmbedding.aux) (./back/backmatter.aux))
(/usr/local/texlive/2017/texmf-dist/tex/latex/base/ts1cmr.fd)
(/usr/local/texlive/2017/texmf-dist/tex/latex/cyrillic/ot2cmr.fd)
(/usr/local/texlive/2017/texmf-dist/tex/context/base/mkii/supp-pdf.mkii
[Loading MPS to PDF converter (version 2006.09.02).]
) (/usr/local/texlive/2017/texmf-dist/tex/latex/oberdiek/epstopdf-base.sty
(/usr/local/texlive/2017/texmf-dist/tex/latex/oberdiek/grfext.sty)
(/usr/local/texlive/2017/texmf-dist/tex/latex/latexconfig/epstopdf-sys.cfg))
ABD: EveryShipout initializing macros (./topologybook.bbl

Package biblatex Warning: Biber reported the following issues
(biblatex)                with 'Bernays1991':
(biblatex)                - Can't use 'location' + 'address'.

Package biblatex Warning: Biber reported the following issues
(biblatex)                with 'KConradIsometries':
(biblatex)                - Invalid format of field 'urldate'.

Package biblatex Warning: Biber reported the following issues
(biblatex)                with 'ChrisCooperIsometries':
(biblatex)                - Invalid format of field 'urldate'.

Package biblatex Warning: Biber reported the following issues
(biblatex)                with 'ChrisCooperIsometries3D':
(biblatex)                - Invalid format of field 'urldate'.

Package biblatex Warning: Biber reported the following issues
(biblatex)                with 'GaillardZorn2017':
(biblatex)                - Invalid format of field 'urldate'.

Package biblatex Warning: Biber reported the following issues
(biblatex)                with 'GraysonZorn2007':
(biblatex)                - Invalid format of field 'urldate'.

) (/usr/local/texlive/2017/texmf-dist/tex/latex/hyperref/nameref.sty
(/usr/local/texlive/2017/texmf-dist/tex/generic/oberdiek/gettitlestring.sty))
Redoing nameref's sectioning
Redoing nameref's label
(./topologybook.out) (./topologybook.out)
(/usr/local/texlive/2017/texmf-dist/tex/generic/oberdiek/se-pdfdoc.def)
(/usr/local/texlive/2017/texmf-dist/tex/generic/oberdiek/se-utf8.def)
(./topologybook.toc [1{/Users/murray/Library/texlive/2017/texmf-var/fonts/map/p
dftex/updmap/pdftex.map}]) [2] (./topologybook.toc [3] [4] [5]) [6]
(./main/mainmatter.tex (./main/SetsMaps/chapterSetsMaps.tex
(./main/SetsMaps/setsmaps-init.tex) (./main/SetsMaps/logic.tex
Underfull \vbox (badness 10000) has occurred while \output is active [1])
(./main/SetsMaps/sets.tex [2] [3] [4] [5] [6]
(/Users/murray/Library/texmf/tex/latex/lucidabr/omshlh.fd) [7] [8] [9] [10]
[11] [12]
Overfull \hbox (38.67267pt too wide) in paragraph at lines 733--734
\T1/hlh/m/n/10 (-20) verse re-la-tion $[]$ is \T1/hlh/m/it/10 (-20) not \T1/hlh
/m/n/10 (-20) func-tional be-cause the set $\OMS/hlcy/m/n/10 f [] g$
[13] [14]) (./main/SetsMaps/maps.tex [15] [16] [17] [18] [19] [20] [21]
[22] [23] [24] [25] [26] [27] [28]
Overfull \hbox (1.20296pt too wide) in paragraph at lines 934--935
[]\T1/hlh/m/n/10 (-20) In examples ([][]*[][]) of the subsection ``Injections, 
surjections, and bijections''
[29] [30] [31]) (./main/SetsMaps/families.tex

Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding):
(hyperref)                removing `math shift' on input line 48.

[32]

Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding):
(hyperref)                removing `math shift' on input line 116.

[33] [34] [35] [36]
Overfull \hbox (0.7854pt too wide) in paragraph at lines 368--369
[]\T1/hlh/m/n/10 (-20) The union and in-ter-sec-tion of two sets in the sense o
f sub-sec-tion ``Union

Overfull \hbox (10.96655pt too wide) in paragraph at lines 372--374
\T1/hlh/m/n/10 (-20) Moreover, the for-mu-las in-volv-ing union and in-ter-sec-
tion in sub-sec-tion ``Union
[37] [38] [39] [40] [41] [42] [43] [44]
Overfull \hbox (2.57535pt too wide) in paragraph at lines 909--910
[]\T1/hlh/m/n/10 (-20) Let $\OML/hlcm/m/it/10 n$ \T1/hlh/m/n/10 (-20) be a pos-
i-tive in-te-ger and let $\OML/hlcm/m/it/10 ÑX[]Ö[]$ \T1/hlh/m/n/10 (-20) be a 
fam-ily of \T1/hlh/m/it/10 (-20) nonempty
[45]) (./main/SetsMaps/recursion.tex [46] [47] [48] [49] [50] [51] [52])
(./main/SetsMaps/countable.tex [53]
Overfull \hbox (3.3389pt too wide) in paragraph at lines 84--88
\T1/hlh/m/n/10 (-20) Hence the map ob-tained from $\OML/hlcm/m/it/10 h[]$ \T1/h
lh/m/n/10 (-20) by re-strict-ing its do-main to $\OMS/hlcy/m/n/10 f\T1/hlh/m/n/
10 (-20) 1\OML/hlcm/m/it/10 ; \T1/hlh/m/n/10 (-20) 2\OML/hlcm/m/it/10 ; [] ; n;
 n \OMS/hlcy/m/n/10 Ç
[54]
Overfull \hbox (10.72176pt too wide) in paragraph at lines 152--155
[]\T1/hlh/m/n/10 (-20) Now let $\OML/hlcm/m/it/10 n \OMS/hlcy/m/n/10 ^^U \T1/hl
h/m/n/10 (-20) 1$ and as-sume that each sub-set of $\OMS/hlcy/m/n/10 f\T1/hlh/m
/n/10 (-20) 1\OML/hlcm/m/it/10 ; \T1/hlh/m/n/10 (-20) 2\OML/hlcm/m/it/10 ; [] ;
 n\OMS/hlcy/m/n/10 g$
[55] [56] [57] [58] [59] [60] [61] [62] [63]) (./main/SetsMaps/ordering.tex
[64] [65] [66] [67] [68] [69] [70] [71] [72] [73] [74] [75] [76] [77] [78]
[79]) (./main/SetsMaps/ordercomplete.tex [80] [81] [82] [83])
(./main/SetsMaps/equivrel.tex [84]) (./main/SetsMaps/well-ordering.tex [85]
[86] [87] [88]

Package thmtools Warning: Unused key `refname' on input line 300.

[89] [90] [91] [92]

Package thmtools Warning: Unused key `refname' on input line 619.

[93]
Overfull \hbox (5.15701pt too wide) in paragraph at lines 727--728
[]\T1/hlh/m/n/10 (-20) The pre-ced-ing proof is a typ-i-cal pro-ce-dure for ap-
ply-ing Zorn's Lemma.To
[94] [95])) [96] (./main/MetricSpaces/chapterMetrics.tex
(./main/MetricSpaces/metrics-init.tex) (./main/MetricSpaces/metrics.tex
[97]
Overfull \hbox (5.58485pt too wide) in paragraph at lines 79--79
[] 
[98] [99] [100] [101] [102]

Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding):
(hyperref)                removing `math shift' on input line 364.

Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding):
(hyperref)                removing `superscript' on input line 364.

Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding):
(hyperref)                removing `math shift' on input line 364.

[103]pdfTeX warning (ext4): destination with the same identifier (name{definiti
on.6}) has been already used, duplicate ignored
<to be read again> 
                   \relax 
l.384 \label
            {def:taxicab-metric} [104] [105]
(/Users/murray/Library/texmf/tex/latex/lucida/ts1hlh.fd) [106] [107]
Overfull \hbox (9.80023pt too wide) in paragraph at lines 624--625
[]\T1/hls/b/n/10 1.9 Ex-am-ple. []\T1/hlh/m/n/10 (-20) Again let $\OML/hlcm/m/i
t/10 X$ \T1/hlh/m/n/10 (-20) be the set of all con-tin-u-ous func-tions $\OML/h
lcm/m/it/10 x [] [] Ü\T1/hlh/m/n/10 (-20) 0\OML/hlcm/m/it/10 ; \T1/hlh/m/n/10 (
-20) 1\OML/hlcm/m/it/10 á [] \LMR/hlcm/m/n/10 R$\T1/hlh/m/n/10 (-20) .
[108] [109] [110] [111] [112] [113] [114]
Overfull \hbox (1.90543pt too wide) in paragraph at lines 1092--1093
[]\T1/hlh/m/n/10 (-20) Are the taxi-cab and max met-rics on $\LMR/hlcm/m/n/10 R
[]$ \T1/hlh/m/n/10 (-20) also translation-invariant?
[115] [116] [117] [118]) (./main/MetricSpaces/openclosed.tex [119] [120]
[121] [122] [123] [124] [125] [126] [127] [128] [129] [130]
Underfull \vbox (badness 2846) has occurred while \output is active [131]
[132] [133] [134]pdfTeX warning (ext4): destination with the same identifier (n
ame{corollary.26}) has been already used, duplicate ignored
<to be read again> 
                   \relax 
l.864 \label
            {cor:separate-pts-in-metric} [135] [136] [137] [138] [139] [140])
(./main/MetricSpaces/equivalent.texpdfTeX warning (ext4): destination with the 
same identifier (name{proposition.33}) has been already used, duplicate ignored

<to be read again> 
                   \relax 
l.31 \label
           {prop:equiv-metrics-via-balls} [141]pdfTeX warning (ext4): destinati
on with the same identifier (name{proposition.34}) has been already used, dupli
cate ignored
<to be read again> 
                   \relax 
l.68 \label
           {prop:d-and-dmax-equiv} [142]
Underfull \vbox (badness 1454) has occurred while \output is active [143]
[144]pdfTeX warning (ext4): destination with the same identifier (name{proposit
ion.38}) has been already used, duplicate ignored
<to be read again> 
                   \relax 
l.250 \label
            {prop:bded-metric-equiv-to-given} [145] [146] [147] [148] [149]
[150]pdfTeX warning (ext4): destination with the same identifier (name{definiti
on.43}) has been already used, duplicate ignored
<to be read again> 
                   \relax 
l.582 \label
            {def:isometry} [151]pdfTeX warning (ext4): destination with the sam
e identifier (name{examples.44}) has been already used, duplicate ignored
<to be read again> 
                   \relax 
l.610 \label
            {ex:isometries}
Overfull \hbox (25.85425pt too wide) detected at line 643
[]
[152]
Overfull \hbox (10.61795pt too wide) detected at line 746
\OML/hlcm/m/it/10 d[]Ñy[]; y[]Ö \OMS/hlcy/m/n/10 É \OML/hlcm/m/it/10 d[][]fÑx[]
Ö; fÑx[]Ö[] \OMS/hlcy/m/n/10 É \OML/hlcm/m/it/10 dÑx[]; x[]Ö \OMS/hlcy/m/n/10 É
 \OML/hlcm/m/it/10 d[]f[]Ñy[]Ö; f[]Ñy[]Ö[]: []
[153]pdfTeX warning (ext4): destination with the same identifier (name{definiti
on.46}) has been already used, duplicate ignored
<to be read again> 
                   \relax 
l.765 \label
            {def:top-equiv-metric-spaces}pdfTeX warning (ext4): destination wit
h the same identifier (name{examples.47}) has been already used, duplicate igno
red
<to be read again> 
                   \relax 
l.786 \label
            {ex:top-equiv-metric-spaces} [154]
Overfull \hbox (16.05836pt too wide) in paragraph at lines 831--832
[]\T1/hlh/m/n/10 (-20) The met-ric space $\OML/hlcm/m/it/10 ÑÜ\T1/hlh/m/n/10 (-
20) 0\OML/hlcm/m/it/10 ; cá; dÖ$ \T1/hlh/m/n/10 (-20) is topo-log-i-cally equiv
-a-lent to $\OML/hlcm/m/it/10 ÑÜa; bá; d[]Ö$\T1/hlh/m/n/10 (-20) .

Overfull \hbox (25.11824pt too wide) in paragraph at lines 843--846
\T1/hlh/m/n/10 (-20) ---the com-pos-ite of a trans-la-tion fol-lowed by a di-la
-tion or contraction---
[155] [156]
Overfull \hbox (0.39265pt too wide) in paragraph at lines 993--995
[]\T1/hlh/m/n/10 (-20) Let $\OMS/hlcy/m/n/10 F$ \T1/hlh/m/n/10 (-20) be the col
-lec-tion of all nonempty $\OML/hlcm/m/it/10 d$\T1/hlh/m/n/10 (-20) -closed sub
-sets of a bounded
[157] [158]) (./main/MetricSpaces/contconv.texpdfTeX warning (ext4): destinatio
n with the same identifier (name{definition.49}) has been already used, duplica
te ignored
<to be read again> 
                   \relax 
l.20 \label
           {def:cont-metric} [159]pdfTeX warning (ext4): destination with the s
ame identifier (name{examples.50}) has been already used, duplicate ignored
<to be read again> 
                   \relax 
l.51 \label
           {ex:cont-metric} [160] [161]
Overfull \hbox (5.56319pt too wide) in paragraph at lines 181--181
[] 
[162]
Overfull \hbox (21.48416pt too wide) in paragraph at lines 222--223
[]\T1/hlh/m/it/10 (-20) For each $\OML/hlcm/m/it/10 d[]$\T1/hlh/m/it/10 (-20) -
neighborhood $\OML/hlcm/m/it/10 N$ \T1/hlh/m/it/10 (-20) of $\OML/hlcm/m/it/10 
fÑxÖ$ \T1/hlh/m/it/10 (-20) in $\OML/hlcm/m/it/10 Y$ \T1/hlh/m/it/10 (-20) ther
e ex-ists some $\OML/hlcm/m/it/10 d$\T1/hlh/m/it/10 (-20) -neighborhood
[163]
Overfull \hbox (8.2688pt too wide) in paragraph at lines 288--293
[]\T1/hlh/m/n/10 (-20) Assume ([][]3[][]). Let $\OML/hlcm/m/it/10 " > \T1/hlh/m
/n/10 (-20) 0$. Since $\OML/hlcm/m/it/10 B[]ÑfÑxÖ\T1/hlh/m/n/10 (-20) ; \OML/hl
cm/m/it/10 d[]Ö$ \T1/hlh/m/n/10 (-20) is a $\OML/hlcm/m/it/10 d[]$\T1/hlh/m/n/1
0 (-20) -neighborhood
[164] [165] [166] [167]pdfTeX warning (ext4): destination with the same identif
ier (name{examples.59}) has been already used, duplicate ignored
<to be read again> 
                   \relax 
l.527 \label
            {ex:seq-conv-metric} [168] [169] [170] [171] [172]
Underfull \vbox (badness 1097) has occurred while \output is active [173]
[174] [175] [176] [177]
Overfull \hbox (10.8464pt too wide) in paragraph at lines 1114--1116
\T1/hlh/m/n/10 (-20) of ad-di-tion and mul-ti-pli-ca-tion, re-spec-tively, are 
$\OML/hlcm/m/it/10 Ñd[]; dÖ$\T1/hlh/m/n/10 (-20) -continuous. 
[178] [179] [180] [181] [182]) (./main/MetricSpaces/complete.tex [183] [184]
[185]
Overfull \hbox (2.25098pt too wide) in paragraph at lines 197--199
\T1/hlh/m/n/10 (-20) For ex-am-ple, any isom-e-try from $\OML/hlcm/m/it/10 ÑX; 
dÖ$ \T1/hlh/m/n/10 (-20) and $\OML/hlcm/m/it/10 ÑY; d[]Ö$ \T1/hlh/m/n/10 (-20) 
is $\OML/hlcm/m/it/10 Ñd; d[]Ö$\T1/hlh/m/n/10 (-20) -uniformly
)) [186] (./main/TopologicalSpaces/chapterTopological.tex
(./main/TopologicalSpaces/topological-init.tex)
(./main/TopologicalSpaces/topologies.tex
Underfull \vbox (badness 5954) has occurred while \output is active [187]pdfTeX
 warning (ext4): destination with the same identifier (name{definition.2}) has 
been already used, duplicate ignored
<to be read again> 
                   \relax 
l.59 \label
           {def:topological-space} [188] [189] [190] [191] [192] [193] [194]pdf
TeX warning (ext4): destination with the same identifier (name{proposition.11})
 has been already used, duplicate ignored
<to be read again> 
                   \relax 
l.505 
       [195] [196] [197] [198]) (./main/TopologicalSpaces/neighborhoods.tex
[199] [200]pdfTeX warning (ext4): destination with the same identifier (name{pr
oposition.15}) has been already used, duplicate ignored
<to be read again> 
                   \relax 
l.112 \label
            {prop:open-iff-nbd-each-pt}pdfTeX warning (ext4): destination with 
the same identifier (name{definition.16}) has been already used, duplicate igno
red
<to be read again> 
                   \relax 
l.123 \label
            {def:nbd-of-set} [201] [202] [203] [204]pdfTeX warning (ext4): dest
ination with the same identifier (name{examples.21}) has been already used, dup
licate ignored
<to be read again> 
                   \relax 
l.322 \label
            {ex:hausdorff-spaces} [205] [206] [207] [208] [209]
Overfull \hbox (11.06798pt too wide) in paragraph at lines 855--856
[]\T1/hlh/m/n/10 (-20) (\T1/hlh/m/it/10 (-20) Note: \T1/hlh/m/n/10 (-20) A reg-
u-lar space, even a reg-u-lar $\OML/hlcm/m/it/10 T[]$\T1/hlh/m/n/10 (-20) -spac
e, need not be metrizable---
[210]) (./main/TopologicalSpaces/boundary.tex [211] [212] [213] [214]pdfTeX war
ning (ext4): destination with the same identifier (name{definition.27}) has bee
n already used, duplicate ignored
<to be read again> 
                   \relax 
l.283 
      pdfTeX warning (ext4): destination with the same identifier (name{proposi
tion.28}) has been already used, duplicate ignored
<to be read again> 
                   \relax 
l.315 \label
            {prop:interior-pt-via-nbds} [215] [216]pdfTeX warning (ext4): desti
nation with the same identifier (name{corollary.31}) has been already used, dup
licate ignored
<to be read again> 
                   \relax 
l.430 \label
            {cor:open-iff-equals-interior} [217] [218] [219] [220]pdfTeX warnin
g (ext4): destination with the same identifier (name{corollary.41}) has been al
ready used, duplicate ignored
<to be read again> 
                   \relax 
l.802 F
       or every subset $A$ of a topological space $X$: [221] [222]pdfTeX warnin
g (ext4): destination with the same identifier (name{definition.45}) has been a
lready used, duplicate ignored
<to be read again> 
                   \relax 
l.962 \label
            {def:nowhere-dense}pdfTeX warning (ext4): destination with the same
 identifier (name{definition.46}) has been already used, duplicate ignored
<to be read again> 
                   \relax 
l.989 \label
            {def:meager set} [223] [224] [225]

LaTeX Warning: Reference `cref' on page 226 undefined on input line 1201.

LaTeX Warning: Reference `ex:right-interval-topology-R' on page 1 undefined on 
input line 1201.

[226] [227]) (./main/TopologicalSpaces/bases.tex [228] [229]pdfTeX warning (ext
4): destination with the same identifier (name{definition.53}) has been already
 used, duplicate ignored
<to be read again> 
                   \relax 
l.165 \label
            {def:1st-countable} [230] [231]pdfTeX warning (ext4): destination w
ith the same identifier (name{definition.55}) has been already used, duplicate 
ignored
<to be read again> 
                   \relax 
l.253 \label
            {def:base}pdfTeX warning (ext4): destination with the same identifi
er (name{examples.56}) has been already used, duplicate ignored
<to be read again> 
                   \relax 
l.278 \label
            {ex:bases} [232] [233] [234]pdfTeX warning (ext4): destination with
 the same identifier (name{examples.59}) has been already used, duplicate ignor
ed
<to be read again> 
                   \relax 
l.508 \label
            {ex:top-from-base} [235]

LaTeX Warning: Reference `WHAT' on page 1 undefined on input line 650.

[236]
Overfull \hbox (15.12009pt too wide) in paragraph at lines 676--701
\T1/hlh/m/n/10 (-20) de-picts three mem-bers of a set of the form $\OML/hlcm/m/
it/10 B[]x[]; x[]; x[]; x[] \T1/hlh/m/n/10 (-20) ;  \OML/hlcm/m/it/10 I[]; I[];
 I[]; I[][]$\T1/hlh/m/n/10 (-20) .]

Overfull \hbox (39.92242pt too wide) in paragraph at lines 676--701
 \T1/hlh/m/n/10 (-20) De-fine $\OMS/hlcy/m/n/10 B$ \T1/hlh/m/n/10 (-20) to be t
he col-lec-tion of all such sub-sets $\OML/hlcm/m/it/10 B[]x[]; x[]; [] ; x[] \
T1/hlh/m/n/10 (-20) ;  \OML/hlcm/m/it/10 I[]; I[]; [] ; I[][]$

Overfull \hbox (15.45676pt too wide) in paragraph at lines 676--701
\T1/hlh/m/n/10 (-20) of $\OMS/hlcy/m/n/10 F$ \T1/hlh/m/n/10 (-20) for all pos-s
i-ble choices of $\OML/hlcm/m/it/10 k$\T1/hlh/m/n/10 (-20) , of $\OML/hlcm/m/it
/10 Ñ[]Ö$\T1/hlh/m/n/10 (-20) , and of $\OML/hlcm/m/it/10 Ñ[]Ö$\T1/hlh/m/n/10 (
-20) .
[237]
Underfull \vbox (badness 5985) has occurred while \output is active [238]
[239]
Underfull \vbox (badness 2828) has occurred while \output is active [240]
[241]
Underfull \vbox (badness 1448) has occurred while \output is active [242]
[243] [244] [245])) [246]
(./main/ContinuityConvergence/chapterContinuityConvergence.tex
(./main/ContinuityConvergence/continuityconvergence-init.tex)
(./main/ContinuityConvergence/continuous.tex [247]
Overfull \hbox (13.0625pt too wide) in paragraph at lines 56--59
\T1/hlh/m/n/10 (-20) map $\OML/hlcm/m/it/10 f [] [] ÑX; \OMS/hlcy/m/n/10 S\OML/
hlcm/m/it/10 Ö [] ÑY; \OMS/hlcy/m/n/10 U\OML/hlcm/m/it/10 Ö$ \T1/hlh/m/n/10 (-2
0) is also con-tin-u-ous as a map $\OML/hlcm/m/it/10 f [] [] ÑX; \OMS/hlcy/m/n/
10 T\OML/hlcm/m/it/10 Ö [] ÑY; \OMS/hlcy/m/n/10 U\OML/hlcm/m/it/10 Ö$\T1/hlh/m/
n/10 (-20) .
) (./main/ContinuityConvergence/homeomorphism.tex [248])
(./main/ContinuityConvergence/productspace.tex [249] [250]

LaTeX Warning: Reference `WHAT' on page 1 undefined on input line 128.

) (./main/ContinuityConvergence/quotientspace.tex [251])
(./main/ContinuityConvergence/convergence.tex

LaTeX Warning: Reference `thm:WHAT' on page 1 undefined on input line 8.

pdfTeX warning (ext4): destination with the same identifier (name{proposition.5
}) has been already used, duplicate ignored
<to be read again> 
                   \relax 
l.35 \label
           {prop:unif-conv-implies-ptwise-conv} [252])) [253]
(./main/Compact/chapterCompact.tex [254] (./main/Compact/compact-init.tex)
(./main/Compact/compact.tex
Underfull \vbox (badness 10000) has occurred while \output is active [255]
[256] [257] [258]pdfTeX warning (ext4): destination with the same identifier (n
ame{definition.5}) has been already used, duplicate ignored
<to be read again> 
                   \relax 
l.218 \label
            {def:cpt}pdfTeX warning (ext4): destination with the same identifie
r (name{examples.6}) has been already used, duplicate ignored
<to be read again> 
                   \relax 
l.241 \label
            {ex:cpt-spaces} [259] [260]pdfTeX warning (ext4): destination with 
the same identifier (name{definition.7}) has been already used, duplicate ignor
ed
<to be read again> 
                   \relax 
l.367 \label
            {def:fip} [261]

LaTeX Warning: Reference `hm:unit-interval-compact' on page 1 undefined on inpu
t line 457.

[262] [263]

Package thmtools Warning: Unused key `refname' on input line 544.

pdfTeX warning (ext4): destination with the same identifier (name{example.15}) 
has been already used, duplicate ignored
<to be read again> 
                   \relax 
l.568 \label
            {ex:Cantor-K} [264]

LaTeX Warning: Command \i invalid in math mode on input line 612.

[265]pdfTeX warning (ext4): destination with the same identifier (name{corollar
y.20}) has been already used, duplicate ignored
<to be read again> 
                   \relax 
l.698 \label
            {cor:quotient-of-cpt-is-cpt}pdfTeX warning (ext4): destination with
 the same identifier (name{corollary.21}) has been already used, duplicate igno
red
<to be read again> 
                   \relax 
l.706 \label
            {cor:homeomorph-of-cpt-is-cpt}pdfTeX warning (ext4): destination wi
th the same identifier (name{corollary.22}) has been already used, duplicate ig
nored
<to be read again> 
                   \relax 
l.725 \label
            {cor:cont-from-cpt-to-T2-is-closed} [266] [267] [268] [269]
[270]
Overfull \hbox (6.73897pt too wide) in paragraph at lines 1010--1012
\T1/hlh/m/n/10 (-20) log-i-cal space $\OML/hlcm/m/it/10 X$ \T1/hlh/m/n/10 (-20)
 to a com-pact space $\OML/hlcm/m/it/10 Y$ \T1/hlh/m/n/10 (-20) whose graph $[]
$
[271]) (./main/Compact/compactmetric.tex [272]pdfTeX warning (ext4): destinatio
n with the same identifier (name{proposition.36}) has been already used, duplic
ate ignored
<to be read again> 
                   \relax 
l.103 \label
            {prop:cpt-metrizable-is-totally-bded}
Underfull \vbox (badness 10000) has occurred while \output is active [273]pdfTe
X warning (ext4): destination with the same identifier (name{examples.37}) has 
been already used, duplicate ignored
<to be read again> 
                   \relax 
l.131 \label
            {ex:totally-bded}pdfTeX warning (ext4): destination with the same i
dentifier (name{proposition.38}) has been already used, duplicate ignored
<to be read again> 
                   \relax 
l.182 \label
            {prop:totally-bded-is-2nd-countable} [274] [275] [276]

LaTeX Warning: Reference `WHAT' on page 1 undefined on input line 345.

LaTeX Warning: Reference `WHAT' on page 1 undefined on input line 347.

pdfTeX warning (ext4): destination with the same identifier (name{definition.42
}) has been already used, duplicate ignored
<to be read again> 
                   \relax 
l.385 \label
            {def:limit-pt}pdfTeX warning (ext4): destination with the same iden
tifier (name{corollary.43}) has been already used, duplicate ignored
<to be read again> 
                   \relax 
l.394 \label
            {cor:limit-pt-in-cpt-metrizable} [277] [278] [279] [280]
Overfull \hbox (49.65659pt too wide) in paragraph at lines 660--662
[]\T1/hlh/m/n/10 (-20) [\T1/hlh/m/it/10 (-20) Hint: \T1/hlh/m/n/10 (-20) Form t
he col-lec-tion $\OMS/hlcy/m/n/10 f [] g$ \T1/hlh/m/n/10 (-20) where $\OML/hlcm
/m/it/10 E[] \OMS/hlcy/m/n/10 É f [] g$
) (./main/Compact/locallycompact.tex)) [281]
(./main/Connected/chapterConnected.tex [282]
(./main/Connected/connected-init.tex) (./main/Connected/connected.texpdfTeX war
ning (ext4): destination with the same identifier (name{definition.1}) has been
 already used, duplicate ignored
<to be read again> 
                   \relax 
l.12 \label
           {def:connected} [283]pdfTeX warning (ext4): destination with the sam
e identifier (name{lemma.4}) has been already used, duplicate ignored
<to be read again> 
                   \relax 
l.71 \label
           {lem:conn-in-open-closed-it-meets}) (./main/Connected/components.tex
pdfTeX warning (ext4): destination with the same identifier (name{definition.5}
) has been already used, duplicate ignored
<to be read again> 
                   \relax 
l.15 \label
           {def:component} [284]pdfTeX warning (ext4): destination with the sam
e identifier (name{definition.8}) has been already used, duplicate ignored
<to be read again> 
                   \relax 
l.76 \label
           {def:totally-disconnected} [285]pdfTeX warning (ext4): destination w
ith the same identifier (name{examples.9}) has been already used, duplicate ign
ored
<to be read again> 
                   \relax 
l.90 \label
           {ex:totally-disconnected} [286]) (./main/Connected/pathconnected.tex
) (./main/Connected/homotopy.tex) (./main/Connected/simplyconnected.tex
[287])) [288] (./main/Embedding/chapterEmbedding.tex
(./main/Embedding/separation.tex) (./main/Embedding/metrization.texpdfTeX warni
ng (ext4): destination with the same identifier (name{proposition.1}) has been 
already used, duplicate ignored
<to be read again> 
                   \relax 
l.12 
     pdfTeX warning (ext4): destination with the same identifier (name{namedthe
orem.2}) has been already used, duplicate ignored
<to be read again> 
                   \relax 
l.30 ...theorem}[name=Urysohn Metrization Theorem]
                                                   [289])) [290])
(./back/backmatter.tex (./back/exerciseguide.tex
Underfull \hbox (badness 1173) in paragraph at lines 23--23
[]|\T1/hlh/m/n/10 (+20) 2.99, 2.99, 2.99, 2.99, 2.99,

Underfull \hbox (badness 10000) in paragraph at lines 23--25
[]|\T1/hlh/m/n/10 (+20) pages 235--999,

Underfull \hbox (badness 1173) in paragraph at lines 27--27
[]|\T1/hlh/m/n/10 (+20) 2.99, 2.99, 2.99, 2.99, 2.99,

Underfull \hbox (badness 10000) in paragraph at lines 27--29
[]|\T1/hlh/m/n/10 (+20) pages 235--999,

Underfull \hbox (badness 1173) in paragraph at lines 31--31
[]|\T1/hlh/m/n/10 (+20) 2.99, 2.99, 2.99, 2.99, 2.99,

Underfull \hbox (badness 10000) in paragraph at lines 31--33
[]|\T1/hlh/m/n/10 (+20) pages 235--999,

Underfull \hbox (badness 1173) in paragraph at lines 35--35
[]|\T1/hlh/m/n/10 (+20) 2.99, 2.99, 2.99, 2.99, 2.99,

Underfull \hbox (badness 10000) in paragraph at lines 35--37
[]|\T1/hlh/m/n/10 (+20) pages 235--999,

Underfull \hbox (badness 1173) in paragraph at lines 39--39
[]|\T1/hlh/m/n/10 (+20) 2.99, 2.99, 2.99, 2.99, 2.99,

Underfull \hbox (badness 10000) in paragraph at lines 39--41
[]|\T1/hlh/m/n/10 (+20) pages 235--999,

Underfull \hbox (badness 1173) in paragraph at lines 42--42
[]|\T1/hlh/m/n/10 (+20) 2.99, 2.99, 2.99, 2.99, 2.99,

Underfull \hbox (badness 10000) in paragraph at lines 42--44
[]|\T1/hlh/m/n/10 (+20) pages 235--999,

Underfull \hbox (badness 1173) in paragraph at lines 46--46
[]|\T1/hlh/m/n/10 (+20) 2.99, 2.99, 2.99, 2.99, 2.99,

Underfull \hbox (badness 10000) in paragraph at lines 46--48
[]|\T1/hlh/m/n/10 (+20) pages 235--999,

Underfull \hbox (badness 1173) in paragraph at lines 50--50
[]|\T1/hlh/m/n/10 (+20) 2.99, 2.99, 2.99, 2.99, 2.99,

Underfull \hbox (badness 10000) in paragraph at lines 50--52
[]|\T1/hlh/m/n/10 (+20) pages 235--999,

Underfull \hbox (badness 1173) in paragraph at lines 54--54
[]|\T1/hlh/m/n/10 (+20) 2.99, 2.99, 2.99, 2.99, 2.99,

Underfull \hbox (badness 10000) in paragraph at lines 54--56
[]|\T1/hlh/m/n/10 (+20) pages 235--999,

Underfull \hbox (badness 1173) in paragraph at lines 58--58
[]|\T1/hlh/m/n/10 (+20) 2.99, 2.99, 2.99, 2.99, 2.99,

Underfull \hbox (badness 10000) in paragraph at lines 58--60
[]|\T1/hlh/m/n/10 (+20) pages 235--999,

Underfull \hbox (badness 1173) in paragraph at lines 62--62
[]|\T1/hlh/m/n/10 (+20) 2.99, 2.99, 2.99, 2.99, 2.99,

Underfull \hbox (badness 10000) in paragraph at lines 62--64
[]|\T1/hlh/m/n/10 (+20) pages 235--999,

Underfull \hbox (badness 1173) in paragraph at lines 66--66
[]|\T1/hlh/m/n/10 (+20) 2.99, 2.99, 2.99, 2.99, 2.99,

Underfull \hbox (badness 10000) in paragraph at lines 66--68
[]|\T1/hlh/m/n/10 (+20) pages 235--999,

Underfull \hbox (badness 1173) in paragraph at lines 70--70
[]|\T1/hlh/m/n/10 (+20) 2.99, 2.99, 2.99, 2.99, 2.99,

Underfull \hbox (badness 10000) in paragraph at lines 70--72
[]|\T1/hlh/m/n/10 (+20) pages 235--999,

Underfull \hbox (badness 1173) in paragraph at lines 74--74
[]|\T1/hlh/m/n/10 (+20) 2.99, 2.99, 2.99, 2.99, 2.99,

Underfull \hbox (badness 10000) in paragraph at lines 74--76
[]|\T1/hlh/m/n/10 (+20) pages 235--999,

Underfull \hbox (badness 1173) in paragraph at lines 78--78
[]|\T1/hlh/m/n/10 (+20) 2.99, 2.99, 2.99, 2.99, 2.99,

Underfull \hbox (badness 10000) in paragraph at lines 78--80
[]|\T1/hlh/m/n/10 (+20) pages 235--999,
[291] [292]) (./back/indexes.tex (./topologybook.nls [293]
Underfull \vbox (badness 10000) has occurred while \output is active [294]
[295])
No file notation.gls.
[296] (./names.ind [297] [298]) (./topologybook.ind
Overfull \hbox (0.76491pt too wide) in paragraph at lines 21--23
[]\T1/hlh/m/n/10 (-20) Baire Cat-e-gory The-o-rem, [][]184[][], [][]222[][] 

Overfull \hbox (5.53792pt too wide) in paragraph at lines 34--35
[]\T1/hlh/m/n/10 (-20) Bolzano-Weierstrass The-o-rem, [][]276[][] 

Overfull \hbox (6.18558pt too wide) in paragraph at lines 35--37
[]\T1/hlh/m/n/10 (-20) bound  (\T1/hlh/m/it/10 (-20) see \T1/hlh/m/n/10 (-20) b
ounded; lower bound;
[299]
Overfull \hbox (0.28082pt too wide) in paragraph at lines 95--97
[]\T1/hlh/m/n/10 (-20) co-finite topol-ogy  (\T1/hlh/m/it/10 (-20) see \T1/hlh/
m/n/10 (-20) finite-com-

Overfull \hbox (11.63974pt too wide) in paragraph at lines 124--126
\T1/hlh/m/n/10 (-20) space; order-completeness) 
[300]
Overfull \hbox (4.49474pt too wide) in paragraph at lines 145--146
[]| \T1/hlh/m/n/10 (-20) and con-ver-gent se-quence, [][]176[][] 

Overfull \hbox (6.13008pt too wide) in paragraph at lines 148--149
[]| \T1/hlh/m/n/10 (-20) from Eu-clidean $\OML/hlcm/m/it/10 n$\T1/hlh/m/n/10 (-
20) -space to real

Overfull \hbox (2.131pt too wide) in paragraph at lines 149--150
[]| \T1/hlh/m/n/10 (-20) on com-pact met-ric space, [][]277[][] 

Overfull \hbox (2.44911pt too wide) in paragraph at lines 190--192
[]| \T1/hlh/m/it/10 (-20) See also \T1/hlh/m/n/10 (-20) con-nected space; sep-

Overfull \hbox (17.60744pt too wide) in paragraph at lines 190--192
\T1/hlh/m/n/10 (-20) a-ra-tion; to-tally dis-con-nected

Overfull \hbox (3.79329pt too wide) in paragraph at lines 215--216
[]\T1/hlh/m/n/10 (-20) distance-preserving map, [][]151[][], [][]152[][] 
[301]
Overfull \hbox (0.5973pt too wide) in paragraph at lines 245--247
[]\T1/hlh/m/n/10 (-20) Euclidean in-ner prod-uct, [][]158[][], [][]180[][] 

Overfull \hbox (5.04117pt too wide) in paragraph at lines 269--270
[]\T1/hlh/m/n/10 (-20) extreme  (\T1/hlh/m/it/10 (-20) see \T1/hlh/m/n/10 (-20)
 max-i-mum,minimum) 

Overfull \hbox (0.8835pt too wide) in paragraph at lines 282--284
[]\T1/hlh/m/n/10 (-20) first-category set  (\T1/hlh/m/it/10 (-20) see \T1/hlh/m
/n/10 (-20) mea-ger set) 
[302]
Overfull \hbox (2.30344pt too wide) in paragraph at lines 323--325
\T1/hlh/m/n/10 (-20) Borel-Lebesgue The-o-rem) 

Overfull \hbox (10.56528pt too wide) in paragraph at lines 325--326
[]\T1/hlh/m/n/10 (-20) Heine-Borel-Lebesgue The-o-rem, [][]262[][] 

Overfull \hbox (18.59972pt too wide) in paragraph at lines 349--350
[]| \T1/hlh/m/n/10 (-20) (\T1/hlh/m/it/10 (-20) see also \T1/hlh/m/n/10 (-20) e
l-e-ment,member,subset) 

Overfull \hbox (0.43198pt too wide) in paragraph at lines 362--364
\T1/hlh/m/n/10 (-20) tion,mathematical in-duc-
[303]
Overfull \hbox (0.584pt too wide) in paragraph at lines 393--394
[]| \T1/hlh/m/n/10 (-20) of a collection of sets, [][]\T1/hlh/b/it/10 39[][]\T1
/hlh/m/n/10 (-20) , [][]39[][]--

Overfull \hbox (0.77872pt too wide) in paragraph at lines 469--470
[]| \T1/hlh/m/n/10 (-20) defined piecewise, [][]21[][]--[][]22[][], [][]38[][]-
-
[304]
Overfull \hbox (6.09427pt too wide) in paragraph at lines 495--497
[]| \T1/hlh/m/n/10 (-20) ex-am-ples of, [][]99[][], [][]103[][]--[][]114[][], [
][]116[][],

Overfull \hbox (1.06433pt too wide) in paragraph at lines 514--516
[]| \T1/hlh/m/n/10 (-20) topo-log-i-cally equiv-a-lent, [][]\T1/hlh/b/it/10 154
[][]\T1/hlh/m/n/10 (-20) ,

Overfull \hbox (8.51826pt too wide) in paragraph at lines 516--517
[]\T1/hlh/m/n/10 (-20) metrically equiv-a-lent met-ric spaces,

Overfull \hbox (0.98947pt too wide) in paragraph at lines 543--545
[]\T1/hlh/m/n/10 (-20) neighborhood, [][]\T1/hlh/b/it/10 200[][]\T1/hlh/m/n/10 
(-20) , [][]200[][]--[][]202[][], [][]228[][] 

Overfull \hbox (3.06833pt too wide) in paragraph at lines 554--556
[]\T1/hlh/m/n/10 (-20) Niemytzki plane  (\T1/hlh/m/it/10 (-20) see \T1/hlh/m/n/
10 (-20) tan-gent disk
[305]
Overfull \hbox (9.05663pt too wide) in paragraph at lines 573--574
[]| \T1/hlh/m/n/10 (-20) in second-countable space, [][]272[][] 

Overfull \hbox (1.59937pt too wide) in paragraph at lines 591--592
[]| \T1/hlh/m/n/10 (-20) and mul-ti-plica-tive in-verse, [][]20[][] 

Overfull \hbox (4.04407pt too wide) in paragraph at lines 599--601
[]\T1/hlh/m/n/10 (-20) order topol-ogy, [][]\T1/hlh/b/it/10 234[][]\T1/hlh/m/n/
10 (-20) , [][]234[][]--[][]235[][], [][]244[][] 

Overfull \hbox (5.82869pt too wide) in paragraph at lines 608--610
\T1/hlh/m/n/10 (-20) der-ing; pre-order-ing; strict

Overfull \hbox (20.25978pt too wide) in paragraph at lines 608--610
\T1/hlh/m/n/10 (-20) weak or-der-ing; well-ordering) 
[306]
Overfull \hbox (2.26106pt too wide) in paragraph at lines 727--729
\T1/hlh/m/n/10 (-20) func-tional re-la-tion, or-der
[307]
Overfull \hbox (0.88599pt too wide) in paragraph at lines 750--752
[]\T1/hlh/m/n/10 (-20) second-category set  (\T1/hlh/m/it/10 (-20) see \T1/hlh/
m/n/10 (-20) non-mea-

Overfull \hbox (1.03703pt too wide) in paragraph at lines 752--753
[]\T1/hlh/m/n/10 (-20) second-countable space, [][]\T1/hlh/b/it/10 238[][]\T1/h
lh/m/n/10 (-20) , [][]238[][] 

Overfull \hbox (0.32431pt too wide) in paragraph at lines 768--769
[]\T1/hlh/m/n/10 (-20) sequential com-pact-ness, [][]273[][], [][]274[][] 

Overfull \hbox (10.40741pt too wide) in paragraph at lines 775--777
[]\T1/hlh/m/n/10 (-20) smaller topol-ogy  (\T1/hlh/m/it/10 (-20) see \T1/hlh/m/
n/10 (-20) coarser topol-

Overfull \hbox (1.25479pt too wide) in paragraph at lines 781--783
[]\T1/hlh/m/n/10 (-20) space  (\T1/hlh/m/it/10 (-20) see \T1/hlh/m/n/10 (-20) t
opo-log-i-cal space, met-

Overfull \hbox (6.31657pt too wide) in paragraph at lines 785--786
[]\T1/hlh/m/n/10 (-20) statement  (\T1/hlh/m/it/10 (-20) see \T1/hlh/m/n/10 (-2
0) pred-i-cate,sentence) 

Overfull \hbox (2.04988pt too wide) in paragraph at lines 786--788
[]\T1/hlh/m/n/10 (-20) strict or-der-ing  (\T1/hlh/m/it/10 (-20) see \T1/hlh/m/
n/10 (-20) strict di-rected

Overfull \hbox (2.03561pt too wide) in paragraph at lines 786--788
\T1/hlh/m/n/10 (-20) or-der-ing; strict par-tial or-

Overfull \hbox (3.09906pt too wide) in paragraph at lines 790--792
[]\T1/hlh/m/n/10 (-20) stronger topol-ogy  (\T1/hlh/m/it/10 (-20) see \T1/hlh/m
/n/10 (-20) finer topol-
[308]
Overfull \hbox (21.70116pt too wide) in paragraph at lines 848--850
[]\T1/hlh/m/n/10 (-20) topologically equiv-a-lent met-ric spaces,

Overfull \hbox (2.37872pt too wide) in paragraph at lines 860--861
[]| \T1/hlh/m/n/10 (-20) gen-er-ated by a col-lec-tion, [][]233[][] 

Overfull \hbox (2.37599pt too wide) in paragraph at lines 871--872
[]\T1/hlh/m/n/10 (-20) totally bounded met-ric space, [][]\T1/hlh/b/it/10 270[]
[] 

Overfull \hbox (2.131pt too wide) in paragraph at lines 900--901
[]| \T1/hlh/m/n/10 (-20) on com-pact met-ric space, [][]277[][] 
[309]
Overfull \hbox (0.584pt too wide) in paragraph at lines 906--907
[]| \T1/hlh/m/n/10 (-20) of a collection of sets, [][]\T1/hlh/b/it/10 39[][]\T1
/hlh/m/n/10 (-20) , [][]39[][]--

Overfull \hbox (8.61229pt too wide) in paragraph at lines 933--935
[]\T1/hlh/m/n/10 (-20) weaker topol-ogy  (\T1/hlh/m/it/10 (-20) see \T1/hlh/m/n
/10 (-20) coarser topol-
[310]))) (./topologybook.aux
No file front/frontmatter.aux.
No file front/preface.aux.
(./main/SetsMaps/chapterSetsMaps.aux) (./main/MetricSpaces/chapterMetrics.aux)
(./main/TopologicalSpaces/chapterTopological.aux)
(./main/ContinuityConvergence/chapterContinuityConvergence.aux)
(./main/Compact/chapterCompact.aux) (./main/Connected/chapterConnected.aux)
(./main/Embedding/chapterEmbedding.aux) (./back/backmatter.aux))
Dependency list written on topologybook.dep.

Package rerunfilecheck Warning: File `topologybook.out' has changed.
(rerunfilecheck)                Rerun to get outlines right
(rerunfilecheck)                or use package `bookmark'.

LaTeX Warning: There were undefined references.

LaTeX Warning: Label(s) may have changed. Rerun to get cross-references right.

Package biblatex Warning: Please rerun LaTeX.
(biblatex)                Page breaks have changed.

 )
(see the transcript file for additional information)pdfTeX warning (dest): name
{cite.0 at GoldbergReal1976} has been referenced but does not exist, replaced by a
 fixed one

pdfTeX warning (dest): name{cite.0 at BoasPrimerReal1996} has been referenced but 
does not exist, replaced by a fixed one

pdfTeX warning (dest): name{cite.0 at KConradIsometries} has been referenced but d
oes not exist, replaced by a fixed one

pdfTeX warning (dest): name{cite.0 at FlemingSeveralVars2Ed} has been referenced b
ut does not exist, replaced by a fixed one

pdfTeX warning (dest): name{cite.0 at ChrisCooperIsometries3D} has been referenced
 but does not exist, replaced by a fixed one

pdfTeX warning (dest): name{cite.0 at ChrisCooperIsometries} has been referenced b
ut does not exist, replaced by a fixed one

pdfTeX warning (dest): name{cite.0 at JacobBaileyLinearAlgebra} has been reference
d but does not exist, replaced by a fixed one

pdfTeX warning (dest): name{cite.0 at GaillardZorn2017} has been referenced but do
es not exist, replaced by a fixed one

pdfTeX warning (dest): name{cite.0 at GraysonZorn2007} has been referenced but doe
s not exist, replaced by a fixed one

pdfTeX warning (dest): name{cite.0 at KneserZorn1950} has been referenced but does
 not exist, replaced by a fixed one

pdfTeX warning (dest): name{cite.0 at Suppes1972} has been referenced but does not
 exist, replaced by a fixed one

pdfTeX warning (dest): name{cite.0 at Bernays1991} has been referenced but does no
t exist, replaced by a fixed one

pdfTeX warning (dest): name{cite.0 at EisenbergSets1971} has been referenced but d
oes not exist, replaced by a fixed one

pdfTeX warning (dest): name{cite.0 at BourbakiSets2004} has been referenced but do
es not exist, replaced by a fixed one

pdfTeX warning (dest): name{cite.0 at PinterSets2014} has been referenced but does
 not exist, replaced by a fixed one

pdfTeX warning (dest): name{cite.0 at LakinsMathReasoning2016} has been referenced
 but does not exist, replaced by a fixed one

pdfTeX warning (dest): name{cite.0 at EisenbergMathMethod1996} has been referenced
 but does not exist, replaced by a fixed one

{/usr/local/texlive/2017/texmf-dist/fonts/enc/dvips/base/8r.enc}</Users/murray/
Library/texmf/fonts/type1/bh/lucida/lbd.pfb></Users/murray/Library/texmf/fonts/
type1/bh/lucida/lbdi.pfb></Users/murray/Library/texmf/fonts/type1/bh/lucida/lbi
.pfb></Users/murray/Library/texmf/fonts/type1/bh/lucida/lbma.pfb></Users/murray
/Library/texmf/fonts/type1/bh/lucida/lbme.pfb></Users/murray/Library/texmf/font
s/type1/bh/lucida/lbmo.pfb></Users/murray/Library/texmf/fonts/type1/bh/lucida/l
bmr.pfb></Users/murray/Library/texmf/fonts/type1/bh/lucida/lbms.pfb></Users/mur
ray/Library/texmf/fonts/type1/bh/lucida/lbmsd.pfb></Users/murray/Library/texmf/
fonts/type1/bh/lucida/lbr.pfb></Users/murray/Library/texmf/fonts/type1/bh/lucid
a/lsd.pfb></Users/murray/Library/texmf/fonts/type1/bh/lucida/lsdi.pfb></Users/m
urray/Library/texmf/fonts/type1/bh/lucida/lsi.pfb></Users/murray/Library/texmf/
fonts/type1/bh/lucida/lsr.pfb></usr/local/texlive/2017/texmf-dist/fonts/type1/p
ublic/xypic/xyatip10.pfb></usr/local/texlive/2017/texmf-dist/fonts/type1/public
/xypic/xybtip10.pfb>
Output written on topologybook.pdf (316 pages, 1207459 bytes).
SyncTeX written on topologybook.synctex.gz.
Transcript written on topologybook.log.
Latexmk: Index file 'notation.idx' was written
Latexmk: Index file 'names.idx' was written
Latexmk: Index file 'topologybook.idx' was written
===========Latexmk: Missing input file: 'front/frontmatter.aux' from line
  'No file front/frontmatter.aux.'
Latexmk: Missing input file: 'front/frontmatter.aux' from line
  'No file front/frontmatter.aux.'
===========Latexmk: Missing input file: 'front/preface.aux' from line
  'No file front/preface.aux.'
Latexmk: Missing input file: 'front/preface.aux' from line
  'No file front/preface.aux.'
===========Latexmk: Missing input file: 'notation.gls' from line
  'No file notation.gls.'
Latexmk: Missing input file: 'notation.gls' from line
  'No file notation.gls.'
===========Latexmk: Missing input file: 'front/frontmatter.aux' from line
  'No file front/frontmatter.aux.'
Latexmk: Missing input file: 'front/frontmatter.aux' from line
  'No file front/frontmatter.aux.'
===========Latexmk: Missing input file: 'front/preface.aux' from line
  'No file front/preface.aux.'
Latexmk: Missing input file: 'front/preface.aux' from line
  'No file front/preface.aux.'
Latexmk: Log file says output to 'topologybook.pdf'
Latexmk: Couldn't find aux file 'front/frontmatter.aux'
Latexmk: Couldn't find aux file 'front/preface.aux'
=== TeX engine is 'pdfTeX'
Latexmk: Found bibliography file(s) [mytopologybook.bib mytopologyread.bib topologybook-blx.bib]
Latexmk: Summary of warnings:
  Latex failed to resolve 9 reference(s)
Rule 'cusdep nlo nls topologybook': File changes, etc:
   Changed files, or newly in use since previous run(s):
      'topologybook.nlo'
------------
Run number 2 of rule 'cusdep nlo nls topologybook'
------------
Latexmk: applying rule 'cusdep nlo nls topologybook'...
For rule 'cusdep nlo nls topologybook', running '&do_cusdep( makenlo2nls )' ...
This is makeindex, version 2.15 [TeX Live 2017] (kpathsea + Thai support).
Scanning style file /usr/local/texlive/2017/texmf-dist/makeindex/nomencl/nomencl.ist..........done (10 attributes redefined, 3 ignored).
Scanning input file topologybook.nlo....done (140 entries accepted, 0 rejected).
Sorting entries....done (990 comparisons).
Generating output file topologybook.nls....done (293 lines written, 0 warnings).
Output written in topologybook.nls.
Transcript written in topologybook.ilg.
Rule 'makeindex topologybook.idx': File changes, etc:
   Changed files, or newly in use since previous run(s):
      'topologybook.idx'
------------
Run number 2 of rule 'makeindex topologybook.idx'
------------
------------
Running 'makeindex -s "topologybook".ist  -o "topologybook.ind" "topologybook.idx"'
------------
Latexmk: applying rule 'makeindex topologybook.idx'...
This is makeindex, version 2.15 [TeX Live 2017] (kpathsea + Thai support).
Scanning style file ./topologybook.ist......done (6 attributes redefined, 0 ignored).
Scanning input file topologybook.idx.....done (1105 entries accepted, 3 rejected).
Sorting entries...........done (11818 comparisons).
Generating output file topologybook.ind.....done (951 lines written, 145 warnings).
Output written in topologybook.ind.
Transcript written in topologybook.ilg.
Rule 'bibtex topologybook': File changes, etc:
   Changed files, or newly in use since previous run(s):
      'back/backmatter.aux'
      'main/Compact/chapterCompact.aux'
      'main/Connected/chapterConnected.aux'
      'main/ContinuityConvergence/chapterContinuityConvergence.aux'
      'main/Embedding/chapterEmbedding.aux'
      'main/MetricSpaces/chapterMetrics.aux'
      'main/SetsMaps/chapterSetsMaps.aux'
      'main/TopologicalSpaces/chapterTopological.aux'
      'topologybook.aux'
------------
Run number 2 of rule 'bibtex topologybook'
------------
------------
Running 'bibtex  "topologybook"'
------------
Latexmk: applying rule 'bibtex topologybook'...
For rule 'bibtex topologybook', running '&run_bibtex(  )' ...
This is BibTeX, Version 0.99d (TeX Live 2017)
The top-level auxiliary file: topologybook.aux
The style file: biblatex.bst
I couldn't open auxiliary file front/frontmatter.aux
---line 25 of file topologybook.aux
 : \@input{front/frontmatter.aux
 :                              }
I'm skipping whatever remains of this command
I couldn't open auxiliary file front/preface.aux
---line 39 of file topologybook.aux
 : \@input{front/preface.aux
 :                          }
I'm skipping whatever remains of this command
A level-1 auxiliary file: main/SetsMaps/chapterSetsMaps.aux
A level-1 auxiliary file: main/MetricSpaces/chapterMetrics.aux
A level-1 auxiliary file: main/TopologicalSpaces/chapterTopological.aux
A level-1 auxiliary file: main/ContinuityConvergence/chapterContinuityConvergence.aux
A level-1 auxiliary file: main/Compact/chapterCompact.aux
A level-1 auxiliary file: main/Connected/chapterConnected.aux
A level-1 auxiliary file: main/Embedding/chapterEmbedding.aux
A level-1 auxiliary file: back/backmatter.aux
Database file #1: topologybook-blx.bib
Database file #2: mytopologybook.bib
Database file #3: mytopologyread.bib
Biblatex version: 3.3
(There were 2 error messages)
Latexmk: One or more aux files is missing for bibtex. I'll try
          to get (pdf)latex to remake them.
Rule 'makeindex names.idx': File changes, etc:
   Changed files, or newly in use since previous run(s):
      'names.idx'
------------
Run number 2 of rule 'makeindex names.idx'
------------
------------
Running 'makeindex -s "topologybook".ist  -o "names.ind" "names.idx"'
------------
Latexmk: applying rule 'makeindex names.idx'...
This is makeindex, version 2.15 [TeX Live 2017] (kpathsea + Thai support).
Scanning style file ./topologybook.ist......done (6 attributes redefined, 0 ignored).
Scanning input file names.idx....done (44 entries accepted, 0 rejected).
Sorting entries....done (249 comparisons).
Generating output file names.ind....done (100 lines written, 0 warnings).
Output written in names.ind.
Transcript written in names.ilg.
Rule 'pdflatex': File changes, etc:
   Changed files, or newly in use since previous run(s):
      'back/backmatter.aux'
      'main/Compact/chapterCompact.aux'
      'main/Connected/chapterConnected.aux'
      'main/ContinuityConvergence/chapterContinuityConvergence.aux'
      'main/Embedding/chapterEmbedding.aux'
      'main/MetricSpaces/chapterMetrics.aux'
      'main/SetsMaps/chapterSetsMaps.aux'
      'main/TopologicalSpaces/chapterTopological.aux'
      'names.ind'
      'topologybook.aux'
      'topologybook.ind'
      'topologybook.nls'
      'topologybook.out'
      'topologybook.run.xml'
      'topologybook.toc'
------------
Run number 3 of rule 'pdflatex'
------------
------------
Running 'pdflatex  --synctex=1 --file-line-error  -recorder  "topologybook.tex"'
------------
Latexmk: applying rule 'pdflatex'...
This is pdfTeX, Version 3.14159265-2.6-1.40.18 (TeX Live 2017) (preloaded format=pdflatex)
 restricted \write18 enabled.
entering extended mode
(./topologybook.tex
LaTeX2e <2017-04-15>
Babel <3.12> and hyphenation patterns for 84 language(s) loaded.
(/usr/local/texlive/2017/texmf-dist/tex/latex/snapshot/snapshot.sty)
(/usr/local/texlive/2017/texmf-dist/tex/latex/memoir/memoir.cls
Document Class: memoir 2016/05/16 v3.7f configurable book, report, article docu
ment class
(/usr/local/texlive/2017/texmf-dist/tex/generic/oberdiek/ifpdf.sty)
(/usr/local/texlive/2017/texmf-dist/tex/latex/ifetex/ifetex.sty
(/usr/local/texlive/2017/texmf-dist/tex/plain/ifetex/ifetex.tex))
(/usr/local/texlive/2017/texmf-dist/tex/generic/ifxetex/ifxetex.sty)
(/usr/local/texlive/2017/texmf-dist/tex/generic/oberdiek/ifluatex.sty)
(/usr/local/texlive/2017/texmf-dist/tex/latex/memoir/mem10.clo)
(/usr/local/texlive/2017/texmf-dist/tex/latex/memoir/mempatch.sty))
(/usr/local/texlive/2017/texmf-dist/tex/latex/base/ifthen.sty)
(./preamble/preamble.tex (./preamble/packages.sty
(/usr/local/texlive/2017/texmf-dist/tex/latex/csquotes/csquotes.sty
(/usr/local/texlive/2017/texmf-dist/tex/latex/etoolbox/etoolbox.sty)
(/usr/local/texlive/2017/texmf-dist/tex/latex/graphics/keyval.sty)
(/usr/local/texlive/2017/texmf-dist/tex/latex/csquotes/csquotes.def)
(/usr/local/texlive/2017/texmf-dist/tex/latex/csquotes/csquotes.cfg))
(/usr/local/texlive/2017/texmf-dist/tex/latex/amsmath/amsmath.sty
For additional information on amsmath, use the `?' option.
(/usr/local/texlive/2017/texmf-dist/tex/latex/amsmath/amstext.sty
(/usr/local/texlive/2017/texmf-dist/tex/latex/amsmath/amsgen.sty))
(/usr/local/texlive/2017/texmf-dist/tex/latex/amsmath/amsbsy.sty)
(/usr/local/texlive/2017/texmf-dist/tex/latex/amsmath/amsopn.sty))
(/usr/local/texlive/2017/texmf-dist/tex/latex/amscls/amsthm.sty)
(/usr/local/texlive/2017/texmf-dist/tex/latex/l3packages/xfrac/xfrac.sty
(/usr/local/texlive/2017/texmf-dist/tex/latex/l3kernel/expl3.sty
(/usr/local/texlive/2017/texmf-dist/tex/latex/l3kernel/expl3-code.tex)
(/usr/local/texlive/2017/texmf-dist/tex/latex/l3kernel/l3pdfmode.def))
(/usr/local/texlive/2017/texmf-dist/tex/latex/graphics/graphicx.sty
(/usr/local/texlive/2017/texmf-dist/tex/latex/graphics/graphics.sty
(/usr/local/texlive/2017/texmf-dist/tex/latex/graphics/trig.sty)
(/usr/local/texlive/2017/texmf-dist/tex/latex/graphics-cfg/graphics.cfg)
(/usr/local/texlive/2017/texmf-dist/tex/latex/graphics-def/pdftex.def)))
(/usr/local/texlive/2017/texmf-dist/tex/latex/l3packages/l3keys2e/l3keys2e.sty)
 (/usr/local/texlive/2017/texmf-dist/tex/latex/base/textcomp.sty
(/usr/local/texlive/2017/texmf-dist/tex/latex/base/ts1enc.def))
(/usr/local/texlive/2017/texmf-dist/tex/latex/l3packages/xparse/xparse.sty)
(/usr/local/texlive/2017/texmf-dist/tex/latex/l3packages/xtemplate/xtemplate.st
y)) (/usr/local/texlive/2017/texmf-dist/tex/latex/moresize/moresize.sty)
(/usr/local/texlive/2017/texmf-dist/tex/latex/enumitem/enumitem.sty)
(/usr/local/texlive/2017/texmf-dist/tex/latex/tools/multicol.sty)
(/usr/local/texlive/2017/texmf-dist/tex/latex/tools/longtable.sty)
(/usr/local/texlive/2017/texmf-dist/tex/latex/tools/calc.sty)
(/usr/local/texlive/2017/texmf-dist/tex/generic/xstring/xstring.sty
(/usr/local/texlive/2017/texmf-dist/tex/generic/xstring/xstring.tex))
(/usr/local/texlive/2017/texmf-dist/tex/latex/xpatch/xpatch.sty)
(/usr/local/texlive/2017/texmf-dist/tex/latex/bigfoot/suffix.sty)
(/usr/local/texlive/2017/texmf-dist/tex/latex/xcolor/xcolor.sty
(/usr/local/texlive/2017/texmf-dist/tex/latex/graphics-cfg/color.cfg)
(/usr/local/texlive/2017/texmf-dist/tex/latex/graphics/dvipsnam.def))
(/usr/local/texlive/2017/texmf-dist/tex/latex/pict2e/pict2e.sty
(/usr/local/texlive/2017/texmf-dist/tex/latex/pict2e/pict2e.cfg)
(/usr/local/texlive/2017/texmf-dist/tex/latex/pict2e/p2e-pdftex.def))
(/usr/local/texlive/2017/texmf-dist/tex/latex/tikz-cd/tikz-cd.sty
(/usr/local/texlive/2017/texmf-dist/tex/latex/pgf/frontendlayer/tikz.sty
(/usr/local/texlive/2017/texmf-dist/tex/latex/pgf/basiclayer/pgf.sty
(/usr/local/texlive/2017/texmf-dist/tex/latex/pgf/utilities/pgfrcs.sty
(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/utilities/pgfutil-common.te
x
(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/utilities/pgfutil-common-li
sts.tex))
(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/utilities/pgfutil-latex.def
(/usr/local/texlive/2017/texmf-dist/tex/latex/ms/everyshi.sty))
(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/utilities/pgfrcs.code.tex))
(/usr/local/texlive/2017/texmf-dist/tex/latex/pgf/basiclayer/pgfcore.sty
(/usr/local/texlive/2017/texmf-dist/tex/latex/pgf/systemlayer/pgfsys.sty
(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/systemlayer/pgfsys.code.tex
(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/utilities/pgfkeys.code.tex
(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/utilities/pgfkeysfiltered.c
ode.tex))
(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/systemlayer/pgf.cfg)
(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-pdftex.d
ef
(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-common-p
df.def)))
(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/systemlayer/pgfsyssoftpath.
code.tex)
(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/systemlayer/pgfsysprotocol.
code.tex))
(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/basiclayer/pgfcore.code.tex
(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex
(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/math/pgfmathcalc.code.tex
(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/math/pgfmathutil.code.tex)
(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/math/pgfmathparser.code.tex
)
(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.code.
tex
(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.basic
.code.tex)
(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.trigo
nometric.code.tex)
(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.rando
m.code.tex)
(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.compa
rison.code.tex)
(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.base.
code.tex)
(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.round
.code.tex)
(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.misc.
code.tex)
(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.integ
erarithmetics.code.tex)))
(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/math/pgfmathfloat.code.tex)
)
(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepoints.co
de.tex)
(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathconst
ruct.code.tex)
(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathusage
.code.tex)
(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/basiclayer/pgfcorescopes.co
de.tex)
(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/basiclayer/pgfcoregraphicst
ate.code.tex)
(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretransform
ations.code.tex)
(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/basiclayer/pgfcorequick.cod
e.tex)
(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreobjects.c
ode.tex)
(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathproce
ssing.code.tex)
(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/basiclayer/pgfcorearrows.co
de.tex)
(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreshade.cod
e.tex)
(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreimage.cod
e.tex
(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreexternal.
code.tex))
(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/basiclayer/pgfcorelayers.co
de.tex)
(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretranspare
ncy.code.tex)
(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepatterns.
code.tex)))
(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/modules/pgfmoduleshapes.cod
e.tex)
(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/modules/pgfmoduleplot.code.
tex)
(/usr/local/texlive/2017/texmf-dist/tex/latex/pgf/compatibility/pgfcomp-version
-0-65.sty)
(/usr/local/texlive/2017/texmf-dist/tex/latex/pgf/compatibility/pgfcomp-version
-1-18.sty))
(/usr/local/texlive/2017/texmf-dist/tex/latex/pgf/utilities/pgffor.sty
(/usr/local/texlive/2017/texmf-dist/tex/latex/pgf/utilities/pgfkeys.sty
(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/utilities/pgfkeys.code.tex)
) (/usr/local/texlive/2017/texmf-dist/tex/latex/pgf/math/pgfmath.sty
(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex))
(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/utilities/pgffor.code.tex
(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex)))
(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/frontendlayer/tikz/tikz.cod
e.tex
(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/libraries/pgflibraryplothan
dlers.code.tex)
(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/modules/pgfmodulematrix.cod
e.tex)
(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/frontendlayer/tikz/librarie
s/tikzlibrarytopaths.code.tex)))
(/usr/local/texlive/2017/texmf-dist/tex/generic/tikz-cd/tikzlibrarycd.code.tex
(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/frontendlayer/tikz/librarie
s/tikzlibrarymatrix.code.tex)
(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/frontendlayer/tikz/librarie
s/tikzlibraryquotes.code.tex)
(/usr/local/texlive/2017/texmf-dist/tex/generic/pgf/libraries/pgflibraryarrows.
meta.code.tex)))
(/usr/local/texlive/2017/texmf-dist/tex/latex/lipsum/lipsum.sty))
(./preamble/fonts.sty
(/usr/local/texlive/2017/texmf-dist/tex/latex/base/fontenc.sty
(/usr/local/texlive/2017/texmf-dist/tex/latex/cyrillic/ot2enc.def)
(/usr/local/texlive/2017/texmf-dist/tex/latex/base/t1enc.def))
(/Users/murray/Library/texmf/tex/latex/lucimatx/lucimatx.sty)
(/usr/local/texlive/2017/texmf-dist/tex/latex/tools/bm.sty)
(/Users/murray/Library/texmf/tex/latex/my/mymath.sty
(/usr/local/texlive/2017/texmf-dist/tex/latex/mathtools/mathtools.sty
(/usr/local/texlive/2017/texmf-dist/tex/latex/mathtools/mhsetup.sty))
(/usr/local/texlive/2017/texmf-dist/tex/latex/oberdiek/centernot.sty)
(/usr/local/texlive/2017/texmf-dist/tex/latex/scalerel/scalerel.sty)
(/Users/murray/Library/texmf/tex/latex/my/mywidebar.sty)
(/Users/murray/Library/texmf/tex/latex/my/myaccents.sty)
>>> Using mymath variant defs for Lucida Bright.
>>> Using mymath variant defs for Lucida Bright.
) (/Users/murray/Library/texmf/tex/generic/diagxy/diagxy.sty
(/usr/local/texlive/2017/texmf-dist/tex/generic/xypic/xy.tex Bootstrap'ing:
catcodes, docmode,
(/usr/local/texlive/2017/texmf-dist/tex/generic/xypic/xyrecat.tex)
(/usr/local/texlive/2017/texmf-dist/tex/generic/xypic/xyidioms.tex)

 Xy-pic version 3.8.9 <2013/10/06>
 Copyright (c) 1991-2013 by Kristoffer H. Rose <krisrose at tug.org> and others
 Xy-pic is free software: see the User's Guide for details.

Loading kernel: messages; fonts; allocations: state, direction,
utility macros; pictures: \xy, positions, objects, decorations;
kernel objects: directionals, circles, text; options; algorithms: directions,
edges, connections;  Xy-pic loaded)
(/usr/local/texlive/2017/texmf-dist/tex/generic/xypic/xyarrow.tex
 Xy-pic option: Arrow and Path feature v.3.9 path, \ar, loaded)
(/usr/local/texlive/2017/texmf-dist/tex/generic/xypic/xycurve.tex
 Xy-pic option: Curve and Spline extension v.3.12 curve, circles, loaded)
(/Users/murray/Library/texmf/tex/latex/lucida/t1hlh.fd))) (./preamble/style.sty

******************************************************
Stock height and width: 794.96999pt by 614.295pt
Top and edge trims: 0pt and 0pt
Page height and width: 663pt by 456pt
Text height and width: 538pt by 336pt
Spine and edge margins: 60pt and 60pt
Upper and lower margins: 67.5pt and 57.5pt
Headheight and headsep: 12pt and 18.06749pt
Footskip: 25.29494pt
Columnsep and columnseprule: 10pt and 0pt
Marginparsep and marginparwidth: 7pt and 46pt
Sidecapsep and sidecapwidth: 7pt and 128pt
Sidebarhsep and sidebarwidth: 7pt and 128pt
Sidebarvsep and sidebartopsep: 12pt and 0pt
Sidebarheight: 548.39996pt
Sidefoothsep and sidefootwidth: 7pt and 128pt
Sidefootvsep and sidefootheight: 12pt and 548.39996pt
******************************************************

(/Users/murray/Library/texmf/tex/latex/lucida/t1hls.fd))
(./preamble/mathdefs.sty
(/usr/local/texlive/2017/texmf-dist/tex/latex/mathtools/empheq.sty)
(/usr/local/texlive/2017/texmf-dist/tex/latex/thmtools/thmtools.sty
(/usr/local/texlive/2017/texmf-dist/tex/latex/thmtools/thm-patch.sty
(/usr/local/texlive/2017/texmf-dist/tex/latex/thmtools/parseargs.sty))
(/usr/local/texlive/2017/texmf-dist/tex/latex/thmtools/thm-kv.sty
(/usr/local/texlive/2017/texmf-dist/tex/generic/oberdiek/kvsetkeys.sty
(/usr/local/texlive/2017/texmf-dist/tex/generic/oberdiek/infwarerr.sty)
(/usr/local/texlive/2017/texmf-dist/tex/generic/oberdiek/etexcmds.sty)))
(/usr/local/texlive/2017/texmf-dist/tex/latex/thmtools/thm-autoref.sty
(/usr/local/texlive/2017/texmf-dist/tex/latex/thmtools/aliasctr.sty
(/usr/local/texlive/2017/texmf-dist/tex/latex/carlisle/remreset.sty)))
(/usr/local/texlive/2017/texmf-dist/tex/latex/thmtools/thm-listof.sty)
(/usr/local/texlive/2017/texmf-dist/tex/latex/thmtools/thm-restate.sty)
(/usr/local/texlive/2017/texmf-dist/tex/latex/thmtools/thm-amsthm.sty))
****************************************
>>> Made patch specific for amsthm.
****************************************
) (./preamble/links.sty
(/usr/local/texlive/2017/texmf-dist/tex/latex/biblatex/biblatex.sty
(/usr/local/texlive/2017/texmf-dist/tex/generic/oberdiek/pdftexcmds.sty
(/usr/local/texlive/2017/texmf-dist/tex/generic/oberdiek/ltxcmds.sty))
(/usr/local/texlive/2017/texmf-dist/tex/latex/oberdiek/kvoptions.sty)
(/usr/local/texlive/2017/texmf-dist/tex/latex/logreq/logreq.sty
(/usr/local/texlive/2017/texmf-dist/tex/latex/logreq/logreq.def))
(/usr/local/texlive/2017/texmf-dist/tex/latex/url/url.sty)
(/usr/local/texlive/2017/texmf-dist/tex/latex/biblatex/blx-dm.def)
(/usr/local/texlive/2017/texmf-dist/tex/latex/biblatex/blx-compat.def)
(/usr/local/texlive/2017/texmf-dist/tex/latex/biblatex/blx-bibtex.def

Package biblatex Warning: Using fall-back BibTeX(8) backend:
(biblatex)                functionality may be reduced/unavailable.

) (/usr/local/texlive/2017/texmf-dist/tex/latex/biblatex/biblatex.def)
(/Users/murray/Library/texmf/tex/latex/biblatex/bbx/mybooknumeric.bbx
(/usr/local/texlive/2017/texmf-dist/tex/latex/biblatex/bbx/standard.bbx)
(/usr/local/texlive/2017/texmf-dist/tex/latex/biblatex/bbx/numeric.bbx))
(/usr/local/texlive/2017/texmf-dist/tex/latex/biblatex/cbx/numeric.cbx)
(./biblatex.cfg))
(/usr/local/texlive/2017/texmf-dist/tex/latex/nomencl/nomencl.sty
Using the configuration file nomencl.cfg
(./nomencl.cfg))
(/usr/local/texlive/2017/texmf-dist/tex/latex/repeatindex/repeatindex.sty
(/usr/local/texlive/2017/texmf-dist/tex/latex/tools/afterpage.sty))
(/usr/local/texlive/2017/texmf-dist/tex/latex/hyperref/hyperref.sty
(/usr/local/texlive/2017/texmf-dist/tex/generic/oberdiek/hobsub-hyperref.sty
(/usr/local/texlive/2017/texmf-dist/tex/generic/oberdiek/hobsub-generic.sty))
(/usr/local/texlive/2017/texmf-dist/tex/latex/oberdiek/auxhook.sty)
(/usr/local/texlive/2017/texmf-dist/tex/latex/hyperref/pd1enc.def)
(/usr/local/texlive/2017/texmf-dist/tex/latex/latexconfig/hyperref.cfg))
(/usr/local/texlive/2017/texmf-dist/tex/latex/memoir/memhfixc.sty)

Package hyperref Message: Driver (autodetected): hpdftex.

(/usr/local/texlive/2017/texmf-dist/tex/latex/hyperref/hpdftex.def
(/usr/local/texlive/2017/texmf-dist/tex/latex/oberdiek/rerunfilecheck.sty))