- 締切済み
1=0.999...的な質問
- みんなの回答 (3)
- 専門家の回答
みんなの回答
- tez3
- ベストアンサー率20% (53/262)
この内容の質問は過去に何度もなされていますよ。 0.999で検索をかけると見つかります。 まずは検索をかけてみて下さい。 http://oshiete1.goo.ne.jp/kotaeru.php3?q=39280 http://oshiete1.goo.ne.jp/kotaeru.php3?q=32339
- ametsuchi
- ベストアンサー率31% (81/257)
すいません。一寸補足させてください。 開区間(0,1)は「1」を含みませんが、その「上限」は=1です。 「上限」がその区間自身に属すとは限らないという面白い性質があります。極限が自分の範囲を飛び出しちゃうんですね。 開区間という概念を一般化した「開集合」では、(距離空間の話に限定するなら)その集合に属する任意の点に対して、あるε近傍(>0の半径εの球、または2Dなら円)が存在しそのε近傍が丸ごと集合内に含まれるという性質があります。性質というより「公理」なんですが..。(<--分からなければ、ここ、すっ飛ばして下さい) 今回の1次元、数直線上でも全く同じで、(0,1)に属する任意の点(=数値)xに対して、ある正の実数ε>0が存在し、x-ε>0, x+ε<1 とすることが出来ます。ここに、xは0.99999999999999のように小数点以下に9が果てしなく続く数を想定しています。
お礼
ご回答ありがとうございます。
- ametsuchi
- ベストアンサー率31% (81/257)
敢えて反論覚悟で言えば、基本的に一通りのはずですよ。 0.9999999......と果てしなく続けても、有限桁である限り=1.0でないのはご存知のとおりです。しかし、その極限は=1です。もし1でないとすると矛盾が生じます。(証明略) 0.9dot(「dot」は9の上に点)はこれも10進小数の書き方の一つと認めれば、確かに「1」を表現するのに2通りの方法がないともいえないのでしょうが、そんなこと言いだしたら、 1/3*3=1 ですから、「1/3*3」も「1」の表記法になっちゃいます。表記法が何通りあるかと言うのはあまり重要な問題とは思えません。 「重複して数えても」:多分何か勘違いをされているか、失礼ながら、「数」というものをまだキチンと把握されていないのではないでしょうか?「1」の表記法が何通りあろうと、「1」はただ1つです。表記法とは関係ありません。 また、「(0,1)区間」とありますが、これは開区間といって、「1」も「0」も含みません。0.999999999.....と9をいくら続けてもこの開区間内に入りますが、1は含まないのです。「[0,1]区間」は閉区間といって、「1」も「0」も含みます。先ず、「開区間」、「閉区間」という概念を理解する方が先決だと思います。 専門家でもないのにエラソーなこと言ってすいません。
関連するQ&A
- 実数の集合が非可算であることの証明
対角線論法を用いて、実数の集合と自然数の集合が対等でないことを示せば、”実数の集合が非可算であること”は示せているのでしょうか?別の証明方法があるなら教えていただきたいです。 よろしくお願いします。
- 締切済み
- 数学・算数
- 複数のセルの中からキーワードを含むセル数(ただしユニーク数)を求める方
複数のセルの中からキーワードを含むセル数(ただしユニーク数)を求める方法 質問させて頂きます。 題記の通りですが、例として、 n1, n2, n3, n1, n1, n1, n2, m1, m2 が各セルに格納されていたとして、 "n"を含み、かつ重複を許さずカウントする方法を知りたく思います。 (この場合、n1, n2は複数回重複しているので2回目以降はカウントせず, 3が正しい。) ご助言のほど、よろしくお願い致します。
- ベストアンサー
- オフィス系ソフト
- 形式化の表す内容について
再質問になります。 以前、言葉尻の異なる同じような内容の質問をしております。ご容赦ください。 スコーレムの定理によりべき集合公理をもつ公理系にも可算モデルが存在する 無限体k上のベクトル空間の次元という概念は論理式では表現できない ペアノ算術において自然数の非標準モデルが存在する といったものから モデル側の性質をすべて形式体系で書くことはできないということが結論されているのを見るのですが、自分としてはそのような形式体系で書くことができない性質があるということ、その性質について考えるとことが、なぜ記号を対象とした数学という分野でできるのかということが不思議なのです。 つまり(あくまで建前上ではですが)、イメージや心象を閉め出して形式的な文字列の変形、生成で議論できるはずの数学においては形式体系、公理系のモデルも結局何らかの形式的な文字列の変形、生成で定義される以外無いはずであって(モデルを決めるというのは形式体系側の記号や述語に、新しい記号や述語を対応させた新しい形式体系を実装として定めるということだと考えています) 例えば 実数の公理系の非可算のモデルの更なる可算モデルを考えると、そもそも非可算モデルとはなんだったのだろうか(何をもって非可算といっていたのだろうか もちろん元の体系内で、ある集合が可算無限の集合と1:1対応のつけられないということが証明できるということをもってなのでしょうが、しかしそれも体系の外に出てみると可算モデルになっていることがあるということならどこまで行っても本当に非可算かどうかを確かめることはできないのではないだろうか つまり何をもって非可算となすという基準が作れないように見え、それならば非可算というもの自体がどういうものかわからないのではないか なら最初の非可算モデルとはいったい何だったんだろうといったように) ベクトルの次元という概念も表現できる視点があって初めて、ある論理上では表現できないということが分かるのであってその表現できる視点というのも論理式の集合で書かれるしかないのではないか ならば次元という概念も論理式の集合で表現できることになるのでは 標準的な(N,0,1,+,・,<)のNも数学で考えるために論理式で定義されるものなら標準モデルだけを表す公理系があるのではないだろうか もしないならどうやって数学の議論の台に乗せるのだろうか などといった、おそらく擬似問題に悩んでしまうのです。 認識といってしまうといきなり怪しい話になってしまい恐縮ですが、「モデル側の性質をすべて形式体系で書くことはできない」ということは一見して数学の論理は、人間の心象、意味内容を全て認識することができないと受け取ってしまいそうになりますが、形式とモデルの関係はそのようなことをいっているのではなく、数学上の話である以上、体系間の関係のことをいっていると思うのですが正確にはどういうことを表しているのかわからないのです。 おおざっぱにいうと論理式で表せない性質があるということをいうためにはその性質を表すことが必要であり、数学においてはそれも論理式で書くことになると思うので、結局どういうことをしているのか混乱しているのです。 それとも最初に書いたようなことは人間側の推論と論理式での推論の関係(これは本当にイメージ心象と論理式の関係であって、想像上の集合、モデルと形式体系は1:1には対応しない)を、体系同士の関係で表した、まねさせたことから出てきた成果なので たとえば非可算かどうかを確認する絶対的基準なものがどこにあるかなどと言うことは意味をなさないのでしょうか。つまり実装(モデル)側で、ある論理式(可算性、非可算性に相当する)を証明できるものを可算モデル、非可算モデルという名前を付けているだけであって人間の使う非可算という意味とは(建前上は)関係がないということでしょうか。 もちろん例えば、自然数といわれればその意味するところはわかりますし、その自然数と同型でないモデルというのも色々なところで図などをつかって解説されている限り同型でないということや、どういうものかということは分かります、ただそれは明らかにイメージに頼ったものであって、厳密な意味での数学ではどうするのだろう(というか論旨式で表せないものを表すとは何だろう)と考え質問いたしました。 メタレベルと対象レベルを区別できてないが故の疑問だと感じているのですが、モデル(実装)にたいしても、その実装は?さらにその実装は?といっていくと結局非可算かどうかを区別できる視点などないのではないかということにならないのでしょうか? かなり初歩的な勘違いをしていると思いますが、この方面に明るい方、過去このような疑問を持たれた方、お時間ありましたら解答、解説お願いします
- ベストアンサー
- 数学・算数
- 離散数学の問題について質問させていただきます。
離散数学の問題について質問させていただきます。 以下の2つの問題がどうしても分かりません。 解答・解説ともに手元に無く、大変困っております。急を要しております。 どうか力をお貸し下さい。よろしくお願いします。 (1)可算集合の高々可算個の和集合が可算集合であることの証明 (2)Nを自然数全体の集合(N = {1,2,3…})としたとき、Nのべき集合すなわちすべての部分集合の集合は、可算集合でないことの証明
- ベストアンサー
- 数学・算数
- スコーレムの定理の意味 論理式の表現の可能性
以前、言葉尻の異なる同じような内容の質問をしております。ご容赦ください。 スコーレムの定理によりべき集合公理をもつ公理系にも可算モデルが存在する 無限体k上のベクトル空間の次元という概念は論理式では表現できない ペアノ算術において自然数の非標準モデルが存在する といったものから モデル側の性質をすべて形式体系で書くことはできないということが結論されているのを見るのですが、自分としてはそのような形式体系で書くことができない性質があるということ、その性質について考えるとことが、なぜ記号を対象とした数学という分野でできるのかということが不思議なのです。 つまり(あくまで建前上ではですが)、イメージや心象を閉め出して形式的な文字列の変形、生成で議論できるはずの数学においては形式体系、公理系のモデルも結局何らかの形式的な文字列の変形、生成で定義される以外無いはずであって(モデルを決めるというのは形式体系側の記号や述語に、新しい記号や述語を対応させた新しい形式体系を実装として定めるということだと考えています) 例えば 実数の公理系の非可算のモデルの更なる可算モデルを考えると、そもそも非可算モデルとはなんだったのだろうか(何をもって非可算といっていたのだろうか もちろん元の体系内で、ある集合が可算無限の集合と1:1対応のつけられないということが証明できるということをもってなのでしょうが、しかしそれも体系の外に出てみると可算モデルになっていることがあるということならどこまで行っても本当に非可算かどうかを確かめることはできないのではないだろうか つまり何をもって非可算となすという基準が作れないように見え、それならば非可算というもの自体がどういうものかわからないのではないか なら最初の非可算モデルとはいったい何だったんだろうといったように) ベクトルの次元という概念も表現できる視点があって初めて、ある論理上では表現できないということが分かるのであってその表現できる視点というのも論理式の集合で書かれるしかないのではないか ならば次元という概念も論理式の集合で表現できることになるのでは 標準的な(N,0,1,+,・,<)のNも数学で考えるために論理式で定義されるものなら標準モデルだけを表す公理系があるのではないだろうか もしないならどうやって数学の議論の台に乗せるのだろうか などといった、おそらく擬似問題に悩んでしまうのです。 認識といってしまうといきなり怪しい話になってしまい恐縮ですが、「モデル側の性質をすべて形式体系で書くことはできない」ということは一見して数学の論理は、人間の心象、意味内容を全て認識することができないと受け取ってしまいそうになりますが、形式とモデルの関係はそのようなことをいっているのではなく、数学上の話である以上、体系間の関係のことをいっていると思うのですが正確にはどういうことを表しているのかわからないのです。 おおざっぱにいうと論理式で表せない性質があるということをいうためにはその性質を表すことが必要であり、数学においてはそれも論理式で書くことになると思うので、結局どういうことをしているのか混乱しているのです。 それとも最初に書いたようなことは人間側の推論と論理式での推論の関係(これは本当にイメージ心象と論理式の関係であって、想像上の集合、モデルと形式体系は1:1には対応しない)を、体系同士の関係で表した、まねさせたことから出てきた成果なので たとえば非可算かどうかを確認する絶対的基準なものがどこにあるかなどと言うことは意味をなさないのでしょうか。つまり実装(モデル)側で、ある論理式(可算性、非可算性に相当する)を証明できるものを可算モデル、非可算モデルという名前を付けているだけであって人間の使う非可算という意味とは(建前上は)関係がないということでしょうか。 もちろん例えば、自然数といわれればその意味するところはわかりますし、その自然数と同型でないモデルというのも色々なところで図などをつかって解説されている限り同型でないということや、どういうものかということは分かります、ただそれは明らかにイメージに頼ったものであって、厳密な意味での数学ではどうするのだろう(というか論旨式で表せないものを表すとは何だろう)と考え質問いたしました。 メタレベルと対象レベルを区別できてないが故の疑問だと感じているのですが、モデル(実装)にたいしても、その実装は?さらにその実装は?といっていくと結局非可算かどうかを区別できる視点などないのではないかということにならないのでしょうか? かなり初歩的な勘違いをしていると思いますが、この方面に明るい方、過去このような疑問を持たれた方、お時間ありましたら解答、解説お願いします
- ベストアンサー
- 数学・算数
- your favorite subject
What is your favorite subject? という表現は学校で習いました。 また、subjectは可算名詞であるようですが、 What is your favorite subjects? と複数形にしてはいけないのでしょうか。 答えが I like math and science. など複数になるときもありますので複数形でもいいような気がするのですが。
- ベストアンサー
- 英語
お礼
ご回答ありがとうございます。 完全に重複した質問でした。 実数の定義が原始的すぎたようです。 ただ、集合{0...9}の可算無限個の直積から、 実数への写像をかんがえると、1対1じゃ無いのかなあとか、 数学で、無限の直積を扱った記憶が無いなあとか、 かんがえながらの質問でした。 しかし、実数の定義は、無理やり過ぎるような気が知るのは、 僕だけでしょうか。