\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}{Theorem}
\newtheorem{cor}[thm]{Corollary}
\newtheorem{lem}[thm]{Lemma}
\newtheorem{prop}[thm]{Proposition}
\newtheorem{cl}{Claim}

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

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

\newcommand{\Real}{\mathbb{R}}

\begin{document}

\section*{Definition and Examples}

\begin{defn}
A topological space $M$ is an {\bf n-dimensional manifold} or
({\bf n-manifold}) if
\begin{enumerate}
\item $M$ is Hausdorff,
\item $M$ is locally Euclidean, i.e.,
$\forall x \in M,$  $\exists$ a neighborhood $U$ of $x$ such that
$U$ is homeomorphic to an open set in $ \Real^n $.
\end{enumerate}
\end{defn}
���⼭ $U$�� $ \Real^n $�� homeomorphic�� neighborhood ���
�䱸�Ͽ��� �� ���ǿ� equivalent �ϴ�.

For an open set $U$ of a manifold, let $\phi : U \rightarrow
\phi(U) \subset \Real ^n $ be a homeomorphism. We call $(U,\phi )$
a {\bf coordinate chart}.

\begin{defn}
Let $M$ be an n-manifold. $M$ is a {\bf differentiable manifold}
if there is a system of open coordinate charts $\{ ( U_\alpha ,
\phi_\alpha ) \} $ covering $M\mathcal{\mathcal{}}$ such that

$$g_{\bet \alp} = \phi_\bet \circ \phi_\alp^{-1} : \phi_\alp ( U_\alp \cap U_\bet ) \to \phi_\beta ( U_\alp \cap U_\bet ),
 \forall \alp, \bet $$
is differentiable. $g_{\bet \alp}$ is called a {\bf coordinate
transition map}.
\end{defn}

�Ϲ������� coordinate transition map�� � ������ �ִ��Ŀ� ����
M�� ������ �����ȴ�. ���� ��� coordinate transition map����
$\mathcal C\mathbb{}^k$ differentiable �̸� M�� $\mathcal C^k$
differentiable manifold�� �θ���, real analytic�� �ǰ� coordinate
system�� ��� �� �� ������ M�� real analytic manifold�� �ǰ�
transition�� Euclidean rigid motion �� �ǰ� ���� �� ������ M��
Euclidean manifold�� �ȴ�. ���� coordinate chart���� $ \Real^n $
��� $ \mathbb C^n $ �� ��� transition�� holomorphic map ����
���� �� ������ complex manifold�� �ȴ�. Ư�� 1���� complex
manifold�� Riemann surface��� �θ���.

\begin{ex}
Manifolds

\begin{enumerate}
\item $\Real^n$ itself.
\item A space with discrete topology, in which every set is open, is 0-manifold.
\item An open set in $\Real^n$.
\item $S^n \subset \Real^{n+1}$.
\item A smooth surface in $\Real^3$: $\{ (x,y,z) | f(x,y,z)= 0 \}$ when $\nabla f \neq 0 $.
\item An open set of n-manifold.
\item non-Hausdorff manifold: Consider the real line $\Real$ with standard topology. Add one more point $0'$ to $\Real$ set-theoretically,
 and give a topology as follows: (1)The open sets of the original real line are open.
 (2)For any open set $U$ containing 0, the set $(U \cup \{0' \}) - \{0\} $ is open.
 Then this space $\Real \cup \{ 0'\}$ is locally homeomorphic to $\Real$ but not Hausdorff
 since any two neighborhoods $U$ of $0$ and $V$ of $0'$ intersect.
 \item $\infty$(Figure 8) is not a manifold.

\end{enumerate}
\end{ex}

HW1. Show that $S^n$ is a $\mathcal C^{\infty}$ manifold.
\end{document}
