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

\usepackage{hangul}
\usepackage{amscd,amsmath}
\usepackage{amsfonts}
\usepackage{amssymb,theorem}
\usepackage{longtable}
\usepackage{texdraw, epic, pstcol ,pstricks ,pst-3d, pst-poly,pst-grad,pst-node, pst-text,pst-tree}
\usepackage{graphicx}
\usepackage{graphpap}
\usepackage{mathrsfs}

\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*{Example}

{\bf 1. Contractible space}

  \begin{defn}\textit{
  A space X is contractible to $x_0 \in X$  if  \\$id_X \simeq c,$
  where c : X $ \rightarrow \{x_0\} \subset X $is a constant
  map.}\\
  \end{defn}

{\bf ��} 1. $\mathbb{R}^n$ is contractible.
 %%%%%%%%%%
 %  R^n   %
 %%%%%%%%%%
\psset{unit=1.0cm}
\begin{figure}[h]
\begin{center}
\begin{pspicture}(6,2.5)
\psset{linewidth =.4pt}
%\psgrid[gridwidth =0.1pt,subgridwidth=0.1pt,gridcolor=red,subgridcolor=green]
\rput(3,1.2){
\psline(-3,0)(3,0)%
\psline(0,-1,25)(0,1.25)%
\psline{->}(2,1)(0,0)%
\psdots(2,1)%
\rput(2.2,1){x}%
\rput(-0.25,-0.25){O}%
}
\end{pspicture}
\end{center}
\end{figure}

 %%%%%%%%%%%%%%%%%
 %  end{figure}  %
 %%%%%%%%%%%%%%%%%


  $\hspace{2em}$  F(t,x)=tx  �� �ָ� �̴� id ��  constant map {0} ���� homotopy �� �ش�.

  $\hspace{1em}$ 2. $D^n$ is contractible. ���� F(t,x)=tx �� �ָ� �ȴ�.

   $\hspace{1em}$ 3. Any space which is homeomorphic to a contractible space
   is contractible.

   $\hspace{1em}$ 4. A "tree" is contractible.

 %%%%%%%%%%
 %  tree  %
 %%%%%%%%%%
\psset{unit=1.0cm}
\begin{figure}[h]
\begin{center}
\begin{pspicture}(6,2.5)
\psset{linewidth =.4pt}%
%\psgrid[gridwidth=0.1pt,subgridwidth=0.1pt,gridcolor=red,subgridcolor=green]
\rput(3,1.2){
%tree
\psline(-3,-1.25)(-2,-0.25)%
\psline(-2.5,-0.75)(-3.0,-0.95)%
\psline(-2.5,-0.75)(-2.3,-1.05)%
\psline(-3,-1.25)(-2,-0.25)%
\psline(-2,-0.25)(0,0.0)%
\psline(-2.5,-0.13)(-2,-0.25)%
\psline(-1,-0.125)(-1,0.25)%
\psline(-1,-0.125)(0,-0.25)%
\psline(0,0)(3, 0.25)%
\psline(0,0)(1,0.7)%
\psline(1,0.7)(1.7,0.7)%
\psline(1,0.7)(1.3,1.1)%
\psline(1,0.7)(3,1.25)%
}
\end{pspicture}
\end{center}
\end{figure}
 %%%%%%%%%%%%%%%%%
 %  end{figure}  %
 %%%%%%%%%%%%%%%%%


   $\hspace{1em}$ 5. $S^1$ is not contractible.\\

{\bf Remark.}

1. \textit{  contractible $\Rightarrow$ path connected:}\\
������ �� point�� $x_0$�� ���� path�� ����ȴ�.\\

2. \textit{X is contractible to $x_0 \in X \Rightarrow$ X is
contractible to any other point of X }:

 X�� contractible to $x_0$
�̸�  path connected �̹Ƿ�  $\forall\,\,x_1 \in$ �� ����
$x_0,x_1$ ���̿�  path $\rho$�� �����Ѵ�. F �� $id_X$ �� $c_{x_0}$
���� homotopy�� ��  �� �Ʒ��� ���� ���ǵ� H�� $id_X$�� $c_{x_1}$
���̿� ���ϴ� homotopy�� �ش�.


\[
H(x,t)=
\begin{cases}
F(x,2t) & \text{if $0\leq t \leq \frac{1}{2}$}\\
\rho(2t-1) & \text{if $\frac{1}{2} \leq t \leq 1$}
\end{cases}
\]

3. \textit{ X is contractible $\Leftrightarrow$ X $\simeq$
\{point\} :}

($\Rightarrow$ ����) $\{x_0\} \hookrightarrow X \rightarrow
\{x_0\}$����

$\hspace{7em}i \hspace{2em}c_{x_0}$

$c_{x_0} \circ i = id_{x_0}$ �̰� X �� contractible �̹Ƿ� $ i
\circ c_{x_0} \simeq id_{X} $�̴�. ���� $X \simeq \{x_0\}$ �̴�.

($\Leftarrow$ ����) $X \simeq \{x_0\}$ �̹Ƿ� homotopy equivalence
f: $X \rightarrow \{x_0\},g : \{x_0\} \rightarrow X$ �� �����Ѵ�.
�� �� f�� constant map $c_{x_0}$ �� �ǰ� ���� $g \circ f$ ����
constant map�� �ȴ�. �׷��� $g \circ f \simeq id_{X}$ �̹Ƿ� X ��
contractible�ϴ�.\\

\begin{thm}
X is contrantible $\Rightarrow$  $\pi_1(X) = 0$.
\end{thm}
\begin{proof}
$X \simeq \{x_0\}$ �̹Ƿ� $\pi_1(X) \cong \pi_1(\{point\})=0$.
\end{proof}\\

\newpage

{\bf 2. $\pi _1 (X\times Y)$}

\begin{thm}
If X and Y are path connected, then $\pi_1(X \times Y,(x_0,y_0))
\cong \pi_1(X,x_0) \times \pi_1(Y,y_0)$.
\end{thm}
\begin{proof}
Define $\phi : \pi_1(X \times Y, (x_0,y_0))\rightarrow
\pi_1(X,x_0)\times \pi_1(Y,y_0)$ ,

$\hspace{10em}[\alpha]\hspace{3em}\mapsto \,\,\,\,([p_1 \circ
\alpha],[p_2 \circ \alpha])$

where $p_1,p_2$ are projections to X and Y respectively.

 %%%%%%%%%%%%
 %  product %
 %%%%%%%%%%%%
\psset{unit=2.0cm}
\begin{figure}[h]
\begin{center}
\begin{pspicture}(6,3.0)
\psset{linewidth =.4pt}%
%\psgrid[gridwidth=0.1pt,subgridwidth=0.1pt,gridcolor=red,subgridcolor=green]
\rput(3,1.5){%
\rput(1.8,1.2){$X\times Y$}
%Y
\rput(-1.7,1.0){$Y$}%
\psline(-1.5,1.0)(-1.5,-1.0)%
%X
\rput(1.8,-1.5){$X$}%
\psline(-0.5,-1.5)(1.5,-1.5)%
%square
\psline(-0.5,1.0)(1.5,1.0)%
\psline(-0.5,-1.0)(1.5,-1.0)%
\psline(1.5,1.0)(1.5,-1.0)%
\psline(-0.5,1)(-0.5,-1)%
%p_1,p_2
\psline(0,0)(0,-1.5)%
\psline(0,0)(-1.5,0)%
\rput(0.75,-1.25){$\downarrow p_1$} %
\rput(-1,0.2){$\leftarrow p_2$} %
\rput(0,-1.7){$x_0$}%
\rput(-1.8,-0){$y_0$}%
%origin
\psdots(0,0)%
\rput(-0.25,-0.25){$(x_0 ,y_0 )$}%
%loop
\psbezier[linecolor=red]{->}(0,0)(0,0)(0.5,-1.0)(1,0)%
\psbezier[linecolor=red](0,0)(0,0)(0.5,1.0)(1,0)%
\rput(1.1,-0.125){$\alp$}%
%projection of loop
\psline[linecolor=red](0,-1.5)(1,-1.5)%
\psline[linecolor=red](-1.5,-0.5)(-1.5,0.5)%
\rput(-1.8,0.5){$p_2 \cdot \alp$}%
\rput(1,-1.7){$p_1 \cdot \alp$}%
%
}
\end{pspicture}
\end{center}
\end{figure}

 %%%%%%%%%%%%%%%%%
 %  end{figure}  %
 %%%%%%%%%%%%%%%%%


�Ϲ������� �� homomorphism $\phi_1 : G\rightarrow H_1 ,\,\, \phi_2
: G \rightarrow H_2$ �� ���� $\phi(g) = (\phi_1(g),\phi_2(g)) : G
\rightarrow H_1 \times H_2 $ ���� homomorphism�� �ǹǷ� ��������
$\phi$ �� homomorphism�� �ȴ�. ���� $\phi$�� ���Լ��� ã�� ����
�Ʒ��� ���� $\psi$�� ��������.

 $\,\,\,\,\,\,\,\,\,\,\,\psi : \pi_1(X,x_0)\times\pi_1(Y,y_0) \rightarrow \pi_1(X \times Y,(x_0,y_0))$

 $\hspace{5em}([\beta],[\gamma])\,\,\hspace{2em}\mapsto \hspace{2em}[\delta]$

 $\hspace{2em}$,where $\delta(t)=(\beta(t),\gamma(t))$

 �� $\psi$�� $\phi$ �� ���Լ��� �ǰ� ���� $\psi$ �� ��
 ���ǵǾ������� ���캸�� �ȴ�.

  F : $\beta \sim \beta'$ , G : $\gamma \sim \gamma'$ �� ��
 $H(t,s)=( F(t,s) , G(t,s))$ �� �ָ� �̴� $\delta$ �� $\delta'$
 ������ homotopy�� �ֹǷ� $\psi$ �� �� ���ǵǾ����� �� �� �ִ�.

\end{proof}


{\bf ��:} $\pi _1 (S^1 \times S^1 ) = \pi _1 (S^1 ) \times \pi _1
(S^1 )
= \mathbb{Z} \times \mathbb{Z} \cong \mathbb{Z}^2 $\\

$\hspace{1.5em} \pi _1 (T^n ) = \mathbb{Z}^n $\\

$\hspace{1.5em}\pi (\mathbb{R}^n \times S^1 ) = \mathbb{Z}$\\

\newpage

{\bf 3. Topological group}

\begin{thm}\textit{
 G : a path connected topological group with identity
 e\\$ \hspace{3em}\Rightarrow \pi_1(G,e)$ is abelian.}
\end{thm}

\begin{proof}
$[\alpha] , [\beta] \in \pi_1(G , e)$ �� ���� $[\alpha][\beta] =
[\beta][\alpha]$ ���� ���̱� ����

$[\alpha][\beta][\alpha]^{-1}[\beta]^{-1} = 1$ ���� ������.
$[\alpha][\beta][\alpha]^{-1}[\beta]^{-1}=[\alpha* \beta*
\overline{\alpha}*\overline{\beta}] \simeq 1$ �� ���̱� ����
$\alpha* \beta* \overline{\alpha}*\overline{\beta}$ �� ������ ����
����.

 %%%%%%%%%%%%%%%%%%%%%%%
 %  Topological group  %
 %%%%%%%%%%%%%%%%%%%%%%%
\psset{unit=2.0cm}
\begin{figure}[h]
\begin{center}
\begin{pspicture}(6,3.0)
\psset{linewidth =.4pt}%
%\psgrid[gridwidth=0.1pt,subgridwidth=0.1pt,gridcolor=red,subgridcolor=green]
\rput(3,1.5){%
%�׸�1
\psline{->}(-2.5,0.8)(-1.7,0.8)%
\psline(-1.7,0.8)(-0.9,0.8)%
\rput(-2.5,1){e}%

\psline(-2.5,0.8)(-2.5,0)%
\psline{<-}(-2.5,0)(-2.5,-0.8)%
\rput(-2.5,-1){e}%

\psline(-0.9,0.8)(-0.9,0)%
\psline{<-}(-0.9,0)(-0.9,-0.8)%
\rput(-0.9,1){e}%

\psline{->}(-2.5,-0.8)(-1.7,-0.8)%
\psline(-1.7,-0.8)(-0.9,-0.8)%
\rput(-0.9,-1){e}%

\rput(-1.7,-1.25){�׸� 1}%

\rput(-2.8,0){I}%
\rput(-1.7,-1){I}%

\rput(-2.3,0){$\bet$}%
\rput(-0.7,0){$\bet$}%

\rput(-1.7,-0.6){$\alp$}%
\rput(-1.7,1){$\alp$}%

\psline[linecolor=red,linestyle=dashed](-2.1,-0.8)(-2.1,-0.3)%
\psline[linecolor=red,linestyle=dashed](-2.5,-0.3)(-2.1,-0.3)%

%�׸�2
\pscircle(1.7,0){1}%
\rput(1.7,-1.25){�׸� 2}

\rput(1.7,0)%
{%
\psset{unit=1.5cm}
 %origin
 \psdot(0,0)%
 \rput(-0.2,0){e}%

 % #1
 \psbezier(0,0)(0,0)(0.3535,0.3535)(0.3535,0.6123)
 \psbezier{->}(0.3535,0.6123)(0.3535,0.6123)(0.3535,0.7862)(0.2409,0.8989)
 \psbezier(0.2409,0.8989)(0.2409,0.8989)(0.1397,1)(0,1)
 % #2
 \psbezier(0,1)(-0.1397,1)(-0.2409,0.8989)(-0.2409,0.8989)
 \psbezier(-0.2409,0.8989)(-0.3535,0.7862)(-0.3535,0.6123)(-0.3535,0.6123)
 \psbezier (-0.3535,0.6123)(-0.3535,0.3535)(0,0)(0,0)%%%%%%%%%%%%
 \rput(0.5,-0.3){$\alp$}%
 % #3
 \psbezier(0,0)(0,0)(0.3535,-0.3535)(0.3535,-0.6123)
 \psbezier{->}(0.3535,-0.6123)(0.3535,-0.6123)(0.3535,-0.7862)(0.2409,-0.8989)
 \psbezier(0.2409,-0.8989)(0.2409,-0.8989)(0.1397,-1)(0,-1)
 % #4
 \psbezier(0,-1)(-0.1397,-1)(-0.2409,-0.8989)(-0.2409,-0.8989)
 \psbezier(-0.2409,-0.8989)(-0.3535,-0.7862)(-0.3535,-0.6123)(-0.3535,-0.6123)
 \psbezier (-0.3535,-0.6123)(-0.3535,-0.3535)(0,0)(0,0)%%%%%%%%%%%%
 \rput(0.5,0.3){$\bet$}%
}
%F
\rput(0,0.2){$\longrightarrow$}%
\rput(0,0){$\exists F$ ?}%
}
\end{pspicture}
\end{center}
\end{figure}


 �׸� 2���� ���� ����,

F : $I^2 \rightarrow G$ given by F(t,s)=$\alpha(t)\beta(s)$ ��
group G �ȿ� ���� ���ǵǹǷ� $I^2$�󿡼� �����Լ��� �� ���ǵǰ�
$I^2$�� boundary�� ��ǻ� $\alpha* \beta*
\overline{\alpha}*\overline{\beta}$�� �ش�.

����

$[\alpha][\beta][\alpha]^{-1}[\beta]^{-1} = F_{\sharp}([\partial
I^2]) = F_{\sharp}(1) = 1.$

\end{proof}\\

{\bf ����3.}  $[\alpha]\in \pi_1(X,x_0)$, $\alpha : S^1 = \partial
D^2 \rightarrow X$  �� ����\\\textit{$[\alpha]=1$ if and only if
$\alpha$ can be extended to $D^2$}

\end{document}
