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

引用をストックしました

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

nnzzjtn.htmlnnzzjmi.htmlnnzzjm2.htmlnnzzjjt.htmlnnzzjfu.html ジョインテックス フラットファイルA4S 黄360冊 D017J-通信販売36YL (JX-景品JX-357009):まごころギフトたばきnnzzjtn.htmlnnzzjmi.htmlnnzzjm2.htmlnnzzjjt.htmlnnzzjfu.htmlピンクハウス リボンたくさん豪奢なブラウス 定番人気,限定SALE [153151S54NBE09] : 新作ピンクハウス リボンたくさん豪奢なブラウス 定番人気,限定SALE レディース [153151S54NBE09] : 新作, 得価nnzzjtn.htmlnnzzjmi.htmlnnzzjm2.htmlnnzzjjt.htmlnnzzjfu.html【新品未使用】 アディダスオリ 超激得 ジ 超激得 ナルス M 2017,本物保証 [26R155h2101s45] : 人気定番, 超激得nnzzjtn.htmlnnzzjmi.htmlnnzzjm2.htmlnnzzjjt.htmlnnzzjfu.html トミカLet's Play with Tomica & Plarail ! - Auto Loading and Unloading Carport (Model Train)【レビューで素敵なプレゼント】ミニカ通信販売ー カー 車 クルマ トミー 想像力 子供 キッズ エコモニカ贈り物:premium stone gallerynnzzjtn.htmlnnzzjmi.htmlnnzzjm2.htmlnnzzjjt.htmlnnzzjfu.html 全品P10倍⇒8/10 01:59まで30代〜40代ファッションVent Blanc ヴァンブランエアボリューム裏毛ドルマンプルオーバーVBC-0997* レディースカード分割:ギベンシモン FABIO RUSCONI カルザノール Calzanor エスパドリーユ gaimo ガイモ リバティ ルミノア フトChouquetteシュケットレディース服 システムデス通信販売クシリーズ 薄型 デスク幅900 GA-063(代引き不可)【送料無料】【smtb-f】【sntb-f】:リコメン堂生活館 HAプレゼントTAYA MB-5 金属感知遮断器付延長コード:バイクブロス支店

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

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

読者です 読者をやめる 読者になる 読者になる
【訳あり】フルラ/FURLA 財布 メンズ MAN GIOVE ラウンドファスナー長財布 ブラック 2017年春夏新作 PR53-ATT-O60:アウトオンラインショッピングレットa 【ポイント10倍】ジョインテックス 保存袋<古紙配合>角2 250枚 P60通信販売3J-K2-250:サイバーベイコイルローオンラインショッピングプ 3つ打◆12mm×100m◆スパンエステル 大沢マリーン22411 送料無料ボート/船/フィッシング/マリンレジャー/係船用品:機械屋-SOGABE 企画・特集 > 重たい飲み物は玄関までお届け!コカコーラ。 > ヨーグルスタンド:WESTREAM(ウエストリ贈答品ーム) エレ通信販売コム EU RoHS指令準拠 STPケーブル LD-CTS100/RS:アルクネット 限界突破! 漢の爆根力“鋼鉄マ贈答品カ330,000mg” 【 5,400円以上送料無料 ! 】:fuwalu -フワル- 東谷(あづまや) ココナ 通販デスク CN-504NA:家電の安値屋本舗 幸和製作所 テイコブ(TacaoF) シルバーカヒーターー(ミドルタイプ) ラウンディ フラワーブラック・SIMD03-BK(代引き不可)【送料無料】【ポイント10倍】:リコメン堂プレゼント販売店 テクノス 40cm壁掛けメカ扇風機 KI-W422/2P 2台セット:エコデン【GS YUASA】【ジーエスユアサ】【バイク用】バッテリー 6N4-2A:バイクショップ CB400SFはとや 【データシステム 車種別サイドカメラキットSCK series 日産 NV350キャラバン用 贈答品SCK-41C3A(LED内蔵タイプ)】※発送目安:2週間 fs04gm、【RCP】:イースクエア ★純正品/送料通販無料★レミニドゥシャネルセット+クリスチャンディオール ライフフレッシュジェリーマスク (50ml):bi-sai [GBC-B10PU:BW1+DT-B281U:BW1] INAX 一体型シャワートイレ 手洗付 ピュアホワショッピングイト ベーシア B1 暖房便座 [北海道沖縄離島除き送料無料]:リフォームのピース ザネクスト販通信販売売店 46465400 HFF-003W LED グランドライト3型:賑わいマーケット 店2輪 フルカワ 12V型高始動形バッテリー FB3L-A 形式:FB3L-A:オート車高調キット マフラーパーツエージェンシー2号店 【送料無料】 MARVEL・マーベル MAT-180WL配管 柱上安全帯用ベルト(ワンタッチバックルタイプ)Lサイズ:電材ドットコム店 【ディクセル/DIXCEL】Specom-β スペコンベータ タイプ フロント用 ブレーキパッド ミラ L275S などにお勧め ギフト品番:341200 :宅配タイヤ太郎 【送料無料】ADIDAS(アディダス) 2017 ゴルフシューズ 360 traxion Ba-プライスoa WD ホワイト/ホワイト/シルバーメタリック 26.5:A-PRICE店 (クーポン配布中) ACTIVE スロットルKIT [ホルダー:TYPE-3 T-GLD] 巻取φ44 [メッキ金具] TMR用 900mm 1067281 【贈り物送料無料】(北海道・沖縄除く):PartsBoxSystemJapan 【送料無料】日清紡 ハンディーピーチポサプリメントケットティッシュ10W(6P) (200パック×1)200パック セット u30-713【代引不可】:ゲンキー 【DID】【ドライブチェーン】520ERV3 114L ゴールド お中元【カシメジョイント】 ホンダ CB400F '13-'14:バイクショップ はとや 【スリーエム 3M】関東ハイ-Kターム2-EM(屋内用)CVT14/22買い物SQ用キット T6SA-RXT-I14/22 EM:あきばお〜支店 INAX 棚手ショッピングすり[L型タイプ・左右共通]NKF-3WU2(旧NKF-3WU)【RCP】:住宅厨房機器キッチンアンドハウスM掃除機TrT販売店 パナソニック Panasonic 気化式加湿器 FE-KFH05-A ブルー【楽ギフ_包装】【RCP】:リコメン堂生活館 【送料無料】ビアンコジャパン(BIANC骨盤ショーツO JAPAN) タイルクリーナー キュービテナー入 20kg TS-101【代引き不可】:良いもの本舗MTr通信販売T販売店 山本光学 SWANS スワンズ LION SIN ライオンシン レンズ交換可能タイプ LI SIN-1701 BK:Mavericks 【送料無料&全品P5倍】アシックス通信販売タイガーラグスピードラッシュ3色:パールホワイト×ブラック28.5■TRW762−0090−28.5★税抜5000円以上で送料無料★激安祭【smtb-s】:ゲンキー おくすり別館 【まとめ買い10個セット品】和食器 キ132-216 黒備前足付焼物皿(プレゼント大) 【キャンセル/返品不可】【ECJ】:EC・ジャングルマスターバプレゼントニーエディション MASTER BUNNY EDITION ピケパンツ 158-7131309[ゴルフ用品 メンズゴルフウェア ゴルフウェア メンズウェア ゴルフウエア ゴルフ ウェア ウエア golf メンズ 男性 ゴルフパンツ かっこいい おしゃれ]:PEARLY GATES by GDO 店 焚火ピラミッドグリルEVO-特価サッカースパイクL【LOGOS】ロゴスアウトドア BBQ16SS(81064102)*00:ピットスポーツ 店 ジョイントカーペット 買い物JC-90 3枚セット 色 グリーン サイズ 厚15mm×タテ900mm×ヨコ900mm/枚 3枚セット寸法(900mm×2700mm)【ポイント10倍】:リコメン堂 SHIMANO RP3 「シマノ SH-RP300」 レッド SHIMANO (シマノ) RP3 (SH-RP3スギムラ00) シューズ 【シマノ シューズ】 【送料無料】 【02P03Dec16】:アトミックサイクルワイトレ15mm+専用スペーサー4mm【19mm】ビアンテ/CC系/マツダ/PCD 5H-114.3■キックス Kics ワイドトレッドスペーサー改造&アジャスタブルプレート【2枚1SET】 こだわりのツライチ 19ミリ/1.9cm/1.9センチ:カルースオートパーツ2輪 Nプロジェクト ベンチュラ ベースセット BSH109B JAN:45601907プレゼント91059 ブラック ホンダ VTR1000FV - F3 ファイアストーム 1997年〜2006年:オートパーツエージェンシー[Projectμ] プロジェクトミュー ブレーキパッド RACING-N1 リア用 【レガシーツーリング爪折りワゴン BR9 09.2〜12.4 2.5i 2500cc】 本州・北海道は送料無料 沖縄・離島は送料1000円(税別):オートクラフトキャリア 車種別セット H19.8〜H25.通販11 エクストレイル T31 テルッツォ/Terzo:EF-DRX+EB2&EA19:カー用品通販のホットロードパーツ販売アメカジ店 可動式アームレスト!オフィスチェア【-Primouth-プリマス(天使の座面シリーズ)】 家具、おしゃれインテリア、引っ越し、新生活、模様替えに!【 まっさらな新品で安心のメーカー直送便 】:TREND-I 店 日産/ピットワーク リアマフラー AY280-KE015 ダイハツ ミラ・クォーレ L200S GサスペンションAS 1990年03月〜1995年01月:オートパーツエージェンシー マックスレイ 照明器具 MS10405-80ブラケット-91 GEMINI-M スポットライト(プラグタイプ*LED:21.1W)(電球色*広角*LED内蔵・電源装置付) ※回転角 360*連続調光[MS104058091]:あかりと電球のランプメンテナンス ASICS(アシックス) バスケットシューズ 限定カラー GEL BURST21GE(ゲルバースト21GE)[TBF30G-5077] 【バスケットボール】バスケットボールシューズ バッシュ バスケットシューバスケットシューズ ナイキズ アシックス:ボンスポーツ 32 ラタンセンターテーブル T-161●送料無料:家贈答品具のニシムラ 【お取り寄せグルメ/送料無料】K&K(国分) 缶つまレストラン 厚切りベーコンのハニーマスタード味 105g×24缶[24個入/缶詰/缶づめ/保存食/保管食]【RCP】【smtb-s】【贅沢≠高贈答品価!】【宅配便A】:贅沢は高価じゃない!-とくせん- 日本製ハイバックラブソファー2人掛け 脚なし 合皮レザー:eddies -ホーム&オフ通信販売ィスinterior Ivanka Trump イヴァンカトランプ レディース 女性用 シューズ 靴 フラット Ivanka Trump イヴァンカトランプ Tabithe - Gold Leather:【I LOVE L贈答品A】 【送料無料・2-3営業日発贈り物送】市場 スープ キッチンカウンター3点セット 天然木 ダークブラウン DS-2253DBR:風来堂 店ハーレーダビッドソン/Harley-Davidson ショート・バッ通販クレストパッド/52517-94■ハーレーパーツ■バックレスト:bagger jack design

なぜ再び数学するのか

ε と δ 〜 無限小の代理人

数学 解析学 εδ論法

どうも、佐野です。

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

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

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

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

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

論法のはじまり

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

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

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


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

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


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

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

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

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

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

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

論法とは何か?

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

は で連続である


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

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


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

論法を読み解く

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

定義式の後半の:


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

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

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

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

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

は で連続である


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

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

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

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

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


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

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

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

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


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

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

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

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

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


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

無限大についても同様

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


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

数列の極限も:


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

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

nnzzjtn.htmlnnzzjmi.htmlnnzzjm2.htmlnnzzjjt.htmlnnzzjfu.html 【純正】DAIHATSU MOVE CANBUS ダイハツ ムーヴキャンバス通販【LA800S LA810S】  ラゲージボックス[08245-K9000]:車の部品屋 C-partsお歳暮nnzzjtn.htmlnnzzjmi.htmlnnzzjm2.htmlnnzzjjt.htmlnnzzjfu.html コールマン NS 25×52キディアドラット【Vixen】ビクセン コールマンアウトドア 望遠鏡 14SS(11101-5)<発送に2〜5日掛かります。※0>◇:お歳暮ピットスポーツ 店nnzzjtn.htmlnnzzjmi.htmlnnzzjm2.htmlnnzzjjt.htmlnnzzjfu.html 【USR-3A-601 L W】富士工業 レンジフード 通信販売換気扇 シロッコファン 間口600mm 排気ダクト左ショッピング 色:W:住宅設備機器の小松屋nnzzjtn.htmlnnzzjmi.htmlnnzzjm2.htmlnnzzjjt.htmlnnzzjfu.html Steiff 035166 シュタイフ ぬいぐるみ テディベア Limited Edition Nando Teddy シュタイフRusset Tipped w贈り物ith Compass 30cm:i-selectionnnzzjtn.htmlnnzzjmi.htmlnnzzjm2.htmlnnzzjjt.htmlnnzzjfu.html 【新製品】electro-hお中元armonix / Bad 通販Stone:BIGBOSS KING OF KINGZ LOW カモ/29.0cm ( TMBL885C-GBG-29.0 / Jロゴス チェアO10297888 )【 DADA 】【QBH12】:Field Boss 店【ポイント最大35倍!5/25 1:59迄】サマータイヤ LT215/70R16 100/97R BFグッドリッチ オールテレーン T/A KO2 ホワイトオンラインショッピングレター BFGoodrich All-Terrain T/A KO2:タイヤマックス

まとめ

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

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

home0123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899