ロゴ
ユニオンペディア
コミュニケーション
Google Play で手に入れよう
新しい! あなたのAndroid™デバイスでユニオンペディアをダウンロードしてください!
インストール
ブラウザよりも高速アクセス!
 

実数の連続性

索引 実数の連続性

実数の連続性(continuity of real numbers)とは、実数の集合がもつ性質である。 実数の連続性は、実数の完備性(completeness of the real numbers)とも言われる。また、実数の連続性を議論の前提とする立場であれば実数の公理と記述する場合もある。 また、実数の連続性における連続性とは関数の連続性とは別の概念である。.

21 関係: 双対実数完備性中間値の定理ハイネ・ボレルの被覆定理リヒャルト・デーデキントロルの定理ボルツァーノ=ワイエルシュトラスの定理デデキント切断アルキメデスの性質カール・ワイエルシュトラス無理数順序体赤攝也集合連続 (数学)松坂和夫有理数有界最大値最小値定理斎藤正彦

双対

双対(そうつい、dual, duality)とは、互いに対になっている2つの対象の間の関係である。2つの対象がある意味で互いに「裏返し」の関係にあるというようなニュアンスがある(双対の双対はある意味で "元に戻る")。また、2つのものが互いに双対の関係にあることを「双対性がある」などとよぶ。双対は数学や物理学をはじめとする多くの分野に表れる。 なお読みについて、双対を「そうたい」と読む流儀もあり「相対 (relative)」と紛らわしい。並行して相対を「そうつい」と読む流儀もある。一般には「双対」を「そうつい」、「相対」を「そうたい」と呼び分ける場合が多いようである。 双対の具体的な定義は、双対関係の成立している対象の種類によって様々に与えられる。.

新しい!!: 実数の連続性と双対 · 続きを見る »

実数

数学における実数(じっすう、 nombre réel, reelle Zahl, real number)は、様々な量の連続的な変化を表す数の体系である。実数全体の空間は、途切れのなさにあたる完備性とよばれる位相的な性質を持ち、代数的には加減乗除ができるという体の構造を持っている。幾何学や解析学ではこれらのよい性質を利用して様々な対象が定義され、研究されている。一方でその構成方法に自明でない手続きが含まれるため、実数の空間は数学基礎論の観点からも興味深い性質を持っている。また、自然科学における連続的なものの計測値を表すのに十分な数の体系だとも考えられている。 実数の概念は、その形式的な定義が19世紀に達成される前から数の体系として使われていた。「実数」という名前は複素数の概念が導入された後に「普通の数」を表現する言葉として導入されたものである。.

新しい!!: 実数の連続性と実数 · 続きを見る »

完備性

数学における完備性(かんびせい、completeness)は、様々な場面においてそれぞれの対象に関して特定の意味を以って考えられ、またそれぞれの意味において完備(かんび、complete)でない対象に対する完備化 (completion) と呼ばれる操作を考えることができる。complete は「完全」と訳されることもある。.

新しい!!: 実数の連続性と完備性 · 続きを見る »

中間値の定理

中間値の定理:関数 ''f'' を閉区間[''a'', ''b'']上で連続な関数とすると、''f''(''a'') < ''s'' < ''f''(''b'') を満たす実数 ''s'' に対して、''f''(''x'').

新しい!!: 実数の連続性と中間値の定理 · 続きを見る »

ハイネ・ボレルの被覆定理

ハイネ・ボレルの被覆定理(ハイネ・ボレルのひふくていり)とは、数学の定理で、次のような定理である。 また、次のように一般化される。.

新しい!!: 実数の連続性とハイネ・ボレルの被覆定理 · 続きを見る »

リヒャルト・デーデキント

ブラウンシュヴァイクの中央墓地にあるデデキントの墓 ユリウス・ヴィルヘルム・リヒャルト・デーデキント(デデキント、Julius Wilhelm Richard Dedekind、1831年10月6日 - 1916年2月12日)は、ドイツのブラウンシュヴァイク出身の数学者。代数学・数論が専門分野。1858年からチューリッヒ工科大学教授、1894年からブラウンシュヴァイク工科大学教授を歴任した。彼の名前にちなんだ数学用語としては、デデキント環、デデキント切断などがある。.

新しい!!: 実数の連続性とリヒャルト・デーデキント · 続きを見る »

ロルの定理

微分可能であり、さらに区間の端点で ''ƒ''(''a'').

新しい!!: 実数の連続性とロルの定理 · 続きを見る »

ボルツァーノ=ワイエルシュトラスの定理

ボルツァーノ=ワイエルシュトラスの定理(-ていり, )とは、実数の基本的な性質の一つの表現であり、解析学の分野などでよく用いられる。 名前の「ボルツァーノ」はチェコの数学者・ベルナルト・ボルツァーノに、「ワイエルシュトラス」はドイツの数学者・カール・ワイエルシュトラスにちなむ。.

新しい!!: 実数の連続性とボルツァーノ=ワイエルシュトラスの定理 · 続きを見る »

デデキント切断

デデキント切断(デデキントせつだん、Dedekind cut)、あるいは単に切断 (Schnitt) とは、リヒャルト・デデキントが考案した数学的な手続きで、実数論の基礎付けに用いられる。.

新しい!!: 実数の連続性とデデキント切断 · 続きを見る »

アルキメデスの性質

ヒルベルトによるアルキメデスの公理の定式化 数学におけるアルキメデスの性質(〜せいしつ、Archimedean property)とは、古代ギリシャの数学者シラクサのアルキメデスにちなんで名付けられた、実数の体系を典型的な例として一定の種類の群や体などいくつかの代数的構造が共通として持っている性質のことである。ふつう、アルキメデスの性質とは考えている体系の中に無限大や無限小が現れないこと、という意味で理解される。この概念は古代ギリシャにおける量の理論に端を発しているが、近現代の数学の教育や研究においてもヒルベルトの幾何の公理、順序群や順序体、局所体の理論などにおいて重要な役割を果たしている。 0でない元の任意の対について、それぞれ他方に対して無限小量ではないという意味で、「比較可能」な代数系はアルキメデス的であると呼ばれる。反対に二つの0でない元で片方がもう一方に対して無限小であるような代数系は非アルキメデス的であると呼ばれる。例えば、アルキメデス的な順序群はアルキメデス的順序群あるいはArchimedes的順序群、Archimedes順序群と呼ばれることになる。 アルキメデスの性質は様々な文脈に応じて異なった方法で定式化される。たとえば順序体の文脈ではアルキメデスの公理と呼ばれる命題によってアルキメデス性が定義され、実数体はその意味でのアルキメデス性を持つ一方で、実係数の有理関数体は適当な順序構造によってはアルキメデス性を持たない順序体になる。.

新しい!!: 実数の連続性とアルキメデスの性質 · 続きを見る »

カール・ワイエルシュトラス

ール・ワイエルシュトラス カール・テオドル・ヴィルヘルム・ワイエルシュトラス(Karl Theodor Wilhelm Weierstraß, 1815年10月31日 – 1897年2月19日)はドイツの数学者である。姓のワイ (Wei) の部分はヴァイと表記するほうが正確である。また、"er" に当たる部分はエル/ヤ/ア、"st" はシュト/スト、"raß" はラス/ラースとそれぞれ表記されることがある。.

新しい!!: 実数の連続性とカール・ワイエルシュトラス · 続きを見る »

無理数

無理数(むりすう、 irrational number)とは、有理数ではない実数、つまり分子・分母ともに整数である分数(比.

新しい!!: 実数の連続性と無理数 · 続きを見る »

順序体

数学における順序体(じゅんじょたい、ordered field)は、その元が全順序付けられた体であって、その順序が体の演算と両立するものを言う。歴史的にはヒルベルト、ヘルダー、ハーンらを含む数学者たちによって徐々にぼんやりと公理化が進められ、1926年に順序体および(形式的)実体に関するによって結実する。 順序体は標数 でなければならず、任意の自然数 は全て相異なる。従って順序体は無限個の元を含まねばならず、有限体は順序付けることができない。 順序体の任意の部分体は、もとの体の順序に関してそれ自身順序体を成す。任意の順序体は有理数体に同型な部分順序体を含む。任意の順序体は実数体に同型である。順序体において平方元は非負でなければならない。従って複素数体は(虚数単位 の平方が だから)順序付けることはできない。任意の順序体は実体である。.

新しい!!: 実数の連続性と順序体 · 続きを見る »

赤攝也

赤 攝也(赤 摂也、せき せつや、1926年5月7日- )は、日本の数学者。.

新しい!!: 実数の連続性と赤攝也 · 続きを見る »

集合

数学における集合 (しゅうごう、set, ensemble, Menge) とは、大雑把に言えばいくつかの「もの」からなる「集まり」である。集合を構成する個々の「もの」のことを元 (げん、; 要素) という。 集合は、集合論のみならず現代数学全体における最も基本的な概念の一つであり、現代数学のほとんどが集合と写像の言葉で書かれていると言ってよい。 慣例的に、ある種の集合が系 (けい、) や族 (ぞく、) などと呼ばれることもある。実際には、これらの呼び名に本質的な違いはないが細かなニュアンスの違いを含むと考えられている。たとえば、方程式系(「相互に連立する」方程式の集合)、集合族(「一定の規則に基づく」集合の集合)、加法族(「加法的な性質を持つ」集合族)など。.

新しい!!: 実数の連続性と集合 · 続きを見る »

連続 (数学)

数学において、連続(れんぞく、continuous)および連続性(れんぞくせい、continuity)とは、いくら拡大しても近くにあって差が無いことを示す極限概念である。位相空間のあいだの写像について、開集合や極限といった位相的な概念を一定の方法でたもつという条件によって連続性の概念が定められる。これは異なる位相空間のあいだの関係を表す最も基本的な枠組みである。日常語としては「連続」が「切れずに繋がっている」という意味で使われることがあるが、位相空間の性質として「切れずに繋がっている」ということを表す概念は「連結性」である。事実として「連結領域の連続像は必ず連結」であり、従って連結な定義域を持つ連続函数のグラフは文字通り「切れずに繋がっている」ことになるが、それは連続性の本質ではない。.

新しい!!: 実数の連続性と連続 (数学) · 続きを見る »

松坂和夫

松坂 和夫(まつさか かずお、1927年(昭和2年)2月15日 - 2012年(平成24年)1月4日)は、日本の数学者、数学教師。一橋大学名誉教授。.

新しい!!: 実数の連続性と松坂和夫 · 続きを見る »

有理数

有理数(ゆうりすう、rational number) とは、二つの整数 a, b (ただし b は 0 でない)をもちいて a/b という分数で表せる数のことをいう。b.

新しい!!: 実数の連続性と有理数 · 続きを見る »

有界

上が有界集合、下が非有界集合を模式的に表したもの。ただし、下のほうは枠を超えて右方へ延々と続くものとする。 数学において集合が有界(ゆうかい、bounded)である、または有界集合(ゆうかいしゅうごう、bounded set)であるとは、ある種の「差渡しの大きさ」に関する有限性をそれが持つときにいう。有界でない集合は非有界(ひゆうかい、unbounded)であるという。 単純閉曲線はそれを境界として平面 '''R'''2 を有界(内側)および非有界(外側)な二つの領域に分ける。.

新しい!!: 実数の連続性と有界 · 続きを見る »

最大値最小値定理

初等解析学における最大値・最小値の定理または最大値の定理(さいだいちのていり、extreme value theorem; 極値定理)は、実数値函数 f が有界閉区間 上で連続ならば f は最大値および最小値にそれぞれ少なくとも一点で到達することを述べるものである。式で書けば、適当な実数 が存在して が成り立つ。関連する定理として、有界性定理(ゆうかいせいていり、boundedness theorem)は、有界閉区間 上で連続な函数 はその区間上で有界であることを述べる。これは適当な実数 が存在して が満たされるという意味である。最大値定理は、有界性定理における上界と下界の存在を強めて、最小上界を最大値として、および最大下界を最小値として、それぞれ実現する点が定義域内に存在することまでをも主張するのである。 最大値の定理はロルの定理の証明に利用される。また、ヴァイエルシュトラスによる定式化では、最大値の定理は「コンパクト空間から実数直線の部分集合への連続写像は最大値および最小値をとる」と述べられる。.

新しい!!: 実数の連続性と最大値最小値定理 · 続きを見る »

斎藤正彦

斎藤 正彦(さいとう まさひこ、1931年 - )は日本の数学者。東京大学名誉教授。 警視総監、台湾総督府総務長官等を歴任した斎藤樹の二男。母禎子は司法大臣、鉄道大臣等を歴任した小川平吉の三女。元駐米大使、元外務事務次官斎藤邦彦は実弟。 .

新しい!!: 実数の連続性と斎藤正彦 · 続きを見る »

ここにリダイレクトされます:

上限性質実数の完備性

出ていきます入ってきます
ヘイ!私たちは今、Facebook上です! »