Grade

Subject

Type of questions

Mathematics Undergraduate

問題1.3教えて頂きたいです。

4 第1章 術の 問題1.3 0でない整数 a,6,cに対して, 次が成り立つことを示せ。 1.2 約数と倍数 (1)a|bかつ6|a → a=D±6. まず、約数と倍数の定義の復習から始めよう。 (2) a|bかつ6|c → a|c. (3) a|b → ac| bc. 定義1.1 整数a,6に対して、6 = acとなる整数cが存在するとき、 「aはbを割り切る」または 「bはaで割り切れる」 と言い。 a|bと表す。また、aをもの約数 (divisor) と呼び, bをaの 倍数(multiple)と呼ぶ. 一方, aが6を割り切らないときは, atbと表す。 定義1.4 a1,…, an を整数とする。 (1) a1, ,an のすべてを割り切る整数を a1, an の公約数 と呼ぶ、また,最大公約数 GCD(a1,… … , an) を次で定義 する。 * あるiに対してa; +0であるとき, a1,……Qn の公約 数の中で最大のものを GCD(a1,.….,an)とする。 cd 単に約数や倍数と言うときは負の整数も考えていることに注意す る。例えば,6の約数は±1, ±2, ±3, ±6の8個である.ESYe ●GCD(0, ,0) 3D0. 特に,整数 a,bに対して GCD(a,6) = 1 であるとき, a ともは互いに素であると言う。 命題1.2 (1)任意の整数aに対し, ±1 と±aはaの約数である。 (2) 1の約数は+1の二つのみである。 (3) 任意の整数は0の約数であり, 0の倍数は0のみである。 (2) a1, ,a, のすべてで割り切れる整数を a1, an の公倍 数と呼ぶ、また, 最小公倍数 LCM(aj, . ., an) を次で定 の 義する。 [証明明(1) e== +1 とおくと,e.ea=D aであるから, eと eaは *すべてのiに対して a; + 0であるとき, a1,, an の aの約数である。 る正の公倍数の中で最小のものを LCM(a1,.., an) とす 会 (2) aを1の約数とし, ac=1をみたす整数cを取れば、 る。 上い * あるiに対して a;=0であるとき, LCM(a1, .… , an)=0. 1= {ac| = |a||e| >_a|>1. 従って、a = 1, 即ち, a=±1 である。 (3) 任意の整数aに対してa-0=0であること(命題 8.3(1) を 参照)から(3) が従う。 (agad+ ( + + キ ロ 5) GCD はgreatest common divisor の略。 6) LCM は 1east common multiple の略。

Unresolved Answers: 1
Mathematics Undergraduate

大学数学、複素関数論、テータ関数に関する質問です。 写真のテータ関数の無限積表示(5.24)の式の1行目の形にどうやってしているのかと、命題5.22の(5.26)の証明を教えていただきたいです。

(b) テータ関数 ヤコビは楕円関数論の研究において, 次の級数を導入した。 9(2) = 22(-1)"-!g"-1/2)" sin(2n-1)Tu n=1 2(g/4 sin Tu-g/ sin 3Tu+q^/4 sin 5Tu-…). (5.23) 三 これはヤコビの楕円テータ関数(以下単にテータ関数(theta function))と呼 ばれるものの1つである. limd,(u)/2q'/4=Dsin Tu なので, 0,(u) は sin Tu 9→0 の一種の拡張と見ることができる。 伝統的な記号にならって, 以下 2ミe2miu a=2 q= eir, と書こう.gl<1だから Imr>0である. このとき(5.23)の右辺は TiT 2Tiu 9=e 9 2と(-1)"-1gm-1/2)?_2"-1/2 _2-n+1/2 =iこ(-1)"gm-1/2)°n-1/2 n=1 2i n=-00 = ig4z-1/2 (-1)"g"(n-1)z" n=-00 と書き直すことができる.右辺に3重積公式(5.22)を用いれば, テータ関数 の無限積表示が得られる: 0,(u) = iq'4z-1/2(1-2) II (1-g"2)(1-g"z-')(1-g") n=1. = 2q/4 sin Tu I (1-2g" cos 2Tu+g")(1-g"). 三 (5.24) n=1 命題5.22 0,(u) はuの整関数で 0,(-u) = ー6,(u). (5.25) 0 0(u) = 0 < (m,nEZ). 0,(u+1) = -0, (u), 9,(u+t) = -e-mi(r+2u)9, (u). (5.27) u= m+nT (5.26) 0 + 2u) [証明](5.25),(5.26) は(5.24)から簡単にわかる. また前節の無限積

Waiting for Answers Answers: 0
Mathematics Undergraduate

多様体の接空間に関する基底定理の証明です。g(q)=∫〜と定義した関数を微積分学の基本定理を用いながら変形してg(q)=g(0)+∑gᵢuⁱと導出するのですが、これがうまくいきません。 自分は、g(q)の式をまず両辺tで微分して、次に両辺uⁱで積分して、最後に両辺tで積分... Read More

12. Theorem.If{ = (x', , x") is a coordinate system in M at p, then its coordinate vectors d, lp, …… 0,l, forma basis for the tangent space T,(M); and D= E(x) 。 i=1 for all ve T(M). Proof. By the preceding remarks we can work solely on the coordinate neighborhood of G. Since u(c) = Othere is no loss of generality in assuming ど(p) = 0eR". Shrinking W if necessary gives E(W) = {qe R":|q| < } for some 8. Ifg is a smooth function on E(W) then for each 1 <isndefine og (tq) dt du g(9) = for all qe {(W). It follows using the fundamental theorem of calculus that g= g(0) + E&,u' on (W). Thus if fe &(M), setting g = f。' yields f= f(P) + Ex on U. Applying d/ax' gives f(p) = (f /0x)(P). Thus applying the tangent vector e to the formula gives (f) = 0+ E(x'(p) + E Ap)u(x) = E(Px). ず ax Since this holds for all f e &(M), the tangent vectors v and Z Ux') d,l, are equal. It remains to show that the coordinate vectors are linearly independent. But if ) a, o.l, = 0, then application to x' yields dxi 0=24 (P) = 2q d」= 4. In particular the (vector space) dimension of T,(M) is the same as the dimension of M.

Unresolved Answers: 1