equal
deleted
inserted
replaced
|
1 |
1 \documentclass[10pt,a4paper,twoside]{article} |
2 \documentclass[10pt,a4paper,twoside]{article} |
2 %\documentclass[11pt,a4paper,twoside]{article} |
|
3 |
3 |
4 \usepackage{latexsym,theorem} |
4 \usepackage{latexsym,theorem} |
5 \usepackage{isabelle,isabellesym,bbb} |
5 \usepackage{isabelle,isabellesym} |
6 \usepackage{pdfsetup} %last one! |
6 \usepackage{pdfsetup} %last one! |
|
7 |
|
8 \isabellestyle{it} |
7 \urlstyle{rm} |
9 \urlstyle{rm} |
8 |
10 |
9 \input{notation} |
11 \newcommand{\isasymsup}{\isamath{\sup\,}} |
|
12 \newcommand{\skp}{\smallskip} |
|
13 |
10 |
14 |
11 \begin{document} |
15 \begin{document} |
12 |
16 |
13 \pagestyle{headings} |
17 \pagestyle{headings} |
14 \pagenumbering{arabic} |
18 \pagenumbering{arabic} |
48 |
52 |
49 |
53 |
50 \clearpage |
54 \clearpage |
51 \part {Basic Notions} |
55 \part {Basic Notions} |
52 |
56 |
53 \input{Bounds.tex} |
57 \input{Bounds} |
54 \input{Aux.tex} |
58 \input{Aux} |
55 \input{VectorSpace.tex} |
59 \input{VectorSpace} |
56 \input{Subspace.tex} |
60 \input{Subspace} |
57 \input{NormedSpace.tex} |
61 \input{NormedSpace} |
58 \input{Linearform.tex} |
62 \input{Linearform} |
59 \input{FunctionOrder.tex} |
63 \input{FunctionOrder} |
60 \input{FunctionNorm.tex} |
64 \input{FunctionNorm} |
61 \input{ZornLemma.tex} |
65 \input{ZornLemma} |
62 |
66 |
63 \clearpage |
67 \clearpage |
64 \part {Lemmas for the Proof} |
68 \part {Lemmas for the Proof} |
65 |
69 |
66 \input{HahnBanachSupLemmas.tex} |
70 \input{HahnBanachSupLemmas} |
67 \input{HahnBanachExtLemmas.tex} |
71 \input{HahnBanachExtLemmas} |
68 \input{HahnBanachLemmas.tex} |
72 \input{HahnBanachLemmas} |
69 |
73 |
70 \clearpage |
74 \clearpage |
71 \part {The Main Proof} |
75 \part {The Main Proof} |
72 |
76 |
73 \input{HahnBanach.tex} |
77 \input{HahnBanach} |
74 \bibliographystyle{abbrv} |
78 \bibliographystyle{abbrv} |
75 \bibliography{root} |
79 \bibliography{root} |
76 |
80 |
77 \end{document} |
81 \end{document} |