¤Á¤é¤·¤Î΢

2007-03-13

¢£[]µþÂç¿ô³Ø·Ï

¼Â¿ôÎó ¡ïsmall¡ï{a_n¡ï}_{n=1}^{¡ïinfty}¤¬

 ¡ïlim_{n¡ïrightarrow¡ïinfty} n^2(a_{n+1} - a_n) = 1

¤òËþ¤¿¤¹¤È¤­¡¢ ¡ïsmall¡ï{a_n¡ï}_{n=1}^{¡ïinfty}¤Ï¼ý«¤¹¤ë¤³¤È¤ò¼¨¤»¡£

¡Ê²òÅú¡Ë

¼¡¤ÎÌ¿Âê¤ò¾ÚÌÀ¤¹¤ì¤Ð½½Ê¬¡£

¼Â¿ôÎó ¡ïsmall¡ï{a_n¡ï}, ¡ï{b_n¡ï}¤¬

­¡ ¡ïlim_{n¡ïrightarrow¡ïinfty} b_n(a_{n+1} - a_n) = 1

­¢ ¡ïsum_{k=1}^{¡ïinfty} ¡ïfrac{1}{|b_k|} < ¡ïinfty

¤òËþ¤¿¤¹¤È¤­¡¢ ¡ïsmall¡ï{a_n¡ï}¤Ï¼ý«¤¹¤ë¡£

¡Ê¾ÚÌÀ¡Ë

 ¡ïsmall¡ïforall¡ïvarepsilon > 0¤ËÂФ·¡¢

­¡¤è¤ê ¡ïsmall¡ïexists N ¡ïin ¡ïmathbb{N} ¡ï; ¡ïtextrm{s.t.} ¡ï; n > N ¡ïRightarrow |b_n(a_{n+1} - a_n)| < 1 + ¡ïvarepsilon

­¢¤è¤ê ¡ïsmall¡ïexists N¡Ç ¡ïin ¡ïmathbb{N} ¡ï; ¡ïtextrm{s.t.} ¡ï; n > m > N¡Ç ¡ïRightarrow ¡ïsum_{k=n}^m ¡ïfrac{1}{|b_n|} < ¡ïfrac{¡ïvarepsilon}{1+¡ïvarepsilon}

¤è¤Ã¤Æ ¡ïsmall n > m > ¡ïtextrm{max}(N,N¡Ç)¤È¤¹¤ë¤È¡¢ ¡ïsmall k = m, m+1, ¡ïcdots , n¤ËÂФ·¤Æ

 |a_{k+1} - a_k| < (1+¡ïvarepsilon)¡ïcdot¡ïfrac{1}{|b_k|}

¤È¤Ê¤ë¤Î¤Ç¡¢

 ¡ïbegin{align} |a_{m+1} - a_n| &¡ïleq ¡ïsum_{k=n}^m |a_{k+1} - a_k|¡ï¡ï &< (1+¡ïvarepsilon)¡ïcdot¡ïsum_{k=n}^m¡ïfrac{1}{|b_k|}¡ï¡ï &< ¡ïvarepsilon¡ïend{align}

¸Î¤Ë ¡ïsmall ¡ï{a_n¡ï}¤ÏCauchyÎó¤òÀ®¤¹¤Î¤Ç¼ý«¤¹¤ë¡£

2007-03-11

¢£[]µþÂç¿ô³Ø·Ï

 ¡ïsmall x¤ò¼ÂÊÑ¿ô¤È¤¹¤ëÈ¡¿ô¹àµé¿ô

 ¡ïsum_{n=1}^{¡ïinfty}¡ïfrac{x}{n^2x^2 + 1}

¤Ë¤Ä¤¤¤Æ¡¢¼¡¤ÎÌä¤ËÅú¤¨¤è¡£

(1) ¤³¤Îµé¿ô¤ÎϤò  ¡ïsmall S(x) ¤È¤¹¤ë¤È¤­¡¢ ¡ïsmall x ¡ïne 0 ¤ËÂФ·¤Æ

 |S(x)| ¡ïgeq ¡ïfrac{¡ïpi}{2} - ¡ïtan^{-1}|x|

¤¬À®¤êΩ¤Ä¤³¤È¤ò¼¨¤»¡£

(2) ¤³¤Îµé¿ô¤Ï¡¢ ¡ïsmall ¡ïmathbb{R}¾å¤Ç¤Ï°ìÍͼý«¤·¤Ê¤¤¤³¤È¤ò¼¨¤»¡£

¡Ê²òÅú¡Ë

(1)  ¡ïsmall n ¡ïin ¡ïmathbb{N} ¤ËÂФ·¤Æ¡¢ ¡ïsmall t ¡ïgeq n ¤Î¤È¤­

 ¡ïfrac{|x|}{n^2x^2 + 1} ¡ï; ¡ïgeq ¡ï; ¡ïfrac{|x|}{t^2x^2 + 1}

½¾¤Ã¤Æ¡¢

 ¡ïbegin{align} ¡ïfrac{|x|}{n^2x^2 + 1} &¡ïgeq ¡ïint_{n}^{n+1}¡ïfrac{|x|}{t^2x^2 + 1}dt ¡ï¡ï&= ¡ïint_{n|x|}^{(n+1)|x|}¡ïfrac{d(t|x|)}{(t|x|)^2 + 1}¡ï¡ï &= ¡ïtan^{-1}(n+1)|x| - ¡ïtan^{-1}n|x|¡ïend{align}

 ¡ïtherefore ¡ïbegin{align}¡ïleft|¡ïsum_{n=1}^N¡ïfrac{x}{n^2x^2 + 1}¡ïright| &= ¡ïsum_{n=1}^N ¡ïfrac{|x|}{n^2x^2 + 1}¡ï¡ï &¡ïgeq ¡ïtan^{-1}(N+1)|x| - ¡ïtan^{-1}|x|¡ïend{align}

 ¡ïsmall N ¡ïrightarrow ¡ïinfty ¤È¤·¤Æ

 |S(x)| ¡ïgeq ¡ïfrac{¡ïpi}{2} - ¡ïtan^{-1}|x|

(2)  S_N(x) = ¡ïsum_{n=1}^N ¡ïfrac{x}{n^2x^2 + 1} ¤È¤ª¤¯¡£

 ¡ïsmall 0<a<1 ¤È¤Ê¤ë  ¡ïsmall a ¤ò°ì¤Ä¼è¤Ã¤Æ¸ÇÄꤹ¤ë¡£

 ¡ïsmall S_N(x) ¤Ï  ¡ïsmall S_N(0) = 0 ¤Ç¤¢¤ëϢ³ȡ¿ô¤Ê¤Î¤Ç

 ¡ïexists¡ïvarepsilon > 0 ¡ï; ¡ïtextrm{s.t.} ¡ï; |x| < ¡ïvarepsilon ¡ïRightarrow ¡ïleft|S_N(x)¡ïright| < 1-a ¡ï; ¡ïtextrm{for} ¡ï; ¡ïforall N ¡ïin ¡ïmathbb{N}

 ¡ïsmall ¡ïtan^{-1}(x) ¤Ï  ¡ïsmall x = 0 ¤ÇϢ³¤Ç¤¢¤ê¡¢ ¡ïsmall ¡ïtan^{-1}(0) = 0 ¤Ê¤Î¤Ç¡¢(1)¤è¤ê

 ¡ïexists¡ïvarepsilon¡Ç > 0 ¡ï; ¡ïtextrm{s.t.} ¡ï; 0 < |x| < ¡ïvarepsilon¡Ç ¡ïRightarrow |S(x)| > 1+a

 ¡ïtherefore 0 < |x| < ¡ïtextrm{min}(¡ïvarepsilon , ¡ïvarepsilon¡Ç) ¡ïRightarrow ¡ïleft|S(x) - S_N(x)¡ïright| > 2a

¤è¤Ã¤Æ¡¢ ¡ïsmall S_N(x) ¤Ï  ¡ïsmall S(x) ¤Ë°ìÍͼý«¤·¤Ê¤¤¡£

2007-03-09

¢£[]µþÂç¿ô³Ø·Ï

²Ä´¹´Ä ¡ïsmall{R}¤ËÂФ·¤Æ¡¢²ÄµÕ¤Ê£²¼¡ÀµÊý¹ÔÎó¤Î¤Ê¤¹·²¤ò ¡ïsmall{GL_2(R)}¤Çɽ¤¹¤³¤È¤Ë¤¹¤ë¡£¤³¤Î¤È¤­¼«Á³¤Ê½àƱ·¿

 ¡ïsmall{GL_2(¡ïmathbb{Z}/4¡ïmathbb{Z}) ¡ïrightarrow GL_2(¡ïmathbb{Z}/2¡ïmathbb{Z})}

¤Î³Ë¤Ï ¡ïsmall{(¡ïmathbb{Z}/2¡ïmathbb{Z})^4}¤È·²¤È¤·¤ÆÆ±·¿¤Ç¤¢¤ë¤³¤È¤ò¼¨¤»¡£

¡Ê²òÅú¡Ë

 ¡ïsmall¡ïmathbb{Z}/4¡ïmathbb{Z}¤ÎÉôʬ½¸¹ç ¡ïsmall A¡¤ ¡ïsmall B¤ò ¡ïsmall A = ¡ï{0,2¡ï}¡¤ ¡ïsmall B = ¡ï{1,3¡ï}¤È¤·¡¢

 ¡ïsmall N = ¡ïtextrm{Ker}(GL_2(¡ïmathbb{Z}/4¡ïmathbb{Z}) ¡ïrightarrow GL_2(¡ïmathbb{Z}/2¡ïmathbb{Z}))¤È¤¹¤ë¡£

 ¡ïsmall¡ïbegin{pmatrix} a & b ¡ï¡ï c & d ¡ïend{pmatrix} ¡ïin N¤È¤¹¤ë¤È¡¢ ¡ïsmall a,d ¡ïin B¡¤ ¡ïsmall b,c ¡ïin A¤Ê¤Î¤Ç ¡ïsmall |N| = 2^4

¤µ¤é¤Ë ¡ïsmall¡ïbegin{pmatrix} p & q ¡ï¡ï r & s ¡ïend{pmatrix} ¡ïin N¤È¤¹¤ë¤È¡¢

 ¡ïbegin{pmatrix} a & b ¡ï¡ï c & d ¡ïend{pmatrix}¡ïbegin{pmatrix} p & q ¡ï¡ï r & s ¡ïend{pmatrix} = ¡ïbegin{pmatrix} ap & b+q ¡ï¡ï c+r & ds ¡ïend{pmatrix} = ¡ïbegin{pmatrix} p & q ¡ï¡ï r & s ¡ïend{pmatrix}¡ïbegin{pmatrix} a & b ¡ï¡ï c & d ¡ïend{pmatrix}

¤è¤Ã¤Æ¡¢ ¡ïsmall N¤ÏAbel·²¡£¤Þ¤¿

 ¡ïbegin{pmatrix} a & b ¡ï¡ï c & d ¡ïend{pmatrix}^2 = ¡ïbegin{pmatrix} a^2 & 2b ¡ï¡ï 2c & d^2 ¡ïend{pmatrix} = ¡ïbegin{pmatrix} 1 & 0 ¡ï¡ï 0 & 1 ¡ïend{pmatrix}

¤è¤ê¡¢ ¡ïsmall¡ïbegin{pmatrix} 1 & 0 ¡ï¡ï 0 & 1 ¡ïend{pmatrix}°Ê³°¤Î³Æ¸µ¤Î°Ì¿ô¤Ï£²¤Ç¤¢¤ë¡£°Ê¾å¤è¤êÂê°Õ¤¬À®¤êΩ¤Ä¡£

redcat_mathredcat_math 2007/03/14 18:23 ½é¤á¤Þ¤·¤Æ¡£¤³¤ÎÅ٤ϥê¥ó¥°¤Ø¤Î¤´»²²Ã¡¢¤¢¤ê¤¬¤È¤¦¤´¤¶¤¤¤Þ¤¹¡£

¤È¤³¤í¤Ç¡¢¼«Á³¤Ê½àƱ·¿
GL_2(Z/4Z) ¢ª GL_2(Z/4Z)
¤È¤Ï²¿¤Ç¤·¤ç¤¦¤« ?

DumptyHumptyDumptyHumpty 2007/03/14 23:01 ¤Ï¤¸¤á¤Þ¤·¤Æ¡£¤³¤ì¤«¤é¤â¤è¤í¤·¤¯¤ª´ê¤¤¤·¤Þ¤¹¡£
¤´¼ÁÌä¤Î·ï¤Ç¤¹¤¬¡¢½ñ¤­´Ö°ã¤¨¤Æ¤Þ¤·¤¿¤Î¤Ç¡¢½¤Àµ¤¤¤¿¤·¤Þ¤·¤¿¡£¤´»ØÅ¦¤¢¤ê¤¬¤È¤¦¤´¤¶¤¤¤Þ¤¹¡£

redcat_mathredcat_math 2007/03/16 00:29 ¤¢¡¢Ã±¤Ê¤ë½ñ¤­´Ö°ã¤¤¤Ç¤·¤¿¤«(^_^;)