Clazzio クラッツィオ シーオンラインショッピングトカバー N BOXカスタム JF1 JF2 ブロスクラッツィオ EH-03お中元24:シンシアモール 店

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

引用をストックしました

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

jmgbn1x.htmljmgbna5.htmljmgbn9a.htmljmgbn29.htmljmgbnc3.html【イベント開催中!】ACTIVE アクパーツティブ ハイスロキット 車種専用スロットルキット[TYPE-3] インナー巻取径:φ28 ホルダーカラー贈答品:ブラック YZF-R1:ウェビック 店jmgbn1x.htmljmgbna5.htmljmgbn9a.htmljmgbn29.htmljmgbnc3.html【中古】【Dランク】【フレックスR】◆ブリヂストン◆TOURSTAGE ViQ CL(2ショッピング012) 11° レディース◆VT-401W◆R【golpa】【レディース】【右利き】【DR】 ツアーステージ カーボン ゴルフクラブ買い物:ゴルフパートナー 店jmgbn1x.htmljmgbna5.htmljmgbn9a.htmljmgbn29.htmljmgbnc3.html【中古】中古部品 ハスラー MR31S 左テールランプ 【1335オンラインショッピング9お中元194】:e-cleマートjmgbn1x.htmljmgbna5.htmljmgbn9a.htmljmgbn29.htmljmgbnc3.html【USA在庫あり】 SA-Y03-001 PWSAK-Y03-001 ピボットワークス Pivot works スインギフトグアーム ベ買い物アリングキット 87年 YZ125:ヒロチー商事 ハーレー 店jmgbn1x.htmljmgbna5.htmljmgbn9a.htmljmgbn29.htmljmgbnc3.html225/60R16 98H BluEarth-A AE50 (ブルーアースエース AE50) YPOWERWEBOKOHAMA カーメイト(ヨコハマ):PowerWeb「送料無料」20L・ミニタンドール窯 【smtb-tk】:California PatioオンラインショッピングButterfly System アトレーワゴン S220#/S230# (H11.1-H13.1) レースダッシュマット カラー:レースグレーxブラック:Autostyleお買い得

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

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

読者です 読者をやめる 読者になる 読者になる
パールイズミ プリントロングスリーブジャージ【スバル】PEARL IZUMI 自転車 自転車ウェア 623-BL【20贈答品17春夏モデル】【送料無料】:FALCON BIKEKITACO:キタコシグナスX用タンデムバックレスト652-0418100 カスタム パーツ:バイクパーツ&用品 通販ビックマートエンジンオイル 極 15w-50 SL 鉱物油 20Lペール缶 日本製 (15w50) 旧車/輸入トランシーバー車 専用:e-通販TKS【FINA 認可モデル】asics アシックス スイムウエア W'S スパッツ(水着)AL117L -9020,お歳暮9040,9064[レディースモデル]メーカーお取り寄せ商品になります。在庫がない場合がございます。ご了承ください。:MIZOGUCHISPORTSTIMBUK2 ティンバック2 D-LUX MESSENGER L ブラック×ガンメタル 15通信販売766023 ブラック×ガンメタル:リコメン堂ファッション館【ACTIVE アクティブ】 リア キャリパーサポート [SIL] (BREMBO 2P&STDローター径)(XJR1300 00-10(国内)) 【1470061S】:Dimension-3贈り物●エバーグリーン EVERGREEN ポセイドン ロングフォールジャーカー PLFJ710L-1.5【ts01】:釣具のお中元バスメイトインフィニティ【中古】優良部品 リバティー RM12通信販売 右フロントディスクローター 【7552167】:e-cleマート【180SX | エンドレス】18ショッピング0SX Type-Drift リア ブレーキパット:PIT-4■送料無料■【クザクラ】九櫻(九お歳暮桜) R300MSR 拳法面 少年用(赤) 日本拳法会公認【smtb-u】【RCP】:トランスポーツCarbony カーボニー ナンバープレート関連 ドライカーボン ナンバープレートホルダー 仕上げドレスアップ:ツヤ消し 仕様:ブロックカーボン ムルティストラーダ1200 2010-2012:ウェビック 店HAAN WHEELS ハーンホイール ホイーギフトル関連パーツ カスタムコーティングブラックスポーク+ニップルセット フロント リムサイズ:17インチ DR-Z400:ウェビック 店CUSCO (クスコ) ストラットバー Type 40D トヨタ ヴィッツ NCP10 99.1 - 05.1 タワーバー [通販114 570 A]:パワーウェブ2号店★クスコ アルミオーバルシャフト タワーバー プリウス ZVW30 送通販料無料【smtb-ms】★:アシストWebまな板 【ヤマケン 積層プラスチックマナ板 M-125 1250×500×20】 M-125 幅:500、長通信販売さ:1250、厚さ:20 【業務用】【送料別】:業務用厨房機器・家具・食器INBIS【USA在庫あり】 1211-1030 452AZK-42 ボルテックス Vortex リア スプロケット 42お中元T/520 90年-14年 ZX-9R、ZX750F、KLE650 アルミ 黒 (CAT5):株式会社ヒロチー商事 店スタッドレスタイヤ単品 トーヨータイヤ OBSERVE GSi-5 235/60R16 100Q買い物 [TOYO TIRES][オブザーブ]注)タイヤ1本あたりのお値段です:タイヤザウルス江洋ラジエーター(KOYORAD) * ダイハツ ミラ GH-L710S EF-VE 99.11〜00バルブ.9 (M/T車) 純正番号: 16400-97210-000 相当品:カー用品卸問屋 NFR【14インチ】単品set【日本製★国産 アイスガード IG50+プラス】175/65R14【Cショッピングlaire MD25】5.5J-14inch 4穴 PCD100 in38 TY-21HEX M12×P1.50デックス、bB、プロボックスワゴン、WILL Vi、プラッツ等に スタッドレスタイヤ ホイール付 格安1輪分:宅配タイヤ太郎【14インチ】単品set 【日本製★国産 アイスガード IG50+プラス】165/70R14【ZACK Sport-10】4.5J-14inch 4穴 PCD100 in45 S通信販売Z-17HEX M12×P1.25Kei(ワークス、スポーツ)、ラピュタ等にお勧め格安 スタッドレスタイヤ ホイール付1輪分 165-70R14:宅配タイヤ太郎エスペリア ダウンサス トヨタ ポルテ NCP141 H24/7オンラインショッピング〜 2WD ACTIVE SUPER DOWN 1台分 EST-956 ローダウン サス スプリング:車パーツの応援団【カスタム対お歳暮応】【#3,#5】【2015年モデル】【ミズノ】MP CLK-F FAIRWAYフェアウェイウッドFUBUKI Ai、FUBUKI AT、カーボンシャフト【MIZUNO】【日本正規品】:ジークゴルフMCS08638 ブリヂストン BRIDGESTONE バトラックス BT-45 120/80-18 62H TL リア:株式会社ヒ通信販売ロチー商事 店カーマット フロア通信販売マット トヨタ MR2 1年10月〜11年8月 -LUXループベージュ:PARTSKMG Kawasaki 600 ZZR600 2002-2004 YTX12-BS シール Maintenace Free バッテリー ハイ パフォーマ買い物ンス 12V SMF OEM リプレイスメント Maintenance Free Powersport Motorcycle ATV Scooter Snowmobile KMG (海外取寄せ品):シアターお財布さいふサイフメンズ長財布/財布ラウンドファスナー長財布トラベルウォレットbirboビルボ黒ブラック茶ブラウン/旅行用パスポート収セカンドバッグ納サイズ便利さいふ☆m-669☆【OMG1】:グローバルマーケットマークIIブリット(02.1〜)JZX110W(2.5iR-S)■プロジェクトμ ブオンラインショッピングレーキパッド TYPE HC+ フロント用左右セット:リムコーポレーションSW-MOTECH SWモテック ガード・スライダー スキッドプレート (Skid Plate. Brushed alu.)■ 620ADVENお中元TURE [アドベンチャー]:ウェビック 店野球ヘルメット Schutt Sports AオンラインショッピングiR-8 Batter's Softball Helmet Metallic Silver Medium【到着後レビューで素敵なプレゼント】野球 ベースボール 草野球 ヘルメット 軟式 硬式 野球防具 防具 打者 エコモニカ:premium stone galleryU-KANAYA アルミ削り出しビレットフォーク通販ガード ガードカラー:シルバー リングカラー:ゴールド ZRX400/ZRXII:GooBikeParts支店ENDLESS(エンドレス)SUPER STREET M-sport(SSM) ブレーキパッド ニッサン プレセア R10系 (4輪ディスク) フロント用:リデューカークリエーシ通販ョンウォーターポンプ ホーミー VWE24 用 V3-134 日立 パロート ○ニッサン 日産 NISSAN☆:Star-お中元PartsJ BOARD EX LED RT-170 グレー(ジェイ ボード EX LED RT-170 グレー)【スケートボード/Jボード/スケボー/ストリートボード/乗り物玩具/8歳以プレゼント上/誕生日/クリスマス/プレゼント/男の子/女の子】:SANWAショップ【お買い得】ビクター VICTOR バドミントンラケット ハイパーナノ Xお買い得900 HYPERNANO X900 (HX-900):エバーラケット 店ホンダ純正 08F70-K33-D00 アンダープレゼントカウル カーボンプリント HONDA CBR250R:モトキチワイドトレッドスペーサー【30mm】MR2/SW20系/トヨタ/PCD 5H-114.3■エアクリーナーキックス Kics W.T.S. ハブユニットシステム【2枚1SET】ワイトレ ツライチ 30ミリ/3cm/3センチ:カルースオートパーツエレクトリック サングラス ELECTRIC CAギフトPT.AHAB JUNGLE/MELANIN GREY SILVER CHROME メンズ レディス アイウェア:Dream Pocket -ドリームポケット-バサラ フロアマット 【スタンダードタイプ】 カーマット 直販 ループ生地 ブラック ベージュ 内装パーツ 内装品 カー用品 車用 専用設計 ピッタリ ふろあまっと 純お中元正風 すべり止め スパイク加工:カー用品直販店 D-BOX 店GRAVITY SKATEBCHEROKEEOARDSグラビティ スケートボードpool model 35"【smtb-F】【送料無料】スラスター3モデル:CHEROKEE2318-0091 06-144 キンペックス(Kimpex) ウインドシールド 15インチ(381mm) Arctic Catハーレー スモーク:株式会社ヒロチー商事 店当店限定サービス【組立調整 完成車】DOPPELロードバイクGANGER(ドッペルギャンガー) ミニベロ 330-RD ROADYACHT 14.5kg 20インチ 最大積荷重量10kg:一勝堂旧ブリッド / BRIDE シートレールマツダ RX-7 FD3SBRIX,ERGO,REVS,お買い得XAX,COBRA:逸平パーツ【 業務用 】菊孝 上研 薄刃包丁 Aギフト-15 18cm 29363:業務用厨房機器の飲食店厨房館CUSCO 【クスコ】 スタビライザー ショッピング「リア用」 22φスープラ JZA80/2WD 3000cc,T 93.5〜02.8:K-ワークス 店【送料無料】パールイズミ(PEARLIZUMI) ミックスド タイツ 2/グレー W2アウトドア26-3DNP 【自転車 サイクルウェア ロードバイク ツーリング レディース】:eSPORTS支店ルコック/ルコック スポルティフ ゴルフ/ポロシャツ 半袖ポロシャツ コットン混紡 3℃差クーリング素材 ボーダー柄 鮮やかな配色デザイン/le coq sportif golf【レディース】ルコック【2017年春夏新作】ゴルフウェア:【T-on】ティー贈答品オン

なぜ再び数学するのか

ε と δ 〜 無限小の代理人

数学 解析学 εδ論法

どうも、佐野です。

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

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

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

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

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

論法のはじまり

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

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

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


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

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


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

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

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

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

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

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

論法とは何か?

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

は で連続である


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

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


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

論法を読み解く

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

定義式の後半の:


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

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

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

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

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

は で連続である


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

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

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

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

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


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

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

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

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


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

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

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

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

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


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

無限大についても同様

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


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

数列の極限も:


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

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

jmgbn1x.htmljmgbna5.htmljmgbn9a.htmljmgbn29.htmljmgbnc3.htmlネオプロト【NEOPショッピングLOT】フットお買い得レストバーロードスター ND5RC MT/AT:K-ワークス 店jmgbn1x.htmljmgbna5.htmljmgbn9a.htmljmgbn29.htmljmgbnc3.html【送料無料】ミソノモリブデン鋼 -ペティーサーモン AMS贈り物D3 571 No.571 12cm【en】【楽ギフ_包装】【RCP】:便ランドリー利生活 マイルームjmgbn1x.htmljmgbna5.htmljmgbn9a.htmljmgbn29.htmljmgbnc3.html【R40 ICONIX アイコニックス 樹脂キャップ贈答品Ver】20個入り■86(ハチロク)/ZN6/トヨタ■M12×P1.25■Kics Racing CompositeR40 レーシングコンポジットR4お歳暮0 ロック&ナットセットブラック/黒【RIF-13K】:カルースオートパーツjmgbn1x.htmljmgbna5.htmljmgbn9a.htmljmgbn29.htmljmgbnc3.html【メーカー在庫あり】 NAF833 スウェッジお歳暮ライン SWAGE-LINE フ通信販売ロント ブレーキホースキット 93年-00年 FXDL メッキ/黒 クリア:株式会社ヒロチー商事 店jmgbn1x.htmljmgbna5.htmljmgbn9a.htmljmgbn29.htmljmgbnc3.htmlお歳暮【送料無料&全品P5倍】ハニカム 背もたれ付きカーシート 2枚組(キャンセル・返品・交換不可品)★税通信販売抜5000円以上で送料無料★激安祭【smtb-s】:ゲンキー おくすり別館ゼファー400(ZEPHYRお歳暮) アルミビレットハンドルクランプ (グリーン) U-KANAYA:バイク用品・パーツのゼロカスタム【USA在庫あり】 0703-0583 70-300 アレンネス Arlen Ness LEDフュエルゲージ付き ガスキャップ ベベル 黒:ヒロチー商事 ハーレ買い物ー 店

まとめ

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

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

0123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899