f(x)=x^2 - x + 1 として、f^2(x)=f(f(x)), f^3(x)=f(f(f(x))), ... を計算してみる。 f^2(x)=x^4 - 2*x^3 + 2*x^2 - x + 1 f^3(x)=x^8 - 4*x^7 + 8*x^6 - 10*x^5 + 9*x^4 - 6*x^3 + 3*x^2 - x + 1 f^4(x)=x^16 - 8*x^15 + 32*x^14 - 84*x^13 + 162*x^12 - 2…

フェルマーのクリスマス定理とは 「pが素数のとき p≢3 (mod 4) ⇔ x²+y²=p が整数解をもつ」 という定理のこと。ところで、次の定理が知られている： 定理(1798,ルジャンドル) nが自然数のとき n=4ᵏ(8m+7) (k,mは非負整数) ⇔ x²+y²+z²=n が整数解をもたないこ…

突然だが、実代数的数の近似に関して、次のような定理がある。 定理(トゥエの定理) αをｎ次の実代数的数(nはもちろん2以上)、κ＞n/2 + 1 とする。このとき、αとκで決まる正定数cが存在して、 がすべての有理数p/q に対して成り立つ。 ※これは近似しにくさを…

不思議な計算がある。 (n桁), (n+1桁) とおくと、 となっているようだ。三角関数の加法定理にそっくりだ！これは、 となっていることに着目すると、 次の定理を使って示せる： 定理 とおくと、 証明： 復号の上側が, 下側が だから、和をとって .□ これに, ,…

まずは次の定理を示す。 fを整係数多項式、pを素数、a,tを整数、kを自然数とすると、 (証明) 多項式のテイラー展開より、ある整係数多項式g(x,y)が存在して、 あとはx=a, y=tpᵏ を代入すれば よって例えば 繰り返し適用して、任意の自然数nに対して aが法pᵏ…

pを素数とする。 この記事では、a≡b でa≡b(mod p) を表すこととする。 (定理)a,bを自然数、a＞bとする。次が成り立つ。 ただし、 は二項係数 (と同じ)。証明: ここで、 だから、 α≢0 のとき、 また、 よって.

pを素数とする。 (定理1)a≡b (mod pⁿ) のとき、aᵖ≡bᵖ (mod pⁿ⁺¹) 証明: a=b+tpⁿ と書けるから、 aᵖ=(b+tpⁿ)ᵖ=bᵖ + pbᵖ⁻¹(tpⁿ) + ₚC₂bᵖ⁻²(tpⁿ)² + ・・・ ≡bᵖ (mod pⁿ⁺¹)繰り返し適用してみよう。 のとき、 よって よって よって (定理2)のとき、 任意の自然…

ｐ進数の世界でも、連分数を考えることができる！(収束する！) pを奇素数とする。 f(x)=x²-2x-p とおく。 f(x)=x(x-2)-p だから、f(0)≡0(mod p), f(2)≡0(mod p). また, f'(x)=2x-2 であり、f'(0)=-2≢0(mod p), f'(2)=2≢0(mod p). (pは奇素数より) よってヘン…

ヘンゼルとグレーテル。ℤₚをp進整数環とする。f(x)をℤₚ係数の多項式とする。 xₖ∊ℤₚが、f(xₖ)≡0(mod pᵏ), f'(xₖ)≢0(mod p) を満たしているとする。 このとき、あるxₖ₊₁∊ℤₚで、 xₖ≡xₖ₊₁(mod pᵏ), f'(xₖ₊₁)≢0(mod p), f(xₖ₊₁)≡0(mod pᵏ⁺¹) を満たすものが存在す…

定義 集合P上の二項関係⊰が推移的であるとは、s⊰t かつ t⊰u ならばs⊰u を満たすことである。以下、Pを集合,⊰を推移的な二項関係とする。定義(区間、局所有限性) a,b∊P, a⊰bとする。区間[a,b]とは{p∊P|a⊰p かつ p⊰b}のこと。区間全体の集合をInt(P)と書く。 P…

集合S={1,2, ... , N}に、二項関係⊰が入っているとする。Rを環とする。 R値のN×N 行列であって、i⊰j でないところでは i,j成分が0(Rの零元)であるような行列全体の集合I(R,N,⊰)を考える。 つまり ⊰が推移律を満たすとき、これは行列の加法と乗法によって環を…

モノイドMに対して、次のような条件を考える： (条件A)任意のx∊Mに対して、x=yz となるようなy,zの組は有限個。Mを条件Aを満たすモノイド、Rを環とする。関数 f:M→R 全体は、点ごとの加法によってアーベル群となる。ここに次のような積(畳み込み積)を考える…

今後隣接代数のことを書くとき、毎回定義から始めるのは大変だから、ここにまとめておこう。 ＝＝＝＝＝＝＝ 定義 Poset(半順序集合, Partially ordered set) (P,⊰)とは、半順序⊰をもつ集合Pである。二項関係⊰が半順序であるとは、⊰が反射律、推移律、反対称…

ja.wikipedia.org この記事では、上のページの「定義」に登場する記号を使用する。自然数ℕは、通常の大小関係によって局所有限半順序集合になる。そのため、隣接代数を考えることができる。 a:ℕ→ℂを数列とする。 (a＊b)(n)=とする。 から隣接代数の元 を、と…