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

0.999...

索引 0.999...

無限に 9 の続く無限小数 数学における循環十進小数 ( の前の 9 の個数は多少増減させて のようにも書く。あるいは他にも,, など多様な表記がある)は、実数として数の「イチ」であると示すことができる。言葉を変えれば、記号 "0.999⋯" と "1" は同じ数を表している。これが等しいことの証明は、実数論の展開、背景にある仮定、歴史的文脈、対象となる聞き手などに合ったレベルで、各種段階のが相応に考慮された、多様な定式化がある例えば、最初の節に挙げる「代数的証明」は「ただしい」証明だが、その証明の正当性は後の節に記す解析学的手法である極限の概念によって保証される。同様にそれら解析学的証明を「ただしい」証明たらしめているのは実数の特質に他ならない。しかし普通は、実数の公理にまでいちいち遡らずにいくつかの性質を「認めて」、そこで切り上げるのである。もちろん実数の代替となる体系において、実数と異なる性質に基づけば、それら「証明」はそのどこかが崩され、「まちがった」証明となり得る。。 任意の でない有限小数(を末尾に無限個の 0 を付けて無限小数と見たもの)は、それと値が等しい、末尾に無限個の 9 が連なる双子の表示(例えば と)を持つ。ふつうは有限小数表示が好まれることで、それが一意的な表示であるとの誤解に繋がり易い。同じ現象は、任意の別の底に関する位取り記数法や、あるいは同様の実数の表示法でも発生する。 と の等価性は、実数の体系(これは解析学ではもっとも一般的に用いられる体系である)に 0 でない無限小が存在しないことと深く関係している。一方、超実数の体系のように 0 でない無限小を含む別の数体系もある。そのような体系の大半は、標準的な解釈のもとで式 の値は に等しくなるが、一部の体系においては記号 "" に別の解釈を与えて よりも無限小だけ小さいようにすることができる。 等式 は数学者に長く受け入れられ、一般の数学教育の一部であったにも拘らず、これを十分ものと見做して、疑念や拒絶反応を示す学徒もいる。このような懐疑論は、「この等式を彼らに納得させることがいかに難しいか」が数学教育の様々な研究の主題となることに正当性を与える程度に当たり前に存在している。.

142 関係: ArXiv半群半環十進法単位単位区間反例反数可換体同値同値関係実解析実数実数の連続性小数工学不等式三進法平方剰余の相互法則交換法則二進法位取り記数法位数循環小数循環論法微分積分学区間 (数学)ポール・エルデシュモノイドリーマン球面リヒャルト・デーデキントレオンハルト・オイラートム・アポストルブリザード・エンターテイメントプレスリリースパラドックステレンス・タオデータ圧縮デデキント切断フラクタルニュースグループベルナルト・ボルツァーノ−0分数和集合アメリカ合衆国アルキメデスの性質アキレウスインターネットイプシロン-デルタ論法...イデアル (環論)イアン・スチュアート (数学者)ウィリアム・ティモシー・ガワーズエドゥアルト・ハイネオーギュスタン=ルイ・コーシーカントールの対角線論法カントール集合カール・ワイエルシュトラスゲオルク・カントールコーシー列ゼノン (エレア派)ゼノンのパラドックスゼロ除算冪乗写像公理公理的集合論共通部分 (数学)Battle.net稠密符号付数値表現筆算等式等比数列算術算数・数学教育級数素数総和群 (数学)絶対値環 (数学)無限小無限遠点物理学非可算集合順序集合類人猿補数複素解析解析学証明超実数超準解析距離黄金比辞書式順序自然数電子掲示板連続 (数学)FAQIEEE 754Microsoft Developer NetworkP進付値P進数極限有理数最大公約数浮動小数点数方程式数学数学 (教科)数学I数式数列数列の極限数論整数整数の合同11/101/2 + 1/4 + 1/8 + 1/16 + ⋯1/31/71/9101770年1802年1811年1836年1846年1872年1891年1895年18世紀1970年1974年1998年19世紀2004年4月1日 インデックスを展開 (92 もっと) »

ArXiv

arXiv(アーカイヴ、archiveと同じ発音)は、物理学、数学、計算機科学、量的生物学、計量ファイナンス、統計学の、を含む様々な論文が保存・公開されているウェブサイトである。論文のアップロード(投稿)、ダウンロード(閲覧)ともに無料で、論文はPDF形式である。1991年にスタートして、プレプリント・サーバーの先駆けとなったウェブサイトである。大文字の X をギリシャ文字のカイ(Χ)にかけて archive と読ませている。 現代(2012年)においてはこうした仕組みのサイトは特に珍しいものでもない。しかし、arXivの設立当初(1990年代初頭)においては、学術出版社や大学図書館を介さずに研究者同士がインターネットを介して直接に論文をやりとりできる場として、学術出版関係者に大きな驚きをもって受けとめられた。 2015年8月現在106万報以上の論文が保存されている。毎月8,000報を超える論文が追加されている。1991年、LANL preprint archiveという名称でロスアラモス国立研究所を運営元としてスタートし、1999年にarXiv.orgと改名。現在はコーネル大学図書館が運営元となっている。.

新しい!!: 0.999...とArXiv · 続きを見る »

半群

数学における半群(はんぐん、semigroup)は集合 S とその上の結合的二項演算とをあわせて考えた代数的構造である。言い換えれば、半群とは演算が結合的なマグマのことをいう。半群の名は、既存の群の概念に由来するものである。半群は、各元が必ずしも逆元を持たないこと(さらに、単位元すら持たないかもしれないこと)が、群と異なる。 半群の演算はほとんど乗法的に書かれる(順序対 (x, y) に対して演算を施した結果を x • y などで、あるいは単に xy で表す)。 半群についてきちんとした形での研究が行われるようになるのは20世紀の初めごろからである。半群は、「無記憶」系 ("memoryless" system) すなわち各反復時点でゼロから開始される時間依存系 (time-dependent system) の抽象代数的な定式化の基盤であるので、数学の各種分野において重要な概念である。応用数学においては、半群はの基本モデルである。また偏微分方程式論では、半群は空間発展的かつ時間非依存な任意の方程式に対応している。有限半群論は1950年代以降、有限半群と有限オートマトンとの間の自然な関連性から、理論計算機科学の分野で特に重要となった。確率論では半群はマルコフ過程に関連付けられている 。.

新しい!!: 0.999...と半群 · 続きを見る »

半環

抽象代数学において、半環(はんかん、semi-ring)とは環に類似した代数的構造で、環の公理から加法的逆元の存在を除いたようなもののことである。負元 (negative) の無い環 (ring) ということから rig という用語もしばしば用いられる。.

新しい!!: 0.999...と半環 · 続きを見る »

十進法

十進法(じっしんほう、decimal system)とは、10 を底(てい)とし、底およびその冪を基準にして数を表す方法である。.

新しい!!: 0.999...と十進法 · 続きを見る »

単位

単位(たんい、unit)とは、量を数値で表すための基準となる、約束された一定量のことである。約束ごとなので、同じ種類の量を表すのにも、社会や国により、また歴史的にも異なる多数の単位がある。.

新しい!!: 0.999...と単位 · 続きを見る »

単位区間

数学において、単位区間(たんいくかん、unit interval)とは、閉区間, つまり 0 以上 1 以下の全ての実数からなる集合である(0 と 1 を含む)。しばしば I と表記される。実解析での役割に加えて、単位区間は位相幾何学におけるホモトピーの研究でも使われる。 書籍によっては、上記の定義以外の単位区間(0 と 1 を含むか含まないか)を使う場合もあり、(0, 1、.

新しい!!: 0.999...と単位区間 · 続きを見る »

反例

反例(はんれい、counterexample) とは、なんらかの条件と性質について、「その条件を満たすすべてのものがその性質を持っている」という主張が正しくないことを示すために持ち出される、「その条件を満たしてはいるがその性質は持たないなにか」のことである。つまり、論理式 ∀x P(x) が成り立たないことを証明するために導入される、¬P(a) を満たすような a のことである。 反例が存在する場合、∃x ¬P(x) が成立し、これが元の論理式の否定になるため、∀x P(x) は成り立たない。.

新しい!!: 0.999...と反例 · 続きを見る »

反数

反数(はんすう、opposite)とは、ある数に対し、足すと になる数である。つまり、ある数 に対して、 となるような数 を の反数といい、 と表す。記号「−」を負号と呼び、「マイナス 」と読む。また、 は の反数であるともいえる。 は加法における単位元であるから、反数は加法における逆元である。このような加法における逆元は加法逆元(かほうぎゃくげん、additive inverse)と呼ばれる。 ある数にある数の反数を足すことを「引く」といい、減法 を以下のように定義する。 「 引く 」 または「 マイナス 」 と読む。反数に使われる「−」(負号)と引き算に使われる「−」(減算記号)をあわせて「マイナス記号」と呼ぶ。 また、反数を与える − は単項演算子と見なすことができ、単項マイナス演算子 と呼ばれる。一方、減算を表す演算子としての − は、項を 2 つとるの二項演算子なので、二項マイナス演算子 と呼ばれる。 乗法において反数に相当するものは逆数、あるいはより一般には乗法逆元 と呼ばれる。整数、有理数、実数、複素数においては、逆数は必ずしも存在しないが、反数は必ず存在する。ただし、 を含まない自然数においては反数は常に存在しない。 反数の概念はそのままベクトルに拡張することができ、反ベクトル(はんベクトル、opposite vector)と呼ばれる。ベクトルの加法における単位元はゼロ・ベクトルであり、あるベクトル に足すと を与えるベクトル を の反ベクトルという。 これを満たすベクトル は と表される。またこのとき は の反ベクトル でもある。.

新しい!!: 0.999...と反数 · 続きを見る »

可換体

抽象代数学において、可換体(かかんたい、corps commutatif)あるいは単に体(たい、field)本記事において単に体と言った場合「可換」体を意味するものとする。とは、零でない可換可除環、あるいは同じことだが、非零元全体が乗法の下で可換群をなすような環のことである。そのようなものとして体は、適当なアーベル群の公理と分配則を満たすような加法、減法、乗法、除法の概念を備えた代数的構造である。最もよく使われる体は、実数体、複素数体、有理数体であるが、他にも有限体、関数の体、代数体、''p'' 進数体、などがある。 任意の体は、線型代数の標準的かつ一般的な対象であるベクトル空間のスカラーとして使うことができる。(ガロワ理論を含む)体拡大の理論は、ある体に係数を持つ多項式の根に関係する。他の結果として、この理論により、古典的な問題である定規とコンパスを用いたや円積問題が不可能であることの証明や五次方程式が代数的に解けないというアーベル・ルフィニの定理の証明が得られる。現代数学において、体論は数論や代数幾何において必要不可欠な役割を果たしている。 代数的構造として、すべての体は環であるが、すべての環が体であるわけではない。最も重要な違いは、体は(ゼロ除算を除いて)除算ができるが、環は乗法逆元がなくてもよいということである。例えば、整数の全体は環をなすが、2x.

新しい!!: 0.999...と可換体 · 続きを見る »

同値

同値(どうち)または等価(とうか)とは、2つの命題が共に真または共に偽のときに真となる論理演算である。 英語ではequivalence (EQ)。「if and only if」を略して、iff ともいう。否定排他的論理和 (XNOR) に等しい。 演算子記号は ⇔、↔、≡、.

新しい!!: 0.999...と同値 · 続きを見る »

同値関係

数学において、同値関係(どうちかんけい、equivalence relation)は反射的、対称的かつ推移的な二項関係を言う。これらの性質の帰結として、与えられた集合において、一つの同値関係はその集合を同値類に分割(類別)する。 同値関係にあることを表す記法は文献によって様々に用いられるけれども、与えられた集合上の同値関係 に関して二元 が同値であることを "" や "" で表すのがもっともよく用いられる記法である。 に関して同値であることを明示する場合には、"" や "" あるいは "" などと書かれる。.

新しい!!: 0.999...と同値関係 · 続きを見る »

実解析

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

新しい!!: 0.999...と実解析 · 続きを見る »

実数

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

新しい!!: 0.999...と実数 · 続きを見る »

実数の連続性

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

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

小数

小数(しょうすう,decimal)とは、位取り記数法と小数点を用いて実数を表現するための表記法である。.

新しい!!: 0.999...と小数 · 続きを見る »

工学

工学(こうがく、engineering)とは、.

新しい!!: 0.999...と工学 · 続きを見る »

不等式

不等式(ふとうしき、inequality)とは不等号(ふとうごう)を用いて、数量の大小関係を表した式を言う。 値や量を評価するという意味では等式を不等式の一種であると見なすこともできる。.

新しい!!: 0.999...と不等式 · 続きを見る »

三進法

三進法(さんしんほう)とは、3 を底(てい、基(base)とも)とし、底の冪の和で数を表現する方法である。.

新しい!!: 0.999...と三進法 · 続きを見る »

平方剰余の相互法則

整数論』(1801年)で平方剰余の相互法則の最初の証明を公開した。 (へいほうじょうよ、quadratic residue)とは、ある自然数を法としたときの平方数のことであり、平方剰余の相互法則(へいほうじょうよのそうごほうそく、quadratic reciprocity)は、ある整数 が別の整数 の平方剰余であるか否かを判定する法則である。.

新しい!!: 0.999...と平方剰余の相互法則 · 続きを見る »

交換法則

交換法則(こうかんほうそく、Commutative property) は数学における法則の一つ。可換則(かかんそく)や交換律(こうかんりつ)ともいう。.

新しい!!: 0.999...と交換法則 · 続きを見る »

二進法

二進法(にしんほう)とは、2 を底(てい、基(base)とも)とし、底の冪の和で数を表現する方法である。 英語でバイナリ (binary) という。binaryという語には「二進法」の他に「二個一組」「二個単位」といったような語義もある(例: バイナリ空間分割)。.

新しい!!: 0.999...と二進法 · 続きを見る »

位取り記数法

位取り記数法(くらいどりきすうほう)、もしくは「N 進法」とは数の表現方法の一種で、予め定められたN 種類の記号(数字)を列べることによって数を表す方法である。(位取りのことを桁ともいう。) 今日の日本において通常使われているのは、 N が十のケースである十進法であるが、コンピューターでは二進法、八進法、十六進法なども用いられる。また歴史的には、十進法が世界的に広まったのはフランス革命の革命政府がメートル法とともに十進法を定めて以来であり、それ以前は国や分野により、様々な N に対する N 進法が用いられていた。 本項ではN が自然数の場合を扱う。それ以外の場合については広義の記数法の記事を参照のこと。また 後述する''p''進数の概念とは(関連があるものの)別概念であるので注意が必要である。.

新しい!!: 0.999...と位取り記数法 · 続きを見る »

位数

数学において位数 (いすう、 order)とは,階数・次数などと同じくある種の指標 (index) として働く数に用いられる。.

新しい!!: 0.999...と位数 · 続きを見る »

循環小数

循環小数(じゅんかんしょうすう、recurring decimal, repeating decimal)とは、ある桁から先で同じ数字の列が無限に繰り返される小数のことである。繰り返される数字の列を循環節という。また、小数第一位から循環がはじまるものを純循環小数(pure recurring decimal)、第二位以降から始まるものを混合循環小数(mixed recurring decimal)といい、混合循環小数は冒頭の有限小数とそれ以降の循環小数の2つに分離される吉田武 『』 東海大学出版会、2010年、14頁。ISBN 978-4-486-01863-6。。.

新しい!!: 0.999...と循環小数 · 続きを見る »

循環論法

循環論法(じゅんかんろんぽう、circular reasoning, circular logic, vicious circle『世界大百科事典』平凡社、1988、第13巻「循環論法」)とは、.

新しい!!: 0.999...と循環論法 · 続きを見る »

微分積分学

微分積分学(びぶんせきぶんがく, )とは、解析学の基本的な部分を形成する数学の分野の一つである。微分積分学は、局所的な変化を捉える微分と局所的な量の大域的な集積を扱う積分の二本の柱からなり、分野としての範囲を確定するのは難しいが、大体多変数実数値関数の微分と積分に関わる事柄(逆関数定理やベクトル解析も)を含んでいる。 微分は、ある関数のある点での接線、或いは接平面を考える演算である。数学的に別の言い方をすると、基本的には複雑な関数を線型近似して捉えようとする考え方である。従って、微分は線型写像になる。但し、多変数関数の微分を線型写像として捉える考え方は 20世紀に入ってからのものである。微分方程式はこの考え方の自然な延長にある。 対して積分は、幾何学的には、曲線、あるいは曲面と座標軸とに挟まれた領域の面積(体積)を求めることに相当している。ベルンハルト・リーマンは(一変数の)定積分の値を、長方形近似の極限として直接的に定義し、連続関数は積分を有することなどを証明した。彼の定義による積分をリーマン積分と呼んでいる。 微分と積分はまったく別の概念でありながら密接な関連性を持ち、一変数の場合、互いに他の逆演算としての意味を持っている(微分積分学の基本定理)。微分は傾き、積分は面積を表す。.

新しい!!: 0.999...と微分積分学 · 続きを見る »

区間 (数学)

数学における(実)区間(じつくかん、(real) interval)は、実数からなる集合で、その集合内の任意の二点に対しその二点の間にあるすべての数がその集合に属するという性質を持つものである。例えば、 を満たす数 全体の成す集合は、 と, およびその間の数すべてを含区間である。他の著しい例として、実数全体の成す集合, 負の実数全体の成す集合および空集合などが挙げられる。 実区間は積分および測度論において、「大きさ」「測度」「長さ」などと呼ばれる量を容易に定義できるもっとも単純な集合として重要な役割がある。測度の概念は実数からなるより複雑な集合に対して拡張され、ボレル測度やルベーグ測度といったような概念までにつながっていく。 不確定性や数学的近似および算術的丸めがあっても勝手な公式に対する保証された一定範囲を自動的に与える一般の法としてのを考えるにあたって、区間はその中核概念を成す。 勝手な全順序集合、例えば整数の集合や有理数の集合上でも、区間の概念は定義することができる。.

新しい!!: 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...とポール・エルデシュ · 続きを見る »

モノイド

数学、とくに抽象代数学における単系(たんけい、monoid; モノイド)はひとつの二項演算と単位元をもつ代数的構造である。モノイドは単位元をもつ半群(単位的半群)であるので、半群論の研究対象の範疇に属する。 モノイドの概念は数学のさまざまな分野に現れる。たとえば、モノイドはそれ自身が「ただひとつの対象をもつ圏」と見ることができ、したがって「集合上の写像とその合成」といった概念を捉えたものと考えることもできる。モノイドの概念は計算機科学の分野でも、その基礎付けや実用プログラミングの両面で広く用いられる。 モノイドの歴史や、モノイドに一般的な性質を付加した議論などは半群の項に譲る。.

新しい!!: 0.999...とモノイド · 続きを見る »

リーマン球面

リーマン球面は、複素平面で包んだ球面(ある形式の立体射影による ― 詳細は下記参照)として視覚化できる。 数学においてリーマン球面(リーマンきゅうめん、Riemann sphere)は、無限遠点を一点追加して複素平面を拡張する一手法であり、ここに無限遠点 は、少なくともある意味で整合的かつ有用である。 19 世紀の数学者ベルンハルト・リーマンから名付けられた。 これはまた、以下の通りにも呼ばれる。.

新しい!!: 0.999...とリーマン球面 · 続きを見る »

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

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

新しい!!: 0.999...とリヒャルト・デーデキント · 続きを見る »

レオンハルト・オイラー

レオンハルト・オイラー(Leonhard Euler, 1707年4月15日 - 1783年9月18日)は、18世紀の数学者・天文学者(天体物理学者)。 18世紀の数学の中心となり、続く19世紀の厳密化・抽象化時代の礎を築いた 日本数学会編『岩波数学辞典 第4版』、岩波書店、2007年、項目「オイラー」より。ISBN 978-4-00-080309-0 C3541 。スイスのバーゼルに生まれ、現在のロシアのサンクトペテルブルクにて死去した。.

新しい!!: 0.999...とレオンハルト・オイラー · 続きを見る »

トム・アポストル

トム・アポストル(Tom Apostol、1923年8月20日 - 2016年5月8日)は、アメリカ合衆国の数学者。専門は解析的整数論。 ユタ州ヘルパーに生まれ、ワシントン大学で数学を学び理学士号と修士号を取得後、カリフォルニア大学バークレー校で数学で博士号を獲得。カリフォルニア大学バークレー校、マサチューセッツ工科大学、カリフォルニア工科大学に勤めた。学部生、大学院生を対象とした重要な教科書を多く著した。.

新しい!!: 0.999...とトム・アポストル · 続きを見る »

ブリザード・エンターテイメント

ブリザード・エンターテイメント(Blizzard Entertainment, Inc)は、アメリカのゲーム会社。本社はカリフォルニア州アーバイン。 ゲーム業界で世界第3位のシェアを持つアクティビジョン・ブリザードの子会社として、デベロッパー・パブリッシャーの双方で事業を行っている。 モットーは「Dedicated to Creating the Most Epic Entertainment Experiences… Ever!」(最高のエンターテイメント体験を作り出すために専念する・・・これからもずっと!)。.

新しい!!: 0.999...とブリザード・エンターテイメント · 続きを見る »

プレスリリース

プレスリリース(、communiqué de press)とは、報道機関に向けた、情報の提供・告知・発表のこと。「 ニュースリリース」「報道発表」とも。英語で「 プレス」は(元々は)「新聞」または「新聞社」で(それが転じて「報道機関」というニュアンスで用いて)、「 リリース」は「発表」「公開」「放出」等を意味する。.

新しい!!: 0.999...とプレスリリース · 続きを見る »

パラドックス

パラドックス()とは、正しそうに見える前提と、妥当に見える推論から、受け入れがたい結論が得られる事を指す言葉である。逆説、背理、逆理とも言われる。.

新しい!!: 0.999...とパラドックス · 続きを見る »

テレンス・タオ

テレンス・タオ(Terence Tao、陶哲軒、1975年7月17日 - )はオーストラリア人数学者。カリフォルニア大学ロサンゼルス校教授。専門は実解析、調和解析、微分方程式、組合せ論、整数論、表現論。 2004年に長い間の整数論の難問(素数の集合の中には任意の長さの等差数列が存在すること)を解決し(ベン・グリーンとの共同研究)、その成果により2006年にフィールズ賞を受賞した。他に掛谷予想への貢献。KdV方程式が大域解を持つことを示した。表現論とシンプレクティック幾何学に組合せ論的手法を持ち込みエルミート計量に関するHorn予想を解決(Allen Knutsonとの共同研究)。2012年、弱いゴールドバッハ予想にも貢献した。.

新しい!!: 0.999...とテレンス・タオ · 続きを見る »

データ圧縮

データ圧縮(データあっしゅく)とは、あるデータをそのデータの実質的な性質(専門用語では「情報量」)を保ったまま、データ量を減らした別のデータに変換すること。高効率符号化ともいう-->。アナログ技術を用いた通信技術においては通信路の帯域幅を削減する効果を得るための圧縮ということで帯域圧縮ともいわれた。デジタル技術では、情報を元の表現よりも少ないビット数で符号化することを意味する。 データ圧縮には大きく分けて可逆圧縮と非可逆圧縮がある。というより正確には非可逆圧縮はデータ圧縮ではない。可逆圧縮は統計的冗長性を特定・除去することでビット数を削減する。可逆圧縮では情報が失われない。非可逆圧縮は不必要な情報を特定・除去することでビット数を削減する。しかしここで「不必要な」とは、例えばMP3オーディオの場合「ヒトの聴覚では通常は識別できない」という意味であり、冒頭の「情報量を保ったまま」という定義を破っている。データファイルのサイズを小さくする処理は一般にデータ圧縮と呼ばれるが、データを記録または転送する前に符号化するという意味では情報源符号化である。 圧縮は、データ転送におけるトラフィックやデータ蓄積に必要な記憶容量の削減といった面で有効である。しかし圧縮されたデータは、利用する前に伸長(解凍)するという追加の処理を必要とする。つまりデータ圧縮は、空間計算量を時間計算量に変換することに他ならない。例えば映像の圧縮においては、それをスムースに再生するために高速に伸長(解凍)する高価なハードウェアが必要となるかもしれないが、圧縮しなければ大容量の記憶装置を必要とするかもしれない。データ圧縮方式の設計には様々な要因のトレードオフがからんでおり、圧縮率をどうするか、(非可逆圧縮の場合)歪みをどの程度許容するか、データの圧縮伸長に必要とされる計算リソースの量などを考慮する。 新たな代替技法として、圧縮センシングの原理を使ったリソース効率のよい技法が登場している。圧縮センシング技法は注意深くサンプリングすることでデータ圧縮の必要性を避けることができる。.

新しい!!: 0.999...とデータ圧縮 · 続きを見る »

デデキント切断

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

新しい!!: 0.999...とデデキント切断 · 続きを見る »

フラクタル

フラクタル(, fractal)は、フランスの数学者ブノワ・マンデルブロが導入した幾何学の概念である。ラテン語 fractus から。 図形の部分と全体が自己相似になっているものなどをいう。.

新しい!!: 0.999...とフラクタル · 続きを見る »

ニュースグループ

ニュースグループとは、ネットニュースにおいて話題のテーマや目的別に分けられた、記事の集まりのことである。あるグループを購読すると、そのテーマや目的に添った記事を読んだり、投稿したりすることができる。利用に関して、習慣的に「購読する」という言葉が使用されているが、ISP利用料以外は原則的に無料である。 ニュースグループは階層構造を持ったカテゴリによって名前づけられていて、トップカテゴリから下層のカテゴリを順に "."(ドット)で繋ぐ。ちょうどインターネットのドメイン名を逆にしたような形である。例えば映画評論についてのニュースグループは、"rec.arts.movies.reviews" (娯楽>芸術>映画>レビュー)である。.

新しい!!: 0.999...とニュースグループ · 続きを見る »

ベルナルト・ボルツァーノ

ベルナルト・ボルツァーノ(Bernard Placidus Johann Nepomuk Bolzano,1781年10月5日 - 1848年12月18日)は、チェコの哲学者、数学者、論理学者、宗教学者。ライプニッツの哲学に影響を受け、反カント哲学の立場から、客観主義的な論理学や哲学を打ち立てた。その成果は、フランツ・ブレンターノやエトムント・フッサールらに影響を与えた。彼の名前は、ベルナルド・ボルツァーノやドイツ語圏ではベルンハルト・ボルツァーノとも呼ばれている。.

新しい!!: 0.999...とベルナルト・ボルツァーノ · 続きを見る »

−0

-0(マイナスゼロ)、あるいは負のゼロとは、数値のゼロにマイナスの符号をつけたものである。 通常の算術では、負のゼロは単なるゼロ(及び正のゼロ、+0)と同じであるが、これらを分ける方が望ましい場合や、分けて扱わざるを得ない場合がある。 そのようなケースとして、以下のものがある.

新しい!!: 0.999...と−0 · 続きを見る »

分数

分数(ぶんすう、fraction)とは 2 つの数の比を用いた数の表現方法のひとつである。.

新しい!!: 0.999...と分数 · 続きを見る »

和集合

数学において、集合族の和集合(わしゅうごう)、あるいは合併集合(がっぺいしゅうごう)、合併(がっぺい、)、あるいは演算的に集合の和(わ、sum)、もしくは'''結び'''(むすび、)とは、集合の集まり(集合族)に対して、それらの集合のいずれか少なくとも一つに含まれているような要素を全て集めることにより得られる集合のことである。.

新しい!!: 0.999...と和集合 · 続きを見る »

アメリカ合衆国

アメリカ合衆国(アメリカがっしゅうこく、)、通称アメリカ、米国(べいこく)は、50の州および連邦区から成る連邦共和国である。アメリカ本土の48州およびワシントンD.C.は、カナダとメキシコの間の北アメリカ中央に位置する。アラスカ州は北アメリカ北西部の角に位置し、東ではカナダと、西ではベーリング海峡をはさんでロシアと国境を接している。ハワイ州は中部太平洋における島嶼群である。同国は、太平洋およびカリブに5つの有人の海外領土および9つの無人の海外領土を有する。985万平方キロメートル (km2) の総面積は世界第3位または第4位、3億1千7百万人の人口は世界第3位である。同国は世界で最も民族的に多様かつ多文化な国の1つであり、これは多くの国からの大規模な移住の産物とされているAdams, J.Q.;Strother-Adams, Pearlie (2001).

新しい!!: 0.999...とアメリカ合衆国 · 続きを見る »

アルキメデスの性質

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

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

アキレウス

アキレウス(Ἀχιλλεύς、Achilles)は、ギリシア神話に登場する英雄で、ホメーロスの叙事詩『イーリアス』の主人公である。ラテン語ではアキレス。 プティーアの出身で、プティーア王ペーレウスと海の女神テティスとの間に生まれた。アイアコスの孫にあたる。スキューロス島の王リュコメーデースの娘デーイダメイアとの間にネオプトレモスをもうけた。トロイア戦争にはミュルミドーン人を率いて50隻の船と共に参加し、たった一人で形勢を逆転させ、敵の名将を尽く討ち取るなど、無双の力を誇ったが、戦争に勝利する前に弱点の踵を射られて命を落とした。足が速く、『イーリアス』では「駿足のアキレウス」と形容される。.

新しい!!: 0.999...とアキレウス · 続きを見る »

インターネット

インターネット(internet)は、インターネット・プロトコル・スイートを使用し、複数のコンピュータネットワークを相互接続した、グローバルな情報通信網のことである。 インターネットは、光ファイバーや無線を含む幅広い通信技術により結合された、地域からグローバルまでの範囲を持つ、個人・公共・教育機関・商用・政府などの各ネットワークから構成された「ネットワークのネットワーク」であり、ウェブのハイパーテキスト文書やアプリケーション、電子メール、音声通信、ファイル共有のピア・トゥ・ピアなどを含む、広範な情報とサービスの基盤となっている。.

新しい!!: 0.999...とインターネット · 続きを見る »

イプシロン-デルタ論法

ε-δ 論法(イプシロンデルタろんぽう、(ε, δ)-definition of limit)は、解析学において、(有限な)実数値のみを用いて極限を議論する方法である。.

新しい!!: 0.999...とイプシロン-デルタ論法 · 続きを見る »

イデアル (環論)

抽象代数学の分野である環論におけるイデアル(ideal, Ideal)は環の特別な部分集合である。整数全体の成す環における、偶数全体の成す集合や の倍数全体の成す集合などの持つ性質を一般化したもので、その部分集合に属する任意の元の和と差に関して閉じていて、なおかつ環の任意の元を掛けることについても閉じているものをイデアルという。 整数の場合であれば、イデアルと非負整数とは一対一に対応する。即ち整数環 の任意のイデアルは、それぞれただ一つの整数の倍数すべてからなる主イデアルになる。しかしそれ以外の一般の環においてはイデアルと環の元とは全く異なるものを指しうるもので、整数のある種の性質を一般の環に対して一般化する際に、環の元を考えるよりもそのイデアルを考えるほうが自然であるということがある。例えば、環の素イデアルは素数の環における対応物であり、中国の剰余定理もイデアルに対するものに一般化することができる。素因数分解の一意性もデデキント環のイデアルに対応するものが存在し、数論において重要な役割を持つ。 イデアルは整数の算術から定義される合同算術の方法と同様の剰余環(商環)の構成にも用いられる、この点において群論で剰余群(商群)の構成に用いられる正規部分群と同様のものと理解することができる。 順序集合に対するの概念は環論におけるこのイデアルの概念に由来する。またイデアルの概念を一般化して分数イデアルの概念を考えることもでき、それとの区別のためここで扱う通常のイデアルは整イデアルと呼ばれることもある。.

新しい!!: 0.999...とイデアル (環論) · 続きを見る »

イアン・スチュアート (数学者)

イアン・ニコラス・スチュアート (Ian Nicholas Stewart, 1945年9月24日 -) はイギリスの数学者、ポピュラー・サイエンスライター、SF作家。 イギリスウォーリック大学における数学科の名誉教授となっている。 数学や科学に関する多数の著作があり、邦訳も多い。.

新しい!!: 0.999...とイアン・スチュアート (数学者) · 続きを見る »

ウィリアム・ティモシー・ガワーズ

ウィリアム・ティモシー・ガワーズ ウィリアム・ティモシー・ガワーズ (William Timothy Gowers, 1963年11月20日 -)はイギリスの数学者。ケンブリッジ大学トリニティ・カレッジ教授(Rouse Ball Professor of Mathematics)。専門は関数解析学(特にバナッハ空間論)と組み合わせ論。 業績として、組み合わせ論を関数解析学に応用し、多くの問題を解決した。特にバナッハ空間に関する等質問題の解決。シュレーダー・バーンシュタイン問題の解決。超平面問題の解決など。 バナッハ空間における業績では類を見ないほどの業績を上げている。.

新しい!!: 0.999...とウィリアム・ティモシー・ガワーズ · 続きを見る »

エドゥアルト・ハイネ

ドゥアルト・ハイネ(Heinrich Eduard Heine, 1821年3月16日 - 1881年10月21日)はドイツ・ベルリン生まれの数学者。ワイエルシュトラスの弟子。1856年からハレ大学で教授を務めた。.

新しい!!: 0.999...とエドゥアルト・ハイネ · 続きを見る »

オーギュスタン=ルイ・コーシー

ーギュスタン=ルイ・コーシー(Augustin Louis Cauchy, 1789年8月21日 - 1857年5月23日)はフランスの数学者。解析学の分野に対する多大な貢献から「フランスのガウス」と呼ばれることもある。これは両者がともに数学の厳密主義の開始者であった事にも関係する。他に天文学、光学、流体力学などへの貢献も多い。.

新しい!!: 0.999...とオーギュスタン=ルイ・コーシー · 続きを見る »

カントールの対角線論法

ントールの対角線論法(カントールのたいかくせんろんぽう)は、数学における証明テクニック(背理法)の一つ。1891年にゲオルク・カントールによって非可算濃度を持つ集合の存在を示した論文の中で用いられたのが最初だとされている。 その後対角線論法は、数学基礎論や計算機科学において写像やアルゴリズム等が存在しない事を示す為の代表的な手法の一つとなり、例えばゲーデルの不完全性定理、停止性問題の決定不能性、時間階層定理といった重要な定理の証明で使われている。.

新しい!!: 0.999...とカントールの対角線論法 · 続きを見る »

カントール集合

ントール集合(カントールしゅうごう、Cantor set)は、フラクタルの1種で、閉区間 に属する実数のうち、その三進展開のどの桁にも 1 が含まれないような表示ができるもの全体からなる集合である。1874年にイギリスの数学者により発見され、1883年にゲオルク・カントールによって紹介された。 カントールの三進集合とも呼ばれ、カントル集合、カントルの三進集合とも表記される。フラクタル概念の生みの親であるブノワ・マンデルブロは、位相次元が 0 の図形をダスト(塵)と呼び、カントール集合のことはカントール・ダストやカントールのフラクタルダストと呼んでいた。.

新しい!!: 0.999...とカントール集合 · 続きを見る »

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

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

新しい!!: 0.999...とカール・ワイエルシュトラス · 続きを見る »

ゲオルク・カントール

ルク・カントール ゲオルク・フェルディナント・ルートヴィッヒ・フィリップ・カントール(Georg Ferdinand Ludwig Philipp Cantor, 1845年3月3日 - 1918年1月6日)は、ドイツで活躍した数学者。.

新しい!!: 0.999...とゲオルク・カントール · 続きを見る »

コーシー列

解析学におけるコーシー列(コーシーれつ、Cauchy sequence)は、数列などの列で、十分先のほうで殆ど値が変化しなくなるものをいう。基本列(きほんれつ、fundamental sequence)、正則列(せいそくれつ、regular sequence)、自己漸近列(じこぜんきんれつ)などとも呼ばれる。実数論において最も基本となる重要な概念の一つである。 各 ''n'' に対して順番に縦軸上にプロットしたコーシー列の例。 ''x''''n''.

新しい!!: 0.999...とコーシー列 · 続きを見る »

ゼノン (エレア派)

レアのゼノン(Ζήνων Έλεάτης、Zeno Eleates、Zeno of Elea、Zénon d'Élée、Zenon von Elea、 紀元前490年頃 - 紀元前430年頃)は、古代ギリシアの自然哲学者で、南イタリアの小都市エレアの人。ゼノンのパラドックスを唱えたことで有名。.

新しい!!: 0.999...とゼノン (エレア派) · 続きを見る »

ゼノンのパラドックス

ノンのパラドックスとは、エレア派のゼノンの議論で、特にパルメニデスを擁護してなされたいくつかの論駁を指す。多・場所・運動・粟粒等の論があったと伝えられているが、本人の書は失われ、断片が残るだけである。アリストテレスが『自然学』の中で、ゼノンに対する反論として引用した議論が、比較的詳しいものであり、重要なものとして取り上げられてきた。そのなかで運動のパラドックスと呼ばれるものは、運動があるとするとこのような不合理が帰結すると論じられた。がアリストテレスを注釈しつつ他の議論に触れているものおよびその他の断片から、多(多数性plurality)の議論もいくつか残った。.

新しい!!: 0.999...とゼノンのパラドックス · 続きを見る »

ゼロ除算

算(ゼロじょざん、division by zero)は、0で除す割り算のことである。このような除算は除される数を a とするならば、形式上は と書くことができるが、数学において、この式と何らかの意味のある値とが結び付けられるかどうかは、数学的な設定にまったく依存している話である。少なくとも通常の実数の体系とその算術においては、意味のある式ではない。 コンピュータなど計算機においても、ゼロ除算に対するふるまいは様々である。たとえば浮動小数点数の扱いに関する標準であるIEEE 754では、数とは異なる無限大を表現するものが結果となる。 しかし、浮動小数点以外の数値型(整数型など)においては多くの場合無限大に相当する値は定義されておらず、またいくつかの除算アルゴリズムの単純な実装(取尽し法など)においては無限ループに陥りかねないなど演算処理の中でも特異なふるまいとなるため、演算前にゼロ除算例外を発生させることで計算そのものを行わせないか、便宜上型が表現できる最大の数値、あるいはゼロを返すなどの特殊な処理とされる場合が多い(後述) 計算尺では、対数尺には0に相当する位置が存在しない(無限の彼方である)ため計算不可能である。.

新しい!!: 0.999...とゼロ除算 · 続きを見る »

冪乗

冪演算(べきえんざん、英: 独: 仏: Exponentiation)は、底 (base) および冪指数 (exponent) と呼ばれる二つの数に対して定まる数学的算法である。通常は、冪指数を底の右肩につく上付き文字によって示す。自然数 を冪指数とする冪演算は累乗(るいじょう、repeated multiplication) に一致する。 具体的に、 および冪指数 を持つ冪 (power) は、 が自然数(正整数)のとき、底の累乗 で与えられる。このとき は の -乗とか、-次の -冪などと呼ばれる。 よく用いられる冪指数に対しては、固有の名前が与えられているものがある。例えば冪指数 に対して二次の冪(二乗) は の平方 (square of) あるいは -自乗 (-squared) と呼ばれ、冪指数 に対する三次の冪 は の立方 (cube of, -cubed) と呼ばれる。また冪指数 に対して冪 は であり の逆数(あるいは乗法逆元)と呼ばれる。一般に負の整数 に対して底 が零でないとき、冪 はふつう なる性質を保つように と定義される。 冪演算は任意の実数あるいは複素数を冪指数とするように定義を拡張することができる。底および冪指数が実数であるような冪において、底を固定して冪指数を変数と見なせば指数函数が、冪指数を固定して底を変数と見れば冪函数がそれぞれ生じる。整数乗冪に限れば、行列などを含めた非常に多種多様な代数的対象に対してもそれを底とする冪を定義することができるが、冪指数まで同種の対象に拡張するならばその上で定義された自然指数函数と自然対数函数を持つ完備ノルム環(例えば実数全体 や複素数全体 などはそう)を想定するのが自然である。.

新しい!!: 0.999...と冪乗 · 続きを見る »

写像

写像(しゃぞう、mapping, map)とは、二つの集合が与えられたときに、一方の集合の各元に対し、他方の集合のただひとつの元を指定して結びつける対応のことである。函数(関数)、変換、作用素、射などが写像の同義語として用いられることもある。 ブルバキに見られるように、写像は集合とともに現代数学の基礎となる道具の一つである。現代的な立場では、「写像」と(一価の)「函数」は論理的におなじ概念を表すものと理解されているが、歴史的には「函数」の語は解析学に出自を持つものであり、一部には必ずしも写像でないものも函数の名の下におなじ範疇に扱われる(多価函数参照)。文献によっては「数の集合(大抵の場合実数体 または複素数体 の部分集合)を終域に持つ写像」をして特に「函数」と呼び、「写像」はより一般の場合に用いる。函数、二項関係、対応の各項も参照のこと。.

新しい!!: 0.999...と写像 · 続きを見る »

公理

公理(こうり、axiom)とは、その他の命題を導きだすための前提として導入される最も基本的な仮定のことである。一つの形式体系における議論の前提として置かれる一連の公理の集まりを (axiomatic system) という 。公理を前提として演繹手続きによって導きだされる命題は定理とよばれる。多くの文脈で「公理」と同じ概念をさすものとして仮定や前提という言葉も並列して用いられている。 公理とは他の結果を導きだすための議論の前提となるべき論理的に定式化された(形式的な)言明であるにすぎず、真実であることが明らかな自明の理が採用されるとは限らない。知の体系の公理化は、いくつかの基本的でよく知られた事柄からその体系の主張が導きだせることを示すためになされることが多い。 なお、ユークリッド原論などの古典的な数学観では、最も自明(絶対的)な前提を公理、それに準じて要請される前提を公準 (postulate) として区別していた。.

新しい!!: 0.999...と公理 · 続きを見る »

公理的集合論

公理的集合論(こうりてきしゅうごうろん、axiomatic set theory)とは、公理化された集合論のことである。.

新しい!!: 0.999...と公理的集合論 · 続きを見る »

共通部分 (数学)

数学において、集合族の共通部分(きょうつうぶぶん、intersection)とは、与えられた集合の集まり(族)全てに共通に含まれる元を全て含み、それ以外の元は含まない集合のことである。共通集合(きょうつうしゅうごう)、交叉(こうさ、交差)、交わり(まじわり、)、積集合(せきしゅうごう)、積(せき)、などとも呼ばれる。ただし、積集合は直積集合の意味で用いられることが多い。.

新しい!!: 0.999...と共通部分 (数学) · 続きを見る »

Battle.net

Battle.netは、ブリザード・エンターテイメントが提供するオンライン・ゲーム・サービス。1997年1月、ブリザードのアクションRPG『ディアブロ』のリリースと共に立ち上げられた。当時他のオンラインサービスが使っていた外部インタフェースとは対照的に、Battle.netは初めてゲームに直接組み込まれたオンライン・ゲーム・サービスと言うことができる。この点とアカウント作成の容易さと会費無料という点により、Battle.netはゲーマーの間で人気となり、『ディアブロ』やその後のブリザードのゲームのセールスポイントとなった。 Battle.netの成功を受けて、ブリザードのサービスパッケージやユーザインタフェースを真似たオンライン・ゲーム・サービスが各社から発表されるようになった。.

新しい!!: 0.999...とBattle.net · 続きを見る »

稠密

密(ちゅうみつ、ちょうみつ、dense)とは、一般に密集しているさま・ぎっしり詰まっているさまを表す語である。.

新しい!!: 0.999...と稠密 · 続きを見る »

符号付数値表現

号付数値表現(ふごうつきすうちひょうげん)の記事では、コンピュータシステムにおける数の表現(コンピュータの数値表現)において、負の範囲も含んで(正の数と負の数の記事も参照)数を表現する方法を解説する。 コンピュータで負の数を表す方法は、用途などにあわせいくつかある。ここでは、二進記数法を拡張して負の数を表す方法を四種類説明する(符号-仮数部、1の補数、2の補数、エクセスN)。ほとんどの場合、最近のコンピュータでは2の補数表現を使うが、他の表現が全く使われないわけではない(おそらく、最も使われている2の補数以外の表現は、浮動小数点の表現内に含まれるエクセス1023であろう)。.

新しい!!: 0.999...と符号付数値表現 · 続きを見る »

筆算

算(ひっさん)とは、紙に書いて行う計算のことである。他の計算方法には、暗算、珠算(そろばん)、電卓計算などがある。 通常、筆算では、一つの計算を人間が扱いやすいような簡単な計算に分解して行う。これによって、そのままでは難しい複雑な計算も行うことができる。もっとも、分解して計算すること自体は紙を必要とせず、暗算でも行うことができる。しかしながら、分解して行う計算では途中の計算結果を覚えておかなくてはならず、ところが、人間の記憶力は限られているため、筆算のように紙に書いて計算することが重要になる。筆算は、限られた記憶容量しかない人間が複雑な計算を行うための有用な技術である。.

新しい!!: 0.999...と筆算 · 続きを見る »

等式

等式(とうしき、equation)とは、二つの対象の等価性・相等関係 (equality) を表す数式のことである。.

新しい!!: 0.999...と等式 · 続きを見る »

等比数列

等比数列(とうひすうれつ、または幾何数列(きかすうれつ)、geometric progression, geometric sequence)は、数列で、隣り合う二項の比が項番号によらず一定であるようなものである。その比のことを公比(こうひ、common ratio)という。例えば 4,12,36,108,… という数列 (an) は初項が 4 であり公比が 3 の等比数列である。公比 r は r.

新しい!!: 0.999...と等比数列 · 続きを見る »

算術

算術 (さんじゅつ、arithmetic) は、数の概念や数の演算を扱い、その性質や計算規則、あるいは計算法などの論理的手続きを明らかにしようとする学問分野である。.

新しい!!: 0.999...と算術 · 続きを見る »

算数・数学教育

算数・数学教育(さんすう・すうがくきょういく)とは、算数および数学に関する教育活動・内容の総称である。 本項目では、主として教科「算数」「数学」に関連のある理論・実践・歴史などについて取り扱う。現在の学校教育における教科自体については「算数」「数学 (教科)」を参照。.

新しい!!: 0.999...と算数・数学教育 · 続きを見る »

級数

数学における級数 (きゅうすう、series) とは、ひと口に言えば数や関数など互いに足すことのできる数学的対象の列について考えられる無限項の和のことである。ただし「無限の項の総和」が何を表しているのかということはしばしば解析学の言葉を用いて様々な場合に意味を与える(#級数の収束性の節を参照)ことができるが、そのようなことができない「発散する級数」もあれば、級数自体を新たな形式的対象としてとらえることもある。小さくなっていく実数を項とする級数の収束性については様々な判定条件が与えられている。 級数を表す記法として、和記号 を用いた表現 や三点リーダ を用いた表現 などがある。 有限個の項以外は とすることで有限個の対象の和を表すこともでき、無限項の和であることを特に強調する場合には無限級数とも言う。無限の項の和の形に表された級数が何を表しているかということは一見必ずしも明らかではないため、何らかの意味付けを与えなければならない。最もよく採用される理解の方法は、有限個の項の和が収束する先を無限級数の値とすることである。例えば、 より となる。このほかに、解析接続などの手法により、みかけ上発散している級数に対して のような等式が意味付けされることもある。.

新しい!!: 0.999...と級数 · 続きを見る »

素数

素数(そすう、prime number)とは、 より大きい自然数で、正の約数が と自分自身のみであるもののことである。正の約数の個数が である自然数と言い換えることもできる。 より大きい自然数で素数でないものは合成数と呼ばれる。 一般には、素数は代数体の整数環の素元として定義される(そこでは反数などの同伴なものも素数に含まれる)。このため、有理整数環 \mathbb Z での素数は有理素数(ゆうりそすう、rational prime)と呼ばれることもある。 最小の素数は である。素数は無数に存在する。したがって、素数からなる無限数列が得られる。 素数が無数に存在することは、紀元前3世紀頃のユークリッドの著書『原論』で既に証明されていた。 自然数あるいは実数の中での素数の分布の様子は高度に非自明で、リーマン予想などの現代数学の重要な問題との興味深い結び付きが発見されている。 分散コンピューティング・プロジェクト GIMPS により、史上最大の素数の探求が行われている。2018年1月現在で知られている最大の素数は、2017年12月に発見された、それまでに分かっている中で50番目のメルセンヌ素数 であり、十進法で表記したときの桁数は2324万9425桁に及ぶ。.

新しい!!: 0.999...と素数 · 続きを見る »

総和

数学において、総和(そうわ、summation)とは与えられた数を総じて加えることである。.

新しい!!: 0.999...と総和 · 続きを見る »

群 (数学)

数学における群(ぐん、group)とは最も基本的と見なされる代数的構造の一つである。群はそれ自体興味深い考察対象であり、群論における主要な研究対象となっているが、数学や物理学全般にわたってさまざまな構成に対する基礎的な枠組みを与えている。.

新しい!!: 0.999...と群 (数学) · 続きを見る »

絶対値

数の絶対値は零からの距離と考えられる 数学における実数 の絶対値(ぜったいち、absolute value)または母数(ぼすう、modulus) は、その符号を無視して得られる非負の値を言う。つまり正数 に対して および負数 に対して (このとき は正)であり、また である。例えば の絶対値は であり の絶対値も である。数の絶対値はその数の零からの距離と見なすことができる。 実数の絶対値を一般化する概念は、数学において広範で多様な設定のもとで生じてくる。例えば、絶対値は複素数、四元数、順序環、体などに対しても定義することができる。様々な数学的あるいは物理学的な文脈における (magnitude) や距離およびノルムなどの概念は、絶対値と緊密な関係にある.

新しい!!: 0.999...と絶対値 · 続きを見る »

環 (数学)

数学における環(かん、ring)は、台集合に「加法」(和)および「乗法」(積)と呼ばれる二種類の二項演算を備えた代数系になっており、最もよく知られた環の例は、整数全体の成す集合に自然な加法と乗法を考えたものである(これは乗法が可換だから可換環の例でもある)。ただし、それが環と呼ばれるためには、環の公理として、加法は可換で、加法と乗法はともに結合的であって、乗法は加法の上に分配的で、各元は加法逆元をもち、加法単位元が存在すること、が全て要求される。従って、台集合は加法のもと「加法群」と呼ばれるアーベル群を成し、乗法のもと「乗法半群」と呼ばれる半群であって、乗法は加法に対して分配的であり、またしばしば乗法単位元を持つ乗法に関しては半群となることのみを課す(乗法単位元の存在を要求しない)こともある。定義に関する注意節を参照。なお、よく用いられる環の定義としていくつか流儀の異なるものが存在するが、それについては後述する。 環について研究する数学の分野は環論として知られる。環論学者が研究するのは(整数環や多項式環などの)よく知られた数学的構造やもっと他の環論の公理を満足する多くの未だよく知られていない数学的構造のいずれにも共通する性質についてである。環という構造のもつ遍在性は、数学の様々な分野において同時多発的に行われた「代数化」の動きの中心原理として働くことになった。 また、環論は基本的な物理法則(の根底にある特殊相対性)や物質化学における対称現象の理解にも寄与する。 環の概念は、1880年代のデデキントに始まる、フェルマーの最終定理に対する証明の試みの中で形成されていった。他分野(主に数論)からの寄与もあって、環の概念は一般化されていき、1920年代のうちにエミー・ネーター、ヴォルフガング・クルルらによって確立される。活発に研究が行われている数学の分野としての現代的な環論では、独特の方法論で環を研究している。すなわち、環を調べるために様々な概念を導入して、環をより小さなよく分かっている断片に分解する(イデアルをつかって剰余環を作り、単純環に帰着するなど)。こういった抽象的な性質に加えて、環論では可換環と非可換環を様々な点で分けて考える(前者は代数的数論や代数幾何学の範疇に属する)。特に豊かな理論が展開された特別な種類の可換環として、可換体があり、独自に体論と呼ばれる分野が形成されている。これに対応する非可換環の理論として、非可換可除環(斜体)が盛んに研究されている。なお、1980年代にアラン・コンヌによって非可換環と幾何学の間の奇妙な関連性が指摘されて以来、非可換幾何学が環論の分野として活発になってきている。.

新しい!!: 0.999...と環 (数学) · 続きを見る »

無限小

数学における無限小(むげんしょう、infinitesimal)は、測ることができないほど極めて小さい「もの」である。無限小に関して実証的に観察されることは、それらが定量的にいくら小さかろうと、角度や傾きといったある種の性質はそのまま有効であることである。 術語 "infinitesimal" は、17世紀の造語 infinitesimus(もともとは列の「無限番目」の項を意味する言葉)に由来し、これを導入したのは恐らく1670年ごろ、メルカトルかライプニッツである。無限小はライプニッツがやなどをもとに展開した無限小解析における基本的な材料である。よくある言い方では、無限小対象とは「可能な如何なる測度よりも小さいが零でない対象である」とか「如何なる適当な意味においても零と区別することができないほど極めて小さい」などと説明される。故に形容(動)詞的に「無限小」を用いるときには、それは「極めて小さい」という意味である。このような量が意味を持たせるために、通常は同じ文脈における他の無限小対象と比較をすること(例えば微分商)が求められる。無限個の無限小を足し合わせることで積分が与えられる。 シラクサのアルキメデスは、自身の (機械的定理証明法)においてと呼ばれる手法を応分に用いて領域の面積や立体の体積を求めた。正式に出版された論文では、アルキメデスは同じ問題を取り尽くし法を用いて証明している。15世紀にはニコラウス・クザーヌスの業績として(17世紀にはケプラーがより詳しく調べているが)、特に円を無限個の辺を持つ多角形と見做して円の面積を計算する方法が見受けられる。16世紀における、任意の実数の十進表示に関するシモン・ステヴィンの業績によって、実連続体を考える下地はすでにでき上がっていた。カヴァリエリの不可分の方法は、過去の数学者たちの結果を拡張することに繋がった。この不可分の方法は幾何学的な図形を 1 の量に分解することと関係がある。ジョン・ウォリスの無限小は不可分とは異なり、図形をもとの図形と同じ次元の無限に細い構成要素に分解するものとして、積分法の一般手法の下地を作り上げた。面積の計算においてウォリスは無限小を 1/∞ と書いている。 ライプニッツによる無限小の利用は、「有限な数に対して成り立つものは無限な数に対しても成り立ち、逆もまた然り」有限/無限というのは個数に関して言うのではない(有限個/無限個ではない)ことに注意せよ。ここでいう「有限」とは無限大でも無限小でもないという意味である。や(割り当て不能な量を含む式に対して、それを割り当て可能な量のみからなる式で置き換える具体的な指針)というような、経験則的な原理に基づくものであった。18世紀にはレオンハルト・オイラーやジョゼフ=ルイ・ラグランジュらの数学者たちによって無限小は日常的に使用されていた。オーギュスタン=ルイ・コーシーは自身の著書 (解析学教程)で、無限小を「連続量」(continuity) ともディラックのデルタ函数の前身的なものとも定義した。カントールとデデキントがスティーヴンの連続体をより抽象的な対象として定義したのと同様に、は函数の増大率に基づく「無限小で豊饒化された連続体」(infinitesimal-enriched continuum) に関する一連の論文を著した。デュ・ボア=レーモンの業績は、エミール・ボレルとトアルフ・スコーレムの両者に示唆を与えた。ボレルは無限小の増大率に関するコーシーの仕事とデュ・ボア=レーモンの仕事を明示的に結び付けた。スコーレムは、1934年に最初の算術の超準モデルを発明した。連続の法則および無限小の数学的に厳密な定式化は、1961年にアブラハム・ロビンソンによって達成された(ロビンソンは1948年にが、および1955年にが成した先駆的研究に基づき超準解析を展開した)。ロビンソンの超実数 (hyperreals) は無限小で豊饒化された連続体の厳密な定式化であり、がライプニッツの連続の法則の厳密な定式化である。また、はフェルマーの (adequality, pseudo-equality) の定式化である。 ウラジーミル・アーノルドは1990年に以下のように書いている.

新しい!!: 0.999...と無限小 · 続きを見る »

無限遠点

無限遠点(むげんえんてん、point at infinity)とは、限りなく遠いところ(無限遠)にある点のことである。日常的な意味の空間を考えている限り無限遠点は仮想的な概念でしかないが、無限遠点を実在の点とみなせるように空間概念を一般化することができる。そのようにすることで理論的な見通しが立てやすくなったり、空間概念の応用の幅が拡がったりする。 例えば、通常、平面上の二直線の位置関係は一点で交わるか平行であるかのどちらかであるとされている。これを、平行な二直線は無限遠点で交わるのだと考えることにすると、平面上の二直線は必ず一点で交わるという簡明な性質が得られることになる。(この例について、詳しくは非ユークリッド幾何学などを参照のこと) ユークリッド平面上の互いに平行な 2 直線の交点のことである。厳密にはこの交点はユークリッド平面の中には存在しないから、無限遠点はユークリッド平面の外に存在する。 無限遠点の全体は無限遠直線を描く。.

新しい!!: 0.999...と無限遠点 · 続きを見る »

物理学

物理学(ぶつりがく, )は、自然科学の一分野である。自然界に見られる現象には、人間の恣意的な解釈に依らない普遍的な法則があると考え、自然界の現象とその性質を、物質とその間に働く相互作用によって理解すること(力学的理解)、および物質をより基本的な要素に還元して理解すること(原子論的理解)を目的とする。化学、生物学、地学などほかの自然科学に比べ数学との親和性が非常に強い。 古代ギリシアの自然学 にその源があり, という言葉も、元々は自然についての一般的な知識の追求を意味しており、天体現象から生物現象までを含む幅広い概念だった。現在の物理現象のみを追求する として自然哲学から独立した意味を持つようになったのは19世紀からである。 物理学の古典的な研究分野は、物体の運動、光と色彩、音響、電気と磁気、熱、波動、天体の諸現象(物理現象)である。.

新しい!!: 0.999...と物理学 · 続きを見る »

非可算集合

数学において、非可算集合(ひかさんしゅうごう)、あるいは非可算無限集合とは可算集合でない無限集合のことである。集合の非可算性は基数、濃度という概念と密接に関係している。集合は、その濃度が自然数全体の集合の濃度より大きいときに、非可算である。.

新しい!!: 0.999...と非可算集合 · 続きを見る »

順序集合

数学において順序集合(じゅんじょしゅうごう、ordered set)とは「順序」の概念が定義された集合の事で、「順序」とは大小、高低、長短等の序列に関わる概念を抽象化したものである。ただし、順序集合内の2つの元, に順序関係が定まっている(「比較可能」である)必要はなく、両者が「比較不能」であってもよい。 比較不能のケースを許容していることを強調して順序集合の事を半順序集合(はんじゅんじょしゅうごう、partially ordered set, poset)ともいう。一方、半順序集合の中で比較不能のケースがないものを特に全順序集合 という。(「半順序」という言葉が「全順序」の対義語ではない事に注意。全順序集合も半順序集合の一種である。) 全順序集合の簡単な例は整数の集合や実数の集合で、通常の大小比較を順序とみなしたものがある。 一方、全順序ではない半順序集合の例としては、正の整数全体の集合に整除関係で順序を入れたものや、(2つ以上元を含む)集合の冪集合において、包含関係を順序とみなしたものがある。例えば2元集合 において と はいずれも他方を包含していないので S の冪集合は全順序ではない。 実生活に近い例では、「AさんはBさんの子孫である」という事を「A<B」という大小関係とみなす事で人間全体の集合を半順序集合とみなせる。AさんとBさんはどちらも他方の子孫でない事もありうる(兄弟同士、叔父と甥、赤の他人等)ので、この順序集合は全順序ではない。.

新しい!!: 0.999...と順序集合 · 続きを見る »

類人猿

トマス・ヘンリー・ハクスリーが進化について述べた『自然における人間の位置』の口絵。(古典的な)類人猿とヒトの骨格を比較している。 類人猿(るいじんえん、ape)は、ヒトに似た形態を持つ大型と中型の霊長類を指す通称名。ヒトの類縁であり、高度な知能を有し、社会的生活を営んでいる。類人猿は生物学的な分類名称ではないが、便利なので霊長類学などで使われている。一般的には、人類以外のヒト上科に属する種を指すが、分岐分類学を受け入れている生物学者が類人猿(エイプ)と言った場合、ヒトを含める場合がある。ヒトを含める場合、類人猿はヒト上科(ホミノイド)に相当する。 テナガザルを含めた現生類人猿では尾は失われている。 類人猿には現生の次の動物が含まれる.

新しい!!: 0.999...と類人猿 · 続きを見る »

補数

補数(ほすう;complement)とは、ある基数法において、ある自然数 a に足したとき桁が1つ上がる(桁が1つ増える)数のうち最も小さい数をいう。コンピュータが加算処理で正の数の減算(負の数の加算)を行う際に利点がある。.

新しい!!: 0.999...と補数 · 続きを見る »

複素解析

数学の分科である複素解析(ふくそかいせき、complex analysis)は、複素数の関数に関わる微分法、積分法、変分法、微分方程式論、積分方程式論、複素函数論などの総称である。初等教育で扱う実解析に対比して複素解析というが、現代数学の基礎が複素数であることから、単に解析といえば複素解析を意味することが多い。複素解析の手法は、応用数学を含む数学、理論物理学、工学などの多くの分野で用いられている。.

新しい!!: 0.999...と複素解析 · 続きを見る »

解析学

解析学(かいせきがく、英語:analysis, mathematical analysis)とは、極限や収束といった概念を扱う数学の分野である 日本数学会編、『岩波数学辞典 第4版』、岩波書店、2007年、項目「解析学」より。ISBN978-4-00-080309-0 C3541 。代数学、幾何学と合わせ数学の三大分野をなす。 数学用語としての解析学は要素還元主義とは異なっており、初等的には微積分や級数などを用いて関数の変化量などの性質を調べる分野と言われることが多い。これは解析学がもともとテイラー級数やフーリエ級数などを用いて関数の性質を研究していたことに由来する。 例えばある関数の変数を少しだけずらした場合、その関数の値がどのようにどのぐらい変化するかを調べる問題は解析学として扱われる。 解析学の最も基本的な部分は、微分積分学、または微積分学と呼ばれる。また微分積分学を学ぶために必要な数学はprecalculus(calculusは微積分の意、接頭辞preにより直訳すれば微積分の前といった意味になる)と呼ばれ、現代日本の高校1、2年程度の内容に相当する。また解析学は応用分野において微分方程式を用いた理論やモデルを解くためにも発達し、物理学や工学といった数学を用いる学問ではよく用いられる数学の分野の一つである。 解析学は微積分をもとに、微分方程式や関数論など多岐に渡って発達しており、現代では確率論をも含む。 現代日本においては解析学の基本的分野は概ね高校2年から大学2年程度で習い、進度の差はあれ世界中の高校や大学等で教えられている。.

新しい!!: 0.999...と解析学 · 続きを見る »

証明

証明(しょうめい)とは、ある事柄が真理もしくは事実であることを明らかにすること。また、その内容。.

新しい!!: 0.999...と証明 · 続きを見る »

超実数

超実数(ちょうじっすう、hyperreal number)または超準実数(ちょうじゅんじっすう、nonstandard reals)と呼ばれる数の体系は無限大量や無限小量を扱う方法の一つである。超実数の全体 は実数体 の拡大体であり、 の形に書ける如何なる数よりも大きい元を含む。そのような数は無限大であり、その逆数は無限小である。 の語はが1948年に導入した。 超実数は(ライプニッツの経験則的なを厳密なものにした)を満たす。この移行原理が主張するのは、 についての一階述語論理の真なる主張は においても真であることである。例えば、加法の可換則 は、実数におけると全く同様に、超実数に対しても成り立つ。また例えば は実閉体であるから、 も実閉体である。また、任意の整数 に対して が成立するから、任意の に対しても が成立する。超冪に対する移行原理は1955年のウォシュの定理の帰結である。 無限小を含むような論法の健全性に対する関心は、アルキメデスがそのような証明を取り尽くし法など他の手法によって置き換えた、古代ギリシャ時代の数学にまで遡る。1960年代にロビンソンは、超実数体が論理的に無矛盾であることと実数体が論理的に無矛盾であることが同値であることを示した。これは、ロビンソンが描いた論理的な規則に従って操作されなかったならば、あらゆる無限小を含む証明が不健全になる恐れが残ることを示している。 超実数の応用、特に解析学における諸問題への移行原理の適用は超準解析と呼ばれる。一つの例は、微分や積分のような解析学の基礎概念を複数の量化子を用いる論理的複雑さを回避して直接的に定義することである。つまり、 の導関数は、 になる。 ただし、 は無限小超実数で、 とは有限超実数から実数への関数で、「有限超実数にそれに無限に近いただ一つの実数への関数」というである。積分も同様に、適切な無限和の標準部によって定義される。.

新しい!!: 0.999...と超実数 · 続きを見る »

超準解析

は、あるいは無限小数の意味および論理的妥当性に関する哲学的論争を孕んでいる。これらの論争の標準的な解決策は、微分積分学における操作を無限小ではなくイプシロン-デルタ論法によって定義することである。超準解析(nonstandard analysis)は代わりに論理的に厳格な無限小数の概念を用いて微分積分学を定式化する。Nonstandard Analysisは直訳すれば非標準解析学となるが、齋藤正彦が超準解析という訳語を使い始めたため、そのように呼ばれるようになった。無限小解析(infinitesimal analysis)という言葉で超準解析を意味することもある。 超準解析は1960年代に数学者アブラハム・ロビンソンによって創始せられた。 彼は次のように記述している: 無限に小さいあるいは無限小の量という概念は我々の直観に自然に訴えかけるように見える。何れにせよ、無限小の使用は、微分学・積分学の黎明期において、広く普及した。相異なる2つの実数の差が無限に小さくなることはないという 異論に対して、ゴットフリート・ライプニッツは、無限小の理論は理想的数――それは実数と比較して無限に小さかったり無限に大きかったりするものであるが、後者(訳注:実数)と同じ性質を有する――の導入を含意するものであると主張した。 ロビンソンはこのライプニッツのはの先駆けであるとしている。ロビンソンは次のように続ける: しかしながら、彼も、彼の弟子たちや後継者たちも、このようなシステムに繋がる合理的な進展(訳注:そのような原理を合理化するもの)を得なかった。その結果、無限小の理論は徐々に評判を落としてゆき、最終的には古典的な極限の理論に取って代わられた。Robinson, A.: Non-standard analysis.

新しい!!: 0.999...と超準解析 · 続きを見る »

距離

距離(きょり、Entfernung)とは、ある2点間に対して測定した長さの量をいう。本項では日常生活および高校数学の範囲内で使われている距離について触れる。大学以上で扱うより専門的な距離については距離空間を参照。.

新しい!!: 0.999...と距離 · 続きを見る »

黄金比

縦と横の長さの比の値が黄金比の近似値1:1.618である長方形。 黄金比(おうごんひ、golden ratio)は、 の比である。近似値は1:1.618、約5:8。 線分を a, b の長さで 2 つに分割するときに、a: b.

新しい!!: 0.999...と黄金比 · 続きを見る »

辞書式順序

数学における辞書式順序(じしょしきじゅんじょ、lexicographical order.)とはいくつかの順序集合の直積集合上に順序を定める方法の一つである。順序集合 と が与えられた際の直積集合 上の辞書式順序は として定められる。辞書式順序という名前は、この順序の定め方が辞書における項目の並べ方を一般化したものと見なせることに由来する。つまり、単語(文字の並び) が別の単語 の前に現れるのは が と異なるような最初の について、文字の順番の中で が より前に現れる場合である。このとき2つの単語は同じ長さ(文字数)であるものと仮定されているが、実際の辞書では普通短い単語の方を後ろにどんな文字よりも先の順番にある空白を付け加えることで単語の長さが揃っているものとして考える、という操作が行われる。.

新しい!!: 0.999...と辞書式順序 · 続きを見る »

自然数

自然数(しぜんすう、natural number)とは、個数、もしくは順番を表す一群の数のことである。集合論においては、自然数は物の個数を数える基数のうちで有限のものであると考えることもできるし、物の並べ方を示す順序数のうちで有限のものであると考えることもできる。 自然数を 1, 2, 3, … とする流儀と、0, 1, 2, 3, … とする流儀があり、前者は数論などでよく使われ、後者は集合論、論理学などでよく使われる(詳しくは自然数の歴史と零の地位の節を参照)。いずれにしても、0 を自然数に含めるかどうかが問題になるときは、その旨を明記する必要がある。自然数の代わりに非負整数または正整数と言い換えることによりこの問題を避けることもある。 数学の基礎付けにおいては、自然数の間の加法についての形式的な逆元を考えることによって整数を定義する。正の整数ないしは負でない整数を自然数と同一視し、自然数を整数の一部として取扱うことができる。自然数と同様に整数の全体も可算無限集合である。 なお、文脈によっては、その一群に属する個々の数(例えば 3 や 18)を指して自然数ということもある。.

新しい!!: 0.999...と自然数 · 続きを見る »

電子掲示板

電子掲示板(でんしけいじばん、BBS、Bulletin Board System)とは、コンピュータネットワークを使用した環境で、記事を書き込んだり、閲覧したり、コメント(レス)を付けられるようにした仕組みのことである。単に「掲示板」と呼んだり、英語表記の略語で "BBS" と呼んだりする。 電子掲示板を利用すると、情報交換や会話・議論などを行うことができる。主に、パソコン通信やインターネットのウェブなどの上で実装される。掲示板を電子的に実現したようなものであることから、「電子掲示板」と名付けられた。.

新しい!!: 0.999...と電子掲示板 · 続きを見る »

連続 (数学)

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

新しい!!: 0.999...と連続 (数学) · 続きを見る »

FAQ

FAQとは、よくある(あるいはあると想定される)質問とその回答とを集めたもののことである。 FAQの語は英語のFrequently Asked Questionsの略語で、「頻繁に尋ねられる質問」の意味である。日本語では「よくある質問」となっていることが多い。「エフ・エイ・キュー」、「フェイク」、「ファック」() と読む。主に、コンピュータ(ハードウェア、ソフトウェア、オペレーティングシステムなどの使い方やメッセージの意味、原因など)や通信関係、周辺機器の使用方法、セットアップ方法などの分野で多用される。それ以外の分野では、同様の問答集をQ&A(質問と答え)と呼ぶことが多い。.

新しい!!: 0.999...とFAQ · 続きを見る »

IEEE 754

IEEE 754(あいとりぷるいー754、IEEE Standard for Floating-Point Arithmetic: 直訳すると「浮動小数点数算術標準」)は、浮動小数点数の計算で最も広く採用されている標準規格であり、多くのプロセッサなどのハードウェア、またソフトウェア(コンピュータ・プログラム)に実装されている。多くのコンピュータ・プログラミング言語ないしその処理系でも、浮動小数点数処理の一部または全部が IEEE 754 になっている。IEEE 754 が制定される前に成立したC言語などは、仕様上はIEEE 754 が必須となっていないものの、IEEE 754対応の演算命令を使える環境下では、それをそのまま利用して浮動小数点数演算を実装することが多い。一方で、JavaやC#など、言語仕様として IEEE 754 を必須としているものもある。 21世紀に入った後に改定され、2008年8月に制定された IEEE 754-2008 がある。これには、1985年の IEEE 754 制定当初の規格であるIEEE 754-1985、ならびに基数非依存の浮動小数点演算の標準規格 IEEE 854-1987 の両者がほぼすべて吸収されている。IEEE 754-2008 は正式に制定されるまでは、IEEE 754rと呼ばれた。 正式な規格名は、IEEE Standard for Floating-Point Arithmetic (ANSI/IEEE Std 754-2008)である。ISO/IEEEのPSDO(パートナー標準化機関)合意文書に基づき、JTC1/SC 25 を通して国際規格 ISO/IEC/IEEE 60559:2011 として採用され、公表されている。 この標準規格は以下のことを定義している。.

新しい!!: 0.999...とIEEE 754 · 続きを見る »

Microsoft Developer Network

Microsoft Developer Network (ディベロッパーネットワーク、MSDN) とは、マイクロソフトの開発者ネットワークであり同社が開発者向けに提供するサービスの総称。.

新しい!!: 0.999...とMicrosoft Developer Network · 続きを見る »

P進付値

p-進付値(ぴーしんふち、p-adic valuation)とは、数学において、素数 p に対して有理数体あるいは ''p''-進数体に定義される付値の一種である。p-進付値は p-進距離と呼ばれる距離を定める。 有理数 x に対して、負の指数を許した次のような素因数分解 (pi はそれぞれ異なる素数)を考えたときの ei が x の pi-進付値である。ただし、sgn は符号関数。.

新しい!!: 0.999...とP進付値 · 続きを見る »

P進数

p 進数(ピーしんすう、p-adic number)とは、1897年にクルト・ヘンゼルによって導入された、数の体系の一つである。文脈によっては、その体系の個々の数を指して p 進数と呼ぶこともある。有理数の体系を実数や複素数の体系に拡張するのとは別の方法で、各素数 p に対して p 進数の体系が構成される。それらは有理数のつくる空間の局所的な姿を記述していると考えられ、数学の中でも特に数論において重要な役割を果たす。数学のみならず、素粒子物理学の理論などで使われることもある(例えば ''p'' 進量子力学を参照)。 「p 進数」とは「2進数」や「3進数」の総称に過ぎないので、文字 p がすでに他の場所で用いられている場合、q 進数や l 進数などと表現されることもある。 なお、自然数や実数を 0 と 1 で表現する方法(2進法)やその結果得られる記号列(2進列)も「2進数」と呼ぶ場合があるが、本項の意味での「2進数」とは異なる。.

新しい!!: 0.999...とP進数 · 続きを見る »

極限

数学においては、数列など、ある種の数学的対象をひとまとまりに並べて考えたものについての極限(きょくげん、limit)がしばしば考察される。数の列がある値に限りなく近づくとき、その値のことを数列の極限あるいは極限値といい、この数列は収束するという。収束しない場合は、発散するという。 極限を表す記号として、次のような lim (英語:limit, リミット、ラテン語:limes)という記号が一般的に用いられる。.

新しい!!: 0.999...と極限 · 続きを見る »

有理数

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

新しい!!: 0.999...と有理数 · 続きを見る »

最大公約数

40と15に関する次の要素が埋め込まれた図: 積(600)、 商と剰余(40÷15.

新しい!!: 0.999...と最大公約数 · 続きを見る »

浮動小数点数

浮動小数点数(ふどうしょうすうてんすう、英: floating point number)は、浮動小数点方式による数のことで、もっぱらコンピュータの数値表現において、それぞれ固定長の仮数部と指数部を持つ、数値の表現法により表現された数である。.

新しい!!: 0.999...と浮動小数点数 · 続きを見る »

方程式

14''x'' + 15.

新しい!!: 0.999...と方程式 · 続きを見る »

数(かず、すう、number)とは、.

新しい!!: 0.999...と数 · 続きを見る »

数学

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

新しい!!: 0.999...と数学 · 続きを見る »

数学 (教科)

教科「数学」(すうがく、mathematics, math)は、中等教育の課程(中学校の課程、高等学校の課程、中等教育学校の課程など)における教科の一つである。 本項目では、主として現在の学校教育における教科「数学」について取り扱う。関連する理論・実践・歴史などについては「算数・数学教育」を参照。.

新しい!!: 0.999...と数学 (教科) · 続きを見る »

数学I

数学I(すうがくいち)は高等学校数学科の科目の一つである。1956年の学習指導要領で登場して以来、幾度か大きな内容の変更が行われてはいるが、現在も名前が変わらず続いている科目である。本稿ではこの科目の内容の変遷を、補足的に他の数学科の科目にもふれつつ説明する。.

新しい!!: 0.999...と数学I · 続きを見る »

数式

数式(すうしき、)は、数・演算記号・不定元などの数学的な文字・記号(および約物)が一定の規則にのっとって結合された、文字列である。 一般に数式には、その値 が定められており、数式はその値を表現すると考えられている。数式の値の評価 は、その数式に用いられる記号の定義あるいは値によって決まる。すなわち、数式はそれが現れる文脈に完全に依存した形で決まる。.

新しい!!: 0.999...と数式 · 続きを見る »

数列

数学において数列(すうれつ、numerical sequence)とは、数が列になったもの (sequence of numbers) を言う。 ある数はそれ単独で興味深い性質や深い意味を持っているかもしれない。単独ではそれほど面白くはない数たちもまとめて考えると興味深い性質を持つかもしれない。数列を考える意識は後者に属する。数列とは例えば正の奇数を小さい順に並べた のような数の“並び”である。並べる数に制限を加えて、たとえば自然数のみを並べるならば、これを自然数列と略称する。整数、有理数、実数などのほかの数体系を用いる場合も同様の略称を用いる。各々の数の“置かれるべき場所”は数列の項 (こう、term) と呼ばれる。数の並びが数列と呼ばれるためには、数列の各項を“順番に並べる”こと、つまりそれぞれの数が何番目の項に配置されているのかを一意に示すように番号付けができなければならない。したがって、“最も簡単”な数列は自然数を小さい順に並べた数列 ということになる(これは自然数が順序数であることによる)。 考える数列に端が存在する場合がある。数列の端に存在する項は、その数列の最初の項、または最後の項であると考えることができる。数列の最初の項をその数列の初項(しょこう、first term)といい、最後の項を数列の末項(まっこう、last term)と呼ぶ。 数列に対して必ずしも初項と末項を定めることはできない。たとえば「すべての自然数」を表わす数列の項の数は「自然数の個数」に等しいが、自然数は無限に存在するため、その末項は存在しない。このように末項が定まらないような数列は、無限数列(むげんすうれつ、infinite sequence)と呼ばれ、末項を持つ数列は有限数列(ゆうげんすうれつ、finite sequence)と呼ばれる。 初項を表わす添字は自由に与えることができ、議論や計算を簡単にするように選ばれるが、慣習的に 0 または 1 が与えられることも多い。たとえば有限数列の初項の添字を 1 から始めた場合、末項は項数に等しい添字 が与えられるため、記述が簡単になる。 特別な数列には、項の並びに規則性のあるものがある。代表的なものは、等差数列や等比数列あるいはフィボナッチ数列のように漸化式で定義される数列である。.

新しい!!: 0.999...と数列 · 続きを見る »

数列の極限

正整数 が大きくなるにつれて、値 は にいくらでも近くなる。「数列 の極限は である」という。 数学において、数列や点列の極限(limit of a sequence)は数列や点列の項が「近づく」値であるCourant (1961), p. 29.

新しい!!: 0.999...と数列の極限 · 続きを見る »

数論

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

新しい!!: 0.999...と数論 · 続きを見る »

整数

数学における整数(せいすう、integer, whole number, Ganze Zahl, nombre entier, número entero)は、0 とそれに 1 ずつ加えていって得られる自然数 (1, 2, 3, 4, …) および 1 ずつ引いていって得られる数 (−1, −2, −3, −4, …) の総称である。 整数は数直線上の格子点として視覚化される 整数の全体からなる集合は普通、太字の Z または黒板太字の \mathbb Z で表す。これはドイツ語 Zahlen(「数」の意・複数形)に由来する。 抽象代数学、特に代数的整数論では、しばしば「代数体の整数環」の元という意味で代数的整数あるいは「整数」という言葉を用いる。有理数全体の成す体はそれ自身が代数体の最も簡単な例であり、有理数体の代数体としての整数環すなわち、「有理数の中で整なもの」の全体の成す環は、本項でいう意味での整数全体の成す環である。一般の「整数」との区別のためにここでいう意味の整数を有理整数 (rational integer) と呼ぶことがある接頭辞「有理(的)」(rational) はそもそも「整数比」であるという意味なので、この呼称は自己循環的にもみえる。しかし、有理整数と呼ぶ場合の「有理」は「有理数の中で」という程度の意味の単なる符牒であって、「整数比」という本来の意味合いに拘るのは徒労である。。.

新しい!!: 0.999...と整数 · 続きを見る »

整数の合同

ウスの『Disquisitiones Arithmeticae(整数論)』のタイトルページ。 整数の合同(ごうどう、congruence)は、数学において二つの整数の間に定められる関係である。初めてこれを構造として研究したのはドイツの数学者ガウスで、1801年に発表された著書『Disquisitiones Arithmeticae』でも扱われている。今日では整数の合同は、数論や一般代数学あるいは暗号理論などに広く用いられる。 整数の合同に基づく数学の分野は合同算術 (modular arithmetic) と呼ばれる。これは整数そのものを直接的に扱うのではなく、何らかの整数(法と呼ばれる、以下本項では で表す)で割った剰余を代表元として扱う算術である。合同算術の歴史や道具立てあるいはその応用については合同算術の項を参照。また、より包括的で堅苦しくない説明は剰余類環 の項へ譲る。.

新しい!!: 0.999...と整数の合同 · 続きを見る »

1

一」の筆順 1(一、いち、ひと、ひとつ)は、最小の正の整数である。0 を自然数に含めない流儀では、最小の自然数とも言える。整数の通常の順序において、0 の次で 2 の前の整数である。1 はまた、実数を位取り記数法で記述するための数字の一つでもある。 「無」を意味する 0 に対して、1 は有・存在を示す最原初的な記号なので、物事を測る基準単位、つまり数や順序を数える際の初めである。英語の序数詞では、1st、first となる。ラテン語では unus(ウーヌス)で、接頭辞 uni- はこれに由来する。.

新しい!!: 0.999...と1 · 続きを見る »

1/10

(10分の1、じゅうぶんのいち)は、有理数のうち 0 と 1 の間にある数であり、10 の逆数である。.

新しい!!: 0.999...と1/10 · 続きを見る »

1/2 + 1/4 + 1/8 + 1/16 + ⋯

数学において、級数 + + + + … は、絶対収束する幾何級数の初歩的な例である。 その和は以下のようになる。 また、2進数では のように、0.

新しい!!: 0.999...と1/2 + 1/4 + 1/8 + 1/16 + ⋯ · 続きを見る »

1/3

(3分の1、さんぶんのいち)は、0 と 1 の間にある有理数の一つで、3 の逆数である。.

新しい!!: 0.999...と1/3 · 続きを見る »

1/7

(7分の1、ななぶんのいち、しちぶんのいち)は、0 と 1 の間にある有理数である。.

新しい!!: 0.999...と1/7 · 続きを見る »

1/9

(9分の1、きゅうぶんのいち)は、0 と 1 の間にある有理数の一つであり、9 の逆数である。.

新しい!!: 0.999...と1/9 · 続きを見る »

10

十」の筆順 10(十、じゅう、とお)は、自然数または整数において、9 の次で 11 の前の数である。日本語の訓読みでは、十倍を意味する語尾を「そ」と読む(例:三十を「みそ」と読む)(但し、二十ははたちと読む。)。漢字の「十」は音読みを「ジッ」もしくは「ジュウ」と発音する(下記参照)。英語の序数詞では、10th、tenth となる。ラテン語では decem(デケム)。.

新しい!!: 0.999...と10 · 続きを見る »

1770年

記載なし。

新しい!!: 0.999...と1770年 · 続きを見る »

1802年

記載なし。

新しい!!: 0.999...と1802年 · 続きを見る »

1811年

記載なし。

新しい!!: 0.999...と1811年 · 続きを見る »

1836年

記載なし。

新しい!!: 0.999...と1836年 · 続きを見る »

1846年

記載なし。

新しい!!: 0.999...と1846年 · 続きを見る »

1872年

記載なし。

新しい!!: 0.999...と1872年 · 続きを見る »

1891年

記載なし。

新しい!!: 0.999...と1891年 · 続きを見る »

1895年

記載なし。

新しい!!: 0.999...と1895年 · 続きを見る »

18世紀

Jean-Pierre Houëlが描いたバスティーユ襲撃(フランス国立図書館蔵)。 国立マルメゾン城美術館蔵)。 ロンドン・ナショナル・ギャラリー蔵)。 18世紀(じゅうはっせいき)は、西暦1701年から西暦1800年までの100年間を指す世紀。.

新しい!!: 0.999...と18世紀 · 続きを見る »

1970年

記載なし。

新しい!!: 0.999...と1970年 · 続きを見る »

1974年

記載なし。

新しい!!: 0.999...と1974年 · 続きを見る »

1998年

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

新しい!!: 0.999...と1998年 · 続きを見る »

19世紀

19世紀に君臨した大英帝国。 19世紀(じゅうきゅうせいき)は、西暦1801年から西暦1900年までの100年間を指す世紀。.

新しい!!: 0.999...と19世紀 · 続きを見る »

2004年

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

新しい!!: 0.999...と2004年 · 続きを見る »

4月1日

4月1日(しがつついたち)は、グレゴリオ暦で年始から91日目(閏年では92日目)にあたり、年末まであと274日ある。誕生花はカスミソウ、クロッカス。 日本や一部の国では4月1日は会計年度・学校年度の初日である。この日は政府機関、企業などで多くの制度の変更、新設、発足が行われ、異動や新入学など大きな変化が起こる日である。.

新しい!!: 0.999...と4月1日 · 続きを見る »

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

0.(9)0.999...=10.999...が1に等しいことの証明0.999…0.9…

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