rosyMonster♡flower petal tops オフショルトップス セール,得価 [4 全国無料 N49 レディースO511905eJ2] : 数量限定, 全国無料

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

引用をストックしました

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

nzybmos.htmlnzybml3.htmlnzybmr0.htmlnzybmri.htmlnzybmt5.html スワール ペアオールド 0贈答品77-07B:リコ扇風機メン堂nzybmos.htmlnzybml3.htmlnzybmr0.htmlnzybmri.htmlnzybmt5.html 【送料無料】タカショー バルジ 大 ライトグレー FCS-08LR 36477000 [※代引不可通信販贈り物売]:おうちまわり 店nzybmos.htmlnzybml3.htmlnzybmr0.htmlnzybmri.htmlnzybmt5.htmlPROTE通信販売C[プロテック]: LB4-S LEDヘッドライトバルブキット H4-Hi/Lo 6000BEETK/ZRX1100(97-00年)[ZRT10C] 【65001】:バイクパーツ MotoJam 店nzybmos.htmlnzybml3.htmlnzybmr0.htmlnzybmri.htmlnzybmt5.html 【中古】バンダイ 超合金魂 GX-68 ショッピングガオガイガー/勇者王ガオガイガー【おもちゃ】【山城店】プレゼント:開放倉庫nzybmos.htmlnzybml3.htmlnzybmr0.htmlnzybmri.htmlnzybmt5.html 【代引無料】シマノ ESHSD5OC400SG0プレゼント0 SD5 マウンテン ツーリング SPD シューズ グレー 39-40(24.5cm-2贈答品5cm) [ESHSD5OC400SG00]:ちゃりんこ王国店 HATSUTA ハローキティ消火器 ドット HK1-RD【RCP】【代引・カード払限定通信販売/同梱区分K】:eプロダクツジャパン店 【送料無料】中古 キッチン用品 洋食器 陶器 5個のスポード「クリスマス・メモリ」マグのセットオンラインショッピング - 中止されましたSet Of 5 Spode Christmas Memories Mugs - Discontinued:うれすじほんぽ

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

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

読者です 読者をやめる 読者になる 読者になる
Star Warsアドラ Unleashed スター・ウォーズ フォース・アンリーシュド ジェダイ ルークスカイウォーカー フィギュア Jedi Luke Skywalker:i-selection 【送料無料】BK 18-8ステン寸胴鍋レス 水切運搬バット 135 バットバット キッチン用品・食器・調理器具 調理機器・業務用厨房器具 その他 業務用 【ctaa】:業務用プロ道具 厨房の匠 (クーポン配布中)アライ SZ-RAM4 グギフトラスブルー (59-60) A41856 【送料無料】(北海道・沖縄除く):PartsBoxSystemJapan ナイキ/NAIKI アームレスチェアー(外30°) グリーン ZRE43RCH-GR 850×680×590mm:オートパーツエージェお中元ンシーSWAGE-LINE スお中元ウェッジライン フロント ブレーキホースキット ホースの長さ:30mmロング ホースカラー:スモーク RG50 ガンマ WOLF50 [ウルフ]:ウェビック 店 【送料無料】安寿 ポータブ通信販売ルトイレ FX-CP “ちびくまくん” キャスター付 <暖房便座>:爽ケア seal’s 20通信販売16-2017秋冬モデル SLR-506 RAIN SUIT カラー:オレンジ サイズ:LL:GooBikeParts支店 中古パソコン Windows10 Windows7 Corei3 HDD250GB メモリ4GB DVDROM DELL OputiPlex3010DT Office付中古パソコンき 【あんしん1年保証 あす楽対応】 パソコン 中古PC デスクトップ リフレッシュPC 【中古】:中古PCとハイブリッドPCのOA-PLAZA【STORMRIDER/ストームライダー】SR-009-P スポープレゼントツカーブタイプII クリムソンピンク SR-009-P-4 000366 ハイカーブ仕様 偏光サングラス 偏光レンズ サングラス:熊人店 空調服ND-101立襟・半袖セット品(プレゼント充電器・ファン・コード付) チャコールグレー M (554580433223116):DIY FACTORY ONLINE SHOP タカショー BBB-15EDP 風美フェンスH1500用柱 エンド ダークパイン:家づくりと工具のお店 家ファン!通販 Comfortiva レディース お買い得サンダル 靴 送料無料 White Tobago - Soft Spots:Pasteru 店 1132-0250 WPP3039 お中元ワイセコ Wiseco クラッチ バスケット 精密鍛造 07年-09年 ヤマハ YFZ450:ヒロチー商事 ハーレー 店正広 10657 ステ通信販売ン和庖丁出刃 180mm 左用【MASAHIRO-10657】:関の刃物屋MARUOKUネット販売アドラ店 ブローバ Bulova 腕時計 時計 Bulova Men's Marine Star 98A144 Silver Stainless-Steel Automatic Watch:i-selection 10 x Quan通信販売tity of GoPro ヒーロー 2 Micro SD Card リーダー Up to 32GB - ファスト FROM Orlando, フロリダ USA! (海外取寄せ品):シアター アレクサンドル ドゥ パリ ALEXANDRE冷蔵庫 DE PARIS ヘアアクセサリー レディース ICCM-15571-16-NVY【楽ギフ_包装】:リコメン堂生活館 プレイニック リガチャー E♭クラリネット用 Size2 《フレンチタイプ用》:e-shopNAKAZEN中善ショッピング楽器 リンゴ通信販売皮むき機 IS-310型:厨房卸問屋 名調 【USA在庫あり】 21通販06-0054 645 ピンゲル PINGEL キルスイッチ オープンデザー 29mm バー:株式会社ヒロチー商事 店【メーカー在庫あり】 RAF699 スウェッジライン SWAGE-LINE フお買い得ロント ブレーキホースキット 78年-80年 Z1R、Z1R2 赤/黒 クリア:ヒロチー商事 ハーレー 店 ★2017秋冬★GTH606 ワークデニムストレートパンツ 130-14キッズスタジオマァム0cm/紺[GoToHollywood/G2H/ゴートゥーハリウッド/ゴートゥハリウッド]【あす楽】【RCP】:キッズスタジオMARM(マァム)オルタネーター ダプレゼントイナモ リビルト ハイゼット/アトレー S120 27060-97205 送料無料:部品堂 トミカHypercity Rescue Defense Mazda RX-8 & FireFigh通信販売ter w/ Hino Fire Truck【レビューで素敵なプレゼント】 エコモニカ:premium stone gallery 【エントリー&買い回り★最大ポイント24倍★8/10(木)2時まで】シュウィgiosン ファストバック3 2017 ロードバイク【155-180cm】SCHWINN FASTBACK3 ROADBIKE スポーツ自転車【送料無料】【自転車送料無料】【ワイヤーロックプレゼント】【期間限定防犯登録無料】:GATE IN SWAGE-LINE クラッチホースキット ホースエンド:アルミ/買い物ブラック ホースカラー:クリア イナズマ1200:バイクブロス支店 スナップオン・ツールズ AMCW-74 モンキーレンチ:特価COMお歳暮モンクレール シガール レディース 新品,豊富な [Q0505J9145モンクレール シガール レディース 新品,豊富な [Q0505J914500f9] : 新作00f9] : 新作, 得価 KURI-ORI★クリオリ【大きいサイズ】KRB36S2W91,95 スリーシーズンスラッ通販クスダークグリーン×水色スリムシルエット ツータック【日本製】【送料無料】:スクールグッズ・KURI-ORI ローベッド シングル インテリア モダン 北欧 CD-02S ルショッピングキット オフィス家具 インテリア:LOOKIT オフィス家具 インテリア販売終了 *OLYMPUS* PT-056 防水プロテクター オリンパス TG-4/TG-3 専用 水中ハウジング ダイビングライフジャケット シュノーケリング 【送料無料】:ダイビング専門店ファインドバランスチェア ク 爆買い ビレディ Lサイズ 爆買い,正規品 [CC175181057w55] : 品質保証, 爆買い 甚平 メンズ 日本製-近江ちぢみ-甚平 じんべい 綿85%麻15% S/M/L/LL 送料無料 あす楽対応 +オプション可 甚平 メンズ 父の日 ギフ買い物ト 男性 敬老の日 還暦:作務衣と甚平 和専門店 ひめか サカエ [CSPRA-1314RI] 「直送」【代引不可・他メーカー同梱不可】「車上渡し」 CSパールラックワゴン CオンラインショッピングSPRA1314RI:測定器・工具のイーデンキ【ゼログラビティ】 (受注発注品) スクリーン SRタイプ ダークスモーク(CBR600F4I/FS 01-07/CBR600F 01-06) バイク【2040419】:Dimension-3 Yonex(ヨネックス)*57025-240【レディース テニスウェア】 ウィメンズ ニットウォーヒュンメルムアップシャツ 【57025】:BeeThree【送料無料・代引無料】『TAMAHAGANE 響十 ペティ 120mmお買い得』〜63-Layer Damascus Design〜【TAMAHAGANE】【 キッチン 包丁 】:美・健・屋 GRACE CONTINENTAL グレースコンチネンタル コットンボールピアス{ダイアグラムグレースコンチネンタル-AGA}:Premium bar *ノーリツ*LSB給湯器-70JWN[K]DF/LSB-70JPN[K]DF/LSB-70JBN[K]DF洗面化粧台シャンピーヌSベースキャビネット750mm:給湯器とガスコンロのお店 Cliftoお買い得n Mowa ホピ族 Clifton Mowa パホモチーフ リング 17.5号・hrccm-12【送料無料】:Crouka LR(クローカ エルアール) [住まいスタイル]天然木製リビングテーブル(PT-900BRN)【送料無料 簡単組立 テーブルハンマー リビング アンティーク モダン ナチュラル ミッドセンチュリー シンプル シェルフ ラック インテリア 家具 天然 カフェ 木目】:デイショップ 店 現代の「低所得層」〈上〉—「貧ショッピング困」研究の方法 (1979年) [古書] 江口 英一【中古】:大黒堂書店AB贈答品U Sstyle KIZIHATA STHC-762M-H-KR:フィッシングショップ風月堂販買い物売店 【メーカー直送】東谷 USメールチェスト 5段 MIP-375BE【smtb-k】【ky】【KK9N0D18P】:ぎおん店 野球やスポーツの保護防具 Adams WTCP-14-BK Trace Fショッピングemale Chest Protector (14-Inch)【到着後レビューで素敵なプレゼント】スポーツ プロテクター 全 保護 エコモニカ:premium stone gallery コクヨ VI通信販売ENAビエナ シリーズ会議 ミーティング テーブル 天板固定単柱脚キャスタータイプ 円形天板 ポリッシュ脚 幅1050奥行1050ミリ MT-VE10P-C:オフィスチェアー専門館

なぜ再び数学するのか

ε と δ 〜 無限小の代理人

数学 解析学 εδ論法

どうも、佐野です。

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

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

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

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

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

論法のはじまり

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

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

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


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

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


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

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

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

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

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

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

論法とは何か?

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

は で連続である


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

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


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

論法を読み解く

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

定義式の後半の:


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

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

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

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

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

は で連続である


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

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

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

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

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


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

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

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

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


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

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

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

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

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


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

無限大についても同様

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


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

数列の極限も:


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

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

nzybmos.htmlnzybml3.htmlnzybmr0.htmlnzybmri.htmlnzybmt5.htmlnzybmos.htmlnzybml3.htmlnzybmr0.htmlnzybmri.htmlnzybmt5.html ミセルメッセージポール大 WEL贈り物COME / カラオケ 店舗名 置き看板 スタンド看板 /OT-550-800-C018:ショッピング看板ならいいネットサインnzybmos.htmlnzybml3.htmlnzybmr0.htmlnzybmri.htmlnzybmt5.htmlAprilia RSVジェット4(09年〜) 用品タンクパッドタイプS ドライカーボン A-TECH(エーテック):バイク メンテ館nzybmos.htmlnzybml3.htmlnzybmr0.htmlnzybmri.htmlnzybmt5.html たんぽぽ茶 ギプレゼントフトショウキT-1プラス 100ml×30包(流通維持の為シリアルなし):美天bitennzybmos.htmlnzybml3.htmlnzybmr0.htmlnzybmri.htmlnzybmt5.html 【即納】【送料無料】サンワサプライ スタビライザープレゼント(側面用)ブラック CP-SV通信販売SBSBKN [CP-SVSBSBKN]|| SANWA:パソ電通信 【店】 Carbony GSX-R600 R750 12- 用 リヤフェンダー 織り方:綾織り 仕上がり:ツヤ有り GSX-R6通信販売00 GSX-R750:バイクブロス支店 送料無料★BOSCH ボッシュ コンパクトキッチンマシン ミキシングセット高機能ミキシングマシン!パン、ケーキ、お菓子作りなどに大活お中元躍!MUM4435JP-MIX【RCP】:Happy×Hunter

まとめ

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

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

home0123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899