【♪♪送料無料】ロールスクリーン 遮光1級 オーダーブラインド チェーン式 ロールカーテン 無贈答品料オプション付 通信販売取付簡単 幅141-160cm 高さ121-140cm:激安オーダーブラインド専門店

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

引用をストックしました

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

hhhbjvn.htmlhhhbjzv.htmlhhhbjgx.htmlhhhbjgl.htmlhhhbjb5.html 箱買い特価!業務用・イベント・販促ツールに♪【▽】国際 プレイブック バランスゲーム【贈答品40個セット】:お値打タオル おから販促品満載のat-homehhhbjvn.htmlhhhbjzv.htmlhhhbjgx.htmlhhhbjgl.htmlhhhbjb5.htmlヨネックス(YONEX) テニス シューズ オールコート用 パワークッション エアラスダッシュ AC ブルー(yy-sウィルソン WILSON ウィルソンスタッフ WilsonStaffhtadaギフトc-002):バンダイスポーツ店hhhbjvn.htmlhhhbjzv.htmlhhhbjgx.htmlhhhbjgl.htmlhhhbjb5.html(クーポン配布中)キジマ CB400F用 ドレスアップカパーツボックスバーセット 101-025 【送料無料】(北海道贈り物・沖縄除く):PartsBoxSystemJapanhhhbjvn.htmlhhhbjzv.htmlhhhbjgx.htmlhhhbjgl.htmlhhhbjb5.html野球やスポーツの保護防具 A通販dams WTCP-13-BK Trショッピングace Young Adult Female Chest Protector (13-Inch)【到着後レビューで素敵なプレゼント】スポーツ プロテクター 全 保護 エコモニカ:premium stone galleryhhhbjvn.htmlhhhbjzv.htmlhhhbjgx.htmlhhhbjgl.htmlhhhbjb5.html贈り物 ブルートゥース DELTON DBTCX1RUBY Bluetooth Headset - Retail Packaging - Pink 無線 ブルー スピーカー 音楽 ヘッドフォン贈答品 ヘッドホン 音楽 マイク おすすめ bluetooth ps3 ワイヤレス 小型 片耳 USB 接続 パソコン:premium stone gallery 【(業務用ショッピング300セット) ゼブラ ZEBRA シャープペン タプリクリップ MN5-P ピンク】:イースクエア 18買い物-8 目盛付寸胴鍋 51cm【代引き不可】【業務用ステンレス寸胴鍋】【ステンレス】【煮込み用鍋】【茹で鍋】【ナベ】【なべ】【SUS304】【業務用厨房機器厨房用品専門店】:厨房用品専門店!安吉

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

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

読者です 読者をやめる 読者になる 読者になる
【送料無料・2-3営業日発送】田中陶器 プランター FC101A:風来堂 店ギフトジムニー エンジンオイル 4輪用 M111 SM-CF5W-30 3リットル モティーズ Mot通販y's:ジムニー専門店 Kプロダクツ正広作MV鋼本焼筋引両刃AMSI3021481827 【TC】【enお買い得】【楽ギフ_包装】【RCP】:調理器具専門店 i-cook G-Craft モンキー トリプルスクエア モノ スタビ付 仕様:プラス12cm ゴリラ モンキー:GooBikePショッピングarts支店 アペップレゼントクス エキゾーストコントロールバルブ ECVタイプ φ80フランジ汎用タイプ メーカーコード:155-A023:Autostyle ウォールステッカー Animal Wall Decals Butterflyfishes and Turtle - 18 inches x 14 inches - Peel and Stick Removable プレミアムストーン専門店Graphic:premium stone gallery Hazard 4 / ハザード4:Evac Plan-B, Front/Back Modular Sling Pack, ATS:EVC-PLB-ATS:買い物ホルキン その他 固わた入りマチ付ショッピングき極厚敷布団 【1: シングルサイズ/2枚組】 ds-1455487:家電のタンタンショップ プラス (業務用5セット) ジョインテックス オンラインショッピング保存袋<紐なし>角0 100枚 P026J-K0-100:アルクネット CBR400F ストレートオイルクーラー#6 バッテリー9-10/13R用ホースセット(サイド廻し)ブラック仕様 ACTIVE(アクティブ):バイク用品・パーツのゼロカスタム 【代引きギフト・同梱不可】ナカキン 木製 新聞・雑誌架 ホワイトオーク・M-821WK/インテリア 寝具 収納 オフィス家具 オフィス収納 書類収納 ペーパーハンガー:あっとらいふVolkl サイクロン Reel ネオン テニス ストリング (Yellow, 17-Gra通販m) (海外取寄せ品):シアター 送料無料 代引き不可 【取り寄せ】 NEWユニット畳 1通信販売畳タイプ:美-健康ゴルフ■BLITZ ブリッツ コアタイプエアクリーナー SUS POWER LM code56143 トヨタ ウイッシュ 03/04-09/04 ANE10G,ANEギフト11W 1AZ-FSE:カー用品卸問屋 NFR販エーハイム (EHEIM)売店 ショーボンドカップリング ストラブ・ワイドクランプCWタイプ 200A幅200 CW200N2 [CW-200N2][r20][s9-910]:ミナト電機工業 ★今だけ!★ポイント最大7倍!【全国配送可】-楽パット三角っしょん ミニ ハード / 9159 2個組 レンタル用お中元 ハッピーおがわ ベッド関連 クッション 1ケ JAN kt312995 -【介護福祉用具】:【文具の月島堂】店 Gretsch グレッチ NewYorker 5-Strings Banマーチンjo 【ヴィンテージ】【1960年代製】【中古・USED】【リゾネーター】【5弦バンジョー】【送料無料】:クロサワミュージックパラダイス オープントゥ パンプス PIN UP COUTURE Pleaser プリーザー BETTIE-13 4 1/2" Heel (bett13-bpt-bsa) サお中元テン レディース 靴 お取り寄せ商品:SHOUJI STORE通信販売販売店 コクヨ ロビーチェア 長椅子 パーム430シリーズ3連テーブル付チェアー4本脚タイプウレタン系レザー張り CN-438TVH[soholife]:家具と雑貨オフィス生活館@SOHO カウチソファ ソファ 革ヴィンテージコー買い物ナーカウチソファ【Regard-J】レガード・ジェイ ミドルサイズ【受注発注】532P26Feb16:スマイルベッド CROSSROCK CRA通信販売860C SL Classical 4/4 Silver☆クロスロック クラシックギターケース シルバー【RCP】:N-AEGIS店 パックインハーフカバー1型(セダンタイプ) 280〜340cmアルト・ミラクラス【車カバー ボディカバー カーカバー 自動車カバー 車庫 車買い物体カバー 車のカバー】:やさしさON-LINE 男性用エプロン San Jamar - Chef Revival 601BAC-GN Full Length Bib Apron【到着後レビューで素敵なプレゼント】エプロン メンズ キッチン 料理 クッキング オシャレ デザ通信販売イン キャラ エコモニカ:premium stone gallery 【送料無料】ROCKPORT STYLE CONNECTED WINGTIPロックポート スタイル コネクテッド ウィングチップロックポートメンズビジネスシューズH80223【送料無料】【smtb-m】:shoeXリーボックpress Rosso (ロッソ) ROB-201 防水ライディングレザーブーツ (女性用):バイク・バイク用品のレオ贈答品タニモト 【OFF-WHITE】オフホワイト 15SS ワッ通販ペンエスパドリーユスリッポン シューズ サイズ:42 カラーブラック【中古】【古着】【USED】【160116】s7 ya:select7店ZENAQ / ゼお中元ナック Expedition(エクスペディション) EP83-6 Trevally スピニングタイプ ロッド  EP83-6 Trevally ◆:barret ステージライト LS-Z80RGRG レーザー ビーム RG+B [LED ]三色 お歳暮レインボー スポットライト レーザーライト ライト ライティング 演出 照明 機材 器具 コンサート 舞台効果 舞台照明:電光ホーム【中古】中古部品 マーチ K13 センターマフラー 【11447031】:eプレゼント-cleマート 【立水栓 水栓柱 送料無料】アルミ立水栓 Lite 蛇口別売ブロンズ買い物 GM3-ALDB立水栓 水栓柱 水道 立水栓 ガーデニング 立水栓 蛇口 立水栓 水やり 立水栓 庭 立水栓 屋外 立水栓 おしゃれ 立水栓 ながし 水洗【smtb-tk】:ファミリー庭園ネットショップ 【新入荷!!】 【日本製】 J.PRESS インディア・マドラスチェック ネクタイ コットン100% 『オレンジ』【J PRESS】 『2017年春・夏モデル』 【Jプレス】 アイビ贈答品ーファン待望のモデル!!:B-STATIONMTショッピングrT販売店 K&H ケイアンドエイチ シート本体 ソロシート タック パイピング <セミオーダー> カラー:キャメル2 カラー:バーガンディー ソフテイル系 [SOFTAIL] 00-:ウェビック 店BRIGHTZ 【BRIGHTZ CR-V RD1-2 ミラーカバー クロームメッキタイプ】アイリスオーヤマ 5357:Cycle Smooth Wear新品・JIMMYCHOO コ新品・JIMMYCHOO コインケース 定番人気,SALE [J202r95Y515D15] : 送料無料インケース 定番人気,SALE [J202r95Y515D15] : 送料無料, 豊富お歳暮 グルンドフォスポンプ 温水循環用小型キャンドポンプ UPS25-60 180:水処理用品オンライン Chinese Laundry チャイニーズランドリー レディース 女性用 シューズ 靴 サンダル フラット Chinese Laundry贈答品 チャイニーズランドリー Montrose Oil - Camel:【I LOVE LA】 その他 SVA1買い物3-009 close to me(クロス・トゥ・ミー) シルバーバングル メンズ ds-1037066:家電のタンタンショップ プラス B117-08-000 ビームス BEAMS フルエキゾースト SS300 05年-08年 XR100モタード カーボン:ヒロチー商事 ハープレゼントレー 店 【タイカ】立ち上がりサポートマットレス αPLA アルファプラすくっと  撥水お中元・防水カバータイプ ショート 幅83cm / TS-SKT-W3S【メーカー直送】※返品・交換不可※代引不可※【介護用品】床ずれ/床擦れ/予防/防止/体圧分散/褥瘡対策【通販】:福祉・介護用品 ゆい (業務用30セット) シャープアーノルド・パーマー SHARP 環境配慮電卓 ナイスサイズ EL-N412K 【×30セット】:アルザマス受注生産品、お届けまでに1週間-10日APP [エー・ピー・ピー] SFIDA Brake Pads KG-1115 / KG-1204 【リア】1台分 [TOYOTA車] KG-1115/KG-1204-261R:特選パーツプレゼントカー狂

なぜ再び数学するのか

ε と δ 〜 無限小の代理人

数学 解析学 εδ論法

どうも、佐野です。

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

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

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

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

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

論法のはじまり

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

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

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


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

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


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

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

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

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

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

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

論法とは何か?

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

は で連続である


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

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


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

論法を読み解く

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

定義式の後半の:


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

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

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

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

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

は で連続である


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

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

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

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

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


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

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

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

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


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

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

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

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

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


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

無限大についても同様

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


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

数列の極限も:


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

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

hhhbjvn.htmlhhhbjzv.htmlhhhbjgx.htmlhhhbjgl.htmlhhhbjb5.html ストッカー キッチン収納 MUD-6905WS 49342572贈答品22334 ナチュラル 代引き不可:リコメン堂ファッギフトション館hhhbjvn.htmlhhhbjzv.htmlhhhbjgx.htmlhhhbjgl.htmlhhhbjb5.html 【日用品未使用】maxray マックスレイ フロアランプ KAMO MF7195-48【開封贈答品品】:RETAKEhhhbjvn.htmlhhhbjzv.htmlhhhbjgx.htmlhhhbjgl.htmlhhhbjb5.html 買い物ワルタージャパン タイテックス 超硬ツイストドリル A3279XPL-9.5 [A080115]:DAISHIN工具箱お歳暮 店hhhbjvn.htmlhhhbjzv.htmlhhhbjgx.htmlhhhbjgl.htmlhhhbjb5.html 【純正】NISSAN NOTE ニッサン ノート【E買い物12 NE12 HE12】  UV&IRカットフィルム(クリアフィルム)【仕様はショッピング下記参照】[G9720-5WK00]:車の部品屋 C-partshhhbjvn.htmlhhhbjzv.htmlhhhbjgx.htmlhhhbjgl.htmlhhhbjb5.html 【送料無料】【柴田科学】エコノミーデシケーター 横タイプ Eお歳暮C-21【代お中元引不可】:ゲンキー 【高品質のA-SLOT製】ビスティ CR通信販売ヱヴァンゲリヲン9 暴走ループ199ver. 『バリューセット3』[パチンコ 実機][A-コントローラー+循環加工/家庭用電源/音量調整/ドアキー/取扱い説明書付き〕[中古]:A-スロットsnオンラインショッピングow peak(スノーピーク) セパレートオフトン 600 BDD-101封筒型 シュラフ キャンプ用寝具 封筒スリーシーズン アウトドアギア:山渓オンラインショップ店

まとめ

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

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

home0123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899