(クーポン配布中) EARLS OILクーラーホースSET ラウンド #6 9-13R GSX1100S 通信販売94- 14055222 【送料無料】(北海道・沖縄除く):PartsBoxRKSystemJapan

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

引用をストックしました

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

umgtu65.htmlumgtudy.htmlumgtuyh.htmlumgtuim.htmlumgtun9.htmlテクニウオートバイム ピストン・ピストン周辺パーツ PISTON FOR SUZUKI RM80 Tecni改造um ’91 -00 (79CC COTE) Φ46,45MM【ヨーロッパ直輸入品】 RM80 (80) 91-00:ウェビック 店umgtu65.htmlumgtudy.htmlumgtuyh.htmlumgtuim.htmlumgtun9.htmlZRM-S001C ZCOOブレーキパッド タイプC 【バイク用限買い物定品】:アルクネットumgtu65.htmlumgtudy.htmlumgtuyh.htmlumgtuim.htmlumgtun9.html【中古】中古部品 ベンツ W169 通信販売Aクラス 169032 エアコンパネル/スイプレゼントッチ 【11261814】:e-cleマートumgtu65.htmlumgtudy.htmlumgtuyh.htmlumgtuim.htmlumgtun9.htmlJOYCRAFT ジョイクラフト JES-404 検付 7人通販乗りゴムボート トーハツ9.8PS4スト エンジン付き:スポープレゼントツダイアリーumgtu65.htmlumgtudy.htmlumgtuyh.htmlumgtuim.htmlumgtun9.html【送料無料】16-17 PSV AWAY SS ユニフォーム/ユニフォーム【smtb-f】:サッカーショップ加茂店Jリお歳暮ーグ『あす楽対応商品』『人気の5cm!』『半ケース売り』『テーピングテープ』ユニコ ゼロテープ ゼロテックス キネシオロジーテープ(UNICO ZERO TEX KINESIOLOGY TAPE) 50mmx5mx6巻入りx6箱(1/2ケース) - 【smtb-s】:健康ヘルスケア照和OnlineShopチップトップ リフトパット LP-240-120 入数:1組(4個):オートパーツエー買い物ジェンシー

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

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

読者です 読者をやめる 読者になる 読者になる
【VEショッピングNTURA[ベンチュラ]】KLE650 A7F, A8F, C9F, CAF Versys 07-10 キャリア用 ベースセット ブラック BSK087B:アイネットSHOP【中古】中古部品 タントカスタム L350S コンソールBOX 【134買い物00817】:e-cleマート新品 スズキ 純正 バイク 部品 GS500 キーシリンダー 37100-26D11 在庫有 即納 車検 Genuine:オンラインショッピングティーエスパーツ 店永井電子 ULTRA(ウルトラ) フルオートタイマーNo.4755ショッピング(ハーネスセット) マークII/チェイサー/クレスタ E-MX61 M-TEU 用:リデューカークリエーションU-KANAYA 高精度アルミ削り出しビレットショ通信販売ートレバー レバー:レッド ツマミ:ブルー ZRX1200DEAG:バイクブロス支店【D-MAX/180SX/内装/リアスポイラー/*DMEW180T1B/ディーマックス】:シンシアモール 店ZERO スーパーフロア通信販売マット (ZERO2000) NISSAN 日産 ブルーバード U13 H3/9-H8:東京流通センター 店【Audi A3 8L | isweep】AUDI A3(8L) 1.8T 8LAGU/8LAUQ ブレーキパッド フロント用(センサー付) 贈答品パッドタイプ:IS1500:PIT-42輪 アクティブ TMRキャブレターキット専用スロットルキット TYPE-1 巻取φ32/ホルダー:ブラック ワイヤー長:お買い得700mm,800mm,900mm,1050mm:オートパーツエージェンシーエクスジェル (EXGEL) コンパクトカークッション ベージュ CPD01-BE:Cycle Smooお買い得th Wearelf r通信販売iding wear 2017春夏モデル EL-7221 Nylon Blouson カラー:ブルー サイズ:L:バイクブロス支店NGK(エヌエアロジーケー) イリジウムMAXプラグ 07/10〜 シボレー コルベット Z06 (ABA-X245A) 8本セット:PARTSCOLONY G8010-10 スプリ買い物ンガーフォーク ブレーキシャックルリビルドキット ガッツ クローム g8010-10:Bike man【イベント開催中!】K&Pエンジニアリング K&Pステンレススティール・マクロオートバイニックオイルフィルター ZX-14 ZZR1400:ウェビック 店R&G フェンダーレスキット(ブラック) ZXお歳暮-10R ZX-6R/RR:バイクブロス支店APP事業部 ラジエターホースシステム インテグラタイプR E-DC2E-DB8 B18C 98スペック含む ロアホース レッドクランプ:Autostylオンラインショッピングe商材別 > シェーショッピングドマタニティ:趣味職人【楽ギフ_包装】【送料無料買い物!】【プレゼント好適品!】【テニスジュエリー】【コートキーパー】【COURT-KEEPER CKSR1】コートキーパー テニスボールリングキュービックジルコニア付き CKSR1:テニススタジオViva-T 店ルコック フー買い物デッド中綿ジャケット DS-QT585153-NVY:ZIPスポーツ 支店【USA在庫あり】買い物 0910-3305 01.5799.100 プロックス(PROX) ピストンキット ポラリス:株式会社ヒロチー商事 店クラッチディスク ルキノ EN15 用 NSD042Uショッピング エクセディ EXEDY ○ニッサン 日産 NISSAN☆:Star-PartsNGK [93228] *1台分8本セット* プレミアムRXプラグ BKR5ERX-11P * ジャガー XKR XKR/コンバーチブインバータール S/C付き GH-J413A 3B 2002年11月〜<他の商品と同梱不可/代引不可>:カー用品卸問屋 ニューフロンテアDIXCEL SD-typeスリットディスクロショッピングーター フロント用EE108Gスプリンターワゴン 91/8〜02/6:PartsDepot【USA在庫あり】 16通信販売21-0180 BA-7060-00 バロン BARON リア フロアボード 取り付け金具 05年-09年 VTX1300R:ヒロチー商事 ハーレー 店【片岡製作所】 響十 鎚目シリーズ ブレッドナイフ KS-1118 23cm 【キッチン用品プレゼント:調理用具・器具:包丁:パン切り包丁】【響十 鎚目シリーズ】【KATAOKA SEISAKUSHO】:ビューティーファクトリー:ベルモジャクソン ショッピングQu-on スーパートリックスター STS-63L The Versatile Finesse:米源釣具店 店【カワサキ純正パーツ】コイル(イグニシヨン).#2&#3 【2コミネ KOMINE1121-1111】【KAWASAKI GENUINE PARTS】【取寄品】:バイクショップ はとやドライブレコーダー Driveman(ドライブマン) 720α シンプルセット シガーソケットアダプショッピングタタイプ S-720A-CSA4:ライフ&ビューティキタコ KITACO 401-1020406 キャブレター単体通信販売 ケイヒン PC20 ホンダ シャリー:モトキチ【中古】中古部品 サンバー KV3 スピードメーター 【114166贈答品40】:e-cleマート【純正】SUZUKI SWIFT スズキ スイフト【ZC72S ZD72S ZC32S】  シフトノブカバー【仕様は下記参照】【ウッド調】[99000-贈答品99013-G84]:車の部品屋 C-parts【 スバル フォレスター 4WD 2.0L/2.0Lターボ2.5Lターボ 型式 SG5/SG9 年式 2002/2-2007/12 【 リアのみ 】≪ 中実 19Φ 2段階調整 純正比 141-180% 専用ブッシュ付 ≫】 クスコ CUSCO 【 スタビライザー お歳暮スウェイバー 】【 商品コード 676-311-BJ19 】:アールエスRSR(RS-R/RS★R) サスペンション Ti2000ダウンサス F050TD:カ通信販売ー用品卸問屋 ニューフロンテアルコック 2015FW QS170453アシックス-QS470453 ナカワタ ウインド プル オーバー・パンツ 上下セット 中綿:スミタスポーツ店ZX-14R(ABS不可)12〜15年 ビルドアライン ボルトオンブレーキホースキット フロント用 S-TYPE ブル通販ー/レッド クリアホース GOODRIDGE(グッドリッジ):バイク用品・パーツのゼロカスタム15通信販売FW SWANS(スワンズ) マルチスポーツ LUNA−P [ LN0051-BKPI ] 山本光学【RCP】 【送料無料】:Lafitte (ラフィート)スポーツヴォクシー【AZR60/65】【H13/11〜H19/07】下記詳細要確認ブラームス【ブラインドシェード】【リアセット】【smtb-TD】【saitaショッピングma】■受注生産納期2週間前後■:リムコーポレーションYAMAHA[ヤマハ]:アラームイモビライザー NEWスクーター(A323)/シグナスX(13-)[1YP1・2] 【90793-6チューニング7302】:バイクパーツ MotoJam 店ザ・ノースフェース キッズ ナイロンダッフル50(NYLON DUFFEL) 16SS バ通販ッグ NMJ81600-RR (ローズレッド):オオミヤスポーツ 店WinmaX贈答品 SPORTS AP3 TOYOTA ビスタ リア用 【品番168】 型式SV32,SV33 プロミネント,GT 年式90.07-94.06:モーストプライスクロスバイク 車体 自転車 700C スタンド CANOVER カノーバー CAC-021買い物 VENUS(ビーナス)LEDフロントライト装備:自転車通販 インフィニティSPS-101 ライディングシューズ ブラック×ゴールド SIMPSON(シン通信販売プソン):バイク メンテ館CUSCO (クスコ) ストラットバー Type OS ニッサン キュー買い物ブ キュービック BGZ11 03.12 - タワーバー [205 540 AMN]:パワーウェブ2号店【○在庫あり→5月29日出荷】武川(タケガワ) パーツAPE100・XR100モタード Sステージボアアップキット80cc (カムシャフトレス) SP01-05-5083 【送料無料】(北海道・沖縄除く):PartsBoxSystemJapanOBERON オ通販ベロン FUE-0415-T フュエルフィラーキット スズキ 5穴タイプ チタン fue-0415-t:Bike manYOKOHAMA ice GUARタイヤサイズ 車種検索D IG30 215/60R17 (1本価格) ヨコハマアイスガード スタッドレス iG30 TRIPLE PLUS 【 4本ご注文で送料無料 】 215/60-17:アーバンタイヤプロデュース

なぜ再び数学するのか

ε と δ 〜 無限小の代理人

数学 解析学 εδ論法

どうも、佐野です。

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

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

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

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

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

論法のはじまり

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

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

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


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

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


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

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

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

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

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

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

論法とは何か?

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

は で連続である


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

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


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

論法を読み解く

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

定義式の後半の:


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

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

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

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

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

は で連続である


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

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

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

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

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


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

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

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

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


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

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

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

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

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


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

無限大についても同様

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


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

数列の極限も:


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

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

umgtu65.htmlumgtudy.htmlumgtuyh.htmlumgtuim.htmlumgtun9.htmlロイヤル オーブンウェア スフレ ホワイト 36cm PB700-36(割引サービスサプリメント不可、寄せ品キャンセル返品不可)10P03Deエクサブラc16:ヘルシー救急BOXumgtu65.htmlumgtudy.htmlumgtuyh.htmlumgtuim.htmlumgtun9.html偏光サングラス ZEAL OPTICS(ジール) TALEX(タレックス)偏光レンズ Leman(レスポーツサングラスマン) Fお買い得-1520 ブラック/ゴールド - トゥルービュースポーツ/シルバーミラー:めがね屋sanドットコムumgtu65.htmlumgtudy.htmlumgtuyh.htmlumgtuim.htmlumgtun9.htmlACTIVE TMRキャブレター専用スロットルキット TYPE通販-3 巻取φ44 ホルダーカラー:Tゴールド ワイヤー:メッキ金具/お中元900mm 汎用:GooBikeParts支店umgtu65.htmlumgtudy.htmlumgtuyh.htmlumgtuim.htmlumgtun9.html【送料無料】SA佐おしゃれ お風呂文 寿し切買い物 24cm ASB17【smtb-u】:webby monoumgtu65.htmlumgtudy.htmlumgtuyh.htmlumgtuim.htmlumgtun9.htmlcallaway (キャロウェイ) レディース ゴルフ ウェア スカートオンラインショッピング 241-7125808 オンラインショッピング 120 ネイビー 【2017SS】:SPOPIA NET SHOPGOSEN(ゴプレゼントーセン) オージー・シープ ミクロスーパー16ロール ホワイト TS4002W 送料無料!:生活雑貨のお店!Vie-UPSKINS(スキンズ)ボディケアゲームシャツ・パンツRY400 ウィメンズロングタイツK48001オンラインショッピング001Dブラック:ゴトウスポーツ(SPG-SPORTS)

まとめ

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

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

0123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899