GM純正 パワステホース(OUT通販) 15812565(07-14y タホ、サバーバン、ユーコン、ユーコンデナリ、エスカレード 99-06y シルバラード、シプレゼントエラ 他):カリフォルニアカスタム店

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

引用をストックしました

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

ntmmgin.htmlntmmgz2.htmlntmmg1a.htmlntmmgyb.htmlntmmgxx.htmlオンラインショッピング 【RUX-A2011W-E-JE】 《TKF》 リンナイ ガス給湯器 20号 給湯専用 塩害仕様 屋外壁掛型 ωβ0:住通販宅設備機器 tkfrontntmmgin.htmlntmmgz2.htmlntmmg1a.htmlntmmgyb.htmlntmmgxx.html SHIMADZU 通販生徒用生物顕微鏡 GLB-600AL(114-045):光学製品の専門店 ネ通販オショップntmmgin.htmlntmmgz2.htmlntmmg1a.htmlntmmgyb.htmlntmmgxx.html 隙間収納チェスト/通信販売スリムタンス 【6段 幅25cm】 本体:ホワイト 取っ手:ハートタイプ(色おまかせ) 日本ショッピング製 【完成品】 送料込!:生活雑貨のお店!Vie-UPntmmgin.htmlntmmgz2.htmlntmmg1a.htmlntmmgyb.htmlntmmgxx.html 【送料無料】ベッドからの立ち上がり補助に! セーフティベッドガード ブラウンオンラインショッピング FM-オンラインショッピング8000 介助 介護:キングベア店ntmmgin.htmlntmmgz2.htmlntmmg1a.htmlntmmgyb.htmlntmmgxx.html (業務用10セット) オルファ カッターナイフ ハイパーAギフト型 198B 10個 ×10セッ通信販売ト:Shop E-ASU リョービ(RYOBI) リョービ ニカド電池パック 12V B-1220F2:激安!家電のタンタンショッ贈り物プ 【144時間限定★10%OFFクーポン★16日9:59迄】パソコンチェア 北欧曲木ウォールナット:おしゃれなこたつ専門店 e-贈答品Living

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

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

読者です 読者をやめる 読者になる 読者になる
RYOBI(リョービ)エンジン刈払機(Eリョービ高圧洗浄機KK-2470T) パワフル、軽量、仕事が早い【送料無料!】 【リョービ RYOBI 刈払い機 エンジン式 刈払機 草刈機 草刈り機 草刈り機 エンジン式 草刈り機 エンジン式 】:ホームセンターエースリッ キッチン/食器ク様専用 本物保証,低価 [4q51fD25M18509] : 品質保証, 爆買い 【在庫あり】LEC-AH120C 日立 LEDシーリングライト 12畳用 調光・調色【smtb-k】【ショッピングky】【KK9N0D18P】:ウルトラぎおん店MISHIMOTO ミシモト ラジエーター本体 RADIATOR SUZ RMZ250 RGT [1ヘルメット901-0386] KX250F 2004 - 2006 RM-Z250 2004 - 2006:ウェビック 店 トラスコ中山 軽量樹脂製運搬車 《カオンラインショッピングルティオ》 折りたたみハンドルタイプ 省音タイプ ブルー MPK-720-B:エコダネ 店WJ-921S スーパーフィットウォームデニムジーンズ One Wash Blue WLサイズ/30(レディース用) コミネ(KOMINE):バイク用品・パーツのゼお歳暮ロカスタム 【[4個セット]ソーラーライト付き柴犬(ポチ) 玄関/エントランス/通信販売庭/ガーデニング/ガーデンライト/自動点灯/太陽光/屋外/外灯/業務用/完成品/NK-132】:プリティウーマン ブラナーノ IH対応 両手鍋20cm&片手鍋18cm(お玉・ホテルオークラターナー付) (BM-9530)【お中元 ギフト 送料無料 内祝 出産内祝 結婚内祝 出産祝 結婚祝 お歳暮 お年賀 お返し 香典返し 即日配送】【楽ギフ_出産内祝い】【s-mail8】【ecc8】:ギフトの専門店 スマイルギフト Carlo Giordano/エレクトリック バイオリン EV-202【カルロジョルダーノ通販】【送料無料】【マラソン応援P10倍!】:楽器de元気 【エントリーでポイント10倍】Kalit贈り物a(カリタ) 業務用コーヒーマシン KW-25 62051:良品マルシェ 店 ナイキ N通販ike College Dri-FIT On Court Game Jacket - Men's - Tennessee Volunteers - Orange / Grey メンズ 男性 衣類 アパレル ジャケット:ロックオン 【爽快生活ギフトセット (MGN-520) ※セット販売(24点入)】2017年 販ショッピング促品・ノベルティグッズ【楽ギフ_包装】:イースクエア【USA在庫あり】 0601-2852 300850 クロームワークス Khrome Werks 1インチハンドルバー 10インチ ボバー エイプ オンラインショッピング(ディンプル/ドリル加工) 黒:ヒロチー商事 ハーレー 店任天堂 3DS 本体 コスモブラック ブラック 2017,限定SALE [J7545i108W09f8] : 全国無料 数量限定, 全国無料 【送料無料】アシックスアフターランナーMG−D×色:ホワイト25.5■TGA732−01−25.5★税抜5000円以上で送料無料★激安祭【通信販売smtb-s】:あひるのドラッグ ◆10%offクーポン利用で26820円 8/18 15:59迄◆高反発マットレス HG90-S 送料無料 高反発マットレス シングル 9cm厚 エアリーマットレス三つ折り 3つ折り 寝具 通気性 体圧分散 エアロキューブ 洗濯可能[P10]贈り物あす楽:家具インテリア館 【期間限定10%OFFクーポン配布中】ラウドマウス LOUDMOUTH ショッピングキャディバッグ 726-117-029 2016年日本正規品:アメイズゴルフアジャスタブルクラッチレバー ゴールド LSL(エルエスエル) BUELL XBお中元-9R(02〜04年):バイク用品・パーツのゼロカスタム ヒールクリーク Heal Creek ストレッチフウェッジルレングスパンツ 002-75310 レディス[春夏 春服 春物 ゴルフ用品 GOLF GDO レディース 女性用 ゴルフウェア ウェア ウエア ゴルフウエア レディースウェア ゴルフパンツ おしゃれ かわいい スポーツ]:GDOゴルフショップ 店 UNEEKMens KEEN(キーン)(ユニーク)-TOTAL贈答品ECLIPSECHILIPEPPER:WEST WEB STORE♡新♡新品♡ミキハウス アウター80 人気定番,正規品 [90475C194zN0n5] : 数量限定品♡ミキハウス アウター80 人気定番,正規品 [90475C194zN0n5] : 数量限定, 全国無料タナックス(TANAX) マグレス9000お中元S (ブラック) MFK-189:木製家具専門店in-wood HE贈り物PCO&BECKER サイドソフトケースホルダー(キャリア)「C-Bow」(ブラック) YZF-R1 YZF-R1M:GooBikeParts支店 ★ポイント最大7倍★【全国配送可】-コンフェスト パネルなし棚なし W1500D600 ホ買い物ワイトナチュラルコクヨ品番【KT-1303MM10N】 atk6386-8302 63868302-【代引き不可商品】【キスパ家具】:【文具の月島堂】店 GJMS ジージェーエムエス リアサスペンション 【GP-お中元5】ダンピング ローター 窒素別体タンク 調整式リアショック カラー(画像C・D部分):グリーン 体重:80kg CYGNUS X OZ 125:ウェビック 店 [セール開催中!夏物大幅プライスダウン!]【国内正規代理店商品】【CALZANOR/カルザノール】#1727★バイカラーの大人のサンダル/ヒール9cm/ウエッジソールエスパドリーユストラップサンダル/ゴム/コンフォートサンダル/:SHARE’S GARDE通信販売N-シェアズガーデン ロバートショッピンググラハム Robert Graham メンズ シューズ・靴 フラット【Prince】Blue Floral Tie-Dyed Canvas:フェルマート 2輪 マジカルレーシング ミラー タイプ贈答品-1 ヘッド P034-6183 シルバー ホンダ NSR250R 1994年〜1999年:オートパーツエージェンシーEASTBOY︎︎︎❤︎スカート、シャ 超激得 ツ、リボン 超激得,最新作 [5102010f5504F9] : 人気定番, 超激得 Honda Honda EX-R37 ウインドストップ・レ通販イヤードジャケット カラー:ブラック サイズ:M:バイクブロス支店 TSUBAKI つばき 11/70R22.5・ノーマル/スタッドレス共通  特殊合金鋼タイヤチェーン TRUCKER-5(スプリングバンド付き) 標準型/ショッピングシングル クロスチェーン線径7.92mm [8130S+R-20_3]:カー用品卸問屋 NFR Kipling(キプリング) バックパック K通信販売15016 828 WARM GREY:Shop E-ASU 【送料無料】 ヴィンテージスタイル リビングダイニングセット 【CISCO】 シスコ/チェア(1脚) チェアー イス いす 椅子 ヴィンテージスタイル・リビングダイニング 張り地 バイキャストPVC 合皮 北欧 ブラック 黒 シンプル 高級感:e-バ毛布ザールキャプテンスタッグ アルミロールテーブル トラッド アルミロールテーブルワイド M-贈り物3766:グッドカンパニー 『プレゼントカード対応OK!』##INAX LIXIL キャパシア ベッセル型(丸型手洗器)【YN-ABLAAAXXHJX】キャビネットプラン:クローバー資材館 NAMZ ネームズ その他電装パーツ ENRICHENER FI 09 FLT [102バイク0-1295]:ウェビック 店 プレゼント付き♪300円OFFクーポン配布中♪光速エスパー Bお歳暮lu-ray Vol.2 三ツ木清隆 甦るヒーローライブラリ− 第16集 エスパー星人 ヒカル【RCP】:TV-HIT 【中古】【Cランク】【フレックスその他】◆フォーティーン◆SF-410 7W◆リシャフト◆その他【golpa】【メンズ】【右利き】【FW】 ゴルフクラブ:ゴ通販ルフパートナー 店 (業務用100セット) トンボ鉛筆 4色ボールペンリポータースマートBC-FRL31 【×1プレゼント00セット】:アルザマス 【送料無料】≪プチギフト≫ガレットショコラ ケーキタオル60個セップレゼントト No.1044 [のし・包装不可◇wr-x] (ギフト/引き出物/引出物/結婚式/内祝い/お返し/お祝い/プレゼント/ご挨拶/ミニギフト):引き出物しょっぷ ショッピング【代引不可】 山金工業 ヤマテック ラック 1.2S5545P-4W 【メーカー直送品】:道具屋さん店 2輪 バトルファクトリー アルミ溶接ハンドル P004-4646 φ52×10ドライブシャフト°:オートパーツエージェンシー HY-W0801 TOA スピーカー壁取贈答品付金具 黒:コネクト オンライン 【クーポン対象】【30%OFF】【エネス eness】レザー クロスアンクルストラップ プラットフォーム ウェッジサンダル・200865V-0241701【レデドミンゴィース】【◎】:etre!par bleu comme bleu Therm通信販売-ic/サーミック ヒーター SmartPack ic950 Set クラシック (ic950とクラシックインソールのセット):SNB-SHOP人気商品☆シンプルモダンシリーズ2人掛けソファーホワイト 安い,爆 全国無料 買い [059475o5310OO4] : 数量限定, 全国無料

なぜ再び数学するのか

ε と δ 〜 無限小の代理人

数学 解析学 εδ論法

どうも、佐野です。

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

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

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

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

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

論法のはじまり

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

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

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


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

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


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

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

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

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

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

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

論法とは何か?

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

は で連続である


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

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


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

論法を読み解く

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

定義式の後半の:


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

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

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

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

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

は で連続である


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

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

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

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

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


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

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

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

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


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

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

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

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

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


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

無限大についても同様

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


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

数列の極限も:


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

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

ntmmgin.htmlntmmgz2.htmlntmmg1a.htmlntmmgyb.htmlntmmgxx.html がまかつ LUXXE ラグアイマゼ OCEAN 贈り物ジグドライブ S62M-RF:ウォーターハウス店ntmmgin.htmlntmmgz2.htmlntmmg1a.htmlntmmgyb.htmlntmmgxx.html 【送料無料&全品P5倍】TAK通販IZUMI(瀧住プレゼント)ペンダントライト和風LEDタイプ TV80008(キャンセル・返品・交換不可品)★税抜5000円以上で送料無料★激安祭【smtb-s】:ゲンキー おくすり別館ntmmgin.htmlntmmgz2.htmlntmmg1a.htmlntmmgyb.htmlntmmgxx.html ★ポイント最大7倍★【送料・組立・設置が無料】-(L7150)プリーツスクリーン2 高1600幅1350ブラウン 株式会社フルネスkaf002285 -【お買買い物い得商品】:【ギフト文具の月島堂】店ntmmgin.htmlntmmgz2.htmlntmmg1a.htmlntmmgyb.htmlntmmgxx.html その他 テレビ台/テレビボード 【幅100cm:26型〜4お中元2型対応】 木製 引き出し収納付き シャビーシック アンティークホワイト(白) 【完成品】 【代引不可】 ds-ギフト1314997:家電の安値屋本舗ntmmgin.htmlntmmgz2.htmlntmmg1a.htmlntmmgyb.htmlntmmgxx.html Icebreaker Compassショッピング Half-Zip Pullover Hoodieギフト - Men's Black Black アウトドア メンズ 男性用 パーカー スウェット Hoodies & Sweatshirts:Mars shop 新品 税、送料込 ポケット糖度オンラインショッピング計 PAL-S:プロマーケット 【食品サ贈り物ンプル 製氷皿氷(100粒) IP-496】※発送目安:2週間:カジュアル&スタイリッシュmaomao

まとめ

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

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

home0123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899