<?xml version="1.0" encoding="UTF-8"?>
<rss version="2.0"
	xmlns:content="http://purl.org/rss/1.0/modules/content/"
	xmlns:wfw="http://wellformedweb.org/CommentAPI/"
	xmlns:dc="http://purl.org/dc/elements/1.1/"
	xmlns:atom="http://www.w3.org/2005/Atom"
	xmlns:sy="http://purl.org/rss/1.0/modules/syndication/"
	xmlns:slash="http://purl.org/rss/1.0/modules/slash/"
	>

<channel>
	<title>Not &#34;Not Even Wrong&#34;</title>
	<atom:link href="http://www.liuxiaochuan.org/feed" rel="self" type="application/rss+xml" />
	<link>http://www.liuxiaochuan.org</link>
	<description>mathematics and other aspects of life</description>
	<lastBuildDate>Fri, 04 May 2012 20:49:25 +0000</lastBuildDate>
	<language>en</language>
	<sy:updatePeriod>hourly</sy:updatePeriod>
	<sy:updateFrequency>1</sy:updateFrequency>
	<generator>http://wordpress.org/?v=3.3.2</generator>
		<item>
		<title>李代数的复化</title>
		<link>http://www.liuxiaochuan.org/2012/05/complexification.htm</link>
		<comments>http://www.liuxiaochuan.org/2012/05/complexification.htm#comments</comments>
		<pubDate>Fri, 04 May 2012 20:48:19 +0000</pubDate>
		<dc:creator>Xiaochuan Liu</dc:creator>
				<category><![CDATA[Lie Groups and Lie algebra]]></category>
		<category><![CDATA[Maths]]></category>
		<category><![CDATA[complexification]]></category>

		<guid isPermaLink="false">http://www.liuxiaochuan.org/?p=2629</guid>
		<description><![CDATA[今天我想谈一下李代数中一个重要的手段，复化(complexification)，并举例子来说清楚几个基本概念。 回忆李代数是指一个数域或者上的向量空间，其上还添加了一个反对称的双线性形式（作为这个代数的乘法），称作李括号积，,满足下述的所谓Jacobi等式：即对任何的,下面式子成立： 给定一个实的李代数,我们也可以定义复的李代数，是通过把李括号积的定义范围扩充到整个复向量空间，如下： 这样得来的复的李代数就称作原来的实的李代数的复化。此时，我们称为的实形式(real form)。 反过来，我们先给定一个复的李代数,我们说的共轭，表示为,指的是作为相同的向量空间，虚数单位的乘法却变成了的乘法. 换句话说，对于一个复向量空间，我们当然可以把它看成是以这组基上的复线性空间，同时它也是以这组基上的维的实数线性空间。而相应的，我们如果把它看成是以为基的同样是维的实线性空间的话，得到的就是另一个复结构，就是这个复结构被称作原来的那个的共轭。 可以看出，同样的一个向量，在第一组基上的表示如果是的话，则放在第二组基上它的表示就变成了.这样，我们其实可以把共轭就看作一个变换，,满足.这时候的表达式，就跟初等数学中“求共轭”运算的意义相吻合了。还应当注意到. 有的时候，复的李代数是可以与李代数同构的。这样说的意思是存在一个可逆的李代数同态，满足. 为了澄清这些概念，我们举两个例子。 例子一：如果一个复李代数有实形式，则它同构于它的共轭。举例说明，反过来不成立。 证明：设李代数是的实形式。则我们可以把中的元素写为这样的形式.定义就是“求共轭”这个同态。于是我们只需要验证这个同态是保持括号积的，即，.这个很容易验证，因为 . 而另一方向却是推不出来的，因为我们有下面的例子。 例子二：是一个3维的（复）李代数，由基底生成，李括号积定义为.证明，与李代数同构，当且仅当或者. 证明：: 如果是实数，则我们定义就是恒等变换. 如果，则定义. 验证它保持括号积： . :这个方向的证明稍微麻烦，但是都是初等数学的运算。假设我们有一个李代数同构，他定义为下面比较一般的形式： , , . 则，我们代入等式，并得到， 于是,并且. 情况1.如果和同时成立，则; 情况2.如果则我们有. 这样的话，我们讨论另外一个等式的系数： 不要忘了我们仍然有,并因此可以推出不能为零，否则将会不再是个单射。这种情况下，一定是个实数。 情况3.,可以推出.类似情况二的讨论，我们可以推出. 例子二说明存在李代数，它一方面与它的共轭同构，另一方面它不含有实形式。具体的说明留作读者。]]></description>
			<content:encoded><![CDATA[<p>今天我想谈一下<a href="http://en.wikipedia.org/wiki/Lie_algebra">李代数</a>中一个重要的手段，<strong>复化</strong>(<a href="http://en.wikipedia.org/wiki/Complexification">complexification</a>)，并举例子来说清楚几个基本概念。</p>
<p>回忆李代数是指一个数域<img src='http://s.wordpress.com/latex.php?latex=K%3D%5CBbb%20C&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='K=\Bbb C' title='K=\Bbb C' class='latex' />或者<img src='http://s.wordpress.com/latex.php?latex=%5CBbb%20R&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\Bbb R' title='\Bbb R' class='latex' />上的向量空间<img src='http://s.wordpress.com/latex.php?latex=V&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='V' title='V' class='latex' />，其上还添加了一个反对称的双线性形式（作为这个代数的乘法），称作<a href="http://en.wikipedia.org/wiki/Lie_bracket">李括号积</a>，<img src='http://s.wordpress.com/latex.php?latex=%5B%2C%5D%3AV%5Ctimes%20V%5Cto%20V&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='[,]:V\times V\to V' title='[,]:V\times V\to V' class='latex' />,满足下述的所谓<a href="http://en.wikipedia.org/wiki/Jacobi_identity">Jacobi等式</a>：即对任何的<img src='http://s.wordpress.com/latex.php?latex=X%2CY%2CZ%5Cin%20V&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='X,Y,Z\in V' title='X,Y,Z\in V' class='latex' />,下面式子成立：</p>
<p style="text-align: center;"><img src='http://s.wordpress.com/latex.php?latex=%5BX%2C%5BY%2CZ%5D%5D%2B%5BY%2C%5BZ%2CX%5D%5D%2B%5BZ%2C%5BX%2CY%5D%5D&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='[X,[Y,Z]]+[Y,[Z,X]]+[Z,[X,Y]]' title='[X,[Y,Z]]+[Y,[Z,X]]+[Z,[X,Y]]' class='latex' /></p>
<p><span id="more-2629"></span>给定一个实的李代数<img src='http://s.wordpress.com/latex.php?latex=%5Cmathfrak%7Bg%7D&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\mathfrak{g}' title='\mathfrak{g}' class='latex' />,我们也可以定义复的李代数<img src='http://s.wordpress.com/latex.php?latex=%5Cmathfrak%7Bg%7D_%7B%5CBbb%20C%7D&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\mathfrak{g}_{\Bbb C}' title='\mathfrak{g}_{\Bbb C}' class='latex' />，是通过把李括号积的定义范围扩充到整个复向量空间，如下：</p>
<p style="text-align: center;"><img src='http://s.wordpress.com/latex.php?latex=%5Bu%2Biv%2Cx%2Biy%5D%3D%5Bu%2Cx%5D-%5Bv%2Cy%5D%2Bi%28%5Bu%2Cy%5D%2B%5Bv%2Cx%5D%29&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='[u+iv,x+iy]=[u,x]-[v,y]+i([u,y]+[v,x])' title='[u+iv,x+iy]=[u,x]-[v,y]+i([u,y]+[v,x])' class='latex' /></p>
<p>这样得来的复的李代数就称作原来的实的李代数的复化。此时，我们称<img src='http://s.wordpress.com/latex.php?latex=%5Cmathfrak%7Bg%7D&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\mathfrak{g}' title='\mathfrak{g}' class='latex' />为<img src='http://s.wordpress.com/latex.php?latex=%5Cmathfrak%7Bg%7D_%7B%5CBbb%20C%7D&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\mathfrak{g}_{\Bbb C}' title='\mathfrak{g}_{\Bbb C}' class='latex' />的<a href="http://en.wikipedia.org/wiki/Real_form_%28Lie_theory%29">实形式(real form)</a>。</p>
<p>反过来，我们先给定一个复的李代数<img src='http://s.wordpress.com/latex.php?latex=%5Cmathfrak%7Bg%7D&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\mathfrak{g}' title='\mathfrak{g}' class='latex' />,我们说<img src='http://s.wordpress.com/latex.php?latex=%5Cmathfrak%7Bg%7D&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\mathfrak{g}' title='\mathfrak{g}' class='latex' />的共轭，表示为<img src='http://s.wordpress.com/latex.php?latex=%5Coverline%7B%5Cmathfrak%7Bg%7D%7D&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\overline{\mathfrak{g}}' title='\overline{\mathfrak{g}}' class='latex' />,指的是作为相同的向量空间，虚数单位<img src='http://s.wordpress.com/latex.php?latex=i&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='i' title='i' class='latex' />的乘法却变成了<img src='http://s.wordpress.com/latex.php?latex=-i&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='-i' title='-i' class='latex' />的乘法.</p>
<p>换句话说，对于一个复向量空间，我们当然可以把它看成是以<img src='http://s.wordpress.com/latex.php?latex=e_1%2C%5Ccdots%2Ce_n&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='e_1,\cdots,e_n' title='e_1,\cdots,e_n' class='latex' />这组基上的复线性空间，同时它也是以<img src='http://s.wordpress.com/latex.php?latex=e_1%2C%5Ccdots%2Ce_n%2Cie_1%2C%5Ccdots%2Cie_n&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='e_1,\cdots,e_n,ie_1,\cdots,ie_n' title='e_1,\cdots,e_n,ie_1,\cdots,ie_n' class='latex' />这组基上的<img src='http://s.wordpress.com/latex.php?latex=2n&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='2n' title='2n' class='latex' />维的实数线性空间。而相应的，我们如果把它看成是以<img src='http://s.wordpress.com/latex.php?latex=e_1%2C%5Ccdots%2Ce_n%2C-ie_1%2C%5Ccdots%2C-ie_n&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='e_1,\cdots,e_n,-ie_1,\cdots,-ie_n' title='e_1,\cdots,e_n,-ie_1,\cdots,-ie_n' class='latex' />为基的同样是<img src='http://s.wordpress.com/latex.php?latex=2n&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='2n' title='2n' class='latex' />维的实线性空间的话，得到的就是另一个复结构，就是这个复结构被称作原来的那个的共轭。</p>
<p>可以看出，同样的一个向量，在第一组基上的表示如果是<img src='http://s.wordpress.com/latex.php?latex=u%2Biv&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='u+iv' title='u+iv' class='latex' />的话，则放在第二组基上它的表示就变成了<img src='http://s.wordpress.com/latex.php?latex=u-iv&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='u-iv' title='u-iv' class='latex' />.这样，我们其实可以把共轭就看作一个变换，<img src='http://s.wordpress.com/latex.php?latex=%5Csigma%3A%5Cmathfrak%7Bg%7D%5Cto%5Coverline%7B%5Cmathfrak%7Bg%7D%7D&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\sigma:\mathfrak{g}\to\overline{\mathfrak{g}}' title='\sigma:\mathfrak{g}\to\overline{\mathfrak{g}}' class='latex' />,满足<img src='http://s.wordpress.com/latex.php?latex=%5Csigma%28%28z_1%2C%5Ccdots%2Cz_n%29%29%3D%28%5Coverline%7Bz_1%7D%2C%5Ccdots%2C%5Coverline%7Bz_n%7D%29&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\sigma((z_1,\cdots,z_n))=(\overline{z_1},\cdots,\overline{z_n})' title='\sigma((z_1,\cdots,z_n))=(\overline{z_1},\cdots,\overline{z_n})' class='latex' />.这时候的表达式，就跟初等数学中“求共轭”运算的意义相吻合了。还应当注意到<img src='http://s.wordpress.com/latex.php?latex=%5Csigma%5E2%3Did&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\sigma^2=id' title='\sigma^2=id' class='latex' />.</p>
<p>有的时候，复的李代数<img src='http://s.wordpress.com/latex.php?latex=%5Cmathfrak%7Bg%7D&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\mathfrak{g}' title='\mathfrak{g}' class='latex' />是可以与<img src='http://s.wordpress.com/latex.php?latex=%5Coverline%7B%5Cmathfrak%7Bg%7D%7D&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\overline{\mathfrak{g}}' title='\overline{\mathfrak{g}}' class='latex' />李代数同构的。这样说的意思是存在一个可逆的李代数同态<img src='http://s.wordpress.com/latex.php?latex=h%3A%5Cmathfrak%7Bg%7D%5Cto%5Coverline%7B%5Cmathfrak%7Bg%7D%7D&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='h:\mathfrak{g}\to\overline{\mathfrak{g}}' title='h:\mathfrak{g}\to\overline{\mathfrak{g}}' class='latex' />，满足<img src='http://s.wordpress.com/latex.php?latex=h%28%5Clambda%20u%29%3D%5Coverline%7B%5Clambda%7Dh%28u%29&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='h(\lambda u)=\overline{\lambda}h(u)' title='h(\lambda u)=\overline{\lambda}h(u)' class='latex' />.</p>
<p>为了澄清这些概念，我们举两个例子。</p>
<p><strong>例子一</strong>：如果一个复李代数<img src='http://s.wordpress.com/latex.php?latex=%5Cmathfrak%7Bg%7D&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\mathfrak{g}' title='\mathfrak{g}' class='latex' />有实形式，则它同构于它的共轭。举例说明，反过来不成立。</p>
<p><strong>证明</strong>：设李代数<img src='http://s.wordpress.com/latex.php?latex=%5Cmathfrak%7Bh%7D&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\mathfrak{h}' title='\mathfrak{h}' class='latex' />是<img src='http://s.wordpress.com/latex.php?latex=%5Cmathfrak%7Bg%7D&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\mathfrak{g}' title='\mathfrak{g}' class='latex' />的实形式。则我们可以把<img src='http://s.wordpress.com/latex.php?latex=%5Cmathfrak%7Bg%7D&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\mathfrak{g}' title='\mathfrak{g}' class='latex' />中的元素写为这样的形式<img src='http://s.wordpress.com/latex.php?latex=%5C%7Bu%2Biv%7Cu%2Cv%5Cin%5Cmathfrak%7Bh%7D%5C%7D&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\{u+iv|u,v\in\mathfrak{h}\}' title='\{u+iv|u,v\in\mathfrak{h}\}' class='latex' />.定义<img src='http://s.wordpress.com/latex.php?latex=h%3D%5Csigma&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='h=\sigma' title='h=\sigma' class='latex' />就是“求共轭”这个同态。于是我们只需要验证这个同态是保持括号积的，即，<img src='http://s.wordpress.com/latex.php?latex=%5B%5Csigma%7Bu%2Biv%7D%2C%5Csigma%7Bx%2Biy%7D%5D%3D%5Csigma%28%5Bu%2Biv%2Cx%2Biy%5D%29&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='[\sigma{u+iv},\sigma{x+iy}]=\sigma([u+iv,x+iy])' title='[\sigma{u+iv},\sigma{x+iy}]=\sigma([u+iv,x+iy])' class='latex' />.这个很容易验证，因为</p>
<p style="text-align: center;"><img src='http://s.wordpress.com/latex.php?latex=%5B%5Csigma%7Bu%2Biv%7D%2C%5Csigma%7Bx%2Biy%7D%5D&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='[\sigma{u+iv},\sigma{x+iy}]' title='[\sigma{u+iv},\sigma{x+iy}]' class='latex' /></p>
<p style="text-align: center;"><img src='http://s.wordpress.com/latex.php?latex=%3D%5Bu-iv%2Cx-iy%5D%3D%5Bu%2Cx%5D-%5Bv%2Cy%5D-i%28%5Bu%2Cy%5D%2B%5Bv%2Cx%5D%29&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='=[u-iv,x-iy]=[u,x]-[v,y]-i([u,y]+[v,x])' title='=[u-iv,x-iy]=[u,x]-[v,y]-i([u,y]+[v,x])' class='latex' /></p>
<p style="text-align: center;"><img src='http://s.wordpress.com/latex.php?latex=%3D%5Csigma%28%5Bu%2Cx%5D-%5Bv%2Cy%5D%2Bi%28%5Bu%2Cy%5D%2B%5Bv%2Cx%5D%29%29&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='=\sigma([u,x]-[v,y]+i([u,y]+[v,x]))' title='=\sigma([u,x]-[v,y]+i([u,y]+[v,x]))' class='latex' /></p>
<p style="text-align: center;"><img src='http://s.wordpress.com/latex.php?latex=%3D%5Csigma%28%5Bu%2Biv%2Cx%2Biy%5D%29&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='=\sigma([u+iv,x+iy])' title='=\sigma([u+iv,x+iy])' class='latex' />.</p>
<p>而另一方向却是推不出来的，因为我们有下面的例子。</p>
<p><strong>例子二</strong>：<img src='http://s.wordpress.com/latex.php?latex=%5Cmathfrak%7Bg%7D&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\mathfrak{g}' title='\mathfrak{g}' class='latex' />是一个3维的（复）李代数，由基底<img src='http://s.wordpress.com/latex.php?latex=%7BX%2CY%2CZ%7D&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='{X,Y,Z}' title='{X,Y,Z}' class='latex' />生成，李括号积定义为<img src='http://s.wordpress.com/latex.php?latex=%5BX%2CY%5D%3D0%3B%5BX%2CZ%5D%3DX%3B%5BY%2CZ%5D%3DaY&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='[X,Y]=0;[X,Z]=X;[Y,Z]=aY' title='[X,Y]=0;[X,Z]=X;[Y,Z]=aY' class='latex' />.证明，<img src='http://s.wordpress.com/latex.php?latex=%5Cmathfrak%7Bg%7D&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\mathfrak{g}' title='\mathfrak{g}' class='latex' />与<img src='http://s.wordpress.com/latex.php?latex=%5Coverline%7B%5Cmathfrak%7Bg%7D%7D&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\overline{\mathfrak{g}}' title='\overline{\mathfrak{g}}' class='latex' />李代数同构，当且仅当<img src='http://s.wordpress.com/latex.php?latex=a%5Cin%20%5CBbb%20R&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='a\in \Bbb R' title='a\in \Bbb R' class='latex' />或者<img src='http://s.wordpress.com/latex.php?latex=%7Ca%7C%3D1&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='|a|=1' title='|a|=1' class='latex' />.</p>
<p><strong>证明</strong>：<img src='http://s.wordpress.com/latex.php?latex=%5CLeftarrow&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\Leftarrow' title='\Leftarrow' class='latex' />:</p>
<p>如果<img src='http://s.wordpress.com/latex.php?latex=a&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='a' title='a' class='latex' />是实数，则我们定义<img src='http://s.wordpress.com/latex.php?latex=h&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='h' title='h' class='latex' />就是恒等变换<img src='http://s.wordpress.com/latex.php?latex=h%28X%29%3DX%2Ch%28Y%29%3DY%2Ch%28Z%29%3DZ&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='h(X)=X,h(Y)=Y,h(Z)=Z' title='h(X)=X,h(Y)=Y,h(Z)=Z' class='latex' />.</p>
<p>如果<img src='http://s.wordpress.com/latex.php?latex=%7Ca%7C%3D1&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='|a|=1' title='|a|=1' class='latex' />，则定义<img src='http://s.wordpress.com/latex.php?latex=h%3Ah%28X%29%3DY%2Ch%28Y%29%3DX%2Ch%28Z%29%3D%5Coverline%7Ba%7DZ&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='h:h(X)=Y,h(Y)=X,h(Z)=\overline{a}Z' title='h:h(X)=Y,h(Y)=X,h(Z)=\overline{a}Z' class='latex' />.</p>
<p>验证它保持括号积：</p>
<p style="text-align: center;"><img src='http://s.wordpress.com/latex.php?latex=%5Bh%28X%29%2Ch%28Y%29%5D%3D0%2C&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='[h(X),h(Y)]=0,' title='[h(X),h(Y)]=0,' class='latex' /></p>
<p style="text-align: center;"><img src='http://s.wordpress.com/latex.php?latex=%5Bh%28X%29%2Ch%28Z%29%5D%3D%5BY%2C%5Coverline%7Ba%7DZ%5D%3DY%3Dh%28X%29%2C&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='[h(X),h(Z)]=[Y,\overline{a}Z]=Y=h(X),' title='[h(X),h(Z)]=[Y,\overline{a}Z]=Y=h(X),' class='latex' /></p>
<p style="text-align: center;"><img src='http://s.wordpress.com/latex.php?latex=%5Bh%28Y%29%2Ch%28Z%29%5D%3D%5BX%2C%5Coverline%7Ba%7DZ%5D%3D%5Coverline%7Ba%7DX%3Dh%28aY%29&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='[h(Y),h(Z)]=[X,\overline{a}Z]=\overline{a}X=h(aY)' title='[h(Y),h(Z)]=[X,\overline{a}Z]=\overline{a}X=h(aY)' class='latex' />.</p>
<p><img src='http://s.wordpress.com/latex.php?latex=%5CRightarrow&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\Rightarrow' title='\Rightarrow' class='latex' />:这个方向的证明稍微麻烦，但是都是初等数学的运算。假设我们有一个李代数同构<img src='http://s.wordpress.com/latex.php?latex=h&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='h' title='h' class='latex' />，他定义为下面比较一般的形式：</p>
<p><img src='http://s.wordpress.com/latex.php?latex=h%28X%29%3Da_%7B11%7DX%2Ba_%7B12%7DY%2Ba_%7B13%7DZ&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='h(X)=a_{11}X+a_{12}Y+a_{13}Z' title='h(X)=a_{11}X+a_{12}Y+a_{13}Z' class='latex' />,</p>
<p><img src='http://s.wordpress.com/latex.php?latex=h%28Y%29%3Da_%7B21%7DX%2Ba_%7B22%7DY%2Ba_%7B23%7DZ&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='h(Y)=a_{21}X+a_{22}Y+a_{23}Z' title='h(Y)=a_{21}X+a_{22}Y+a_{23}Z' class='latex' />,</p>
<p><img src='http://s.wordpress.com/latex.php?latex=h%28Z%29%3Da_%7B31%7DX%2Ba_%7B32%7DY%2Ba_%7B33%7DZ&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='h(Z)=a_{31}X+a_{32}Y+a_{33}Z' title='h(Z)=a_{31}X+a_{32}Y+a_{33}Z' class='latex' />.</p>
<p>则，我们代入等式<img src='http://s.wordpress.com/latex.php?latex=%5Bh%28X%29%2Ch%28Z%29%5D%3Dh%28X%29&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='[h(X),h(Z)]=h(X)' title='[h(X),h(Z)]=h(X)' class='latex' />，并得到，</p>
<p style="text-align: center;"><img src='http://s.wordpress.com/latex.php?latex=%28a_%7B11%7Da_%7B33%7D-a_%7B13%7Da_%7B31%7D%29X%2B%28a_%7B12%7Da_%7B33%7D-a_%7B13%7Da_%7B32%7D%29aY%3Da_%7B11%7DX%2Ba_%7B12%7DY%2Ba_%7B13%7DZ&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='(a_{11}a_{33}-a_{13}a_{31})X+(a_{12}a_{33}-a_{13}a_{32})aY=a_{11}X+a_{12}Y+a_{13}Z' title='(a_{11}a_{33}-a_{13}a_{31})X+(a_{12}a_{33}-a_{13}a_{32})aY=a_{11}X+a_{12}Y+a_{13}Z' class='latex' /></p>
<p>于是<img src='http://s.wordpress.com/latex.php?latex=a_%7B13%7D%3D0&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='a_{13}=0' title='a_{13}=0' class='latex' />,并且<img src='http://s.wordpress.com/latex.php?latex=a_%7B11%7Da_%7B33%7D%3Da_%7B11%7D%2Caa_%7B12%7Da_%7B33%7D%3Da_%7B12%7D&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='a_{11}a_{33}=a_{11},aa_{12}a_{33}=a_{12}' title='a_{11}a_{33}=a_{11},aa_{12}a_{33}=a_{12}' class='latex' />.</p>
<p><strong>情况1</strong>.如果<img src='http://s.wordpress.com/latex.php?latex=a_%7B11%7D%5Cneq%200&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='a_{11}\neq 0' title='a_{11}\neq 0' class='latex' />和<img src='http://s.wordpress.com/latex.php?latex=a_%7B12%7D%5Cneq%200&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='a_{12}\neq 0' title='a_{12}\neq 0' class='latex' />同时成立，则<img src='http://s.wordpress.com/latex.php?latex=a_%7B33%7D%3Da%3D1&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='a_{33}=a=1' title='a_{33}=a=1' class='latex' />;</p>
<p><strong>情况2</strong>.如果<img src='http://s.wordpress.com/latex.php?latex=a_%7B11%7D%5Cneq%200%2C%20a_%7B12%7D%3D0&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='a_{11}\neq 0, a_{12}=0' title='a_{11}\neq 0, a_{12}=0' class='latex' />则我们有<img src='http://s.wordpress.com/latex.php?latex=a_%7B33%7D%3D1&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='a_{33}=1' title='a_{33}=1' class='latex' />.</p>
<p>这样的话，我们讨论另外一个等式的系数：</p>
<p style="text-align: center;"><img src='http://s.wordpress.com/latex.php?latex=%28a_%7B21%7Da_%7B33%7D-a_%7B23%7Da_%7B31%7D%29X%2B%28a_%7B22%7Da_%7B33%7D-a_%7B23%7Da_%7B32%7D%29aY%3D%5Coverline%7Ba%7D%28a_%7B21%7DX%2Ba_%7B22%7DY%2Ba_%7B23%7DZ%29&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='(a_{21}a_{33}-a_{23}a_{31})X+(a_{22}a_{33}-a_{23}a_{32})aY=\overline{a}(a_{21}X+a_{22}Y+a_{23}Z)' title='(a_{21}a_{33}-a_{23}a_{31})X+(a_{22}a_{33}-a_{23}a_{32})aY=\overline{a}(a_{21}X+a_{22}Y+a_{23}Z)' class='latex' /></p>
<p>不要忘了我们仍然有<img src='http://s.wordpress.com/latex.php?latex=a_%7B33%7D%3D1&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='a_{33}=1' title='a_{33}=1' class='latex' />,并因此可以推出<img src='http://s.wordpress.com/latex.php?latex=a_%7B22%7D&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='a_{22}' title='a_{22}' class='latex' />不能为零，否则<img src='http://s.wordpress.com/latex.php?latex=h&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='h' title='h' class='latex' />将会不再是个单射。这种情况下，<img src='http://s.wordpress.com/latex.php?latex=a&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='a' title='a' class='latex' />一定是个实数。</p>
<p><strong>情况3</strong>.<img src='http://s.wordpress.com/latex.php?latex=a_%7B12%7D%5Cneq%200%2Ca_%7B11%7D%3D0&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='a_{12}\neq 0,a_{11}=0' title='a_{12}\neq 0,a_{11}=0' class='latex' />,可以推出<img src='http://s.wordpress.com/latex.php?latex=a_%7B33%7D%3Da%5E%7B-1%7D&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='a_{33}=a^{-1}' title='a_{33}=a^{-1}' class='latex' />.类似情况二的讨论，我们可以推出<img src='http://s.wordpress.com/latex.php?latex=%7Ca%7C%3D1&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='|a|=1' title='|a|=1' class='latex' />.</p>
<p>例子二说明存在李代数，它一方面与它的共轭同构，另一方面它不含有实形式。具体的说明留作读者。</p>
]]></content:encoded>
			<wfw:commentRss>http://www.liuxiaochuan.org/2012/05/complexification.htm/feed</wfw:commentRss>
		<slash:comments>3</slash:comments>
		</item>
		<item>
		<title>双曲动力系统（期中考试）</title>
		<link>http://www.liuxiaochuan.org/2012/05/midtermhyperbolicdynamic.htm</link>
		<comments>http://www.liuxiaochuan.org/2012/05/midtermhyperbolicdynamic.htm#comments</comments>
		<pubDate>Thu, 03 May 2012 23:16:17 +0000</pubDate>
		<dc:creator>Xiaochuan Liu</dc:creator>
				<category><![CDATA[math.DS]]></category>
		<category><![CDATA[Maths]]></category>
		<category><![CDATA[Hyperbolic dynamics]]></category>
		<category><![CDATA[Marcelo Viana]]></category>

		<guid isPermaLink="false">http://www.liuxiaochuan.org/?p=2632</guid>
		<description><![CDATA[刚刚参加Marcelo Viana教授的Hyperbolic Dynamics的博士课程的期中考试，一共四道题目。 题目一:设为一个的实值函数，期中.令.证明如果是向量场的奇点，则的特征值都是实数。证明如果是一个双曲形的奇点当且仅当双线性形式是非退化的。更进一步的，证明不包含周期轨道。 证明提纲：在欧式空间中，梯度场由于是由函数的的各方向导数所得来的，我们发现它的导数在局部坐标下看是一个对称阵，于是我们得出相应的特征值都应当是实数。而将坐标拉回也不影响这个结果。而沿着梯度场，函数的值是严格递增的，不可能出现周期点。(反证法) 题目二：令为一个微分同胚，令为的双曲不变集合(Hyperbolic set).设为两个周期点并定义 在某点横截的与相交 再定义. 证明上面定义的是一个等价关系.更进一步的，证明对任意的开集和与同一个等价类相交非空，则存在，使得. 证明提纲：验证等价类的定义，关键在于验证传递性。而这里我们需要证明的关键是，对于三个点，满足的不稳定流形和的稳定流形横截相交；的不稳定流形和的稳定流形横截相交，可以推出的不稳定流形与的稳定流形也是横截相交的。而这个证明需要引理。 对于第二个问，对于这两个任意给定的开集合和,我们在其中寻找到等价类的点，比如说，则我们可以分别作出的不稳定流形和的稳定流形.注意，他们是横截相交的。设交点为，则我们可以利用稳定流形和不稳定流形的性质，得出存在. 题目三：令.证明如果是一个微分同胚，并满足与可交换(就是说，),则是线性的。而另一方面，存在上的的微分同胚，与可交换，却不是线性的变换。 证明提纲：由题目条件，我们得出.于是，首先，我们可以得到.于是，由于,而,我们有,.现在任取,我们有.于是对所有成立。 第二个问，我们构造函数定义如下，.这是一个非线性的函数，满足与可交换。 题目四：令为一个类的微分同胚，其中是一个compact的流形。证明如果是结构稳定的，则的所有不动点都是双曲不动点。我们能对周期的周期点有同样的断言吗？ 证明提纲：是结构稳定的，首要的事情就是它的不动点都是simple的。再加上流形是紧致的，于是我们可以证明不动点一定是有限个。假设我们有一个不动点，在该点不是双曲的。这样，只需在局部分析这个不动点。把它先push到坐标上去，再将函数在那里通过一个bump函数微微调整，最后在pull back这个函数，我们最终可以得到两个不同的函数，他们在点都是双曲的，但是他们稳定流形和不稳定流形的维数不同。这样他们是不可能共轭的。（P.S.本题具体写起来最麻烦。） 为了给出一个反例，我构造了圆周上的微分同胚，满足每个点都是周期为2的周期点。同时这个微分同胚共轭于圆周的旋转，从而是结构稳定的。但是我构造出来的例子中，该圆周有非双曲的周期点，即，导数正好为.]]></description>
			<content:encoded><![CDATA[<p>刚刚参加<a href="http://w3.impa.br/~viana/#Welcome">Marcelo Viana</a>教授的Hyperbolic Dynamics的博士课程的期中考试，一共四道题目。</p>
<p><strong>题目一</strong>:设<img src='http://s.wordpress.com/latex.php?latex=f%3AM%5Cto%20%5CBbb%20R&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='f:M\to \Bbb R' title='f:M\to \Bbb R' class='latex' />为一个<img src='http://s.wordpress.com/latex.php?latex=C%5Er&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='C^r' title='C^r' class='latex' />的实值函数，期中<img src='http://s.wordpress.com/latex.php?latex=r%5Cgeq%202&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='r\geq 2' title='r\geq 2' class='latex' />.令<img src='http://s.wordpress.com/latex.php?latex=F%3Dgrad%20%28f%29&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='F=grad (f)' title='F=grad (f)' class='latex' />.证明如果<img src='http://s.wordpress.com/latex.php?latex=p%5Cin%20M&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='p\in M' title='p\in M' class='latex' />是向量场<img src='http://s.wordpress.com/latex.php?latex=F&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='F' title='F' class='latex' />的奇点，则<img src='http://s.wordpress.com/latex.php?latex=DF%28p%29&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='DF(p)' title='DF(p)' class='latex' />的特征值都是实数。证明如果<img src='http://s.wordpress.com/latex.php?latex=p&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='p' title='p' class='latex' />是一个双曲形的奇点当且仅当双线性形式<img src='http://s.wordpress.com/latex.php?latex=D%5E2f%28p%29&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='D^2f(p)' title='D^2f(p)' class='latex' />是非退化的。更进一步的，证明<img src='http://s.wordpress.com/latex.php?latex=F&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='F' title='F' class='latex' />不包含周期轨道。</p>
<p><strong>证明提纲</strong>：在欧式空间中，梯度场由于是由函数的的各方向导数所得来的，我们发现它的导数在局部坐标下看是一个对称阵，于是我们得出相应的特征值都应当是实数。而将坐标拉回也不影响这个结果。而沿着梯度场，函数<img src='http://s.wordpress.com/latex.php?latex=f&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='f' title='f' class='latex' />的值是严格递增的，不可能出现周期点。(反证法)<span id="more-2632"></span></p>
<p><strong>题目二</strong>：令<img src='http://s.wordpress.com/latex.php?latex=f%3AM%5Cto%20M&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='f:M\to M' title='f:M\to M' class='latex' />为一个微分同胚，令<img src='http://s.wordpress.com/latex.php?latex=%5CLambda&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\Lambda' title='\Lambda' class='latex' />为<img src='http://s.wordpress.com/latex.php?latex=f&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='f' title='f' class='latex' />的双曲不变集合(<a href="http://en.wikipedia.org/wiki/Hyperbolic_set">Hyperbolic set</a>).设<img src='http://s.wordpress.com/latex.php?latex=p%2Cq%5Cin%20%5CLambda&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='p,q\in \Lambda' title='p,q\in \Lambda' class='latex' />为两个周期点并定义</p>
<p><img src='http://s.wordpress.com/latex.php?latex=p%5Cprec%20q%20%5CLongleftrightarrow%20W%5Eu%28p%29&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='p\prec q \Longleftrightarrow W^u(p)' title='p\prec q \Longleftrightarrow W^u(p)' class='latex' /> 在某点横截的与<img src='http://s.wordpress.com/latex.php?latex=W%5Es%28q%29&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='W^s(q)' title='W^s(q)' class='latex' />相交</p>
<p>再定义<img src='http://s.wordpress.com/latex.php?latex=p%20%5Capprox%20q%20%5CLongleftrightarrow%20p%5Cprec%20q%20%5Ctext%7B%20and%20%7D%20q%5Cprec%20p&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='p \approx q \Longleftrightarrow p\prec q \text{ and } q\prec p' title='p \approx q \Longleftrightarrow p\prec q \text{ and } q\prec p' class='latex' />.</p>
<p>证明上面定义的<img src='http://s.wordpress.com/latex.php?latex=%5Capprox&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\approx' title='\approx' class='latex' />是一个等价关系.更进一步的，证明对任意的开集<img src='http://s.wordpress.com/latex.php?latex=U&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='U' title='U' class='latex' />和<img src='http://s.wordpress.com/latex.php?latex=V&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='V' title='V' class='latex' />与同一个等价类相交非空，则存在<img src='http://s.wordpress.com/latex.php?latex=n%5Cgeq%201&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='n\geq 1' title='n\geq 1' class='latex' />，使得<img src='http://s.wordpress.com/latex.php?latex=f%5En%28U%29%5Ccap%20V%5Cneq%20%5Cemptyset&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='f^n(U)\cap V\neq \emptyset' title='f^n(U)\cap V\neq \emptyset' class='latex' />.</p>
<p><strong>证明提纲：</strong>验证等价类的定义，关键在于验证传递性。而这里我们需要证明的关键是，对于三个点<img src='http://s.wordpress.com/latex.php?latex=p%2Cq%2Cx&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='p,q,x' title='p,q,x' class='latex' />，满足<img src='http://s.wordpress.com/latex.php?latex=p&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='p' title='p' class='latex' />的不稳定流形和<img src='http://s.wordpress.com/latex.php?latex=q&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='q' title='q' class='latex' />的稳定流形横截相交；<img src='http://s.wordpress.com/latex.php?latex=q&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='q' title='q' class='latex' />的不稳定流形和<img src='http://s.wordpress.com/latex.php?latex=x&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='x' title='x' class='latex' />的稳定流形横截相交，可以推出<img src='http://s.wordpress.com/latex.php?latex=p&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='p' title='p' class='latex' />的不稳定流形与<img src='http://s.wordpress.com/latex.php?latex=x&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='x' title='x' class='latex' />的稳定流形也是横截相交的。而这个证明需要<img src='http://s.wordpress.com/latex.php?latex=%5Clambda&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\lambda' title='\lambda' class='latex' />引理。</p>
<p>对于第二个问，对于这两个任意给定的开集合<img src='http://s.wordpress.com/latex.php?latex=U&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='U' title='U' class='latex' />和<img src='http://s.wordpress.com/latex.php?latex=V&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='V' title='V' class='latex' />,我们在其中寻找到等价类的点，比如说<img src='http://s.wordpress.com/latex.php?latex=p%2Cq&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='p,q' title='p,q' class='latex' />，则我们可以分别作出<img src='http://s.wordpress.com/latex.php?latex=p&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='p' title='p' class='latex' />的不稳定流形和<img src='http://s.wordpress.com/latex.php?latex=q&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='q' title='q' class='latex' />的稳定流形.注意，他们是横截相交的。设交点为<img src='http://s.wordpress.com/latex.php?latex=x&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='x' title='x' class='latex' />，则我们可以利用稳定流形和不稳定流形的性质，得出存在<img src='http://s.wordpress.com/latex.php?latex=f%5En%28U%29%5Ccap%20V%5Cneq%20%5Cemptyset&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='f^n(U)\cap V\neq \emptyset' title='f^n(U)\cap V\neq \emptyset' class='latex' />.</p>
<p><strong>题目三</strong>：令<img src='http://s.wordpress.com/latex.php?latex=%5Clambda%5Cin%20%280%2C1%29&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\lambda\in (0,1)' title='\lambda\in (0,1)' class='latex' />.证明如果<img src='http://s.wordpress.com/latex.php?latex=f%3A%5CBbb%20R%5Cto%20%5CBbb%20R&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='f:\Bbb R\to \Bbb R' title='f:\Bbb R\to \Bbb R' class='latex' />是一个<img src='http://s.wordpress.com/latex.php?latex=C%5E1&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='C^1' title='C^1' class='latex' />微分同胚，并满足<img src='http://s.wordpress.com/latex.php?latex=f&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='f' title='f' class='latex' />与<img src='http://s.wordpress.com/latex.php?latex=L%28x%29%3D%5Clambda%20x&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='L(x)=\lambda x' title='L(x)=\lambda x' class='latex' />可交换(就是说，<img src='http://s.wordpress.com/latex.php?latex=f%5Ccirc%20L%28x%29%3DL%5Ccirc%20f%28x%29&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='f\circ L(x)=L\circ f(x)' title='f\circ L(x)=L\circ f(x)' class='latex' />),则<img src='http://s.wordpress.com/latex.php?latex=f&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='f' title='f' class='latex' />是线性的。而另一方面，存在<img src='http://s.wordpress.com/latex.php?latex=R%5E2&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='R^2' title='R^2' class='latex' />上的<img src='http://s.wordpress.com/latex.php?latex=C%5E%5Cinfty&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='C^\infty' title='C^\infty' class='latex' />的微分同胚，与<img src='http://s.wordpress.com/latex.php?latex=T%28x%2Cy%29%3D%28%5Clambda%20x%2C%5Clambda%5E2%20y%29&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='T(x,y)=(\lambda x,\lambda^2 y)' title='T(x,y)=(\lambda x,\lambda^2 y)' class='latex' />可交换，却不是线性的变换。</p>
<p><strong>证明提纲：</strong>由题目条件，我们得出<img src='http://s.wordpress.com/latex.php?latex=f%28%5Clambda%20x%29%3D%5Clambda%20f%28x%29&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='f(\lambda x)=\lambda f(x)' title='f(\lambda x)=\lambda f(x)' class='latex' />.于是，首先，我们可以得到<img src='http://s.wordpress.com/latex.php?latex=f%28%5Clambda%5En%29%3D%5Clambda%5Enf%281%29&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='f(\lambda^n)=\lambda^nf(1)' title='f(\lambda^n)=\lambda^nf(1)' class='latex' />.于是，由于<img src='http://s.wordpress.com/latex.php?latex=f%5Cin%20C%5E1&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='f\in C^1' title='f\in C^1' class='latex' />,而<img src='http://s.wordpress.com/latex.php?latex=%5Clambda%5En%5Cto%200&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\lambda^n\to 0' title='\lambda^n\to 0' class='latex' />,我们有,<img src='http://s.wordpress.com/latex.php?latex=f%281%29%3D%5Cfrac%7Bf%28%5Clambda%5En%29%7D%7B%5Clambda%5En%7D%5Cto%20f%27%281%29&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='f(1)=\frac{f(\lambda^n)}{\lambda^n}\to f&#039;(1)' title='f(1)=\frac{f(\lambda^n)}{\lambda^n}\to f&#039;(1)' class='latex' />.现在任取<img src='http://s.wordpress.com/latex.php?latex=x%5Cin%20%5CBbb%20R%5E1&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='x\in \Bbb R^1' title='x\in \Bbb R^1' class='latex' />,我们有<img src='http://s.wordpress.com/latex.php?latex=%5Cfrac%7Bf%28x%29%7D%7Bx%7D%3D%5Cfrac%7Bf%28%5Clambda%5Enx%29%7D%7B%5Clambda%5En%7D%5Cto%20f%27%280%29%3Df%281%29&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='\frac{f(x)}{x}=\frac{f(\lambda^nx)}{\lambda^n}\to f&#039;(0)=f(1)' title='\frac{f(x)}{x}=\frac{f(\lambda^nx)}{\lambda^n}\to f&#039;(0)=f(1)' class='latex' />.于是<img src='http://s.wordpress.com/latex.php?latex=f%28x%29%3Df%281%29x&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='f(x)=f(1)x' title='f(x)=f(1)x' class='latex' />对所有<img src='http://s.wordpress.com/latex.php?latex=x&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='x' title='x' class='latex' />成立。</p>
<p>第二个问，我们构造函数<img src='http://s.wordpress.com/latex.php?latex=h&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='h' title='h' class='latex' />定义如下，<img src='http://s.wordpress.com/latex.php?latex=h%28x%2Cy%29%3D%28x%2Cx%5E2%2By%29&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='h(x,y)=(x,x^2+y)' title='h(x,y)=(x,x^2+y)' class='latex' />.这是一个非线性的函数，满足与<img src='http://s.wordpress.com/latex.php?latex=T&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='T' title='T' class='latex' />可交换。</p>
<p><strong>题目四</strong>：令<img src='http://s.wordpress.com/latex.php?latex=f%3AM%5Cto%20M&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='f:M\to M' title='f:M\to M' class='latex' />为一个<img src='http://s.wordpress.com/latex.php?latex=C%5E1&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='C^1' title='C^1' class='latex' />类的微分同胚，其中<img src='http://s.wordpress.com/latex.php?latex=M&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='M' title='M' class='latex' />是一个compact的流形。证明如果<img src='http://s.wordpress.com/latex.php?latex=f&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='f' title='f' class='latex' />是结构稳定的，则<img src='http://s.wordpress.com/latex.php?latex=f&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='f' title='f' class='latex' />的所有不动点都是双曲不动点。我们能对周期<img src='http://s.wordpress.com/latex.php?latex=k%5Cgeq%201&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='k\geq 1' title='k\geq 1' class='latex' />的周期点有同样的断言吗？</p>
<p><strong>证明提纲：</strong><img src='http://s.wordpress.com/latex.php?latex=f&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='f' title='f' class='latex' />是结构稳定的，首要的事情就是它的不动点都是simple的。再加上流形是紧致的，于是我们可以证明不动点一定是有限个。假设我们有一个不动点<img src='http://s.wordpress.com/latex.php?latex=p&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='p' title='p' class='latex' />，<img src='http://s.wordpress.com/latex.php?latex=f&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='f' title='f' class='latex' />在该点不是双曲的。这样，只需在局部分析这个不动点。把它先push到坐标上去，再将函数在那里通过一个bump函数微微调整，最后在pull back这个函数，我们最终可以得到两个不同的函数，<img src='http://s.wordpress.com/latex.php?latex=f%27%2Cf%27%27%27&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='f&#039;,f&#039;&#039;&#039;' title='f&#039;,f&#039;&#039;&#039;' class='latex' />他们在<img src='http://s.wordpress.com/latex.php?latex=p&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='p' title='p' class='latex' />点都是双曲的，但是他们稳定流形和不稳定流形的维数不同。这样他们是不可能共轭的。（P.S.本题具体写起来最麻烦。）</p>
<p>为了给出一个反例，我构造了圆周上的微分同胚，满足每个点都是周期为2的周期点。同时这个微分同胚共轭于圆周的旋转，从而是结构稳定的。但是我构造出来的例子中，该圆周有非双曲的周期点，即，导数正好为<img src='http://s.wordpress.com/latex.php?latex=1&#038;bg=ffffff&#038;fg=000000&#038;s=0' alt='1' title='1' class='latex' />.</p>
<p><a href="http://www.liuxiaochuan.org/wp-content/uploads/2012/05/IMG_05511.jpg"><img class="alignnone size-medium wp-image-2634" title="IMG_0551" src="http://www.liuxiaochuan.org/wp-content/uploads/2012/05/IMG_05511-300x224.jpg" alt="" width="300" height="224" /></a></p>
]]></content:encoded>
			<wfw:commentRss>http://www.liuxiaochuan.org/2012/05/midtermhyperbolicdynamic.htm/feed</wfw:commentRss>
		<slash:comments>5</slash:comments>
		</item>
		<item>
		<title>“国际数学前沿”会议</title>
		<link>http://www.liuxiaochuan.org/2012/04/frontiermathematics.htm</link>
		<comments>http://www.liuxiaochuan.org/2012/04/frontiermathematics.htm#comments</comments>
		<pubDate>Thu, 19 Apr 2012 15:07:43 +0000</pubDate>
		<dc:creator>Xiaochuan Liu</dc:creator>
				<category><![CDATA[math.DS]]></category>
		<category><![CDATA[IMU]]></category>
		<category><![CDATA[Ingrid Daubechies]]></category>
		<category><![CDATA[László Lovász]]></category>
		<category><![CDATA[Marcelo Viana]]></category>
		<category><![CDATA[Yiming Long]]></category>

		<guid isPermaLink="false">http://www.liuxiaochuan.org/?p=2627</guid>
		<description><![CDATA[本周在IMPA，召开称做“国际数学前沿”会议，属国际数学联盟的学术活动。会议的主要报告人是由现任国际数学联盟的委员会成员组成。特别的，其中包括现任国际数学联盟主席Ingrid Daubechies教授，两位副主席Christiane Rousseau教授和Marcelo Viana教授，以及上一任数学联盟的主席László Lovász教授。数学联盟的执行委员，南开大学陈省身数学所的龙以明教授也带来他的报告。 由于会议主要报告人都不是同一学科，我猜想报告应该门槛比较低。我适时会选择听其中的一些。 &#160; &#160; &#160; &#160; &#160;]]></description>
			<content:encoded><![CDATA[<p>本周在<a href="http://www.impa.br/opencms/pt/index.jsp">IMPA</a>，召开称做<a href="http://www.impa.br/opencms/pt/eventos/store/evento_1204">“国际数学前沿”会议</a>，属<a href="http://www.mathunion.org/home/">国际数学联盟</a>的学术活动。会议的主要报告人是由现任国际数学联盟的委员会成员组成。特别的，其中包括现任国际数学联盟主席<a href="http://fds.duke.edu/db/aas/math/ingrid">Ingrid Daubechies</a>教授，两位副主席<a href="http://dms.umontreal.ca/~rousseac/">Christiane Rousseau</a>教授和<a href="http://w3.impa.br/~viana/#Welcome">Marcelo Viana</a>教授，以及上一任数学联盟的主席<a href="http://www.cs.elte.hu/~lovasz/">László Lovász</a>教授。数学联盟的执行委员，南开大学陈省身数学所的<a href="http://www.nim.nankai.edu.cn/about_us/member/longym.htm">龙以明</a>教授也带来他的报告。</p>
<p>由于会议主要报告人都不是同一学科，我猜想报告应该门槛比较低。我适时会选择听其中的一些。</p>
<p>&nbsp;</p>
<p>&nbsp;</p>
<p>&nbsp;</p>
<p>&nbsp;</p>
<p>&nbsp;</p>
]]></content:encoded>
			<wfw:commentRss>http://www.liuxiaochuan.org/2012/04/frontiermathematics.htm/feed</wfw:commentRss>
		<slash:comments>0</slash:comments>
		</item>
		<item>
		<title>读书计划：现代动力系统导论</title>
		<link>http://www.liuxiaochuan.org/2012/04/%e8%af%bb%e4%b9%a6%e8%ae%a1%e5%88%92%ef%bc%9a%e7%8e%b0%e4%bb%a3%e5%8a%a8%e5%8a%9b%e7%b3%bb%e7%bb%9f%e5%af%bc%e8%ae%ba.htm</link>
		<comments>http://www.liuxiaochuan.org/2012/04/%e8%af%bb%e4%b9%a6%e8%ae%a1%e5%88%92%ef%bc%9a%e7%8e%b0%e4%bb%a3%e5%8a%a8%e5%8a%9b%e7%b3%bb%e7%bb%9f%e5%af%bc%e8%ae%ba.htm#comments</comments>
		<pubDate>Wed, 18 Apr 2012 18:12:35 +0000</pubDate>
		<dc:creator>Xiaochuan Liu</dc:creator>
				<category><![CDATA[Ergodic Theory]]></category>
		<category><![CDATA[math.DS]]></category>
		<category><![CDATA[Maths]]></category>
		<category><![CDATA[Anetole Katok]]></category>
		<category><![CDATA[Boris Hasselblatt]]></category>
		<category><![CDATA[dynamical systems]]></category>
		<category><![CDATA[Garrett Stuck]]></category>
		<category><![CDATA[Jacob Palis]]></category>
		<category><![CDATA[Marcelo Viana]]></category>
		<category><![CDATA[Michael Brin]]></category>
		<category><![CDATA[Welington de Melo]]></category>

		<guid isPermaLink="false">http://www.liuxiaochuan.org/?p=2625</guid>
		<description><![CDATA[我计划用不太短的时间（大约一年时间），阅读Anetole Katok和Boris Hasselblatt的书：“Introduction to the Modern Theory of Dynamical Systems”.我之前断断续续的仅读过几十页的样子，习题也只是零散的做过若干。这次把书拿起来，决定不再线性的读，而是围绕一些话题，分成几个部分。 第一个阶段我打算阅读Hyperbolic Dynamics的初步，主要集中在书的第一部分和第二部分。阅读的同时我会注重积累例子，是从第一部分开始。第四章是遍历论的简介，我略去不看。暂时不读的还有第一部分的第五章。因此，全书的前三章就是整个学习的开始，我已经对这部分有些熟悉。 我看到有一些内容与Jacob Palis和Welington De Melo的书“Geometric Theory of Dynamical Systems: An Introduction”的相关内容有重复，我会将两书结合到一起学习.这部分目前是我阅读的重点之一，也是我这学期事实上在听的由Marcelo Viana教授所主讲的同名的博士生课程。相关的参考书还有Michael Brin和Garrett Stuck所著“Introduction to Dynamical Systems”，只是并没有包括所有证明。第六章将是我学习的一个重点，接下来是第七章。计划这些需要大约3个月左右。 完成上面的学习之后，我可能从书的第三部分，低维的动力系统入手，进行第二个阶段的阅读，不过具体的计划完全还不成熟，到时候可能随着我自己学习相关课程同时进行。 于此同时，全书的473个习题是“本书非常重要的一部分”。这些习题，我会在阅读的同时尽量全做，但是不见得有时间都写下来。 Katok和Hasselblatt的这本书是动力系统领域的经典名著，书中不论深度广度都达到相当的程度。想进入这个专业领域中来，细读这本书显然很值得。我相信应该有不少人在学这个书。如果有人有跟我相类似的时间安排，请与我联系。]]></description>
			<content:encoded><![CDATA[<p>我计划用不太短的时间（大约一年时间），阅读<a href="http://www.math.psu.edu/katok_a/">Anetole Katok</a>和<a href="http://www.tufts.edu/~bhasselb/">Boris Hasselblatt</a>的书：“<a href="http://www.amazon.com/Introduction-Dynamical-Encyclopedia-Mathematics-Applications/dp/0521575575">Introduction to the Modern Theory of Dynamical Systems</a>”.我之前断断续续的仅读过几十页的样子，习题也只是零散的做过若干。这次把书拿起来，决定不再线性的读，而是围绕一些话题，分成几个部分。</p>
<p>第一个阶段我打算阅读Hyperbolic Dynamics的初步，主要集中在书的第一部分和第二部分。阅读的同时我会注重积累例子，是从第一部分开始。第四章是遍历论的简介，我略去不看。暂时不读的还有第一部分的第五章。因此，全书的前三章就是整个学习的开始，我已经对这部分有些熟悉。</p>
<p>我看到有一些内容与<a href="http://en.wikipedia.org/wiki/Jacob_Palis">Jacob Palis</a>和<a href="http://en.wikipedia.org/wiki/Welington_de_Melo">Welington De Melo</a>的书“<a href="http://www.amazon.com/Geometric-Theory-Dynamical-Systems-Introduction/dp/0387906681">Geometric Theory of Dynamical Systems: An Introduction</a>”的相关内容有重复，我会将两书结合到一起学习.这部分目前是我阅读的重点之一，也是我这学期事实上在听的由<a href="http://w3.impa.br/~viana/">Marcelo Viana</a>教授所主讲的同名的<a href="http://www.impa.br/opencms/pt/ensino/doutorado/disciplinas_doutorado/disciplinas_catalogo_2011/disciplinas_doutorado_dinamica_hiperbolica.html">博士生课程</a>。相关的参考书还有<a href="http://www-users.math.umd.edu/~mib/">Michael Brin</a>和Garrett Stuck所著“<a href="http://www.amazon.com/Introduction-Dynamical-Systems-Michael-Brin/dp/0521808413">Introduction to Dynamical Systems</a>”，只是并没有包括所有证明。第六章将是我学习的一个重点，接下来是第七章。计划这些需要大约3个月左右。</p>
<p>完成上面的学习之后，我可能从书的第三部分，低维的动力系统入手，进行第二个阶段的阅读，不过具体的计划完全还不成熟，到时候可能随着我自己学习相关课程同时进行。</p>
<p>于此同时，全书的473个习题是“本书非常重要的一部分”。这些习题，我会在阅读的同时尽量全做，但是不见得有时间都写下来。</p>
<p>Katok和Hasselblatt的这本书是动力系统领域的经典名著，书中不论深度广度都达到相当的程度。想进入这个专业领域中来，细读这本书显然很值得。我相信应该有不少人在学这个书。如果有人有跟我相类似的时间安排，请与我联系。</p>
]]></content:encoded>
			<wfw:commentRss>http://www.liuxiaochuan.org/2012/04/%e8%af%bb%e4%b9%a6%e8%ae%a1%e5%88%92%ef%bc%9a%e7%8e%b0%e4%bb%a3%e5%8a%a8%e5%8a%9b%e7%b3%bb%e7%bb%9f%e5%af%bc%e8%ae%ba.htm/feed</wfw:commentRss>
		<slash:comments>1</slash:comments>
		</item>
		<item>
		<title>高等数学两个月总结</title>
		<link>http://www.liuxiaochuan.org/2012/04/twomonth.htm</link>
		<comments>http://www.liuxiaochuan.org/2012/04/twomonth.htm#comments</comments>
		<pubDate>Mon, 02 Apr 2012 02:37:20 +0000</pubDate>
		<dc:creator>Xiaochuan Liu</dc:creator>
				<category><![CDATA[Maths]]></category>
		<category><![CDATA[advanced mathematics]]></category>
		<category><![CDATA[Enumerative Combinatorics]]></category>

		<guid isPermaLink="false">http://www.liuxiaochuan.org/?p=2623</guid>
		<description><![CDATA[各位同学， 我原本的计划是，在6月之前基本完成一门大学水平的离散数学的课程。我们进行的进度，如果都能够按时完成的话，是差不多可以达到这个要求的。我上次提到想在4月展开比较新的内容的学习，指的是关于整数的分拆理论，这个理论由于跟数论也有比较密切的联系，一直都是很热烈的研究分支。所以新版的Stanley的书特别的加入了这个部分的内容（第一版是没有的）。这部分理论有一些非常大气的工作是剑桥的Hardy和印度传奇数学家Ramanujan做的，华罗庚在剑桥期间受到过Hardy影响，他本人也在这里作了不少工作。 学习数学主要靠勤奋，因为一般而言，人与人的聪明程度大致相当，有大人物说到学数学需要的天赋和运气，那是在有相当的基础之后才能够谈及的，多数人可以说终究没有达到那个程度。而一般而言，勤奋的同时掌握着适当的方法，每个人都可以得到良好的基本训练。 我们花了两个月时间，大致看到了一些现代的组合数学入门知识，到此告一个段落。所讲授的东西都是非常浅显的。两个月之前我还有过一个想法，就是迅速进入严肃的科研，大家一起找一些研究题目做一做。当时也有同学写信给我表达过这个愿望。但是即便是最有可能做到这一点的组合数学，也仍然需要认真打基础，而且如果想做一点真正有意义的东西，没有一两年的时间是不要抱什么希望的。目前大家4月给我的反馈为零，看来我们做不到。等以后有机会再说。 7月份开始学习数学分析与线性代数两门课程。而在这儿之前，我想知道每个人想学点什么,将来几年的学习计划是怎样。就像我在2月初跟大家提到的，我只能帮助具有高中数学基础的朋友打好undergraduate的数学基础，而正式的是从7月份开始，其他方面的学习计划就不用跟我说了。 具体一点儿的，数学分析将会使用北京大学张筑生所著，三卷本“数学分析新讲”。线性代数使用丘维声所著：“高等代数”两册。这两门课，都是非常基本的，是现代数学的语言。 Elias Stein and Rami Shakarchi所著的四卷的普林斯顿分析教材“傅立叶分析”，“复分析”，“实分析”，以及“泛函分析”将会成为后续的分析课程的主要教材，我个人当然希望有同学可以两三年内把这些书都读完。这样在大学期间的所有与“分析”有关系的基础就很不错了。（事实上，我本人还没有见到第四本。）如果可能，第一年我将尽可能把第一本，“傅立叶分析”，的部分内容加入到我们我们数学分析的扩充内容中来。 三卷的数学分析新讲，我们要用一年时间搞定，并不是一个很简单的任务。如果到时候我们的进度仍旧如过去两个月一样，那么可以肯定的说，我们是学不下来的。我等到7月份开始，会删掉教材中的其中一部分内容，绝不是因为不重要，而是因为像微分方程的部分，微分几何的部分，今后我们可以安排某个学期专门学习，在这里为了掌握数学分析的基本理论，就先略过去了。 学习的形式，我会写邮件安排每周的阅读内容，每两周我会留一次作业，作业我会读，如果有能力使用latex把作业打出来发给我最好（最好早一点学会使用latex，我不接受word的文档）。或者，请写好在纸上，用相机拍摄给我发过来。这次会比较严格，否则两三个月的时间跟不上就会被甩开，便不可能跟得上了。 到第二年，哪怕只有一个学生能够坚持把两门课学下来，我就认为是很大的成功。到时候看每个人的喜好，我们可以展开的内容就丰富多了。基础抽象代数学，基础拓扑学，或者基础的微分流形，微分方程，概率论，以及上面提到的分析学的后续课程都是非常好的题材。到这个阶段，我将会更多的使用英文教材，而且尽量读流传广泛且深远的名著。 于此同时，我们可以在任何时候学习组合数学，而且，如果我觉得训练差不太多了，会给大家一些文献进行阅读（一般，只需要两三个月的认真学习就可以阅读一些简单文献了）。 但是现在我打算暂停三个月（4月，5月和6月），一同为7月份做好准备。]]></description>
			<content:encoded><![CDATA[<p>各位同学，</p>
<p>我原本的计划是，在6月之前基本完成一门大学水平的离散数学的课<wbr>程。我们进行的进度，如果都能够按时完成的话，<wbr>是差不多可以达到这个要求的。我上次提到想在4月展开比较新的内<wbr>容的学习，指的是关于整数的分拆理论，<wbr>这个理论由于跟数论也有比较密切的联系，<wbr>一直都是很热烈的研究分支。所以新版的Stanley的书特别的<wbr>加入了这个部分的内容（第一版是没有的）。<wbr>这部分理论有一些非常大气的工作是剑桥的Hardy和印度传奇数<wbr>学家Ramanujan做的，华罗庚在剑桥期间受到过Hardy<wbr>影响，他本人也在这里作了不少工作。</wbr></wbr></wbr></wbr></wbr></wbr></wbr></wbr></wbr></p>
<p>学习数学主要靠勤奋，因为一般而言，人与人的聪明程度大致相当，<wbr>有大人物说到学数学需要的天赋和运气，<wbr>那是在有相当的基础之后才能够谈及的，多数人可以说终究没有达到那个程度。<wbr>而一般而言，勤奋的同时掌握着适当的方法，<wbr>每个人都可以得到良好的基本训练。</wbr></wbr></wbr></wbr></p>
<p>我们花了两个月时间，大致看到了一些现代的组合数学入门知识，<wbr>到此告一个段落。所讲授的东西都是非常浅显的。<wbr>两个月之前我还有过一个想法，就是迅速进入严肃的科研，<wbr>大家一起找一些研究题目做一做。<wbr>当时也有同学写信给我表达过这个愿望。<wbr>但是即便是最有可能做到这一点的组合数学，<wbr>也仍然需要认真打基础，而且如果想做一点真正有意义的东西，<wbr>没有一两年的时间是不要抱什么希望的。目前大家4月给我的反馈为零，看来我们做不到。等以后有机会再说。</wbr></wbr></wbr></wbr></wbr></wbr></wbr></p>
<p>7月份开始学习数学分析与线性代数两门课程。而在这儿之前，<wbr>我想知道每个人想学点什么,将来几年的学习计划是怎样。就像我在2月<wbr>初跟大家提到的，我只能帮助具有高中数学基础的朋友打好unde<wbr>rgraduate的数学基础，而正式的是从7月份开始，<wbr>其他方面的学习计划就不用跟我说了。</wbr></wbr></wbr></wbr></p>
<p>具体一点儿的，数学分析将会使用北京大学张筑生所著，三卷本“<wbr>数学分析新讲”。线性代数使用丘维声所著：“高等代数”两册。<wbr>这两门课，都是非常基本的，是现代数学的语言。</wbr></wbr></p>
<p>Elias Stein and Rami Shakarchi所著的四卷的普林斯顿分析教材“傅立叶分析”<wbr>，“复分析”，“实分析”，以及“泛函分析”<wbr>将会成为后续的分析课程的主要教材，<wbr>我个人当然希望有同学可以两三年内把这些书都读完。<wbr>这样在大学期间的所有与“分析”有关系的基础就很不错了。（<wbr>事实上，我本人还没有见到第四本。）如果可能，<wbr>第一年我将尽可能把第一本，“傅立叶分析”，<wbr>的部分内容加入到我们我们数学分析的扩充内容中来。</wbr></wbr></wbr></wbr></wbr></wbr></wbr></p>
<p>三卷的数学分析新讲，我们要用一年时间搞定，<wbr>并不是一个很简单的任务。<wbr>如果到时候我们的进度仍旧如过去两个月一样，那么可以肯定的说，<wbr>我们是学不下来的。我等到7月份开始，<wbr>会删掉教材中的其中一部分内容，绝不是因为不重要，<wbr>而是因为像微分方程的部分，微分几何的部分，<wbr>今后我们可以安排某个学期专门学习，<wbr>在这里为了掌握数学分析的基本理论，就先略过去了。</wbr></wbr></wbr></wbr></wbr></wbr></wbr></p>
<p>学习的形式，我会写邮件安排每周的阅读内容，<wbr>每两周我会留一次作业，作业我会读，如果有能力使用l<wbr>atex把作业打出来发给我最好（<wbr>最好早一点学会使用latex，我不接受word的文档）。<wbr>或者，请写好在纸上，用相机拍摄给我发过来。<strong>这次会比较严格</strong>，<wbr>否则两三个月的时间跟不上就会被甩开，便不可能跟得上了。</wbr></wbr></wbr></wbr></wbr></p>
<p>到第二年，哪怕只有一个学生能够坚持把两门课学下来，<wbr>我就认为是很大的成功。到时候看每个人的喜好，<wbr>我们可以展开的内容就丰富多了。基础抽象代数学，基础拓扑学，<wbr>或者基础的微分流形，微分方程，概率论，<wbr>以及上面提到的分析学的后续课程都是非常好的题材。到这个阶段，<wbr>我将会更多的使用英文教材，而且尽量读流传广泛且深远的名著。</wbr></wbr></wbr></wbr></wbr></p>
<p>于此同时，我们可以在任何时候学习组合数学，而且，<wbr>如果我觉得训练差不太多了，会给大家一些文献进行阅读（<wbr>一般，只需要两三个月的认真学习就可以阅读一些简单文献了）。</wbr></wbr></p>
<p>但是现在我打算暂停三个月（4月，5月和6月），一同为7月<wbr>份做好准备。</wbr></p>
]]></content:encoded>
			<wfw:commentRss>http://www.liuxiaochuan.org/2012/04/twomonth.htm/feed</wfw:commentRss>
		<slash:comments>7</slash:comments>
		</item>
		<item>
		<title>可能会被扼杀的刘路</title>
		<link>http://www.liuxiaochuan.org/2012/03/dangerousyoungmathematicia.htm</link>
		<comments>http://www.liuxiaochuan.org/2012/03/dangerousyoungmathematicia.htm#comments</comments>
		<pubDate>Wed, 21 Mar 2012 15:59:41 +0000</pubDate>
		<dc:creator>Xiaochuan Liu</dc:creator>
				<category><![CDATA[Maths]]></category>
		<category><![CDATA[Lu Liu]]></category>
		<category><![CDATA[Zhongnan University]]></category>

		<guid isPermaLink="false">http://www.liuxiaochuan.org/?p=2618</guid>
		<description><![CDATA[写这样的文章是有点危险的，这也是为什么明眼人清清楚楚的知道这件事是很荒唐，但是都不打算站出来讲两句话。可是目前已经有点可笑了，我忍不住说上几句。 去年听到中南大学的刘路解决了“Seetapun”猜想，居然还是从我母亲那里知道的，她在网上看到铺天盖地的新闻，便来信问我，这是个什么情况。于是我的第一反应，便是去找找这篇原始论文，可是并不容易找，一直到现在我也没有见到。而在2012年的三月初，刘路居然被破格评为研究员。要知道媒体与一些机构把一个人碰到捧到一定程度的时候，往往他们都是为了自己的目的。 在网上被各种惊呼所淹没的言论中，我只看到香港浸会大学的汤涛教授的提醒，说大家不要捧杀了他，“领导、院士、舆论还是不要掺和得太多。顺其自然，给点鼓励和物质奖励就可以了。”可是这个客观的评论早已被淹没，很可能发生的情况是，媒体继续热闹一段日子，大家饭后谈资可以开心的对中国又出了一个“天才”而感到骄傲，几年以后，这事儿就像没发生过一样了。 之前刘路被接收硕博连读，是很合适而且也是应该的，应该说他独立的研究能力已经得到了初步展现，比某些大学的博士毕业生甚至更具水准。但是即便如此，他也有很大差距，要想在数学这条道路上真正走下去，他必须认真的走每一个严肃的数学工作者都要走的必经之路，要踏踏实实的接受研究生水平的数学训练。当然，他如果足够聪明，这个过程所需要的时间可以大大缩短。但是从我目前所掌握的信息来看，他还完全没有开始走向这条正确的路上来。而中南大学居然做出这样的决定，它们的的研究生教育水准实在让人疑惑。 有消息称，他已被伯克利录取。我建议他接受这个录取，真正开始在数学这条道路上走下去，这要比接受研究员的称号有意义的多。]]></description>
			<content:encoded><![CDATA[<p style="text-align: left;">写这样的文章是有点危险的，这也是为什么明眼人清清楚楚的知道这件事是很荒唐，但是都不打算站出来讲两句话。可是目前已经有点可笑了，我忍不住说上几句。</p>
<p>去年听到中南大学的<a href="http://baike.baidu.com/view/2453106.htm">刘路</a>解决了“Seetapun”猜想，居然还是从我母亲那里知道的，她在网上看到铺天盖地的新闻，便来信问我，这是个什么情况。于是我的第一反应，便是去找找这篇原始论文，可是并不容易找，一直到现在我也没有见到。<a href="http://news.ifeng.com/mainland/detail_2012_03/20/13327532_0.shtml">而在2012年的三月初，刘路居然被破格评为研究员。</a>要知道媒体与一些机构把一个人碰到捧到一定程度的时候，往往他们都是为了自己的目的。</p>
<p>在网上被各种惊呼所淹没的言论中，我只看到香港浸会大学的<a href="http://www.math.hkbu.edu.hk/~ttang/">汤涛</a>教授的提醒，说大家不要捧杀了他，“领导、院士、舆论还是不要掺和得太多。顺其自然，给点鼓励和物质奖励就可以了。”可是这个客观的评论早已被淹没，很可能发生的情况是，媒体继续热闹一段日子，大家饭后谈资可以开心的对中国又出了一个“天才”而感到骄傲，几年以后，这事儿就像没发生过一样了。</p>
<p>之前刘路被接收硕博连读，是很合适而且也是应该的，应该说他独立的研究能力已经得到了初步展现，比某些大学的博士毕业生甚至更具水准。但是即便如此，他也有<strong>很大差距</strong>，要想在数学这条道路上真正走下去，他必须认真的走每一个严肃的数学工作者都要走的必经之路，要踏踏实实的接受研究生水平的数学训练。当然，他如果足够聪明，这个过程所需要的时间可以大大缩短。但是从我目前所掌握的信息来看，他还完全没有开始走向这条正确的路上来。而中南大学居然做出这样的决定，它们的的研究生教育水准实在让人疑惑。</p>
<p>有消息称，他已被伯克利录取。我建议他接受这个录取，真正开始在数学这条道路上走下去，这要比接受研究员的称号有意义的多。</p>
]]></content:encoded>
			<wfw:commentRss>http://www.liuxiaochuan.org/2012/03/dangerousyoungmathematicia.htm/feed</wfw:commentRss>
		<slash:comments>14</slash:comments>
		</item>
		<item>
		<title>黎曼几何初步</title>
		<link>http://www.liuxiaochuan.org/2012/03/riemanniangeometr.htm</link>
		<comments>http://www.liuxiaochuan.org/2012/03/riemanniangeometr.htm#comments</comments>
		<pubDate>Mon, 12 Mar 2012 12:52:36 +0000</pubDate>
		<dc:creator>Xiaochuan Liu</dc:creator>
				<category><![CDATA[Maths]]></category>
		<category><![CDATA[Riemannian Geometry]]></category>

		<guid isPermaLink="false">http://www.liuxiaochuan.org/?p=2614</guid>
		<description><![CDATA[本学期我开始参加Fernando Codá Marques教授所讲授的“黎曼几何”课程，教材使用Manfredo do carmo的“Geometria Riemanniana”,以及稍微更深一点的书用作参考,Peter Petersen的“Riemannian Geometry”,GTM171。 这门课的基础，除了多维微积分以外，还需要对基本的微分流形有所了解,可能还需要一点微分方程。微分几何的基础我很喜欢William Munger Boothby的书，“An introduction to differentiable manifolds and Riemannian geometry”。而复习大学水平的微分几何，我适时会使用Wolfgang Kuhnel的书“Differential Geometry: Curves &#8211; Surfaces &#8211; Manifolds”. 一个朋友和我争论，他说几何多多少少依靠直觉，是他不喜欢的科目，他说这“简直像神学了”。我感觉像我们这样的初学者，见到的太少，还没有能力做这样的判断，虽然，即使仅仅懂了一点点，也足以感受到几何这个学科与集合论或者代数中更加具有“布尔巴基”味道的数学真的是风格迥异。总之，多了解不同风格的数学，总能让自己视野更开阔。期待有一天可以感受到Atiyah–Singer指标定理到底是怎样的波澜壮阔，我真的是垂涎已久了。 更新：（4月）youtube上已经在上传本课程的视频。]]></description>
			<content:encoded><![CDATA[<p>本学期我开始参加<a href="http://www.impa.br/opencms/pt/pesquisa/pesquisa_pesquisadores/pesquisadores_fernando_coda/pesquisadores_fernando_coda.html">Fernando Codá Marques</a>教授所讲授的“<a href="http://en.wikipedia.org/wiki/Riemannian_geometry">黎曼几何</a>”课程，教材使用<a href="http://www.impa.br/opencms/pt/pesquisa/pesquisa_pesquisadores/pesquisadores_manfredo_p_do_carmo/pesquisadores_manfredo_p_do_carmo.html">Manfredo do carmo</a>的“Geometria Riemanniana”,以及稍微更深一点的书用作参考,Peter Petersen的“<a href="http://www.amazon.com/Riemannian-Geometry-Graduate-Texts-Mathematics/dp/0387292462">Riemannian Geometry</a>”,GTM171。</p>
<p>这门课的基础，除了多维微积分以外，还需要对基本的微分流形有所了解,可能还需要一点微分方程。微分几何的基础我很喜欢William Munger Boothby的书，“<a href="http://www.amazon.com/Introduction-Differentiable-Manifolds-Riemannian-Mathematics/dp/0121160513">An introduction to differentiable manifolds and Riemannian geometry</a>”。而复习大学水平的微分几何，我适时会使用Wolfgang Kuhnel的书“Differential Geometry: Curves &#8211; Surfaces &#8211; Manifolds”.</p>
<p>一个朋友和我争论，他说几何多多少少依靠直觉，是他不喜欢的科目，他说这“简直像神学了”。我感觉像我们这样的初学者，见到的太少，还没有能力做这样的判断，虽然，即使仅仅懂了一点点，也足以感受到几何这个学科与集合论或者代数中更加具有“布尔巴基”味道的数学真的是风格迥异。总之，多了解不同风格的数学，总能让自己视野更开阔。期待有一天可以感受到<a href="http://en.wikipedia.org/wiki/Atiyah%E2%80%93Singer_index_theorem">Atiyah–Singer指标定理</a>到底是怎样的波澜壮阔，我真的是垂涎已久了。</p>
<p>更新：（4月）youtube上已经在上传<a href="http://www.youtube.com/watch?v=M7bXHbK9rPI">本课程的视频</a>。</p>
]]></content:encoded>
			<wfw:commentRss>http://www.liuxiaochuan.org/2012/03/riemanniangeometr.htm/feed</wfw:commentRss>
		<slash:comments>6</slash:comments>
		</item>
		<item>
		<title>高等数学学习一个月总结</title>
		<link>http://www.liuxiaochuan.org/2012/02/onemonth.htm</link>
		<comments>http://www.liuxiaochuan.org/2012/02/onemonth.htm#comments</comments>
		<pubDate>Tue, 21 Feb 2012 13:14:58 +0000</pubDate>
		<dc:creator>Xiaochuan Liu</dc:creator>
				<category><![CDATA[combinatorics]]></category>
		<category><![CDATA[Maths]]></category>
		<category><![CDATA[advanced mathematics]]></category>
		<category><![CDATA[high school students]]></category>

		<guid isPermaLink="false">http://www.liuxiaochuan.org/?p=2605</guid>
		<description><![CDATA[关于找一些人一起做一些事情，我有过很多失败的经历。我曾经找过10几个研究生一年级的学生开展讨论班，不到一学期以失败告终；我也有只找三五个人讨论数学，依然有头无尾；最后一次我只找了一个人跟我互相探讨问题，还是不欢而散。我知道自己做的不够好，但是也有很多客观原因，一是“能够坚持”本身就是不低的要求，这方面不用再多说；另一个原因是想做好一件有意义的事情，往往需要很自由的工作环境，这一点有时候不能得到保证。 如今在一个比较偶然的因素刺激下，我又展开了这个项目。我对这次能够坚持下去有比较高的信心。 从2月初我提倡给一些想提前学习高等数学的中学生提供一个机会，到现在已经过去了一个月。有兴趣参与进来的人数大大的超过了我的预想。我很高兴，我们一起开了一个好头儿。但是我仍然相信，这些人里应该有一部分只是来“看一看”的。这是应该的，其实数学真的不适合所有人学的过多。而经过一段时间之后，确实决定下功夫好好学点数学的同学，我非常愿意和你们一起继续走下去。我的计划当中最初其实没有包括那些只想“了解一点儿”当代数学的人。实际情况是，数学常常是你要么懂，要么不懂，很难“懂一半儿”，或者懂它个三分之一。而且数学书一个缓慢积累的学习过程，没有积累，只是类似科普一样得到的一丁点儿了解，往往是非常不准确的。 我打算在7月开始教大家的“数学分析”这门课，很多人，包括一部分大学数学系毕业的人，四年下来终究是没搞懂这门课。可是它是最基本的数学语言，是从初等数学到高等数学的过度。每个打算学好它的同学都要抱有心理准备，一开始可能会有一些不容易。但是一旦你真的走进这个课中，你就不得不被它的魅力所吸引。 有一些同学写信问我到底我这个项目怎样的。我简单说一下。 首先，但是这个项目的执行，只能是以我给大家群发邮件的方式。我的作用就是给大家定下阶段性的目标，让大家更容易坚持。我不大可能像真的学校老师一样讲课和批改作业，但是我会尽量的写一些简单的讲义，比如下面我就把头一个月四次写过的关于组合数学的讲义贴在这里。 长期的目标是打算使用大约3，4年的时间，帮助一些人从高中数学开始，比较全面的掌握大学水平的数学基础，我能做的就是给真正愿意学数学的学生提供一个方向，给他们当几年的“图书馆”，直到他们可以到达好的学习环境，或者有了足够的自学能力。从今年的7月开始，每一个学期（半年），我会开展两到三门的大学数学课程的学习。几年内，我希望从分析，代数，拓扑，几何，以及概率论和组合数学，通通都能接触。涉及的深度因人而异，但是，数学分析这门课是必须首先拿下来的。到七月看看如果可以的话，也会考虑同时开一下线性代数。 P.S.在itunes的免费课堂上，2月刚刚更新了哈佛大学的“概率论”课程。我虽然还没来得及看，但是这个应该是不错的自学“概率论”的好机会。一般大学数学系都在第2年或者第三年开这门课。这门课的基础，是数学分析和一点点线性代数。如果有人已经掌握了这两门课程，并打算这学期把“概率论”这门课学下来，我乐意帮助其制定学习计划。]]></description>
			<content:encoded><![CDATA[<p>关于找一些人一起做一些事情，我有过很多失败的经历。我曾经找过10几个研究生一年级的学生开展讨论班，不到一学期以失败告终；我也有只找三五个人讨论数学，依然有头无尾；最后一次我只找了一个人跟我互相探讨问题，还是不欢而散。我知道自己做的不够好，但是也有很多客观原因，一是“能够坚持”本身就是不低的要求，这方面不用再多说；另一个原因是想做好一件有意义的事情，往往需要很自由的工作环境，这一点有时候不能得到保证。</p>
<p>如今在一个比较偶然的因素刺激下，我又展开了这个项目。我对这次能够坚持下去有比较高的信心。</p>
<p>从2月初我提倡给一些想提前学习高等数学的中学生提供一个机会，到现在已经过去了一个月。有兴趣参与进来的人数大大的超过了我的预想。我很高兴，我们一起开了一个好头儿。但是我仍然相信，这些人里应该有一部分只是来“看一看”的。这是应该的，其实数学真的不适合所有人学的过多。而经过一段时间之后，确实决定下功夫好好学点数学的同学，我非常愿意和你们一起继续走下去。我的计划当中最初其实没有包括那些只想“了解一点儿”当代数学的人。实际情况是，数学常常是你要么懂，要么不懂，很难“懂一半儿”，或者懂它个三分之一。而且数学书一个缓慢积累的学习过程，没有积累，只是类似科普一样得到的一丁点儿了解，往往是非常不准确的。</p>
<p>我打算在7月开始教大家的“数学分析”这门课，很多人，包括一部分大学数学系毕业的人，四年下来终究是没搞懂这门课。可是它是最基本的数学语言，是从初等数学到高等数学的过度。每个打算学好它的同学都要抱有心理准备，一开始可能会有一些不容易。但是一旦你真的走进这个课中，你就不得不被它的魅力所吸引。</p>
<p>有一些同学写信问我到底我这个项目怎样的。我简单说一下。</p>
<p>首先，但是这个项目的执行，只能是以我给大家群发邮件的方式。我的作用就是给大家定下阶段性的目标，让大家更容易坚持。我不大可能像真的学校老师一样讲课和批改作业，但是我会尽量的写一些简单的讲义，比如下面我就把头一个月四次写过的关于组合数学的讲义<a href="http://www.liuxiaochuan.org/wp-content/uploads/2012/02/firstfour.pdf">贴在这里</a>。</p>
<p>长期的目标是打算使用大约3，4年的时间，帮助一些人从高中数学开始，比较全面的掌握大学水平的数学基础，我能做的就是给真正愿意学数学的学生提供一个方向，给他们当几年的“图书馆”，直到他们可以到达好的学习环境，或者有了足够的自学能力。从今年的7月开始，每一个学期（半年），我会开展两到三门的大学数学课程的学习。几年内，我希望从分析，代数，拓扑，几何，以及概率论和组合数学，通通都能接触。涉及的深度因人而异，但是，数学分析这门课是必须首先拿下来的。到七月看看如果可以的话，也会考虑同时开一下线性代数。</p>
<p>P.S.在itunes的免费课堂上，2月刚刚更新了哈佛大学的“概率论”课程。我虽然还没来得及看，但是这个应该是不错的自学“概率论”的好机会。一般大学数学系都在第2年或者第三年开这门课。这门课的基础，是数学分析和一点点线性代数。如果有人已经掌握了这两门课程，并打算这学期把“概率论”这门课学下来，我乐意帮助其制定学习计划。</p>
]]></content:encoded>
			<wfw:commentRss>http://www.liuxiaochuan.org/2012/02/onemonth.htm/feed</wfw:commentRss>
		<slash:comments>23</slash:comments>
		</item>
	</channel>
</rss>

