\documentclass[11pt ]{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{\we}{\wedge}
\newcommand{\vts}{v_1\otimes\cdot\cdot\cdot\ot v_k}
\newcommand{\vs}{V_{1}\times\cdot\cdot\cdot\times V_k}
\newcommand{\ot}{\otimes}
\newcommand{\pauo}{\frac{\partial}{\partial u_1}}
\newcommand{\paui}{\frac{\partial}{\partial u_i}}
\newcommand{\pauj}{\frac{\partial}{\partial u_j}}
\newcommand{\wid}{\widetilde}
\newcommand{\ml}{\mathcal{L}}
\newcommand{\hs}{\hspace}
\newcommand{\inv}{^{-1}}
\newcommand{\vphi}{\varphi}
\newcommand{\pax}{\frac{\partial}{\partial x}}
\newcommand{\pay}{\frac{\partial}{\partial y}}
\newcommand{\paz}{\frac{\partial}{\partial z}}
\newcommand{\paxi}{\frac{\partial}{\partial x_i}}
\newcommand{\payj}{\frac{\partial}{\partial y_j}}
\newcommand{\paxj}{\frac{\partial}{\partial x_j}}
\newcommand{\payi}{\frac{\partial}{\partial y_i}}
\newcommand{\li}{[X,Y]}
\newcommand{\dis}{\displaystyle}
\newcommand{\disi}{\displaystyle{\sum_{i=1}^n}}
\newcommand{\disj}{\displaystyle{\sum_{j=1}^n}}
\newcommand{\pa}{\partial}
\newcommand{\Aff}{\mbox{\it Aff}}
\newcommand{\aff}{\mbox{\it aff}}
\newcommand{\cc}{\mathcal{C}}
\newcommand{\dc}{\mathcal{D}}
\newcommand{\fc}{\mathcal{F}}

\newcommand{\h}{\hspace{1em}}
\newcommand{\hh}{\hspace{2em}}
\newcommand{\hhh}{\hspace{3em}}
\newcommand{\hhhh}{\hspace{4em}}

\newcommand{\ccn}{\mathcal{C}^{\infty}}
\newcommand{\sbb}{\mathbb{S}}
\newcommand{\rb}{\mathbb{R}}
\newcommand{\cb}{\mathbb{C}}

\newcommand{\rc}{\mathcal{R}}
\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}
\newcommand{\pr}{(\,\,,\,\,)}

\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*{ 5. Tensors as multi-linear functions.}

  $<$Non-singular pairing.$>$

  A pairing of $V$ and $W$ is a bilinear map $(\,\,,\,\,):V\times
  W\rightarrow\rb(or\,\,\cb)$.

  $(\,\,,\,\,)$ is nonsingular if $(1)(v,\forall w)=0\Rightarrow v=0$

  $\hs{9.5em}(2)(\forall v,w)=0\Rightarrow w=0$

  $(1)\Leftrightarrow V\rightarrow W^*$ is 1-1.

  $\hs{3em}v\mapsto(v,\,\,)$

$(2)\Leftrightarrow W\rightarrow V^*$ is 1-1.

  $\hs{3em}w\mapsto(\,\,,w)$

  ������ $dim\,V\leq dim\,W^*$,$dim\,W\leq dim\,V^*$�� ���� �� �ְ� $dim\,V=dim\,V^*$�̹Ƿ�
���� $\pr$�� nonsingular�ϴٸ� $V,W$�� ���� �������� �� �� �ִ�.
������ ���� 1-1�̹Ƿ� �� �Լ����� isomorphism $V\cong W^*,W\cong
V^*$ �� �ش�.

���� �Ϲ�������


$\pr:V\times W\rightarrow \rb$, a pairing with

$(1) (n,\,\,)=0\,\,,\forall n\in N< V$

$(2) (\,\,,m)=0\,\,,\forall m\in M< W$.

Then $\pr$ induces a pairing $\pr:V/N\times
W/M\rightarrow\rb$ given by $([v],[w])$:=(v,w).\\

���� ���� ������  tensor�� ��������.
$M(V^*)=span\{V^*\times\cdot\cdot\times V^*\}$,

$M(V)=span\{V\times\cdot\cdot\times V\}$ �� ���� ���� pairing��
�����Ѵ�.

$(*)\,\,\,M(V^*)\hs{1em}\times
\hs{1em}M(V)\,\,\,\,\,\,\longrightarrow\hs{1em}\rb\hs{6em}$

$\,\,\,\,\,\,\,\,\,\,\,((\alp_1,\cdot\cdot,\alp_r),(v_1,\cdot\cdot,v_r))\,\,\,\,\,\mapsto\,\,\,\alp_1(v_1)\cdot\cdot\alp_r(v_r)$\\

�տ��� $V\times\cdot\cdot \times V$���� $T^r(V)$�� ���� �� ���
N�� ���� $N(V^*),N(V)$��

$((\alp_1+\alp_1',\cdot\cdot)-(\alp_1,\cdot\cdot)-(\alp_1',\cdot\cdot),\forall
(v_1,\cdot\cdot\cdot,v_r) )\mapsto 0$ ,

$(\forall (\alp_1,\cdot\cdot\cdot,\alp_r)
,(v_1+v_1',\cdot\cdot)-(v_1,\cdot\cdot)-(v_1',\cdot\cdot))\mapsto
0$ ���� �����ϰ� ����

$\pr:T^r(V^*)\times T^r(V)\rightarrow\rb$ ��
induce�ȴ�. ��\\

$M(V^*)\times M(V)\hs{1em}\rightarrow\hs{1em}\rb$

$\hs{2em}\pi\downarrow\hs{3em}\nearrow \exists\pr$

$T^r(V^*)\times T^r(V)$\\

���� �� pairing�� nonsingular �ϴٴ� �͸� ���̸� $T^r(V^*)\cong
(T^r(V))^*$���� �� �� �ִ�. $V$�� basis $e=(e_1,\cdot\cdot\cdot,
e_n)$�� ���� $V^*$���� dual basis
$\eps=(\eps_1,\cdot\cdot\cdot,\eps_n)$�� ����� �� ,
$(\sum_Ia_I\eps_I,\forall v)=0$, $a_I\eps_I=a_{i_1\cdot\cdot
i_r}\eps_{i_1}\ot\cdot\cdot\cdot\ot\eps_{i_r}$�̶��
$v=e_J=e_{j_1}\ot\cdot\cdot\ot e_{j_r}$�� ����
$0=(\sum_Ia_I\eps_I,e_J)=\sum_Ia_I\eps_{i_1}(e_{j_1})\cdot\cdot\cdot\eps_{i_r}(e_{j_r})=a_J$

�� �Ǿ�  ��� $a_J=0$�� �ǰ� �ٸ��� ���� ���������̹Ƿ� ��
pairing�� nonsingular���� �� �� �ִ�. �� $T^r(V^*)\cong
(T^r(V))^*$  �̴�.

 ���� $L_r(V)=\{f|f:V\times\cdot\cdot\times
V\rightarrow\rb,multilinear\}$�̶� �θ� ������
universal property �κ��� $L_r(V)\cong(T^r(V))^*$���� �� �� �ִ�.\\


$\hs{2em}V\times\cdot\cdot\times V
\hs{1em}\overset{\pi}{\longrightarrow}\hs{1em}V\ot\cdot\cdot\ot
V=T^r(V)$

$\hs{0.5em}multilinear\,\,f\searrow\hs{3em}\swarrow\exists
!\overline{f}\in L(T^r(V),W)\hs{3em}$

$\hs{9em}W$\\

���� $L_r(V)\cong(T^r(V))^*\cong T^r(V^*)$.\\

���� ������ $\Lam(V)$���� ������ �� �ִ�. ó���� �־��� pairing
$(*)$����

\begin{math}
((\alp_1,\cdot\cdot,\alp_r),(v_1,\cdot\cdot,v_r))= \left\{
\begin{array}{c}
 det(\alp_i(v_j)) \cdots I\\
 \frac{1}{r!} det(\alp_i(v_j)) \cdots I\!\!I
 \end{array} \right
\end{math}

�� �ָ� det�� ����(�� Ȥ�� ���� ���� ���� ������ det���� 0��
�ȴ�.)��
���� ������ ���� quotient�� �����ϴ�. ��\\

$T^r(V^*)\times T^r(V)\hs{1em}\rightarrow\hs{1em}\rb$

$\hs{3.3em}\downarrow\hs{5em}\nearrow \pr=det$

$\Lam^r(V^*)\times \Lam^r(V)$\\

���� $\pr:\Lam^r(V^*)\times \Lam^r(V)\rightarrow\rb$�� �������
�� �� �� pairing�� nonsingular���� ������ �� �Ͱ� ���������� ����
�� �ִ�.

$A_r(V)=\{f\,\,|\,\,f:V\times\cdot\cdot\times
V\rightarrow\rb,multilinear\,\,,alternating\,\,map\}$ �̶� �θ� ��
���� universal property�� ���� $A_r(V)\cong(\Lam^r(V))^*$���� ��
�� �ִ�. i.e.,\\

 $\hs{5em}A_r(V)\cong(\Lam^r(V))^*\cong\Lam^r(V^*)$ .\\

\section*{ 6. View $\Lam^r(V)\subset T^r(V)$.}

���� exact sequence �� �����غ���.

$(*)\hs{2.5em}0\rightarrow \textbf{a}_r\rightarrow
T^r(V)\overset{\pi}{\rightarrow}\Lam^r(V)\rightarrow 0$

Define $s(v_1\we\cdot\cdot\cdot\we
v_r):=\frac{1}{r!}\sum_{\sigma}sgn(\sigma)v_{\sigma(1)}\ot\cdot\cdot\cdot\ot
v_{\sigma(r)} $.

Then $s$ is a section, i.e., $\pi\circ s=id$ so that $T^r(V) = a_r \oplus s(\Lam^r(V))$.\\


$(*)$ ���� $0\leftarrow\textbf{a}_r^*\leftarrow (
T^r(V))^*\overset{\pi^*}{\leftarrow}(\Lam^r(V))^*\leftarrow 0 $
 �� ���� �� �ְ� ����

 $(\Lam^r(V))^*\underset{\pi^*} {\hookrightarrow}(T^r(V))^* $ �� �� ��
 �ִ�.\\


{\bf ���� 15.} ���� diagram�� commute���� Ȯ���غ���.

$L_r(V)\cong (T^r(V))^*\cong T^r(V^*)$

$~~\cup\hs{3.0em}\uparrow\pi^*\hs{3.5em}\uparrow s'$

$A_r(V)\cong (\Lam^r(V))^*\cong \Lam^r(V^*)$\\


\section*{ 7. Algebra structure on $A(V)=\bigoplus_r A_r(V^)$.}

$A_r(V)\cong\Lam^r(V^*)$ ���� algebra structure on $A(V)$�� $\Lam
(V^*) $�� algebra structure���� induce�ȴ�.

\begin{prop}

For $f\in A_p(V),g\in A_q(V),$

(1) $\dis{f\we_I
g(v_1,\cdot\cdot\cdot,v_{p+q})=\sum_{\sigma=(p,q)shuffle}(sgn
\sigma
)f(v_{\sigma(1)},\cdot\cdot\cdot,v_{\sigma(p)})g(v_{\sigma(p+1)},\cdot\cdot\cdot,v_{\sigma(q)})}$

$\dis{\hs{10.2em}=\frac{1}{p!q!}\sum_{\sigma}(sgn \sigma
)f(v_{\sigma(1)},\cdot\cdot\cdot,v_{\sigma(p)})g(v_{\sigma(p+1)},\cdot\cdot\cdot,v_{\sigma(q)})}$

(2)
$\dis{f\we_{I\!\!I}g(v_1,\cdot\cdot\cdot,v_{p+q})=\frac{1}{(p+q)!}\sum_{\sigma}(sgn
\sigma
)f(v_{\sigma(1)},\cdot\cdot\cdot,v_{\sigma(p)})g(v_{\sigma(p+1)},\cdot\cdot\cdot,v_{\sigma(q)})}$

\end{prop}

(5������ $I , I\!\!I$ ����)

\begin{proof}
It suffices to show for
$f=\eps_{i_1}\we\cdot\cdot\cdot\we\eps_{i_p}$,
$g=\eps_{j_1}\we\cdot\cdot\cdot\we\eps_{j_q}$ where
$\eps_1,\cdot\cdot\cdot,\eps_n$ are dual basis of
$e_1,\cdot\cdot\cdot,e_n$ of $V$.

$f\we
g(v_1,\cdot\cdot\cdot,v_{p+q})=(\eps_{i_1}\we\cdot\cdot\cdot\we\eps_{j_q})(v_1,\cdot\cdot\cdot,v_{p+q})=det(\varepsilon(v))$
�̰� �Ʒ��� ���������κ��� ������ �ϼ��ȴ�. (\bf{���� 16.})
\end{proof}

\begin{lem}(Lagrange formula)

Given $A=(a_{ij}), n\times n$ matrix and for fixed $p$, let $
A_I(I=i_1<\cdot\cdot\cdot <i_p)$ be a $p\times p$ submatrix given
by $(A_{I})_{kl}=(a_{k,i_l}),k=1,\cdot\cdot\cdot,p$ and
$A_{\hat{I}},\hat{I}=(1,\cdot\cdot\cdot,\hat{i_1},\cdot\cdot,\hat{i_p},\cdot\cdot,n)=(j_1<\cdot\cdot\cdot<
j_q)=J$, be a $q\times q$ submatrix given by
$(A_{\hat{I}})_{kl}=(a_{p+k,j_l})$. Then

$\hs{3em}\dis{det A=\sum_Isgn(I,\hat{I})detA_IdetA_{\hat{I}}}$.

\end{lem}

\begin{proof}
$\dis{detA=\sum_{\sigma}(-1)^{\sigma}a_{1\sigma(1)}\cdot\cdot\cdot
a_{p\sigma(p)}a_{p+1\sigma(p+1)}\cdot\cdot\cdot a_{n\sigma(n)}}$

$\dis{\hs{4.7em}=\sum_{\sigma\in sh(p,q)}\sum_{\rho\in
S_p}\sum_{\tau\in
S_q}(-1)^{\sigma}(-1)^{\rho}(-1)^{\tau}a_{1,\rho\sigma(1)}\cdot\cdot\cdot
a_{p,\rho\sigma(p)}a_{p+1,\tau\sigma(p+1)}\cdot\cdot\cdot
a_{n,\tau\sigma(n)}}$

$\dis{\hs{4.7em}=\sum_{\sigma\in sh(p,q)}\sum_{\tau\in
S_q}(-1)^\sigma(-1)^\tau(\sum_{\rho\in
S_p}(-1)^{\rho}a_{1,\rho\sigma(1)}\cdot\cdot\cdot
a_{p,\rho\sigma(p)})a_{p+1,\tau\sigma(p+1)}\cdot\cdot\cdot
a_{n,\tau\sigma(n)}}$

$\dis{\hs{4.7em}=\sum_{\sigma\in sh(p,q)}(-1)^\sigma detA_I
detA_{\hat{I}}}$
\end{proof}

\begin{prop}
Let $f\in A_p(V)$ and $ g\in A_q(V)$, then $f\we g=(-1)^{pq}g\we
f$.
\end{prop}

\begin{proof}
$f=\eps_{i_1}\we\cdot\cdot\cdot\we\eps_{i_p}$,
$g=\eps_{j_1}\we\cdot\cdot\cdot\we\eps_{j_q}$ �϶� ���̸� ����ѵ�
�� ��쿡�� �и��ϴ�.
\end{proof}

\begin{prop}
$(f\we g)\we h=f\we (g\we h)$.
\end{prop}

\begin{proof}
$\Lambda(V^*)$�� associativity �κ��� �и��ϴ�.
\end{proof}

\section*{ 8. Interior multiplication.}

\begin{defn}
For $l\in End(\Lam(V))$,

$l$ is {\bf derivation} if $l(u\we v)=l(u)\we v+u\we l(v)$.

$l$ is {\bf anti-derivation} if $l(u\we v)=l(u)\we v+(-1)^pu\we
l(v)$, $u\in \Lam^p(V)$.

$l$ is {\bf of deg k} if $l : \Lam^p(V) \rightarrow \Lam^{p+k}(V)
,~ \forall p$.
\end{defn}

{\bf Note.} $l$ is an anti-derivation if and only if


$\dis{l(v_1\we\cdot\cdot\cdot \we
v_r)=\sum_{i=1}^r(-1)^{i+1}v_1\we\cdot\cdot \we
l(v_i)\we\cdot\cdot \we v_r
,\,\,\,v_i\in V,\,\,i=1,\cdot\cdot\cdot, r.}$\\

\begin{proof}
$\Rightarrow)l(v_1\we(v_2\we\cdot\cdot\cdot\we
v_r))=l(v_1)(v_2\we\cdot\cdot\cdot\we v_r)+(-1)v_1\we
l(v_2\we\cdot\cdot\cdot\we v_r)$ �̰�, �ͳ����� ���� �ȴ�.

$\Leftarrow)u=v_1\we\cdot\cdot\cdot\we v_p,
v=v_{p+1}\we\cdot\cdot\cdot\we v_{p+q}$ �� ��츦 ���̸� ����ϴ�.

$l(u\we v)=l(v_1\we\cdot\cdot\cdot\we v_{p+q})$

$\hs{3.5em}=\sum_i^p(-1)^{i+1}v_1\we\cdot\cdot\we l(v_i)\cdot\cdot
v_p\we v_{p+1}\we\cdot\cdot \we v_{p+q})+$

$\hs{4em}(-1)^p\sum_j^q(-1)^{j+1}v_1\we\cdot\cdot\we
v_{p+1}\we\cdot\cdot l(v_{p+j})\cdot\cdot\we v_{p+q}$

$\hs{3.5em}=l(u)\we v+(-1)^pu\we l(v).$

\end{proof}

\begin{defn}
For $x\in V$, define $i(x)=i_x:\Lam(V^*)(\cong A(V))
)\rightarrow\Lam(V^*)(\cong A(V))$ by


$(i_x(f))(v_2,\cdot\cdot\cdot, v_r)=f(x\we
v_2\we\cdot\cdot\cdot\we v_r)$.

\end{defn}

\begin{prop}
$i_x$ is an anti-derivation of deg $-1$.
\end{prop}
\begin{proof}
 �� Note�� ����ؼ�

$(i_x(\alp^1\we\cdot\cdot\cdot\we\alp^r),v_2\we\cdot\cdot\cdot\we
v_r)=(\sum_{i}^r(-1)^{i+1}\alp^1\we\cdot\cdot\we
i_x(\alp^i)\we\cdot\cdot\we \alp^r,v_2\we\cdot\cdot\cdot\we v_r)$

�� ���̸� �ȴ�. $x=v_1$�̶� �θ� �� ����  �º���
$(\alp^1\we\cdot\cdot\cdot\we\alp^r)(v_1\we
v_2\we\cdot\cdot\cdot\we v_r)$ �̹Ƿ� �̴� $det(\alp(v))$�� �ǰ�
�캯���� $i_x(\alp^i)=\alp^i(v_1)$�� ����̹Ƿ�

$\dis{(\sum_{i=1}^r(-1)^{i+1}\alp^1\we\cdot\cdot\we
i_x(\alp^i)\we\cdot\cdot\we \alp^r,v_2\we\cdot\cdot\cdot\we v_r)}$

$\dis{=\sum_{i=1}^r(-1)^{i+1}\alp^i(v_1)(\alp^1\we\cdot\cdot\we
\hat{\alp^i}\we\cdot\cdot \we \alp^r,v_2\we\cdot\cdot\cdot\we
v_r)}$

�̴� $det(\alp(v))$��  ù��° �����Ϳ� ���� cofactor
expansion�̹Ƿ� ���� �º��� �캯�� ��� $det(\alp(v))$�� ����.


\end{proof}
\end{document}
