スマートフォン用の表示で見る
スターをつけました

引用をストックしました

引用するにはまずログインしてください

zjjgh6x.htmlzjjgh8n.htmlzjjghme.htmlzjjghf0.htmlzjjghz8.html【イーグルス&ヴィッセル神戸勝利 エントリーでポイント3倍 期間:15日23時59分まで】【がまかつ】偏光サングラス(VISIGHT LENSクーラー)GM-1730 レンズカラー ダイワ33:水谷つり具 支店zjjgh6x.htmlzjjgh8n.htmlzjjghme.htmlzjjghf0.htmlzjjghz8.html 【中古】中古部通信販売品 VW ニュービートル 9CAQY リアマフ買い物ラー 【12586162】:e-cleマートzjjgh6x.htmlzjjgh8n.htmlzjjghme.htmlzjjghf0.htmlzjjghz8.html 『純正タイプマフ76ラー全品半額です!!買い物』MSS-9180SUS(マツダ,AZワゴン,MJ21S)車検対応、ガスケット付、代引きも可能です。:shouei net shopzjjgh6x.htmlzjjgh8n.htmlzjjghme.htmlzjjghf0.htmlzjjghz8.html【業務用】デグロン グランドシェフ シリーズ 木柄 シェお歳暮フショッピングナイフ 35 60080-35-C:EC・ジャングルzjjgh6x.htmlzjjgh8n.htmlzjjghme.htmlzjjghf0.htmlzjjghz8.html 【送料無料】ビューティーワールド ジェルネイル用 万能UV・LEDライト MIX LIGHT DELUXE ミックスライトデラックス ホワイトLED22001 (キャンセル・返品・交換不可品)★税抜5000円以上で送料無料★激安祭健康食品【smtb-s】:ゲン買い物キー 【サンケイ 寺院・葬祭用チェア スタッキングチェア ブラック CD78-MX】華やかな式典用チェア。fs04gm:ギフトアルクネット 吉田かばん PORTER DEP'T ( ポーター デプト ) ( W115xH95 ) ポーターWALLET ( ウォレット ) 【全3色】 吉田カバン DEPT 財布140-03401:GMMSTORE

引用をストックできませんでした。再度お試しください

限定公開記事のため引用できません。

読者です 読者をやめる 読者になる 読者になる
クスコ ストラットバー(F) タイプOS 360-540A オデッセイ(RギフトB3):ニスコア 店 オンラインショッピング売り切れ-小さい洗面化粧台(小型洗面台・壁付コンパクトタイプ)KG-1002set-crクリア:株式会社インクコーポレーション Gibson Modern Vintage Strap (BK) [ASオンラインショッピングMV-BK]:池部楽器店 ロックハウス池袋無洗米 お中元 お中元 ギフト Gift ナルミ 1客碗皿 忍者51970-6794 --r 送料無料:あだちねっと 美米屋 【送料無料】HIPHOP ヒップホップ アクセサリー Bling Bling Jewelry ブリンブリン ジュエリー チカーノ ウェッサイ ギャングスタ G-RAP B系 Urban アーバン ブラック セール 通アイスリンク販限定特別価格 Joe Rodeo(ジョーロデオ) Aqua Master ICE LINK(アイスリンク) 正規品取扱店:Premium R Jewelry ダイワ"16エンブレム MS 買い物2508PE-H"(DAIWA 16EM MS2508PE-H)スピニングリール【20%引き】:東海つり具 店 YAMAHA 通信販売DD-75 デジタルドラム HH40 KP65 リアルキックペダル スターターパック【送料無料】:イシバシ楽器 WEB SHOP Plaid Delta 2533 Ceramcoat Acrylic Paint 2-Ounce Timberline Green 【到着後レビューで素敵なプレゼント】子供部屋 こどものへや 部屋 キッズ ルーム 飾り インテ贈答品リア グッズ 小物 エコモニカ:premium stone gallery 【まとめ買い10個セット品】和食器 テ076-396 南蛮蓋付珍味(小) 【キャンセル/返品不可】【道具屋】:店舗道具屋 メイ贈答品チョー 近藤科学 KRS-2552RHV ICS 6個セット:ツショッピングクモロボット王国@店2輪 コミネ/KOMINE JK-554 ウォ車高調キットームウール 3L-ジャケット 07-554 ブラウン サイズ:S〜3XL:オートパーツエージェンシー SUGIMOTO/杉本産商 A時計U-15 羽根布団バッグ入(掛カバー付) [ブルー] (サイズ:150×210cm):エムスタFischer Hockey シニア用 SX1 Clear Composite Sショッピングtick 90 Flex 61-Inch Black with White Left P19 アイスホッケー スティック【送料無料】【代引不可】【あす楽不可】【05P20Aug16】【0818】:【I LOVE LA】 【廃番】 【代引不可】 ヤマダ (YAMADA) ホースリール用ノズル HDV-G (850通信販売139) 《ギアオイル用 》 【メーカー直送品】:道具屋さん店 【ROCKPORT】 ロックポート ギフト雨の日おすすめビジネスシューズ ESNTIAL DTL WP PLN エッセンシャル デティール ウォータープルーフ プレーントゥ V76116 14FA DK BROWN:ABC-MART店 アルパイン X2-贈り物25TW-PR 50系プリウス専用Xプレミアムサウンド セパレート3way用 2wayトゥイーターセット:クレールオンラインショップホンダ HONDA GB5 6 贈り物7 8 フリード FREED [ホンダ純正] ラゲッジトレイ(+全) FF車用 ポイント2倍しかも送料無料 08U45-TRE-000:パーツジャパンサービス店 ★純正品/送料無料通販★入浴剤9ヶ月分セット+アルビオン エクサージュ シルキーフィニッシュ <ケース・パフ付き>:bi-sai カーマット フロアマット 三菱 RVR 9年11月〜15年1月 5人乗-シャギーブラック:PARメーターパネルTS 【10日迄★ポイント最オンラインショッピング大35倍】【送料無料】お徳用!多用途に使える規格袋 11号(200×300mm) 透明★100枚×10冊×6箱=6000枚セット【RCP】【K-11】:まるげん 店 KSR110(11年〜) ノーマルマフラー用アンダーカウル カーボンケブラー(C/K) A-TECH(バイクエーテック):バイク用品・パーツのゼロカスタム 神沢オンラインショッピング ダイヤ自由錐替刃 K-118-2:ミスターポストマン支店 市原市 可燃45L10枚入半透明緑 IHJ21 【(30袋×5ケース)合計150袋セット】 38-529:CoCo RARE 店ショッピング 【代引不可】【同梱不可】蜂の恵み五年熟成プロポリス500ml【smtb-k】【w1】:美川シプレゼントョップ 【ポイント10倍】バンビデスク 本体 木製(天然木) 幅90cm×奥行45cm×高さ70cm CL-787TNA ナチュラル:サcyberbayイバーベイ 全品P10倍⇒8/10 01:59まで30代〜40代ファッションVent Blanc VBC-1217 ヴァンブラン エアーリッチ裏ショッピング毛タートルネックプルオーバーレディースカード分割:Chouquetteシュケットレディース服MTコウケントーrT販売店 (正規代理店)(回旋運動ができる)お尻がキュッ! - 回旋運動でいつの間にかお尻がキュッ! 【smtb-s】:快適生活応援倶楽部Localserviceショッピング販売店 TRUSCO 軽量棚開放型 W1200XD300XH2100 5段 74V-15 NG:配管材料プロ トキワ アカネライティング イタリア製 6灯シーリング LED SAN買い物284-H6-AGG-LED:生活通販Levi's big E 501xx 品質保証,送料無料 [G5D3x0 パンツ25E13551] : 人気定番, 超激得 amp japan アンプジャパン 14ad-825SV mary medal key holderBrass 真鍮買い物 マリア キーホルダー メンズ レディース:EXTREME 【特産品送料無料】サイドテーブル(ムク) 木製/スチール TTF-185:特産品くらぶ2輪 アグラス フロントアクスルプロテクター ファンネル 品番:P010-7389 ブラック ヤマハ YZF-R1 1998年〜2010年 JAN:4547424239624:オートパープレゼントツエージェンシー2号店【中古】中古部品 VW ゴルフ 1JAGU 右リアショッピングキャリパー 【7808072】:e-cleマート【エンドレス】【ENDLESS】【ブレーキライン】【スイベルスチール】【ヴィッツ】【GF-SCP10・TA-贈答品#CP10】1台分:PARTS SHOP 4U YOKOHAMA ice GUARD5 IG50プラス 145/80R13HotStuff G通販.speed P-01 13 X 4 +45 4穴 100:タイヤスクエアミツヤ (まとめ) ライオン事務器 図面ホルダー A3 435×315mm DF-3 1セット(5枚) 【×5セット】【送料込/送料無料】【ポイショッピングント10倍】:ユニクラス 店 【430 / FOURTHIRTY (フォーサーティー)】 MIDD贈り物LEWEIGHT JACKET (F-51フィールドパーカ) "F-51 FIELD PARKA [15-126]" 通販 【1万円以上購入で送料無料!!】 【基本的には17:00までの注文は即日発送!!】:BATTLE LINE ふわりぃ シールドモデル ランドセル 2018年度モデル 男児用 03-24136 ブラック×ロイヤルブルー ステッチ メンズ 冠主素材:レミニマットレスカ 本体主素材:エフ 背当て素材:スーパーブレスター(ブルー) 肩ベルト:ふわりぃ仕様 9穴 保証6年間付き:MEGA STAR はかり ワールドボギフトス 錆びない上皿 はかり SA-2S【秤】【スケール】【計量】【アナログ】【調理小物】【業務用厨房機器厨房用品専門店】:厨房用品専門店!安吉 レアモデル多数☆Medium Backpack - Marvel - Avengers - ブラック 黒 14" アベンジャーズ AVENGERS【エコモニカ】:premium sto買い物ne galleryサロモン スキー 2016 RIPPER リッパー スキー単品 15-16 SALOMON フリースキー パーク&パイプスキー フお歳暮リースタイルスキー 板【w16】:スキー用品通販 WEBSPORTS アロン化成 据置型便座 サニタリエースH通信販売G据置式 ライトブルー 534-124:GOOD DAY SHOP自動膨張式作業用救命衣 FN-70S HAYABUSA ブラック 小型船舶用救命胴衣 肩掛式 藤倉航装 国交省認定品 新基準品:アクアオンラインショッピングビーチ店柿本改 マフラーカッター Exhaust Finisher 100φ チタンフェイショッピングス エクシーガ 2.0GT 〈CBA/DBA-YA5〉 エンジン型式:EJ20(ターボ) 年式:08/6〜 【EFB035101C】:モーストプライス

なぜ再び数学するのか

ε と δ 〜 無限小の代理人

数学 解析学 εδ論法

どうも、佐野です。

月曜日から5日間、上海で開催された wsdm2015 というカンファレンスに参加していました。ウェブ検索とデータマイニングに関する最先端の話題に触れることができ、とても刺激になりました。

さて、今日は 論法についてです。

その昔、中国の唐の時代、雲門という禅僧が修行のためにあるお寺に入門しようとしたところ、三日連続で拒まれ、ついには追い出され際に門に足を挟まれて骨を折られてしまう(そしてなぜかそれによって悟りを開く)ということがあったそうなのですが、僕は数学の「入門」もこれに近いものがあるように思います。

大学における数学の入門書として名高い東大出版会の『解析入門』は『解析門前払い』という異名のつくほど難しく、高校で「俺、数学得意かも」と思っていた心はすぐさまへし折られてしまいます(しかもそれで悟りが開けるわけでもない)

特に門のすぐ先にいる イプシロン(デルタ)がどうにも掴みようがなく、一向に心を通わすことができないのです。

論法のはじまり

論法は、19世紀にコーシーワイエルシュトラスといった数学者によって完成された解析学の論法です。

17世紀、ニュートンライプニッツによって微積分学が作られ、リンゴの落下から天体の運動まで微積分を使った方程式で記述できるようになり、自然科学に革命が起こされました。18世紀においても解析学の発展は続いていくのですが、しかし徐々に根本的な問題が浮かび上がってくるようになります。

微積分学で使われる概念や操作の多くは極限によって定義されています。例えば「 が において連続である」とは、数式では:


と書き、これは「 が 限りなく に近づくとき、 も 限りなく に近づく」ということなのですが、これ自体では定義にならないのです。なぜなら「限りなく近づく」という操作ができたとすれば、その時点で「限りがあった」ということになって自己矛盾だからです。

「定義なんかしなくても、連続かどうかなんて見れば分かるだろ」と思われるかもしれませんが、例えばこんな関数:


はどうでしょう? が有理数のときだけピコンと になる関数です。例えば , です。

明らかに不連続な感じがしますが、「限りなく近づくと…」が定義であるとすれば、例えば なる有理数は を大きくすれば に限りなく近づいていき、その関数値は常に なので「 は において連続だ」…ということもできそうです。

このように定義が曖昧だと、その概念を含む主張は真偽が判定できないのです。特にそれが定理である場合には、その上にどんどんと曖昧な議論が重なっていくことになり、どこに誤謬があるかも分からずいずれはバランスを崩して破綻してしまうでしょう。

こういうことが問題として意識されるようになったのは、現実に間違った議論が起きるようになったということだけでなく、時代を経るつれ「数学とは何か」という考え方が変わってきたことにもあるんじゃないかと思います。

古くピタゴラスは「この世界は数でできている」と信じており、ガリレオやニュートンの時代にも数学は常に自然と共にあったものが、次第に「自然とは独立な概念的な創造物」としての様相を強めていき「明確な定義こそが議論の出発点である」という前提が受け入られていきます。

それまで「神の領域」であった無限や極限も「概念として定義」できるようでないと数学はその独立性を樹立することができない…そうして19世紀(産業革命や市民革命の時代でもある)に 論法が作り上げられ、解析学の基礎となったのです。

論法とは何か?

前置きが長くなりましたが(でないとこの先が唐突すぎて理解不能だからです)、早速 論法を使った 連続 の定義を見てみましょう:

は で連続である


うわ、これはキツい…
もう少し日本語っぽく書き下すとこうです:

「どんな に対しても、 を上手く取れば、 との距離が 未満のどんな も、 との距離が 未満の に移るようにできる」


分かったような分からないような…しかしこれは「関数が で繋がっている」という直観的なイメージとはかけ離れています。なぜこれで「連続」が定義できたことになるのでしょう?

論法を読み解く

まず「どんな…」とか「…を上手く取れば」とかを忘れて、 も も 小さな数 だと考えてください。また連続の定義は多変数の場合も同じなので、ここでは が平面の変換の場合を考えることにします(グラフで考えるよりも分かりやすいと思います)

定義式の後半の:


は、「 を中心とした半径 の円板は によって、 を中心とした半径 の円板の中に入る」ということです。

これは「 の近くの点は、 の近くに移る」というイメージと合っていますよね。でもこの「近さ」である と が無関係だと、 をどれだけ小さくとっても をもっと小さく取れば、 の円板の像は の円板からはみ出てしまいます。

従って先に「移り先の近さ 」で決めた上で「移り元の近さ 」を定める必要があり、これができるならばちゃんと「近くの点は近くに移る」と言えそうです。

そしてこの は どんなに小さく取ってもいい(もちろん はそれに応じて変わる)となっているので、イメージ通り「限りなく近く」ということができるのです!

というわけでもう一度定義式と共にその意味を吟じてみましょう:

は で連続である


数式が意味を持って語りかけてくる感じになりましたか?

なぜこれが「定義」になるのか?

以上の議論が正しそうだということは分かっても、単に「限りなく近づく」を難しく言い直してるだけな感じがします。なぜこれが「定義」として成立すると言えるのでしょう。

「何が定義であって定義でないのか」を言うには「定義とは何か」すなわち「定義の定義」が必要になりますが、数学においてはシンプルで、定義とは条件のことです。つまり「 は である」とは、 に関する条件 があって、「 が真となる を という」ということです。

論法では曖昧な主張がなく、どんな に対しても条件が成り立つか否かの二つになります。先ほどの例を見てみましょう:


これが において連続かどうか。適当に を取った上で、 を「 なる が となる 」ように取れるか見てみます。

の近くにはいくらでも無理数があるので( を考えればわかる)、どれだけ小さく を取ってもその範囲内に無理数 が取れてしまい、 で 未満に抑えることができません。従って は で連続ではない、となります。

他の有理数無理数についても同様で、 は定義域全体で不連続となります。

ではこれをちょっと変えて、


はどうでしょう? が有理数のときに ではなくその分母だけを返す関数です。例えば です。

これも明らかに不連続…と言いたいところですが、なんと有理数では不連続になるのに 無理数では連続 となるのです!

(小さな に対して、 がその範囲内に入るには の刻みを細かくしていけばよく、無理数 の近くでは細かな しか入らないように を小さく取ることができるからです。)

こういう例はイメージするのが難しいですが、「限りなく」のままでは判定不能だったものも 論法を使うことで厳密に連続・不連続が議論できるようになるのです!

いわば は自在に小さくなれる特殊能力を持った「無限小の代理人」で、 はその弟分みたいなものです。「どんな に対しても…」の先は も も「普通の数」として扱うことができるところがポイントです。


( を可愛く感じるように描いてみた)

無限大についても同様

同様に「無限大の代理人」をたてれば、無限大に関する極限も定義できるようになります。例えば:


この場合は が「無限大の代理人」で、いくらでも大きくなれる奴らです。

数列の極限も:


と定義できます(数列は自然数から実数への写像と見れば同じです)

このように「無限小・無限大の代理人」を立てることで極限を「定義」でき、論証においてはそれらを「普通の数」として扱うことができる…これが 論法の本質なのです。

zjjgh6x.htmlzjjgh8n.htmlzjjghme.htmlzjjghf0.htmlzjjghz8.html 長袖サイクルウェア春秋冬サイクルジャージ上下セットサイクリング服サイクルジャージ冬用裏起毛選択可能防寒保温あたたかい レトロ自転車ウェアパンツ上下セッ通信販売ト選択自由送料無料裏起毛 上下セット 品質保証 吸汗 伸縮 速乾 通気 高級Lycra素材メンズ用男性用:kinオンラインショッピングg-martzjjgh6x.htmlzjjgh8n.htmlzjjghme.htmlzjjghf0.htmlzjjghz8.html【新生活応援セール!3/18(10スパイク時)〜3/21(9時59分)まで】Nike Nike ナイキ Zoom zoom ズーム Streak ストリーク LT 3 - Mens メンズ Fir買い物e pink ピンク/Bright Grape/Bright Mango/白・ホワイト:スニーカーケース 店zjjgh6x.htmlzjjgh8n.htmlzjjghme.htmlzjjghf0.htmlzjjghz8.html 堺菊守日本鋼(口金付) 牛刀(両刃ミンサー) 30cm【業務用包丁】【洋包丁】【キお中元ッチンナイフ】【洋食包丁】【業務用】:PRO-SHOP YASUKICHIzjjgh6x.htmlzjjgh8n.htmlzjjghme.htmlzjjghf0.htmlzjjghz8.html 【ポイント10倍】[SB]パーティション:F-Fギフトお中元actoryzjjgh6x.htmlzjjgh8n.htmlzjjghme.htmlzjjghf0.htmlzjjghz8.html 送料別 【取りプレゼント寄せ】 防水・防塵 LEDガーデンストリングライト 12電球 715cm:美-健康ゴル贈答品フMTrプレゼントT販売店 楽譜 バーナムとベイリーのお気に入り/キング作曲・ベイナム編曲 012-1368-00/輸入吹奏楽譜(T)コンサート・バンド/G3.5/T:2:30:楽譜ネッツ 【送料無料】純銅クラッシーケトル 2.0L TY-8320:彩華つぶこんにゃく生活

まとめ

なかなか取っつきづらい 論法ですが、慣れれば「人間には扱えない無限の世界」を簡単な手続きで扱えるようにするための方法なんだと納得できると思います。こうして土台がガチッと固まったことで、その先も解析学は実・複素ともに華々しく発展していくのです。

次回もまた何か解析学の基礎の話をしようかなと思います。
それでは、また!

home0123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899