【送料無料】マキャベリック(MAKAVELIC) COCCON BODYBAG コクーン ボデ通信販売ィーバッグ GRAYギフト 3106-10303 【バッグ ポーチ ボディーバッグ ウェストポーチ ヒップバッグ】【MVBG】:eSPORTS支店

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

引用をストックしました

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

huhmmzh.htmlhuhmm3g.htmlhuhmmqk.htmlhuhmmki.htmlhuhmmhz.htmlGREEN(グリーン) ダイレクトキット 85- ルノーお買い得 スーパー5 GメーターパネルT TURBO C405:PARTShuhmmzh.htmlhuhmm3g.htmlhuhmmqk.htmlhuhmmki.htmlhuhmmhz.html【メーカー在庫あり】 8021506614937 アルパインスターズ Alpinestars 2017年春夏モデル レザーグローブ SP-8オンラインショッピング 黒/白/蛍光黄 2XLサイズ:ヒロチープレゼント商事 ハーレー 店huhmmzh.htmlhuhmm3g.htmlhuhmmqk.htmlhuhmmki.htmlhuhmmhz.html【送料無料】【ポイント10倍】【レインウェア】【上下セット】【RS TAICHI】RSR042 DRYMASTER-X コンパクト レインスーツ GUN.METAL ガウインカーンメタル Mサイズ 収納バッグ付属 ドライマスターX COMPACT RAIN SUITS アールエスタイショッピングチ:バイクパーツのBig-One店huhmmzh.htmlhuhmm3g.htmlhuhmmqk.htmlhuhmmki.htmlhuhmmhz.html(クーポン配布中)MOTO MASTERお中元 ウルトラライト ディスク (リア) D-TRACKER 98-07-通信販売250SB MM110284 【送料無料】(北海道・沖縄除く):PartsBoxSystemJapanhuhmmzh.htmlhuhmm3g.htmlhuhmmqk.htmlhuhmmki.htmlhuhmmhz.htmlProjeプレゼントctμ(プロジェクトμ) B-SPEC ブレーキパッド リア ST162/162C セリカお歳暮 (ABS無 リヤディスクブレーキ車 85.8〜89.8):PARTS【中古】中古部品 カローラルミオン ZRE154N 右テールランプ 【13413250】:e-c贈答品leマートナイキ スポーツサングラ通販ス TAILWIND 12 ランニンググッズ EV0656-837:オオミヤスポーツ 店

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

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

読者です 読者をやめる 読者になる 読者になる
ショッピングHKS レガシィツーリングワゴン BP5 インテークシリーズ Super Power Flow R Φ200-80:Autostyle【中古】【Cランク】【フレックスL】◆テーラーメイド◆RBZ STAGE 2 U5 レディース◆TM5-31お中元3(ユーティリティ)◆L【golpa】【レディース】【右利き】【UT】 ロケットボールズ ステージ2 カーボン ゴルフクラブ:ゴルフパートナー 店エバニュー Jr ビブス 番号付き10枚setお中元 EVN-KA903-75:ZIPスポーツ 支店ライン引き 5cm 11cm サッカー 陸上競技 S-1388 LOOKIT オフィス家具 インテリア:LOOKIT オフィス家具 インテ通販リア【即納!防水 難燃!】 ★STANCE シートカバー★ ダイハツ タント L375SGP5/L385S (H19/12〜H23/11) (ブラック・スタンダード・S8052B) COLIN/コーリン/スタンス:UJ-FACTORYアンティグア レディース ゴルフ ウェア トップス【Antigua Promenade Half-Zip Golf Pullover】Mulberry:フ通販ェルマート【USA在庫あり】 56-2636 EPIWS011 クワッドボス(QUADBOSS) ホイールスペプレゼントーサー 4/115 1":ヒロチー商事 ハーレー 店【送料無料】2016 スペイン代表 ホーム オーセンティックユニフォーム/ユニフォーム【smtb-贈り物f】:サッカーショップ加茂店釣り竿 2-pc Travel Spinning Rod 7' 7" Length 20-50 Weight North Fork Composites Blank by G. Loomis【到着後レビギフトューで素敵なプレゼント】釣り 釣り具 釣具 フィッシング ロ エコモニカ:premium stone galleryH302-034B ハリケーン トラッカースハーレーカスタムペシャル ブリッジ付 ハンドルセット ブラック XJR1300:株式会社ヒロチー商事 店URBAN 17 100 275【税込】 キャロウェイ メンズ・ゴルフシューズ (レッド 27.5cm) Callaway Urban 17 AM シューズ 247-7983503-100 レッド 27.5cm [URBAN17100275]【返品種別A】【送料無料】【RCP】:Joshin w贈り物eb 家電とPCの大型専門店【USA在庫あり】 06オンラインショッピング01-1689 300044 クロームワークス Khrome Werks 1インチハンドルバー 12インチ エイプ (ディンプル/ドリル加工) クローム:ヒロチー商事 ハーレー 店BLITZ コアタイプエアクリーナー SU通信販売S POWER トヨタ アレックス 01/01- NZE121,NZE124 1NZ-FE 26065:ゼンリンドライバーズステーションCOERCE #0-42-CFLF3105 フェンダーレスキット GS1200SS【コワース】【smtb-k】:オート通販バイ用品店ライドスタイルパールイズミ 【WB6500-3DNP】ウ通販ィンドブレーク レーサータイツ (2サイズワイド)7.ブラック(5℃対応) レディース:ワールドサイクル ウェアハウス【イベント開催中!】SWAGE-LINE スウェッジライン フロント ブレーキホースキット ホースの長さ:200mmロング ホースカラー:クリア SRX600:ウェビック 店パーツカヤバ ニューエスアールスペシャル リア用 左右セット ホンダ エリシオン RR3 04/05- FF [ショックアギフトブソーバー] NSF2081:ななこ屋店ZX-14(06〜13年) 可倒延長式アジャストレバー クラッチレバー/ブレーキレバーセット 本体/ゴール通販ド アジャスター/ゴールド SSK(エスエスケー):バイク用品・パーツのゼロカスタム【USA在庫あり】 553765 20-ショッピング407-01 ゼログラビティ ZERO GRAVITY ウインドスクリーン クリア CBR600RR 07-12:ヒロチー商事 ハーレー 店BRIGHTZ カローラルミオン 151 152 154 CCFL付フォグライト CCFL白 Eタイプ 【 F260-WT1 】 NZEポケットモンスター 151N ZRE152N ZRE154N NZE ZRE NZE151 E151 ZRE152 E152 ZRE154 E154 150 カローラ ルミオン 16843:Cycle Smooth Wearオリジナル ラゲッジマット プレミアム MITSUBISHI 三菱 ekスペース 年式 Hヴェゼル26/2〜次モデル [ekスペース 1-ラゲッジ]:desir de vivre【送料無料】X ULTRA 2 GTX Midnight Blue/Pマムート ゴアテックスrocess Blue 28.5 ( L38163600-Midnight Blue/Process Blue/GREEN GLOW-28.5 / SAM10313762 )【 サロモン 】【QBH12】:Field Boss 店無限 【 スポーツフロアマット フロント2枚セット 】 ホンダ S660 型式 JW5 年式 H27/4- ≪ 1台分フロアマットセット カラー:メニュー要選択 運転席&助手席共にヒールパッド装備 無限メタルエンブレム付 ≫【 品番 08Pシートカバー15-XNA-K0S0-## 】:アールエスTRIUMPバイクメンテ館H DAYTONA675 07年〜 ミラーエクステンション(ブラック) SW-MOTECH(SWモテック):バイク用品・パーツのゼロカスタム2輪 コミネ/KOMINE PK-907 ウインターパンツ マーキュリオII 07-907 オリーブ サイズ:S〜3XLB:オートパーツエージェンお中元シー2号店【取寄品】 ヨネックスDYNAWIRE 130 ダイナワイヤーTDW130-2テニス ストリング ガット 硬式 ロール240mYONE買い物X 2016年秋冬モデル 送料無料:チトセスポーツ店【 あす楽 送料無料 】 ビバハート メンズ キャディバッグ 013-15230[ VIVA HEART ゴルフ ウェア ゴルフウェア ゴルフウエア キャディバック ゴルフバッグ 8.5型 プレゼント8.5インチ 新作 黒 緑 グリーン 黄色 イエロー永井花奈 mens men's GOLF かっこいい おしゃれ レア ]:ROUND OVERGSR250F スタンダードタイプ ショカスタムートアルミビレットレバーセット(シルバー) U-KANAYA:バイク用品・パーツのゼロカスタムIDEAL プリウスα 40系 プラスアルファーシリ贈答品ーズ FDS-8 1個 カラー 白:TopTuner 店【純正】TOYOTA SIENTA トヨタ シエンタ【NSP170G NCP175G NHP170G NSP172G】  ナンバーフレーム(字光式用ブラケット・リヤ)[75010-48020/68950-0WAショッピング10/68960-0WA10]:車の部品屋 C-partsCUSCO (クスコ) スタビライザー トヨタ エスティマ TCR10W 9通販0.5 - 99.12 2WD 2400cc [807 311 A29]:パワーウェブ2号店DUNLOP Kabuki D404 140/90-15 MC 70H TL リア 汎用:GooBikePart買い物s支店カネソウ スチール製グレーチング T25-HSC-5565 (本体のみ) ※受枠別売り 607×60お買い得7×65 プレーンタイプ 正方形型 集水桝用  [代引不可商品]:セミプロDIY店ファースト【デサント】お中元 スーパーロング ダウンコート DAT-3676SL:Luck Sports店SOREX 贈答品ボールマウント 【 ステンレス 】 ソレックス 純正 SRX-082:JSPTOKAIGOODS TW225/200(00-) ルーズライドバー AMAL364ホルダー ワイヤー、セット カラー:ブラック TW225/200:GooBikeParプレゼントts支店プラ三方ローラー GP-250 【メーカー品番:Q8TNKK001028】 ニッコー機材:クロノコーポショッピングレーション店2輪 ハリケーン ロングホイールベースkit フルkit HF1033 JAN:4936887002829 ホンダ Dio-SR AF25お中元:オートパーツエージェンシーBLITZ 【ブリッツ】 SUS POWER AIR CLEANER CORE-TYPE「サスパワーエアクリーナー コアタイプ」コペン L880K JB-Dお買い得ET(Turbo) 02/06-シュラウドプレート付:K-ワークス 店MOLL モル バッテリー【M3plus K競技用2】■フォルクスワーゲン/VOLKSWAGEN ヴェント/Vento/E-1HAGG【M83062】最高レベルのプレミアムスターターバッテリーMOLL battery/2年保証:カルースオートパーツ★ミズノ MIZUNOPRO ★【ブレーカージャケットハーフジップ 裏メ贈り物ッシュ】●受注会限定モデル●:U-SPORTS【イベント開催中!】BRIDGESTONE ブリヂストン オンロード・スポーツ BATTLAX RADIAL BT92 【150/60R18 67H】 バトラックス タイヤ リア用br/サイズ:150/60R18 67H TLbr/標準リム幅:MT4.00br/許容リム幅:4.00-4.5br/外径:636br/トレッド幅:152!--2016原付03_bs_camp--:ウェビック 店カーマット フヘッドライトロアマット トヨタ ラウム 9年5月〜15年5月 4WD-ECOブラック:PARTSアルミ プロペラ BLACK MAX マーキュリー純正 ダイヤお中元9インチ x 9ピッチ 48-828156A12 【あす楽_土曜営業】:キサカダイレクト 店2通販輪 IRC タイヤ オンロードスポーツ RS-310 19インチ P029-2985 100/90-19 57H TL フロント:オートパーツエージェンシー2号店【中古】中古部品 ベンツ W203 Cクラス 203261 左フロントロアアーム 【12225679】:e-cleマート買い物

なぜ再び数学するのか

ε と δ 〜 無限小の代理人

数学 解析学 εδ論法

どうも、佐野です。

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

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

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

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

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

論法のはじまり

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

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

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


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

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


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

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

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

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

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

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

論法とは何か?

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

は で連続である


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

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


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

論法を読み解く

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

定義式の後半の:


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

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

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

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

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

は で連続である


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

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

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

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

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


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

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

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

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


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

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

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

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

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


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

無限大についても同様

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


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

数列の極限も:


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

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

huhmmzh.htmlhuhmm3g.htmlhuhmmqk.htmlhuhmmki.htmlhuhmmhz.htmlお中元【中古】中古部通信販売品 スカイライン ER34 左テールランプ 【6347000】:e-cleマートhuhmmzh.htmlhuhmm3g.htmlhuhmmqk.htmlhuhmmki.htmlhuhmmhz.html【メーカー在庫あり】 EA618DF-30 エスコ ESCハーレーカスタムO 3/4"sqx2 3/8" ソケット:株式会社ヒロチー商モンキー事 店huhmmzh.htmlhuhmm3g.htmlhuhmmqk.htmlhuhmmki.htmlhuhmmhz.html[ポイント8倍] [送料無料] Patagonia パタゴニア W's Nanギフトo-Air Hoody レディース ジャケット 防寒 (Bお中元LK):84265:パドルアウトドアクラブhuhmmzh.htmlhuhmm3g.htmlhuhmmqk.htmlhuhmmki.htmlhuhmmhz.html【中古】ショッピング中古部品 モコ MG22S リアマフラー通信販売 【7808562】:e-cleマートhuhmmzh.htmlhuhmm3g.htmlhuhmmqk.htmlhuhmmki.htmlhuhmmhz.html【2017年ウィンターゴルフアクセサリーセール】チェゴルフ ブランドイスバンパイア★CV刺繍入りストレッチVセーター★全3色(CV16-5101A):ゴルフウェア アウグラーレグレー, ストレージ, トラベル, MOORING ボート カバー FOR FOUR WINN通信販売S ホライズン 190 I/O 02 03 04 -07 08 (海外取寄せ品):シアターお中元COMTEC(コムテック)エンジンスターターセット SR200 ハーネス,オプション【Be-458,Be-970】 ミニカ (トッポ、 タウンビー含む) H5.9〜H10.10 H30系 (単方向):モーストプライス

まとめ

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

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

0123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899