SS-250C用 オプ厨房道具ション おろし SS-D1B【野菜スライサーギフト フードスライサー 業務用スライサー】【chubu】【業務用厨房機器厨房用品専門店】:厨房用品専門店!安吉

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

引用をストックしました

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

zuuuyzx.htmlzuuuyas.htmlzuuuy7e.htmlzuuuy7x.htmlzuuuyfk.html SADDLEMEN サドルメン シート本体 SEAT,PROFバイクILER M50 [0810-0257] VZ800 Boulevard M50 2005 - 201買い物1:ウェビック 店zuuuyzx.htmlzuuuyas.htmlzuuuy7e.htmlzuuuy7x.htmlzuuuyfk.html ★HSK・北海道製鎖 タイヤチェーン 品番:HSK-89191★夏タイヤ・サイド8X9クロス [チェ車載用冷蔵庫ーンバンドは別売]※シングルタイヤ用[S]シングル形 対応チェーンバンド品番:R-18※サイドカムは無しです:まん買い物てん屋zuuuyzx.htmlzuuuyas.htmlzuuuy7e.htmlzuuuy7x.htmlzuuuyfk.html[新品未使用]any FAM ジャケット 安い,定番 [K55230166P5 得価 752] : 新作, 得 得価 価zuuuyzx.htmlzuuuyas.htmlzuuuy7e.htmlzuuuy7x.htmlzuuuyfk.html 『オリゴワン乳果オオンラインショッピングリゴシロップ (700g×6)』H+Bライフサイエンス/ 4800円(税別)以上お買い上げで送料無コラーゲン料【05P03Dec16】:そうごう薬局 e-shopzuuuyzx.htmlzuuuyas.htmlzuuuy7e.htmlzuuuy7x.htmlzuuuyfk.html 【OAKLEY】オークリー 【AIRBRAKE PRIZM (Asia Fit)】エアブレイク Dark Brush B買い物lack/Prizm Torch Iridium&Pr買い物izm Rose OO7073-08 ゴーグル スキー スノーボード:SPRAY 【中古】HOLTON ホルトン / T103S B♭トランペット 【ウインドパル】:中古楽器専門店 イシショッピングバシ楽器U-BOX

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

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

読者です 読者をやめる 読者になる 読者になる
OGK オージーケー 【KITACO】【バイク用】【キタコ】スーパーボアアップキット 62.4cc 00-LIVE DIO ライブディオ【210-1077900】:バイクショップ はとやジルバイジルスチュアート スカート 新作登場,SALE [ 豊富 595O1135w395z0] : 送料無料, 豊富 エアボーンセット DSMJ RD931-8401 2.贈り物4G 01755:グッドカンパニー コミネ ショッピングバイク用レインスーツ ブレスターレインウェア-フィアート イエロー RK-539 [L] / 03-539:ゼブランドショッピング デプス deps オートインフレータブル PFD DPS-2220-B 自動膨張式:プロショップケイズ店関孫六 10000CL 牛刀 210mm AE-5256【牛刀包丁】:オンラインショッピング貝印:ゲットプラス店 【案内板】通信販売サインスタンドTST A4サイズ(業務用)(テラモト SU-657-000-0)1台【送料無料】 [誘導 案内 標識 看板 銀行 施設 店舗 激安]:業務SHOP SaK24 【まとめ買い10個セット品】和食器 オルレアン コーヒーカップレゼントプ 35A446-06 まごころ第35集 【キャンセル/返品不可】【道具屋】:店舗道具屋 メイチョー 【純正部品】ダイハツ キャストルーフキャリア(INNO)純正品番【999-05366-K2-010】【LA250S LA26通信販売0S】※019:ネットショップひのでキタコ 【KITACO】 VM24φキャブレターAssy (MIKUNI VM24-432フラット) 【401-1013004】:Dimens贈り物ion-3SPEEDBRAKES スピードブレークス ブレーキホース FRONT BRAKE HOSE【ヨーロッパ直輸入品】 CBR900RR (929CC) (900) 00-01:大型バイクウェビック 店 FootJoy FTJ97702-7贈り物.5 Medium カジュアル コレクション レディース Golf シューズ, ディープ ブルー - 7.5 Medium (海外取寄せ品):シアター【USAオンラインショッピング在庫あり】 41-8319 CVJ541QB クワッドボス(QUADBOSS) CV ジョイント キット POL:ヒロチー商事 ハーレー 店BONFIRE OUショッピングTERWEAR [ HALIFAX JACKET ] ボンファイア ウーメンズ 安心の正規輸入品【smtb-f】:ロコモショップ 店 CUSCO カッパーディスク単品 クラッチ セラ EXYお買い得10 5E-FHE 90/3〜95/12:オプショナル豊和 フィンコンフォート レディース サンダル シューズ Leawood通信販売-S Fango Campagnolo:asty 【送料無料】象印ホットプレート EA-BV贈答品35-HW:ナルキ屋RIDEA 可倒式アジャストブレーキレバー 本体:レッド アジャスト贈り物:ゴールド ZX-9R:GooBikeParts支店 マークジェイコブス MARC JACOBS リュック 0008296 001 ナイロンバイカシャネルー バックパック ブラック:s-select トップ工業 スチールフランジ・スチールシャフトリエンジン工具ベット [ SD-88BS ] 箱入り(入数:1000本)/ リベット呼び径6.4mm:道具屋 利作 K&H ケイアンドエイチ シート本体 キング&クイーン BDタック <セミオーダー> カラー:改造アルミニウム カラー:ホワイト ダイナ [DYNA] 04-05:ウェビック 店 Protection Racket Conga Case [LPTギフトR13CONGA 12-1/2”トゥンバ用]:イケベ楽器ショップ 【\22464⇒\9650】☆57%OFF!ODELIC(オーデリック)アウトドア・エクステリアLED薄型軒下シーリングFLAT PLATE(フラットプレート)【白熱灯60W相当】人感センサON-OFF型昼白色:OG254533電球色:OG254534:ス東芝ライテックーパー電化21 センターテーブル 【Henry】ヘンリー 木製 棚収納付き HOT-ソファ534NA ナチュラル:インテリアの壱番館 白光 白光 小型デンタルはんだ槽 FX301B-01 FX301B通信販売-01:家電の安値屋本舗 ラグ マット 200×200cm 防ダニ 消臭 防炎 抗アレルギー フェイクファー 子供 ペット 正方形 ロジェ ラグ マット 200×200cm 防ダニ 消臭 防炎 抗アレルギー フェイクファー 子供 ペット 正方形 ロジェ 【IL-SHOベンチP】:IL-SHOP新品☆ジルのコフレ 新品,高品質 得価 [19305N613525z0] : 新作, 得価 シェルオンラインショッピングフ 【スランテッドシェルフ STシリーズ(奥行460) 棚(18-0) ST1220(460×1.212)】 ST1220/ 1,212×460 /【業務用】【送料別】:厨房器具と店舗用品のTENPOS販お中元売店 (業務用200セット) トーキンコーポレーション ワンハンドクリップ OC-B 青色 ×200セット:GOOD DAY SHOP キッチンカウンター MUD-6533お中元WS (代引き不可)【送料無料】【ポイント10倍】:リコメン堂snow peak(スノーピーク) スノーピーク チタンスキットル M T-0買い物12:YAMAKEI別館【純正】SUBARU STELLA スバル ステラ【LA100F LA110F】  スプラッシュボードセット【ライトローズ・マイカメタリプレゼントック】[J1047K3200E7]:車の部品屋 C-parts Blank NYC ブランクエヌワイシー レディース 女性用 ファッション アウター ジ贈答品ャケット コート スーツ Blank NYC ブランクエヌワイシー Summertime Blues Jacket in Blue - Blue:【I LOVE LA】【中古】中古部品 アルト HA24V センターマフラー 【51409ショッピング98】:e-cleマート Pt100 ハーフエタ二ティープリンセスリング 17号 送料無料!:生活雑貨のお店!通信販売Vie-UP横山製作所 ROCKY ロッキープラス ルーフキャリア 一般物用 スチール+メッキ 6本脚 * 日産お歳暮 クリッパーバン/NV100クリッパー 標準ルーフ U71系 平成15年10月〜25年12月 【STR-333ML】:カー用品卸問屋 NFR STAR WARS スターウォーズ 送料無料 スミノエ キッチンマット BBサンゲツ-8KITCHEN MAT  131-34140約45cm×180cm 日本製 防ダニ加工 滑り止め加工:E-スタート カネソウ スチール製グレーチング プレーンタイプ 伸縮はしご・ロフト梯子・三連はしご・踏み台・アルミ脚立枠付110度開閉式 集水桝用 500×485×44 :T14-HSF-4544 [代引不可商品]:セミプロDIY店ファースト 200円クーポン☆ダッドウェイ オールウェザー・ジャケット S レッド 063012595113ロイヤルカナン インドア2 #w-144073-00-00:モコペット 戦国無双2+信長の野望革新(戦国Wパック) 【新品】 PS2 ソフト KOEI-00092 / 新品 ゲームプレゼント:ドラマ店17-18 VOLCOM/ボルコム PAT MOORE pan贈り物t スノーウェア メンズパンツ ウエア 予約商品 2018:BREAKOUT その他 ソファー 2人掛け 肘付き 【シアター】 クッション6個付き 東谷 SS-102 ds-14307通販36:家電のタンタンショップ プラス◇ソロストーブ+ポット900 コンボセット SS1-P1:登山用品と通販アウトドアのさかいや[美品]アップリカ ソラリア♡ 新作登場,HOT [805V4s355193vl] : [美品]アップリカ ソラリア♡ 新作登場,HOT [805V4s355193vl] : 送料無料送料無料, 豊富 【値下げ】The SoloIst. (ザ ソロイスト) 16A/W 千鳥柄シルクスカーフ(Silk Scarf) キャメル×エッグプラント 【K1542】【あす通信販売楽☆対応可】:ブランド古着のBEEGLE by Boo-Bee (mont-bell)モンベルお買い得 ULコンフォートシステム エアパッド180 (シアンブルー):ウィンズショップ

なぜ再び数学するのか

ε と δ 〜 無限小の代理人

数学 解析学 εδ論法

どうも、佐野です。

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

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

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

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

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

論法のはじまり

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

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

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


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

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


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

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

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

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

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

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

論法とは何か?

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

は で連続である


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

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


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

論法を読み解く

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

定義式の後半の:


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

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

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

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

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

は で連続である


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

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

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

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

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


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

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

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

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


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

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

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

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

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


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

無限大についても同様

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


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

数列の極限も:


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

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

zuuuyzx.htmlzuuuyas.htmlzuuuy7e.htmlzuuuy7x.htmlzuuuyfk.html 仏壇唐木位牌 勝ショッピング美 5寸 黒檀・紫檀の2色【smtb-KD】:お仏壇の野田 店zuuuyzx.htmlzuuuyas.htmlzuuuy7e.htmlzuuuy7x.htmlzuuuyfk.html エントリーで買い物10倍_【クローバー電子 ドロアー】 DSCA-PO 3B/6C CL00R-2931R アイボリー【代引不可】_送料無料:CoCo RARE通信販売 店zuuuyzx.htmlzuuuyas.htmlzuuuy7e.htmlzuuuy7x.htmlzuuuyfk.htmlZETA ジータ リアサスペンション リヤ ショックスプリング エンデューロ ソフト カラー:キャンディブルー YZ250FX オンラインショッピング15-16/YZ450FX 16/WR250F 15-1タイヤ6/WR450F 16:ウェビック 店zuuuyzx.htmlzuuuyas.htmlzuuuy7e.htmlzuuuy7x.htmlzuuuyfk.html DAD タントショッピングカスタム LA600/610 RS/X DAD EX-L 塗装済みサイドドアモール ジェニュインエンブレム/ブラック 塗装済み:Autostylezuuuyzx.htmlzuuuyas.htmlzuuuy7e.htmlzuuuy7x.htmlzuuuyfk.html 【送料無料】LOUIS VUプレゼントITTON【ルイヴィトン】モノグラム プレゼントマルチ ポシェット アクセソワール アクセサリーポーチ M92649 レディース ハンドバッグ ポーチ【中古】:BRAND-ECO.co 店 ★ポイント最大7倍★【全国配送可】-シャワーベンチGR U型コンパクト / オンラインショッピングB0700 肘掛け付 メーカー不明 入浴関連 シャワーベンチ 1ケ JAN4973655943311 kt223209 -【介護福祉用具】:【文具の月島堂】店 その他 お買い得(まとめ)タイベックソフトウェアIII型フード付続服 II【×10セット】 ds-1600756:家電のタンタンショップ プラス

まとめ

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

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

home0123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899