0.999...とテレンス・タオ

ショートカット: 違い、類似点、ジャカード類似性係数、参考文献。

0.999...とテレンス・タオの違い

0.999... vs. テレンス・タオ

無限に 9 の続く無限小数 数学における循環十進小数 （ の前の 9 の個数は多少増減させて のようにも書く。あるいは他にも,, など多様な表記がある）は、実数として数の「イチ」であると示すことができる。言葉を変えれば、記号 "0.999⋯" と "1" は同じ数を表している。これが等しいことの証明は、実数論の展開、背景にある仮定、歴史的文脈、対象となる聞き手などに合ったレベルで、各種段階のが相応に考慮された、多様な定式化がある例えば、最初の節に挙げる「代数的証明」は「ただしい」証明だが、その証明の正当性は後の節に記す解析学的手法である極限の概念によって保証される。同様にそれら解析学的証明を「ただしい」証明たらしめているのは実数の特質に他ならない。しかし普通は、実数の公理にまでいちいち遡らずにいくつかの性質を「認めて」、そこで切り上げるのである。もちろん実数の代替となる体系において、実数と異なる性質に基づけば、それら「証明」はそのどこかが崩され、「まちがった」証明となり得る。。 任意の でない有限小数（を末尾に無限個の 0 を付けて無限小数と見たもの）は、それと値が等しい、末尾に無限個の 9 が連なる双子の表示（例えば と）を持つ。ふつうは有限小数表示が好まれることで、それが一意的な表示であるとの誤解に繋がり易い。同じ現象は、任意の別の底に関する位取り記数法や、あるいは同様の実数の表示法でも発生する。 と の等価性は、実数の体系（これは解析学ではもっとも一般的に用いられる体系である）に 0 でない無限小が存在しないことと深く関係している。一方、超実数の体系のように 0 でない無限小を含む別の数体系もある。そのような体系の大半は、標準的な解釈のもとで式 の値は に等しくなるが、一部の体系においては記号 "" に別の解釈を与えて よりも無限小だけ小さいようにすることができる。 等式 は数学者に長く受け入れられ、一般の数学教育の一部であったにも拘らず、これを十分ものと見做して、疑念や拒絶反応を示す学徒もいる。このような懐疑論は、「この等式を彼らに納得させることがいかに難しいか」が数学教育の様々な研究の主題となることに正当性を与える程度に当たり前に存在している。. テレンス・タオ（Terence Tao、陶哲軒、1975年7月17日 - ）はオーストラリア人数学者。カリフォルニア大学ロサンゼルス校教授。専門は実解析、調和解析、微分方程式、組合せ論、整数論、表現論。 2004年に長い間の整数論の難問（素数の集合の中には任意の長さの等差数列が存在すること）を解決し（ベン・グリーンとの共同研究）、その成果により2006年にフィールズ賞を受賞した。他に掛谷予想への貢献。KdV方程式が大域解を持つことを示した。表現論とシンプレクティック幾何学に組合せ論的手法を持ち込みエルミート計量に関するHorn予想を解決（Allen Knutsonとの共同研究）。2012年、弱いゴールドバッハ予想にも貢献した。.

実解析

数学において実解析（じつかいせき、Real analysis）あるいは実関数論（じつかんすうろん、theory of functions of a real variable）は（ユークリッド空間(の部分集合)上または(抽象的な)集合上の関数）について研究する解析学の一分野である。現代の実解析では、関数として一般に複素数値関数や複素数値写像あるいは複素数値関数に値をとる写像も含む。 実解析は、元々は実１変数実数値関数あるいは実多変数実数値およびベクトルに対する初等的な微分積分を意味していた。しかし現代の実解析は、積分論のいちぶとして測度論とルベーグ積分、関数空間((超)関数の成す線型位相空間)の理論、関数不等式、特異積分作用素などを扱う。関数解析におけるバナッハ空間の理論や作用素論・調和解析のフーリエ解析などの初歩的または部分的な理論も含むとされている。 関数空間の例には、L^p空間・数列空間・ソボレフ空間・緩増加超関数の空間・ベゾフ空間・トリーベル-リゾルキン空間・実解析版ハーディー空間・実補間空間がある。関数不等式の例には、作用素の実補間または複素補間による作用素または関数の有界性の調整・関数方程式について、初期値または非斉次項(非線型項)と未知関数の、有界性や可積分性または可微分性の関係を表すL^p-L^q評価と時空分散評価および時空消散評価・時間の経過に対する、関数の可微分性または可積分性を保存する意味を持つエネルギー(不)等式などの(解の存在を前提とした)評価式(アプリオリ評価)・別々の作用素を施された関数のノルムの関係、などがある。特異積分作用素には、「積分と微分を同時にする」リース変換や、流体力学と発展方程式の理論で現れるヒルベルト変換がある。 超関数とフーリエ変換は、実解析に入るのか関数解析に入るのか数学者の間でも扱いが分かれている。さらに今ではユークリッド空間だけではなく抽象的な集合(群または位相空間あるいは関数空間など)で定義された複素数値の写像(複素数値測度、複素数値線型汎関数)も取り扱う。そして特異積分作用素を扱う理論は「関数解析」における作用素論ではなく「実解析」として扱われている。複素解析の実解析への応用は(留数定理による実関数の積分の計算が)有名だが、実解析の複素解析への応用(その計算にルベーグの収束定理を適用することによる簡易化；フーリエ変換による複素解析版ハーディー空間とL^p関数の関係など)もある。現代数学では「実解析」の範囲は明確ではなく「複素解析」とは対をなす分野ではなくなっている。 また、実解析による偏微分微分方程式の解法は、主に関数空間と関数不等式およびフーリエ変換や特異積分作用素によるもので、解が具体的に表示できることも多いが計算が多くなる場面も多い。関数解析の作用素により論理を重ねる方法(例えば、リースの表現定理・変分法・半群理論・リース-シャウダーの理論・スペクトル分解などを使う解の存在証明)とは異なるが、高等的には両者を巧みに合わせて(関連しながら)解かれている。.

0.999...と実解析 · テレンス・タオと実解析 · 続きを見る »

ポール・エルデシュ

ポール・エルデシュ、エルデーシュ・パール（Erdős Pál, Paul Erdős; （本姓: Engländer）, 1913年3月26日 - 1996年9月20日）は、ハンガリー・ブダペスト出身のユダヤ系ハンガリー人の数学者である。20世紀で最も多くの論文を書いた数学者である。彼は、生涯で500人以上という数多くの数学者との共同研究を行ったことと、その奇妙なライフスタイルで知られていた（タイム誌は彼を「変わり者中の変わり者」(The Oddball's Oddball)と称した）。彼は、晩年になってさえも、起きている時間を全て数学に捧げた。彼が亡くなったのは、ワルシャワで開催された会議で幾何学の問題を解いた数時間後のことだった。 数論、組合せ論、グラフ理論をはじめ、集合論、確率論、級数論など幅広い分野で膨大な結果を残した。グラフ理論・数論などにおける確率論的方法、組合せ論の種々のテクニックは著しく、特にセルバーグと共に素数定理の初等的な証明を発見したことは有名である。彼はラムゼー理論を擁護し、貢献し、秩序が必ず現れる条件を研究した。彼の数学は、次々に問題を考えてはそれを解くという独特のスタイルであったが、彼が発する散発的な問題が実際には理論的に重要なものであったり、あるいは新しい理論の発展に非常に重要な貢献をした例も少なくない。 エルデシュは生涯に約1500篇の論文（多くは共著）を発表した。これ以上の論文を発表した数学者は、18世紀のレオンハルト・オイラーのみである。 彼は数学は社会活動であるという信念を持っており、他の数学者と数学論文を書くという目的のためだけに巡回生活を営んでいた。エルデシュが多くの研究者と論文を執筆したことから、エルデシュ数が生まれた。これは、論文の共著者同士で研究者をつないだときに、エルデシュとの間の最短経路上の人数を表したものである。.

0.999...とポール・エルデシュ · テレンス・タオとポール・エルデシュ · 続きを見る »

数学

数学（すうがく、μαθηματικά, mathematica, math）は、量（数）、構造、空間、変化について研究する学問である。数学の範囲と定義については、数学者や哲学者の間で様々な見解がある。.

0.999...と数学 · テレンス・タオと数学 · 続きを見る »

数論

数論（すうろん、number theory）とは数、特に整数およびそれから派生する数の体系（代数体、局所体など）の性質について研究する数学の一分野である。整数論とも言う。ふつうは代数学の一分野とみなされることが多い。おおむね次の四つに分けられる。;初等整数論;代数的整数論;解析的整数論;数論幾何学 フェルマーの最終定理のように、数論のいくつかの問題については、他の数学の分野に比して問題そのものを理解するのは簡単である。しかし、使われる手法は多岐に渡り、また非常に高度であることが多い。 ガウスは次のような言葉を残している。.

0.999...と数論 · テレンス・タオと数論 · 続きを見る »

2004年

この項目では、国際的な視点に基づいた2004年について記載する。.

0.999...と2004年 · 2004年とテレンス・タオ · 続きを見る »