TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼
痴漢バレて叩かれた腹いせに荒らすのはやめろ
文理融合のための数学教育
数学用語に「夜の」って入れるとエロくなる
【数学検定】数学検定(数検)総合スレッド Part.13
高校生が自作問題を世に問うスレ
整数論を勉強するためのスレッド
『解析概論』について5
この掲示板いらんやろ
【万年】黒木玄を語ろう【助教】 その2
P vs NP
376 :
>>372 つづき

<おちこぼれ達のための補習講座11>
(πと√2による同値類の考察)

1.πと√2による無限列の同値類を考えよう
2.補題1:π−√2は有限小数にはならない。
 Proof:t=π−√2 として、√2=π−tで、2=(π−t)^2となる。
 もし、tが有限小数=有理数なら、πが有理数係数の代数方程式の根になるので、πが超越数であることに反する。
3.πと√2とを、十進法表示したときの各桁の1〜9の数を順に入れて、無限数列を作るとする
 数列 Rπ =(3,1,4,1,5,・・・)
 数列 R√2=(1,4,1,4,2,・・・)

4.形式的冪級数を作る
 A[[X]]π =3+1*X+4*X^2+1*X^3+5*X^4・・・
 A[[X]]√2=1+4*X+1*X^2+4*X^3+2*X^4・・・

5.補題1より、差 A[[X]]π−A[[X]]√2 は、なお形式的冪級数である。
6.一方、例えば、数列 Rπを数列のしっぽの同値類(Uπとする)の代表として、
 同値類に属する任意の数列は、<補習講座10>の記号に倣って
 A'[[X]]π=A[[X]]π−ΔP(X) と表わすことができる。

7.補題2:A'[[X]]π=A[[X]]π−ΔP(X) はゼロ級数(0,0,0,0,・・・)には成り得ない。ΔP(X)がm次多項式とすると、必ずm+1以降のどこかにゼロでない項が存在する。
  (逆に言えば、ΔP(X)=A[[X]]π−A'[[X]]π となる)
 Proof:ΔP(X)は定義より、有限次数の多項式であり、A[[X]]πは定義より、真性の形式的冪級数であるから。その後の命題は自明。
8.同じことだが、補題2より、ΔP(X)は多項式環に属し、有限次数であるから、必ずしっぽが残る。同じことは√2についても言える。
 つまり、co-tailπとco-tail√2とが存在することが証明された。
 (∵co-tail(しっぽの先)が存在しないということは、ゼロ級数(0,0,0,0,・・・)が実現できることになり、補題2に反する)

9.補題2以降は、任意の同値類について成り立つ。

以上

大学学部レベル質問スレ 13単位目
マイケル・スピヴァック著『多変数解析学』を読む。【Michael Spivak】
代数的解析幾何学
ユークリッド原論を読破した!!!!
Inter-universal geometry と ABC予想 (応援スレ) 47
数理論理学(数学基礎論) その13
13×小学校のかけ算順序問題
フェルマーの最終定理の簡単な証明5
大学の線形代数学の質問。
代数学総合スレッド Part6
--------------------
もうこのレベルの女の子と付き合って休日にイオン行く人生で良かったな(´;ω;`) [551743856]
【天使か否か】 ダウン症は羽のない天使です その8
≡☆≡スターダム総合170≡☆【夢の架け橋後☆連番は美闘の身長 (生きる微笑三太郎)】
【mobage】アイドルマスターシンデレラガールズ25559人目
実質座談会215
【画像】巨乳まんさん、巨乳は貧乏人にしかモテないことを知りブチ切れる [368829159]
【PS4】ウイイレ2018 チームプレー WELスレ
バウンティソードについて語るスレ
【白鴎大教授】<岡田晴恵教授>都内で過去最多の41人陽性判明に「私は41人だと思っていません。もっといるんじゃないか」
太閤立志伝Yが出たことにして妄想しようぜ その2
【名無し奥も○○奥も】気楽に井戸端会議6177【みんな来い】
【悲報】ニンテンドーSwitchさん、ガチで幼児向けハードだった....
【蒼藍誓約】蒼藍の誓い-ブルーオース
能年玲奈 vs 堀北真希
【エースリー】A3!声優スレ【第3幕】
●●デコトラで運送業●●
土方・工場作業員・運転手・風俗店員・パチンコ店員
この会社はやめておけpart33【愛知版】
近代スノーボードの父 虫くん
エウレカセブンAO part14
TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼