\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*{Definition of Fundamental Group}
\begin{defn}\textit{
$\Omega(X,x_0) := \{\alpha : I\rightarrow X \mid
\alpha(0)=\alpha(1)=x_0\}$ :  loop space of X based at $x_0$.}
\end{defn}

\textit{Define $\sim$ on $\Omega=\Omega(X,x_0) : \alpha \sim
\beta\Leftrightarrow \alpha\simeq \beta$ relative to $\partial I$},

i.e., $\exists$ $ F : I \times I \rightarrow X$ such that

$\hspace{2em}$     1. $F(t,0) = \alpha(t),\forall t \in I.$

$\hspace{2em}$     2. $F(t,1) = \beta(t), \forall t \in I.$

$\hspace{2em}$     3. $F(0,s) = x_0 = F(1,s), \forall s \in I.$

%
%�׸��Դϴ�~~~~
%
%
In general for $f$ and $g$ : $X\rightarrow Y$, $f$ is homotophic to $g$,
denoted by $f \simeq g$,

if $\exists$ a map $F : X \times I \rightarrow  Y$ such that

$\hspace{2em}$ 1. $F(x,0)=f(x), \forall x \in X.$

$\hspace{2em}$ 2. $F(x,1)=g(x), \forall x \in X$.

{\bf Note.}  $\sim$ is an equivalence relation.

 (reflexive)  $\alpha \sim \alpha$

 (symmetric)  $\alpha \sim \beta \Rightarrow \beta \sim \alpha$ :

 $\alpha \sim \beta$�� �ִ�  homotopy F�� ����
 G(t,s)=F(t,1-s)�� �ָ� �̴�  $\beta \sim \alpha$ �� �����ϴ�
 homotopy�� �ȴ�.

 (transitive)  $\alpha \sim \beta , \beta \sim \gamma \Rightarrow \alpha \sim
 \gamma$ :

F: homotopy between $\alpha$ and $\beta$, G: homotopy between
$\beta$ and $\gamma$ �� ����. �� ��, H��

$$H(t,s)=\left \{\begin{array}{1}F(t,2s)\,\,\,\,\,\,  0\leq s \leq \frac{1}{2}\\ G(t,2s-1)\,\,\,\,\,\,  \frac{1}{2} \leq s \leq 1\end{array}
\right.$$

�� �θ� H �� $\alpha$ �� $\gamma$ ������ homotopy�� �ȴ�.\\

{\bf   Introduce a group structure on $\Omega / \sim$. }

�� ���� loop �Ǵ� �Ϲ������� �� ���� path $\alpha , \beta$��
���ؼ� product path $\alpha*\beta$��

$$\alpha * \beta (t)=\left\{\begin{array}{1} \alpha(2t),\,\,\,\,\,\, 0\leq t \leq \frac{1}{2}
 \\ \beta(2t-1),\,\,\,\,\,\,\frac{1}{2}\leq t \leq 1 \end{array} \right.$$

�� ��������. �׷���

 \textit{(a) $*$ defines a multiplication on $\Omega/\sim$,
 i.e.,  $\{\alpha\}\{\beta\}=\{\alpha*\beta\}$} :

�� ���� $\Omega / \sim$ ���� �� ���ǰ� �ȴٴ� ���� ������.

Show $\alpha_1 \sim \alpha_2,\beta_1 \sim \beta_2 \Rightarrow
\alpha_1 * \beta_1 \sim \alpha_2 * \beta_2$:
%
%
%�׸�~~~~~~~~~
%
%

F�� $\alpha_1, \alpha_2$�� homotopy, G�� $\beta_1, \beta_2$ ��
homotopy�� �θ�

$$H(t,s)=\left\{\begin{array}{1}F(2t,s),\,\,\,\,\,\,0\leq t \leq \frac{1}{2}\\
 G(2t-1,s),\,\,\,\,\,\, \frac{1}{2}\leq t \leq 1 \end{array}\right. $$

�� $\alpha_1*\beta_1,\alpha_2*\beta_2$ ������ homotopy �� �ش�.

$\therefore \{\alpha\}\{\beta\} = \{\alpha*\beta\}$ is well
defined on $\Omega/\sim$. \\ \\  \textit{(b) Associativity, i.e.,
 $(\alpha * \beta)*\gamma \sim \alpha*(\beta * \gamma)$} :

$(\alpha * \beta)*\gamma$ ��  $\alpha*(\beta * \gamma)$ �� ��ǻ�
���� path �� reparametrization�̹Ƿ� ���� Note�� ���̸� �ȴ�.
%
%
%�׸��Դϴ�~
%
%

$\\${\bf Note.} In general, if $\beta(t)=\alpha(\phi(t))$ where
$\phi : I \rightarrow I $  with $\phi(0)=0$ and $\phi(1)=1$, is a
\textit{reparametrization},
 then $\alpha \sim \beta.$
%
%
%�׸�~~~~~
%
%

(����) F(t,s) : = $\alpha(s \phi(t) + (1-s)t)$  �� �����̰�\\
 $F(t,0)=\alpha(t)$, $F(t,1)=\alpha(\phi(t))=\beta(t)$ ���̿�
���ϴ� homotopy�� �ش�.\\

 \textit{(c) Existence of an identity e: I $\rightarrow \{x_0\}
\subset X.$ (a constant loop.)}

$\alpha*e$ ��  $\alpha$�� reparametrization�̹Ƿ�  ����  Note��
���� $\alpha*e \sim \alpha \sim e
* \alpha.$\\

\textit{(d)Existence of an inverse.}

Given $\alpha \in \Omega$, define $\overline{\alpha}(t):=
\alpha(1-t).$ Then  $\alpha*\overline{\alpha} \sim e \sim
\overline{\alpha}*\alpha.\\F : I \times I \rightarrow X  $ ��
������ ���� ��������.

$$F(t,u)=\left\{\begin{array}{1}\alpha(2t), \,\,\,\,\,\,\,\,\,\,\,\,0\leq u\leq
1-2t. \\\overline{\alpha}(2t-1),\,\,\,\,\,\, u\leq 2t-1.\\
\alpha(1-u)=\overline{\alpha}(u), \,\,\,\,\,\,u\geq
|1-2t|.\end{array} \right.$$

�׷���  F�� �����̰� $\alpha * \overline{\alpha}$�� e ���̿�
homotopy�� �ش�. ���� �������  $\overline{\alpha}*\alpha \sim e$
�� ���� ���� �� �ִ�.

\begin{defn}\textit{(The fundamental group.)}

$\pi_1(X,x_0) := \Omega(X,x_0)/\sim $�� X��  fundamental group
(based at $x_0$)��� �θ���.
\end{defn}
\end{document}
