% This file requires figure.eps, and
% it should be processed by latex and then by dvipdfm.
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%% Topology Proceedings Sample Latex Article %%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\documentclass{amsart}
\usepackage[T1]{fontenc} %%%%%%%Please do not change
\usepackage{graphics} %%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% Please do not change this paragraph. %%%%%%%
\setcounter{page}{1} %%%%%%%
\setlength{\textwidth}{4.4in} %%%%%%%
\setlength{\textheight}{7.0in} %%%%%%%
\setlength{\evensidemargin}{1in} %%%%%%%
\setlength{\oddsidemargin}{1in} %%%%%%%
\setlength{\topmargin}{.8in} %%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% Please do not change the page size %%%%%%%
% and do not redefine the baselineskip.%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\newtheorem{theorem}{Theorem}[section]
\newtheorem{lemma}[theorem]{Lemma}
\newtheorem{proposition}[theorem]{Proposition}
\theoremstyle{definition}
\newtheorem{definition}[theorem]{Definition}
\newtheorem{remark}[theorem]{Remark}
\numberwithin{equation}{section}
\begin{document}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% This a placeholder for the TOPLOGY PROCEEDINGS logo %%%%%%
\noindent %%%%%%
\begin{picture}(150,36) %%%%%%
\put(5,20){\tiny{Submitted to}} %%%%%%
\put(5,7){\textbf{Topology Proceedings}} %%%%%%
\put(0,0){\framebox(140,34){}} %%%%%%
\put(2,2){\framebox(136,30){}} %%%%%%
\end{picture} %%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\vspace{0.5in}
\renewcommand{\bf}{\bfseries}
\renewcommand{\sc}{\scshape}
%insert defs/styles
\vspace{0.5in}
\title[Topology Proceedings Example Article]%
{Topology Proceedings \\Example for the Authors}
% Information for first author:
\author{Author One}
\address{Department of Mathematics \& Statistics; Auburn University;
Auburn, Alabama 36849}
% Current address (if needed):
%\curraddr{}
\email{topolog@auburn.edu}
%\thanks{The first author was supported in part by NSF Grant \#000000.}
% Information for second author (if needed):
%\author{Author Two}
%\address{}
%\email{}
%\thanks{Support information for the second author.}
% General info
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\subjclass[2010]{Primary 54X10, 58Y30, 18D35; Secondary 55Z10} %
% %
% Please use the current 2010 Mathematics Subject Classification: %
% http://www.ams.org/mathscinet/msc/ %
% http://www.zentralblatt-math.org/msc/en/ %
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\keywords{Some objects, some conditions}
\thanks {ALL references are real and correct; ALL citations are imaginary.}
\begin{abstract} This paper
contains a sample article in the Topology Proceedings format.
The article includes two examples of figures with EPS graphics.
\end{abstract}
\maketitle
\section{\bf Introduction}
This is a sample article in the TOPOLOGY PROCEEDINGS format.
Prepare your paper in a similar manner before submitting it
to TOPOLOGY PROCEEDINGS.
Please do not change the page size and do not redefine the other pagestyle
parameters like for example\newline
\noindent$\backslash$pagenumbering,
$\backslash$pagestyle,
$\backslash$baselineskip,
etc.
\section{\bf Including Figures}
This version of the article includes two examples of figures with EPS graphics. Figure~\ref{tpmap} shows how to include an EPS graphic in the figure environment. Figure~\ref{tpmapwithletters} shows how to add \LaTeX{} lettering and symbols to a graphic. Please see the source file for more information about the figures.
When including graphics please use the following guidelines:
\noindent$\bullet$ We should be able to process your source files either by latex and then by a dvi-to-pdf converter (like dvipdfm), or by pdflatex.
\noindent$\bullet$ Put your graphics in the figure environment and let them float (be positioned automatically within the paper, \LaTeX{} default).
\noindent$\bullet$ Your figures cannot be wider than the standard text width in the paper.
\noindent$\bullet$ Whenever possible, use vector graphics ("drawings" with objects geometrically defined). If bitmap graphics must be used (for example, if a photograph is included), please make sure that the resolution is high enough to look good when printed on a 600 dpi black and white printer.
\noindent$\bullet$ If your figure contains lettering, its fonts, sizes, and styles must match those of the body of the articles. This is especially important for all math lettering and symbols. It is usually easier to achieve the proper \LaTeX{} standard if the lettering is added in \LaTeX{}; see Figure~\ref{tpmapwithletters} for an example.
\noindent$\bullet$ Color may be used in graphics, but the figures should also be readable when printed on a 600 dpi black and white printer. (The print version of TOPOLOGY PROCEEDINGS is in black and white only, while the electronic version will show color if used.)
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%FIGURE 1%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%% An example of including a figure with an eps graphic %%
%% The file figure.eps was exported from a graphic program. %%
%% Notice that %%
%% \usepackage{graphics} %%
%% was added in the beginning of this file. %%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\begin{figure}
\scalebox{0.6}{\includegraphics{figure.eps}}
\caption{An EPS Picture Example.}\label{tpmap}
\end{figure}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%FIGURE 2%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%% An example of including a figure with an eps graphic %%
%% The file figure.eps was exported from a graphic program. %%
%% The lettering was added in LaTeX picture environment %%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\begin{figure}
\begin{picture}(260,71)
\put(0,0){\scalebox{0.6}{\includegraphics{figure.eps}}}
\put(125,40){$f_{\epsilon}$}
\put(42,25){$p_1$}
\put(201,38){$f_{\epsilon}(p_1)$}
\end{picture}
\caption{A Picture with \LaTeX{} Lettering.}\label{tpmapwithletters}
\end{figure}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%Comments on FIGURE 2%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% The picture environment:\begin{picture}(w,h) ... \end{picture}
% where w, h is the picture width and height
% (by default in the units of 1pt =1/72 inch)
% Basic picture command: \put(x,y){object}
% In Figure 2 the command:
% \put(0,0){\scalebox{0.6}{\includegraphics{figure.eps}}}
% places the graphic figure.eps scaled to 60% in the picture,
% with the left lower corner of the graphic placed at the
% left lover corner of the picture.
% The numbers 260, 71 in \begin{picture}(260,71) were chosen to
% coincide with the width and height of the rescaled graphic,
% see below for how to get the size of an EPS graphic.
% The coordinates x,y in the remaining three \put(x,y){...}
% were selected by trial and error.
%
%
% To get the size of an EPS graphic open the EPS file with
% a text editor. Look for a line in the form:
% %%BoundingBox: left_x lower_y right_x upper_y
% specifying the coordinates of the bounding rectangle.
% In the case of figure.eps the BoundingBox line is
% %%BoundingBox: 51 339 483 456
% So, the graphic width 483-51=432
% and the graphic height 456-339=117
% Since figure.eps was scaled to 60% its dimensions in the picture are
% width 432*0.6 = 259.2 rounded up to 260. and
% height 117*0.6= 70.2 rounded up to 71.
% Increasing 260, 71 in \begin{picture}(260,71) would produce additional
% space that could be used for including more picture elements.
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\section{\bf Main Results}
Let $\mathcal{S}$ denote the set of objects satisfying some condition.
\begin{definition}Let $n$ be a positive integer. An object has
the property $P(n)$ if
some additional condition involving the integer $n$ is satisfied.
We will denote
by $S_n$ the set of all $s$ in $\mathcal{S}$ with
the property $P(n)$.
\end{definition}
The following proposition is a simple consequence of the definition.
\begin{proposition}\label{Prop1}
The sets $S_1,S_2,\dots$ are mutually
exclusive.
\end{proposition}
\begin{lemma}
If $\mathcal{S}$ is infinite, then $\mathcal{S}=\bigcup_{n=1}^{\infty}S_n$.
\end{lemma}
\begin{proof}
Since $\mathcal{S}$ is the set of objects satisfying some condition,
it follows from \cite{A}
that
\begin{equation}\label{myeq}
\operatorname{obj}(\mathcal{S})<1.
\end{equation}
By \cite[Theorem 3.17]{E}, we have
\[
\operatorname{obj}(S_n)>2^{-n}
\]
for each positive integer $n$. This result, combined with (\ref{myeq}) and
Proposition \ref{Prop1}, completes the proof of the lemma.
\end{proof}
\begin{theorem}[Main Theorem]
Let $f:\mathcal{S}\to\mathcal{S}$ be a function such that
$f(S_n)\subset S_{n+1}$ for each positive integer $n$. Then the following
conditions are equivalent.
\begin{enumerate}
\item $\mathcal{S}=\emptyset$.
\item $S_n=\emptyset$ for each positive integer $n$.
\item $f(\mathcal{S})=\mathcal{S}$.
\end{enumerate}
\end{theorem}
\begin{remark} Observe that the condition in the definition
of $\mathcal{S}$ may be replaced by some other condition.
\end{remark}
\bibliographystyle{plain}
\begin{thebibliography}{10}
\smallskip
\bibitem{A} A. V. Arhangel'ski\u{i} and Scotty L. Thompson, {\it The cleavability approach to comparing topological spaces}, Questions Answers Gen. Topology {\bf 28} (2010), no. 2, 133--145.
\smallskip
\bibitem{B} Karol Borsuk, {\it On a new shape invariant}, Topology Proc. {\bf 1} (1976), 1--9.
\smallskip
\bibitem{E} Ryszard Engelking, {\it General Topology}. Translated from the Polish by the author. Monografie Matematyczne, Tom 60. [Mathematical Monographs, Vol. 60]. Warsaw: PWN---Polish Scientific Publishers, 1977.
\smallskip
\bibitem{K} Bronis\l av Knaster, {\it On applications of mathematical logic to mathematics} (Czech), \v{C}asopis P\v{e}st. Mat. {\bf 76} (1951), 3--22.
\smallskip
\bibitem{M} Kiiti Morita and Jun-iti Nagata, eds. {\it Topics in General Topology}. North-Holland Mathematical Library, 41. Amsterdam: North-Holland Publishing Co., 1989.
\smallskip
\bibitem{R} Mary Ellen Rudin, {\it A biconnected set in the plane}, Topology Appl. {\bf 66} (1995), no. 1, 41--48.
\smallskip
\bibitem{T} William P. Thurston, {\it On the geometry and dynamics of iterated rational maps}, in Complex Dynamics: Families and Friends. Ed. Dierk Schleicher. Wellesley, MA: A K Peters, 2009. 3--137.
\end{thebibliography}
\end{document}