21/12/30 15:56:12.99 7pwwrpi3.net
必死で敬語をた持とうとしたいるが
必死で平静であるかの様に振る舞うが
必死で理知的であるかの様に見せているが
必死で論理的に主張しているつもりだが
何一つ出来ておらず看破される
それがa_watcherクオリティ
383:１３２人目の素数さん
21/12/30 15:57:18.05 QPhtoI66.net
このひと、>>362URLの写真や文章が指す
緑色虫ケラアイコン氏とお話しし始めちゃったよ
これも若年性認知症か
365 名前:１３２人目の素数さん [sage] :2021/12/30(木) 15:53:12.73
>>362
いえ、あなたには全く関心がないのですが
384:１３２人目の素数さん
21/12/30 15:59:22.36 QPhtoI66.net
午後は物凄いスピードで精神の劣化が進んでいてかわいそうな感じだね
385:１３２人目の素数さん
21/12/30 15:59:56.24 .net
>>366
あなたが例によって混同する妄想をしていると思ったのでね
ここは素人による荒らしスレッドですよ
IUTに興味がある人は別スレッドで書き込みします
つまりここにはある特定の人物「１」と遊びたい
暇人が訪れるスレッドなのですよ
あなたは「１」のお友達なんですか？
まさか「１」本人ではないですよね？
あまりにも芸風が違い過ぎるのでね
で、もったいぶらずに
「緑色アイコンの人」
「緑色の虫ケラアイコンの人」
のツイッターアカウントを白状しなさい
そうすればあなたのことは只の●人として
レス一つ返しませんから
それがあなたのお望みなんでしょう？
386:１３２人目の素数さん
21/12/30 16:02:17.49 oZuGW8qN.net
あの時a_watcherが彼女に勝てなかった敗因がよく現れている
a_watcherあの時の敗因と反省点を覚えよう
387:１３２人目の素数さん
21/12/30 16:04:09.03 .net
「緑色の虫ケラアイコン」＝apj=天羽優子
ってことみたいですね
この人の過去のツイートを検索してもいいんですが面倒なんで
「緑色アイコンの人」のアカウントを教えてください
いったいどんなことをいったのか興味あるので
apj氏は数学も情報科学も疎いみたいなんで関心ないです
388:１３２人目の素数さん
21/12/30 16:05:19.85 QPhtoI66.net
>>365は緑色虫ケラアイコン氏を指して
「あなた」呼ばわりし
緑色虫ケラアイコンのTwitterアカウントを教えろと迫っている
これってやっぱりID無し統合失調患者氏が
緑色虫ケラアイコン氏の素性を探って
プロポーズするハッピーエンドパターンかな
一心同体なんだからさっさと入籍して
自家受精なり細胞分裂なりして家族を増やせばいい
389:１３２人目の素数さん
21/12/30 16:07:09.25 QPhtoI66.net
緑色虫ケラアイコン氏が山形の精神異常者と判明したなら本人に聞けばいいじゃんwバカじゃないかコイツ
統合失調患者と山形の精神異常者のカップル誕生おめでとう
390:１３２人目の素数さん
21/12/30 16:07:29.95 .net
>>374
>プロポーズするハッピーエンドパターン
それはないです
僕には久保史緒里さんがいますので（マジ）
391:１３２人目の素数さん
21/12/30 16:09:22.05 .net
>>375
いや、あなたに聞いたほうが早いです
さっさと「緑色アイコンの人」のアカウントを教えなさい
392:１３２人目の素数さん
21/12/30 16:09:37.76 QPhtoI66.net
このID無し統合失調患者の書き込み
午前も午後も砂を噛むように退屈であくびが出る
山形あたりのメンタルクリニックか精神病院に
収容してもらえばこのスレも平和になるのにね
393:１３２人目の素数さん
21/12/30 16:09:47.93 oQfnXEhK.net
既に天羽氏は資産家と結婚して子供もいます
出来るなら不倫でしょうが天羽氏はそんな下等な人間ではないので無理でしょうね
394:１３２人目の素数さん
21/12/30 16:10:57.68 QPhtoI66.net
>>377
他人に何かを期待して答えを迫るのは
強迫性人格障害の症状です
山形大学医学部附属病院精神科での治療をお勧めします
395:１３２人目の素数さん
21/12/30 16:10:58.92 1/F1C1wb.net
確かに面白い書き込みとはこの様ですな物を指す
URLﾘﾝｸ(i.imgur.com)
396:１３２人目の素数さん
21/12/30 16:12:57.11 QPhtoI66.net
>>379
さっきも指摘したのだけど
現状でその名前の人に固執しているのは
ID無し統合失調の人と
ID有り精神異常のあなたの
二人だけだよ
さっさと二人で結婚して自家受精なり細胞分裂で家族を増やせよ下等生物は手数がかかるな
397:１３２人目の素数さん
21/12/30 16:16:42.79 .net
>>382
いや、apj氏は素人なんでどうでもいいです
「緑色アイコンの人」にのみ興味があります
教えなさい 白状すれば、同じく素人の貴方は用済みです
398:１３２人目の素数さん
21/12/30 16:18:22.89 QPhtoI66.net
他人事だからどうでもいいけど
年明けの旧物質生命化学研究室は阿鼻叫喚の地獄になるだろうな
正月明けで皆がハッピーなのに一匹だけ鬱病を拗らせた下等生物が排泄物臭を漂わせて入室する場面を想像したら、さすがに胸が痛くなるね
399:１３２人目の素数さん
21/12/30 16:19:28.63 QPhtoI66.net
>>383
あなたのような下等生物には一切興味がないのでレスをつけないでください
他人に何かを期待して答えを迫るのは
強迫性人格障害の症状です
山形大学医学部附属病院精神科での治療をお勧めします
400:１３２人目の素数さん
21/12/30 16:21:34.96 oQfnXEhK.net
>>382
天羽氏の名前に固執してるのは世界で貴方だけです
自分が見えてない残念な人なのですね
ご冥福をお祈りします ザーメン
401:１３２人目の素数さん
21/12/30 16:25:40.35 c7vK74jl.net
>>385
私はロスに住んでいます
何で日本の山形県の病院に行かなければいけないのですか？
あなたは狂ってますね 山形病です 狂人28号ですね
402:１３２人目の素数さん
21/12/30 16:29:28.44 .net
>>385
＞他人に何かを期待して答えを迫るのは
＞強迫性人格障害の症状です
強迫されるのは当人であって他人ではないけど
いま、ツイッターで「証明プログラミング」
というキーワードで検索かけてるが
当該ツイートが見つからない
本当にあったのか？妄想じゃないのか？（疑）
403:１３２人目の素数さん
21/12/30 16:40:07.40 4jYBn4KQ.net
緑色虫ケラアイコン氏に直接聞くか
10年分の過去ツイート総ざらいすればいいだろうに
それができないのは発達障害か
あと発端はツイートだとしても
やり取りがツイッターに残ってるとは
限らないんじゃないかな
ここは匿名掲示板だから、匿名掲示板の話をして
いるのにツイート検索ワロタ
あとつけ加えるなら
ツイート上の「証明プログラミングに関する話」を
ニセ科学だと言い出す知恵遅れが居たので
カリー=ハワード同型対応を使った証明プログラミング研究が虫ケラアイコンの在籍時に同じ大学の他研究科研究室で行われていた話を紹介しただけであって
そいつがバカでキチガイのトラブルメーカーであることを見越して、
該当研究室メンバーの所へ直接�
404:｣り込みに行かないように着地させただーけー
405:１３２人目の素数さん
21/12/30 16:44:05.36 4jYBn4KQ.net
例の緑色虫ケラアイコンは
雪氷学会研究会にも殴り込みをかけて、
未科学相手に「ニセ科学の疑いがあるからオブザーバーとして見学のみする」「科学的には興味がない」
とまで啖呵を切ったのに
2017～2020年に現象解明論文が出ても一言も謝罪をしていない真性のクズだから座敷牢的な縛りが必要なんだよね、大変なことに
406:１３２人目の素数さん
21/12/30 16:46:20.45 .net
>>389
たまらず登場ですか 情報科学素人さん
ツイッター上のケンカじゃないなら仕方ないな
５ｃｈのレスバトルまで調べる気はない
まあ、素人のこんな初心なツイートは見つけたけど
watcher
@a_watcher
·
2018年2月4日
自分がCurry-Howard同型対応の存在に薄々と勘付いたきっかけは
元々数式処理システムに関心を持っていたのと
ANSI C標準の簡単な型システムが予想外に深遠で、
型定義とその証明からなる証明プログラミング・スタイルを
実践できる事に気付いた頃かなぁ
その後世界が急に開けたけどあんま開拓できなかた
407:１３２人目の素数さん
21/12/30 16:50:13.19 25h59fz+.net
計算外のことが起きているな
カオスだな
408:１３２人目の素数さん
21/12/30 16:55:02.15 .net
>>392
カオスといえばこの歌ですね
URLﾘﾝｸ(www.youtube.com)
409:１３２人目の素数さん
21/12/30 17:00:04.45 4jYBn4KQ.net
未科学とは、科学的取り扱いをする手段がまだ不十分な為、科学的研究が充分に行われておらず
科学的決着を付ける段階にまだない領域のこと
森羅万象の中で科学的取り扱いが充分になされている領域はごく僅かで、広大な未科学領域が広がっているというのが普通の認識
ところが緑色の虫ケラアイコンはバカだから未科学の概念を知らず、「未科学=科学的に真と確定していない領域は閉世界仮説により偽となる」という大胆な思い込みで「未科学はニセ科学である」と断定して
その件とあまり関係のない雪氷学会相手に喧嘩を売ってしまった
緑色虫ケラアイコンの起こすトラブルでは
「閉世界仮説」や「排中律」に基づく屁理屈がとても多かったので、非古典論理学くらい勉強しろと再三忠告したのだけど
その結果がこのスレのIUT無関係な妄言連投だとしたら、IUT関係者にとっては想定外のトラブルだね
コイツはただの知恵遅れだから相手にする価値はない
410:１３２人目の素数さん
21/12/30 17:00:17.01 25h59fz+.net
>>393
そういうことではない
今まで考えてもいなかったスレの成り行きになっている
411:１３２人目の素数さん
21/12/30 17:00:36.99 .net
この調子ならうまくいけば今年中にこのスレ使いきれますかね
412:１３２人目の素数さん
21/12/30 17:05:47.04 .net
>>394
＞非古典論理学くらい勉強しろ
そう、特に資源問題について考えるならば部分構造論理
特に縮約規則のない線型論理が大事だね
100円でコーヒーもミネラルウォーターも買える
しかし100円で買えるのはどちらか一方
100円を200円に増やすことは許されない
413:１３２人目の素数さん
21/12/30 17:06:06.65 tkJweXwg.net
>>327
どうもです
スレ主です
＞山下剛氏は何か成果を上げたのですか？
えーと、外野からですが、IUTサーベイリポートは完成しました
（彼のホームページから辿れます。Promenade in Inter-Universal Teichmuller Theory >>3 のDebes氏の講演資料で言及があるので、ある程度の評価はあるのでは？
（私には、お経でしかありません（ど素人なので）。もう少し簡略化した分かり易い版がほしいと個人的には思いますけど））
なお、IUTサーベイリポート内にフェセンコ氏へのパワハラ言及記載があり、多分これで出版がストップではないかと思います。（ここは、単に私個人の見解です）
IUTの解説講義・講演は何回かあります
科研費とって研究して、かれが最終報告は書いています。
知る限りは、これだけです。外野からなので、これ以外にもあるかも
ああ、科研費の最終報告では、Tafula氏>>322の”Siegel zeroes”の研究をやるって
あったから、てっきり ここ山下先生の講演があると予想していましけど
外野なので、仔細は分かりません
414:１３２人目の素数さん
21/12/30 17:07:13.12 .net
>>395
面白いからいいじゃないですか
正直言って、「任意有限回と無限回の混同」とか
陳腐な誤りのネタにうんざりしていたので
415:１３２人目の素数さん
21/12/30 17:07:42.69 oQfnXEhK.net
虫ケラの人はこのスレだけだけど長野県の石の下のゲジゲジおじさんはいたるスレで頓珍漢だからなあ
虫ケラ>>>>>>>>ゲジゲジは明らかだろ
416:１３２人目の素数さん
21/12/30 17:10:11.41 .net
>>398
あんたもう要らないよ スレッシュだっけ？
線型代数 復習してる？ 正則行列くらい理解しような
消去法で階段行列つくったとき サイズと同じ段数になるのが正則行列
正則行列が分からないようじゃ、旗多様体とかブリュア分解とか理解できないよ
417:１３２人目の素数さん
21/12/30 17:13:39.75 .net
>>400
一般人いじめちゃ駄目だよ
飯田なんて国立大学もない田舎なんだから
418:１３２人目の素数さん
21/12/30 17:15:43.75 4jYBn4KQ.net
「石の下のゲジゲジ」とは
緑色虫ケラアイコンに付けられたあだ名
虫ケラ氏が職場でつけられているあだ名
「うんちのしみ」と比べれば
一応生物扱いだし、本人が自己認識する虫キャラの範疇だから大きな問題はないはずだが
その「石の下のゲジゲジ」というあだ名で興奮している人が居るのは(>>400)新たなる求婚者かな
虫ケラアイコン氏に求婚者が複数現れる事態は想定外だね
まあ自己受精か細胞分裂でしか増殖できないパターンだろうけど
419:１３２人目の素数さん
21/12/30 17:18:59.76 4jYBn4KQ.net
>>400
上の方にある本人解説によれば飯田というのは
虫ケラアイコン氏が山形で叔母さんにいじめられて
引っ越した先の地方都市で
虫ケラアイコン氏はそこでトランスジェンダー男性として暮らしているとのことだから
そっとしておいてあげればいいんじゃないかな
虫キャラ自体は本人自認だし
石の下のゲジゲジも立派な虫なのだから
飯田が田舎だとかトランス男はおかしいとか
批判するまでもない
420:１３２人目の素数さん
21/12/30 17:21:33.78 4jYBn4KQ.net
>>402
新型コロナで山形から飯田に引っ越してリモート勤務じゃないかな
大学勤務というより作業所勤務で
毎日の仕事はネットサーフィンらしいけど
421:１３２人目の素数さん
21/12/30 17:22:15.38 .net
>>404
あなた、叔母さんにいじめられた飯田在住のトランスジェンダー男性なの？
422:１３２人目の素数さん
21/12/30 17:23:16.75 .net
>>405
あなた、作業所に通ってるの？
423:１３２人目の素数さん
21/12/30 17:26:23.93 c8LjGeeD.net
このスレ、なんでこんなに回転はやいの
424:１３２人目の素数さん
21/12/30 17:27:52.32 4jYBn4KQ.net
無印IDがまた発狂し始めたよ
主語は全て緑色虫ケラアイコンと書いてあるのに
「あなた」という気持ち悪い呼びかけがあるのは
緑色虫ケラアイコン氏本人と話しているつもりなのだろうな
緑色虫ケラアイコン氏は自分自身にレスを付ける自演癖が激しいな
425:１３２人目の素数さん
21/12/30 17:29:09.38 4jYBn4KQ.net
>>408
今朝からずっと一日中、ID無し氏が取り留めのない妄想を連投してスレを埋め立てている
426:１３２人目の素数さん
21/12/30 17:30:50.09 4jYBn4KQ.net
>>407
緑色虫ケラアイコン氏本人の事だから
本人に直接問い合わせろ
いちいちスレを汚すな知恵遅れ
427:１３２人目の素数さん
21/12/30 17:35:28.60 oQfnXEhK.net
正確には何かの間違いで山形大学に入学したのはよいが、やはり着いて行けずとうとう学生実験で成績Fを取ってしまい担当教員と学校相手に揉めて退学。当時から匿名掲示板で荒らしを行なっており自ら精神病と言っていたが、長野県飯田市に戻ってからは担当教員が精神病と言い出しネットの気に食わない書き込みは全部彼女だと執拗に思い込み、性的な書き込みやオナニー実況まで始める重症化が進んでいる童貞で糖尿病でシンセが買えないおじさんこと尻太郎侍かな。
428:１３２人目の素数さん
21/12/30 17:37:57.76 oQfnXEhK.net
天羽さんはとんだ被害者
429:１３２人目の素数さん
21/12/30 18:09:48.34 4jYBn4KQ.net
ID:oQfnXEhKが発狂し過ぎ
専門医の緊急治療薬が必要なレベル
430:１３２人目の素数さん
21/12/30 18:13:09.20 4jYBn4KQ.net
>>371
緑色虫ケラアイコンこと飯田のトランスジェンダー男性ならこのスレに来てるぞ→ID:oQfnXEhK
あなたが抱える多数の質問をID:oQfnXEhKにぶつければ解決だな
431:１３２人目の素数さん
21/12/30 18:49:41.47 .net
>>412
ああ、そういうことですか
高木某氏と同じパターンですね
432:１３２人目の素数さん
21/12/30 18:53:26.14 4jYBn4KQ.net
>>416
とりあえず緑色アイコン氏の事をID:oQfnXEhKに直接聞けばいいのに聞けないのは自演という奴だね
433:１３２人目の素数さん
21/12/30 18:56:32.83 4jYBn4KQ.net
ID:oQfnXEhKがID無し統合失調氏本体だから
普段はナゼナニ質問を山のようにするのに
ID:oQfnXEhKの妄想は即座に受け入れるという事か
自演が下手くそ過ぎて毎回身バレしては発狂し
妄想設定の架空の敵の設定が増えていくID:oQfnXEhK
434:１３２人目の素数さん
21/12/30 19:01:23.02 4jYBn4KQ.net
>>413
このスレでもはや誰も言及していない底辺大准教の名を何回も出すのは自己紹介って事でよろしいか
その底辺大の底辺学生の話はまさかあの有名な学生ハラスメント事件の被害者の事なのかな
その件は法務省人権擁護局の人権救済案件だと思うけど、和解せずに未だに罵り合っているのか
底辺大の教員と学生のいがみ合いが悲惨でちょっと笑える
435:１３２人目の素数さん
21/12/30 19:06:27.78 4jYBn4KQ.net
>>412が言っているのはこの事件の事だね
【事例2】天羽 優子 @apjは13年前に自身が担当する実験講義学生を係争相手業者と誤認し誤爆ハラスメント問題を起こし、被害者学生が身元を明かして誤爆だと判明した後もネットハラスメントを継続した
[ソース] 山形大学・天羽准教授による鬱への差別 (過去ログ) URLﾘﾝｸ(itest.5ch.net)
この件は当時善意の第三者として法務省人権擁護局に人権侵害案件として通報済みだし、
山形大学玉手学長にも、山形大学理学部職員による超長期ストーキングハラスメントおよびセクシャルハラスメント問題の根っことして説明済みだよ
当時の学生を絡めてネットハラスメントを続行するなら、玉手学長への再通報が必要になるね
玉手学長も学生も無能な教員にいつまでも振り回されて大変なこった
436:１３２人目の素数さん
21/12/30 19:10:20.15 4jYBn4KQ.net
…というわけでIUTスレで長らく蒟蒻問答を繰り広げてきたID無し統合失調氏の正体は
2008年山形大学工学部実験講義学生誤爆ハラスメント事件の当事者、山形市在住の55歳未婚職員で確定
わざわざ歳末12月30日を丸一日潰して、自己身元開示をして、年明けには学長に懲戒処分を出されるとは
ご苦労様な事ですね
437:１３２人目の素数さん
21/12/30 19:17:33.71 4jYBn4KQ.net
年末といえばこっちの事件もタイムリー
レコード大賞受賞者への長期ハラスメント＆逆ギレ親告罪訴訟恫喝事件
【事例3】自称 天羽 優子 は4年前にレコード大賞受賞者に対し誹謗中傷を行なった末に逆ギレし、親告罪スラップ訴訟恫喝をした。法務省担当部署はそれを、匿名の長期誹謗中傷犯が自身の身元を明かす訴訟を起こすと称する無効な恫喝だと説明した
[ソース] J-WAVE 81.3FM (76) [無断転載禁止](過去ログ) ｽﾚﾘﾝｸ(am板:912番) ｽﾚﾘﾝｸ(am板:925番) ｽﾚﾘﾝｸ(am板:948番)
こちらの件は、法務省に讒訴可能性のある案件として通報済み
玉手学長には念のため、犯人身元は自称なので本人かどうかは確定していないがその種の恫喝案件でたびたび職員の名が挙がるのは山形大学の管理責任問題なので
もし身元詐称事件ならば犯人を告訴して再発防止、職員本人の犯行ならば適切な処置をするように伝えてある
438:１３２人目の素数さん
21/12/30 19:19:03.22 4jYBn4KQ.net
結局毎回毎回身バレして、法務省や学長に通報されている札付き職員というオチ
439:１３２人目の素数さん
21/12/30 19:26:12.65 Tnq3gjGU.net
kakyoukyoutiba|day1-post-meridiem|cml-office|IerWI2I7OREJ|1212628738|1503813609
440:１３２人目の素数さん
21/12/30 19:36:08.70 4jYBn4KQ.net
【山形キチガイジおばさん速報】山形大学のハラスメント常習職員 天羽優子55歳、妄想に妄想を重ねだ末に異様な自己紹介文を作成【精神異常者の人生の自己投影】
412 名前:１３２人目の素数さん [sage]
:2021/12/30(木) 17:35:28.60 ID:oQfnXEhK
正確には何かの間違いで山形大学に入学したのは
よいが、やはり着いて行けずとうとう学生実験で
成績Fを取ってしまい担当教員と学校相手に揉め
て退学。当時から匿名掲示板で荒らしを行なって
おり自ら精神病と言っていたが、長野県飯田市に
戻ってからは担当教員が精神病と言い出しネット
の気に食わない書き込みは全部彼女だと執拗に思
い込み、性的な書き込みやオナニー実況まで始め
る重症化が進んでいる童貞で糖尿病でシンセが買
えないおじさんこと尻太郎侍かな。
441:１３２人目の素数さん
21/12/30 20:39:34.60 En9CqBVW.net
>>321 補足追加
>あと、IUTに縦横二次元の矢印図出てきますよね
えーと、下記の”宇宙際タイヒミューラー理論への誘（いざな）い”に、2次元の話が出てきます
但し、これがフェセンコ先生のいう類体論の遠アーベルの2次元版と同義かどうかは、分かりませんが
>>322 補足追加
>それが、リーマンゼータのゼロ点 1/2と関係しているというと
>望月先生が喜んで「おー、そうか！」と、IUT論文のどこかに取り入れて書いて、
リーマンゼータも、下記の”宇宙際タイヒミューラー理論への誘（いざな）い”P18に、話が出てきますね
なお、その後に引用した IUT IV P48 Remark 2.2.1.など（複数箇所）にも、出てきます
(参考)
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
望月 出張・講演
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)(2015-02).pdf
[17] 宇宙際タイヒミューラー理論への誘（いざな）い （2015-02） （京都大学数理解析研究所 2015年02月）
P8
数論的な場合:足し算と掛け算。コホモロジー次元:
その正則な1次元に付随する 下部の組合せ論的次元2本と見做す!
P9
p進局所体 k/Qp < 0 の場合、下部の組合せ論的次元2本 を次のように捉えることも可能である:
§3. 対数・テータ格子
Hodge theater 「・」たちの非可換(!)な「2次元的な」図式:2次元はp進局所体や「環」の下部の 組合せ論的次元 2本に対応している!
P18
この「1/2」はリーマン予想を連想させられる値であるが、まさしく リーマン予想 と同じく、「ウエイト 1/2」
(注:「ウェイト」はリーマン・ゼータ (S) の「s」)
つづく
442:１３２人目の素数さん
21/12/30 20:40:04.92 En9CqBVW.net
>>426
つづき
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
望月 論文
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
[4] Inter-universal Teichmuller Theory IV: Log-volume Computations and Set-theoretic Foundations. PDF NEW !! (2020-04-22)
P48
Remark 2.2.1.
In this context, it is of interest to observe that the form of the
“ term” δ1/2 ・log(δ) is strongly reminiscent of well-known interpretations of the
Riemann hypothesis in terms of the asymptotic behavior of the function defined
by considering the number of prime numbers less than a given natural number.
Indeed, from the point of view of weights [cf. also the discussion of Remark 2.2.2
below], it is natural to regard the [logarithmic] height of a line bundle as an object
that has the same weight as a single Tate twist, or, from a more classical point of
view, “2πi” raised to the power 1. On the other hand, again from the point of view
of weights, the variable “s” of the Riemann zeta function ζ(s) may be thought of
as corresponding precisely to the number of Tate twists under consideration, so a
single Tate twist corresponds to “s = 1”. Thus, from this point of view, “s = 1/2 ”,
i.e., the critical line that appears in the Riemann hypothesis, corresponds precisely
to the square roots of the [logarithmic] heights under consideration, i.e., to h1/2,δ1/2.
P49
－ i.e., some sort of “inter-universal Mellin transform” － may be obtained that allows one to relate the theory of the present
series of papers to the Riemann zeta function.
(引用終り)
以上
443:１３２人目の素数さん
21/12/30 20:58:03.84 3OpmZaRg.net
>>412
この記述を全面的に支持します
444:１３２人目の素数さん
21/12/30 21:02:59.97 4jYBn4KQ.net
>>428
いままともな話が再開したところなので、頭のおかしな人の妄想話への自演同意は他の所でやってね
445:１３２人目の素数さん
21/12/30 21:04:38.50 IgUubPeE.net
貴方の書き込みは支持しません、尻太郎侍
446:１３２人目の素数さん
21/12/30 21:07:44.39 AbXGzZ4e.net
セタは女じゃなくてバイセクシャル男だバカこの
447:１３２人目の素数さん
21/12/30 21:08:00.71 4jYBn4KQ.net
>>430
頭のおかしな人向け落書きスレに移動しろ天羽
ｽﾚﾘﾝｸ(math板)
448:１３２人目の素数さん
21/12/30 21:17:25.87 z9DcNC2n.net
尻太郎侍の発狂を確認
449:１３２人目の素数さん
21/12/30 23:14:56.52 AbXGzZ4e.net
積み木ぃー何やってんだよ積み木ぃー来年も働かねー積もりかー
450:１３２人目の素数さん
21/12/30 23:17:36.22 LTadCQ34.net
このひとどのスレでも妄想しか書けないのか
451:１３２人目の素数さん
21/12/30 23:53:48.38 En9CqBVW.net
>>427 補足
あと、下記の[R4] On asymptotic equivalence of classes of elliptic curves over Q , November 2020
わずか3ページで、見事に ABCの明示公式の導出をしている
必見ですね
URLﾘﾝｸ(ivanfesenko.org)
Research ? Ivan Fesenko
URLﾘﾝｸ(ivanfesenko.org)
[R4] On asymptotic equivalence of classes of elliptic curves over Q , November 2020
ABSTRACT. This short paper asks a question about a new asymptotic symmetry of the moduli space of Frey-
Hellegouarch elliptic curves over rational numbers. If the answer to the question is positive then this allows to
deduce an effective (1+ε) abc-inequality from effective abc-inequalities established in [3].
452:１３２人目の素数さん
21/12/31 03:16:34.78 Q1hUqpE6.net
>>418
a_watcherの発狂を確認
というか常に発狂しているか
453:１３２人目の素数さん
21/12/31 06:23:48.80 .net
「a_watcher氏はY大学の学生だったが、精神的変調により中退し
当人がその理由をA准教によるものと思いこんで勝手に恨んでいる」
というところまで理解した
454:１３２人目の素数さん
21/12/31 06:25:07.72 .net
>>426-427
素人が闇雲にコピペしても
突然賢くなったりしないので
無駄な足掻きはやめましょう
455:１３２人目の素数さん
21/12/31 06:29:49.65 .net
>>436
あなたが応援団長だというならやるべきことがあるでしょう
「2022年、望月新一がABC予想解決で「金メダル」をとらなかったら負けを認める」
と宣言しましょう
「金メダル」＝IMUからの賞、と定義しておきます
ゴールを永遠に先送りする作戦は認めません
2022年のICM終了まで、と期限を切りなさい
期限までに賞をとらなかったら、あなたは負けを認めること
具体的には数学板への書き込みをやめること
いいですね？
456:１３２人目の素数さん
21/12/31 06:31:40.53 JcvopfqL.net
悲惨な底辺大准教
457:１３２人目の素数さん
21/12/31 08:04:16.09 42KgtWK6.net
スレ主です
(引用開始)
Inter-universal geometry とABC 予想47
ｽﾚﾘﾝｸ(math板:246番)
246 名前：１３２人目の素数さん[sage] 投稿日：2021/12/30(木) 14:34:36.63 ID:3A3kDUZt [2/4]
逆に言えば世界中の数学者が結託して未解決のままにしておく「難問」を設定して延々と研究費を貪り続ける
……ということも可能ではないかと思ってしまった
(引用終り)
予算ね
面白い話だから、掘り下げてみたい
１．過去にも、「柏原・玉川が、予算の正当化のために、望月IUTの論文を正当化した」みたいに思い込んでいる人がいた（多分、今でもいるだろう）
２．いま、ABC予想をリーマン予想に置き換えてみよう
３．望月IUTが、リーマン予想解決を目指したものだったとして、現在リーマン予想は未解決だ
４．では、文科省への報告は？
５．そのまま正直に書けば良い。山下科研費の報告と同じで、「問題が非常に難しいため、最終解決には至らなかった。しかし、ここまで前進した」と
６．世の中そんなものです。文科省の科研費には枠があって、その枠の中の予算を取り合いしているだけ。自分が科研費貰えなければ、他の誰かが貰うだけ
７．報告書は、最終目標に達しなくても（それは予算申請時には、かなり高い目標にするのが普通）、”ここまで前進した”で良い
８．もっと言えば、科研費なんて、数学以外でも普通にあって、数学も数学以外も同じ。報告はウソ書いちゃダメ。正直に、「頑張りました」って書けば良いんだ
それで、延々と研究費もらえる。国家予算って、そんなものですよ
そりゃ、難問解決で、世界的な賞を貰えれば、予算を付けた側もうれしい
けど、本来の国家予算の目的は、日本国の数学界の人材育成と体制つくりに意味があるわけで、「賞は付録」なんだよ
458:１３２人目の素数さん
21/12/31 09:10:54.37 DwbxgBit.net
年明けビックリなニュースあるよ
459:１３２人目の素数さん
21/12/31 09:24:53.35 42KgtWK6.net
>>44
460:2 追加 年末12月31日なので、 ＜IUTの現状まとめと展望＞ １．世界的には、BuzzardのICM22講演原稿>>14 の通りと思う（世界的には、数学者のコミュニティの大半に理解されていない） ２．ただし、Buzzard氏の主張は、ショルツェ氏>>14ほど極端ではない ３．かつICM22は来年7月だから、Buzzard氏の意図は「早めに公開して、意見を募る」ってことでしょう ４．国内的には、かなり理解者が増えたと思う ５．IUTの中身は、フェセンコ先生の奮闘で、類体論の三つの一般化の統一理論という方向性が見えてきた>>172 ６．さらには、現状のIUTでは未解決部分も残っていると思う。例えば ・Siegel zeroes予想>>322 ・明示公式の更なる改良（得られる数値の上限があまりに大きく、実用には使えない。また、最終形とも思えない。改良の余地ありでは？） など（ここらは、専門的に一度整理したら良いと思う） ７．IUTの分かり易い解説と、他分野への展開 ・上記１の改善に向けて ・他分野への展開はあるんじゃないですか？ 一番近いのが、楕円曲線論か（つーか、IUT自身、楕円曲線論を圏論化したものかも） ・IUTの分かり易い解説が出ると、「おれの研究にも使えそうだ」って人も出てきそう 来年のIUTの一層の進展を期待しています 1月末には、星先生の数学誌「論説」（遠アーベル）が出るらしい。IUTも勿論書かれているでしょう。乞うご期待
461:１３２人目の素数さん
21/12/31 09:26:45.81 42KgtWK6.net
>>443
＞年明けビックリなニュースあるよ
スレ主です
ありがとうございます
ひょっとして、星先生のご結婚？
462:１３２人目の素数さん
21/12/31 09:38:03.91 .net
>>442
>「問題が非常に難しいため、最終解決には至らなかった。
> しかし、ここまで前進した」
なぜABC予想でこう書かないんですか？
「問題が非常に難しいため、
Cor3.12からABC予想が導けることは示せたものの
Cor3.12を証明することはできず、
ABC予想の最終解決に至らなかった。
しかし、Cor3.12という有用な予想まで前進した」
>報告はウソ書いちゃダメ。
じゃ
「Cor3.12が証明できた、ゆえにABC予想は解決した」
と書いちゃダメですね
それウソだから
>>444
結局、2022のICMで望月新一氏がIMUから賞を受賞するのは諦めたんですね
つまりあなたは負けたんですね
「待て」は認めません
負けを認めてくださいね
死んでくれ、とはいいません
ここに書きこむのをやめてください
死ぬわけじゃないから簡単でしょう
あなたがネット耽溺症だからやめられない
とかいうのはいいわけになりません
この際ネットに無駄なことをコピペする
悪癖は治したほうがいいですよ
463:１３２人目の素数さん
21/12/31 09:41:19.06 .net
>>444
>1月末には、星先生の数学誌「論説」（遠アーベル）が出るらしい。
>IUTも勿論書かれているでしょう。
PorowskiがIUTについてダンマリなら星も同じでしょう
書かれていなかったらあなたは負けを認めて黙りましょう
これ以上恥をさらしたくないでしょう？
464:１３２人目の素数さん
21/12/31 11:17:45.47 .net
スレッシュ君はなんで番号つけて文章書くのかな
ただただ異様で気持ちが悪い
465:１３２人目の素数さん
21/12/31 11:26:57.68 .net
スレッシュ君は
１．任意の自然数ｎを要素とする集合Ｎは無限集合である
２．したがってＮは無限順序数ωを要素とする
もし要素でないなら、Ｎは有限集合となり矛盾するから
という珍奇な主張を真顔で語る
１．は正しいが、２．は間違っている
しかしながら皆がそれを指摘しても
「貴様等みんな間違ってる
貴様等みんな狂っている」
と吠えるばかりである
間違ってるのはスレッシュ君
狂っているのもスレッシュ君
466:１３２人目の素数さん
21/12/31 11:30:13.76 .net
スレッシュ君の誤りは
「箱入り無数目の無限列の決定番号は確率１で∞」にしても
「ツェルメロの後者関数を無限回実行して
ωをシングルトンとして実現できる」にしても
>>449の「任意有限＝無限」の誤解に基づいている
このような初歩的で幼稚な誤りから抜け出せないようでは
スレッシュ君が大学数学の初歩すら理解することは不可能である
467:１３２人目の素数さん
21/12/31 13:45:11.45 42KgtWK6.net
＜サイコパスのおサルのバカ発言＞
過去スレ55 ｽﾚﾘﾝｸ(math板:813番)
813 名前：１３２人目の素数さん[sage] 投稿日：2021/06/24(木) 20:41:12.45 ID:mlJli1k0 [7/7]
>>789-790
(引用開始)
数学における日本とかいう野蛮な島のジコチュウ●チガイの系譜
オカ、シムラ、モチヅキ
(引用終り)
こんなこと、言われたら
日本人なら、だれでも怒るよ
「おまえ、どこの国から来た！」って
アンチ日本に凝り固まったサイコパス
どうしようもないね
必死に望月氏とIUTを叩いているおサルよ、あわれ
468:１３２人目の素数さん
21/12/31 15:28:17.83 7xI8oln4.net
命題
ZF公理系に x1∋x2∋…∋xn∋x1 を満たす集合の組 x1,x2,…,xn は存在しない。
証明
そのような組が存在すると仮定。
対の公理、和集合の公理により集合 x:={x1,x2,…,xn} が存在する。
一方、∀xi∈x ⇒ xi∩x≠{} であるから、正則性公理により集合 x は存在しない。
仮定から矛盾が導かれたので仮定は偽。
469:１３２人目の素数さん
21/12/31 15:48:11.16 .net
>>451
あなた日本人だったんですか
在阪朝鮮人かとおもってました
470:１３２人目の素数さん
21/12/31 15:54:14.89 .net
ニッポン！ニッポン！って騒いでる人って
実は祖国に絶望して日本人になりがたる
在日朝鮮・韓国人だっていいますね
471:１３２人目の素数さん
21/12/31 16:04:54.97 42KgtWK6.net
>>322 追加
Christian Tafulaの資料(下記)を見ると、Siegel zeroes 予想で
”Remark 5.3. See also Remark 2.2.3 of Mochizuki’s “IUT IV” [14], in which it is
explained that the calculations of Corollary 2.2 (ii), (iii) of IUT IV can be regarded
as a sort of “weak” version of uniform abc. Such version, however, is much weaker
than the O-weak uniform abc in Conjecture 5.2 (i), and thus, in principle, one is not
able to deduce “no Siegel zeros” from Corollary 2.2 of [14] by using the methods we
are employing here.”
となっているね。いまのIUTでは、不十分ってことか
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
Inter-universal Teichmuller Theory (IUT) Summit 2021,
RIMS workshop, September 7 - September 10 2021
Notes and recordings of the workshop
Christian Tafula Santos From ABC to L: On singular moduli and Siegel zeroes, Reference: [Tafula].
URLﾘﾝｸ(arxiv.org)
[Submitted on 17 Nov 2019 (v1), last revised 18 May 2021 (this version, v3)]
On Landau-Siegel zeros and heights of singular moduli
Christian Tafula
つづく
472:１３２人目の素数さん
21/12/31 16:06:16.13 42KgtWK6.net
>>455
つづき
P20
we state the usual uniform abc-conjecture for comparison:
Conjecture 5.2 (Uniformity). Let K/Q be a number field and ε > 0. Then:
(i) (O-weak uniform abc) C(K, ε) = Oε(log(rdK)).
(ii) (Weak uniform abc) C(K, ε) = oε(log(rdK)) as rdK → +∞.
(iii) (Uniform abc) C(K, ε) = Oε(1).
It is remarked in p. 510 of Granville?Stark [7] that Conjecture 5.2 (iii) follows
from Vojta’s General Conjecture under the assumption that [K : Q] is bounded;
consequently, so does (i) and (ii).10
Remark 5.3. See also Remark 2.2.3 of Mochizuki’s “IUT IV” [14], in which it is
explained that the calculations of Corollary 2.2 (ii), (iii) of IUT IV can be regarded
as a sort of “weak” version of uniform abc. Such version, however, is much weaker
than the O-weak uniform abc in Conjecture 5.2 (i), and thus, in principle, one is not
able to deduce “no Siegel zeros” from Corollary 2.2 of [14] by using the methods we
are employing here.
(引用終り)
以上
473:１３２人目の素数さん
21/12/31 16:52:43.80 Q1hUqpE6.net
大晦日も優子でオナってしまったよ
優子の裸は麻薬だよ まさに美魔女だよ
474:１３２人目の素数さん
21/12/31 16:59:00.50 uquP3z1T.net
優子さんは山大の萌え担当
475:１３２人目の素数さん
21/12/31 17:07:13.91 r0AoiBaA.net
今年のハロウィンの優子さんのメイドさんコスプレ可愛かったー
来年が楽しみ
476:１３２人目の素数さん
21/12/31 17:19:18.06 42KgtWK6.net
>>452
ご苦労さまです
スレ主です
そうですね
そして、下記
URLﾘﾝｸ(ja.wikipedia.org)
正則性公理
定義
空でない集合は必ず自分自身と交わらない要素を持つ。
略
・∀xについて、無限下降列である x∈x_{1}∈x_{2}∈・・・ は存在しない。
・V=WF
ここで、Vは集合論の宇宙を指し、WFはwell-founded set全体のクラス（フォン・ノイマン宇宙）を指す。
ZF公理系の他の公理系から得られる種々の集合演算(対集合、和集合、冪集合) の結果としての集合は常にWF内に含まれるため、V=WFの仮定は全ての集合を0に通常の集合演算を施すことによって得られるものだけに制限することを主張している。したがって、例えばx= {x}のような集合やx∈yかつy∈xなる集合は正則性の公理の下では集合にはなり得ない。
(引用終り)
この”無限下降列 x∋x1∋x2∋・・・ ”は、禁止ですが
無限上昇列 x∈x1∈x2∈・・・は、 当然ですが、禁止ではない！
この区別がつかないおサルさんがいる>>7
さらに
（>>7より）
”（スレ55 ｽﾚﾘﾝｸ(math板:158番)より）
＜上昇列 ０＜・・・＜ω が有限列にしかなり得ない”
と叫んで、過去スレで延々と主張した前科があるのですｗ
なんだかねｗ
477:１３２人目の素数さん
21/12/31 17:25:45.78 7xI8oln4.net
>>460
＜無限上昇列 ０＜・・・＜ω が存在するなら、＜ωの左隣は何ですか？
478:１３２人目の素数さん
21/12/31 17:34:02.69 .net
>>460
「任意の自然数ｎを要素とする集合Ｎは無限集合であるから無限順序数ωを要素とする
もし無限順序数ωがNの要素でないならＮは有限集合となり矛盾するから、」
という珍奇な主張を真顔で語るスレッシュ君は
完全な●違いであり間違ってるよ
479:１３２人目の素数さん
21/12/31 17:59:26.44 7xI8oln4.net
>>460
あなたはどうせ答えないのでこちらで答えますね
ωは最小の極限順序数なので、ωより小さいどんな順序数も自然数です。
よって ０＜・・・＜n＜ω は有限
480:列です。 そしてこの事実を認めたくないあなたは＜ωの左隣は存在しないなどという詭弁を吐くでしょう。 いずれかの項が存在しないならそもそも＜列とは呼べないにも関わらずね。
481:１３２人目の素数さん
21/12/31 18:26:49.01 42KgtWK6.net
>>461
ご苦労様です
スレ主です
> ＜無限上昇列 ０＜・・・＜ω が存在するなら、＜ωの左隣は何ですか？
＜ωの左隣は、必ずしも確定する必要ないよ
ωは、自然数の上限だから（下記 数学の景色）
二項関係 ＜ を、無限集合に拡大適用すると、自然に＜記号の濫用が必要になるよ（明確な二項の比較で済まなくなる）
例えば、下記 Ordinal number （encyclopediaofmath.org）を見てください
自然数を、数直線 に埋め込んで、1-1/n の列を考える。二項関係は≦を使っているよ
1-1/nは、nが大きくなると 1に収束して、列全体では、ω+1を構成すると説明しているよね
それは、上記”＜無限上昇列 ０＜・・・＜ω”の説明です
補足すると、有理数Qとか実数Rを扱うようになると、＜の全順序は有限自然数のようには、明確な二項の数の比較だけでは済まなくなる
例えば下記のOrdinal numberで、「1の＜で すぐ左の”1-1/n”は何か？」と問うのは無意味になるよね
だけど、二項関係＜の全順序は、自然数と同様にQとかRでも、保たれているってことです
で、わざわざ ”＜”と別の記号を、QとかR用に作る人は居ないってことです
URLﾘﾝｸ(mathlandscape.com)
数学の景色
上限,下限(sup,inf)の定義と最大,最小(max,min)との違い
2021.04.29 2021.04.25
URLﾘﾝｸ(encyclopediaofmath.org)
Ordinal number
The order type of a well-ordered set.
This notion was introduced by G. Cantor in 1883 (see [2]).
For instance, the ordinal number of the set N of all positive integers, ordered by the relation ≦, is ω.
The ordinal number of the set consisting of 1 and numbers of the form 1-1/n where n∈N, ordered by the relation ≦, is ω+1.
482:１３２人目の素数さん
21/12/31 19:13:41.72 7xI8oln4.net
>>464
>下記 Ordinal number （encyclopediaofmath.org）を見てください
N = {1,2,…} = ω
{1-1/n | n∈N}∪{1} = {0,1/2,2/3,3/4,…,1} = ω+1
とは書かれてますが、どこにも
＜無限上昇列 ０＜・・・＜ω が存在する
なんて書かれてませんけど？
>それは、上記”＜無限上昇列 ０＜・・・＜ω”の説明です
何がどう説明されたんですか？
>補足すると、有理数Qとか実数Rを扱うようになると、＜の全順序は有限自然数のようには、明確な二項の数の比較だけでは済まなくなる
つまり"＜"は二項関係であり且つ二項関係でないと言いたいのですか？
それは矛盾してるように聞こえますが、では"＜"とは一体何なのですか？
>例えば下記のOrdinal numberで、「1の＜で すぐ左の”1-1/n”は何か？」と問うのは無意味になるよね
はい、だから「0<1/2<2/3<3/4<…<1 なる<無限列が存在する」なんて書かれてませんけど？
>だけど、二項関係＜の全順序は、自然数と同様にQとかRでも、保たれているってことです
単に全順序を誤解してるだけでは？
483:１３２人目の素数さん
21/12/31 19:28:21.96 7xI8oln4.net
>>464
あなたの主張を簡潔に代弁すると
「ω+1は整列集合である。よってω+1のすべての元からなる＜列 0<1<…<ω が存在する。」
となります。
これは整列順序の初歩的誤解からくる初歩的間違いです。
484:１３２人目の素数さん
21/12/31 20:09:16.51 42KgtWK6.net
>>466
ご苦労様です
スレ主です
>あなたの主張を簡潔に代弁すると
>「ω+1は整列集合である。よってω+1のすべての元からなる＜列 0<1<…<ω が存在する。」
違うよ
というか、
１．私の主張ではない。説明です。Ordinal number （encyclopediaofmath.org）>>464に基づく
かつ、それは標準的なOrdinal numberの説明ですね
２．ωは、ノイマンの基数割当（の定義）より従う。
ω+1も多分ノイマンかな（カントールの定義は違ったと思った）
>>465
> {1-1/n | n∈N}∪{1} = {0,1/2,2/3,3/4,…,1} = ω+1
>とは書かれてますが、どこにも
> ＜無限上昇列 ０＜・・・＜ω が存在する
>なんて書かれてませんけど？
そこは、下記の2列の対応
列 0,1/2,2/3,3/4,…,1
↓↑
列 0 , 1 , 2 , 3 , …,ω
を考えるんだ
いま、二項関係 ＜ の話だったよね
上記2列とも、＜ の二項関係で対応がつく
そして、上の有理数列で、二項関係＜を認めようね。1の左は未確定だがね
そして、列 0,1/2,2/3,3/4,…,1 は無限列であることも、認めよう
だったら、
列 0 , 1 , 2 , 3 , …,ω も同様の二項関係＜による無限列だってこと
>それは矛盾してるように聞こえますが、では"＜"とは一体何なのですか？
"＜"とは、二項関係です
自然数Nから有理数Q、そして実数Rを、標準的に全順序づけるものです
485:１３２人目の素数さん
21/12/31 20:12:01.57 mhAv9qAm.net
そう、この質問には絶対セタは答えない
コレに答えた瞬間自分の論理が破綻しているのが確定してしまうから
自分の間違いを認め、議論を先に、数学の理解をより一歩前に進めるなどという価値観はセタにはない
およそ文化と呼べるものからはほど遠い
486:遠い価値観しか持ってない
487:１３２人目の素数さん
21/12/31 21:04:10.45 KLGdiXpZ.net
曖昧なことやってるから変な人が集まっちゃうんだよ
488:１３２人目の素数さん
21/12/31 21:24:05.65 7xI8oln4.net
>>467
>１．私の主張ではない。説明です。
何がどう説明されたんですか？
>かつ、それは標準的なOrdinal numberの説明ですね
「＜無限上昇列 ０＜・・・＜ω が存在する」という説明を示して下さい。
コピペは得意なんですよね？
>２．ωは、ノイマンの基数割当（の定義）より従う。
ωが何に従うと？日本語でお願いしますね。
>"＜"とは、二項関係です
>1の左は未確定だがね
未確定なら二項関係の定義に当てはまらないからダメじゃんｗ
二項関係の定義を読み直してください。
>自然数Nから有理数Q、そして実数Rを、標準的に全順序づけるものです
N,Q,Rが<で全順序集合になることは誰も否定してません。
否定してるのは「<全順序集合のすべての元からなる<列が存在する」というトンデモ主張です。
まず全順序の定義をしっかり読み直して下さい。読まずに妄想してはダメです。
489:１３２人目の素数さん
21/12/31 21:33:44.39 7xI8oln4.net
>>467
>まず全順序の定義をしっかり読み直して下さい。読まずに妄想してはダメです。
たぶん君には理解できないだろうから、
>「＜無限上昇列 ０＜・・・＜ω が存在する」という説明を示して下さい。
をお願いします。コピペは得意なんですよね？
490:１３２人目の素数さん
21/12/31 22:04:16.98 te7/gjdr.net
>>467
「無限重シングルトン」の話は
ω:={0, 1, 2, 3, ... }でなくて
1:={0}, 2:={1}={{0}}, 3:={2}={{1}}={{{0}}}のように
ωも n:={n-1} を用いて定義できる
という「セタの主張(妄想)」なんだから
> ２．ωは、ノイマンの基数割当（の定義）より従う。
> ω+1も多分ノイマンかな（カントールの定義は違ったと思った）
自分でこれを書いている時点で破綻しているでしょ
491:１３２人目の素数さん
21/12/31 22:24:16.91 JcvopfqL.net
みんな気付いていると思うけど
ID無し氏が現れると通称セタ氏は消え
通称セタ氏とセタ氏叩き現れると
ID無し氏が忽然と姿を消すのは
指摘するまでもないお約束事なんだよねw
492:１３２人目の素数さん
21/12/31 22:53:55.86 dRJR9pek.net
>>469
「集まる」という表現は1～2人でも使う表現なのかどうか
493:１３２人目の素数さん
21/12/31 22:58:10.77 uZaJ9YzN.net
積み木ぃー。分かってるか？お前が言ってた「俺は内在的に理解してるよ。」ってな、それ「妄想」ってんだ｡
積み木ぃー。いい加減に自分が妄想浸りの年月を過ごしているに恥ずかしさと後ろめたさと恐ろしさを覚えろよー｡
IUTが完全に死んでも、万が一成功しても、何もお前の成果や儲け、待遇確保に成らねぇよな｡
働かず。経営もせず。資産運用もせず。収入も無く。全き無駄な存在であり人権は持つ、日本国のガン細胞の1人｡
積み木ぃーいつ働くんだよー積み木ぃー｡
494:１３２人目の素数さん
21/12/31 23:22:14.56 7xI8oln4.net
>>467
なんでいつも頼んでもいないコピペしまくるのに
肝心の「＜無限上昇列 ０＜・・・＜ω が存在する」はコピペしないんですか？
検索してもヒットしないからですか？
そりゃそうでしょう。あなたの妄想ですから
まず「二項関係なのに二項だけで決まらない」とか言ってる時点でオカシイと思わないと。正常な人間ならオカシイと思いますよ？
495:１３２人目の素数さん
21/12/31 23:22:27.95 42KgtWK6.net
>>471
引用符の付け方間違っているよ
「まず全順序の定義をしっかり読み直して下さい。読まずに妄想してはダメです。」
は、>>467には書かれていないよ、落ち着けよ
>>470
>「＜無限上昇列 ０＜・・・＜ω が存在する」という説明を示して下さい。
お答えします
まず定義
Inter-universal geometry と ABC予想 (応援スレ) 60 より
ｽﾚﾘﾝｸ(math板:783番)
「”無限長の降鎖(a_n)n∈N”は松坂和夫氏の「集合・位相入門」ではどう定義されてますか？」
「順序集合Aの元の列(a_n)n∈Nで、
496:a_1>a_2>…＞a_n>… となるものをAにおける降鎖という」 これが定義 (引用終り) 昇鎖の定義：上記降鎖の不等号>を<に変えて 「順序集合Aの元の列(a_n)n∈Nで、 a_1<a_2<…＜a_n<… となるものをAにおける昇鎖という」 いま、簡単に0∈Nとして a_0<a_1<a_2<…＜a_n<… とする a_0=0,a_1=1,a_2=2,…,a_n=n,… とおく a_0=0<a_1=1<a_2=2<…<a_n=n<… となる これが、無限長の昇鎖であることは、定義より従う これに、下記の”任意の自然数よりも大きい最小の超限順序数 ω ”を追加する a_0=0<a_1=1<a_2=2<…<a_n=n<…<ωとなる 松坂の昇鎖を上昇列と読み替えて ＜無限上昇列 ０＜・・・＜ωを得る https://ja.wikipedia.org/wiki/%E6%A5%B5%E9%99%90%E9%A0%86%E5%BA%8F%E6%95%B0 極限順序数 任意の自然数よりも大きい最小の超限順序数 ω 順序数に関するフォンノイマンの定義（英語版）を用いれば、任意の順序数はそれより小さい順序数全体の成す整列集合として与えられる。
497:１３２人目の素数さん
21/12/31 23:36:44.90 7xI8oln4.net
>>477
>これに、下記の”任意の自然数よりも大きい最小の超限順序数 ω ”を追加する
追加できることの説明が無いので何の説明にもなっていません。
何か説明したつもりなんですか？
498:１３２人目の素数さん
21/12/31 23:44:10.08 7xI8oln4.net
>>477
>これに、下記の”任意の自然数よりも大きい最小の超限順序数 ω ”を追加する
追加するって列の第何項目に追加するんですか？
499:１３２人目の素数さん
21/12/31 23:44:23.96 uZaJ9YzN.net
そんな追加の仕方ならωどころか |1/0| さえ追加できらぁ
だって数学じゃなくて妄想だもん、不都合事象は現れない
500:１３２人目の素数さん
21/12/31 23:46:45.70 42KgtWK6.net
>>472
ご苦労様です
スレ主です
(引用開始)
「無限重シングルトン」の話は
ω:={0, 1, 2, 3, ... }でなくて
1:={0}, 2:={1}={{0}}, 3:={2}={{1}}={{{0}}}のように
ωも n:={n-1} を用いて定義できる
(引用終り)
そこは、正確には下記だ
つまり、ωを先にノイマン基数割当で定義した後、そのωを使って、添え字付きカッコとして、”Φの外にω重カッコ”を構成するんだよ
Inter-universal geometry と ABC予想 (応援スレ) 62
ｽﾚﾘﾝｸ(math板:265番)
an=n{n-1{・・1{0{}01}1・・}n-1}n＝n{n-1{・・1{Φ}1・・}n-1}n（Φの外にn重カッコ）
↓
aω=ω{・・n{n-1{・・1{0{}01}1・・}n-1}n・・}ω＝ω{・・n{n-1{・・1{Φ}1・・}n-1}n・・}ω（Φの外にω重カッコ）
(引用終り)
妄想？
数学では、「こんなのがあったら良いんじゃね？」という発想から成り立っている概念が多いよ
列記するまでもなく、いろいろ思いつくだろう
発想した概念（の定義）は、
１）他の概念から導ける（証明できる）
２）他の概念から独立（導けない）
３）他の概念と矛盾する
の３通り
”３）他の概念と矛盾する”の場合でも、例えば、選択公理と決定性公理のように、
選択公理をやめて、決定性公理を使うような場合とかある
「無限重シングルトン」は、ノイマン基数割当を経由しないと、定義出来ないとは思っているよ
でも、上記の１） or ２）と思っている。３）と思う人もいるだろうね
どうぞ証明を。私は突っ込み側に回るからｗ
501:１３２人目の素数さん
21/12/31 23:54:27.07 42KgtWK6.net
>>478
>>これに、下記の”任意の自然数よりも大きい最小の超限順序数 ω ”を追加する
>追加できることの説明が無いので何の説明にもなっていません。
ふふふ
スタンダードだと思うけどね
（初出はカントールだったよね）
でも、いいよ、「おれ様」定義で
定義として、ωを追加した列を定義したで
で、この定義が何か矛盾でも引き起こすと思うのかな？
ならば
どうぞ、矛盾の証明をｗ
502:１３２人目の素数さん
22/01/01 00:11:16.14 DM4yx6ay.net
>>474
1匹で済むと思ってる？？
503:１３２人目の素数さん
22/01/01 00:46:46.92 rlZ8PATo.net
>>482
>スタンダードだと思うけどね
あなたの云うスタンダードとは何でしょう？
>定義として、ωを追加した列を定義したで
ωを第何項目に追加したんですか？
504:１３２人目の素数さん
22/01/01 00:50:48.62 rlZ8PATo.net
>>481
>ω{・・n{n-1{・・1{0{}0}1・・}n-1}n・・}ω
"ω{"の右隣りのカッコは有るんですか？無いんですか？
505:１３２人目の素数さん
22/01/01 01:25:11.57 aQTTqsY7.net
>>482
積み木ぃー、それは余りにもバカ過ぎだ積み木ぃー｡
そんなωを後続順序数とする順序数が存在する事にしかない定義的妄想なんか自殺と変わらねぇぞー｡
506:１３２人目の素数さん
22/01/01 01:48:41.19 vRdsvE8n.net
答えないんだよな
そのツェルメロのオ
507:メガの「無限シングルトンの元は一個なのか？、それはシングルトンなのか」 もちろんセタの主張なら両方イエスでないと話が合わない しかし両方イエスならそれは有限シングルトンになってしまう もちろんセタの主張ではZFCではない訳のわからん理論を持ち出したわけでもなく、このアイデアはツェルメロ自身が論文の中で主張した事になってる まぁどう頑張ってみても辻褄の合う説明はないわな ともかく自分が間違ってたと認める事＝負けの世界の住人セタ 文化というものから程遠い世界の住人セタ 数学板でなにやってんのかねぇ？
508:１３２人目の素数さん
22/01/01 05:49:52.45 .net
あけましておめでとうございます
新スレ立てました
【予言】今年のICMで望月新一氏はABC予想解決で特別賞を受賞する
ｽﾚﾘﾝｸ(math板)
実現すればいいですが…
509:１３２人目の素数さん
22/01/01 05:57:08.09 .net
>>464
>> ＜無限上昇列 ０＜・・・＜ω が存在するなら、＜ωの左隣は何ですか？
>＜ωの左隣は、必ずしも確定する必要ないよ
「確定する必要ない」＝「一意である必要ない」ということなら
ωはシングルトンではない、ということですね
>ωは、自然数の上限だから 二項関係 ＜ を、無限集合に拡大適用すると、
>自然に＜記号の濫用が必要になるよ（明確な二項の比較で済まなくなる）
「明確な二項の比較で済まなくなる」＝「無数な項との比較が必要になる」ということなら
ωは無限集合になる、ということですね
>上限,下限(sup,inf)の定義と最大,最小(max,min)との違い
ええ、集合のsup、infは、元の集合の元とは限らないってことです
やっとわかりましたか、おめでとう！！！
510:１３２人目の素数さん
22/01/01 06:00:25.38 .net
>>467
>>「ω+1は整列集合である。
>> よってω+1のすべての元からなる＜列 0<1<…<ω が存在する。」
>違うよ
「違うよ」＝「ω+1のすべての元からなる＜列 0<1<…<ω は存在しないよ」
ですね
やっとわかりましたか、おめでとう！！！
511:１３２人目の素数さん
22/01/01 06:07:24.16 .net
>>477
>a_0=0<a_1=1<a_2=2<…<a_n=n<…
>これが、無限長の昇鎖であることは、定義より従う
>これに、下記の”任意の自然数よりも大きい最小の超限順序数 ω ”を追加する
>a_0=0<a_1=1<a_2=2<…<a_n=n<…<ωとなる
>松坂の昇鎖を上昇列と読み替えて
>＜無限上昇列 ０＜・・・＜ωを得る
＜無限上昇列の定義は？
忘れちゃった？
じゃ、今から定義してね
512:１３２人目の素数さん
22/01/01 07:21:34.24 o8l/O1ok.net
>>481
> そこは、正確には下記だ
> つまり、ωを先にノイマン基数割当で定義した後、そのωを使って、添え字付きカッコとして、”Φの外にω重カッコ”を構成するんだよ
> aω=ω{・・n{n-1{・・1{0{}01}1・・}n-1}n・・}ω＝ω{・・n{n-1{・・1{Φ}1・・}n-1}n・・}ω（Φの外にω重カッコ）
「}1・・}n-1}n・・」の部分でω重になっていないと可算無限にならないから
「}1・・}n-1}n・・}ω」はω重カッコじゃないだろ
513:１３２人目の素数さん
22/01/01 07:58:20.13 lBjAMPml.net
>>484
>あなたの云うスタンダードとは何でしょう？
下記”Ordinal number”の通りです
（”Ordinals were introduced by Georg Cantor in 1883[3] in order to accommodate infinite sequences and classify derived sets”）
>ωを第何項目に追加したんですか？
その”第何項目”という問いは、自然数の中だよね
で、下記の通り、”the first infinite ordinal, ω”は、”After all natural numbers comes ”なので、全ての自然数の外で、自然数の外に追加しました
分からなければ、下記の”Ordinal number”のリンクを開いて、全文を百回音読してください
URLﾘﾝｸ(en.wikipedia.org)
Ordinal number
(抜粋)
Ordinals were introduced by Georg Cantor in 1883[3] in order to accommodate infinite sequences and classify derived sets, which he had previously introduced in 1872?while studying the uniqueness of trigonometric series.[4]
Ordinals extend the natural numbers
Perhaps a clearer intuition of ordinals can be formed by examining a first few of them: as mentioned above, they start with the natural numbers, 0, 1, 2, 3, 4, 5, … After all natural numbers comes the first infinite ordinal, ω, and after that come ω+1, ω+2, ω+3, and so on. (Exactly what addition means will be defined later on: just consider them as names.)
514:１３２人目の素数さん
22/01/01 08:09:32.66 .net
>>481
>aω
>=ω{・・n{n-1{・・1{0{}01}1・・}n-1}n・・}ω
>=ω{・・n{n-1{・・1{Φ}1・・}n-1}n・・}ω
>（Φの外にω重カッコ）
「確定する必要ない」＝「一意である必要ない」
「明確な二項の比較で済まなくなる」＝「無数な項との比較が必要になる」
を鑑みると
「・・n{n-1{・・1{0{}01}1・・}n-1}n・・」は単一の元ではなく
「0{}0,1{0{}0}1,…,n{n-1{・・1{0{}01}1・・}n-1}n,…」という無数の元
だということになりますね
つまり
ω{・・n{n-1{・・1{0{}01}1・・}n-1}n・・}ω
=ω{0{}0,1{0{}0}1,…,n{n-1{・・1{0{}01}1・・}n-1}n,…}ω
ということで、無限集合ですね
>「無限重シングルトン」は、
>ノイマン基数割当を経由しないと、
>定義出来ないとは思っているよ
「無限重シングルトン」は
シングルトンであることを否定しないと
定義できないと悟ったってことですね
やっとわかりましたか、おめでとう！！！
515:１３２人目の素数さん
22/01/01 08:12:14.90 .net
>>482
＞スタンダードだと思うけどね
でも昇鎖の定義
「順序集合Aの元の列(a_n)n∈Nで、
a_1<a_2<…＜a_n<…
となるものをAにおける昇鎖という」
には当てはまらない、と
それで十分です
やっとわかりましたか、おめでとう！！！
516:１３２人目の素数さん
22/01/01 08:19:49.88 .net
ポール・ディラック
「デルタ関数・・・それは関数ではない！」
雑談 ◆yH25M02vWFhP
「無限重シングルトン・・・それはシングルトンではない！」
やっとわかりましたか、おめでとう！！！
517:１３２人目の素数さん
22/01/01 09:29:12.04 lBjAMPml.net
Inter-universal geometry とABC 予想47 より
ｽﾚﾘﾝｸ(math板:261番)
261 名前：１３２人目の素数さん[sage] 投稿日：2022/01/01(土) 07:00:01.90 ID:GpdQDajN
降臨
URLﾘﾝｸ(plaza.rakuten.co.jp)
新一の「心の一票」
2022.01.01XML
数学的主張の論理構造の追跡可能性＝説明責任の重要性
(抜粋)
時間の圧迫を感じることなく、半年～一年程度の期間にわたって議論を行なう機会さえあれば、理解することはそれほど困難なことではありません。実際、2021年の、当方にとって特筆すべき出来事の一つは、まさに長らく宇宙際タイヒミューラー理論について誤解に基く内容の主張を展開していた欧米の数学者の一人を相手に、?[EssLgc]の§3の内容を辛抱強く解説することによって、漸く相手に自分の主張が全くの誤解であったことを明示的に認めていただいたことです。相手の主張・思考の論理構造の細かい分析は双方にとって大変な時間と労力を要する作業となってしまいましたが、それでも
常に友好的かつ建設的な空気の下で?????????
? 適切な論理的な議論を行なうことに?
よって長らく続いた相手の誤解を
決定的に氷解させることができた
ことは、2021年に起きた様々な出来事の中でも、当方にとっては珍しく希望を抱かせられる、とても貴重な経験となりました。
(引用終り)
”誤解に基く内容の主張を展開していた欧米の数学者の一人を相手に”
？ はて、誰でしょう
518:１３２人目の素数さん
22/01/01 09:40:41.32 t569GMxm.net
>>483
ゴキブリが100匹居るように見えたら
底辺大准教(55歳)1匹が暴れている
これが匿名掲示板の常識
519:１３２人目の素数さん
22/01/01 09:42:54.42 t569GMxm.net
大晦日から正月三が日なんて
普通の人は匿名掲示板に来ないから
その期間に大量連投があったら一人の変質者の仕業
520:１３２人目の素数さん
22/01/01 09:48:49.11 lBjAMPml.net
>>496
>ポール・ディラック
>「デルタ関数・・・それは関数ではない！」
デルタ関数を数学に取り入れる努力の結果
いま、デルタ関数は数学に根付いているよ
521:１３２人目の素数さん
22/01/01 10:03:28.02 g0+F40r5.net
>>498
その准教授は昨夜の朝生に着物着て出てたからその人の書き込みじゃないよ
522:１３２人目の素数さん
22/01/01 10:08:44.83 lBjAMPml.net
>>485
>>ω{・・n{n-1{・・1{0{}0}1・・}n-1}n・・}ω
>"ω{"の右隣りのカッコは有るんですか？無いんですか？
その議論を封じるために
「ωを先にノイマン基数割当で定義した後、そのωを使って、添え字付きカッコとして、”Φの外にω重カッコ”を構成する」>>481とした
つまり、Ordinal number （encyclopediaofmath.org）>>464 より
ωが存在して、ω＝{0,1,2,・・,n,・・} （全ての自然数を尽くす）
いま、ωの外のカッコ{}を外すと
0,1,2,・・,n,・・となる
ここで、一番右の数は存在しない（エンドレス無限）
しかし、ω＝{0,1,2,・・,n,・・}は集合として成り立つ
同様に、冒頭のω{・・n{n-1{・・1{0{}0}1・・}n-1}n・・}ωで
”}0}1・・}n-1}n・・}ω”で、}ωのすぐ左の}は存在しない（上記の集合ωに同じ）
”ω{・・n{n-1{・・1{0 ”で、ω{のすぐ右の{は存在しない（上記の集合ωに同じ）
だが、Ordinal number ω同様にω{・・n{n-1{・・1{0{}0}1・・}n-1}n・・}ωは集合として成り立つ
そのために、カッコ{}を添え字付きとして、順序数の構造を取り入れているんだよ
後者関数だけでは到達できないけど、順序数の構造を取り入れたからω{・・{}・・}ωへ到達できる
添え字付きカッコとした意義は、これです
523:１３２人目の素数さん
22/01/01 10:35:41.49 t569GMxm.net
>>501
はいはい
524:デマ初め乙 ゴキブリが100匹居るように見えたら 底辺大准教1匹が本体
525:１３２人目の素数さん
22/01/01 10:46:34.24 zFkCupja.net
山形底辺大准教(55歳)は己の存在の醜さに耐えられなくなって、三浦瑠麗に自己意識を飛ばしてテレビ出演したつもりになる現実逃避をしたのだろうね
URLﾘﾝｸ(www.tv-asahi.co.jp)
「朝まで生テレビ！ ～元旦SP～」 2022年1月1日（土）
司会進行 田原総一朗・渡辺宜嗣・下平さやか
パネリスト 松川るい・小川淳也・荻原博子・上昌広・竹中平蔵・津田大介
パネリスト 二木芳人・藤井聡・松田公太・三浦瑠麗・藻谷浩介・藤川みな代
526:１３２人目の素数さん
22/01/01 11:16:25.91 .net
>>497
幻覚を見るようじゃ今年中に入院かもなぁ
527:１３２人目の素数さん
22/01/01 11:18:22.14 .net
>>500
>>ポール・ディラック
>>「デルタ関数・・・それは関数ではない！」
>デルタ関数を数学に取り入れる努力の結果
>いま、デルタ関数は数学に根付いているよ
ええ、関数であることを諦めた結果ですよ
あなたも、無限シングルトンがシングルトンであることを
あきらめることができました おめでとう！！！！！！！
528:１３２人目の素数さん
22/01/01 11:27:13.06 zFkCupja.net
山形底辺大准教(55歳)が同じ話を延々と繰り返す理由
1. それ以外のネタを知らない
2. 若年性認知症の進行で毎日同じ話をしている自覚がない
529:１３２人目の素数さん
22/01/01 11:27:45.01 .net
>>502
>>>ω{・・n{n-1{・・1{0{}0}1・・}n-1}n・・}ω
>>"ω{"の右隣りのカッコは有るんですか？無いんですか？
>その議論を封じるために・・・
・・n{n-1{・・1{0{}0}1・・}n-1}n・・
が単一の存在であるという思い込みを捨て去った
そういうことですよね？ おめでとう！！！！！！！
>”}0}1・・}n-1}n・・}ω”で、}ωのすぐ左の}は存在しない
>”ω{・・n{n-1{・・1{0 ”で、ω{のすぐ右の{は存在しない
・・n{n-1{・・1{0{}0}1・・}n-1}n・・
が単一の存在であると固執するかぎりはね
そこで、
ω＝{0,1,2,・・,n,・・} （全ての自然数を尽くす）
の中の0,1,2,・・,n,・・にならって
・・n{n-1{・・1{0{}01}1・・}n-1}n・・
=0{}0,1{0{}0}1,…,n{n-1{・・1{0{}01}1・・}n-1}n,…
と「発想の転換」を行ったんですよね？
そうすれば無限個ある要素のどれも一番外側の{}を持つから
ω{・・n{n-1{・・1{0{}0}1・・}n-1}n・・}ω
＝ω{0{}0,1{0{}0}1,…,n{n-1{・・1{0{}01}1・・}n-1}n,…}ω
は集合として成り立つ
やっとそこに気づけましたか おめでとう！！！
530:１３２人目の素数さん
22/01/01 11:32:07.26 zFkCupja.net
>>473
たしかにID無しの連投が始まると
セタだかセタ叩きの書き込みがピタっと止まるな
とても不思議だなー(棒読み
531:１３２人目の素数さん
22/01/01 11:37:03.77 .net
>>502
>後者関数だけでは到達できないけど
無限個の項を引数とする上限関数
a0,a1,…,an,…
→{a0,a1,…,an,…}
が無限公理と置換公理から構築できる、と
やっとそこに気づけましたか おめでとう！！！
532:１３２人目の素数さん
22/01/01 11:44:07.20 zFkCupja.net
このスレでIUTと無関係な話を引っ張っては暴れている人物は
■非線形非平衡統計物理の未科学問題(当時)
URLﾘﾝｸ(en.wikipedia.org)
を古典熱力学と矛盾する「ニセ科学」だと主張し
雑誌パリティ編集長大槻義彦氏を巻き込もうと
するも失敗、2017～2020年解明論文が出て以降ダンマリ
■CERN反物質実験プロジェクトリーダー URLﾘﾝｸ(ja.wikipedia.org)
が311福一原発事故の放射線被害論文で
データ無断使用とデータ捏造問題を起こすと
擁護を試み、
英語論文誌の論文撤回手続きに関し虚言を弄し
■上記問題に対し一貫した指摘を行なっている
ゴードン・ベル賞7回受賞の物理学者 URLﾘﾝｸ(ja.wikipedia.org)
に対しても
「脱原発派の指摘はバイアスが掛かってい
533:るから 一切信用できない」という印象操作発言をして https://twitter.com/apj/status/1083283354173100032 その長年にわたる「ニセ科学批判」が科学ではなく世論扇動活動に過ぎなかった事を露呈してしまった 「自身には学問的成果が無いので 大物への批判と擁護を通じて 自身も大物であるかのように振る舞う」 小物に過ぎない 小物の虚勢連投は一切お気になさらぬよう (deleted an unsolicited ad)
534:１３２人目の素数さん
22/01/01 11:44:28.35 .net
>>509
望月新一を熱烈応援する方々は予言スレにいらっしゃい
【予言】今年のICMで望月新一氏はABC予想解決で特別賞を受賞する
ｽﾚﾘﾝｸ(math板)
535:１３２人目の素数さん
22/01/01 11:45:23.90 .net
>>511
望月新一を熱烈応援する方々は予言スレにいらっしゃい
【予言】今年のICMで望月新一氏はABC予想解決で特別賞を受賞する
ｽﾚﾘﾝｸ(math板)
536:１３２人目の素数さん
22/01/01 11:46:40.81 Acv7rhAa.net
>>507
同じ話にしか見えないってお前ほんとバカなんだな
537:１３２人目の素数さん
22/01/01 11:48:07.65 lBjAMPml.net
>>477 補足説明
(引用開始)
「”無限長の降鎖(a_n)n∈N”は松坂和夫氏の「集合・位相入門」ではどう定義されてますか？」
「順序集合Aの元の列(a_n)n∈Nで、
a_1>a_2>…＞a_n>…
となるものをAにおける降鎖という」
昇鎖の定義：上記降鎖の不等号>を<に変えて
「順序集合Aの元の列(a_n)n∈Nで、
a_1<a_2<…＜a_n<…
となるものをAにおける昇鎖という」
(引用終り)
ここが、分かってない人が居そうなので、補足するよ
降鎖：a_1>a_2>…＞a_n>…
昇鎖：a_1<a_2<…＜a_n<…
これを理解するのに、まず関数の増加と減少から説明するよ
簡単に実関数とする
f：x→y, y=f(x)
関数の増加とは：xが増加すると、yが増加する
つまり、x_1<x_2<…＜x_n<… に対して、y_1<y_2<…＜y_n<… となる場合
（xが増加するにつれて、yが増加する）
関数の減少とは：xが増加すると、yが減少する
つまり、x_1<x_2<…＜x_n<… に対して、y_1>y_2>…＞y_n>… となる場合
（xが増加するにつれて、yが減少する）
数列の場合、離散変数 x=1,2,・・,n,・・を考えて、
関数値列 a_1,a_2,….a_n,… を考えるわけだ
そして
降鎖：a_1>a_2>…＞a_n>… （関数値が減少）
昇鎖：a_1<a_2<…＜a_n<… （関数値が増加）
となる
つまり、列 a_1,a_2,….a_n,… 自身は、(変数 nを考えなければ)単なる列と見ることも出来る
実際、単調増加でも、単調減少でもない列もあるし
なにより、離散変数 x=1,2,・・,n,・・との対応を考えなければ、
降鎖、昇鎖の定義も、関係ない
つづく
538:１３２人目の素数さん
22/01/01 11:50:03.88 lBjAMPml.net
>>515
つづき
さて
自然数列内で、上記定義の降鎖：a_1>a_2>…＞a_n>… （関数値が減少）を考えると
まずスタートのa_1を、自然数の中から選ばなければならない
（簡単に、スタートのa_1をｍとする）
この場合、ｍ以下の自然数は有限だから、自然数の降鎖は有限にならざるを得ない
一方、昇鎖の場合
スタートのa_1を、ある自然数ｍとして、
上記同様に、ｍ以上の自然数は無限だから、
自然数の昇鎖 a_1<a_2<…＜a_n<…
は無限とできる
松坂和夫の降鎖を下降列、昇鎖を上昇列 と読み替えることは、容易にできる
ここらの機微が分からない人が
”＜上昇列 ０＜・・・＜ω が有限列にしかなり得ない”>>7
などと、喚くのです
以上
539:１３２人目の素数さん
22/01/01 11:56:17.84 zFkCupja.net
>>514
山形大底辺大准教(55歳)の書き込みに関して
同じ内容の繰り返しだ、という指摘に対して
「同じ内容ではない」と反論するのであれば
>>514=山形底辺大准教55歳確定だな
わざわざ身元自己開示ご苦労さん
540:１３２人目の素数さん
22/01/01 12:04:01.65 Acv7rhAa.net
>>517
天羽さんは今頃家族でおせち食べながらかくし芸大会見てるからこんな便所の落きなんか見てないよ
新年から被害妄想ご苦労さん
541:１３２人目の素数さん
22/01/01 12:08:35.12 zFkCupja.net
山形底辺大准教授55歳は昨年末以来
毎日自己身元開示を繰り返しているから
すっかり界隈の有名人になったね(悪い意味で
542:１３２人目の素数さん
22/01/01 12:30:54.32 3z2olBkR.net
>>519
私スケベでインラン(*´Д`)
543:１３２人目の素数さん
22/01/01 12:31:55.05 cCS1G03e.net
>>519
昨晩はどんな業務用缶スープを飲んだの？
544:１３２人目の素数さん
22/01/01 12:34:25.63 zFkCupja.net
それは本人ホムペや本人Twitterで聴いて差し上げ
545:ろ http://cml-office.org http://twitter.com/apj -- (deleted an unsolicited ad)
546:１３２人目の素数さん
22/01/01 12:34:33.95 .net
>>516
>自然数列内で、上記定義の降鎖：a_1>a_2>…＞a_n>… （関数値が減少）を考えると
>まずスタートのa_1を、自然数の中から選ばなければならない
>（簡単に、スタートのa_1をｍとする）
>この場合、ｍ以下の自然数は有限だから、自然数の降鎖は有限にならざるを得ない
実は順序数列内で降鎖を考えても有限になるよ
超限帰納法が成り立つから
y<xなる任意の順序数yについて降鎖が有限長ならxの降鎖も有限長
なぜならxからの降鎖は、まずy<xとなるyに降りるから
有限長＋１＝有限長、ってこと
n<ωなる任意の自然数ｎについて降鎖が有限長
だからωからの降鎖も有限長
初歩ですね
547:１３２人目の素数さん
22/01/01 12:36:24.22 Acv7rhAa.net
>>519
負け組の君がいくら便所で叫んでも天羽さんは痛くも痒くもない
惨めだね
548:１３２人目の素数さん
22/01/01 12:40:58.30 aQTTqsY7.net
>>496 >>506
当てにすんな、何せSetAは「有限小数しかない数学なら0.999…≠1だよね」発言やらかしたコピペ積み木爺だぞ､
どうせ「超関数は関数でない関数の一種」だの「無限重シングルトンはシングルトンでないシングルトンの一種」だのと
脳細胞の大半がゾンビ細胞化してる奴特有の矛盾発言で取り繕って来るだろ｡
SetA相手には、より低く、より低く見積もれ｡
549:１３２人目の素数さん
22/01/01 13:39:27.51 lBjAMPml.net
>>525
>「有限小数しかない数学なら0.999…≠1だよね」発言やらかした
例えば、コンピュータ内のデジタルの内部では、有限小数しかないよ
やらかしでも、なんでもないよ
例えば
コンピュータ内の場合、有限小数しかないから
”0.999…≠1”は、ありだよ
1＝(1/9)*9 で
右辺 1/9＝0.111111・・でどこか有限桁で打ち切るとする
(1/9)*9＝0.999999・・（有限桁）で終わるから
0.999…≠1となるよね
（下記OKWAVEも、見てね）
(参考)
URLﾘﾝｸ(okwave.jp)
OKWAVE anonym1908
2017/12/23 00:42
タイトル: 0.999...=1 を証明せよ、に思うこと
みんなの回答
Water_5
ベストアンサー率17% (56/314)
0.999... と 1は等しくありません。
０＜ｘ＜１、つまりX軸上を考えます。・・・・・・・・（C)
ｆ（ｘ）＝ｘ
０＜ｆ（０．９９９・・・）＝０．９９９・・・＜ｆ(1)＝１ / （C)式より
であって決して”１”ではありません。
しかし、
lim ｆ（ｘ）＝１
ｘ---->１
が成り立ち 極限値として０．９９９・・・・・＝１が成り立つ。
noname#232800
あのー私の考えね。
二進数に「0.1」って無いんですよ。パソコンの中って、二進数と浮動小数しかないんです。
従って、人間の脳には 0.99999999999 が存在しますが、
550:１３２人目の素数さん
22/01/01 14:04:07.14 rlZ8PATo.net
>>493
>>あなたの云うスタンダードとは何でしょう？
>下記”Ordinal number”の通りです
>（”Ordinals were introduced by Georg Cantor in 1883[3] in order to accommodate infinite sequences and classify derived sets”）
いや、だから、どこにも「＜無限上昇列 ０＜・・・＜ω が存在する」なんて書かれてないんですけど？
>で、下記の通り、”the first infinite ordinal, ω”は、”After all natural numbers comes ”なので、全ての自然数の外で、自然数の外に追加しました
じゃ<列じゃないですね。<列は自然数全体の集合を定義域とする写像s:N→Xであって、n<m ⇒ s(n)<s(m) を満たすものですから。
551:１３２人目の素数さん
22/01/01 14:22:12.88 rlZ8PATo.net
>>502
>ω{のすぐ右の{は存在しない
じゃあaωを仮に集合と見做したときその元は集合ではないということですね？じゃあaωを集合と見做したのが間違いですね。
ZF公理系では集合の元は集合に限られますから。
552:１３２人目の素数さん
22/01/01 15:07:51.66 AINN/vbo.net
そうそう
何をどう言い訳してみても”ツェルメロの順序数”がZFCの中の議論である限り“ツェルメロのω”なるものも集合になるしかない、もちろんツェルメロが論文中で表したωは集合
しかしそれはシングルトンではない、無限集合、どう読んでもそうとしか読めないんだがアホセタは“無限シングルトン”という訳のわからんモンだと言い続けてる
そして
「その“無限シングルトン”は集合なのか？」
「その“無限シングルトン”はシングルトンなのか？」
「その“無限シングルトン”の元もまた“シングルトン”なのか？それは有限シングルトンなのか？無限シングルトンなのか？」
こういう質問には一切答えない
もちろんセタの主張してる内容なら答えは
yes
yes
yes +有限シングルトン
しか答えはあり得ないんだがするとその“無限シングルトン”は“有限のシングルトン”でツェルメロの有限順序数しか有り得ないという結論以外導きようがないとわかる
さすがのアホセタも理性の部分ではその事はわかってるんやろ
しかしそれは“自分の負け”を認めることになるから決して認めない、答えない
文化人を気取りたいだけのカス
553:１３２人目の素数さん
22/01/01 15:39:51.57 rlZ8PATo.net
>>516
>ここらの機微が分からない人が
>”＜上昇列 ０＜・・・＜ω が有限列にしかなり得ない”>>7
>などと、喚くのです
いえ、列とは自然数全体の集合を定義域とする写像であることが分からない人が＜無限上昇列 ０＜・・・＜ω が存在するなどと喚くのです。
定義域を無理やりN∪{ω}に捏造したせいでωの直前の項が存在しないという破綻に陥っているのです。
554:１３２人目の素数さん
22/01/01 15:52:28.11 rlZ8PATo.net
>>515
>昇鎖の定義：上記降鎖の不等号>を<に変えて
>「順序集合Aの元の列(a_n)n∈Nで、
> a_1<a_2<…＜a_n<…
> となるものをAにおける昇鎖という」
はい、どこにも「(a_n)n∈N∪{ω}」とは書かれてないですね。
555:１３２人目の素数さん
22/01/01 16:03:36.39 lBjAMPml.net
>>527
>>（”Ordinals were introduced by Georg Cantor in 1883[3] in order to accommodate infinite sequences and classify derived sets”）
>いや、だから、どこにも「＜無限上昇列 ０＜・・・＜ω が存在する」なんて書かれてないんですけど？
(>>493 再録)
URLﾘﾝｸ(en.wikipedia.org)
Ordinal number
(抜粋)
Ordinals extend the natural numbers
Perhaps a clearer intuition of ordinals can be formed by examining a first few of them: as mentioned above, they start with the natural numbers, 0, 1, 2, 3, 4, 5, … After all natural numbers comes the first infinite ordinal,ω,
＜google訳＞
おそらく、序数のより明確な直感は、それらの最初のいくつかを調べることによって形成できます。上記のように、それらは自然数0、1、2、3、4、5で始まります…すべての自然数が最初の無限の序数になります、ω、
(引用終り)
”上昇”という用語を省いたら、無限列 0, 1, 2, 3, 4, 5, …ω は認めるよね
＜ を間に入れても良いよね、 無限列 0< 1< 2< 3< 4, 5< …<ω となるよ
>じゃ<列じゃないですね。<列は自然数全体の集合を定義域とする写像s:N→Xであって、n<m ⇒ s(n)<s(m) を満たすものですから。
違う
単なる列には、”自然数全体の集合を定義域とする”の規定は不要です
但し、松坂和夫の降鎖および昇鎖の定義>>515は、「列(a_n)n∈N」と規定しているので、松坂での降鎖昇鎖の定義域は自然数だ
が、無限列 0< 1< 2< 3< 4, 5< …<ω を扱うには、
定義域を拡張して、列(a_n)n∈N∪ω とするのが良かろう
それで、”＜無限上昇列 ”を 定義域 N∪ωに拡張すれば、”無限列 0< 1< 2< 3< 4, 5< …<ω ”を扱える
それだけのことだよ
556:１３２人目の素数さん
22/01/01 16:04:53.09 lBjAMPml.net
>>528
>>ω{のすぐ右の{は存在しない
>じゃあ ωを仮に集合と見做したときその元は集合ではないということですね？じゃあωを集合と見做したのが間違いですね。
ええ、だから、>>502よりω＝{0,1,2,・・,n,・・} （全ての自然数を尽くす）
これで、}のすぐ左の元は、決まらない（その意味で存在しないと言ってもいい）
でも、ω＝{0,1,2,・・,n,・・}を集合と認めるわけだ
こっちを認めて、あっちを認めないというのは、いわゆるダブルスタンダードですよ
557:１３２人目の素数さん
22/01/01 16:19:00.81 lBjAMPml.net
>>532 誤記訂正
定義域を拡張して、列(a_n)n∈N∪ω とするのが良かろう
↓
定義域を拡張して、列(a_n)n∈N∪{ω} とするのが良かろう
下記の一点コンパクト化な
(参考)
URLﾘﾝｸ(ja.wikipedia.org)
コンパクト化
一点コンパクト化の例
・自然数全体（離散位相） N の一点コンパクト化は N に最大元 ω を付け加えた順序集合 N∪{ω} の順序位相と同相になる。
558:１３２人目の素数さん
22/01/01 16:19:37.39 rlZ8PATo.net
>>532
>”上昇”という用語を省いたら、無限列 0, 1, 2, 3, 4, 5, …ω は認めるよね
いいえ、末項ωの直前の項が無いので列の定義に反します
列の定義は繰り返し教えてますよね？そろそろ理解してもらえませんか？
559:１３２人目の素数さん
22/01/01 16:32:44.35 lBjAMPml.net
>>535
>>”上昇”という用語を省いたら、無限列 0, 1, 2, 3, 4, 5, …ω は認めるよね
>いいえ、末項ωの直前の項が無いので列の定義に反します
なんだ？
下記の 列 (数学) 一般化 を百回音読したらどうだ？
読んでる本、古くね？
URLﾘﾝｸ(ja.wikipedia.org)(%E6%95%B0%E5%AD%A6)
列 (数学)
一般化
「有向点族」および「族 (数学)」も参照
整列集合である自然数全体やその切片を順序数と考えるならば、通常の列は有限順序数 n または最小の超限順序数 ω で添字付けられていると考えることができる。このことから一般に、ある集合 X の元の集まりで、整列集合あるいは順序数によって添字付けられるものを広い意味で X の元の列と呼ぶことがある。特に極限数 α をとれば、α によって添字付けられる
560:列を考えることができる。この語法では通常の（無限）列は ω で添字付けられた列ということになる。 列の概念は、添字集合となる整列集合を有向集合に取り替えて有向点族（あるいはネット）、一般の集合にとりかえて元の族の概念に一般化される。 https://en.wikipedia.org/wiki/Sequence Sequence Set theory An ordinal-indexed sequence is a generalization of a sequence. If α is a limit ordinal and X is a set, an α-indexed sequence of elements of X is a function from α to X. In this terminology an ω-indexed sequence is an ordinary sequence.
561:１３２人目の素数さん
22/01/01 16:36:15.44 t569GMxm.net
ソースがウィキペディアってどこの山形大学数学科の標準なんだよw
草が生えまくるぞ
562:１３２人目の素数さん
22/01/01 16:38:54.69 rlZ8PATo.net
>>532
>が、無限列 0< 1< 2< 3< 4, 5< …<ω を扱うには、
>定義域を拡張して、列(a_n)n∈N∪ω とするのが良かろう
良くないです。<ωの直前の項が無いという破綻に陥りますから。
>それで、”＜無限上昇列 ”を 定義域 N∪ωに拡張すれば、”無限列 0< 1< 2< 3< 4, 5< …<ω ”を扱える
あなたがそのような変なものを独自定義するのはあなたの自由ですが、「＜無限上昇列 ０＜・・・＜ω が存在する」は間違いだと認めますね？
＜無限上昇列には世間で認知されている正式な定義が存在していて、あなたが独自定義した変なものとは別モノですから。