あずま工芸 グレープ リピベッドングテーブルプレゼント 90 机 WLT-2136 ナチュラル 代引き不可 天板 棚板:天然木化粧パーティクルボード突板(ナチュラル:人工突板) 脚:ウレタン樹脂塗装:ベッド ソファ通販のShooting Star

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

引用をストックしました

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

nzjujt4.htmlnzjuj37.htmlnzjujfz.htmlnzjujs1.htmlnzjujoh.htmlU-KパーツANAYA ホイールタイプ アルミビレットレバーセット アジャスターカラー:ゴールド サイお買い得ズ:約177mm(ロングタイプ) レバーカラー:ブルー GSX-R1000:ウェビック 店nzjujt4.htmlnzjuj37.htmlnzjujfz.htmlnzjujs1.htmlnzjujoh.html ニシキ ADMお中元 ミーティングテーブル W1200 D900 H700 贈答品ADM-1290:東京商会店nzjujt4.htmlnzjuj37.htmlnzjujfz.htmlnzjujs1.htmlnzjujoh.html 【送料無料・12%OFF】メリタ コタオルーヒーメーカーNOAR SKT54-1-B【出産内祝い/お返し/ギフト/引き出カタログギフト 物/贈答品/快気祝い/香典返し 満中陰志 忌明け・ギフト・ラッピング無料】【初節句 入学内祝い 入学祝い 入園内祝い】【挨拶状無料】【結婚祝い】:ギフト工房 愛来-内祝・引出物通販nzjujt4.htmlnzjuj37.htmlnzjujfz.htmlnzjujs1.htmlnzjujoh.html CM335-CZ_X1 スタッキングチェア ミーティングチェア ループ脚 メッキ 背メッシュ 座パットショッピング無贈り物し:SANKEI NET SHOPnzjujt4.htmlnzjuj37.htmlnzjujfz.htmlnzjujs1.htmlnzjujoh.html 【USA在庫あり】 3301-1625 アイコン(ICON) レザーグローブ RIMFIRE 灰 2XLサイシ通信販売ョッピングズ:ヒロチー商事 ハーレー 店MRA エ通信販売ムアールエー スクリーン オリジナル カラー:クリア/グラデーション無し ZXR750 93-95:ウェビック 店 【中古】優良部品 ハイエース RZプレゼントH112V 左テールランプ 【11619244】:e-cleマート

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

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

読者です 読者をやめる 読者になる 読者になる
【包装/代引不可お中元】【送料込み】ビアンコジャパン(BIANCO JAPAN) ビアンコートB ツヤ有り 2L缶 BC-101b【人気 おすすめ セール 通販 激安 期間限定特価品】:通販パーク 【ポイント10倍】orslow オパンツアスロウ/Lady'sLONG CHAMBRAY SHIRTS(CHAMBRAY)ロングシャンブレーシャツ【00-9505-84】【送料無料】:bambooleaf. 17SS デサント(DESCENTE) 硬式野球用 硬式木製バット DKB-7420-MBRB 【RCP】 【送料無料贈り物】:Lafitte (ラフィート)スポーツ フロントガラス レンジャー2 標準 BU100/200系 用 303002 優良社外ガラス 車検対応 代引き不可 ヒノ HINO:Star-Part通信販売s エーワン(A-One) 28950 ラベルシール (インクジェット) マッ買い物ト紙 24面 500シート(12,000片)入り 1 箱:ISM09-13年 ZRX1200DAEG サンスター/SUNSTAR リア ディスクLロー通信販売ター プレミアムレーシング スリット:HCM 店 平机 幅1500mm ワークテーブル 作業机 お洒落 DD-23N:LOOKIT オフィス家具 イショッピングンテリア 本格 シルバーリング シャーク 鮫 Silve通販r925 メンズ 特別品 湘南ジュエリー(DevilShark)鮫モチーフリング サイズ限定品 21号〜22号 重量感 風格共に力強さを感じます ord002 02P03Dec16:E-BOS アミノ酸有機肥料は光合成を促進させるBIOBIZZ Fish-Mix 水耕栽培装置バイオビズ フィッシュミックス 5L:水耕栽培の自然緑商事CB1300SF(03年〜)・SB(05年〜) インジェクションカバーショッピング 左右セット 平織りカーボン A-TECH(エーテック):バイク用品・パーツのゼロカスタムCLP-224 クレバー(CLEVER) ウインターパンツ 女性用 黒 Mサイズ 9号 (防寒 防水):株式会社ヒロチー商プレゼント事 店Butterfly System ムラーノ Z50 (H16.9-) ダッシュマット カラー:ピンク (オーバーロック:黒 パーツ刺繍:黒):Autostyle15-16スワンズ(SWANS)スノーボード・スキーゴーグル「C2N-MDH-SC」セピア:お中元SportsShopファーストステーション シチズンコレクション CIお歳暮TIZENCOLLECTION エコドライブ ソーラー FRA36-2432 [正規品] レディース 腕時計 時計:腕時計本舗 [掛軸][立雛]森山観月作[桃の節句の掛け軸][プレゼントmf1-111]:クロスリー・スタイルメタルファン 扇風機 正規品 [55D52r087112q1] :メタルファン 扇風機 正規品 [55D52r087112q1] : 送料無料 送料無料, 豊富 ★シナ通信販売コバ<33%OFF>春夏半袖ポロシャツ<Mサイズ>白-hf35:Guest-One オフィスチェア PLUS(プラス) Uチェア ホワイトシェル ハイバック アルミ脚 肘なし シンクロロッキング固定 取っ手機能 PL-KC通信販売-UC56SEL:激安オフィス家具オフィスコム 山田照明 Z-70B+Z-B10(ブラック)LEDデスクライト・フロアベースセット Z-LIGHT(ゼットライト)調光・調色 490lm 白熱灯100W相当「Z70B」「ZB10」「setsuden_led」「smtb-F」オンラインショッピング「送料無料」:イーライン シンデレラ コスチューム 大人女性用 1 PC. Slipウィッグper-less Sweetie:アメリカンコスチューム店 【着後レビューで今治タオルほか特典】 保温能力4倍! 「冷めにく〜い風呂ふた ECOウォーム エコウォームオンラインショッピング L15/L-15 (75×150cm用)」 [実寸 73×49.3×1.7cm 3枚] 組み合わせタイプ グレー お風呂ふた 風呂フタ ふろふた 風呂蓋 抗菌 東プレ 保温 冷めにくい:ホームセンター ヤマユウ クラッチカバー ジープ J58 用 MBC508 エクセディ EXEDY ミツビシ 三菱 MITSUBISHI:Star-PartLEDs 掛軸 掛け軸 三幸 第31集 [立雛][尺五]F1-149[森山][観月] 1通販40347979:高田卸方屋 2枚複写伝票 切り取りなし 100冊入【PS-64】[メニュー立てえいむ お会計 複写式伝票]:素敵なメニュー屋 オリンパス/Olympus M. Zuiko Digital 45mm f/1.8 Lens f/Micro 4/3 - Silver お歳暮V311030SU000/レンズ/Lens/カメラ/camera/アクセサリー IOM4518M:Mars shop06-07 GSXR600/750用ZERO GRAVITY(ゼログラビティ)ダブルバブルスクリーン:アクショパーツントゥールズ店 ◆納期プラス1日で刺繍OK◆ハイゴールド◆ポリウレタン素材◆ミドル型ショルギフトダーバッグ ◆HB-C901:ベースボールTS【USA在庫あり】 0652-1225 101-30-10046 バーネット Barnett クラッチ ケーブル プレゼント62インチ 黒 08年-13年 ツーリング 38667-08A:ヒロチー商事 ハーレー 店 網戸 片開きアルミ網戸 W751-850 H170-550ショッピングmm 見付取付用枠セット オーダーサイズ アルミサッシ:建材百貨店 しゃららんコインにふわふわ通販スカートベリーダンス トップス・スカートセット(グリーンxシルバーコイン)【smtb-f】:キリム専門店マンモスイスタンブル CB750(RC42) 4-1管マフラー(アルミサイレンサー) ブラック MAD MAX(マッドマックスショッピング):バイク用品・パーツのゼロカスタムワイドトレッドスペーサー【40mm】CX-7/ER3P/マツダ/PCD 5H-114.3■DIGICAM デジキャン ワイドトレッドスペーサー【2枚1SET】ワイトレ ツライチ 40ミリ/4cm/4センチ:カルースオートパーツ改造 5個セット 鉄製ココット 13cmココット レッド [L-13 S-10オンラインショッピング H-8 C-270cc] 【洋食器 ホテル レストラン ディナー 業務用 カフェ】:せともの本舗 【マラソン期間ポイント10倍&クーポンで最大5000円OFF】 ソファ 座椅子 ソファー ハイバック ポケットコイ贈答品ル入 ソファベッド 脚付 コンパクト フロアソファ -レイア- 一人暮らし 北欧【OG】 贈り物 ピンク 白 寝心地 ソファーベッド 敬老の日 ベッド館:グランデ・ベッド館リンナイ ガスコンロ 新作登場,限定 スマホ/家電/カメラセール [251a01BVY95250] : 数量限定, 全国無料 ダイヤル式ツーリングブーツ E-SBT271お中元W ブラック/レッド #45 28.0cm EXUSTAR(エグザスター):バイク メンテ館 【送料無料】 PinkFactory ピンクファクトリーホンダ CBR60ギフト0RR (2007〜2012年式)用 LEDテールフェンダーレスキット【レッドレンズテールランプ】 + 【スリムリフレクターセット】HONDA ホンダ 05P05Nov16:HOBBY-JOY 店 データシステム 車種別サイドカメラキットSCK series トヨタ プリウスα用 SCK-43P3A(LED内蔵タイプ) /車用品 バイプレゼントク用品 カー用品 カーAV(オーディオ 映像) モニター:あっとらいふ通販販売店 三菱 旋削加工用M級CVDコーティングインサート SNMG150616RP ×10個セット (UE6110) [SNMG150616-RP][r20][s9-910]:ミナト電機工業♡ SONY ウォークマン ♡ セール,人気 [5wm33851d00155] : 人気定番, 超激♡ SONY ウォークマン ♡ セール,人気 [5wm33851d00155] : 人気定番得通販販売店 チヨダ CTPカバーチューブ 12mm・20m赤 CTP-12R 20m:GAOS 店トゥーソック贈答品ス レディース 靴下 Ankle Half Toe 3-Pack:ロックオン A買い物shfordアシュフォード システム手帳 キャロル バイブルサイズ19ミリ ホックベルト ブラック メーカー品番 7228-011:文具のある暮らしAnatelierビジューつき春ジャ 超激得 ケットApuweiser/JUSGLITTY SALE,大得価 [405093553OKFQ1] : 人気定番, 超激得メガショッピングテック リブレ BJ66-74 ベイトキャスティングジギングハンドル BJ-67SDR (シマノ&ダイワ共通 右巻き):フィッシング遊

なぜ再び数学するのか

ε と δ 〜 無限小の代理人

数学 解析学 εδ論法

どうも、佐野です。

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

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

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

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

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

論法のはじまり

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

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

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


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

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


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

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

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

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

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

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

論法とは何か?

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

は で連続である


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

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


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

論法を読み解く

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

定義式の後半の:


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

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

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

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

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

は で連続である


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

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

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

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

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


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

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

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

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


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

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

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

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

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


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

無限大についても同様

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


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

数列の極限も:


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

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

nzjujt4.htmlnzjuj37.htmlnzjujfz.htmlnzjujs1.htmlnzjujoh.html ◆ RUF-VS1プレゼント615SAT-80 ◆ リンナイ ガスふろ給湯器 16号 【送料無料・全国施工対応】お気軽にお問合通信販売せください。:湯テックスnzjujt4.htmlnzjuj37.htmlnzjujfz.htmlnzjujs1.htmlnzjujoh.html【純正】DAIHATSU MIRA e:s ダイハツ ミライー通信販売ス【LA300S LA310S】  お中元インパネアッパーパネル【ベージュチェック】[08173-K2079]:車の部品屋 C-partsnzjujt4.htmlnzjuj37.htmlnzjujfz.htmlnzjujs1.htmlnzjujoh.html 6NAC-GS300冷蔵庫0A-4.5R【税込】 ゾノトーン RCAケーブル(4.5m・ペア)【特注品】 ZONOTONE 6NAC-Granster 3000A RCA [6NACGS3000A45R]【返品種別B】【送料無料】【RCP】:Joshin通信販売 web 家電とPCの大型専門店nzjujt4.htmlnzjuj37.htmlnzjujfz.htmlnzjujs1.htmlnzjujoh.html その他 簡単折りたたみ座卓/ローテショッピングーブル 贈り物【1: 幅75cm】木製 ダークブラウン ds-1458232:家電の安値屋本舗nzjujt4.htmlnzjuj37.htmlnzjujfz.htmlnzjujs1.htmlnzjujoh.html 【送料無料ゲンキー】AGイージーウェーブ風呂フタ75×155cm用(キャンセル・返品・交換不可品)★全品ポイント10倍!(P10倍)★★税抜5000円以上で送料無料★激安祭【smtb-s】:ゲンキー通信販売 SHARP XG-C55 Projector リプレイスメント ランプ with ハウジング 「汎用品」(海外取寄せ品):シアタお歳暮ー★★NGKプラグ年間累計50,000本突破!★★NGKイリジウム MAXプラグBKR5EIX-11P [1219] 16本 適合車種:メルセデス ベンツ G500L GH-463248【smtb-k】【kb】【あす楽対応_近畿】【カード分割】:パパーツキングーツキング店

まとめ

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

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

home0123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899