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

\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(X,x_0) \rightarrow
\pi(Y,y_0)$.
\end{thm}
\begin{proof}
F(x,t)�� f �� g ������ homotopy �� �ϸ�,
G(x,t)=F($\alpha(x),t)$�� $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 = 1_X$ relative to $x_0, f\circ g = 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{defn}
\textit{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}

���� �� �������� 2��  $\,\,\pi_1$ ��  homotopy ( base point
$x_0$ �� �����ϴ� ) equivalent �� �����鿡 ���� ���ٴ� ����
�����ش�.

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

$f(x)=\frac{x}{|x|}\,\, ,  g = inclusion$ ���� �ָ� $f \circ g =
1_{Y}$ �̰�

$g \circ f $ �� $F(x,t)=(1-t)x + t\frac{x}{|x|}$ �� ���� $1_{X}$
�� homotopic�ϴ�.\\\\{\bf ���� 4.}

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}
