ブラウザよりも高速アクセス！
42 関係: ちくま学芸文庫、半環、可算集合、同型写像、宇宙 (数学)、不変部分空間、作用素、ペトル・ヴォピェンカ、ポール・ハルモス、モデル理論、トアルフ・スコーレム、ヒルベルト空間、テレンス・タオ、デーン平面、デデキント切断、アラン・コンヌ、アルキメデスの性質、アレン・ハイティング、アブラハム・ロビンソン、イプシロン-デルタ論法、イデアル (環論)、エルゴード定理、オーギュスタン＝ルイ・コーシー、グラム・シュミットの正規直交化法、ゴットフリート・ライプニッツ、ジョージ・バークリー、冪集合、理論、確率過程、第一可算的空間、算数・数学教育、絶対値、無限小、直観主義、順序体、超実数、超冪、超自然数、Graduate Texts in Mathematics、東京図書、森毅、斎藤正彦。
ちくま学芸文庫
ちくま学芸文庫（ちくまがくげいぶんこ）は、筑摩書房による学術部門・文庫判レーベル。.
新しい！!: 超準解析とちくま学芸文庫 · 続きを見る »
半環
抽象代数学において、半環（はんかん、semi-ring）とは環に類似した代数的構造で、環の公理から加法的逆元の存在を除いたようなもののことである。負元 (negative) の無い環 (ring) ということから rig という用語もしばしば用いられる。.
可算集合
可算集合（かさんしゅうごう、countable set 又は denumerable set）もしくは可付番集合とは、おおまかには、自然数全体と同じ程度多くの元を持つ集合のことである。各々の元に 1, 2, 3, … と番号を付けることのできる、すなわち元を全て数え上げることのできる無限集合と表現してもよい。 有限集合も、数え上げることができる集合という意味で、可算集合の一種とみなすことがある。そのため、はっきりと区別を付ける必要がある場合には、冒頭の意味での集合を可算無限集合と呼び、可算無限集合と有限集合を合わせて高々可算の集合と呼ぶ。可算でない無限集合を非可算集合という。非可算集合は可算集合よりも「多く」の元を持ち、全ての元に番号を付けることができない。そのような集合の存在は、カントールによって初めて示された。.
同型写像
数学において，同型写像（isomorphismfrom the Ancient Greek: ἴσος isos "equal", and μορφή morphe "form" or "shape"）あるいは単に同型とは，は準同型写像あるいは射であって，逆射を持つものである逆関数ではない．．2つの数学的対象が同型 (isomorphic) であるとは，それらの間に同型写像が存在することをいう．自己同型写像は始域と終域が同じ同型写像である．同型写像の興味は2つの同型な対象は写像を定義するのに使われる性質のみを使って区別できないという事実にある．したがって同型な対象はこれらの性質やその結果だけを考える限り同じものと考えてよい． 群や環を含むほとんどの代数的構造に対して，準同型写像が同型写像であることと全単射であることは同値である． 位相幾何学において，射とは連続写像のことであるが，同型写像は同相写像あるいは双連続写像とも呼ばれる．解析学において，射は可微分関数であり，同型写像は微分同相とも呼ばれる． 標準的な同型写像 (canonical isomorphism) は同型であるようなである．2つの対象が標準的に同型 (canonically isomorphic) であるとは，それらの間に標準的な同型写像が存在することをいう．例えば，有限次元ベクトル空間 から二重双対空間への標準的な写像は標準的な同型写像である．一方， は双対空間に同型であるが，一般には標準的にではない． 同型写像は圏論を用いて形式化される．ある圏の射 が同型射であるとは，両側逆射を持つことをいう，すなわち，その圏における別の射 があって， かつ となる，ただし と はそれぞれ と の恒等射である．.
宇宙 (数学)
数理論理学において、構造 (もしくはモデル) の宇宙（うちゅう、Universe）とは議論領域のことである。 数学、とりわけ集合論や数学基礎論における宇宙とは、特定の状況において考察される実体のすべてを元として含むような類のことである。このアイデアにはいくつものバージョンがあるため、項目を分けて説明する。.
新しい！!: 超準解析と宇宙 (数学) · 続きを見る »
不変部分空間
線形写像T: V→VについてV の部分空間W がT(W)⊂Wを満たすとき、W をT の不変部分空間（ふへんぶぶんくうかん）と呼ぶ。.
新しい！!: 超準解析と不変部分空間 · 続きを見る »
作用素
数学における作用素（さようそ、operator）は、しばしば写像、函数、変換などの同義語として用いられる。函数解析学においては主にヒルベルト空間やバナッハ空間上の（必ずしも写像でない部分写像の意味での）線型変換を単に作用素と呼ぶ。そのような空間として特に函数空間と呼ばれる函数の成す無限次元線型空間は典型的であり（同じものを物理学の分野、特に量子力学などでは演算子（えんざんし）と呼ぶ）、このとき、作用素を関数を別の関数にうつす写像として理解することができる。数（定数関数）の集合に値をとる作用素は汎函数（はんかんすう、functional）と呼ばれる。 また、群や環が空間に作用しているとき、群や環の各元が定める空間上の変換、あるいはその変換が引き起こす関数空間上の変換のことを作用素ということがある。.
ペトル・ヴォピェンカ
ペトル・ヴォピェンカ（, 1935年5月16日 - 2015年3月20日）はチェコの数学者。専門は公理的集合論。.
新しい！!: 超準解析とペトル・ヴォピェンカ · 続きを見る »
ポール・ハルモス
ポール・リチャード・ハルモス (Paul Richard Halmos, Halmos Pál, 1916年3月3日 – 2006年10月2日) はユダヤ系ハンガリー人として生れたアメリカの数学者である。数理論理学、確率論、統計学、作用素論、エルゴード理論、関数解析学（特にヒルベルト空間論）に基礎的な貢献をした。 また数学を見事に伝えることのできる数学者(great mathematical expositor)として広く認められている。.
新しい！!: 超準解析とポール・ハルモス · 続きを見る »
モデル理論
モデル理論（model theory）は、数理論理学による手法を用いて数学的構造（例えば、群、体、グラフ：集合論の宇宙）を研究（分類）する数学の分野である。 モデル理論における研究対象は、形式言語の文に意味を与える構造としてのモデルである。もし言語のモデルがある特定の文または理論（特定の条件を満足する文の集合）を満足するならば、それはその文または理論のモデルと呼ばれる。 モデル理論は代数および普遍代数と関係が深い。 この記事では、無限構造の有限一階モデル理論に焦点を絞っている。有限構造を対象とする有限モデル理論は、扱っている問題および用いている技術の両方の面で、無限構造の研究とは大きく異なるものとなっている。完全性は高階述語論理または無限論理において一般的には成立しないため、これらの論理に対するモデル理論は困難なものとなっている。しかしながら、研究の多くの部分はそのような言語によってなされている。.
新しい！!: 超準解析とモデル理論 · 続きを見る »
トアルフ・スコーレム
トアルフ・スコーレム（Albert Thoralf Skolem、1887年5月23日 - 1963年3月23日）は、ノルウェーの数学者。オスロ大学で代数学や自然数論を講義した。 数理論理学、数学基礎論で重要な発見をしている。また、不定方程式論においても、いくつかの定理を発見している。主な業績として、数理論理学では.
新しい！!: 超準解析とトアルフ・スコーレム · 続きを見る »
ヒルベルト空間
数学におけるヒルベルト空間（ヒルベルトくうかん、Hilbert space）は、ダフィット・ヒルベルトにその名を因む、ユークリッド空間の概念を一般化したものである。これにより、二次元のユークリッド平面や三次元のユークリッド空間における線型代数学や微分積分学の方法論を、任意の有限または無限次元の空間へ拡張して持ち込むことができる。ヒルベルト空間は、内積の構造を備えた抽象ベクトル空間（内積空間）になっており、そこでは角度や長さを測るということが可能である。ヒルベルト空間は、さらに完備距離空間の構造を備えている（極限が十分に存在することが保証されている）ので、その中で微分積分学がきちんと展開できる。 ヒルベルト空間は、典型的には無限次元の関数空間として、数学、物理学、工学などの各所に自然に現れる。そういった意味でのヒルベルト空間の研究は、20世紀冒頭10年の間にヒルベルト、シュミット、リースらによって始められた。ヒルベルト空間の概念は、偏微分方程式論、量子力学、フーリエ解析（信号処理や熱伝導などへの応用も含む）、熱力学の研究の数学的基礎を成すエルゴード理論などの理論において欠くべからざる道具になっている。これら種々の応用の多くの根底にある抽象概念を「ヒルベルト空間」と名付けたのは、フォン・ノイマンである。ヒルベルト空間を用いる方法の成功は、関数解析学の実りある時代のさきがけとなった。古典的なユークリッド空間はさておき、ヒルベルト空間の例としては、自乗可積分関数の空間 、自乗総和可能数列の空間 、超関数からなるソボレフ空間 、正則関数の成すハーディ空間 などが挙げられる。 ヒルベルト空間論の多くの場面で、幾何学的直観は重要である。例えば、三平方の定理や中線定理（の厳密な類似対応物）は、ヒルベルト空間においても成り立つ。より深いところでは、部分空間への直交射影（例えば、三角形に対してその「高さを潰す」操作の類似対応物）は、ヒルベルト空間論における最適化問題やその周辺で重要である。ヒルベルト空間の各元は、平面上の点がそのデカルト座標（直交座標）によって特定できるのと同様に、座標軸の集合（正規直交基底）に関する座標によって一意的に特定することができる。このことは、座標軸の集合が可算無限であるときには、ヒルベルト空間を自乗総和可能な無限列の集合と看做すことも有用であることを意味する。ヒルベルト空間上の線型作用素は、ほぼ具体的な対象として扱うことができる。条件がよければ、空間を互いに直交するいくつかの異なる要素に分解してやると、線型作用素はそれぞれの要素の上では単に拡大縮小するだけの変換になる（これはまさに線型作用素のスペクトルを調べるということである）。.
新しい！!: 超準解析とヒルベルト空間 · 続きを見る »
テレンス・タオ
テレンス・タオ（Terence Tao、陶哲軒、1975年7月17日 - ）はオーストラリア人数学者。カリフォルニア大学ロサンゼルス校教授。専門は実解析、調和解析、微分方程式、組合せ論、整数論、表現論。 2004年に長い間の整数論の難問（素数の集合の中には任意の長さの等差数列が存在すること）を解決し（ベン・グリーンとの共同研究）、その成果により2006年にフィールズ賞を受賞した。他に掛谷予想への貢献。KdV方程式が大域解を持つことを示した。表現論とシンプレクティック幾何学に組合せ論的手法を持ち込みエルミート計量に関するHorn予想を解決（Allen Knutsonとの共同研究）。2012年、弱いゴールドバッハ予想にも貢献した。.
新しい！!: 超準解析とテレンス・タオ · 続きを見る »
デーン平面
幾何学において、デーン平面（Dehn plane）とは、デーンが導入した2つの非ユークリッド幾何の例をいう。マックス・デーンは2つの平面の例、半ユークリッド幾何と非ルジャンドル幾何とを導入した。これらは、所与の点と直線に対し、その点を通る無限本の平行線を持つようなものでありながら、三角形の内角の和が少なくとも \pi となるようなものである。同様な現象は双曲幾何でも見られるが、そこでは三角形の内角の和は \pi 未満である。デーンの例は非アルキメデス的順序体を利用して構成されるが、それゆえアルキメデスの公理が破れる。これらはで導入され、で論じられている。.
新しい！!: 超準解析とデーン平面 · 続きを見る »
デデキント切断
デデキント切断（デデキントせつだん、Dedekind cut）、あるいは単に切断 (Schnitt) とは、リヒャルト・デデキントが考案した数学的な手続きで、実数論の基礎付けに用いられる。.
新しい！!: 超準解析とデデキント切断 · 続きを見る »
アラン・コンヌ
アラン・コンヌ（Alain Connes, 1947年4月1日 - ）はフランスの数学者。IHÉS、コレージュ・ド・フランスおよびオハイオ州立大学教授。作用素環論や非可換幾何の研究で知られる。 高等師範学校卒業後、CNRS、パリ第6大学を経てIHÉS教授となる。1982年にフィールズ賞、2001年にクラフォード賞を受賞した。1984年からコレージュ・ド・フランス教授を兼任。.
新しい！!: 超準解析とアラン・コンヌ · 続きを見る »
アルキメデスの性質
ヒルベルトによるアルキメデスの公理の定式化 数学におけるアルキメデスの性質（〜せいしつ、Archimedean property）とは、古代ギリシャの数学者シラクサのアルキメデスにちなんで名付けられた、実数の体系を典型的な例として一定の種類の群や体などいくつかの代数的構造が共通として持っている性質のことである。ふつう、アルキメデスの性質とは考えている体系の中に無限大や無限小が現れないこと、という意味で理解される。この概念は古代ギリシャにおける量の理論に端を発しているが、近現代の数学の教育や研究においてもヒルベルトの幾何の公理、順序群や順序体、局所体の理論などにおいて重要な役割を果たしている。 0でない元の任意の対について、それぞれ他方に対して無限小量ではないという意味で、「比較可能」な代数系はアルキメデス的であると呼ばれる。反対に二つの0でない元で片方がもう一方に対して無限小であるような代数系は非アルキメデス的であると呼ばれる。例えば、アルキメデス的な順序群はアルキメデス的順序群あるいはArchimedes的順序群、Archimedes順序群と呼ばれることになる。 アルキメデスの性質は様々な文脈に応じて異なった方法で定式化される。たとえば順序体の文脈ではアルキメデスの公理と呼ばれる命題によってアルキメデス性が定義され、実数体はその意味でのアルキメデス性を持つ一方で、実係数の有理関数体は適当な順序構造によってはアルキメデス性を持たない順序体になる。.
新しい！!: 超準解析とアルキメデスの性質 · 続きを見る »
アレン・ハイティング
アレン・ハイティング（Arend Heyting、1898年5月9日 - 1980年7月9日）は、オランダの数学者、論理学者。1898年にオランダの首都アムステルダムで生まれる。 元々は形式主義者であるダフィット・ヒルベルトの弟子であったが、後にヒルベルトの論敵であるライツェン・エヒベルトゥス・ヤン・ブラウワーの弟子となり、直観論理を研究し、1930年にその論理の最初の形式化された「公理体系」を提唱した。ヒルベルトは生涯、ハイティングが自らの元を去った事を悔やんだと言われている。 1980年にスイスのルガノで亡くなる。.
新しい！!: 超準解析とアレン・ハイティング · 続きを見る »
アブラハム・ロビンソン
アブラハム・ロビンソン（Abraham Robinson, 1918年10月6日 - 1974年4月11日）は、ドイツ出身の数学者・論理学者。専門は数理論理学、モデル理論。 ドイツ帝国のヴァルデンブルク（現在のポーランド・ヴァウブジフ）でシオニストの家庭に生まれた。1933年にイギリス委任統治領パレスチナへ移住し、ヘブライ大学で最初の学位を取得した。第二次世界大戦中はロンドンでに参加し、空気力学と戦闘機の翼型の専門家として活動した。 戦後は、ロンドン、トロント、エルサレムを経てアメリカ合衆国へ渡り、1962年までカリフォルニア大学ロサンゼルス校で教鞭を執った後、1967年からイェール大学で教鞭を執った。 ライプニッツ流の無限小や無限大を合理化した超準解析を考え出した。 1974年4月11日、コネチカット州ニューヘイブンで肝臓癌のため死去。55歳没。 Category:アメリカ合衆国の数学者 181006 Category:数理論理学者 Category:数学に関する記事 Category:カリフォルニア大学ロサンゼルス校の教員 Category:イェール大学の教員 Category:ヘブライ大学出身の人物 Category:ユダヤ系ドイツ人 Category:ドイツユダヤ系アメリカ人 Category:シレジア・ユダヤ人 Category:シュレージエン州出身の人物 Category:1918年生 Category:1974年没.
新しい！!: 超準解析とアブラハム・ロビンソン · 続きを見る »
イプシロン-デルタ論法
ε-δ 論法（イプシロンデルタろんぽう、(ε, δ)-definition of limit）は、解析学において、（有限な）実数値のみを用いて極限を議論する方法である。.
新しい！!: 超準解析とイプシロン-デルタ論法 · 続きを見る »
イデアル (環論)
抽象代数学の分野である環論におけるイデアル（ideal, Ideal）は環の特別な部分集合である。整数全体の成す環における、偶数全体の成す集合や の倍数全体の成す集合などの持つ性質を一般化したもので、その部分集合に属する任意の元の和と差に関して閉じていて、なおかつ環の任意の元を掛けることについても閉じているものをイデアルという。 整数の場合であれば、イデアルと非負整数とは一対一に対応する。即ち整数環 の任意のイデアルは、それぞれただ一つの整数の倍数すべてからなる主イデアルになる。しかしそれ以外の一般の環においてはイデアルと環の元とは全く異なるものを指しうるもので、整数のある種の性質を一般の環に対して一般化する際に、環の元を考えるよりもそのイデアルを考えるほうが自然であるということがある。例えば、環の素イデアルは素数の環における対応物であり、中国の剰余定理もイデアルに対するものに一般化することができる。素因数分解の一意性もデデキント環のイデアルに対応するものが存在し、数論において重要な役割を持つ。 イデアルは整数の算術から定義される合同算術の方法と同様の剰余環（商環）の構成にも用いられる、この点において群論で剰余群（商群）の構成に用いられる正規部分群と同様のものと理解することができる。 順序集合に対するの概念は環論におけるこのイデアルの概念に由来する。またイデアルの概念を一般化して分数イデアルの概念を考えることもでき、それとの区別のためここで扱う通常のイデアルは整イデアルと呼ばれることもある。.
新しい！!: 超準解析とイデアル (環論) · 続きを見る »
エルゴード定理
数学においてエルゴード定理（エルゴードていり、ergodic theorem）とは、力学系における時間平均と空間平均を一致を表す定理。ジョージ・バーコフによって示された個別エルゴード定理や、フォン・ノイマンによって示された平均エルゴード定理が知られている。.
新しい！!: 超準解析とエルゴード定理 · 続きを見る »
オーギュスタン＝ルイ・コーシー
ーギュスタン＝ルイ・コーシー（Augustin Louis Cauchy, 1789年8月21日 - 1857年5月23日）はフランスの数学者。解析学の分野に対する多大な貢献から「フランスのガウス」と呼ばれることもある。これは両者がともに数学の厳密主義の開始者であった事にも関係する。他に天文学、光学、流体力学などへの貢献も多い。.
新しい！!: 超準解析とオーギュスタン＝ルイ・コーシー · 続きを見る »
グラム・シュミットの正規直交化法
ラム・シュミットの正規直交化法（グラム・シュミットのせいきちょっこうかほう、Gram–Schmidt orthonormalization）とは、計量ベクトル空間に属する線型独立な有限個のベクトルが与えられたとき、それらと同じ部分空間を張る正規直交系を作り出すアルゴリズムの一種。シュミットの直交化（ちょっこうか、orthogonalization）ともいう。Jørgen Pedersen Gramおよびエルハルト・シュミットにより名付けられた。変換行列は上三角行列に取ることができる。正規化する工程を省略すると、必ずしも正規でない直交系を得ることができる。.
新しい！!: 超準解析とグラム・シュミットの正規直交化法 · 続きを見る »
ゴットフリート・ライプニッツ
ットフリート・ヴィルヘルム・ライプニッツ（Gottfried Wilhelm Leibniz、1646年7月1日（グレゴリオ暦）/6月21日（ユリウス暦） - 1716年11月14日）は、ドイツの哲学者、数学者。ライプツィヒ出身。なお Leibniz の発音は、（ライプニッツ）としているものと、（ライブニッツ）としているものとがある。ルネ・デカルトやバールーフ・デ・スピノザなどとともに近世の大陸合理主義を代表する哲学者である。主著は、『モナドロジー』、『形而上学叙説』、『人間知性新論』など。.
新しい！!: 超準解析とゴットフリート・ライプニッツ · 続きを見る »
ジョージ・バークリー
ョージ・バークリー（George Berkeley、1685年3月12日 - 1753年1月14日）は、アイルランドの哲学者、聖職者である。主著は『人知原理論』。バークレー、バークリとも。.
新しい！!: 超準解析とジョージ・バークリー · 続きを見る »
冪集合
冪集合（べきしゅうごう、power set）とは、数学において、与えられた集合から、その部分集合の全体として新たに作り出される集合のことである。べきは冪乗の冪（べき）と同じもので、冪集合と書くのが正確だが、一部分をとった略字として巾集合とも書かれる。 集合と呼ぶべき対象を公理的に構成的に与える公理的集合論では、集合から作った冪集合が集合と呼ばれるべきもののうちにあることを公理の一つ（冪集合公理）としてしばしば提示する。.
理論
論（りろん、theory, théorie, Theorie）とは対象となる事象の原因と結果の関係を説明する一般的な論述である。自然科学、人文科学、社会科学などの科学または学問において用いられている。.
確率過程
率論において、確率過程（かくりつかてい、stochastic process）は、時間とともに変化する確率変数のことである。 株価や為替の変動、ブラウン運動などの粒子のランダムな運動を数学的に記述する模型（モデル）として利用している。不規則過程（random process）とも言う。.
第一可算的空間
数学の位相空間論において、第一可算空間（だいいちかさんくうかん、first-countable space）とは、"第一可算公理"を満たす位相空間のこと。位相空間 X が第一可算公理を満たすとは「各点 x が高々可算な近傍からなる基本近傍系（局所基）をもつこと」を指す。すなわちx の可算個の開近傍 U1, U2, …で以下の性質を満たすものが存在するということである：x の任意の近傍 V に対しあるi\in\mathbb が存在し、Vは Uiを部分集合として含む。.
新しい！!: 超準解析と第一可算的空間 · 続きを見る »
算数・数学教育
算数・数学教育（さんすう・すうがくきょういく）とは、算数および数学に関する教育活動・内容の総称である。 本項目では、主として教科「算数」「数学」に関連のある理論・実践・歴史などについて取り扱う。現在の学校教育における教科自体については「算数」「数学 (教科)」を参照。.
新しい！!: 超準解析と算数・数学教育 · 続きを見る »
絶対値
数の絶対値は零からの距離と考えられる 数学における実数 の絶対値（ぜったいち、absolute value）または母数（ぼすう、modulus） は、その符号を無視して得られる非負の値を言う。つまり正数 に対して および負数 に対して （このとき は正）であり、また である。例えば の絶対値は であり の絶対値も である。数の絶対値はその数の零からの距離と見なすことができる。 実数の絶対値を一般化する概念は、数学において広範で多様な設定のもとで生じてくる。例えば、絶対値は複素数、四元数、順序環、体などに対しても定義することができる。様々な数学的あるいは物理学的な文脈における (magnitude) や距離およびノルムなどの概念は、絶対値と緊密な関係にある.
無限小
数学における無限小（むげんしょう、infinitesimal）は、測ることができないほど極めて小さい「もの」である。無限小に関して実証的に観察されることは、それらが定量的にいくら小さかろうと、角度や傾きといったある種の性質はそのまま有効であることである。 術語 "infinitesimal" は、17世紀の造語 infinitesimus（もともとは列の「無限番目」の項を意味する言葉）に由来し、これを導入したのは恐らく1670年ごろ、メルカトルかライプニッツである。無限小はライプニッツがやなどをもとに展開した無限小解析における基本的な材料である。よくある言い方では、無限小対象とは「可能な如何なる測度よりも小さいが零でない対象である」とか「如何なる適当な意味においても零と区別することができないほど極めて小さい」などと説明される。故に形容（動）詞的に「無限小」を用いるときには、それは「極めて小さい」という意味である。このような量が意味を持たせるために、通常は同じ文脈における他の無限小対象と比較をすること（例えば微分商）が求められる。無限個の無限小を足し合わせることで積分が与えられる。 シラクサのアルキメデスは、自身の （機械的定理証明法）においてと呼ばれる手法を応分に用いて領域の面積や立体の体積を求めた。正式に出版された論文では、アルキメデスは同じ問題を取り尽くし法を用いて証明している。15世紀にはニコラウス・クザーヌスの業績として（17世紀にはケプラーがより詳しく調べているが）、特に円を無限個の辺を持つ多角形と見做して円の面積を計算する方法が見受けられる。16世紀における、任意の実数の十進表示に関するシモン・ステヴィンの業績によって、実連続体を考える下地はすでにでき上がっていた。カヴァリエリの不可分の方法は、過去の数学者たちの結果を拡張することに繋がった。この不可分の方法は幾何学的な図形を 1 の量に分解することと関係がある。ジョン・ウォリスの無限小は不可分とは異なり、図形をもとの図形と同じ次元の無限に細い構成要素に分解するものとして、積分法の一般手法の下地を作り上げた。面積の計算においてウォリスは無限小を 1/∞ と書いている。 ライプニッツによる無限小の利用は、「有限な数に対して成り立つものは無限な数に対しても成り立ち、逆もまた然り」有限/無限というのは個数に関して言うのではない（有限個/無限個ではない）ことに注意せよ。ここでいう「有限」とは無限大でも無限小でもないという意味である。や（割り当て不能な量を含む式に対して、それを割り当て可能な量のみからなる式で置き換える具体的な指針）というような、経験則的な原理に基づくものであった。18世紀にはレオンハルト・オイラーやジョゼフ＝ルイ・ラグランジュらの数学者たちによって無限小は日常的に使用されていた。オーギュスタン＝ルイ・コーシーは自身の著書 （解析学教程）で、無限小を「連続量」(continuity) ともディラックのデルタ函数の前身的なものとも定義した。カントールとデデキントがスティーヴンの連続体をより抽象的な対象として定義したのと同様に、は函数の増大率に基づく「無限小で豊饒化された連続体」(infinitesimal-enriched continuum) に関する一連の論文を著した。デュ・ボア＝レーモンの業績は、エミール・ボレルとトアルフ・スコーレムの両者に示唆を与えた。ボレルは無限小の増大率に関するコーシーの仕事とデュ・ボア＝レーモンの仕事を明示的に結び付けた。スコーレムは、1934年に最初の算術の超準モデルを発明した。連続の法則および無限小の数学的に厳密な定式化は、1961年にアブラハム・ロビンソンによって達成された（ロビンソンは1948年にが、および1955年にが成した先駆的研究に基づき超準解析を展開した）。ロビンソンの超実数 (hyperreals) は無限小で豊饒化された連続体の厳密な定式化であり、がライプニッツの連続の法則の厳密な定式化である。また、はフェルマーの (adequality, pseudo-equality) の定式化である。 ウラジーミル・アーノルドは1990年に以下のように書いている.
直観主義
観主義（ちょっかんしゅぎ、intuitionism）。なお、直感主義と書くのは誤り。.
順序体
数学における順序体（じゅんじょたい、ordered field）は、その元が全順序付けられた体であって、その順序が体の演算と両立するものを言う。歴史的にはヒルベルト、ヘルダー、ハーンらを含む数学者たちによって徐々にぼんやりと公理化が進められ、1926年に順序体および（形式的）実体に関するによって結実する。 順序体は標数 でなければならず、任意の自然数 は全て相異なる。従って順序体は無限個の元を含まねばならず、有限体は順序付けることができない。 順序体の任意の部分体は、もとの体の順序に関してそれ自身順序体を成す。任意の順序体は有理数体に同型な部分順序体を含む。任意の順序体は実数体に同型である。順序体において平方元は非負でなければならない。従って複素数体は（虚数単位 の平方が だから）順序付けることはできない。任意の順序体は実体である。.
超実数
超実数（ちょうじっすう、hyperreal number）または超準実数（ちょうじゅんじっすう、nonstandard reals）と呼ばれる数の体系は無限大量や無限小量を扱う方法の一つである。超実数の全体 は実数体 の拡大体であり、 の形に書ける如何なる数よりも大きい元を含む。そのような数は無限大であり、その逆数は無限小である。 の語はが1948年に導入した。 超実数は（ライプニッツの経験則的なを厳密なものにした）を満たす。この移行原理が主張するのは、 についての一階述語論理の真なる主張は においても真であることである。例えば、加法の可換則 は、実数におけると全く同様に、超実数に対しても成り立つ。また例えば は実閉体であるから、 も実閉体である。また、任意の整数 に対して が成立するから、任意の に対しても が成立する。超冪に対する移行原理は1955年のウォシュの定理の帰結である。 無限小を含むような論法の健全性に対する関心は、アルキメデスがそのような証明を取り尽くし法など他の手法によって置き換えた、古代ギリシャ時代の数学にまで遡る。1960年代にロビンソンは、超実数体が論理的に無矛盾であることと実数体が論理的に無矛盾であることが同値であることを示した。これは、ロビンソンが描いた論理的な規則に従って操作されなかったならば、あらゆる無限小を含む証明が不健全になる恐れが残ることを示している。 超実数の応用、特に解析学における諸問題への移行原理の適用は超準解析と呼ばれる。一つの例は、微分や積分のような解析学の基礎概念を複数の量化子を用いる論理的複雑さを回避して直接的に定義することである。つまり、 の導関数は、 になる。 ただし、 は無限小超実数で、 とは有限超実数から実数への関数で、「有限超実数にそれに無限に近いただ一つの実数への関数」というである。積分も同様に、適切な無限和の標準部によって定義される。.
超冪
超冪（ちょうべき）.
超自然数
超自然数は自然数の一般化.
Graduate Texts in Mathematics
Graduate Texts in Mathematics (Grad. Texts in Math., GTM) (ISSN 0072-5285) は、Springer-Verlag により出版されている数学の graduate-level（院レベル）のテキストのシリーズである。いくつかは和訳され丸善出版より出版されている。このシリーズの本は、 Springer-Verlag の他の数学のシリーズと同様、標準的なサイズの黄色い本である（ページ数は様々）。（原著の）GTM シリーズは本の上部が白くなっており容易に識別できる。 このシリーズの本は類似の Undergraduate Texts in Mathematics (UTM) シリーズよりも進んだ内容が書かれる傾向にあるが、この 2 つのシリーズは内容や難易度についてかなりかぶる部分もある。.
新しい！!: 超準解析とGraduate Texts in Mathematics · 続きを見る »
東京図書
東京図書（とうきょうとしょ）.
森毅
森 毅（もり つよし、1928年1月10日 - 2010年7月24日数学者の森毅氏死去＝京都大名誉教授、82歳－評論家、テレビでも人気 時事ドットコム 2010年7月25日）は、日本の数学者、評論家、エッセイスト。京都大学名誉教授。専攻は、関数空間の解析の位相的研究。.
斎藤正彦
斎藤 正彦（さいとう まさひこ、1931年 - ）は日本の数学者。東京大学名誉教授。 警視総監、台湾総督府総務長官等を歴任した斎藤樹の二男。母禎子は司法大臣、鉄道大臣等を歴任した小川平吉の三女。元駐米大使、元外務事務次官斎藤邦彦は実弟。 .
