17/08/31 14:35:18.36 sEqNLTUm.net
まずお前らは"0.999…"の意味するところを…やlimでごまかさずにきちんと定式化してみろよ
594:132人目の素数さん
17/08/31 15:22:42.14 r0MC+Kpx.net
>>456
当てられる確率は0よ
595:132人目の素数さん
17/08/31 15:25:28.09 r0MC+Kpx.net
逆か
1ね
596:132人目の素数さん
17/08/31 15:34:26.65 UAb1JzBS.net
>>541
>"0.999…"の意味するところを…やlimでごまかさずにきちんと定式化してみろよ
"0.999…"の意味するところというが、どういう意味のことを指していっ�
597:トいるのかが分からない。 定式化するとすれば次のようになるだろうな。 nを自然数変数とする。数列 {a_n} の第n項を a_n=9Σ_{1,…,n}(1/10)^n と定義する。 任意の正の実数εに対して或る自然数Nが定まり n≧N のとき |a_n-1|<ε が成り立つことだな。 Σ内での「…」は「0.999…」に出て来る「…」とは別だろ。
598:現代数学の系譜 物理工学雑談 古典ガロア理論も読む
17/08/31 16:21:44.89 cpgWErBK.net
>>526
哀れな素人さん、どうもスレ主です。
折角なので、ついでにコメントします(^^
>そして0.99999…は1ではない。
>なぜなら1/2+1/4+1/8+……は1ではないからである。
それは、一面では正しいし、一面では違う。現代数学では、表現の問題と捉えますね。たぶん
”1”は、漢字では一又は壱、カタカナで”イチ”、英語で”one”、独語”eins”、仏語”une”で、表現は違うが意味同じ
で、10進法で、分数例えば1/3など循環小数になってしまいます。(10進法表現と分数表現の違いですね)
1/3=0.33333333・・・
(なお、下記後述「ヨーロッパで小数が定着したのは17世紀にジョン・ネイピアが、今使われている整数部分と小数部分の間に小数点[3]を書く方法を紹介してからのことであった。
ヨーロッパで小数が定着するのが遅かった理由は10進法が定着しておらず、12進法や60進法もよく使われていたからである。」などとあります)
で、無限小数”1/3=0.33333333・・・”を認めないと不便でしようがない。だから、ここで、「無限」を認めてしまったんですね
無限小数”1/3=0.33333333・・・”は、有限ではない。有限で打ち切ったら、まずい。
で、「無限」を認めてしまったから、
この両辺に、3を掛けて
”3*1/3=1=0.99999999・・・”となってしまいます。繰り返しますが、「無限」を認めてしまったんですね(^^
つづく
599:哀れな素人
17/08/31 16:22:50.96 ZRf7mVCX.net
>>539
ゴチャゴチャといろんなことを書いているが、
お前の計算しているのは極限値であり、
極限値とは、かぎりなく近づくが到達しない値である(笑
そもそも1/2+1/4+1/8+……は1にはならない、
ということは常識であって、こんなことをいちいち
数学科卒の人間に説明しなければならない、
ということが異常事態なのである(呆
>その計算はインチキなのである(笑
ということがお前は分っていない(笑
そんな計算は小学生でもできるが、
その計算はインチキなのである(笑
600:現代数学の系譜 物理工学雑談 古典ガロア理論も読む
17/08/31 16:23:31.52 cpgWErBK.net
>>545 つづき
で、”1/2+1/4+1/8+……”は、2進法で、”0.11111111・・・”です
1/3を、2進小数展開をすると、無限小数”1/3=0.0101010101・・・”です
1/3+1/3 で、”1/3+1/3=2/3=0.1010101010・・・”
で、辺々足します
”1/3=0.0101010101・・・”
”2/3=0.1010101010・・・”
”2/3+1/3=1=0.1111111111・・・”繰り返しますが、「無限」を認めてしまったんですね(^^
なので、>>523の"y=(1/2)^x > 0 "の立場は、「無限」を認めていないんですね
まあ、世の中、ダブルスタンダードと言えばそうなんですが、無限小数の「無限」は認めないと、10進法が不便極まりないと(^^
まあ、この話は、某小学生には無理でしょう(理解できないでしょう)ね(^^
URLリンク(ja.wikibooks.org)
高等学校数学基礎 > 数と人間
(抜粋)
分数が早くから登場したのに対して小数が登場するのは少し遅い。
正確に言えば、古代メソポタミア文明の粘土板には小数も登場していたし、先に紹介した小さな数の単位も小数の仲間といえる(理由は後述)ので、東洋では早くから小数が使われていたといわれる。
しかし、ヨーロッパで小数が定着したのは17世紀にジョン・ネイピアが、今使われている整数部分と小数部分の間に小数点[3]を書く方法を紹介してからのことであった。
ヨーロッパで小数が定着するのが遅かった理由は10進法が定着しておらず、12進法や60進法もよく使われていたからである。
無限小数[編集]
1÷3を分数を使わずに計算すると0.3333…となり、いつまでも割りきれない。このような小数を無限小数という。
(引用終わり)
URLリンク(www.geocities.jp)
2進数の分数と小数(0111ページ)2進数と遊ぶ
(抜粋)
例1 1/3 を 2進小数になおします。
略
(引用終わり)
以上
601:哀れな素人
17/08/31 16:35:11.53 ZRf7mVCX.net
スレ主よ、だから1/3=0.33333……ではない、のである(笑
1/3=0.33333……、あるいは0.33333……=1/3
と書くが、これは
602:便宜的に書いているだけであって、 近似値にすぎないのである(笑 そういうことが分っている人と分っていない人がいる。 利口な人はみんな、 それは近似値にすぎないことが分っているのだ。 なぜなら0.33333……は永遠に1/3にならないから 1/3=0.33333……と無限小数で書くしかないのである。 1/3は有限小数でも無限小数でも表すことができないのである。 有限小数では表わせないが、 無限小数では表すことができると思っている人々がいるが、 それは間違いである。
603:現代数学の系譜 物理工学雑談 古典ガロア理論も読む
17/08/31 16:52:14.07 cpgWErBK.net
>>548
哀れな素人さん、どうもスレ主です。
おしゃる通りです。お説の通りです。
”1/3=0.33333……ではない”
有限主義を貫けば、その通りですね
でも、多くの人は、それじゃ10進小数表現が不便だなと
だから、妥協して、「無限小数は認めます」という立場ですね。世間一般、別に数学科に限らずです
604:哀れな素人
17/08/31 17:20:22.79 ZRf7mVCX.net
1/3=0.33333……ではない。
このことをよく考えれば、
無限小数などというものは実際には存在せず、
われわれが無限小数と呼んでいるものは、
実際は有限小数にすぎない、ということが分るはずである。
605:現代数学の系譜 物理工学雑談 古典ガロア理論も読む
17/08/31 17:32:29.09 cpgWErBK.net
>>550
>1/3=0.33333……ではない。
>このことをよく考えれば、
>無限小数などというものは実際には存在せず、
哀れな素人さん、どうもスレ主です。
そうそう、お説の通りですね
現代数学では、”無限”も、”1/3=0.33333……”定義です
「世の中、無限小数などというものは実際には存在せず」ということかも知れませんが・・
”無限”(少数)ありと、定義します
”1/3=0.33333……”と、定義します
定義ってことなんですね。
定義ですから、「そんな定義は認めない。現実の世の中に存在しない」という方は、過去にも存在しました
(お目にはかかっていないが、そういう話らしいですね)
なので、ここは、定義を認めるか否か。平行線というやつですね
なので、私は、ここらで退散します(^^
606:132人目の素数さん
17/08/31 17:48:04.42 timHUujQ.net
>>384
607:132人目の素数さん
17/08/31 19:02:36.15 0cVDrJ0h.net
>>515
>私は、反例を書きました
>・・・時枝記事の解法で、もともとの時枝記事の設定は
>”どんな実数を入れるかはまったく自由”、”もちろんでたらめだって構わない”
>なので 先頭の有限部分が、”当てられない”というのは、大いなる矛盾であって、
>そもそも時枝記事の解法が成立していないということだと
否。
そもそも無限個の箱のうち、中身が代表列と一致しない
”有限個”の箱の中身を当てる必要はないw
どれでも1個箱を選べばいいのだから
「代表列と中身が一致する」”無限個”の箱
の中の一つを選ぶのは、回答者の当然の権利
矛盾でもなんでもない
>>1がいかに頑張ったところで
「代表列と中身が一致する」箱を
無くすことはできない
608:132人目の素数さん
17/08/31 19:04:14.55 0cVDrJ0h.net
>>515
>「列r のD番目の実数r(D)を見て,
> 「第k列のD番目の箱に入った実数はS^k(D)=r(D)と賭ければ,
>めでたく確率99/100で勝てる.」
>ここで、この”D番目”は有限ですね”
>>1はなぜかDの定義を一度も書かないが
まず真っ先にDの定義を書け
数学セミナー2015年11月号「箱入り無数目」に書かれてるだろう
「数列S^1~S^k-1、S^k+1~S^100の決定番号のうち最大値D」
数列S_kの決定番号をd(S^k)として
d(S_k)<D ならば
S_k(D)=r(D)
そしてその確率は
1-1/100=99/100
なぜなら、d(S^k)が、
「数列S^1~S^100の決定番号のうち最大値」
である確率が1/100だから
609:132人目の素数さん
17/08/31 19:08:22.90 G9J+gBv6.net
>>513
スレ主は内容を全く理解していませんね
> 有理数という識別はできなくなりますよ。
元々有理数の性質は一切使用していませんよ
重要なのはn番目の数字が代表元のn番目と一致するかどうかということだけです
代表元の数字に有理数が含まれていないと仮定すれば有理数は代表元の数字に一致することは
一切ないとして話をすすめることができる
スレ主が零集合を持ち出すのは同じ理由でしょう?
出題するR^Nの元は代表元を第三者Cさんが1つ選んでその代表元の先頭から有限個の数字をスレ主が
(一致しても構わないが基本的には代表元と一致しないように)入れ替えることでつくる
スレ主の反例はmod 100で100列にわけるとしてn=100*j番目まで代表元と一致しないように
数字を入れたということ
決定番号の定義から100*j番目まで一致しないのなら決定番号は(100*j)+1
100列に分けた数列の1列目のj番目まで一致しないのなら決定番号はj+1で出題された数列の(100*j)+1番目
100列に分けた数列の2列目のj番目まで一致しないのなら決定番号はj+1で出題された数列の(100*j)+2番目
同様に
100列に分けた数列の100列目のj番目まで一致しないのなら決定番号はj+1で出題された数列の(100*j)+100番目
スレ主が挙げた反例の主張は
「自然数jを大きくすれば (100*j)+1 < 100*j」 --- (***)
となるので時枝解法の反例であるということであるが(***)の間違いは明らかですよ
610:132人目の素数さん
17/08/31 19:09:50.21 0cVDrJ0h.net
>>515
>まとめると、時枝記事の
>”有限のD番目の箱に入った実数を当てられる”という点に対して、
>反例構成を示したわけです
否 >>1が箱に新しい数を入れれば、各列の決定番号を変化させるから
元の数列のDを越えたとしても、新しいDよりは小さくなってしまっている
だから、「箱入り無数目」ではその範囲を避けられる
いかほど>>1が箱に新しい数を入れようが、その範囲が有限であるかぎり
新しいD(これまた有限)を選べるから無意味
>ですから、これだけでも、
>時枝記事に対する反例になっているのです!!
否 反例になっているというのは>>1の妄想にすぎない
611:132人目の素数さん
17/08/31 19:11:09.47 0cVDrJ0h.net
>>515
>貴方は、私の示した”有限”の外に逃げようとしている
>>1が新しい数を入れない箱が無限にあるから
「箱入り無数目」の方法でいくらでも逃走できるw
>それを追撃するのが、私の意図(次が、無限公理の出番)ですよ
何を妄想してるのか知らんが・・・
仮に、無限個の箱に新しい数を入れても
その場合には、同値類が変更されるので、
代表列自体が再設定される
100列のどの列でも有限個の箱に新しい数を入れるのに
全体で無限個の箱に新しい数を入れる、ということはありえない
かならずどこかの列で、無限個の箱に新しい数を入れることになる
そして、それは同値類の変更を引き起こす
ま、Fラン大学卒には百遍死んでも分かんねぇかwww
結論:ヘタな考え 休むに似たりwwwwwww
612:132人目の素数さん
17/08/31 19:29:56.52 0cVDrJ0h.net
>>545
>>そして0.99999…は1ではない。
>>なぜなら1/2+1/4+1/8+……は1ではないからである。
>それは、一面では正しいし、
>>1はさすが最底辺工学部卒だな
実数を完全否定する馬鹿っぷりw
>無限小数”1/3=0.33333333・・・”を認めないと不便でしようがない。
>だから、ここで、「無限」を認めてしまったんですね
なんか無限は本当は存在しないが
便宜上ウソをついた、といいたいようだな
さすが最底辺工学部卒の大馬鹿野郎だな
工学部でもSランク大学なら
そんな馬鹿な発言は絶対しない
「オレは日本人じゃなくニホンザルだぜ ウッキー」
というようなもんだからな
613:132人目の素数さん
17/08/31 19:30:23.86 0cVDrJ0h.net
>>547
>"y=(1/2)^x > 0 "の立場は、「無限」を認めていないんですね
馬鹿丸出しwwwwwww
任意の自然数xについてy=(1/2)^xだからといって
1=0.1111111111・・・(2進数)
が否定されるわけではない
>まあ、世の中、ダブルスタンダードと言えばそうなんですが、
そりゃ実数を心の底では完全否定してるくせに
数学の試験で〇もらおうなんて姑息なこと考える
大馬鹿野郎の>>1はウソつくわな 卑怯卑劣なサルだもんなw
人間じゃないもんな 良心ないもんな 倫理なんかないもんな
614:132人目の素数さん
17/08/31 19:31:14.92 0cVDrJ0h.net
>>549
>”1/3=0.33333……ではない”
>有限主義を貫けば、その通りですね
さすが有限主義だけが絶対の真理だと思い込んでる
最底辺工学部卒の大馬鹿サル野郎wwwwwww
>でも、多くの人は、それじゃ10進小数表現が不便だなと
>だから、妥協して、「無限小数は認めます」という立場ですね。
人間面したがる卑怯卑劣なエテ公の>>1は
そりゃ臆面もなくウソつくわな
ほんと倫理の欠片もないクソ野郎だな >>1はwww
615:132人目の素数さん
17/08/31 19:41:16.76 r0MC+Kpx.net
>>549
非負無限小数とはNから{0123456789}への写像の同値類よ
616:現代数学の系譜 物理工学雑談 古典ガロア理論も読む
17/08/31 19:59:29.35 AnxaeSI4.net
>>552
これ、多分、小学生のピエロのなりすましだと思うが・・(^^
補足しておくと
1.10進法表現で、”無限”(少数)”1/3=0.33333……”などを認めないと、表現力が格段に落ちてしまう(∵循環小数表現が使えない)
2.私ら工学的な立場では、「便利なんだから、”無限”(少数)”使おう」って、軽い話ですが
3.¥さんや、コンヌ先生など数学者の立場からすると、「”無限”(少数)”を認めるのは、10進数に分数と同じ表現力を持たすための数学上の必然だ」というでしょうね(^^
余談ですが、コンヌ先生がノンスタを�
617:癆サしている(批判への反論も)記事があったので下記引用しておきます https://en.wikipedia.org/wiki/Criticism_of_non-standard_analysis Criticism of non-standard analysis (抜粋) Non-standard analysis and its offshoot, non-standard calculus, have been criticized by several authors, notably Errett Bishop, Paul Halmos, and Alain Connes. These criticisms are analyzed below. Contents [hide] 1 Introduction 2 Bishop's criticism 2.1 Bishop's review 2.2 Responses 3 Connes' criticism 4 Halmos' remarks 5 Comments by Bos and Medvedev 6 See also 7 Notes 8 References 9 External links つづく
618:現代数学の系譜 物理工学雑談 古典ガロア理論も読む
17/08/31 20:00:21.77 AnxaeSI4.net
>>562 つづき
Connes' criticism[edit]
In "Brisure de symetrie spontanee et geometrie du point de vue spectral", Journal of Geometry and Physics 23 (1997), 206?234, Alain Connes wrote:
"The answer given by non-standard analysis, namely a nonstandard real, is equally disappointing: every non-standard real canonically determines a (Lebesgue) non-measurable subset of the interval [0, 1],
so that it is impossible (Stern, 1985) to exhibit a single [nonstandard real number]. The formalism that we propose will give a substantial and computable answer to this question."
In his 1995 article "Noncommutative geometry and reality" Connes develops a calculus of infinitesimals based on operators in Hilbert space. He proceeds to "explain why the formalism of nonstandard analysis is inadequate" for his purposes. Connes points out the following three aspects of Robinson's hyperreals:
(1) a nonstandard hyperreal "cannot be exhibited" (the reason given being its relation to non-measurable sets);
(2) "the practical use of such a notion is limited to computations in which the final result is independent of the exact value of the above infinitesimal. This is the way nonstandard analysis and ultraproducts are used [...]".
(3) the hyperreals are commutative.
つづく
619:現代数学の系譜 物理工学雑談 古典ガロア理論も読む
17/08/31 20:01:41.30 AnxaeSI4.net
>>563 つづき
Katz & Katz analyze Connes' criticisms of non-standard analysis, and challenge the specific claims (1) and (2).[7] With regard to (1),
Connes' own infinitesimals similarly rely on non-constructive foundational material, such as the existence of a Dixmier trace. With regard to (2), Connes presents the independence of the choice of infinitesimal as a feature of his own theory.
Kanovei et al. (2012) analyze Connes' contention that non-standard numbers are "chimerical". They note that the content of his criticism is that ultrafilters are "chimerical", and point out that Connes exploited ultrafilters in an essential manner in his e
620:arlier work in functional analysis. They analyze Connes' claim that the hyperreal theory is merely "virtual". Connes' references to the work of Robert Solovay suggest that Connes means to criticize the hyperreals for allegedly not being definable. If so, Connes' claim concerning the hyperreals is demonstrably incorrect, given the existence of a definable model of the hyperreals constructed by Vladimir Kanovei and Saharon Shelah (2004). Kanovei et al. (2012) also provide a chronological table of increasingly vitriolic epithets employed by Connes to denigrate NSA over the period between 1995 and 2007, starting with "inadequate" and "disappointing" and culminating with "the end of the road for being 'explicit'". Katz & Leichtnam (2013) note that "two-thirds of Connes' critique of Robinson's infinitesimal approach can be said to be incoherent, in the specific sense of not being coherent with what Connes writes (approvingly) about his own infinitesimal approach." (引用終り) 以上
621:現代数学の系譜 物理工学雑談 古典ガロア理論も読む
17/08/31 20:02:30.78 AnxaeSI4.net
>>560
ぼく、小学生なのに、いっぱい文章書いたんだね、えらいね(^^
622:132人目の素数さん
17/08/31 20:30:22.88 0cVDrJ0h.net
ボク、大学卒なのに無限小数認められないんだ
さすが有限馬鹿のクソ工学屋だな 死ねよwww
623:132人目の素数さん
17/08/31 20:33:23.88 IDuGvx/A.net
よく読んでないけどようするに超準実数?の構成に選択公理使ってるからアウトって話?
624:132人目の素数さん
17/08/31 20:34:29.36 AscWxt50.net
>>512
>同様に、”決定番号の集合Kの濃度は無限であるが、∀k∈Kは有限値である”ですよ
つまり「決定番号=∞」を撤回したってことでしょ?
俺が聞いてるのはいつ撤回したのか? だよ
625:132人目の素数さん
17/08/31 20:37:30.35 0cVDrJ0h.net
無限小数ってのは、デデキント流にいえば有限小数の切断なんだがねw
つまり有限小数全体を上界、下界を分ければいい
0.999・・・ってのは、下界に0.9、0.99、0.999、・・・を全部ブチ込む
その場合、上界の最小元は1にならざるを得ない
なぜなら1より小さいどんな小数も、ある0.9・・・9よりは小さいから
だから0.999・・・=1なんだよ
ま、心の底では有限小数しか認められないクサレ工学馬鹿にはわかんねぇかw
626:現代数学の系譜 物理工学雑談 古典ガロア理論も読む
17/08/31 20:50:18.71 AnxaeSI4.net
>>555
貴方は、まだ元記事を、きちんと読んでいませんね
そして、記事を正確に理解していませんね(それから、確率論にも疎いですね)
追記
あなたは、時枝記事を原文をきちんと図書館で、読んで貰えますかね?
それから、質問してもらえますか?
そして、>>496と>>429に書いたこと及びそこのリンクすべてを、読んでください
(引用終り)
つづく
627:現代数学の系譜 物理工学雑談 古典ガロア理論も読む
17/08/31 20:50:48.36 AnxaeSI4.net
>>570 つづき
さて、本題
>> 有理数という識別はできなくなりますよ。
>元々有理数の性質は一切使用していませんよ
下記のこの発言は、どなたのですか? 貴方の発言ですよ。食言してはいけませんね
(>>145)"この場合mod 100で100列に分けると解答者はランダムに選んだ1列以外の99列を全て開けて
99列のどれもが「D*β + α」番目まで有理数が入っていることを知ることができる
99列の決定番号は全て(D*β + α)+1であるからその最大値は(D*β + α)+1
この場合開けずに残しておいた1列の(D*β + α)+1番目の箱には有理数は入っていない
時枝戦略で(D*β + α)+1番目の有理数が入っていない箱を選ぶことができる"
つづく
628:現代数学の系譜 物理工学雑談 古典ガロア理論も読む
17/08/31 20:51:20.71 AnxaeSI4.net
>>571 つづき
>代表元の数字に有理数が含まれていないと仮定すれば有理数は代表元の数字に一致することは
>一切ないとして話をすすめることができる
>スレ主が零集合を持ち出すのは同じ理由でしょう?
その仮定には、不同意です
零集合が理解できないなら、この議論に参加しないでください
そのレベルでは、貴方には時枝記事の理解は、無理ですよ
> 決定番号の定義から100*j番目まで一致しないのなら決定番号は(100*j)+1
> 100列に分けた数列の1列目のj番目まで一致しないのなら決定番号はj+1で出題された数列の(100*j)+1番目
> 100列に分けた数列の2列目のj番目まで一致しないのなら決定番号はj+1で出題された数列の(100*j)+2番目
> 100列に分けた数列の100列目のj番目まで一致しないのなら決定番号はj+1で出題された数列の(100*j)+100番目
細かいですが、上記4例は、全て”以降”を付けてくださいね。これからもお願いしますよ。混乱しますから。現実に、小学生が混乱しているふしがある
”(100*j)+1以降、(100*j)+1番目以降、(100*j)+2番目以降、(100*j)+100番目以降”です!
可算無限数列のしっぽの同値類の代表ですよ。だから、しっぽでは一致しているわけで
どこかで一致するのは、当然ですよ。あとの問題は、一致が先頭からどの辺りから、一致が生じるかですよ
私の反例構成は、(>>429)「先頭からn=100*j (j>1の整数)までは、当てられない(正確には零集合なので確率0)」という数列を構成した
まず、ここまでを認めて貰えば良い!
「n=100*j以降、つまり、各列で言えば、j列以降で当てられる」という反論は想定内です
だが、”j”はいくらでも大きく取れるということを、お忘れなきように!!!
つまり、このあとのことは>>499に少し予告を書きました
また、>>515にもう少し詳しく説明しましたよ
以上です
629:132人目の素数さん
17/08/31 20:56:26.33 AscWxt50.net
>>512
>なお、>>470に書きましたが、下記”拡大実数”の立場に立てば、+∞の元を考えることは可能です。それは”定義するかしないか”だけの問題です
だから何?
630:現代数学の系譜 物理工学雑談 古典ガロア理論も読む
17/08/31 21:05:29.29 AnxaeSI4.net
>>567
ID:IDuGvx/Aさん、どうも。スレ主です。
どの発言かな? 私の発言なら答えるが、他人の発言なら、原則スルーします
>>568
ID:AscWxt50さん、どうも。スレ主です。
>>同様に、”決定番号の集合Kの濃度は無限であるが、∀k∈Kは有限値である”ですよ
>つまり「決定番号=∞」を撤回したってことでしょ?
>俺が聞いてるのはいつ撤回したのか? だよ
「決定番号=∞」なんてことは、最初から一切言っていないよ
ただ、”決定番号の集合Kの濃度は無限であるが、∀k∈Kは有限値である”
で、「kに上限は無い」(ある意味での無限だが、これ”∞”という記号を使うこととは違いますよね)ということは、常に発言しています。いまでもそうですよ
相手が、”この区別ができてないだけのことですよ
あれ? この声は、High level peopleさんかね?
あんたも、”この区別ができてない”口か?
631:132人目の素数さん
17/08/31 21:06:15.82 G9J+gBv6.net
>>572
> 細かいですが、上記4例は、全て”以降”を付けてくださいね。
1列目のj+1番目は出題された数列の(100*j)+1番目だから付ける必要はないですよ
> あとの問題は、一致が先頭からどの辺りから、一致が生じるかですよ
分けた列の決定番号がj+1なら分けた列ではj+1番目から一致が生じるということです
>>555
> 出題するR^Nの元は代表元を第三者Cさんが1つ選んでその代表元の先頭から有限個の数字をスレ主が
> (一致しても構わないが基本的には代表元と一致しないように)入れ替えることでつくる
この場合だとn=(100*j)+1番目から一致が生じることが分かります
632:132人目の素数さん
17/08/31 21:20:25.51 IDuGvx/A.net
>>574
いや超準解析の話題はお前が貼ったコンヌのコピペだけだろ
小数の話はほぼ関係ないだろこれ
633:現代数学の系譜 物理工学雑談 古典ガロア理論も読む
17/08/31 21:29:51.25 AnxaeSI4.net
TV見てました。日本勝ちましたね、2-0(^^
URLリンク(www.yomiuri.co.jp)
井手口のゴールで2-0、豪州戦…勝てばW杯 2017年08月31日 21時18分
634:現代数学の系譜 物理工学雑談 古典ガロア理論も読む
17/08/31 21:34:10.86 AnxaeSI4.net
>>576
ああ、そういう話を言っていたのか?
まあ、関係ないが、超準解析も、無限大や無限小を扱う一つの手法ではあるわけ
で、哀れな素人さんは、無限大や無限小を拒否しているんだが
現代数学でも、無限大や無限小を扱うやり方と立場はいろいろあるねと
その一例のつもりだったんだ(^^
細かい話は、ほとんど無関係だが
検索ヒットした記念のコピペです(^^
635:132人目の素数さん
17/08/31 21:48:44.32 G9J+gBv6.net
>>572
当てることができる or 当てられないと言っているが
正確には箱は3種類ある
1) 数当てを実行して
636:中身を当てることができる箱 2) 数当てを実行しても中身を当てることができない箱 3) 数当ての前に開けて中身を確認する箱(数当てによって中身を当てる or 当てられないと無関係の箱) > 「先頭からn=100*j (j>1の整数)までは、当てられない(正確には零集合なので確率0)」という数列を構成した 先頭からn=100*j番目までの箱は上の3)だから反例ではない
637:132人目の素数さん
17/08/31 22:00:33.03 AscWxt50.net
>>345
>そこで、特に先頭の数たち r1,r2,r3 ,・・・,r_n-2,r_n-1 ,r_n に注目すると
>この数たち一つでも、区間[0,ε]の中の有理数と一致する確率は0(ゼロ)
何で?
638:132人目の素数さん
17/08/31 22:07:09.52 AscWxt50.net
>>345
>だから、このようにして、私Aが、先頭からn=n'*(d_max+α) までの箱に、区間[0,ε]の中の有理数を入れ、残りに、第三者Cが、n+1番目以降の箱に、R (-∞、+∞)から選んで、任意の実数を入れることにすると、反例が構成されるのだ
何で?
639:132人目の素数さん
17/08/31 22:23:03.03 AscWxt50.net
>>345
x∈R を無作為に選んだ時、x∈{q∈Q|q∈[0,ε]} を満たす確率は 0 だと言ってるの?
だから r_i∈{q∈Q|q∈[0,ε]}(1≦i≦n) ならば、
r_1, r_2, ... ,r_n, ... という実数列の決定番号は n より大きい
と言ってるの?
だとしたらあんた恐ろしくバカだね
640:現代数学の系譜 物理工学雑談 古典ガロア理論も読む
17/08/31 22:47:31.78 AnxaeSI4.net
>>575
貴方は、まだ元記事を、きちんと読んでいませんね
そして、記事を正確に理解していませんね(それから、確率論にも疎いですね)
追記
あなたは、時枝記事を原文をきちんと図書館で、読んで貰えますかね?
それから、質問してもらえますか?
そして、>>496と>>429に書いたこと及びそこのリンクすべてを、読んでください
(引用終り)
つづく
641:現代数学の系譜 物理工学雑談 古典ガロア理論も読む
17/08/31 22:48:57.33 AnxaeSI4.net
>>583 つづき
さて、本題
>> 細かいですが、上記4例は、全て”以降”を付けてくださいね。
>1列目のj+1番目は出題された数列の(100*j)+1番目だから付ける必要はないですよ
えーと、>>555
「スレ主の反例はmod 100で100列にわけるとしてn=100*j番目まで代表元と一致しないように
数字を入れたということ
決定番号の定義から100*j番目まで一致しないのなら決定番号は(100*j)+1」
でしたよね?
”n=100*j番目まで代表元と一致しない”からは、決定番号は(100*j)+1以降しか言えませんよ?
どうして、「決定番号の定義から100*j番目まで一致しないのなら決定番号は(100*j)+1」と言えますか?
”決定番号の定義”を誤解していませんか?
>> あとの問題は、一致が先頭からどの辺りから、一致が生じるかですよ
>分けた列の決定番号がj+1なら分けた列ではj+1番目から一致が生じるということです
??? なぜ、”決定番号がj+1”が言えるのですか??
”決定番号の定義”を誤解していませんか?
つづく
642:現代数学の系譜 物理工学雑談 古典ガロア理論も読む
17/08/31 22:50:58.86 AnxaeSI4.net
>>584 つづき
>>>555
>> 出題するR^Nの元は代表元を第三者Cさんが1つ選んでその代表元の先頭から有限個の数字をスレ主が
>> (一致しても構わないが基本的には代表元と一致しないように)入れ替えることでつくる
>この場合だとn=(100*j)+1番目から一致が生じることが分かります
なんですかそれは?
「出題するR^Nの元は代表元を第三者Cさんが1つ選んでその代表元の先頭から有限個の数字をスレ主が
(一致しても構わないが基本的には代表元と一致しないように)入れ替えることでつくる」なんて
それ、時枝記事の無茶苦茶な書き換えですよね
しかも、1つ選んでその代表元って・・・、その1つ選んでその代表元をmod 100で並べ替えますよね?
そうしたら、100列それぞれの属する同値類の商集合と代表元は、100通りありますよ
なにをしたいのか分かりませんが、推測するに、まず100通りの同値類の商集合と代表元を選んで
それで、代表元100通りの数列を、mod 100の逆で1列にして・・とやらないと、あなたの言うようにはなりませんね
それ、無茶苦茶な書き換えですよね。それで、元記事について、何が言えますかね?
mod 100とか、同値類の商集合と代表元とか、きちんと理解できていませんね
それ、原文を読んでないからですよ
以上です
643:現代数学の系譜 物理工学雑談 古典ガロア理論も読む
17/08/31 22:52:06.57 AnxaeSI4.net
>>579
>> 「先頭からn=100*j (j>1の整数)までは、当てられない(正確には零集合なので確率0)」という数列を構成した
>先頭からn=100*j番目までの箱は上の3)だから反例ではない
だから、そういう講釈は、どうでも良くって(^^
先頭からn=100*j番目まで当てられないという数列が、構成できたということを、まず認めて貰えばそれで結構ですよ(^^
あとは、jを大きくして行けばいいだけのこと
それは、>>572に書いた通りですよ
以上です
644:132人目の素数さん
17/08/31 23:22:24.67 G9J+gBv6.net
>>584-586
> なぜ、”決定番号がj+1”が言えるのですか??
> jを大きくして行けばいいだけのこと
決定番号は有限値なのである代表元に対してjを十分に大きくすれば必ず決定番号はj+1になります
だからjが十分に大きい場合は解答者が決定番号を求めるために中身を確認する際にn=100*j番目までの箱を全て開けます
(本来の数当てとは関係ないですが)開けた箱の中身を解答者は確認しているので全て知っていることになります
645:132人目の素数さん
17/08/31 23:28:31.75 l6U63yfl.net
<幻聴:宇宙からの量子論的電波の重ね合わせ、神からのお告げですぅ>
ある事象E が起こる確率 : P(E) = 1 - 0.99 = 0.01 とおく
ある事象E が101回目以降に起る確率は 1 - 0.99^100 = 0.639… ≒ 1 - 1/e
ある事象E が201回目以降に起る確率は 1 - 0.99^200 = 0.866… ≒ 1 - 1/e^2
ある事象E が301回目以降に起る確率は 1 - 0.99^300 = 0.950… ≒ 1 - 1/e^3
さて、0.99の代わりに 0.999…だとどうなるか
ある事象E が無限回以降こる確率は 1 - 0.999・・・ = 1 - 1 = 0 だから 0
だと思うようでは甘い。
では、N = 1/(1 - 0.999…
646:) = ∞ とおく Nは、1/0で不能だけど、キニシナイ! ∞とおく ∵ 神のお告げにより∞とおきなさいとのこと ある事象E がN+1回目以降に起る確率は 1 - 0.999…^∞ = 1 - 1/e ある事象E が2N+1回目以降に起る確率は 1 - 0.999…^(2*∞) = 1 - 1/e^2 ある事象E が3N+1回目以降に起る確率は 1 - 0.999…^(3*∞) = 1 - 1/e^3 だ。 んまぁ、神からのお告げの電波だけどね。 さらに、 ある事象E が2^N+1目以降に起る確率は 求めると まああえて今はここに記載しない。 それぞれの人間が、神からのお告げ電波を受信できるひとのみぞ知る ただ、 lim(n→∞)(1+1/n)^n が有限なある一つの値として定まり、 その値は超越数のネピア数eであることは、人間(先生から)を習ったかも。 さらに公式として lim(n→∞)(1+k/n)^n = e^k を暗記させらただろう。 そしたら、 lim(n→∞)(1-1/n)^n = 1/e が誰に教わらんでも神からの電波でにより知る。 さらに、 lim(n→∞)(1-1/n)^(k*n) = 1/e^k まで知る。 無限の存在は非現実であるが、数学上の無限大の意味は存在するのじゃ。 以上 神のお告げ ≡ 幻聴 でした。
647:132人目の素数さん
17/08/31 23:32:03.29 IDuGvx/A.net
・出題者のターン
零集合から何個か(たくさん)とって箱に入れる
残りは適当に実数を入れる
・解答者のターン
一列の箱をいくつかの列に分ける
ある列以外の箱を全部開ける
開けた列の決定番号(の最大値)を手に入れる
残った列の最大値より大きい番号の箱を全て開ける
開けた箱の中身と代表元とを見比べる
開いてない箱の一番後ろは代表元のそれと同じだと答える
この「たくさん」がいくらでも多くできるからおかしいって?
648:哀れな素人
17/08/31 23:38:51.07 ZRf7mVCX.net
スレ主よ、無限(少数)も1/3=0.33333……も定義ではない(笑
一体どこの誰がそんな定義をしたのか(笑
お前はそういうことを書いているから
○○だと馬鹿にされるのだ(笑
お前の知的レベルが、
そういうレスで丸分りになるのである(笑
お前だけではない。
依然として0.99999……=1だと書いている○○がいる(笑
要するにこのスレの全員がお前と同レベルの○○である(笑
649:132人目の素数さん
17/08/31 23:51:11.66 AscWxt50.net
有理数だと当てれないだと?
じゃあ
0,0,...,0,...
は当てれないんだあ(棒読み)
650:132人目の素数さん
17/09/01 05:25:53.14 M6DM1SW2.net
>>1は>>553-557(除く555)にはまったく反論できず完敗・・・
ヤケクソで555にイチャモン
そんなことしても無意味なのにな
651:132人目の素数さん
17/09/01 09:13:05.15 hW0Xyo2N.net
大類 昌俊(広義数学者 PDE-M俊太郎)
プロフィール
解析学・代数系・多様体・表現論・物理学・教育数学
の脆弱性・モーメントとGoogle+とAmazonで研究成
果公開中・自声の歌のツイートあり・9年以上いくつ
かの出版社と連絡し合っている。内容が直された(直
される)本は多数あり新版が出た本も数冊ある。「新
訂版 数理解析学概論」(レビューあり)序文の人。サイ
クリスト。
ライセンス
数検・英検・漢検それぞれ準2級;数検2級;数検準1級;高等学校卒業程度認定試験
キャッチフレーズ
人の役に立つために 数学界のために
コメント1
誰もやらないなら俺がやる。誰もできないなら俺がや
る。誰もしていないなら俺がやる。俺しかできないな
ら俺がやる。今しかできないなら今やる。今できない
ならやらない。やると言った
652:ことは遅くなっても形が 変わっても必ずやる。それが俺の生き方。 コメント2 加群の準同型定理の例にベゾフ空間と斉次ベゾフ空間 を当てはめることができた。準同型定理により同型と 言える。これで斉次ベゾフ空間を定義したら何が起こ るんだろう。ベゾフ空間の理論を代数的に観たら何が 分かるんだろう。ベゾフ空間は指数を自由自在に調整 して適材適所で使える。しかも量子力学だけではなく 表現論で常用されているL^2空間に指数を調整すれば 等しくなる。表現論に応用してみたい。トリーベル- リゾルキン空間と斉次トリーベル-リゾルキン空間に ついても同じことを考えられる。昨年の夏からたまに 群と環そして表現論を学んでいる。 (続く)
653:132人目の素数さん
17/09/01 09:28:25.20 hW0Xyo2N.net
>>593(続き)
コメント3
本の評価は「悪い所が無い本は無い」「どの本にも良
くない所はある」ことを前提にしています。その本に
おける論理展開やその本の趣旨あるいは著者の意向ま
たは本の特性に関して致命的でない場合は☆5から評
価を下げていません。 Amazonで購入した本は2冊目
または3冊目です。 2008年初夏から出版社に手紙を
出し続けています。レビューを書いた本を含む多くの
本の誤植や内容を訂正させ或いは変更させました。ま
た増刷の際に訂正される本も多くあります。新版が出
版された本も数冊あります。 Google+の各コレクショ
ンの固定投稿とTwitterの固定ツイート及びモーメント
にも研究成果の写真を公開しています。レビューに書
いた研究成果の写真も掲載しています。 谷島「ルベー
グ積分と関数解析」についてはかつて新版にもレビュ
ーしていましたが冤罪でレビューできなくなったので
旧版にあるレビューを編集しました。 他に冤罪など
でレビューまたは編集できなくなった 藤田-黒田-伊藤
「関数解析」 小川「非線型発展方程式の実解析的方
法」 松坂「集合・位相入門」 新井「ルベーグ積分講
義」 齋藤「線型代数入門」 溝畑「偏微分方程式論」
については関連書籍に自らコメントする形でレビュー
しています。
(続く)
654:132人目の素数さん
17/09/01 09:33:35.76 hW0Xyo2N.net
>>594(続き)
携帯端末からはPCサイトに切り替えてからPCサイト
またはモバイルサイトにアクセスしている場合にコメ
ントが見れます。その場合レビューの題名をタップす
るとレビューも写真もコメントも見やすいです。PC
サイトへの切り替えは商品ページまたはトップページ
の下部にて「Amazon PCサイト」をタップすると可
能です。 自分自身コメントをしている本の評価は全て
☆5です。 「数理解析学概論」旧版のレビューは編集
不可能にさせられたので2017年3月8日に削除しまし
た。新訂版の序文に書かれてある旧版にあった不備は
見抜いていました。また台がコンパクトな超関数の重
要性は新訂版が刊行される前に「実解析入門」のレビューと「非線型発展方程式の実解析的方法」の関連書
籍への自分自身コメントで言及していました。著者の
北田先生とは面識はなく相互に連絡したこともありま
せんが旧版のレビューとそのコメント欄を読んだそう
です。 「偏微分方程式論」「集合・位相入門」「非線
型発展方程式の実解析的方法」の自分自身コメントに
よるレビューはコメント欄の2ページ目に掲載されて
いる場合があります。
コメント4
変数係数2階線型非斉次偏微分方程式の境界値問題の
解の有名な一意存在定理を関数解析ではなく実解析の
方法で証明した。作用素と複雑な不等式ではなく超関
数と関数空間の初歩で解いた。仮定をかなり緩めてし
かも短く簡単に証明できた。3月からずっと放置して
いたが正確な記述に直しながら書き直した。
URLリンク(twitter.com)
(以上)
655:132人目の素数さん
17/09/01 11:02:51.26 TJx/p4kF.net
>>546
おっちゃんです。
>お前の計算しているのは極限値であり、
>極限値とは、かぎりなく近づくが到達しない値である(笑
この場合は変数xが x→+∞ になるときの話だが、+∞ は実数直線R上の点でも値でもない。
直線R上で +∞ は位置を表す対象ではなく、R上で変数xが +∞ に限りなく近付くとはいわない。
>そもそも1/2+1/4+1/8+……は1にはならない、ということは常識
これは 1/2+1/4+1/8+…… がどんなm(≧2)進法で表示されていようと
級数Σ_{k=1,2,…,+∞}(1/n)^k nは2以上の正整数 が =1/(n-1) と表わされることから
正当化しようがなく否定される。等比 1/2 の等比数列の無限級数は n=2 のときのことだ。
656:現代数学の系譜 物理工学雑談 古典ガロア理論も読む
17/09/01 11:08:17.09 mTNMVm+U.net
>>582
おお、ども。
良いヒント貰ったな。さすが、High level people !
これ見て、ちょっと思ったんだ・・(^^
まず、サイコロで、2回振って、出目が一致する確率を考える。場合の数は、1,2,3,4,5,6 の6通り。全体は、6x6=36通り。確率は、6/36=1/6
で、実数の集合Rから任意に選んだ2つの実数t1,t2が、一致する確率を考える。同様に考えて、一致する場合の集合は、R(t1=t2)。全体の集合(t1,t2)は、R^2。確率は、R/(R^2)=1/R
(なお、ここは、厳密には、集合の濃度を考えて、card(R)とする必要があるが、表現を簡明にするために上記とした。)
これを使えば、
>>344の反例構成がすっきりするね
>>344を改訂して
改訂前:△ 私Aが、先頭からn=n'*(d_max+α) までの箱に、数を入れる。そうだな、[0,ε]で、ここに、0<ε<1の任意の数。かつ、区間[0,ε]の中の有理数とする。*)
↓
改訂後:△ 私Aが、先頭からずっと任意の実数をランダムに入れる(時枝記事そのままで良い)
とします。
で、
「任意の実数列s に対し,袋をごそごそさぐってそいつと同値な(同じファイパーの)代表r= r(s)をちょうど一つ取り出せる」
なので、代表r= r(s)は、なんでも良くて、その商集合の元でありさえすれば良いのだった
r(s)= (r1,r2,r3 ,・・・,r_n-2,r_n-1 ,r_n,r_n+1,r_n+2 ,・・・)と書くと
各数 r1,r2,r3 ,・・・,r_n-2,r_n-1 ,r_n,r_n+1,r_n+2 ,・・・達は、任意の実数だ。
ただ、数列のしっぽの部分は、実数列sのしっぽと一致している必要があるだけだ。が、一般的にそれはずっとしっぽの先の方だ
つづく
657:現代数学の系譜 物理工学雑談 古典ガロア理論も読む
17/09/01 11:09:19.50 mTNMVm+U.net
>>597 つづき
そこで、特に先頭の数たち r1,r2,r3 ,・・・,r_n-2,r_n-1 ,r_n に注目すると
この数たち一つでも、私Aが入れたランダムな実数と一致する確率は0(ゼロ)
∵理由は上記の通り。確率=1/Rがベースだから。つまり、”有限な”n個の数r1,r2,r3 ,・・・,r_n-2,r_n-1 ,r_nの中で、どれか一つでも、私Aが入れたランダムな実数と一致する確率は0(ゼロ)
(補足:1つ一致する場合の確率n/R。これは、nが可算有限なので、0(ゼロ)。2つ以上一致する場合の確率も、同様に0(ゼロ)(ここらの詳細は、ほぼ自明なので略す)。)
つまり、決定番号が、1からnの間に来る確率は、0(ゼロ)。
これは、各列共通で、どの列でも成り立つ。
<補足>
これをお話し風に解説すると下記
1.先頭からずっと任意の実数をランダムに入れて作った数列に対して、それが代表元の数�
658:ニ頭から全部一致する可能性(確率)0(ゼロ)は、だれでも同意されるだろう。この場合、決定番号は1だ。 2.で、決定番号は2の場合で、頭から2番目以降が全部一致する可能性(確率)0(ゼロ)。これもだれもが同意されるだろう。 3.では、決定番号は3は、4は、5は、・・・、nは? という疑問が生じるだろう 4.ここで、無限長の数列から見たとき、先頭部分の有限のnも、1も、ほとんど違いがないということを思い出そう。 有限/無限=0であり、無限-有限=無限のようなことです(下記などご参照) https://ja.wikipedia.org/wiki/%E7%84%A1%E9%99%90 無限 以上
659:哀れな素人
17/09/01 11:14:35.76 mdP5Fd+K.net
おっちゃんはあいかわらず○○だな(笑
そもそもおっちゃんにしても例の男にしても
なぜそんな難しいことを考えるのか(笑
これは単に1/2+1/4+1/8+……は1になるのかならないのか、
という問題であって、10進法を前提とした話である(笑
そして1/2+1/4+1/8+……の極限値を計算できるが、
(それは1であるが)
極限値とは、かぎりなく近づくが到達しない値のことだ、
と言っているのである、そんなことは常識だ、と(笑
こんな常識をおっちゃんも
このスレの連中も分っていないのであって、
それは異常事態だと僕は言っているのだ(笑
ったく、こんな常識さえ分っていないようでは
話にならないのである(笑
660:132人目の素数さん
17/09/01 11:25:45.94 TJx/p4kF.net
>>599
>極限値とは、かぎりなく近づくが到達しない値のことだ、
>と言っているのである、そんなことは常識だ、と(笑
+∞ は実数ではないからそれは当たり前だ。x→+∞ のときは x≠+∞ だ。
661:哀れな素人
17/09/01 11:34:33.18 mdP5Fd+K.net
>>600
その当り前のことが、お前は分っているのか?(笑
まさか、それが分っていながら、
1/2+1/4+1/8+……=1
は正しいのだ、とか言い出すんじゃないだろうな(笑
662:132人目の素数さん
17/09/01 11:40:28.75 TJx/p4kF.net
>>601
1/2+1/4+1/8+……=1
は正しいだろ。何進法で考えても 0<1/2<1 だから、
10進法と同じように考えればいいだけ。
663:現代数学の系譜 物理工学雑談 古典ガロア理論も読む
17/09/01 11:47:48.90 mTNMVm+U.net
>>590
哀れな素人さん、どうもスレ主です。
>スレ主よ、無限(少数)も1/3=0.33333……も定義ではない(笑
>一体どこの誰がそんな定義をしたのか(笑
調べてみましたが、結構古いと思いますよ
歴史は、分かりませんでした(^^
ところで、「算用数字」という用語(下記)をご存知ですよね
”数”を、どの様に表すかなので、すべてお約束(定義)ですよ
URLリンク(ja.wikipedia.org)
循環小数
表記法
循環節を明示する表記法がいくつかある。例えば、循環節の始まりと終わりを点で示し、・・・略
URLリンク(ja.wikipedia.org)
小数
小数の起源
現代の小数と同じ十進法における小数は、記録に残る所では古代中国が最古である。劉徽は263年に九章算術という数学書の注釈本を著しているが、そこに小数の表記が見られる。
現代の数学の系譜であるヨーロッパの数学においては、小数の導入は遅れた。これはエジプト式分数表記が普及していたためである。
ヨーロッパではじめて小数を提唱したのは、オランダのシモン・ステヴィンである。1585年に出版した「十進分数論」のなかで,はじめて小数を発表した。
その名が示す通り、分数の分母を10の累乗に固定した場合に、計算が非常にやりやすくなる事を発見し、それが小数の発明となった。
なお、ステヴィンの提唱した小数の表記法は、現代の「0.135」であれば、これを「1①3②5③」と表記する。現代のような小数点による表記となったのは、20年ほど後にジョン・ネイピアの提唱による。
URLリンク(works.sagooo.com)
2016/6/1 - 初心者 HM
HM
知識欲の赴くままに電脳の海に潜るネットの住人
算用数字と漢数字!文章における数字表記の使い分け
日本語には、ひらがな、漢字、カタカナと複数の表記方法があり、使い分けが文章を書く上のポイントになります。その中でも間違いやすいのが、算用数字や漢数字などの数字の使い分けです。
念のために説明をしておくと、算用数字は『0、1、2、3、4、5』と表記するアラビア文字のことで、漢数字は『零、一、二、三、四、五』という具合に漢字で表記した数字のことです。
664:哀れな素人
17/09/01 11:48:34.98 mdP5Fd+K.net
>>602
おっちゃんよ、だからお前さんはみんなから
○○だと認定されるのだ(笑
1/2+1/4+1/8+……
この無限級数の第n項までの和は1-1/2^nだ。
そしてn→∞のとき1/2^n→0だから、1-1/2^n→1だ。
これは、nが∞に近づけば1-1/2^nは1に近づく、
という意味であって、
nが∞になれば1-1/2^nは1になる、
という意味ではない。
こんなことは常識なのに、お前さんは数学科を出ていながら
そんなことさえ分っていないのだ(笑
665:132人目の素数さん
17/09/01 12:11:13.36 TJx/p4kF.net
>>604
>おっちゃんよ、だからお前さんはみんなから
>○○だと認定されるのだ(笑
高校数学で有限和の等比級数を考えてからその有限和に出て来る
0より大きく1未満の公比について極限を取って無限級数を求めてみな。
10進法で考えたときと同じことがいえる。
何進法で表示されたかが書かれていなければ、ローカルでは通じることがあっても、
一般には10進表示されたと考えるのが普通だ。
>1/2+1/4+1/8+……
>この無限級数の第n項までの和は1-1/2^nだ。
>そしてn→∞のとき1/2^n→0だから、1-1/2^n→1だ。
n→0 のとき → 1-(1/2)^n→1(或いは 1-(1/2)^n→1-0) だが、
その n→0 としたときの「1」が極限になる。
>お前さんは数学科を出ていながら
私もお前さんと同じように数学科卒ではない。
勝手な思い込み込みをしている。
666:132人目の素数さん
17/09/01 12:20:48.00 TJx/p4kF.net
>>604
>>605の訂正:
高校数学で → 高校数学に出て来るような
667:哀れな素人
17/09/01 12:30:10.95 mdP5Fd+K.net
>>603
スレ主よ、0.33333……のような小数を無限少数と呼ぶのは
定義といえば定義だ。そのように呼びましょうと決めたのだ。
しかし1/3=0.33333……は定義ではない。
これは慣用的にそのように書くようになっただけである。
本当は
1/3≒0.33333……
1/3>0.33333……
1/3←0.33333……
と書くように決めればよかったのに、そうしなかった。
それで1/3=0.33333……だと誤解する○○が
ごろごろ出てきたのである(笑
それだけのことだ(笑
そしてこのスレのほとんどの連中が、その○○なのである(笑
>>605
おっちゃんには、もう何も言わないことにする(笑
おっちゃんがどう考えようと勝手だが、
1/2+1/4+1/8+…… は1にはならないことは、
世間のまともな人は誰でも分っている(笑
668:132人目の素数さん
17/09/01 12:37:54.42 TJx/p4kF.net
>>607
近似値を表す記号「≒」の使い方は
>1/3≒0.33333……
のように使うのではなく、
>1/3≒0.33333
のように書いて使う。
これは高校の理科とかでも習ったであろう。
669:哀れな素人
17/09/01 12:46:59.58 mdP5Fd+K.net
>>608
まったく世話の焼ける人だな(笑
1/3≒0.33333
1/3≒0.3333333333
1/3≒0.333333333333333
……
1/3≒0.333333333333333……
どこまでいっても
1/3≒0.333333333333333……
である。なぜなら
0.333333333333333……は実際は
0.333333333333333……333
という有限小数だからである(笑
分るか?(笑
無限小数なんて存在しないのである(笑
われわれが無限小数だと思っているものは、
実際は有限小数にすぎないのである(笑
670:132人目の素数さん
17/09/01 12:59:53.00 TJx/p4kF.net
>>609
「≒」という記号は近似値の他に近似式を表すときにも使われる。基本的には誤差を打ち切って、
本来の式の途中に表す有限な式や値の部分だけを取り出して書くときなどに使う。だから、
>1/3≒0.333333333333333……
とは書かない。式の書き方が間違っている。
671:132人目の素数さん
17/09/01 13:06:00.95 TJx/p4kF.net
>>609
>>61
672:0の訂正: 本来の式の途中に表す有限な式や値の部分 → 本来の式の最初から途中まで出て来るような有限な式の部分や近似値
673:132人目の素数さん
17/09/01 14:13:24.28 hW0Xyo2N.net
世の中、少ないくない人々が「べき級数」を「冪級数
」のように漢字で書く日が来てほしい. 変にカタカナ
や平仮名が混ざると, 数学では(ふりがなが必ずしも付
けられていない) 「巾」 を(「雑巾」の「きん」ではな
く) 「べき」 と読むことを知らされないと, 初学の人
や解析学を学んでいる人は特に違和感を持っていくだ
ろう. (「巾」の読み方を国語辞典で調べても「べき」
は無い)
674:132人目の素数さん
17/09/01 14:18:11.97 hW0Xyo2N.net
解析学では「N次元数空間(ユークリッド空間) R^N の有界な閉集合はコンパクトである」ことがよく使われる. 測度論ではR^Nの有限加法族の上に定められた有限加法的測度から測度を構成する時と区間の外測度が
長さに等しいことを証明する時に必ず要る. 本書にも
付録に証明がある. 私が考えた, 位相論を使わない証明
を紹介しておきたい.
Kは有界, すなわちKの適当な点p∈K と充分大きな半径
r の開球体B(p, r) はKを含むとする. Kは閉集合だからK
の任意の点列の極限はKに属する.これらをふまえて, K
が仮にコンパクトではないとして, Kの開被覆で有限被
覆できないもの {O_λ}_(λ∈Λ) を任意にひとつ選ぶ.K ⊂ O_1 ならいいのだが, Kに属していてもO_1 には属し
ていない点p_1 が存在する.K ⊂ O_1 ∪ O_2 であれば
いいのに, Kには属するがO_1 ∪ O_2 には属さない, す
なわちO_1 にもO_2 にも属さない点p_2 が存在する.
{O_λ}_(λ∈Λ) から有限被覆 K ⊂ O_1 ∪ O_2 ∪ … ∪ O_
n は不可能なので, Kには属するが全てのO_n に属さな
い点p_n が存在する. 点列 {p_n}⊂K は有界なので収束
する部分列を含んでいる. それを {p_m} とすると, Kは
閉集合だから {p_m} の極限 p:=lim_(m→∞)p_m∈K .
Kは有界だから中心をp∈K として充分大きな半径Rの
開球体 B(p, R)⊃K である.新たに有限被覆が見つかっ
たから最初からKはコンパクトなのではないかと思わ
れるがそうではない. 「どんな開被覆もKを有限個の元
で覆えない」と仮定したが, 実は「…」ということに
依存している有限被覆が見つかったという結論に至っ
た. つまり「Kはコンパクトではない:R^Nのどんな
開集合 O_1 , O_2 , … , O_n を選び出しても K ⊂ O_1
∪ O_2 ∪ … ∪ O_n とはできない」と言いながら, 実は
「R^N の中に既にある」1個の開集合で被覆できた.
こんなことが結論されてしまったのは「Kはコンパク
トではない」と仮定したからである. だからKはコンパ
クトではないことはあり得ないのである. ゆえにKはコ
ンパクトであるといわざるを得ない. 背理法を認める
限りKはコンパクトである.
675:132人目の素数さん
17/09/01 15:36:25.96 KL3r0fj+.net
開集合閉集合カバリングコンパクトを使って位相を用いないとは?
676:132人目の素数さん
17/09/01 16:12:34.24 KaMFQeaP.net
大類はバカだろ。おっちゃんレベル。
677:132人目の素数さん
17/09/01 16:44:46.39 TJx/p4kF.net
>>616
チミ、開集合や閉集合が距離空間とそれを一般化した位相空間やコンパクトなどの概念が
両者の空間で同じように理論展開され、この理論が位相の理論であること位は私でも知っている。
それより、大類とかいう人をストーカーして何やってんの。
678:132人目の素数さん
17/09/01 16:47:14.48 TJx/p4kF.net
>>615
>>616はチミ宛てのレスな。
679:132人目の素数さん
17/09/01 16:59:24.34 TJx/p4kF.net
というか、一般のN次元数空間(ユークリッド空間) R^N というハ
680:ウスドルフ位相が入った 距離空間の特殊例の空間上で近傍とかを考えた時点で位相は用いることになるんだが。
681:哀れな素人
17/09/01 17:34:45.07 mdP5Fd+K.net
>>610を読むと、
おっちゃんが僕が言っていることの意味を
全然分っていないことが分る(笑
おっちゃんは≒という記号は有限小数には使えるが、
無限小数には使えない、と言っているのだが、
僕は、無限小数とは実際は有限小数だ、
と言っているのである(笑
だから、
0.333333333333333……という無限小数は、実際は
0.333333333333333……3 という有限小数だから、
1/3≒0.333333333333333……と書いて良いのである(笑
682:132人目の素数さん
17/09/01 17:36:35.62 TJx/p4kF.net
>>616の
>開集合や閉集合が距離空間とそれを一般化した位相空間やコンパクトなどの概念が
>両者の空間で同じように理論展開され、
の部分は、整理して書くと
>開集合や閉集合、コンパクトなどの概念が、距離空間とそれを一般化した位相空間
>の両者の空間で同じように理論展開され、
だな。開区間は近傍の例になる。
683:哀れな素人
17/09/01 17:39:17.93 mdP5Fd+K.net
それにもともと、≒という記号は有限小数には使えるが、
無限小数には使ってはいけない、などという規則はない(笑
等しいものには=は使えるが、
等しくないものには=は使ってはいけないのである(笑
有限であろうと無限であろうと、そんなことは関係ない(笑
684:132人目の素数さん
17/09/01 17:53:10.91 TJx/p4kF.net
>>619
>1/3≒0.333333333333333……と書いて良いのである(笑
原理的にはそうだが、そもそも、
>1/3=0.333333333333333……
という式自体が成り立ち正しいから、わざわざ近似の記号「≒」を用いて
>1/3≒0.333333333333333……
と書いても何の意味もない。このようなとき、近似の記号「≒」を使うには、
右辺の無限小数を途中で打ち切って分数 1/3 の近似値としての有限小数か何かを持ち出して
>1/3≒0,9999
のように右辺を有限小数の近似値にして書くようなことをしないと意味がない。
685:132人目の素数さん
17/09/01 18:46:07.73 3zXOQMkm.net
>>597
> ただ、数列のしっぽの部分は、実数列sのしっぽと一致している必要があるだけだ。
> が、一般的にそれはずっとしっぽの先の方だ
スレ主の反例の構成法だとずっと先にはならない
>>585
> しかも、1つ選んでその代表元って・・・、その1つ選んでその代表元をmod 100で並べ替えますよね?
> そうしたら、100列それぞれの属する同値類の商集合と代表元は、100通りありますよ
ある代表元そのものを100列に分けると代表元は100通りになってそれぞれの列に決定番号が定まる
それら決定番号の最大値を D と置いて
先頭からn個にランダムに選んだ任意の実数に入れ替える
スレリンク(math板:382番)
スレリンク(math板:394番)
にあるようにnを大きくすればよいから「n=100*(D*β + α)」とする
この場合 (D*β + α) > D であるから100列に分けた数列は必ず(D*β + α)+1番目からそれぞれの代表元に一致する
つまりn=100*jが十分に大きければ列を分けた場合でもj+1番目以降は全てそれぞれの代表元に一致すると考えてよい
686:132人目の素数さん
17/09/01 19:00:33.91 3zXOQMkm.net
>>623に補足して
先頭からn番目までにランダムに選んだ実数を入れて代表元と一致しないとする
nが十分に大きければ100列に分けた場合でもnから決定番号をそのまま指定できる
nが十分に大きいと仮定すれば
1) n=100*jのとき100列の決定番号は全てj+1であるので解答者は必ず勝利する
2) n=(100*j)+1のときは1列の決定番号がj+2で残りの99列の決定番号はj+1
決定番号がj+2の列を解答者が選んだ場合のみ負ける
他の列を選べば99列の決定番号の最大値はj+2となるので解答者は勝利する
3) n=(100*j)+2からn=(100+j)+99の場合は決定番号がj+2である列が複数あるので
99列の決定番号の最大値はかならずj+2となり解答者は必ず勝利する
687:132人目の素数さん
17/09/01 19:18:11.47 M6DM1SW2.net
>>598
>1.先頭からずっと任意の実数をランダムに入れて作った数列に対して、
> それが代表元の数列と頭から全部一致する可能性(確率)0(ゼロ)は、
>だれでも同意されるだろう。
正確には「測度の可算加法性を知らんidiotならだれでも同意する」だな
>>1は「任意の自然数nについて、nが決定番号になる確率は0」と
主張したいようだが、それは測度の可算加法性に真っ向から反する
つまり決定番号は必ず自然数になるのだから、確率は1である
一方で個別の自然数について確率0だとすると、
0を可算個足して1にならなくてはならない
一方で可算加法性が成り立つなら0を可算個足しても0だ
つまり「確率0だ」とはいえない
しかし一方で「確率ε>0だ」ともいえない
非可測というのはそういうことだ
688:132人目の素数さん
17/09/01 19:21:33.69 M6DM1SW2.net
「箱入り無数目」の方法によって予測できる確率を計算するのに
数列から決定番号への関数が、可測である必要はない
100列あれば、かならず100個の自然数が得られる
その中から1個自然数を選んだときに、それが
100個の自然数の中の最大値でなければよい
そしてその確率は99/100
>>1は小学校の確率の計算も否定するほどの大馬鹿野郎なのか?
689:現代数学の系譜 物理工学雑談 古典ガロア理論も読む
17/09/01 20:14:52.48 FYwwpwUJ.net
>>623
>> が、一般的にそれはずっとしっぽの先の方だ
>スレ主の反例の構成法だとずっと先にはならない
そこは、あまり突っ込んでも数学的には意味無いですよ。
「ずっと」はあくまで、自然言語表現ですからね(^^
>それら決定番号の最大値を D と置いて
>先頭からn個にランダムに選んだ任意の実数に入れ替える
意味が分かりませんね
あなたは問題を作りかえているように見える
> スレリンク(math板:382番)
> スレリンク(math板:394番)
そこは、私は>>597で使っていません。
ですので、議論は分けてもらいたい
690:現代数学の系譜 物理工学雑談 古典ガロア理論も読む
17/09/01 20:15:10.70 FYwwpwUJ.net
>>624
>先頭からn番目までにランダムに選んだ実数を入れて代表元と一致しないとする
>nが十分に大きければ100列に分けた場合でもnから決定番号をそのまま指定できる
意味が分かりませんね
あなたは問題を作りかえているように見える
それはだめですよ
691:現代数学の系譜 物理工学雑談 古典ガロア理論も読む
17/09/01 20:15:43.05 FYwwpwUJ.net
>>625
>>1.先頭からずっと任意の実数をランダムに入れて作った数列に対して、
>> それが代表元の数列と頭から全部一致する可能性(確率)0(ゼロ)は、
>>だれでも同意されるだろう。
>正確には「測度の可算加法性を知らんidiotならだれでも同意する」だな
ここで言っていることは、単純で、>>597-598で作った可算無限数列sと、代表数列r(s)とが、先頭から全て一致する(決定番号1になる)確率は、ゼロだと。
それだけですよ。反論するなら、ゼロでないと証明してみ!(^^
そもそも、その部分は、>>598に書いているように、”お話し風に解説”でしかないから、そこを突いても、数学としての反論になっておりませんね~(^^
>>>1は「任意の自然数nについて、nが決定番号になる確率は0」と
>主張したいようだが、それは測度の可算加法性に真っ向から反する
主張したいが、まだ言ってない、まだ言ってない(^^
あんた勝手に、脳内妄想して、脳内の先取りの議論を混ぜるのは御法度だよ
いまは、まだ”任意の自然数nについて”ではなく、先頭部分の「”有限な”n個」(>>598)についてですよ(^^
>つまり決定番号は必ず自然数になるのだから、確率は1である
>一方で個別の自然数について確率0だとすると、
>0を可算個足して1にならなくてはならない
先頭部分の”有限な”n個に限って「確率0」でなら、よろしいでしょ?
現段階では、それしか言っていないからね(^^
692:現代数学の系譜 物理工学雑談 古典ガロア理論も読む
17/09/01 20:16:31.72 FYwwpwUJ.net
>>826
> 100個の自然数の中の最大値でなければよい
> そしてその確率は99/100
いま、その議論に、踏み込むつもり無し !(^^
先頭部分の”有限な”n個に限って「確率0」でなら、よろしいでしょ?
現段階では、それしか言っていないからね(^^
693:132人目の素数さん
17/09/01 20:23:03.02 M6DM1SW2.net
>>629
>ここで言っていることは、単純で、
>>>597-598で作った可算無限数列sと、代表数列r(s)とが、
>先頭から全て一致する(決定番号1になる)確率は、ゼロだと。
>それだけですよ。
それ >>1のただの「感想」じゃん
悪いがゼロなら測度の定義に反するよ
>>1は測度論を完全否定したわけだ
サスガ数学を全く知らないidiotだなw
>>>>1は「任意の自然数nについて、nが決定番号になる確率は0」と
>>主張したいようだが、それは測度の可算加法性に真っ向から反する
>主張したいが、まだ言ってない、まだ言ってない(^^
言えるわけない 言ったら人間失格の馬鹿になるwwwwwww
694:132人目の素数さん
17/09/01 20:25:38.10 M6DM1SW2.net
>>630
>> 100個の自然数の中の最大値でなければよい
>>そしてその確率は99/100
>いま、その議論に、踏み込むつもり無し !(^^
さすが、1列しか考えられない大馬鹿野郎だなw
>先頭部分の”有限な”n個に限って「確率0」でなら、よろしいでしょ?
ダメだな。測度論に反する。おまえ測度論、真正面から否定するんだ。
さすが大学で数学を一切学べなかった底辺工学部の大馬鹿野郎だなw
695:現代数学の系譜 物理工学雑談 古典ガロア理論も読む
17/09/01 20:27:50.41 FYwwpwUJ.net
>>625
ふと、「ディラック測度」(下記)というキーワードが閃いたな(^^
これ、過去スレで紹介したと思うけどね~
まあ、あんたには難しいかも知れんが・・、読んでおいてくれ。これ使えるような気がするな~。使うかどうか未定だがね(^^
URLリンク(ja.wikipedia.org)
ディラック測度
(抜粋)
その名称は、測度が特別な種類のシュヴァルツ超函数として得られるという事実に基づいての、(例えば実数直線上で定義される)シュワルツ超函数として考えたディラックのデルタ関数からの逆成である。
(引用終り)
696:現代数学の系譜 物理工学雑談 古典ガロア理論も読む
17/09/01 20:28:47.70 FYwwpwUJ.net
>>632
つー、>>633
697:132人目の素数さん
17/09/01 20:29:34.37 M6DM1SW2.net
>>633
>ふと、「ディラック測度」(下記)というキーワードが閃いたな(^^
無意味 超関数でも正当化できない
馬鹿は思考しないから永遠に馬鹿のままw
698:現代数学の系譜 物理工学雑談 古典ガロア理論も読む
17/09/01 20:48:50.21 FYwwpwUJ.net
>>633 ディラック測度 追加資料下記リンクご参照
過去スレ33 スレリンク(math板:478番) 2017/05/31(水)
699:現代数学の系譜 物理工学雑談 古典ガロア理論も読む
17/09/01 20:52:16.85 FYwwpwUJ.net
>>632
>>先頭部分の”有限な”n個に限って「確率0」でなら、よろしいでしょ?
>�
700:_メだな。測度論に反する。おまえ測度論、真正面から否定するんだ。 へへー 面白い主張だね(^^ 先頭部分の”有限な”n個に限って「確率0」でなら、OKですよ 測度論に反することはありませんよ(^^
701:現代数学の系譜 物理工学雑談 古典ガロア理論も読む
17/09/01 20:53:30.76 FYwwpwUJ.net
>>635
まあ、小学生には、”超関数”難しいかな?(^^
702:現代数学の系譜 物理工学雑談 古典ガロア理論も読む
17/09/01 21:06:30.18 FYwwpwUJ.net
一応、ご紹介をば(^^
Inter-universal geometry と ABC予想 20 山下剛のサーベイ出る
スレリンク(math板:1番)
703:132人目の素数さん
17/09/01 22:39:57.90 5XnQ8/Wq.net
>>609
>0.333333333333333……は実際は
>0.333333333333333……333
>という有限小数だからである(笑
ほう、それは何桁の有限小数ですかな?
704:哀れな素人
17/09/01 22:41:29.61 mdP5Fd+K.net
>>622
チミには何を言っても無駄だということがよ~く分った(笑
0.33333……という無限小数は実は無限小数ではなく、
0.33333……3 という有限小数なのである、
と僕は言っているのである(笑
705:哀れな素人
17/09/01 22:44:33.17 mdP5Fd+K.net
>>640
何桁でもチミのお好きなように(笑
706:132人目の素数さん
17/09/01 23:05:58.27 5XnQ8/Wq.net
>>642
つまり 0.033333…… は人によって値が異なるということですか?
707:132人目の素数さん
17/09/01 23:45:01.97 B1K4PEUW.net
それぞれの「実数」は固有の値を持っており、その値は固定されていて動かない。
もし 0.333… が実数なのだとしたら、これも動かない固定の値を持つことになるが、
>>641 によれば
0.333… = 0.333…3 (有限桁だが何桁でもチミのお好きなように)
ということらしいので、これでは値が可変であり、固定の値を持ってないことになる。
となれば、こいつにとっての 0.333… は実数ですらないことになる。
もちろん、こいつにとっての 0.333… は有限小数ですらない。
なぜなら、それぞれの有限小数は固有の値を持っており、その値は固定されていて動かないからだ。
一方で、こいつにとっての 0.333… は値が可変なので、けっきょく、これは有限小数ですらないことになる。
708:132人目の素数さん
17/09/02 05:57:48.65 pUe1Rpz8.net
>>638
底辺工学部の馬鹿には、測度も超関数も理解できまいw
709:132人目の素数さん
17/09/02 06:00:50.50 pUe1Rpz8.net
>>637
>面白い主張だね(^^
別に何も面白くない 貴様が測度を知らぬ馬鹿なだけ
>先頭部分の”有限な”n個に限って「確率0」でなら、OKですよ
NGですよ
>測度論に反することはありませんよ(^^
測度の定義に可算加法性があるのを知らんのか
可算加法性の意味が理解できんのか?
>>1の主張「測度0」は可算加法性に反するから
測度論に真っ向から反する
これが理解できない>>1は正真正銘のidiot
710:現代数学の系譜 物理工学雑談 古典ガロア理論も読む
17/09/02 07:11:27.69 OPDmgsSa.net
>>636 補足
下記の宝くじの例で、「母数をNとし、極限N→∞を考えると、p→0 で Σ1/N=1は変わらず」は、ディラック測度を使えば処理できるね
当たりくじ1枚のところに、デルタ関数があると思えば良い。収束は、弱収束というのか、確率収束というのか、正確なところは知りませんが
過去スレ33 スレリンク(math板:478-479番) 2017/05/31(水)
(抜粋)
>>201 「可算無限等確率測度が存在しないことの証明
Nを自然数全体の集合とします。
n∈Nに対してP({n})が一定となるような確率測度Pが存在するとして矛盾を示します
P({n})=pとおきます
p>0のときは測度の可算加法性よりP(N)=∞
p=0のときも測度の可算加法性よりP(N)=0
いずれにしてもP(N)=1を満たさないので矛盾。(終わり)」
まあ、これは、伝統的なコルモゴロフ流確率論の枠内。だが、いま時枝問題は、コルモゴロフ流確率論の枠を外して議論しないと行けないんじゃなかったか?
例えば、下記、デルタ関数を用いた測度の拡張が可能だ。
URLリンク(ogyahogya.hatenablog.com)
確率測度と弱収束 2014-10-14 id:ogyahogya 北見工業大学 特任助教
(抜粋)
ヘビサイド関数からディラック測度が定義されたのでいくつかの
711:ヘビサイド関数の凸結合から定義される確率測度は重み付けられたディラック測度というような感じになっています。 ガウス測度はディラック測度に収束することが示せます。ただし、収束は次のように弱収束の意味です。 (引用終り) 以前のスレでも書いたが、ある国の宝くじで、母数をNとし、当たりくじの番号をPiとする。当たりくじは簡単に1枚とする。当たる確率pは、p=1/Nだ。 だが、当たりくじ1枚は必ず存在する。だから、Σ1/N=1 ここで、極限N→∞を考えると、p→0 で Σ1/N=1は変わらず これは、伝統的なコルモゴロフ流確率論の枠内には収まらない。上記証明の通りですね だが、北見工業大学 特任助教が書いているような、デルタ関数を使った確率論を考えたら、正当化できるんじゃないかな? もっとも収束の意味が、上記弱収束の意味になるかも (引用終り)
712:現代数学の系譜 物理工学雑談 古典ガロア理論も読む
17/09/02 07:13:03.39 OPDmgsSa.net
>>645-646
つー、>>647
713:現代数学の系譜 物理工学雑談 古典ガロア理論も読む
17/09/02 07:23:14.86 OPDmgsSa.net
>>647 補足
佐藤一宏先生 北見工業大学 特任助教
こんな人やね
URLリンク(www.kazuhirosato.work)
(抜粋)
2006.3 函館高専情報工学科卒業
2009.3 京都大学工学部情報学科数理工学コース 卒業
2011.3 京都大学大学院情報学研究科数理工学専攻修士課程 修了
2014.3 京都大学大学院情報学研究科数理工学専攻博士後期課程 修了 博士(情報学)
URLリンク(www.kazuhirosato.work)
研究業績
(抜粋)
国内学会(口頭発表)
佐藤一宏:
軌道追従制御のための代数解析,
第1回制御部門マルチシンポジウム, 東京, 3月4日-7日, 2014.
講演
佐藤一宏:
制御分野に現れるリーマン多様体上の最適化問題,
東京理科大学 神楽坂キャンパス, 日本オペレーションズ・リサーチ学会(第4回最適化の基盤とフロンティア研究部会) 11月28日, 2015. (招待講演)
714:132人目の素数さん
17/09/02 07:23:19.59 pUe1Rpz8.net
>>647-648
おまえ、引用記事も理解できないidiotかよwwwwwww
「可算無限等確率測度が存在しないことの証明」って書いてあるじゃん
これでおまえは測度論的に死んだんだよwwwwwww
>デルタ関数を使った確率論を考えたら、正当化できるんじゃないかな?
ディラックδを使っても可算加法性に反する問題は解決できない
思考力のないサルが、口から出まかせでウソいうのやめなwww
715:現代数学の系譜 物理工学雑談 古典ガロア理論も読む
17/09/02 08:19:35.35 OPDmgsSa.net
>>650
今日の爆笑は、これか? ピエロ?
>「可算無限等確率測度が存在しないことの証明」って書いてあるじゃん
それは、ルベーグ測度を前提として正しいよ
問題は、時枝を数学的に扱うのに、どういう測度が適切なのかだろ?
ディラック測度の方が適切じゃないのかと言っているだけで、「可算無限等確率測度が存在しないことの証明」を否定しているわけでもなんでもないよ
そこで主張しているのは、宝くじの例で、「母数をNとし、極限N→∞を考えると、p→0 で Σ1/N=1は変わらず」は、従来の確率論の一様分布では処理できないが、ディラック測度を使えば処理できるということだよ
そもそも、必死の論点ずらしに、少しお付き合いをしただけで
1.おれが言っているのは、測度論的に、>>637"先頭部分の”有限な”n個に限って「確率0」でなら、OKですよ。測度論に反することはありませんよ(^^"ってことだけで
2.百歩譲って、おまえの脳内で考えている”主張「測度0」は可算加法性に反する”(>>646)ってことが、正しいとしても、そういう矛盾が生じるってことは、時枝の可算無限数列のしっぽを使う確率論が、通常の測度論と矛盾するってことだと思うよ。そのときは、独自のピエロ流確率論を作りなさいよ。ピエロ踊りしながらね(^^
716:哀れな素人
17/09/02 08:39:27.70 ST3+Q3O2.net
>>643-644
ピミらはふんとにパカだな(笑
0.33333……の桁数をどんなに増やしても
所詮0.33333……333 という有限小数にすぎないのである(笑
なぜこんな簡単なことが分らないのか(笑
717:132人目の素数さん
17/09/02 08:57:53.55 pUe1Rpz8.net
>>651
>問題は、時枝を数学的に扱うのに、どういう測度が適切なのかだろ?
いいや、そもそも箱入り無数目の予測成功確率の計算に
「決定番号関数」の積
718:分は必要ないってことだよw >ディラック測度の方が適切じゃないのかと言っているだけで、 ディラック測度でも正当化できない、と 思考能力ゼロのidiotの貴様に教えてやったまで >ディラック測度を使えば処理できるということだよ ウソはいかんよ 貴様の引用したHPにはそんなウソ書いてない 書けるわけがない、まったくの誤りだからなw 貴様が愚かにも勝手に妄想してるだけ しかし肝心の可算加法性は成り立たないままだから 貴様の妄想はウソのまま >1.おれが言っているのは、 >"先頭部分の”有限な”n個に限って「確率0」でなら、 >測度論的に、OKですよ。 >測度論に反することはありませんよ(^^"ってことだけ それがそもそも嘘 可算加法性が成り立たないのだから 測度の定義に反している 測度論に反している 気づけない貴様が計算能力ゼロ、論理的思考能力ゼロのidiot >2.百歩譲って、おまえの >「測度0」は可算加法性に反する”ってことが、正しいとしても、 貴様が理解できなくても、貴様の主張「測度0」は可算加法性に反する 安心して俺様に焼かれて食われろ 黒ブタw >そういう矛盾が生じるってことは、 >時枝の可算無限数列のしっぽを使う確率論が、 >通常の測度論と矛盾するってことだと思うよ。 問題ない。 「箱入り無数目」の予測成功確率に 「決定番号関数」の積分は一切用いない 一切だ 単純に100個の自然数から、たかだか1個存在する 「他の99個よりも大きい自然数」を選ぶ確率が たかだか1/100に過ぎない、という小学生の確率計算 を認めればいいだけwwwwwww
719:哀れな素人
17/09/02 09:06:30.13 ST3+Q3O2.net
>idiotかよwwwwwww
>焼かれて食われろ 黒ブタw
↑典型的な一石の文章だから、このアホは一石だ(笑
エラソーなことを書いているが、どうせ間違いだろう(笑
720:132人目の素数さん
17/09/02 09:07:04.54 X5wiAWsJ.net
>>652
お前にとっての 0.333… は有限小数ですらない。
なぜなら、それぞれの有限小数は「固有の値」を持っており、その値は固定されていて動かないからだ。
一方で、お前にとっての 0.333… は桁数が可変なので値も可変であり、「固有の値」を持っていない。
よって、お前にとっての 0.333… は有限小数ですらないことになる。
π も e も √2 も 0.33333 (3が5個) も、固有の値を持っていて動かない。
そういうものを実数と呼ぶのであり、値が可変で動くような対象は実数ですらない。
それでも 0.333… が有限小数だと言い張るのであれば、
0.333… が持つ「固有の値」すなわち動かない固定値を述べたまえよ。
721:132人目の素数さん
17/09/02 09:20:27.25 pUe1Rpz8.net
>>654
ヤフ男よ この>>1とかいうブタ
ヤフーにもってってくれないか?
こいつどうせフタを開けたら
おまえらと同じ有限馬鹿みたいだからw
722:哀れな素人
17/09/02 09:24:19.48 ST3+Q3O2.net
>>655
ぽまいはふんとにパカだな(笑
0.33333……の桁数をどんなに増やしても
所詮0.33333……333 という有限小数にすぎないのである(笑
なぜこんな簡単なことが分らないのか(笑
それが100桁なら100桁の有限小数だし、
101桁なら101桁の有限小数だ。
その都度、お前がいう固定値がある(笑
こういうごく簡単なことを、ここの連中はパカだから
理解できないのだ(笑
723:哀れな素人
17/09/02 09:26:52.01 ST3+Q3O2.net
>>656
お前ら無限馬鹿はこのスレでアホ論議を続ければいい(笑
724:132人目の素数さん
17/09/02 09:27:12.28 AKDi/D4y.net
賛成だね
自惚れピエロは百害あって一利無し
725:132人目の素数さん
17/09/02 09:33:03.45 X5wiAWsJ.net
>>657
>それが100桁なら100桁の有限小数だし、
>101桁なら101桁の有限小数だ。
>その都度、お前がいう固定値がある(笑
「書くたびに、その都度、固定値がある」という言い方からして間違っている。
なぜなら、「固定値」あるいは「固有の値」とは、書く人によって値が変動しない量のことを言うからだ。
書く人によって値が変動するのなら、「固有の値」を持ってないことになるので、その時点でお前の負けである。
たとえば、π が持つ「固有の値」は、書く人によって値が変動するようなものではなく、
文字通り「固有の」値を持っていて動かない。誰が「π」と書いても、πが持つ値は変化しない。
もしπに固有の値がなく、書くたびに値が変化する可変値なのであれば、もはやπは実数ですらない。
同じように、お前にとっての 0.333… は、書く人によって値が変動するので「固有の値」を持っていない。
そういう対象は実数ですらない。すなわち、お前にとっての 0.333… は実数ではない。
もちろん、お前にとっての 0.333… は有限小数ですらない。
726:132人目の素数さん
17/09/02 09:34:33.14 pUe1Rpz8.net
>>641
>0.33333……という無限小数は実は無限小数ではなく、
>0.33333……3 という有限小数なのである
統合失調症患者の妄想に興味はない
727:132人目の素数さん
17/09/02 09:46:42.49 AKDi/D4y.net
哀れな素人にできる唯一の社会貢献
それは自惚れピエロなる害悪をここから消し去ることである
728:132人目の素数さん
17/09/02 09:47:19.50 pp+SZsCy.net
>>661
単なる寂しがり屋だろ素人氏は。
とにかく注目を浴びたいんだよ
729:132人目の素数さん
17/09/02 09:48:00.50 pUe1Rpz8.net
無限小数が存在しない、という理由が
「無限小数は書けないから」というなら
2^(2^(2^(2^(2^2))))桁の小数�
730:� 存在しないことになるな
731:132人目の素数さん
17/09/02 09:50:05.69 pUe1Rpz8.net
>>663
正直言うとヤフ男はネタが陳腐でツマラン
732:ネタが陳腐でツマラン哀れな素人
17/09/02 09:59:15.76 ST3+Q3O2.net
>>660-665
アホレス乙(笑
0.33333……の桁数をどんなに増やしても
所詮0.33333……333 という有限小数にすぎない(笑
こんな簡単なことが分らない統合失調症を
相手にしても意味がない(笑
ま、アホはアホどうし議論していればいい(笑
733:132人目の素数さん
17/09/02 10:02:00.93 pp+SZsCy.net
>>665
ほどほどの陳腐さこそ重要。
それがマーケティングってもんです。
>>442のamazonのレビュアーは笑いが分かる奴ですな。
>>444はその笑いが分からない典型的コミュ障。案の定おっつぁんでした(笑)
734:哀れな素人
17/09/02 10:11:31.24 ST3+Q3O2.net
>>667
お前はただのアホですな(笑
典型的コミュ障以前のアホですな(笑
ま、なにしろケーキを食べ尽くすことはできない、
ということすら理解できないアホの巣だから仕方ないか(笑
735:132人目の素数さん
17/09/02 10:15:14.47 X5wiAWsJ.net
>>666
>0.33333……の桁数をどんなに増やしても
>所詮0.33333……333 という有限小数にすぎない(笑
それだと、書く人の気分に応じて値が変化するので、固有の値を持っていない。
よって、お前にとっての 0.333… は有限小数ではないし、実数ですらない。
「固有の値を持つ」とは、書く人の気分に応じて値が変化することがなく、
誰がいつ書いても全く同じ値になることが保証されているとき、
すなわち、文字通り「固有の」値を持っているときを言うのである。
そして、どのような実数も固有の値を持っているのである。
すなわち、どのような実数も、「書く人の気分に応じて値が変化することがない」
という性質を満たす、文字通りの「固有の」値を持っているのである。
たとえば、π は「固有の値」を持っている。πの値は、書く人によって値が
変動するようなものではなく、誰が「π」と書いても、πが持つ値は変化しない。
これがもし、「π」と書くたびに値が変化するのであれば、もはやπは実数ではない。
同じように、お前にとっての 0.333… には、
「書く人の気分に応じて値が変化することがない」とい性質を満たす値が存在せず、
書く人の気分に応じて いちいち値が変化する。
よって、お前にとっての 0.333… は有限小数ではないし、実数ですらない。
736:132人目の素数さん
17/09/02 10:21:23.20 g9eSvDEU.net
哀れな素人は妄想崩れたらただの腐れ爺だから、自我を
守るためには、「自分だけが真実に気づいている」
つまり世の中の大多数のひとより知的な高みにある
という妄想に縋るしかないのである
737:132人目の素数さん
17/09/02 10:33:43.02 AKDi/D4y.net
>>670
それあの人と同じw
738:哀れな素人
17/09/02 10:50:00.67 ST3+Q3O2.net
>>669
お前は文章はまともだが、頭はあまり良くない(笑
0.33333……の桁数をどんなに増やしても
所詮は有限小数にすぎないのである(笑
なぜこんな簡単なことが分らないのか(笑
>>670
>世の中の大多数のひとより知的な高みにある
これは事実だから仕方ない(笑
というより、お前らがあまりにアホなのである(笑
世間のまともな人は誰でも、
ケーキを食べ尽くすことはできない、
ということくらいは分っているし、
1/2+1/4+1/8+……は1にはならない、
ということくらいは分っているのだ(笑
ただし無限小数は実際は有限小数である、
ということを分っている人は少ないだろう(笑
739:132人目の素数さん
17/09/02 11:00:48.50 X5wiAWsJ.net
>>672
――――――――――――――――――――
(1):
0.3 ← これは誰が書いても値の変動がなく、固有の値があるので、実数であり、しかも有限小数である。
0.33 ← これは誰が書いても値の変動がなく、固有の値があるので、実数であり、しかも有限小数である。
0.333 ← これは誰が書いても値の変動がなく、固有の値があるので、実数であり、しかも有限小数である。
: :
: :
(2):
0.333… ← これは書く人の気分に応じて値が変動するので、固有の値がない。
よって、これは実数ではないし、有限小数でもない。
――――――――――――――――――――
お前が何度も主張しているのは、
「(1)のリストに列挙されているものは、どれも実数であり、有限小数である」
ということに過ぎない(それ自体は正しい)。
しかし、そのことは「 0.333… 」が有限小数であることを意味しない。
なぜなら、お前にとっての「 0.333… 」には固有の値が存在しないからだ。
固有の値が存在しないなら、それは実数ですらない。
すなわち、お前にとっての 0.333… は実数ですらなく、もちろん有限小数ではない。
お前は(1)と(2)を混同しているのである。
740:132人目の素数さん
17/09/02 11:05:42.76 pUe1Rpz8.net
ヤフ男も>>1もおっちゃんも同じidiot
数学が理解できない落伍者である
落伍者が自分を天才だと妄想して自らを慰めるのは
よくあることだが他人から見れば痛々しいだけ
741:132人目の素数さん
17/09/02 11:10:04.52 QYlbdN8T.net
>>667
おっちゃんです。
>その笑いが分からない
笑ったときは腹が痛くなる程心底から笑うが、滅多なことでは笑わない。
そこらのバラエティー番組のような笑いが分かる質ではない。
そのような程度の笑いでは笑わない。
742:132人目の素数さん
17/09/02 11:11:06.76 pUe1Rpz8.net
そもそも無限小数というのは表現ではない
つまり書き表された結果として提示されるものではない
743:132人目の素数さん
17/09/02 11:14:18.56 QYlbdN8T.net
>>674
悪いね、もうそろそろ論文を書くために LaTeX2e とかの本を買ったんだ。
準備中だよ。
744:132人目の素数さん
17/09/02 11:15:09.61 pUe1Rpz8.net
>>677
印刷屋でも始めるのか?w
745:132人目の素数さん
17/09/02 11:16:50.08 QYlbdN8T.net
LaTeX2e で書くことは、紙に書くより書きにくいね。
746:他人から見れば痛々しいだけの哀れな素人
17/09/02 11:17:43.63 ST3+Q3O2.net
>>673
お前はペン男だな(笑
お前は僕の書いていることの意味が分っていない(笑
お前が0.33333……と書いている、通常無限小数と
呼ばれているものは、実際は
0.33333……3 という有限小数にすぎないのである(笑
0.333 ←これは有限小数である。
0.33333 ←これも有限小数である。
0.3333333 ←これも有限小数である。
……………………
0.333333333…… ←これも実際は有限小数なのである。
分るか?(笑
どこまでいっても同じである。
どこまでいっても有限小数である。
決して真の無限小数にはならない。
747:132人目の素数さん
17/09/02 11:19:04.33 QYlbdN8T.net
>>677
いや、fee がかからないきちんとしたジャーナルに出すつもりだ。
748:132人目の素数さん
17/09/02 11:21:35.31 QYlbdN8T.net
>>678
>>681はお前さん宛てね。
749:132人目の素数さん
17/09/02 11:26:01.76 X5wiAWsJ.net
>>680
>0.333 ←これは有限小数である。
>0.33333 ←これも有限小数である。
>0.3333333 ←これも有限小数である。
>……………………
>0.333333333…… ←これも実際は有限小数なのである。
最後の1行が間違っている。お前にとっての「 0.333333333…… 」は、
書く人の気分に応じて値が変動するので、実数ではないし、有限小数でもない。
もし実数であれば、
「書く人の気分に応じて値が変動することのない、文字通りの "固有の値" 」
が存在するのである。たとえば、πには固有の値が存在し、誰が「π」と書いても
値の変動は起きない。しかし、お前が言うところの「 0.333333333…… 」には、
そのような性質を満たす固有の値は存在せず、書く人の気分に応じて値が変動する。
となれば、お前が言うところの「 0.333333333…… 」は自動的に実数ではないことになり、
もちろん有限小数ですらないことになる。と、そこでお前が(2)への反論として持ち出す詭弁は、
「どんなに桁数を増やしても有限小数だ」というものであるが、それは
「(1)のリストに列挙されているものは、どれも実数であり、有限小数である」
ということに過ぎないのであり、(2)については何ら反論できておらず、
議論を(1)にすり替えて詭弁を展開しているに過ぎないのである。
すなわち、お前は「 0.333… 」が実数でも有限小数でもないことに何ら反論できてないのである。
なぜこんな簡単なことが分らないのか(笑
750:132人目の素数さん
17/09/02 11:26:52.05 pUe1Rpz8.net
>>681-682
なんだやっぱり印刷屋か
論文誌印刷の仕事が入ってよかったな
751:132人目の素数さん
17/09/02 11:32:26.85 QYlbdN8T.net
>>684
論文掲載に fee が無料なジャーナルと有料なジャーナルとがあるのを知らんのか?
752:哀れな素人
17/09/02 11:32:53.60 ST3+Q3O2.net
>>683
お前は救いようのない○○だな(笑
πはπと書けば固有値を持つ実数である。
しかしそれを3.14159……という無限小数で表わすと、
どんなに桁を増やしても有限小数である。
分るか?(笑
どんなに桁を増やしても有限小数だから、
3.14159……はπにはならないのである(笑
分るか?(笑
ただし3.14159……という無限小数の極限値はπである。
これは、3.14159……という有限小数の
桁を増やせば増やすほどπに近づきますよ、という意味である。
もしお前が、0.33333……の桁数を増やせば無限小数になる、
と思っているなら、実際にやってみればいい。
紙に0.33333と書いて、3を書き足してみればいい(笑
何兆年、何京年かけても、無限小数にはならないだろう(笑
753:過去ログ ★
[過去ログ]
■ このスレッドは過去ログ倉庫に格納されています