\documentclass[12pt ]{article}
\setlength{\textwidth}{14 true cm} \setlength{\textheight}{20 true
cm}

\usepackage{graphicx}
\usepackage{hangul}
\usepackage{amscd,amsmath}
\usepackage{amsfonts}
\usepackage{amssymb,theorem}
\usepackage{longtable}
\newcommand{\Aff}{\mbox{\it Aff}}
\newcommand{\aff}{\mbox{\it aff}}


\newcommand{\alp}{\alpha}
\newcommand{\bet}{\beta}
\newcommand{\del}{\delta}
\newcommand{\gam}{\gamma}
\newcommand{\vep}{\varepsilon}
\newcommand{\eps}{\epsilon}
\newcommand{\lam}{\lambda}
\newcommand{\kap}{\kappa}
\newcommand{\sig}{\sigma}
\newcommand{\ome}{\omega}
\newcommand{\Gam}{\Gamma}
\newcommand{\Ome}{\Omega}
\newcommand{\Sig}{\Sigma}
\newcommand{\Del}{\Delta}
\newcommand{\Lam}{\Lambda}


\newtheorem{thm}{����}
\newtheorem{cor}[thm]{��������}
\newtheorem{lem}[thm]{��������}
\newtheorem{prop}[thm]{����}
\newtheorem{cl}{Claim}

{\theorembodyfont{\rm}
\newtheorem{ex}{��}
\newtheorem{que}{����}
\newtheorem{notation}{Notation}[section]
\newtheorem{defn}{����}
\newtheorem{rem}{��}
\newtheorem{note}{Note}
}
\renewcommand{\thenote}{}
\renewcommand{\therem}{}

\newenvironment{proof}{{\bf ����}}{\hfill\framebox[2mm]{}}
\newenvironment{proof1}{{\bf ��������}}{\hfill\framebox[2mm]{}}

\begin{document}
 \parindent=0cm
\section*{Homotopy invariance(preliminary version)}
\begin{thm}
$f,g:(X,x_0) \rightarrow (Y,y_0)$  and  $f \simeq g$ relative to
$x_0$.\\
$ \Rightarrow f_{\sharp}=g_{\sharp} $ : $\pi_1(X,x_0) \rightarrow
\pi_1(Y,y_0)$.
\end{thm}

\begin{proof}
\begin{figure}[htb]

\centerline{\includegraphics*[scale=0.4,clip=true]{homo1.eps}}

\end{figure}
$F$(t,s)�� $f$ �� $g$ ������ homotopy �� �ϸ�,
$G$(t,s)=$F(\alpha$(t),s)�� $f \circ \alpha$ �� $g \circ \alpha$
������ homotopy�� �ش�. ����

$f_{\sharp}([\alpha])= [f \circ \alpha] = [g \circ \alpha] =
g_{\sharp}([\alpha])$.
\end{proof}

\begin{cor}
$f:(X,x_0) \rightarrow (Y,y_0), g:(Y,y_0)\rightarrow (X,x_0)$ and
$g\circ f \simeq 1_X$ relative to $x_0$ , $f \circ g \simeq 1_Y$
relative to $y_0$.

$\Rightarrow f_{\sharp}=(g_{\sharp})^{-1} : \pi_1 (X,x_0)
\rightarrow \pi_1 (Y,y_0)$ is an isomorphism.
\end{cor}

\begin{proof}
$g \circ f \simeq 1_X$ relative to $x_0$ �̹Ƿ�  $g_{\sharp} \circ
f_{\sharp} = (g \circ f)_{\sharp} = (id_X)_{\sharp} =
id$�̴�.\\

���� ������� $f_{\sharp} \circ g_{\sharp} = (f \circ g)_{\sharp}
= (id_Y)_{\sharp} = id$�̴�.

\end{proof}

\begin{defn}
$X$ is homotopy equivalent to $Y$ (or $X$ has the same homotopy type as $Y$), denoted by $X \simeq Y$,\\
if  $\,\,\,\,\exists f$ : $X \rightarrow Y$ and $g$ : $Y
\rightarrow X$ such that $f\circ g \simeq 1_Y$ and $g\circ f
\simeq 1_X$.
\\In this case $f$ is called a homotopy equivalence.
\end{defn}

{\bf Example.} $\textbf{R}^2 \setminus \{0\} \simeq S^1.$\\

$\textbf{R}^2 \setminus \{0\}$�� $X$, $S^1$�� $Y$��� ����.\\
$f(x)=\frac{x}{|x|}\,\, , g = inclusion$ ���� �ָ� $f \circ g =
1_{Y}$ �� ���� �ڸ��ϴ�.

���� $F(x,t)=(1-t)x + t\frac{x}{|x|}$ �̶�� �θ� \\

$\hspace{2em}$  $F(x,0) = x$  $\hspace{2em}$  $F(x,1) =
\frac{x}{|x|} =f(x)$\\

���� $g \circ f \simeq id_X$ �̰� $X$�� $Y$�� same homotopy type�� ���´�.\\

{\bf ���� 1.}

1. $\textbf{R}^n \setminus \{0\} \simeq S^{n-1}.$\\
2. $\simeq$ is an equivalence relation.\\
3. M\"{o}bius band �� annulus�� homotopy type �� ������?\\
4. $T^2 \setminus \{point\} \simeq$ figure eight.\\


\end{document}
