探検


おにぃのルベーグ積分勉強スレ

175132人目の素数さん
垢版 |
2026/09/17(木) 23:57:18.53ID:D5Z+zs9x
>>173
そもそも「対処」って何?自分の行動を自分で責任取れない幼いゲス爺
176132人目の素数さん
垢版 |
2026/09/17(木) 23:58:03.82ID:D5Z+zs9x
>>173
訳の分からん共感を強要するゲス爺
2026/09/17(木) 23:59:20.75ID:Pl29pfSO
>>175
まあ、このスレは言うなればpart2だよ。
これから軌道修正しつつ、上手くやっていくさ。
2026/09/18(金) 00:00:08.50ID:lt1XifJ/
俺も最低限の勉強時間は確保したいからね。
179132人目の素数さん
垢版 |
2026/09/18(金) 00:02:33.88ID:sBz4sR2l
>>178
それが本気なら「対処」はしないはず
つまりそれは本気では無い嘘
2026/09/18(金) 00:05:51.87ID:lt1XifJ/
>>179
久しぶりの贅沢ができているので、飲みながら適当に相手をする日くらいあってもバチは当たらないよ、きっと。
図書館から本を借りてくるなど、やることはやっているからね。
181132人目の素数さん
垢版 |
2026/09/18(金) 03:00:36.20ID:j5n2ahRI
年下が見たらきしょいイタいとみんな思うだろう
182132人目の素数さん
垢版 |
2026/09/18(金) 03:04:28.88ID:j5n2ahRI
おちゃらけに逃げてるってのはその通りだろう
逃げでないなら面白さに真剣なはずだから
183132人目の素数さん
垢版 |
2026/09/18(金) 03:25:29.31ID:j5n2ahRI
やっていこう、本借りてこよう、息抜きしよう
そんな宣言は他人にとってなんの価値もない
普通はルベーグ積分を「やる自分」なんて書かず、ルベーグ積分の「やった内容」を書く
なぜなら意識の中心が自分ではなく数学にあるから
数学に価値を感じて勉強していれば、その内容を話題に出さないのは我慢していることになる。
するべき理由の全くない不自然な我慢。
数学やってきた人からしたら明らかに不自然で気持ち悪い。
184132人目の素数さん
垢版 |
2026/09/18(金) 03:26:22.53ID:j5n2ahRI
同じように、年下から見たら面白くもないおちゃらけは不自然で気持ち悪い
185132人目の素数さん
垢版 |
2026/09/18(金) 03:27:59.14ID:j5n2ahRI
だから、逃避やポージングだと思われて当然。
186132人目の素数さん
垢版 |
2026/09/18(金) 03:30:33.57ID:j5n2ahRI
嘘言ってる人はいつも手を動かしてる人より具体性がない
2026/09/18(金) 07:28:05.80ID:bjR1G5Qo
>>186
俺が手を動かすのを妨げる人乙w
荒らしはお断り。
2026/09/18(金) 12:57:33.05ID:j5n2ahRI
だから手を動かせばいいだろ
189132人目の素数さん
垢版 |
2026/09/18(金) 12:58:27.34ID:j5n2ahRI
勉強した自分じゃなく数学の内容を書けよ
2026/09/18(金) 13:13:32.61ID:i6C3Vk5o
一番関係ないこと書いてる人乙。
立てたばかりでもう200コメだよw
2026/09/18(金) 13:26:36.00ID:qPCJMKk+
楽しいだろ5chは
2026/09/18(金) 13:28:27.33ID:qPCJMKk+
彼の人の押しmathlog
mathlog.info/
2026/09/18(金) 13:29:01.43ID:qPCJMKk+
(しょぼい)
2026/09/18(金) 13:38:25.42ID:i6C3Vk5o
非ナベアツ数w
195132人目の素数さん
垢版 |
2026/09/18(金) 13:55:00.96ID:sBz4sR2l
>>189
ですね
196132人目の素数さん
垢版 |
2026/09/18(金) 13:55:26.99ID:sBz4sR2l
>>190
数学ヤルヤル詐欺
2026/09/18(金) 14:10:39.13ID:i6C3Vk5o
>>195
ですね、じゃねーよw
ソイツは昨日大暴れしてただろ。
これだから「ですね人」は全く、プンプン。
2026/09/18(金) 14:13:52.14ID:i6C3Vk5o
明日の準備は大体終わったし、ゆっくりまったり数学をしよう。
一杯やりながら、貴重な贅沢を満喫しよう。
土日は忙しいからね。
199132人目の素数さん
垢版 |
2026/09/18(金) 14:55:12.15ID:j5n2ahRI
>>197
複数人だよ
200132人目の素数さん
垢版 |
2026/09/18(金) 14:56:12.48ID:j5n2ahRI
昨日の人のことは知らん
2026/09/18(金) 14:59:56.05ID:i6C3Vk5o
>>200
今日の>>189も怪しいだろw
俺は勉強に支障が出ない程度にレスする。
全レスしていたらキリがない。
202132人目の素数さん
垢版 |
2026/09/18(金) 15:05:23.31ID:j5n2ahRI
じゃあ数学のこと書けば一番支障でないだろ
203132人目の素数さん
垢版 |
2026/09/18(金) 15:06:52.34ID:sBz4sR2l
>>202
ですね
ヤルヤル詐欺でなく数学をヤレ
ゲス爺
2026/09/18(金) 15:07:12.19ID:qPCJMKk+
L^1の完備性の証明のポイントは?
205132人目の素数さん
垢版 |
2026/09/18(金) 15:09:11.35ID:i6C3Vk5o
>>204
とりあえず、三角不等式を使いまくっていたことは覚えている。
2026/09/18(金) 15:09:44.67ID:qPCJMKk+
ブー
207132人目の素数さん
垢版 |
2026/09/18(金) 15:11:09.35ID:i6C3Vk5o
>>203
>>45はどうなのよ?
208132人目の素数さん
垢版 |
2026/09/18(金) 15:12:45.30ID:i6C3Vk5o
>>206
覚えていることだけ書いたから、正解も不正解もないだろ。
自分の答えがあるのなら、そういうのを書くスレなんだよ、分かる?
209132人目の素数さん
垢版 |
2026/09/18(金) 15:13:50.99ID:i6C3Vk5o
>>206
君も>>45はどうなのよ。
匙を投げていたけど。
2026/09/18(金) 15:14:24.95ID:qPCJMKk+
何回でも回答可です
211132人目の素数さん
垢版 |
2026/09/18(金) 15:15:03.66ID:j5n2ahRI
セミナーでボコボコにされるタイプの人間
2026/09/18(金) 15:15:34.41ID:i6C3Vk5o
>>202
君は昨日の自分のコメを見返したまえ、以上w
2026/09/18(金) 15:17:09.37ID:i6C3Vk5o
>>210
君はド・モルガンの証明を飛ばした人だよね?
あのときの代わりに自分で書いたらどう?
214132人目の素数さん
垢版 |
2026/09/18(金) 15:18:24.75ID:j5n2ahRI
セミナーの準備のしかたについて
215132人目の素数さん
垢版 |
2026/09/18(金) 15:18:46.73ID:i6C3Vk5o
>>211
君なんか研究室の厄介者になるだけだろ。
レスバしてきて皆に嫌がられるタイプw
216132人目の素数さん
垢版 |
2026/09/18(金) 15:19:51.45ID:i6C3Vk5o
>>214
あれはかなり厳しいよ。
御大もネガティブな印象だったじゃん。
出来る人だけが目指せば良い目標だよ。
217132人目の素数さん
垢版 |
2026/09/18(金) 15:19:51.87ID:j5n2ahRI
逃げてるってのはその通りだろう
218132人目の素数さん
垢版 |
2026/09/18(金) 15:20:14.51ID:i6C3Vk5o
>>217
>>45
219132人目の素数さん
垢版 |
2026/09/18(金) 15:21:28.04ID:j5n2ahRI
それでL1の完備性は?
220132人目の素数さん
垢版 |
2026/09/18(金) 15:22:42.93ID:i6C3Vk5o
>>45に答えろよ。
自分の要求だけ通そうとすなw
2026/09/18(金) 15:23:20.49ID:qPCJMKk+
>>213
知らね
222132人目の素数さん
垢版 |
2026/09/18(金) 15:23:59.70ID:i6C3Vk5o
じゃ、俺も知らねw
2026/09/18(金) 15:24:40.92ID:j5n2ahRI
>>220
質問でないのに答えろとは?
224132人目の素数さん
垢版 |
2026/09/18(金) 15:27:21.18ID:i6C3Vk5o
>>223
f+gの可測性の証明が本によって差があるが、結局どこが肝なのかという質問だろう。
ニュアンスで分かるでしょ。
2026/09/18(金) 15:27:53.96ID:qPCJMKk+
ゴミみたい疑問w
226132人目の素数さん
垢版 |
2026/09/18(金) 15:29:51.21ID:i6C3Vk5o
前スレで丸投げしたクセにw
L^1の完備の証明も自分で腑に落ちとけよw
2026/09/18(金) 15:30:41.36ID:j5n2ahRI
>>224
有理数をとることで可算無限にとどめること
228132人目の素数さん
垢版 |
2026/09/18(金) 15:31:20.69ID:j5n2ahRI
>>226
知らないことがあったら今から調べたら
229132人目の素数さん
垢版 |
2026/09/18(金) 15:31:57.58ID:i6C3Vk5o
俺は裳華房の本を読みたいんだよ。
煽りは勉強の妨げになるので、控えるように。
基本的に良いことを言って、周りを唸らせるような方向でお願いしたい。
2026/09/18(金) 15:33:48.53ID:qPCJMKk+
850 :132人目の素数さん[]:2026/08/12(水) 00:05:22.22 ID:SdBNH9zY
志賀先生の本で勉強していることは何も悪くないだろw
ただ、ルベーグといったら伊藤清三先生の本が有名だということは知っていた。
案の定、相手はその著者を挙げてきたが、本の良いところを尋ねても、まともな回答が無かった。
結局、うわべの知識でマウントを取りたかっただけなのだろう。
こういう住人がこの板には多いんだよ。
231132人目の素数さん
垢版 |
2026/09/18(金) 15:33:48.68ID:i6C3Vk5o
>>227
そうなん、f+gのときも有理数が出てきたけども。
232132人目の素数さん
垢版 |
2026/09/18(金) 15:36:01.06ID:i6C3Vk5o
>>230
伊藤先生の本の場所が特殊で、借り忘れた。
次は月曜だな。
233132人目の素数さん
垢版 |
2026/09/18(金) 15:43:10.68ID:sBz4sR2l
>>207
ヤレよw
人に頼るな
234132人目の素数さん
垢版 |
2026/09/18(金) 15:44:39.16ID:i6C3Vk5o
しょうがない、急いで図書館に行くか。
酒のアテも買ってこようw
235132人目の素数さん
垢版 |
2026/09/18(金) 15:45:01.93ID:sBz4sR2l
何の意味も無く233レス
2026/09/18(金) 15:55:24.10ID:i6C3Vk5o
それは昨日暴れた人に言ってくれw
2026/09/18(金) 15:56:40.21ID:qPCJMKk+
非可測集合は普通の数学では使うことはまずない、そういうものがあるんだぐらいw
2026/09/18(金) 15:59:25.78ID:qPCJMKk+
捻くれたおっさんの拘りw
239132人目の素数さん
垢版 |
2026/09/18(金) 16:08:01.03ID:j5n2ahRI
>>231
完全加法族の定義まで戻れば?
240132人目の素数さん
垢版 |
2026/09/18(金) 16:58:51.10ID:CzRYxmjL
>>239
可算なのはさすがに意識してるよ。
最初に読んだ本のεの無限等比級数の話が印象的だったから。
そして、念願の本を借りてきた。
あとはおつまみを買って帰るのみw
241132人目の素数さん
垢版 |
2026/09/18(金) 17:02:26.49ID:sBz4sR2l
>>236
違う
お前の責任
数学をヤレ数学を
2026/09/18(金) 17:09:44.74ID:j5n2ahRI
>>240
2行無駄
2026/09/18(金) 17:14:48.69ID:j5n2ahRI
>>240
ここで躓く時点で意識できてない
2026/09/18(金) 17:15:43.24ID:CzRYxmjL
>>242
リピート人は何行無駄にしてきたのやらw
245132人目の素数さん
垢版 |
2026/09/18(金) 17:18:07.21ID:CzRYxmjL
>>243
偉そうに言うんだったら、疑問にバシッと答えてくれよ。
定義とかに色々と裏事情があるものも多いだろう。
学び始めの分野はこんなもんだよ。
これから詰めていくのさ。
2026/09/18(金) 17:24:01.10ID:j5n2ahRI
無駄な行が増えた
2026/09/18(金) 17:37:18.23ID:qPCJMKk+
俺は初心者。俺の期待する答えをくれ。さもないと噛みつくよw
2026/09/18(金) 17:37:52.34ID:j5n2ahRI
質問してないのに?
2026/09/18(金) 17:38:19.48ID:j5n2ahRI
自分で話逸らしてるのに
250132人目の素数さん
垢版 |
2026/09/18(金) 17:39:23.62ID:CzRYxmjL
だから、ニュアンスで分かれって言ったでしょ。
機微とかに疎いから困るよ、全くw
251132人目の素数さん
垢版 |
2026/09/18(金) 17:40:52.98ID:CzRYxmjL
話を逸らすのはお互い様だ。
細かい背景とかは難しいだろう、誰にとっても。
2026/09/18(金) 17:43:23.82ID:j5n2ahRI
プライドが高い
2026/09/18(金) 17:44:27.27ID:CzRYxmjL
>>252
それは君だろ、妥協一切してくんないじゃん。
2026/09/18(金) 17:47:06.22ID:j5n2ahRI
どうでもいい
2026/09/18(金) 17:47:20.04ID:j5n2ahRI
それで数学は?
256132人目の素数さん
垢版 |
2026/09/18(金) 17:47:52.60ID:CzRYxmjL
そして、やっと本題に入れる。
伊藤先生の本には有限の条件がある。
257132人目の素数さん
垢版 |
2026/09/18(金) 17:48:24.85ID:CzRYxmjL
f+gの可測性の話ね。
258132人目の素数さん
垢版 |
2026/09/18(金) 17:49:36.90ID:sBz4sR2l
>>245
人に強要するのだけは得意
259132人目の素数さん
垢版 |
2026/09/18(金) 17:50:06.22ID:sBz4sR2l
>>250
人に理解を強要するのもお得意
2026/09/18(金) 17:50:17.82ID:j5n2ahRI
有限でなくても成り立つか自分で証明したらどう
261132人目の素数さん
垢版 |
2026/09/18(金) 17:50:40.48ID:sBz4sR2l
>>251
人に強要することを自分はしないのもお得意
2026/09/18(金) 17:50:53.61ID:j5n2ahRI
じゃあ日記と自己弁護にどう反応してほしい?
何を期待してるの
2026/09/18(金) 17:52:12.76ID:qPCJMKk+
ルベーグ積分を勉強する意味は?
2026/09/18(金) 17:52:24.92ID:j5n2ahRI
周りがするべきコメントの例を書いてみて
265132人目の素数さん
垢版 |
2026/09/18(金) 17:52:46.34ID:CzRYxmjL
>>260
±∞が出てくるときは、場合分けでやっていたと思う。
タブーの∞−∞を回避するために。
266132人目の素数さん
垢版 |
2026/09/18(金) 17:54:15.37ID:CzRYxmjL
>>263
漠然とした質問されても困るよ。
とりあえず、ジョルダン測度じゃ物足りないって思ったんじゃないの?
2026/09/18(金) 17:54:53.49ID:j5n2ahRI
>>265
「f+gが拡大実数値関数であるとき」または「意味を持つ限り」と言えば
2026/09/18(金) 17:55:05.13ID:qPCJMKk+
ハズレ
269132人目の素数さん
垢版 |
2026/09/18(金) 17:57:37.87ID:CzRYxmjL
>>264
煽りなし。
有益なことで周りを感心させる。
これが最低限の方針だよ。
私は自由人なので、話が逸脱するのはそこまで気にしてはいない。
2026/09/18(金) 17:58:00.64ID:qPCJMKk+
なぜリーマン積分じゃだめなの、といえばいいか
2026/09/18(金) 17:58:26.14ID:j5n2ahRI
>>269
日記や自己弁護に対して?
272132人目の素数さん
垢版 |
2026/09/18(金) 17:59:00.66ID:CzRYxmjL
>>268
歴史的にはどうなんだよ。
詳しく知ってんの?
それが一つの答えになるだろう。
2026/09/18(金) 17:59:58.13ID:qPCJMKk+
>>272
質問に質問で返す2
274132人目の素数さん
垢版 |
2026/09/18(金) 18:00:39.45ID:CzRYxmjL
とりあえず、ディリクレ関数で困るじゃん。
2026/09/18(金) 18:00:49.02ID:qPCJMKk+
ルベーグ積分できる俺ってかっこいいww
2026/09/18(金) 18:00:56.56ID:j5n2ahRI
>>272
>>>270は分かってたら1行で答えられる明確な質問だ
屁理屈の余地はない
277132人目の素数さん
垢版 |
2026/09/18(金) 18:01:51.95ID:CzRYxmjL
>>271
ランダムウォークも日記みたいなもんやん、ほぼ独り言やしw
2026/09/18(金) 18:02:07.54ID:j5n2ahRI
知ってたら全員同じことを答える
279132人目の素数さん
垢版 |
2026/09/18(金) 18:03:00.33ID:CzRYxmjL
>>276
それはどこかで見た気がする。
2026/09/18(金) 18:03:32.13ID:j5n2ahRI
>>271
なんの関係があるの
2026/09/18(金) 18:04:40.40ID:j5n2ahRI
>>277
2026/09/18(金) 18:07:50.07ID:j5n2ahRI
>>279
>>275のニュアンス:ここを知らないのにルベーグ席分をやる気になるのは不自然だ。本当はルベーグ積分をやってる自分に酔いたいだけだろう。
283132人目の素数さん
垢版 |
2026/09/18(金) 18:12:13.21ID:CzRYxmjL
844
:
132人目の素数さん[sage]
2026/09/14(月) 01:44:24.51
もちろん入れる。そして入れることに f+g の可積分性など一ミリも必要ない。あとで r を走らせる部分でも f+g の有界性も可積分性も必要ない。
初学者向きの教科書なら必要のない仮定をいれて証明の手間へらすときがないこともないだろうけど f+g が有界とか可積分とかの仮定いれて減らせる手間なんかなさそうだけどな
まぁええか
284132人目の素数さん
垢版 |
2026/09/18(金) 18:13:36.62ID:CzRYxmjL
とりあえず、伊藤先生の本では有限の条件を課しているからね。
2026/09/18(金) 18:16:34.00ID:j5n2ahRI
はぐらかし
286132人目の素数さん
垢版 |
2026/09/18(金) 18:40:20.96ID:CzRYxmjL
>>270
可積分な関数列の極限関数が、可積分であってほしい。
関数列の積分値の極限が、極限関数の積分値であってほしい。

こんな感じすか?
2026/09/18(金) 18:47:16.56ID:CzRYxmjL
祝杯をあげるおにぃw
今月はあと何回飲めるだろうか。
2026/09/18(金) 18:55:18.45ID:CzRYxmjL
ビールうめ~w
2026/09/18(金) 19:02:38.73ID:qPCJMKk+
>>286
X
2026/09/18(金) 19:03:26.11ID:qPCJMKk+
おっさん、基本がボロボロだろ
291132人目の素数さん
垢版 |
2026/09/18(金) 19:06:14.16ID:CzRYxmjL
>>290
あの~、有限性と可測性のコメントをいただけませんか?w
292132人目の素数さん
垢版 |
2026/09/18(金) 19:08:48.20ID:CzRYxmjL
825
:
132人目の素数さん[sage]
2026/09/14(月) 00:39:10.68
そもそも f,g が可測なら f+g が可積分であろうがなかろうが f+g は可測やし
2026/09/18(金) 19:10:30.59ID:CzRYxmjL
キムチもうめ~w
2026/09/18(金) 19:12:48.09ID:qPCJMKk+
捻くれたおっさんは解析の才能がないと思った理由は基本がボロボロであった
295132人目の素数さん
垢版 |
2026/09/18(金) 19:15:17.91ID:CzRYxmjL
有限性と可測性
2026/09/18(金) 19:22:22.10ID:CzRYxmjL
おソバもうめ~w
297132人目の素数さん
垢版 |
2026/09/18(金) 19:46:59.31ID:CzRYxmjL
積分と極限交換がスムーズにできるとか?
298132人目の素数さん
垢版 |
2026/09/18(金) 19:47:15.94ID:CzRYxmjL
>>270
299132人目の素数さん
垢版 |
2026/09/18(金) 19:51:47.67ID:CzRYxmjL
limがインテグラルの中と外にある式が等しいのを何回も見てきた気がする。
2026/09/18(金) 19:55:53.13ID:qPCJMKk+
曇
27°C
降水確率: 40%
湿度: 73%
風速: 2 m/s
301132人目の素数さん
垢版 |
2026/09/18(金) 19:56:32.84ID:CzRYxmjL
当たりか?
やりぃ
302132人目の素数さん
垢版 |
2026/09/18(金) 19:57:32.51ID:CzRYxmjL
ワイエルシュトラスのM判定法
2026/09/18(金) 20:04:35.24ID:qPCJMKk+
教育学部だとこんなものか
2026/09/18(金) 20:05:21.04ID:j5n2ahRI
極限と相性がいいからで正解
でも、リーマン積分と極限がどう相性が悪いのかにまだ答えていない
2026/09/18(金) 20:06:23.18ID:j5n2ahRI
たとえば交換のためにどんな条件が必要なのか
またはうまくいかない例は
306132人目の素数さん
垢版 |
2026/09/18(金) 20:09:47.61ID:CzRYxmjL
>>303
有限性と可測性
307132人目の素数さん
垢版 |
2026/09/18(金) 20:10:06.89ID:CzRYxmjL
説明ヨロw
2026/09/18(金) 20:10:27.71ID:qPCJMKk+
数学やるには目的だ大事だといったら反発したおっさんw
309132人目の素数さん
垢版 |
2026/09/18(金) 20:11:30.86ID:CzRYxmjL
とりあえず、一様収束しないと怪しいでしょ。
解析入門で尖ったグラフを見ているけども。
310132人目の素数さん
垢版 |
2026/09/18(金) 20:12:22.41ID:CzRYxmjL
>>308
こっちの質問にも答えて貰って良いすか?
答えられないんすか?w
2026/09/18(金) 20:12:28.48ID:j5n2ahRI
より本質的な問題は、こういう理解に自分で辿り着けていないことと、人が眉を顰め離れていくような態度。
2026/09/18(金) 20:14:07.58ID:j5n2ahRI
>>309
ちゃんと言わなくていいなら3ヶ月で数学全部勉強できる
そして何も身につかないだろう
313132人目の素数さん
垢版 |
2026/09/18(金) 20:14:28.16ID:CzRYxmjL
質問ばかりして答えない態度によって、白眼視される可哀想な人達w
2026/09/18(金) 20:15:04.67ID:j5n2ahRI
>>313
もう数学の話には付き合わない。
勝手にやってろ
2026/09/18(金) 20:15:43.11ID:j5n2ahRI
少しは良くなったかと思ったが、君には失望した。
316132人目の素数さん
垢版 |
2026/09/18(金) 20:15:44.25ID:CzRYxmjL
>>312
私は会社に行かずに収入を得られるような特殊な人では無いんだよw
無茶言うなて。
317132人目の素数さん
垢版 |
2026/09/18(金) 20:17:10.39ID:CzRYxmjL
閉館間近の図書館に行って頑張ってんのに、無茶苦茶言われるおにぃw
2026/09/18(金) 20:17:41.16ID:CzRYxmjL
お酒で紛らわすしかないw
2026/09/18(金) 20:19:39.85ID:qPCJMKk+
数学板で暴れるとアドレナリンが出るだろw
2026/09/18(金) 20:21:38.46ID:CzRYxmjL
マウント取りのアドレナリンとは違うのだよw
私は他にも数学に興味がある人がいることで安心する。
そういう環境に恵まれなかった、可哀想なおにぃ…。
2026/09/18(金) 20:23:07.54ID:CzRYxmjL
こんなにも5chを有効活用する人は珍しいであろう。
2026/09/18(金) 20:24:34.70ID:CzRYxmjL
そして、勢いランキング1位。
結果を出す、有言実行のおにぃw
2026/09/18(金) 20:32:45.17ID:qPCJMKk+
喜ぶおっさんw
2026/09/18(金) 20:37:57.55ID:CzRYxmjL
お兄さんね!
325132人目の素数さん
垢版 |
2026/09/18(金) 20:39:47.79ID:CzRYxmjL
>>309
親の顔より見た尖った関数w
326132人目の素数さん
垢版 |
2026/09/18(金) 21:00:57.98ID:sBz4sR2l
>>322
お前も下らんことに生き甲斐を見いだす彼の人と同じか
もしかしたら同一人物かもね
2026/09/18(金) 21:03:28.52ID:CzRYxmjL
>>326
別に括りたければご自由に。
私は自由に数学ができれば、それで結構。
2026/09/18(金) 21:04:58.60ID:CzRYxmjL
彼の人だか此の人だか構わないよw
329132人目の素数さん
垢版 |
2026/09/18(金) 21:35:57.32ID:sBz4sR2l
じゃあ同一人物ということで
2026/09/18(金) 21:37:34.40ID:CzRYxmjL
>>329
別に良いよ。
ただ、私はコピペはしないよw
331132人目の素数さん
垢版 |
2026/09/18(金) 21:41:37.33ID:sBz4sR2l
>>330
彼の人としてすればよいからな
2026/09/18(金) 21:50:51.80ID:CzRYxmjL
>>331
御大もset Aさんと括られても怒らないんじゃないん?
とりあえず、無数目メンバーとこちら側ということでも良いんじゃないか。
気に入らなければ、何か仰るだろう。
333132人目の素数さん
垢版 |
2026/09/18(金) 22:08:01.51ID:sBz4sR2l
あの意味ない天気予報と論文紹介してる人は何考えてるのか分からんが分かろうという気もしないな
ホテルカリホルニアを例に引いていたから
ここに居るのが心地よくて抜け出せないのだろうが
334132人目の素数さん
垢版 |
2026/09/18(金) 22:10:04.99ID:CzRYxmjL
>>333
私はあの論文がどう選ばれているのかが気になる。
やはり、お仕事でご覧になったものをコピペされているのか。
335132人目の素数さん
垢版 |
2026/09/18(金) 22:10:17.93ID:CzRYxmjL
謎である。
2026/09/19(土) 02:01:22.71ID:MqPqpGNn
「名誉教授」は論文を書くと興奮すると連投する。今回は

485 名前:132人目の素数さん[] 投稿日:2026/09/11(金) 10:52:08.71 ID:/0oFb5bF
PRIMSから
Communicatorは
T.M.
2026/09/19(土) 02:02:28.98ID:MqPqpGNn
「名誉教授」は天気に拘りがある。
2026/09/19(土) 02:06:37.55ID:MqPqpGNn
そういえば本人いわく「天気」はここまで読んだというマーキングだそうだw
2026/09/19(土) 08:14:43.16ID:MqPqpGNn
教育学部数学科と理学部数学科のカリキュラムの大きな違いは、「数学そのものの深い探求」に特化しているか、「数学の指導法や教育理論」をあわせて学ぶかという点にあります。
☆教育学部数学科のカリキュラム
・目的: 中学校や高校の数学教員を育てること。
・専門科目: 代数学や幾何学などの基礎的な数学を学びますが、理学部と比べると高度な発展的科目がやや少なめな場合があります。
・教育関連: 教育原理、教育心理学、数学科教育法(指導案の作り方や教材研究)、教育実習がカリキュラムの中心に組み込まれています。
・資格: 中学校・高校の数学の教員免許状の取得が卒業要件・前提となることが多いです。
☆理学部数学科のカリキュラム
・目的: 数学という学問の真理を究め、研究者や専門人材を育てること。
・専門科目: 1・2年次で基礎を固めた後、3・4年次にはより高度で抽象的な純粋数学(位相幾何学、解析学など)や応用数学の専門講義・演習に多くの時間を割きます。
・教育関連: 教員免許の取得は必須ではなく、取得する場合は「卒業に必要な単位」に加えて追加で教職関係の単位を自力で取得する必要があります。
・卒業研究: 4年次にはゼミに所属し、最先端の数学の論文を読み解く高度な卒業論文・研究に取り組みます。
2026/09/19(土) 10:29:19.34ID:hU5DQwiR
いや~、学部が変わるのはキツかったね~(汗)
体壊れたからね。
2026/09/19(土) 11:26:30.05ID:MqPqpGNn
ごまかさないで数学科の基礎からやり直せ
2026/09/19(土) 11:29:45.56ID:hU5DQwiR
>>341
貴方は一昨日の荒らしか?
勉強に支障が出ないくらいにレスするので宜しく。
2026/09/19(土) 13:31:58.84ID:Luj29JkC
>>342
勉強したいならごまかさないで数学の基礎からやれよ
2026/09/19(土) 13:33:07.75ID:Luj29JkC
お前自身が一番勉強の邪魔してる
2026/09/19(土) 13:37:52.07ID:Luj29JkC
…自分の知らない定理や定義を使っているところがあれば当然,調べたり聞いたりしなくてはいけません.定義や定理を知らなければそこの部分が理解できないに決まっているんですから,そういうところを素通りするのは数学の本の読み方として根本的に誤っています.そして「全部完全にわかった」という状態になるまで,考えたり,調べたり,人に聞いたりするのをやめてはいけません.「自分は本当にわかっているのか」と言うことを徹底的に自問して「絶対にこれで大丈夫だ」と思えるようになる必要があります.「だいたいこうみたいですけど,これでいいんでしょうか」などというのは(たとえ結果的に正しいことを言っていたとしても)何もわかっていないのと同じです.「完全に正しいと断言できる」ということと「自分にはわかっていない」ということの違いが自分ではっきりとつけられるようにならなくては何も始まりません.…
2026/09/19(土) 13:41:24.89ID:Luj29JkC
…本を閉じてノートに,定義,定理,証明などを書き出してみます.すらすら書ければO.K.ですが,ふつうなかなかそうはいきません.それでも断片的に何をしていたのかくらいは,おぼえているでしょう.そうしたら残りの部分については,思い出そうとするのではなく,自分で新たに考えてみるのです.「どのような定義をするべきか」,「定理の仮定は何が適当か」,「証明の方針は何か」,「本当にこの仮定がないとだめなのか」,「どのような順序でlemmaが並んでいるべきか」などです.そうして,筋道が通るように自分で再構成する事を試みるんです.…
2026/09/19(土) 13:41:57.01ID:Luj29JkC
… 今度は,紙に書き出すかわりに頭の中だけで考えてみます.「定義は何か」,「定理の仮定は何か」,「証明のポイントはどこか」,といったことを考えてみます.複雑な式変形などは頭の中だけではできないでしょうが,全体の流れや方針,ポイントは頭の中だけで再現できるものです.できなければ,それはよくわかっていないということですから,本やノートを見て復習し,ちゃんとできるようになるまで繰り返します.…
2026/09/19(土) 13:43:50.10ID:hU5DQwiR
>>347
具体的にルベーグ積分の話をしてもらってもいいすか?
2026/09/19(土) 13:47:18.79ID:Luj29JkC
>>348
ルベーグの前にリーマンやれ
2026/09/19(土) 13:50:18.92ID:Luj29JkC
… 自分の知らない定理や定義を使っているところがあれば当然,調べたり聞いたりしなくてはいけません.定義や定理を知らなければそこの部分が理解できないに決まっているんですから,そういうところを素通りするのは数学の本の読み方として根本的に誤っています.…
2026/09/19(土) 13:50:52.28ID:hU5DQwiR
>>349
じゃあ、リーマンの話題を書いてくれ。
スレタイからリーマンの話はしても良さそうと判断できるだろう。
2026/09/19(土) 13:52:02.43ID:hU5DQwiR
数学をする姿勢は聞き飽きたから、具体的に書いてちょ。
2026/09/19(土) 13:52:11.14ID:Luj29JkC
>>351
屁理屈
2026/09/19(土) 13:53:20.66ID:hU5DQwiR
数学の話してくんろ。
2026/09/19(土) 13:54:21.57ID:Luj29JkC
>>352
自分の基礎の抜け漏れは自分にしか分からない
自分でやれ
2026/09/19(土) 13:55:14.12ID:Luj29JkC
>>354
お前がな
2026/09/19(土) 14:00:54.93ID:hU5DQwiR
相変わらず会話にならんな、無視するかね…。
2026/09/19(土) 16:05:34.39ID:xQlpSKpH
今日は時間があるだろうか。
時間を捻出するおにぃ。
2026/09/19(土) 19:11:14.98ID:Zwhq1IOg
ヨシ、飲みながら今日も頑張るゾイ!
2026/09/19(土) 19:15:59.22ID:Zwhq1IOg
串カツうめ~w
2026/09/19(土) 20:00:18.88ID:Zwhq1IOg
焼売もうめ~w
2026/09/19(土) 20:01:05.11ID:Zwhq1IOg
飯テロスレw
2026/09/19(土) 20:06:56.63ID:Zwhq1IOg
裳華房の本を読んでいる。
364132人目の素数さん
垢版 |
2026/09/19(土) 20:32:37.83ID:Zwhq1IOg
ルベーグ可測な集合列の測度の可算和が有限のとき、集合列の上極限の測度は0になるのかぁ。
ふーん、そうですか。
2026/09/19(土) 20:33:26.77ID:Zwhq1IOg
真面目なこともきちんと書くおにぃ。
2026/09/19(土) 21:22:57.51ID:MqPqpGNn
いいちこうめーな
2026/09/19(土) 21:24:20.67ID:Zwhq1IOg
日本酒を買おうか迷い、結局チューハイ3本とャrール1本に落ち着いた。
2026/09/19(土) 21:27:06.30ID:MqPqpGNn
さて数学の話でもするか
2026/09/19(土) 21:28:42.65ID:MqPqpGNn
ここに三大収束定理というものがあります
2026/09/19(土) 21:30:01.58ID:MqPqpGNn
そりゃなんだい?
2026/09/19(土) 21:30:53.47ID:Zwhq1IOg
落語かw
2026/09/19(土) 21:31:30.24ID:MqPqpGNn
知りたいかい?
373132人目の素数さん
垢版 |
2026/09/19(土) 21:31:48.50ID:Zwhq1IOg
まあ、ルベーグはあるんでしょ?
2026/09/19(土) 21:32:34.01ID:MqPqpGNn
与太も興味持ったようだね
2026/09/19(土) 21:34:12.27ID:MqPqpGNn
与太は一つしか知らないようだ。困ったもんだね。
376132人目の素数さん
垢版 |
2026/09/19(土) 21:34:17.03ID:Zwhq1IOg
だって、今まで全然数学の話じゃなかったじゃんw
家庭をもてって言われてもね…。
377132人目の素数さん
垢版 |
2026/09/19(土) 21:35:54.14ID:Zwhq1IOg
AIでは、「単調収束定理」「ファトゥの補題」「ルベーグの優収束定理」って出てきたけど。
2026/09/19(土) 21:35:57.70ID:MqPqpGNn
酒がうまいね、またひとつアホがバレた
379132人目の素数さん
垢版 |
2026/09/19(土) 21:37:57.55ID:Zwhq1IOg
>>378
じゃあ、>>364の証明でもしてくれ。
380132人目の素数さん
垢版 |
2026/09/19(土) 21:38:39.44ID:Zwhq1IOg
AIでできるかもしれんが。
381132人目の素数さん
垢版 |
2026/09/19(土) 21:41:59.37ID:Zwhq1IOg
ん~、AIで出てくるなぁ。
つまんないの。
382132人目の素数さん
垢版 |
2026/09/19(土) 21:47:33.64ID:Zwhq1IOg
知識ばっかりで、証明に全然踏み込まない態度はどうかと思うけどね。
2026/09/19(土) 21:50:36.79ID:Luj29JkC
証明のことを出せば人を牽制できると思ってるんだな
なぜなら自分は証明に向き合ってないから
そして理論の概要や要点を単なる知識だと思ってもいる
2026/09/19(土) 21:53:13.46ID:Luj29JkC
そして反応が少し無くなっただけで必死こいてスレを上げたり他のスレに乗り込むような孤独耐性のない人間だ
385132人目の素数さん
垢版 |
2026/09/19(土) 21:53:52.55ID:Zwhq1IOg
>>383
f+gの可測性の話があったが、あれはきちんと証明を見ていなければ出来ない話だった。
定理の紹介だけに留まっていては、単なる知っている人止まりで、理解には遠いのではないか。
386132人目の素数さん
垢版 |
2026/09/19(土) 21:55:23.67ID:Zwhq1IOg
私がageるときは、きちんと数学の内容を書くときだよ。
気になるのなら、私のコメを見返してみたまえ。
2026/09/19(土) 21:56:07.65ID:Zwhq1IOg
飯テロsageコメw
2026/09/19(土) 21:57:20.91ID:Luj29JkC
>>385
単なる知識なら3大収束定理が何か答えてみなよ
「3大収束定理」という言葉は分からなくても、論理展開の中で並列された主な定理が3つ前後あることからおおよその想像がつく
これは論理展開の構造を理解したからできることだ
2026/09/19(土) 21:58:39.46ID:Zwhq1IOg
>>388
>>377は全然的外れなの?
390132人目の素数さん
垢版 |
2026/09/19(土) 22:01:12.64ID:Zwhq1IOg
あとは、ヴィタリやマルチンゲールくらいしか出てこない。
391132人目の素数さん
垢版 |
2026/09/19(土) 22:01:36.57ID:Zwhq1IOg
こんなとこじゃないん?
2026/09/20(日) 11:23:45.76ID:n0YcwwBX
買い物に行ってきた。台風が接近
2026/09/20(日) 11:32:06.32ID:nKCI41zW
こちらは天気良さげ~w
もう過ぎたかな。
2026/09/20(日) 11:34:13.71ID:nKCI41zW
いや、これからか。
ただ、予報の天気は悪くないから安心だな。
2026/09/20(日) 12:10:13.03ID:n0YcwwBX
昼はめんどくさいのでカップラーメン
2026/09/20(日) 12:13:07.46ID:nKCI41zW
今日は夜から頑張るかな。
夕方に用事を済ませよう。
2026/09/20(日) 14:21:31.40ID:n0YcwwBX
部屋を少し片付けた。部屋を整理すると脳内も整理される。
398132人目の素数さん
垢版 |
2026/09/20(日) 14:30:11.95ID:Uh27HSTT
ねみ~。
>>364の証明を理解する元気があるか。
2026/09/20(日) 15:23:46.04ID:n0YcwwBX
プリンター清掃したらきれいに印字できるようになった。買い替えは少し先延ばしできた。
2026/09/20(日) 17:30:56.66ID:n0YcwwBX
今日は赤ワイン、ツマミはリッツにクリームチーズとカルパッチョ
2026/09/20(日) 17:57:11.78ID:gRY5pqm2
なんだか心配ですね。
2026/09/20(日) 18:00:32.12ID:ODW/GSLt
何が心配なのか。
2リットルの鬼ころしを買って、ホクホクしているおにぃは心配ご無用なのだw
2026/09/20(日) 18:01:00.84ID:gRY5pqm2
依存症は脳の構造を変えてしまい、2度と治らないと聞いたことがあります。
2026/09/20(日) 18:03:30.54ID:ODW/GSLt
マウントを取らないおにぃファミリーをつくるのが、この板での一つの目標である。
もう一つはルベーグを胸を張れるところまでやる。
やった後に確率論をやりたいと思えたら、しめたものである。
2026/09/20(日) 18:05:17.74ID:ODW/GSLt
給料日前になれば強制的に断酒するハメになるので、アルコール依存の心配は今のところ無用である。
2026/09/20(日) 18:09:40.56ID:ODW/GSLt
諭しグセも度が過ぎると問題である。
2026/09/20(日) 18:09:53.72ID:gRY5pqm2
そして、このようにデメリットを伝えたところで、あるいは専門家が強く言ったところで、本人には止められないとも。
なのでカウンセラーは通常、指摘ではなく聞き手に回って、本人の両価性をさりげなく強調する作戦を使うようです。
そうすると本人から自発的に止まるので、他人に強制されるより予後が良いとのこと。
動機づけ面接法といいます。
2026/09/20(日) 18:14:24.60ID:gRY5pqm2
まさしく今のように、指摘すると抵抗するので逆効果とのことです。
しかし抵抗している本人は、見かけ以上にやめるべき理由をしっかり分かっているとのこと。
2026/09/20(日) 18:20:20.56ID:ODW/GSLt
私は一定のレベルを超えたマウントを茶化したり、諌めたりする。
私の中で線引きがあるのだが、諭したがり住人は諭すことで悦に入ったり、構ってもらえることで安心するのだろう。
2026/09/20(日) 18:21:35.38ID:gRY5pqm2
本人の中のやめるべき理由とやめられない理由のせめぎ合いをよく聞き、そのまま本人に提示すると、最終的には良い判断をすることが多いようです。
私は専門家でないのでやりませんが。
2026/09/20(日) 18:22:14.00ID:ODW/GSLt
板を正常化するのは生半可な作業ではないね、全くw
世の中がなかなか平和にならない訳だよ。
2026/09/20(日) 18:23:08.29ID:ODW/GSLt
そういうのはメンタルヘルス板でやってくれw
2026/09/20(日) 18:25:44.86ID:gRY5pqm2
抵抗自体は誰でもする健全な反応だそうですよ。
2026/09/20(日) 18:31:53.35ID:ODW/GSLt
諭したい欲求は誰にもあるものではないと思いますよw
2026/09/20(日) 18:32:24.06ID:gRY5pqm2
ちなみに私は酒を飲まないのですが、
酒というのはそんなに飲みたくなるものなのでしょうか?
2026/09/20(日) 18:32:50.64ID:gRY5pqm2
批判ではなく純粋な興味として。
2026/09/20(日) 18:33:48.94ID:gRY5pqm2
>>414
では諭すのはやめます。失礼しました。
418132人目の素数さん
垢版 |
2026/09/20(日) 18:35:35.98ID:W6sOZSLm
>>417
何でやメルだ
2026/09/20(日) 18:39:57.56ID:gRY5pqm2
>>418
私は本人より本人のことを知らないので、素人意見しか言えません。
数学のセミナーや学会に非専門家が参加するようなもので、大抵の発言は失礼になるかなと。
2026/09/20(日) 18:42:05.67ID:gRY5pqm2
だからこそ興味はありますが。なぜこうなっているのか、私から見るとよくわかりません。
2026/09/20(日) 18:42:44.89ID:gRY5pqm2
一見すると選択肢は無数に開かれているように見えます。
2026/09/20(日) 18:44:27.78ID:gRY5pqm2
おそらく実際はそうでもないのでしょう。それはなぜなのか。
2026/09/20(日) 18:44:45.13ID:ODW/GSLt
>>415
私の場合、食欲増進の意味も大きい。
お酒を分解するときにエネルギーがいるらしく、それでお腹が空いた感覚になる。
お酒の後のラーメンはそういう原理だろう。
2026/09/20(日) 18:48:25.53ID:gRY5pqm2
>>423
喉が渇くという話は聞きますが、食欲亢進もするのですね。
2026/09/20(日) 18:50:01.79ID:gRY5pqm2
2リットル鬼ごろしは1ヶ月かけて飲むのでしょうか?
2026/09/20(日) 18:50:56.21ID:gRY5pqm2
つまり、60〜90食分程度に分けて飲むといった使い方をするものなのか、ということですが。
2026/09/20(日) 19:00:05.40ID:gRY5pqm2
2リットルというのは、量感で言うと毎夕食前に90ml程度で約22日分だそうですね。
2026/09/20(日) 19:03:07.05ID:ODW/GSLt
>>424
アルコールを尿素とかにするまでに、水分が必要なのかも。
>>425
15%だけど、さすがに1か月は下戸過ぎるだろうw
2026/09/20(日) 19:04:39.06ID:ODW/GSLt
>>427
それは健康的に飲むならじゃないの?
こちとら久しぶりに飲むので、休肝日とかは考えない。
430132人目の素数さん
垢版 |
2026/09/20(日) 19:13:05.10ID:ODW/GSLt
やっと家に着いたぜよ。
洗濯をしたら鬼ころしパーティをしながら、>>364の証明でも追ってみよう。
ボレル・カンテリの第一補題という定理らしい。
鬼ころしは小さいやつも2つあるw
431132人目の素数さん
垢版 |
2026/09/20(日) 19:34:04.23ID:ODW/GSLt
ボレル・カンテリの第一補題のポイントは、果たしてどこなのだろう。
2026/09/20(日) 19:46:07.92ID:ODW/GSLt
さぁ、役者は揃った。
パーティタイムであるw
2026/09/20(日) 19:54:52.93ID:ODW/GSLt
ウィンナーうめ~w
梅酒も安定の美味である。
2026/09/20(日) 19:55:36.79ID:ODW/GSLt
>>400
良いもん食ってんなぁ。
2026/09/20(日) 20:12:14.60ID:ODW/GSLt
ドライカレーもうめ~w
いかんいかん、勉強もせねば。
2026/09/20(日) 20:39:24.68ID:ODW/GSLt
芋焼酎の旨さは難しいね。
まあ、激安のやつだから仕方ないか。
いかんいかん、勉強せねばw
2026/09/20(日) 22:01:38.98ID:ODW/GSLt
おにぃは寝落ちしそうである。
教材を用意したいところだが、しばらく図書館がお休みのようである、困った。
2026/09/20(日) 22:02:45.83ID:ODW/GSLt
ネットで頑張って探すしかないのである。
英語の文献も見てみよう。
2026/09/21(月) 00:02:47.42ID:nxdv8t7Y
三大収束定理はもういいのか、お休み
2026/09/21(月) 01:12:20.69ID:nxdv8t7Y
ルベーグ積分は終了
441132人目の素数さん
垢版 |
2026/09/21(月) 08:11:45.15ID:s9mRRFTt
ディラック測度
442132人目の素数さん
垢版 |
2026/09/21(月) 11:38:20.56ID:s9mRRFTt
fを定義域と値域が実数の任意の関数とすると、fが連続な点全体の集合はGδ集合になるんだって。
ふーん、そうですか。
2026/09/21(月) 11:43:07.67ID:s9mRRFTt
平日に飲む酒は旨い。
お堅い仕事をしている人には悪いな、ホホホw
2026/09/21(月) 11:45:47.10ID:s9mRRFTt
「ふーん、そうですか。」は、寄せ餌のサインw
ブレーキランプ5回点滅w
2026/09/21(月) 12:34:05.24ID:s9mRRFTt
710円の2Lの鬼ころしを見つけられて良かった。
平日の昼間から上機嫌のおにぃ、オホホw
2026/09/21(月) 12:52:19.44ID:s9mRRFTt
なぜマウントを取らなければ、数学の話ができないのだろう。
酔って理性が無くなり始めても、全く理解ができないおにぃ。
2026/09/21(月) 17:03:08.15ID:nxdv8t7Y
寒いのでお湯割り
2026/09/21(月) 17:27:50.98ID:nxdv8t7Y
いちいち噛みついたり煽ったりしないと数学ができないのか
2026/09/21(月) 19:30:28.60ID:UOhhfMwc
私のスレは避暑地のように利用するのもアリ。
スレ立ての際には、タイトルを毎回考えるかな。
次は「おにぃとルベーグと積分with愉快な仲間たち」の方向性で考えている。
2026/09/21(月) 19:31:15.44ID:UOhhfMwc
ルベーグと積分→ルベーグ積分
2026/09/22(火) 08:29:16.04ID:vYtJm20J
飽きられたんだよw
2026/09/22(火) 09:45:14.86ID:vYtJm20J
初心者を教育しなきゃいけないと言う思い込みがるのか
2026/09/22(火) 10:28:45.14ID:PyEYugJc
案外慣れている人が初歩的なところを見落としているなんてことがあるかもよ。
2026/09/22(火) 10:57:51.52ID:PyEYugJc
負うた子に教えられる。
2026/09/22(火) 11:20:22.88ID:vYtJm20J
負うた子に背中から刺される
2026/09/22(火) 12:08:33.39ID:PyEYugJc
飼い犬に手を噛まれる。
2026/09/22(火) 13:52:28.39ID:vYtJm20J
飼い犬を虐める
2026/09/22(火) 13:55:52.24ID:PyEYugJc
チクワ
2026/09/22(火) 14:33:20.27ID:vYtJm20J
ハンペン
460132人目の素数さん
垢版 |
2026/09/22(火) 14:45:17.64ID:PyEYugJc
fを[0,1]を実数に写す関数とし、rを実数とする。
それぞれの r に対して { x∈R∣f(x)= r } が可測であっても、fが可測関数になるとは限らないらしい。

ふーん、そうでちゅか~。
おでん食いたいw
461132人目の素数さん
垢版 |
2026/09/22(火) 14:46:45.35ID:PyEYugJc
反例はなんだろね~w
462132人目の素数さん
垢版 |
2026/09/22(火) 14:54:21.17ID:PyEYugJc
AIに掛けたらしっかりと答えてくるというねw
いや~、近頃のAIは優秀だね。
463132人目の素数さん
垢版 |
2026/09/22(火) 16:40:32.08ID:WTBjivvr
数学をヤレ数学を
464132人目の素数さん
垢版 |
2026/09/22(火) 17:21:47.96ID:IfI9VqwH
>>460でやってんじゃん。
無数目スレは噛み合ってんのかね。
2026/09/22(火) 17:26:21.51ID:IfI9VqwH
図書館が木曜日から開くので、それまでは英語の文献で勉強しよう。
2026/09/22(火) 17:29:01.36ID:IfI9VqwH
ルベーグと他の分野が合わさった本くらいしか、図書館には良さそうなものは残っていないだろう。
2026/09/22(火) 18:30:14.16ID:IfI9VqwH
さぁ、みんなお待ちかねのおにぃの晩酌タイムだよw
酔った心地でどれくらい英語の文献が読めるかな?
2026/09/22(火) 18:44:22.29ID:IfI9VqwH
焼売うめぇw
各自、おつまみを書いてくれてもエエんやで。
ちゃんと数学もします。
2026/09/22(火) 18:59:07.24ID:IfI9VqwH
ロースハムもうめ~w
さぁ、洋書を読みますか!
2026/09/22(火) 19:01:35.59ID:vYtJm20J
ピザに赤ワイン、ウメー
2026/09/22(火) 19:15:37.49ID:IfI9VqwH
うっ、良いもん食ってやがる…。
まあ、晩酌マウントは許そうw
数学以外のマウントに対しては寛容なおにぃ。
2026/09/22(火) 20:05:33.74ID:vYtJm20J
「マウント」とは、英語の「mount(乗る、取り付ける、台座)」を語源とし、日常会話やIT、機械、格闘技など幅広い分野で使われる言葉です。主な意味や使われ方は、文脈によって大きく異なります。
日常会話・SNS(マウントを取る)
・意味: 自分が相手より優位(上)であることを示そうとする行為や態度。略して「マウントを取る」「マウンティング」とも呼ばれます。
・具体例: 相手の自慢話に対して、さらに上回る自分の話をする、「そんなことも知らないの?」と知識量で優位に立とうとする など。
2026/09/22(火) 20:05:54.04ID:IfI9VqwH
マウント富士
2026/09/22(火) 20:06:37.45ID:IfI9VqwH
ドダバ富士
2026/09/22(火) 20:06:51.25ID:vYtJm20J
おっさんもマウント取ってるだろ
2026/09/22(火) 20:08:11.66ID:IfI9VqwH
>>475
私は反論の範疇のマウントだよ。
純粋なマウントではない。
2026/09/22(火) 20:09:41.44ID:IfI9VqwH
愉快な仲間達が出来ると良いね。
オツマミ仲間は出来つつあるw
2026/09/22(火) 20:12:36.72ID:vYtJm20J
しょうもねー拘り
2026/09/22(火) 20:13:34.41ID:vYtJm20J
数学はどうあるべきだと考えてるんだ、おっさん
2026/09/22(火) 20:18:24.72ID:IfI9VqwH
御大が何か仰っていたな。
制限をかけすぎると、自由に考えられなくなるのではないか的なことを。
時間が経ちすぎて忘れたw
2026/09/22(火) 20:19:55.84ID:IfI9VqwH
まあ、背伸びをせずにやれば良いじゃない。
自分の身になっていない内容を話しても、その内ボロが出てくると思うよ。
2026/09/22(火) 20:22:11.63ID:IfI9VqwH
自分の血肉になっていることを語るのは、大切なことだと思う。
ただ、私は見切り発車をするときもあるから、そこは御愛嬌w
2026/09/22(火) 20:23:32.89ID:IfI9VqwH
ぱっと見で、定理の難しさが分からないときがある。
2026/09/22(火) 20:30:41.81ID:IfI9VqwH
なかなか今日は、数学だけをやるのは大変そうだ。
ノムさんは、「1年目には種をまき、2年目には水をやり、3年目には花を咲かせましょう。」と仰っていた。
地道にやっていこう!
485132人目の素数さん
垢版 |
2026/09/22(火) 21:23:39.21ID:KtY5uz+x
>>476
クダラン倫理観の押しつけしかしないゲス爺のマウント
2026/09/22(火) 21:33:12.58ID:IfI9VqwH
>>485
そのやり取りも飽き飽きしている。
それよりも無数目スレの調子はどうなのか。
487132人目の素数さん
垢版 |
2026/09/22(火) 22:52:49.88ID:KtY5uz+x
>>486
ゲス爺は箱入り無数目を考えないという不誠実な態度にもかかわらず気になって仕様が無いのは正しくイッチョカミ
荒らしだよお前も
488132人目の素数さん
垢版 |
2026/09/22(火) 22:53:36.18ID:KtY5uz+x
>>486
勝手に飽き飽きしていれば良いだろ?
それを表明して忖度してもらえるとでも思っているのか
ゲス爺
2026/09/22(火) 22:58:39.29ID:IfI9VqwH
>>487
私は地に足を付けてやるのだよ。
無数目のスレできちんとやり取りが上手くいっているのかどうかだけが気になっている。
一人でやっていても、それこそ検証可能性に関わってくるんでないの。
2026/09/22(火) 22:59:23.01ID:IfI9VqwH
私は嘘とは言わないけどねw
491132人目の素数さん
垢版 |
2026/09/22(火) 23:51:13.74ID:KtY5uz+x
>>489
お前が検証しないんだろ?
いつも他人に厳しく自分に甘い他人任せのゲス爺
>ちょっと待ってね、用事があるから。
>今日中には絶対書くから。
>存在性はそのとおり。
>「最近の数学コンテストにおける関数方程式」って調べてもらえれば、それの53ページに載っています。
>そういうのを書き写すって良くないと思わん?
>私は出題者の責務は果たした。
>プラスアルファの解説を求められても困るね。
>スレタイが「解説スレ」であれば、やってあげるがね。
>今日と明日は暇だが、右肺が痛くなってきた。
>せっかくの休みが体調不良で消えそう(泣)
492132人目の素数さん
垢版 |
2026/09/22(火) 23:57:57.57ID:KtY5uz+x
>ちょっと待って??
>解答用意できてないのか
↓
>大丈夫、とにかくちょい待ってw
>仕事第一、数学第二なのでね…。
>アマチュアはw
↓
>とかレスする暇があるなら解答を書けるんじゃないの
>自分で解いているなら
↓
>ちょい長解答になる。
>ちなみに、作用のはきちんと解けてる?
>説明に不足があったら、誰か指摘してあげて下さいね。
>私は作用以外の解答を用意します。
2026/09/23(水) 00:00:06.25ID:HDnOMOIf
数学をヤレ、数学をw
2026/09/23(水) 00:00:34.38ID:HDnOMOIf
誰の言葉だろ?w
495132人目の素数さん
垢版 |
2026/09/23(水) 00:45:43.49ID:GYRqPauo
>答えを教えてと言っただけですがね
>答えを教えてくれた>>189には感謝
>それができない君は下劣の極み
↓
>それは俺が紹介した解答を改良したやつだから、間接的に感謝を頂きますw
>7割くらいは頂いたなw
↓
>はぁ
>別人への感謝を自分への感謝に掠め取ろうともするのが君か
>ほんとにトンデモナイ人格だな
>ゲス爺
496132人目の素数さん
垢版 |
2026/09/23(水) 00:46:03.53ID:GYRqPauo
>>494
オレだよオレ
数学をヤレ数学を
497132人目の素数さん
垢版 |
2026/09/23(水) 00:50:21.07ID:GYRqPauo
お前の知っていることを他人も知っているべきだとは思うな
お前が正しいと思うことを他人に押しつけるな
他人に丸投げするな
緩衝材になりたくて百済無いレスで荒らすな迷惑なんだよ
数学をヤレ数学を
2026/09/23(水) 02:21:02.46ID:UcekutDo
よくいるアホ、否定形でしか考えられない
否定形:なんとかはだめ
肯定形:なんとかであるべき
2026/09/23(水) 03:54:44.30ID:uS1xMm06
ディズニーでは否定文は使わないんだったか。
教育法でもある気がする。
2026/09/23(水) 06:38:35.70ID:eWqHetFK
>>496
他人の発言をコピペしてないで、数学をやったらという意味なのにw
婉曲表現が伝わらない残念な人w
501132人目の素数さん
垢版 |
2026/09/23(水) 09:26:53.85ID:GYRqPauo
>>500
伝わってないよw
つまり
キミの考えは伝わらないものだということを学べましたね
2026/09/23(水) 09:27:59.77ID:WVjzQJRv
皮肉という概念を理解できない人w
503132人目の素数さん
垢版 |
2026/09/23(水) 09:30:23.41ID:GYRqPauo
>>498
ここに来なさい
ではなく
ここに立ち入らない
の方が
建設的だと分からないんだね
2026/09/23(水) 09:31:49.92ID:UcekutDo
猿のマウント行為(マウンティング)は、相手に対して馬乗りになり、自分の優位性や上下関係を示すための行動です。
2026/09/23(水) 09:32:18.89ID:WVjzQJRv
戦争をしてはいけない。
2026/09/23(水) 09:32:49.81ID:WVjzQJRv
猿なのに馬。
ややこしやw
507132人目の素数さん
垢版 |
2026/09/23(水) 09:33:01.97ID:GYRqPauo
>>502
皮肉だったのか
マジレスされては意味なかったってことで
悔し紛れに
「皮肉だよ」と開かせば
伝わる(行動を変えられる)と
妄想を膨らませましたね
508132人目の素数さん
垢版 |
2026/09/23(水) 09:33:24.66ID:GYRqPauo
>>505
数学は戦争
2026/09/23(水) 09:33:26.23ID:UcekutDo
>>503
目糞鼻糞、ひねたおっさんと仲良くねw
2026/09/23(水) 09:34:22.77ID:WVjzQJRv
妄想を多用するよね。
ボキャブラリーを増やしなよw
511132人目の素数さん
垢版 |
2026/09/23(水) 09:34:47.03ID:GYRqPauo
他人が同じ考えであるべき
というのは大変危険な思想
恐ろしいゲス爺
512132人目の素数さん
垢版 |
2026/09/23(水) 09:35:20.21ID:GYRqPauo
>>510
そう?他にどこで使ったかな?
2026/09/23(水) 09:35:27.17ID:WVjzQJRv
マウントをするから荒れるスレw
514132人目の素数さん
垢版 |
2026/09/23(水) 09:35:38.96ID:GYRqPauo
レスを示して
515132人目の素数さん
垢版 |
2026/09/23(水) 09:36:44.24ID:GYRqPauo
>>513
ゲス爺がね
2026/09/23(水) 09:36:47.20ID:WVjzQJRv
>>512
貴方だけでは無いかも。
仲間に伝えときなよ。
頻出するネガティブワードは控えるようにと。
2026/09/23(水) 09:38:09.41ID:WVjzQJRv
妄想は頻出する。
レスを示すまでもない。
トンチンカンとか、もう使わんでエエよ。
一生分聞いたからw
2026/09/23(水) 09:39:11.98ID:WVjzQJRv
小学生からやり直しとかも二生分きいたなw
519132人目の素数さん
垢版 |
2026/09/23(水) 09:40:40.83ID:GYRqPauo
>>516
対立する他人が複数居るときに
「あいつらは仲間だ」という「妄想」は一般的らしい
これだね
>この記事は、連載「症状を知る」の第2回として、「妄想」という症状の中身と、ご家族ができる接し方――否定も肯定もしない・議論しない・困りごとに寄り添う――を、具体的な言葉の例とともに解説します
彼の人と仲間にされちゃったみたい
520132人目の素数さん
垢版 |
2026/09/23(水) 09:41:46.63ID:GYRqPauo
これは引用だからこっちのが適切か
>すぐ ウソと分った(被害妄想)。おやじは、近所付き合いはあまりしないし、”一緒になって”とかありえなない(一人ならまだしも(^^)
521132人目の素数さん
垢版 |
2026/09/23(水) 09:42:37.45ID:GYRqPauo
>>517
頓珍漢にするかな
522132人目の素数さん
垢版 |
2026/09/23(水) 09:43:38.72ID:GYRqPauo
>>518
「認知症」もじゃね?w
2026/09/23(水) 09:44:23.44ID:WVjzQJRv
>>519
set Aさんは明らかに別でしょw
御大が論文をコピペされる理由でも真面目に考えなよ。
2026/09/23(水) 09:46:48.90ID:WVjzQJRv
>>522
ストローマンとかも三生分聞いたw
とりあえず、理系として語彙力は気にしてほしいね。
525132人目の素数さん
垢版 |
2026/09/23(水) 09:51:43.36ID:GYRqPauo
>>523
何で別?
キミの記憶に残ってたんじゃ無い?
そうで無いと言い張りたいなら
他に「妄想」書いたレス出してね
コピペの意味とか
荒らしを忖度するんですね
>>524
「ストローマン」は彼の人の口癖だった
526132人目の素数さん
垢版 |
2026/09/23(水) 09:54:40.16ID:GYRqPauo
彼の人は
自分が理解しておらずその判断が出来ないにも拘わらず
「Scholze Stixはストローマン論法」
というのが常だったからね
Leanで分が悪くなって?使わなくなったかも
2026/09/23(水) 09:55:35.67ID:WVjzQJRv
>>525
あぁ、これは言っていなかったが、別に私はグループを括っている訳ではない。
マウントを取るのはやめて、純粋に数学を楽しみましょうねと言っている。
敵・味方で判断している訳ではないので宜しく。
528132人目の素数さん
垢版 |
2026/09/23(水) 09:57:24.85ID:GYRqPauo
>>527
それが上から目線のマウントだってのよ
マウントは止めよう
2026/09/23(水) 09:57:56.05ID:WVjzQJRv
嫌いになったら、何でもかんでも批判する人がいるよね。
あれは私が一番嫌悪するタイプの人間なので、私はそうでないことは名言しておく。
客観性が数学徒の長所だよね。
530132人目の素数さん
垢版 |
2026/09/23(水) 09:58:34.37ID:GYRqPauo
>>527
>あぁ、これは言っていなかったが
ヒドイね
「認知症」の時と同じ
2026/09/23(水) 09:59:35.66ID:WVjzQJRv
>>528
無数目の惨状をなんとかしてから言ってねw
マウントが消えれば、御大は函数論のスレくらいにしかコピペされなくなると思うよ。
532132人目の素数さん
垢版 |
2026/09/23(水) 09:59:40.63ID:GYRqPauo
>他人のことを認知症呼ばわりするのなら、繰り返すのを辞めた方が良いよ。
>下らないのなら終了、解散。
> 350レス以上は異常性を感じるよね。
>俺だったら無意味な話を広げるくらいなら、新しいことに取り組むね。
>「ヒト」語を話そうな
>人間の私は、このスレのレス数を数えたくないかもw
>認知症の姫。
>良い加減、目を覚ませよw
(へぇー「認知症」使ってるのは君か)
>だから長々と論じる必要はないからw
>確かに、繰り返しすぎは宜しくない。
>ROMっていても楽しくない。
>もう少しで勉強が形になりそうだから、そちらに集中させてくれ。
>そろそろ寝ないといけないのでね。
>とにかくマンネリは嫌いなの。
>数学やってる人って繰り返すのってあんまり好まないと思うんだけどね、個人的に。
>某スレでの自分の書き込みを他人に見せられるのなら、その言葉を受け入れよう。
(結局どの書き込みのことか言わない)
>貴方が言ったのか知らないが、そんなワードを見かけた気がする。
>貴方の書き込みでなければ、気にしなくて良い。
>他人のことを認知症扱いするのなら、まず自分が繰り返しの発言を辞めた方が良いよw
(君が使ってるのが「認知症」だったのね)
2026/09/23(水) 09:59:51.56ID:WVjzQJRv
無数目のスレね
534132人目の素数さん
垢版 |
2026/09/23(水) 10:00:30.92ID:GYRqPauo
>>531
数学的な誤りを指摘することが?
2026/09/23(水) 10:00:54.89ID:WVjzQJRv
>532
これは時間の無駄なので、お互いに数学をしよう。
2026/09/23(水) 10:01:34.65ID:WVjzQJRv
>>534
要らない言葉が混じっているよね。
537132人目の素数さん
垢版 |
2026/09/23(水) 10:02:10.51ID:GYRqPauo
>>531
>無数目の惨状をなんとかしてから言ってねw
「なんとかして」と丸投げ
人を使役しようとしてマウント
538132人目の素数さん
垢版 |
2026/09/23(水) 10:02:51.32ID:GYRqPauo
>>535
だから>>493
>数学をヤレ、数学をw
と書いたのだが?
「伝わってない」ネー
539132人目の素数さん
垢版 |
2026/09/23(水) 10:03:09.52ID:GYRqPauo
>>536
数学は戦争だからね
2026/09/23(水) 10:03:11.83ID:WVjzQJRv
私も系譜雑談さんを少しは訂正した記憶があるけど、普通の言葉を使って行なった。
2026/09/23(水) 10:04:50.06ID:WVjzQJRv
>>539
少なくともアマの世界では、キャッキャと言いながら出来るはず。
生活がかかっている訳ではないのだから。
542132人目の素数さん
垢版 |
2026/09/23(水) 10:09:50.56ID:GYRqPauo
>>529
数学はだいたいそんな感じだけどね>何でもかんでも批判
2026/09/23(水) 10:14:13.06ID:WVjzQJRv
>>542
趣味の範疇なら良いじゃん。
別に間違えても問題にはならないから。
544132人目の素数さん
垢版 |
2026/09/23(水) 10:17:48.65ID:GYRqPauo
>>541
そうやりたいキミはそうやれば良い
しかしスレには誰でも書き込む権利がある
5chのルールに則って排除したまえよw
2026/09/23(水) 10:22:38.09ID:WVjzQJRv
>>544
こりゃ一本取られたねw
別に筋が通っていれば、認めるつもりは十二分にある。
まあ色んな人がいるから、それに揉まれてやれば良いと思う。
5chは匿名であるが、立派なコミュニティであるとは思っているので。
2026/09/23(水) 11:06:57.82ID:WVjzQJRv
匿名でも態度を変えないおにぃ。
数学板、最後の良心であるw
2026/09/23(水) 11:10:58.91ID:WVjzQJRv
どこでも誰に対しても態度を変えないということは、極めて重要なことである。
このようなことを率先して行い、平和を心から願うおにぃ。
2026/09/23(水) 12:04:28.60ID:UcekutDo
シルバーウィーク最後の盛り上がり
2026/09/23(水) 12:07:56.60ID:WVjzQJRv
それを忘れていた。
図書館が開いていないという状況。
2026/09/23(水) 12:22:45.96ID:UcekutDo
働き方改革だよ
2026/09/23(水) 12:23:57.87ID:UcekutDo
質問乞食爺さんにハイレベルな質問サイトを紹介したのになぜかスルーw
2026/09/23(水) 12:25:29.79ID:WVjzQJRv
県立図書館は開いている。
カードの期限は切れているだろう。
553132人目の素数さん
垢版 |
2026/09/23(水) 12:27:27.62ID:GYRqPauo
>>547
>どこでも誰に対しても態度を変えないということは、極めて重要なことである。
それはキミの倫理観
押しつけてはいけない
2026/09/23(水) 12:27:37.16ID:WVjzQJRv
>>551
自らが話題に飛び込めば良いじゃない。
自分の手を汚さない人はどうかと思うよ。
555132人目の素数さん
垢版 |
2026/09/23(水) 12:28:17.68ID:GYRqPauo
>>551
紹介しか出来ない
ハイレベルなところへ行けば良いよキミはレス乞食
2026/09/23(水) 12:29:01.21ID:WVjzQJRv
>>553
それを否定できるのはなかなかだと思うよ。
巷でよく言われる倫理観だと感じる。
557132人目の素数さん
垢版 |
2026/09/23(水) 12:30:14.46ID:GYRqPauo
>>556
ほほー
諺にも「長いものには巻かれろ」という警句がある
これこそ巷で良く言われる倫理観だな
2026/09/23(水) 12:31:32.61ID:WVjzQJRv
>>555
リスクを冒して発言するのも、この板の醍醐味であると思う。
保身に走りたくて勉強が進むのも良いじゃないか。
2026/09/23(水) 12:32:16.71ID:UcekutDo
>>554
数学の問題は山程ある。興味ある問題は解く、それだけの話し。何でも食いつくのはお前だけ。
2026/09/23(水) 12:33:47.41ID:WVjzQJRv
>>557
ことわざは先人の知恵だよ。
ただ、全く逆のものもある気がするので、各自で自分に適するものを選ぶと良いと思う。
2026/09/23(水) 12:34:12.72ID:UcekutDo
>>539
馬鹿じゃねw
2026/09/23(水) 12:35:40.91ID:UcekutDo
255 名前:132人目の素数さん (ササクッテロレ Sp3b-av3r [126.245.152.138])[sage] 投稿日:2026/09/21(月) 19:33:47.80 ID:UOhhfMwcp
深堀りすれば良いのに。
2026/09/23(水) 12:37:06.06ID:UcekutDo
244 名前:132人目の素数さん (ワッチョイ 5a84-yoBh [221.76.243.163])[sage] 投稿日:2026/09/20(日) 13:07:21.29 ID:t4T/LptZ0
一問解いてしまうと
こうして荒らしの投稿が加速してしまうので
できれば触れないでほしいのである
2026/09/23(水) 12:37:06.41ID:WVjzQJRv
>>559
私は好き嫌いが激しいよw
他人が興味を持ちそうな内容を見極めるのも、楽しんでやれば良いと思うよ。
2026/09/23(水) 12:37:40.28ID:UcekutDo
質問乞食爺は止められないw
2026/09/23(水) 12:38:27.23ID:UcekutDo
>>564
お前の趣味なんか知るかよ(苦笑)
2026/09/23(水) 12:38:29.33ID:WVjzQJRv
>>563
大学数学のスレは、大学の範囲のものをとけば良い。
2026/09/23(水) 12:41:39.17ID:WVjzQJRv
>>566
私のことは放っておけば良いよ。
ただ一人で難解なことを書き込んで、悦に入るのはどうかと思う。
少なくとも一人とはやり取りして、自分の正しさを証明したらどうか。
2026/09/23(水) 12:51:30.69ID:WVjzQJRv
おにぃのスレは酒を飲みながら、板の方向性を指南するスレ。
2026/09/23(水) 13:12:51.34ID:UcekutDo
>>568
質問乞食と間違えたw
2026/09/23(水) 13:15:43.02ID:UcekutDo
>>569
板暦8ヶ月のミジンコが板の方向性を指示(爆笑)
2026/09/23(水) 13:15:57.60ID:WVjzQJRv
ややこしいだろう。
この煩わしさが無くなることを願う。
2026/09/23(水) 13:17:12.64ID:UcekutDo
ミジンコの考える板の方向性は特にない()
2026/09/23(水) 13:17:44.71ID:WVjzQJRv
>>571
ミジンコよりも数学の内容を書かない奴乙w
そもそも数学を好きじゃないんだろw
575132人目の素数さん
垢版 |
2026/09/23(水) 13:18:12.60ID:GYRqPauo
(レス乞食に反応するのは無駄)
2026/09/23(水) 13:18:29.03ID:WVjzQJRv
数学好きじゃない奴の話は基本無視~w
2026/09/23(水) 13:19:12.11ID:WVjzQJRv
>>575
賛成!
2026/09/23(水) 14:12:32.46ID:UcekutDo
めでたく質問乞食とひねくれたミジンコの意見が一致(拍手)
2026/09/23(水) 14:24:18.53ID:WVjzQJRv
>>578
意見とかどうでも良いから、数学の話をしたらどう?
2026/09/23(水) 14:24:56.39ID:WVjzQJRv
数学が好きじゃないんやろ?w
2026/09/23(水) 14:25:45.93ID:WVjzQJRv
この板にいる資格は何だろね。
2026/09/23(水) 15:12:43.46ID:UcekutDo
ベランダの掃除完了
2026/09/23(水) 15:28:25.17ID:WVjzQJRv
迷える子羊は、私のスレへどうぞ。
2026/09/23(水) 16:35:13.76ID:UcekutDo
「迷える子羊」とは、人生に迷ったり悩んだりしている、弱く未熟な人間のたとえです。
由来と意味
・キリスト教の聖書:新約聖書の「マタイによる福音書」にあるイエスのたとえ話が由来です。
・羊の性質:羊は自分勝手に動きやすく、羊飼いがいないと迷子になりやすい動物であることから、人間が神(羊飼い)の導きを求めてさまよう様子にたとえられました。
・文学での使用:夏目漱石の小説『三四郎』の中で「ストレイ・シープ(stray sheep)」として登場し、日本でも広く知られるようになりました。
2026/09/23(水) 16:36:01.15ID:UcekutDo
さすが教育学部数学科のミジンコw
2026/09/23(水) 16:42:32.66ID:WVjzQJRv
>>585
なんとでも言えば良いさ。
私は理想のスレを作るために奮闘するのみ。
2026/09/23(水) 16:43:36.75ID:WVjzQJRv
無鉄砲なおにぃw
2026/09/23(水) 16:43:49.45ID:UcekutDo
劣等感に縛れれているくせに教育的な言葉をはく()
2026/09/23(水) 16:47:47.86ID:WVjzQJRv
>>588
この板が数学の内容で埋め尽くされていれば、私の生い立ちについて話す必要は全く無い。
純粋な数学の話をしてくれないかい?
2026/09/23(水) 16:49:58.46ID:WVjzQJRv
劣等感に苛まれた、ミジンコ連呼住人よw
2026/09/23(水) 17:17:26.07ID:4UTe/f2f
あんまウジウジワーワーすんなよ
子供じゃないんだから
2026/09/23(水) 17:40:28.40ID:WVjzQJRv
マウントは子どもがするものではないのか?
2026/09/23(水) 20:36:57.16ID:4UTe/f2f
ぶつくさ言ってんじゃないよ
ちょっとくらい外に出て人と会ったらどうなの
2026/09/23(水) 20:38:09.35ID:4UTe/f2f
5chに朝から晩まで張り付いて
頭おかしくなるよそのうち
2026/09/24(木) 04:56:17.51ID:PG4mEaWD
数学の話をせずに、説教垂れるだけw
2026/09/24(木) 05:00:21.17ID:PG4mEaWD
外に出ても欲求不満では仕方ないw
2026/09/24(木) 05:00:38.64ID:PG4mEaWD
カワイソw
598132人目の素数さん
垢版 |
2026/09/24(木) 08:37:22.13ID:vEVWsws5
自由超フィルターFを使ってZ上に有限加法性を持つ確率測度を構成できる
FがU上の自由超フィルターとは
{ }≠F⊂≠P(U)
で
�@A⊃B∈F→A∈F(上方完備性)
�AA,B∈F→A∩B∈F(有限交叉性)
�BA:有限集合→A/∈F(/∈は「含まない」の意)
�CA∈F∨cA∈F(cAはAの補集合)
を満たすもの
その存在はZornの補題すなわちACから従う
(�@�Aを満たすP(U)の真部分集合の全体Gを考えて包含を順序にしてその極大を取る(Zornの補題)と�Cが言える・補有限集合の全体は�@�A�Bを満たす(フレシェフィルターと呼ばれる)のでそれを含む極大元Fを考えるとそれが�Bを満たさないなら�Aから{ }∈F=P(U)となって矛盾)
a∈U
に対して
{A⊂U::a∈A}
は�@�A�Cを充たし単項超フィルターと呼ばれる
自由超フィルターとは単項ではない(�Bを充たす)という意
2026/09/24(木) 08:38:34.26ID:/UPLxoXN
>>595
正直もう相当頭おかしくなってると思うよ
600132人目の素数さん
垢版 |
2026/09/24(木) 08:39:25.21ID:vEVWsws5
N上の自由超フィルターFを使って超実数R*(同様に超自然数超整数超有理数)を構成できる
それは
R^N
に
(xn)〜(yn) ⇔ {n∈N::xn=yn}∈F
と定義すると同値関係になるので
R*=R^N/〜
と定義するとR上の様々な関係をR*に拡張することができて
無限小も無限大もR*に存在すると解釈できる
2026/09/24(木) 08:39:46.27ID:/UPLxoXN
はたから見たら数学やってる場合じゃない
すぐ5chから離れてリアルを充実させた方がいい
2026/09/24(木) 08:48:14.19ID:/UPLxoXN
こだわるほど5chは大事なの?
603132人目の素数さん
垢版 |
2026/09/24(木) 08:51:31.58ID:vEVWsws5
本題の有限加法性を持つ確率測度は
Z上の自由超フィルターFを使って
∀A⊂Zに対し
∃p∈[0,1],∀ε>0:{n∈N::p-ε<#(A∩[-n,n-1])/2n<p+ε}∈F
が成立することが証明できて
このようなpは1つしか無いこともわかるので
p(A)=p
とするとp(A)が有限加法性を持つ確率測度となることが証明できる
Zの部分集合全部が可測集合
p(A+a)=p(A)(平行移動不変性)
p(a-A)=p(A)(対称移動不変性)
を持つことも直ぐ判る
604132人目の素数さん
垢版 |
2026/09/24(木) 08:55:00.77ID:vEVWsws5
また
lim[n→∞]#(A∩[-n,n-1])/2n
(またはlim[n→∞]#(A∩[-n,n])/(2n+1))
が存在すればp(A)と一致することも分かるので
Z上の存在割合みたいなものの拡張概念であることも分かる
605132人目の素数さん
垢版 |
2026/09/24(木) 09:21:44.09ID:vEVWsws5
∀ε>0:{n∈N::p(A)-ε<#(A∩[-n,n-1])/2n<p(A)+ε}∈F
という定義から
2≦k∈N
に対して
p(kA)=q
と置くと
∀ε>0:{n∈N::q-ε<#(kA∩[-n,n-1])/2n<q+ε}∈F
であり
#(kA∩[-n,n-1])=#(A∩[-n/k,(n-1)/k])
m=[n/k]とすれば
n=km+r(0≦r≦k-1)
n-1=km+(r-1)(1≦r≦k-1), k(m-1)+(k-1)(r=0)
[(n-1)/k]=m(1≦r≦k-1), m−1(r=0)
#(kA∩[-n,n-1])/2n=#(A∩[-m,m])/2(km+r)(1≦r≦k-1), #(A∩[-m,m-1])/2(km+r)
=(km/(km+r))・(#(A∩[-m,m])/2km(1≦r≦k-1), #(A∩[-m,m-1])/2km(r=0))
うーんダメか
606132人目の素数さん
垢版 |
2026/09/24(木) 09:26:10.50ID:vEVWsws5
>>603
>∃p∈[0,1],∀ε>0:{n∈N::p-ε<#(A∩[-n,n-1])/2n<p+ε}∈F
これだと面倒がもう1つ増えてしまうから
もとのように
∀ε>0:{n∈N::p-ε<#(A∩[-n,n])/(2n+1)<p+ε}∈F
を充たすpがただ1つしか無いことから
p(A)=p
と定義するか
こっちでも>>604
>lim[n→∞]#(A∩[-n,n-1])/2n
>(またはlim[n→∞]#(A∩[-n,n])/(2n+1))
>が存在すればp(A)と一致することも分かるので
は成立する
607132人目の素数さん
垢版 |
2026/09/24(木) 09:38:08.43ID:vEVWsws5
>>603
>Z上の自由超フィルターFを使って
N上
2026/09/24(木) 10:09:56.23ID:5rSm+esu
>>599
ニュータイプのマウント人間乙w
2026/09/24(木) 10:12:26.77ID:5rSm+esu
一見諭すタイプの人間かと思いきや、説教をすることで充足感を得る困ったタイプの人間であるw
変な拗らせ方をしてしまっているので、まず自分のおかしさに気づくことが必要である。
2026/09/24(木) 10:31:28.72ID:5rSm+esu
御大の影響によって、無数目スレからの移民が来ているのかも。
難解なやつにコメントはできないが、数学の内容を書かずにマウントを取る書き込みよりも、価値があるものだろう。
2026/09/24(木) 10:32:56.26ID:ZIfzfRb3
ひねたおっさんが色々なスレで噛みつくからだよw
2026/09/24(木) 10:34:34.30ID:5rSm+esu
無数目スレを見たら、棲み分けをしてるのね。
まあ、私はマイペースにやっていこう。
2026/09/24(木) 10:36:43.90ID:5rSm+esu
>>611
治世のためには痛みを伴うものだよ。
no pain no gain
2026/09/24(木) 10:37:27.74ID:ZIfzfRb3
不等式、IUTスレで喧嘩を売るミジンコおっさんw
2026/09/24(木) 10:38:51.31ID:ZIfzfRb3
数学板の王様気取りのミジンコw
2026/09/24(木) 10:40:43.32ID:5rSm+esu
>>615
どうでも良いから、数学のことを書いてな。
2026/09/24(木) 10:44:12.27ID:5rSm+esu
そんなに微生物が好きなら、フラクタルのことでも書けば?w
ルベーグの本でハルナック図形?ってのが面倒で、飛ばしてしまったからなぁ。
2026/09/24(木) 10:47:37.29ID:ZIfzfRb3
ルベーグ積分の三大収束定理を教えてあげたじゃないか
2026/09/24(木) 10:53:57.77ID:5rSm+esu
証明にもう少し踏み込んでほしい。
2026/09/24(木) 10:54:34.66ID:ZIfzfRb3
伊藤に書いてあるよ
2026/09/24(木) 10:56:54.52ID:ZIfzfRb3
ルベーグ積分をやる目的は積分と極限の入れ替えが容易なこと、リーマン積分では不自由
2026/09/24(木) 10:58:06.07ID:5rSm+esu
きちんと自分で考えている書き込みを募集してんのよ、このスレはね。
2026/09/24(木) 10:58:47.68ID:5rSm+esu
>>621
それは別の人が教えてくれたわ。
2026/09/24(木) 11:00:06.71ID:ZIfzfRb3
当然このことを問うたんだよ、アホか
625132人目の素数さん
垢版 |
2026/09/24(木) 11:18:21.36ID:vEVWsws5
>>610
勉強しろよw
測度論がルベーグ積分の根幹だぞ
実は向こうに残した方もルベーグ積分の拡張ではある
626132人目の素数さん
垢版 |
2026/09/24(木) 11:21:09.63ID:5rSm+esu
向こうに残した方?
2026/09/24(木) 11:26:13.57ID:ZIfzfRb3
御大を尊敬するミジンコと瀬田爺さんw
2026/09/24(木) 11:44:18.36ID:5rSm+esu
数学に関係ない書き込みは基本無視するからね。
いちいち反応するのも面倒だから。
629132人目の素数さん
垢版 |
2026/09/24(木) 11:48:28.65ID:vEVWsws5
上手く定義できるか分からないが
R>0上の自由超フィルターFによって
∃p∈[0,1],∀ε>0:{x>0::p-ε<#(A∩[-x,x])/2x<p+ε}∈F
が言えるかあるいは言えるようなAを考えると
この性質をもつpは1つしか無いため
p(A)=p
と有限加法性を持つ確率測度を定義できるかな
平行移動と対称移動については不変だと証明できる
2≦k∈N
について
p(kA)=q
とすると
F∋{x>0::p-ε<#(kA∩[-x,x])/2x<p+ε}
={x>0::p-ε<#(A∩[-x/k,x/k])/2x<p+ε}
={y>0::p-ε<#(A∩[-y,y])/2ky<p+ε}
={y>0::kp-kε<#(A∩[-y,y])/2y<kp+kε}
から
p(A)=kp=kp(kA)
だわ
この線だね
それで拡大縮小の線形性(反線形性?)が言える
630132人目の素数さん
垢版 |
2026/09/24(木) 11:55:57.39ID:vEVWsws5
>>626
>向こうに残した方?
Xが確率空間([0,1)を想定)
Yが(Lie)群上に左不変なハール測度を考える([0,1)を想定)
A⊂X×Yに逐次積分による測度を
Ax={y∈Y::(x,y)∈A}⊂Y
μ(A)=∫μD(Ax)dμC
と定義すると
通常の測度で非可測でもたとえば
μ(V×[0,1/2)+cV×[1/2,1))=1/2
となるという話
2026/09/24(木) 11:57:21.24ID:ZIfzfRb3
捻くれたおっさんの日記帳だろ
2026/09/24(木) 12:00:05.99ID:ZIfzfRb3
質問乞食爺さんはハール測度知ってるんだ、すごーい(棒)
2026/09/24(木) 12:01:07.19ID:5rSm+esu
まだ初学者すぎてワカンネ(汗)
ま、本も借りられたし、ゆっくりやろう。
2026/09/24(木) 12:04:28.30ID:ZIfzfRb3
質問乞食爺さんなので「あ、間違えた」を10回繰り返しても正解には辿り着かないであろうw
635132人目の素数さん
垢版 |
2026/09/24(木) 12:07:01.17ID:vEVWsws5
>>629
>自由超フィルターF
これでは足りない気がする
N上の自由超フィルターの拡張にしたいから
R>0の有界区間をすべて含まない
という性質がいるんじゃ無いかな
分からんけど
2026/09/24(木) 12:07:21.58ID:ZIfzfRb3
何回も間違えたらその人の数学の品質が疑われるw
2026/09/24(木) 12:22:33.15ID:/UPLxoXN
>>613
それ自己暗示では?
この板を不愉快だと思ってるけど、この板に居座らざるを得ないほど実社会で孤立してるっていう矛盾に理由つけてるっていうか
認知的不協和ってよく聞くけどそれじゃないの
2026/09/24(木) 12:23:25.77ID:/UPLxoXN
まあこんなこと言ってまともに聞くとも思えないけどさ
2026/09/24(木) 12:26:12.17ID:5rSm+esu
>>637
5chで説教して充足感を得る人生って楽しいすか?www
640132人目の素数さん
垢版 |
2026/09/24(木) 12:26:21.30ID:vEVWsws5
>>629
>={x>0::p-ε<#(A∩[-x/k,x/k])/2x<p+ε}
={ky>0::p-ε<#(A∩[-y,y])/2ky<p+ε}
=k{y>0::kp-kε<#(A∩[-y,y])/2y<kp+kε}
まず
kF⊂F
でなくてはダメだな
(kF={kX::X∈F}={{kx::x∈X}::X∈F})
それが言えれば
k{y>0::kp-kε<#(A∩[-y,y])/2y<kp+kε}∈F
から
{y>0::kp-kε<#(A∩[-y,y])/2y<kp+kε}∈F
が出て
p(A)=kp=kp(kA)
となる
2026/09/24(木) 12:27:33.48ID:/UPLxoXN
でも孤立問題とかはソーシャルワーカーさんに聞けば色々できるはずじゃん
市区町村のラインとか見てると地域交流イベントたくさんやってるし
会社勤めなら会社の人間関係について人事とか産業医の先生とかに相談できるんじゃないの?
2026/09/24(木) 12:27:42.06ID:5rSm+esu
諭し口調で言っておけば、まともな人に見えると勘違いしている残念な人www
2026/09/24(木) 12:28:46.86ID:5rSm+esu
メンタルが弱い人はメンヘル板へGO!www
2026/09/24(木) 12:28:53.20ID:/UPLxoXN
なんでそんな追い詰められてんの
645132人目の素数さん
垢版 |
2026/09/24(木) 12:29:57.97ID:vEVWsws5
>>633
ルベーグ積分の本相当読んだんなら
測度論が中心課題だと分かったろ?
そのことを学んでいるはずだが
2026/09/24(木) 12:30:23.60ID:5rSm+esu
諭せば諭すほど自分の首が締まっていることに気づかない残念な人間www
2026/09/24(木) 12:32:14.44ID:5rSm+esu
>>645
まだ色々と慣れていないので、本を3冊借りた。
まあ、気長に待っていておくれよ。
見ての通り、著しく妨害されているのでw
648132人目の素数さん
垢版 |
2026/09/24(木) 12:34:01.70ID:vEVWsws5
ま
コレは向こうのスレで
649132人目の素数さん
垢版 |
2026/09/24(木) 12:34:35.31ID:vEVWsws5
>>647
お 前 が 勉 強 す る だ け の 話 w
2026/09/24(木) 12:35:59.94ID:/UPLxoXN
そんな必死に身を縮めなくてもいいのに
651132人目の素数さん
垢版 |
2026/09/24(木) 12:39:32.28ID:vEVWsws5
>>640
>kF⊂F
F⊂(1/k)F
なので結局
kF=F
か
うーんそんな自由超フィルター存在するのかな?
2026/09/24(木) 12:40:36.24ID:5rSm+esu
いや~、数学の話をしないよな。
この板の闇はすごいね。
膿を出し切らなければならないw
653132人目の素数さん
垢版 |
2026/09/24(木) 12:44:48.66ID:5rSm+esu
>>649
f+gの可測性の話とかで、ガバガバな感じやったやんw
俺は土台がふにゃふにゃな感じで先に行きたくはないんだよ。
地に足をつけてやると、何度か言っているように。
2026/09/24(木) 12:46:48.68ID:/UPLxoXN
なんか言い返したらもう聞かなくていいような気になっちゃうんだろうな
返事になってなくても
2026/09/24(木) 12:47:44.63ID:/UPLxoXN
フィルターって測度と見れるんだね
知らなかった
2026/09/24(木) 12:49:32.85ID:5rSm+esu
>>655
こういうことを喋っていれば良いのだよ。
訳分からん説教はお断り。
2026/09/24(木) 12:50:52.36ID:/UPLxoXN
>>656
いや君は絶対ここに困らない方がいい
2026/09/24(木) 12:51:20.20ID:/UPLxoXN
困らないじゃなくて
こもらない、ね
2026/09/24(木) 12:51:47.38ID:/UPLxoXN
ヤバい人だよ普通に見たら
2026/09/24(木) 12:53:56.03ID:/UPLxoXN
フィルターって位相空間でちょっと出てくるくらいのものかと思ってたけど、アローの不可能性とかにも繋げられるんだなぁ
2026/09/24(木) 12:54:38.97ID:5rSm+esu
あぁ、説教が広義のマウントに含まれることが分からない残念な人間www
2026/09/24(木) 12:55:30.05ID:ZIfzfRb3
早いのがとりえ、質問乞食爺!
2026/09/24(木) 12:58:47.79ID:/UPLxoXN
>>661
このさい説教かとかマウントかって話はどうかはどうてもいいんだけどな
事実としてヤバいんじゃないですかって話だもの
2026/09/24(木) 13:01:10.80ID:ZIfzfRb3
ハール測度は、局所コンパクト位相群上で定義される正則不変測度である
2026/09/24(木) 13:01:16.87ID:/UPLxoXN
危ないことしてる人に危ないって言ってるんだから、
言い方が説教だとかマウントだとかの前に、まず危険をなんとかしないといけないんじゃないの?
2026/09/24(木) 13:01:27.08ID:5rSm+esu
数学板で一体何がしたいのか?
全くもって理解不可能な住人であるwww
2026/09/24(木) 13:02:16.48ID:5rSm+esu
思想があぶないw
2026/09/24(木) 13:07:46.83ID:/UPLxoXN
ハール測度はg^-1dgで具体例作るとこから入るといいかもね
概念と例と使い方は簡単なのに存在証明だけやたらめんどくさかった記憶がある
2026/09/24(木) 13:29:12.14ID:ZIfzfRb3
RMKの定理
2026/09/24(木) 17:27:34.29ID:/UPLxoXN
>>669
そんな定理あるの?
671132人目の素数さん
垢版 |
2026/09/24(木) 17:36:44.05ID:PYgXW4D+
>>655
フィルターが測度じゃないのでは?
完全加法性が有るわけでも無いけれど
どっちかというとそっちに近い概念でしょ
あるいは位相とかに
2026/09/24(木) 17:38:24.26ID:/UPLxoXN
>>671
フィルターのうち特殊なもの(超フィルターという)が有限加法的測度になるって意味
2026/09/24(木) 17:39:58.45ID:/UPLxoXN
ややこしかったね
ごめん
2026/09/24(木) 17:58:27.78ID:/UPLxoXN
5rSm+esuはそろそろ反省できたのかね
あのレベルでズレてると、自分のおかげで数学の話をする流れになったとかって思い込んでるかもな
2026/09/24(木) 18:02:29.36ID:/UPLxoXN
変に成功体験与えちゃったかもな
馬鹿な人はそういうところが怖い
676132人目の素数さん
垢版 |
2026/09/24(木) 18:02:36.19ID:9723rYfm
説教癖を1ミリも直す気がなくて笑うwww
677132人目の素数さん
垢版 |
2026/09/24(木) 18:04:14.82ID:9723rYfm
数学の内容だけ書くことが何故出来ないのだろう?w
よほどプライベートで拗らせているのだろうwww
2026/09/24(木) 18:04:19.91ID:/UPLxoXN
だってツッコミどころ満載なんだもの
人のこと言えるほどできた人間だとは思ってないけど、それにしても酷い
679132人目の素数さん
垢版 |
2026/09/24(木) 18:05:18.98ID:9723rYfm
俺は能動的なマウントは取っていない。
欲求不満ならメンヘル板へ行きなちゃーいwww
2026/09/24(木) 18:06:17.47ID:/UPLxoXN
ツッコミするか無視するかしない方がおかしいってくらい変な人だよ君は
681132人目の素数さん
垢版 |
2026/09/24(木) 18:06:52.09ID:9723rYfm
心の千年パズルを完成させなちゃーいwww
くらえ、マインドクラーッシュ!!!
682132人目の素数さん
垢版 |
2026/09/24(木) 18:07:30.87ID:9723rYfm
あぁ、構ってちゃんはこれだから困るよwww
2026/09/24(木) 18:08:06.32ID:/UPLxoXN
もう完全に荒らしだね
2026/09/24(木) 18:08:18.39ID:/UPLxoXN
ミイラ取りがミイラっていうか
685132人目の素数さん
垢版 |
2026/09/24(木) 18:08:46.34ID:9723rYfm
逆に貴方にアドバイス。
数学してる場合じゃないと思うよ?
仏教でも学びなちゃーいwww
2026/09/24(木) 18:09:46.67ID:/UPLxoXN
数学の話しても黙ってるしルベーグの話もしないんだから
君に対して言えることは上に書いたこと以外何もないと思うんだよな
687132人目の素数さん
垢版 |
2026/09/24(木) 18:10:05.08ID:9723rYfm
説教をしたいという煩悩に苛まれた、迷える哀しき人間乙www
2026/09/24(木) 18:10:18.23ID:/UPLxoXN
逆にどう会話してほしいんだろう
689132人目の素数さん
垢版 |
2026/09/24(木) 18:11:42.60ID:9723rYfm
>>686
じゃあ、見本見せて貰って良いすか?
無数目メンバーとやり取りして、測度論に関する生産性のある会話をしてくれないか。
2026/09/24(木) 18:12:24.55ID:/UPLxoXN
上で数学の話してるんだけどな...
691132人目の素数さん
垢版 |
2026/09/24(木) 18:13:16.65ID:9723rYfm
2人くらい熱心に書いている人がいるだろう。
測度論に詳しいのなら、上手くやり取りできるはず。
そんくらいしか納得できることが思いつかないね。
692132人目の素数さん
垢版 |
2026/09/24(木) 18:14:16.08ID:9723rYfm
>>690
他の2人はマウントは置いといて、結構熱心に書いている。
貴方も見習ったらどうか。
2026/09/24(木) 18:14:38.14ID:/UPLxoXN
もう少し具体的に言ってくれる?具体的にどんな話題を話してほしいのか
694132人目の素数さん
垢版 |
2026/09/24(木) 18:16:09.17ID:9723rYfm
>>693
他人が書いている内容を膨らませるとか、そこはおかしいんじゃないかと指摘したり出来るでしょ。
695132人目の素数さん
垢版 |
2026/09/24(木) 18:17:20.46ID:9723rYfm
問題を作るとかでも良いじゃん。
スレチで高校数学しか垂れながらさないんだからw
2026/09/24(木) 18:17:37.42ID:/UPLxoXN
それはもう書いたじゃない
697132人目の素数さん
垢版 |
2026/09/24(木) 18:17:41.31ID:9723rYfm
流さないんだから
698132人目の素数さん
垢版 |
2026/09/24(木) 18:19:01.50ID:9723rYfm
とりあえず、説教はお断り。
他人に過干渉する書き込みは見たくないんだよ。
2026/09/24(木) 18:20:25.19ID:/UPLxoXN
じゃあ居ないことにすればいいのかな
2026/09/24(木) 18:20:57.02ID:/UPLxoXN
他に書けるようなことが見当たらないし。
2026/09/24(木) 18:22:08.15ID:/UPLxoXN
いろんな人が似たようなことしか言ってないんだから、本当に他にコメントの余地ないんじゃないか?
2026/09/24(木) 18:25:35.94ID:/UPLxoXN
思いつかないから自分で考えてよ
自分にどういうコメントが来たらいいのか
703132人目の素数さん
垢版 |
2026/09/24(木) 18:31:11.27ID:PYgXW4D+
>>651
(半)群Gの作用のある集合XのF⊂≠P(X)
で
�@X⊃A⊃B∈F→A∈F(上方完備性)
�AA,B∈F→A∩B∈F(有限交叉性)
�BA:有限集合→A/∈F(/∈は「含まない」の意)
�CA∈F∨cA∈F(cAはAの補集合)
�DA∈F→gA∈F(g∈G)
の内の�@�A�Dを満たしているものの全体をFFとする
{ }∈FF≠{ }
E,F∈FF
に包含関係で順序を付ける
このときFFの全順序部分集合FFF⊂FFについて
∪FFF∈FF
なのでZornの補題によりFFには極大フィルターがある
特にフレシェフィルターは�@�A�B�Dを充たし
その上界にある極大フィルターFを考えると
極大性から�Cも成立する
�Dからすべての
k∈R+
について
kF=F
となる
そして
このようなR+上の自由帳フィルターFによって定義した(有限加法的)確率測度p(A)は
⓪P(Z)すべてを可測とし
�@p(A+a)=p(A)(平行移動不変性)
�Ap(a-A)=p(A)(対称移動不変性)
�Bp(A)=kp(kA)(反線形性)
�Cp(A1+…+An)=p(A1)+…+p(An)(有限加法性)
�Dp=lim[x→∞]#(A∩[-x,x])/2xが存在する時p(A)=p
を充たすはず
704132人目の素数さん
垢版 |
2026/09/24(木) 18:33:34.60ID:PYgXW4D+
>>672
測度って集合族から実数への写像のことじゃないの?
2026/09/24(木) 18:35:27.35ID:/UPLxoXN
>>704
wikiに書いてあるのを読んだだけだから、ちょっと詳しく調べてみる
706132人目の素数さん
垢版 |
2026/09/24(木) 18:37:51.01ID:PYgXW4D+
ということで目標は
R+上のkF=Fを充たす自由帳フィルターFを適当に取った時
∃p∈[0,1],∀ε>0:{x>0::p-ε<#(A∩[-x,x])/2x<p+ε}∈F
が言えるかどうかに絞られた
N上の自由帳フィルターでやったのと同じ方法で考えるかな
707132人目の素数さん
垢版 |
2026/09/24(木) 18:56:23.13ID:PYgXW4D+
A=Z
のときは
∀ε>0
に対して
{x>0::1-ε<#(Z∩[-x,x])/2x}
={x::2x(1-ε)<#{Z∩[-x,x])}
={x::2x(1-ε)<2[x]+1}
={x::x(1-ε)<[x]+1/2}
ここで
x>1/2ε
とすると
x(1-ε)<x-1/2≦[x]+1/2
なので
{x>0::1-ε<#(Z∩[-x,x])/2x}⊃(1/2ε,∞)=c(0,1/2ε]
やっぱ>>635
が必要か
kF=F
から有界区間を含まないことが出ないかな・・・・ダメそう
708132人目の素数さん
垢版 |
2026/09/24(木) 19:09:09.48ID:dXFYKzWn
測度になることを示す演習でもしたらどうか。
709132人目の素数さん
垢版 |
2026/09/24(木) 19:10:29.28ID:PYgXW4D+
>>703
�@R+⊃A⊃B∈F→A∈F(上方完備性)
�AA,B∈F→A∩B∈F(有限交叉性)
�B'A:有界集合→A/∈F(/∈は「含まない」の意)
�CA∈F∨cA∈F(cAはAの補集合)
�DA∈F→kA∈F(k∈R+)
で考えるのはどうかな
フレシェフィルターの拡張で
補有界集合の集合
CB={cB⊂R+::B:bounded}
を考えると
�@
R+⊃A⊃cB∈CB
とすると
cA⊂B:bdd
より
cA:bdd
よって
A∈CB
�A
cA,cB∈CB
とすると
cA∩cB=c(A∪B)
だが
A,B:bdd
より
A∪B:bdd
なので
cA∩cB∈CB
�D
cA∈CB
とすると
kcA=ckA
だが
A:bdd
より
kA:bdd
なので
kcA∈CB
よって
CBを含む極大フィルターFを考えたら
�@�A�B'�C�Dをすべて充たすな
710132人目の素数さん
垢版 |
2026/09/24(木) 19:12:24.35ID:PYgXW4D+
>>707
>>709の自由帳フィルターFによって定義をすれば
{x>0::1-ε<#(Z∩[-x,x])/2x}⊃(1/2ε,∞)=c(0,1/2ε]∈CB⊂F
より
{x>0::1-ε<#(Z∩[-x,x])/2x}∈F
で
p(Z)=1
が出るな
2026/09/24(木) 19:15:10.11ID:ZIfzfRb3
>>670
Riesz–Markov–Kakutaniの定理
712132人目の素数さん
垢版 |
2026/09/24(木) 19:15:25.71ID:PYgXW4D+
>>707
>kF=F
>から有界区間を含まないことが出ないかな・・・・ダメそう
出るかも知れないという気もしてきたが>>709でOKなので掘り下げないことにしよう
2026/09/24(木) 19:22:36.65ID:/UPLxoXN
>>704
こういう話らしい:


Xが集合とする。

Uが2^X上の超フィルターUとすると、
μ : 2^X→{0,1}を
μ(x)=0(x in U),
μ(x)=1(x notin U)
と定めて有限加法的測度(ブール代数の準同型)ができる。

逆に、有限加法的測度μ:2^X→{0,1}からU:=μ^{-1}(1)とすれば超フィルターができる。
2026/09/24(木) 19:23:42.46ID:/UPLxoXN
>>711
なんだそれのことか。ゼミとかノートで使いそう。
2026/09/24(木) 19:24:51.25ID:/UPLxoXN
>>713
「2値」有限加法的測度
2026/09/24(木) 19:27:23.81ID:/UPLxoXN
結局、無視してほしいのか?
じゃあ日記もスレも立てないでROMればいいのに
2026/09/24(木) 19:33:01.33ID:/UPLxoXN
最初から。
718132人目の素数さん
垢版 |
2026/09/24(木) 19:33:55.74ID:PYgXW4D+
>>707
あーまず
#(Z∩[-1,1])/2=3/2>1
ジャン
定義見直さないとな
これはどうかな
∃p∈[0,1],∀ε>0:{x>0::p-ε<#(A∩[-x,x]-{0})/2x<p+ε}∈F
p(kA)=q
とすると
F∋{x>0::q-ε<#(kA∩[-x,x]-{0})/2x<q+ε}
={x>0::q-ε<#(A∩[-x/k,x/k]-{0})/2x<q+ε}
={ky>0::q-ε<#(A∩[-y,y]-{0})/2ky<q+ε}
=k{y>0::kq-kε<#(A∩[-y,y]-{0})/2y<kq+kε}
F⊃(1/k)F∋{y>0::kq-δ<#(A∩[-y,y]-{0})/2y<kq+δ}
(δ=kε)
よって
p(A)=kq=kp(kA)
よしよし
719132人目の素数さん
垢版 |
2026/09/24(木) 19:34:47.53ID:PYgXW4D+
>>713
なるほどー
2026/09/24(木) 19:36:03.14ID:/UPLxoXN
荒らしに反応して面倒にさせてやる意図があるんだとかってのは
荒らしによくある歪んだ思考回路だって聞いたことある
2026/09/24(木) 19:41:14.40ID:/UPLxoXN
大抵私生活でストレスがあって変なことしてるのを、正義感を理由に正当化してて、そのために独特な自己完結したロジックが組み上がってるらしい。
722132人目の素数さん
垢版 |
2026/09/24(木) 19:41:47.32ID:PYgXW4D+
>>707
A=Z
のときは
∀ε>0
に対して
{x>0::1-ε<#(Z∩[-x,x]-{0})/2x}
={x::2x(1-ε)<#(Z∩[-x,x]-{0})=2[x]}
={x::x(1-ε)<[x]}
={x::x-[x]<xε}
x>1/εとすると成立するので
{x>0::1-ε<#(Z∩[-x,x]-{0})/2x}⊃(1/ε,∞)=c(0,1/ε]∈F
より
{x>0::1-ε<#(Z∩[-x,x]-{0})/2x}∈F
だから
p(Z)=1
よしよし
723132人目の素数さん
垢版 |
2026/09/24(木) 19:42:41.84ID:dXFYKzWn
>>672
これは俺が見ても違和感がある。
もっと勉強しなちゃーいwww
2026/09/24(木) 19:43:05.87ID:/UPLxoXN
あと孤立が荒らしの要因として大きいらしい
725132人目の素数さん
垢版 |
2026/09/24(木) 19:43:57.72ID:PYgXW4D+
修正疲れたから
A⊂≠Z
の場合はあとにしよっと
726132人目の素数さん
垢版 |
2026/09/24(木) 19:44:39.38ID:dXFYKzWn
>>720
>>721
結構な割合でブーメランになってて笑うwww
2026/09/24(木) 19:44:54.82ID:/UPLxoXN
>>723
せめて>>716あたりから蒸し返したことを突っ込んでれば
「正義のための作戦」って理屈で一応は通せてたと思う
2026/09/24(木) 19:46:42.33ID:/UPLxoXN
一応数学の話してるところを真っ先に突っ込むのは今までのスタンスからしておかしいじゃん
729132人目の素数さん
垢版 |
2026/09/24(木) 19:47:26.40ID:dXFYKzWn
あぁ、余程プライベートが満たされていないらしいwww
他人の歪みを正す前に、自分の色眼鏡が狂っていないか確認しようwww
730132人目の素数さん
垢版 |
2026/09/24(木) 19:48:22.01ID:dXFYKzWn
何色のメガネなんやろ?www
とりあえず、ピンボケが半端ないのであるwww
2026/09/24(木) 19:48:46.04ID:/UPLxoXN
もうここで数学の話するのやめようかな
2026/09/24(木) 19:49:40.21ID:/UPLxoXN
スレタイ違いだから
2026/09/24(木) 19:50:10.09ID:/UPLxoXN
別に他のスレでいくらでも話せるし。
734132人目の素数さん
垢版 |
2026/09/24(木) 19:50:20.22ID:PYgXW4D+
>>713,719
ただそれ超フィルターの本で読んだ
単項超フィルターとアトムを持つ確率測度との関係に似てるな
あるなしでしか測れないヤツ
a∈R
を1つ固定し
P(Z)∋A
の測度を
p(A)=1 for A∋a, 0 otherwise
にするみたいな
自由帳フィルターでも同様の測度になると言っても
値が0か1かしかないところが似てるかなと
735132人目の素数さん
垢版 |
2026/09/24(木) 19:50:31.92ID:dXFYKzWn
してないじゃんw
俺は説教すんのをやめたらと言っている。
2026/09/24(木) 19:51:49.43ID:dXFYKzWn
別に居心地が良いスレを吟味すれば良い。
とりあえず、おにぃのスレはこんな感じでいきます。
2026/09/24(木) 19:52:04.98ID:/UPLxoXN
>>735
数学の話がいま同時に進んでるのになんでそっちには全然反応しないの
2026/09/24(木) 19:52:28.96ID:/UPLxoXN
もう開き直っちゃったんだろうけど
2026/09/24(木) 19:53:36.02ID:dXFYKzWn
>>737
見本でも見せてくれ。
他人に言うのなら、まず自分からだよ。
開いた書籍を閉じさせるような説教はやめたまえよ。
2026/09/24(木) 19:54:07.11ID:/UPLxoXN
>>739
上でやったでしょ
741132人目の素数さん
垢版 |
2026/09/24(木) 19:54:25.00ID:PYgXW4D+
>>733
それも良いと思うよ
数学の話ができるところなら
ここはスレたてしたゲス爺が
一応は数学を指向しているのと
特に迷惑では無さそうなので
あっちからこっちに分家しただけ
適切なスレもないし
「名誉教授」スレではランダムウォークを考えてる最中だし
(アイデア思いつかずに頓挫中)
2026/09/24(木) 19:55:16.38ID:/UPLxoXN
>>741
いや別に5chに居座るつもりがそもそもないけど
743132人目の素数さん
垢版 |
2026/09/24(木) 19:56:25.66ID:PYgXW4D+
>>723
これ読んでないんだろ>>713
他人には自分の知っていることを知っているべきと強要するくせに
お前ホント他人に厳しく自分に甘いなゲス爺
744132人目の素数さん
垢版 |
2026/09/24(木) 19:56:51.02ID:PYgXW4D+
>>742
うむ
それは残念だが仕方ない
2026/09/24(木) 19:58:28.83ID:/UPLxoXN
でも超フィルターは収穫だったよ
それはありがとう
あと他のスレでガロアの夢読む気になった
746132人目の素数さん
垢版 |
2026/09/24(木) 19:59:22.23ID:PYgXW4D+
>>735
お前は説教しかしたくないみたいだけどな
数学やるやる鷺のゲス爺
747132人目の素数さん
垢版 |
2026/09/24(木) 20:03:01.48ID:PYgXW4D+
次があればぜひ
自由帳フィルターによって集合論の宇宙を拡大する話とかで
(念のため彼の人が誤解しないよう書いておくとVの中に
ある意味Vより大きいと見なせるようなモデルを作る話
超実数体は実数体を含まないけど自然に引き写せるみたいな)
2026/09/24(木) 20:05:35.00ID:/UPLxoXN
なんでこうなったかちょっと遡ってみたけど
なるほど人間ってこうやって壊れていくんだなぁと思った。
2026/09/24(木) 20:06:05.14ID:/UPLxoXN
1ヶ月前はもうちょっとまともだったみたいね
2026/09/24(木) 20:07:30.95ID:ZIfzfRb3
RMK
・リース・フリジェシュ(Riesz Frigyes , 1880年1月22日-1956年2月28日)は、関数解析学を専門としたハンガリーの数学者。オーストリア・ハンガリー帝国ジェールに生まれ、ハンガリーブダペストに死す。リース・マルツェルは弟。
・アンドレイ・アンドレエヴィチ・マルコフ(ロシア語: Андре́й Андре́евич Ма́рков, ラテン文字転写: Andrey (Andrei) Andreyevich Markov, 1856年6月14日 - 1922年7月20日、日付はいずれも新暦)は、ロシアの数学者。特に確率過程論に関する業績で知られる。彼の研究成果は、後にマルコフ連鎖として知られるようになった。
・角谷 静夫(かくたに しずお、1911年(明治44年)8月28日 - 2004年(平成16年)8月17日 )は、日本の数学者。イェール大学名誉教授。娘は日系アメリカ人文芸批評家のミチコ・カクタニ(角谷美智子)。関数解析や確率論の研究で著名。掛谷の問題で有名
2026/09/24(木) 20:09:16.38ID:/UPLxoXN
私はそろそろ落ちます。
普通に外でブックオフとかユニクロの物色してる方が楽しい。
あとゲームでも人と話せるし、なんjとかの方がまだ地に足ついてて病的じゃない気がする。
2026/09/24(木) 20:10:20.67ID:/UPLxoXN
だからここに引きこもるのは良くないと思うんだけど。
2026/09/24(木) 20:14:29.38ID:/UPLxoXN
リースマルコフ角谷は確率論の土台だね
測度と分布関数の対応のために。
興味があれば、おにぃ?きしょいな。もルベーグに続いて勉強してみるといいよ
確率は測度論の補強になるし実用だから
2026/09/24(木) 20:16:16.59ID:dXFYKzWn
>>741
数学の話をするならご自由にどうぞ。
2026/09/24(木) 20:16:21.20ID:ZIfzfRb3
あほ、ラドン測度の存在定理
2026/09/24(木) 20:16:30.55ID:/UPLxoXN
自殺しないでね
2026/09/24(木) 20:17:54.49ID:ZIfzfRb3
自演始めたかw
2026/09/24(木) 20:18:16.07ID:/UPLxoXN
色々言ったけど一言で言えばそういうこと。
2026/09/24(木) 20:18:28.00ID:ZIfzfRb3
yahoo携帯w
2026/09/24(木) 20:20:57.51ID:/UPLxoXN
>>755
あそっか
間違えた
ごめん
2026/09/24(木) 20:21:25.17ID:dXFYKzWn
>>743
ご指摘ありがとう。
>>746
私は反論しているだけ。
能動的なマウントはしていないよ。
2026/09/24(木) 20:24:21.74ID:dXFYKzWn
>>748
俺が壊した千年パズルを頑張って組み立てなちゃーいwww
2026/09/24(木) 20:48:50.89ID:dXFYKzWn
さて、洗濯をしたら飯を食いながら勉強しよう。
数学やりィのやりまくりw
2026/09/24(木) 21:28:07.90ID:dXFYKzWn
さてと、ラーメンでも食いながらやりますかね。
デザートはエクレアがある。
お酒はゲボ吐いたので、来月中旬までお預けですw
2026/09/24(木) 21:45:08.62ID:dXFYKzWn
>>757
私のこと?
私は無線Wi-Fiでスマホを動かしているから、IDがコロコロ変わるのは仕方ないよ。
766132人目の素数さん
垢版 |
2026/09/24(木) 22:36:51.96ID:vEVWsws5
>>725
0を除外してカウントしているので
A=Z-{0}
も別途考察しておくべきだな
このとき
#(A∩[-x,x]-{0})=#(Z∩[-x,x]-{0})
だからあとも同じで
p(Z-{0})=1
2026/09/24(木) 23:01:19.53ID:XXU0IwBF
>>523-526
出張してきました (^^

>御大が論文をコピペされる理由でも真面目に考えなよ。

これは全く同意です
御大が論文コピペ爆撃される理由:
1)時枝箱入り無数目(の結論):x
 吉田大学 札つきマンガ(の結論):〇
 cf https://rio2016.5ch.io/test/read.cgi/math/1789954413/1-4
2)[数字であそぼ。]絹田村子への援護爆撃(吉田大学OBとして応援)
3)加えて、学会などで 確率論学者と情報交換の話をされた
 その上で 上記1)2)を確信された
これが、私が予想する御大の心中です

>「ストローマン」は彼の人の口癖だった
>「Scholze Stixはストローマン論法」
>というのが常だったからね
>Leanで分が悪くなって?使わなくなったかも

1)正しくは「静観している」だ
2)望月氏IUT数学は 事実はともかく ZFCの外だと主張する
 これを正とすると、従来のLeanがZFCの内が主だとして
 そこからはみ出る部分がある可能性は大いにある
3)ゆえにポイントは、何かが不足していて Leanが通らない
 そこをうまい形で 何かを追加して Leanが通せるか否かだ
4)「Scholze Stixはストローマン論法」は、Scholze氏の主張が
 相手の数学の定義を 書き換えて 書き換えた定義で矛盾が出るという主張だから
 これが ストローマン論法であることは 恒真で確定しているが

繰り返すが、いまは「静観している」が正しい
2026/09/24(木) 23:01:55.02ID:XXU0IwBF
>>747
(引用開始)
次があればぜひ
自由帳フィルターによって集合論の宇宙を拡大する話とかで
(念のため彼の人が誤解しないよう書いておくとVの中に
ある意味Vより大きいと見なせるようなモデルを作る話
超実数体は実数体を含まないけど自然に引き写せるみたいな)
(引用終り)

さすが倒錯の(ですね)人
『自由帳フィルターによって集合論の宇宙を拡大する話』『Vの中に』:ワードサラダ! ”超フィルター”は ご愛敬だから許容するとして
誤解と倒錯
下記を百回音読してねw

(参考)
https://ja.wikipedia.org/wiki/%E8%B6%85%E7%A9%8D
超積
超積の顕著な応用として、例えばコンパクト性定理および完全性定理の非常にエレガントな証明、キースラー(英語版)の超冪定理(初等同値に関する 意味論的概念の代数的特徴付けを与える)、そして解析学の超準モデルを構成するための超構造およびその間の単型射の使用に関するロビンソン–ザコン表示(アブラハム・ロビンソンが(コンパクト性定理の応用として)開拓した超準解析の分野の成長を導いた)などを挙げることができる。
例
巨大基数論における標準的な構成は、集合論的宇宙全体の、注意深く適切に選ばれた超フィルター U に関する超積をとる。この超フィルター U の性質は超積の(高階の)性質に強く影響する。例えば、U が σ-完備ならば、超積はふたたび整礎となる(原型例は可測基数(英語版)の項を参照)。

https://en.wikipedia.org/wiki/Ultrafilter
Ultrafilter
Ultrafilters on partial orders
Types and existence of ultrafilters
In general, proofs involving the axiom of choice do not produce explicit examples of free ultrafilters, though it is possible to find explicit examples in some models of ZFC; for example, Gödel showed that this can be done in the constructible universe where one can write down an explicit global choice function. In ZF without the axiom of choice, it is possible that every ultrafilter is principal.[5]
(google訳)
一般に、選択公理を含む証明は自由超フィルタの明示的な例を生成しないが、 ZFCのいくつかのモデルでは明示的な例を見つけることができる。たとえば、ゲーデルは、明示的なグローバル選択関数を書き下すことができる 構成可能宇宙ではこれが可能であることを示した。選択公理のないZFでは、すべての超フィルターが主フィルターである可能性がある。 [ 5 ]

Applications
In set theory ultrafilters are used to show that the axiom of constructibility is incompatible with the existence of a measurable cardinal κ. This is proved by taking the ultrapower of the set theoretical universe modulo a κ-complete, non-principal ultrafilter.[6]
(google訳)
集合論において、構成可能性の公理が可測基数 κ の存在と両立しないことを示すために、超フィルターが用いられます。これは、κ-完備かつ非主な超フィルターを法として集合論的宇宙の超積をとることによって証明されます。[6]
769132人目の素数さん
垢版 |
2026/09/24(木) 23:03:29.46ID:vEVWsws5
>>725
Z-{0}≠A⊂≠Z
とすると
0≠∃a/∈A
ここで
f:R+→[0,1]
を
f(x)=#(A∩[-x,x]-{0})/2x=#(A∩[-[x],[x]]-{0})/2x
と定義すると
f(x)=1 ⇔ x=[x]=n∈N∧A⊃[-n,n]-{0}
となる
よって
x>a
のとき
f(x)<1
だから
{x>0::f(x)=1}は有界集合となりFの元にならない
つまり
{x>0::f(x)<1}∈F
ここで
L1={x>0::0≦f(x)<1/2}
R1={x>0::1/2≦f(x)<1}
のいずれか一方のみがFの元(超フィルターだから)
L1∈Fのときy1=0
R1∈Fのときy1=1/2
とすると上記の定義より
N1={x>0::y1≦f(x)<y1+1/2}∈F
次に
N1⊃L2={x>0::y1≦f(x)<y1+1/4}
N1⊃R2=N1-L2={x>0::y1+1/4≦f(x)<y1+1/2}
のいずれか一方のみがFの元(超フィルターだから)
L2∈Fのときy2=y1
R2∈Fのときy2=y1+1/4
とすると上記の定義より
N2={x>0::y2≦f(x)<y2+1/4}∈F
これを繰り返して
∀m∈N:Nm={x>0::ym≦f(x)<ym+1/2^m}∈F
となるymを定義できる(y0=0)
0=y0≦y1≦y2≦…≦y2+1/4≦y1+1/2≦y0+1=1
に区間縮小法を使うと
0=y0≦y1≦y2≦…≦p≦…≦y2+1/4≦y1+1/2≦y0+1=1
となるpがただ1つ定義できて
∀ε>0,∃m∈N:1/2^m<ε
だからそのようなmによって
p-ε<p-1/2^m≦ym<ym+1/2^m≦p+1/2^m<p+ε
より
{x>0::p-ε<f(x)<p+ε}⊃{x>0::ym≦f(x)≦ym+1/2^m}∈F
なので
{x>0::p-ε<f(x)<p+ε}∈F
がどんなε>0についても成立する
このようにしてp(A)=pと定義することができる
770132人目の素数さん
垢版 |
2026/09/24(木) 23:07:12.16ID:vEVWsws5
(彼の人は丸で何も分からないのですね)
771132人目の素数さん
垢版 |
2026/09/24(木) 23:08:19.88ID:vEVWsws5
(理解していないのにワードサラダとは白旗のつもりかな?)
2026/09/24(木) 23:08:32.38ID:dXFYKzWn
>>767
いやあ、論文投下なんて平和なもんですよ。
説教されまくってるんですけどw
しかし、やるのなら中途半端は良くない。
潔く5chを辞めるのも良し、何かしらの目的を持って続けるのも良し。
コロコロと言動を変えて、一貫性のない行動を取るのは良くないのである。
2026/09/24(木) 23:09:26.65ID:dXFYKzWn
しんぶん赤旗
774132人目の素数さん
垢版 |
2026/09/24(木) 23:19:18.59ID:vEVWsws5
{0}を引いて定義し直したので
本当は
⓪P(Z)すべてを可測とし
�@p(A+a)=p(A)(平行移動不変性)
�Ap(a-A)=p(A)(対称移動不変性)
�Bp(A)=kp(kA)(反線形性)
�Cp(A1+…+An)=p(A1)+…+p(An)(有限加法性)
�Dp=lim[x→∞]#(A∩[-x,x]-{0})/2xが存在する時p(A)=p
をすべて確認し直さなくてはいけないが
⓪は証明済み
�@は#((A+a)∩[-x,x]-{0})=#(A∩[-x-a,x-a]-{-a})と#(A∩[-x,x]-{0})の差はxによらずある有限の値以下なのでまあ問題ない
�Aはp(-A)=p(A)はすぐであとは�@
�Bは示した
�Cも�Dも大した手間は無い
また�Dは
lim[n→∞]#(A∩[-n,n])/(2n+1)でもいい
775132人目の素数さん
垢版 |
2026/09/24(木) 23:20:17.04ID:vEVWsws5
>>772
あの荒らしは
自分がホテルヌーカリホルニア状態だと自覚していたので
5chから出ていって欲しいがそうはしないだろう
776132人目の素数さん
垢版 |
2026/09/24(木) 23:22:08.45ID:vEVWsws5
荒らしに忖度は不用
777132人目の素数さん
垢版 |
2026/09/24(木) 23:22:24.05ID:vEVWsws5
目障りではあるけどね
2026/09/24(木) 23:26:48.88ID:dXFYKzWn
別に規制はきちんと存在するので、ルール内で自由にすれば良いと思う。
板によっては、頻繁に削除などが行なわれているところはあるように思う。
住人次第といった側面はあるだろう。
2026/09/25(金) 02:25:13.60ID:Wdqtc6TR
>>772
文字列と、そのありうる意味の全体がなす集合、そしてその集合上の確率測度の組を、レスと定義する。
1つの意味に対して1つの実数値を返す評価関数「都合の良さ」、またその閾値「許容限界」、および下で用いる確率についての閾値「確信の臨界」の組を価値観と定義する。
あるレスについて、許容限界を下回る都合の良さをしている意味が確信の臨界を上回る確率で存在するとき、そのレスをその価値観における説教と定義する。
このとき、次の命題の真偽を判定せよ。
⑴任意のレスの族に対し、ある価値観であって、価値観に基づく切り捨てに通した族の元がすべて説教となるものが存在する。
⑵任意の価値観に対し、あるレスの族であって、価値観に基づく切り捨てに通した族の元がすべて説教となるものが存在する。
2026/09/25(金) 02:39:08.56ID:Wdqtc6TR
また、
レスの族と価値観に対して新たな価値観を返す関数update(,)、
価値観に対してレスの族を返す関数response()、
価値観のうち環境において許容されるもののなす集合「まともな価値観」を定め、updateとresponseを反復適用することでまともな価値観に辿り着く最適化手法「集団力による最適化」を考える。
それとは別に、価値観とレスの族に対して、その価値観における説教とされるレスをレスの族からとり除く関数bias()を定める。biasを間に挟む場合の集団力による最適化を、「バイアス付きの集団力による最適化」と呼ぶ。
つぎの命題の真偽を判定せよ。
⑴update、responseをどのようにとったとしても、集団力による最適化は成功しない。
⑵biasのとりかたによっては、update,responseをどのようにとったとしても、バイアス付きの集団力による最適化は成功しない。
2026/09/25(金) 02:41:32.58ID:Wdqtc6TR
>>779
(2)訂正:
ある価値観であって、任意のレスの族に対し、価値観に基づく切り捨てに通した族の元がすべて説教となるものが存在する。
2026/09/25(金) 02:43:29.72ID:Wdqtc6TR
>>780はうまく表せていない気がするが、めんどくさくなったので他の人が調整してくれ
要するに、アドホックに耳を塞いでいたらどんなうまい最適化も機能しないということが言いたい。
2026/09/25(金) 02:45:15.21ID:Wdqtc6TR
数学が好きならこれで言いたいことは伝わるだろう
2026/09/25(金) 02:49:17.00ID:Wdqtc6TR
条件を書き忘れたな。
価値観は、この世の任意のレスを説教とは見做せないように制限する。なせなら、そのような価値観は本人にとっても明らかにおかしいと気づくから。
現実的には自分のレスを説教とは見做さない範囲の価値観に制限されるだろう。まともな人間なら。
2026/09/25(金) 02:57:12.94ID:Wdqtc6TR
後から立場を変えるなら、何でも無意味な文とみなせる。
事前に決めた立場をずらさなければ、無意味な文とはみなせないものが出てくる。
また、自分の立場で文を選択的に無意味とみなす限り、どのようなフィードバックや作戦も、立場をまともにできない可能性がある。
2026/09/25(金) 03:38:52.95ID:9mO47uiT
>>784
まともじゃない人乙www
2026/09/25(金) 03:46:36.24ID:ncfvALR0
ガロアの夢とかどうでも良いから、早く夢から覚めなちゃーいwww
2026/09/25(金) 03:50:40.58ID:ncfvALR0
>>721
私生活でストレスがあって変なことをしているのを、正義観を理由に正当化していて、そのために支離滅裂なロジックを組み上げている人乙www
2026/09/25(金) 03:51:46.53ID:ncfvALR0
座禅でもして煩悩を一から取り払いなちゃーいwww
2026/09/25(金) 03:52:52.85ID:ncfvALR0
マインドクラーッシュ!www
2026/09/25(金) 03:57:17.16ID:ncfvALR0
こんなに拗らせている人が、まだ眠っていたことに驚きであるw
すごいものを掘り起こしてしまったw
徳川埋蔵金よりも希少かも、引田天功の埋蔵金くらい凄いwww
2026/09/25(金) 07:03:24.88ID:eEQW592O
>>768 追加
(ですね)人が、用語 宇宙で倒錯していることの補強
それと檜山正幸さん、”超フィルター(ultrafilter)は確率測度とみなせること”が検索ヒットしたので貼ります(^^

(google検索)
超フィルター 宇宙
<AI による概要>(注:参照リンクがあるが 省いた)
数学の集合論における「超フィルター(ウルトラフィルター)」と「宇宙(集合論的宇宙)」のつながりは、巨大基数などの研究において、宇宙全体の構造を調べるために超積(ちょうせき)という構成法で超フィルターが使われる点にあります
超フィルターと宇宙の基本
・超フィルター:集合の集まり(フィルター)の中で、これ以上大きくできない極大なもののこと。どのような集合に対しても「その性質を満たす側」か「満たさない側」かを完全に分ける決定権を持つようなイメージです
・集合論的宇宙:すべての集合を要素として含む全体の領域(あるいはそのモデル)のこと

宇宙の理論における役割
・超積(Ultraproduct)の利用:適切に選ばれた超フィルターを用いて、たくさんの構造を「混ぜ合わせる」ことで、新しい巨大な数学的構造(超積)を作ることができます
・巨大基数の構成:通常の数学では証明できないような「信じられないほど大きな無限の数(巨大基数)」を考える際、集合論的宇宙全体の超フィルターに関する超積をとる方法が標準的に使われます
・モデルの拡張:超フィルターを通した超積によって、元の宇宙とは異なる新しい「別の宇宙(素描的なモデル)」を作り出し、公理の成り立ちや理論の整合性を研究します
超フィルターについて、さらに具体的な数学の定義(1と0に分ける性質など)や、超積がどうやって作られるかを知りたいですか?

https://m-hiyama.hatenablog.com/entry/20131226/1388032550
檜山正幸のキマイラ飼育記 (はてなBlog)
確率の勉強をしようかな 20131226
「超フィルター(ultrafilter)って何なんだ: 点? 確率測度?」
http://d.hatena.ne.jp/m-hiyama/20131217/1387245762
において、超フィルター(ultrafilter)は確率測度とみなせることを紹介しました。しかし、かなり特殊な確率測度で、
1.集合Xのすべての部分集合が事象となる
2.事象の確率は1か0に限られる。つまり、ほとんど必ず起きる事象か、ほとんど起きない事象のどちらかしかない
3.可算加法性は要求せず、有限加法性しか保証されない
このような変わった確率測度において、普通の確率論とのアナロジーはどこまで成立するのか? という疑問が湧きます。そこでハタと気がついたことは、僕、普通の確率論なーんにも知らんわ。高校の教科書に確率もあったのですが、「確率変数」の定義があまりに意味不明で、それ以来毛嫌いしているのでした

確率論 (新しい解析学の流れ)
作者:熊谷 隆 共立出版 Amazon

『量子ファイナンス工学入門』という“良書”があります。著者の前田先生は、確率論を駆使して、株式投資に次のようなアドバイスをなさっています
http://d.hatena.ne.jp/m-hiyama/20061130/1164854081
793132人目の素数さん
垢版 |
2026/09/25(金) 07:23:43.63ID:eLIeRal0
(頓珍漢だね)
794132人目の素数さん
垢版 |
2026/09/25(金) 07:39:38.68ID:eLIeRal0
やっぱ
∀ε>0:{x>0::p(A)-ε<#(A∩[-x,x]-{0})/2x<p(A)+ε}∈F
の定義は筋が悪いかな
1個ぐらいのズレだからx→∞で無視できなくてはおかしい
また
R+の自由超フィルターを使って定義したのは
kF=F
が上手く使えたからだけど
Nの自由超フィルターで
kF⊂F
だけでなくて
kA∈F→A∈F
も条件にしておけば何とかならないだろうか
(でも余りが扱いづらい)
795132人目の素数さん
垢版 |
2026/09/25(金) 11:06:21.31ID:eLIeRal0
>>794
>Nの自由超フィルターで
>kF⊂F
>だけでなくて
>kA∈F→A∈F
>も条件にしておけば何とかならないだろうか
�@N⊃A⊃B∈F→A∈F(上方完備性)
�AA,B∈F→A∩B∈F(有限交叉性)
�BA:有限集合→A/∈F(/∈は「含まない」の意)
�CA∈F∨cA∈F(cAはAの補集合)
�DA∈F⇔kA∈F(0<k∈N)
フレシェフィルターは�Dを充たす
よって
�@�A�Dを充たすフィルターの全体FFの
部分全順序集合FFFを考えると
∪FFFも�@�A�Dを充たし
FFの極大元Fは極大性から�Cも充たす
�Bを充たすフレシェフィルターの上界の極大元Fも�Bを充たすので
このFが�@�A�B�C�Dを充たす自由超フィルター
2026/09/25(金) 11:20:25.93ID:F+0c6gfU
なんの役に立つんだ
797132人目の素数さん
垢版 |
2026/09/25(金) 11:29:15.70ID:eLIeRal0
p(kA)=q
とは
∀ε>0:{n∈N::q-ε<#(kA∩[-n,n])/(2n+1)<q+ε}∈F
(少々解説加えると自由超フィルターFでなくフレシェフィルターで定義したものが通常の極限値
極限値が存在しなくても自由超フィルターならp(A)を必ず定義できる)
#(kA∩[-n,n])=#(A∩[-n/k,n/k])=#(A∩[-[n/k],[n/k]])
m=[n/k],n=km+r(0≦r≦k-1)
q-ε<#(kA∩[-n,n])/(2n+1)<q+ε
q-ε<#(A∩[-m,m])/(2(km+r)+1)<q+ε
q-ε<#(A∩[-m,m])/(2m+1)・(2m+1)(2(km+r)+1)<q+ε
(2(km+r)+1)/(2m+1)・(q-ε)<#(A∩[-m,m])/(2m+1)<(2(km+r)+1)/(2m+1)・(q+ε)
δ=(2(km+r)+1)/(2m+1)・ε
s=(2(km+r)+1)/(2m+1)-k=(2r+1-k)/(2m+1)
s+kq-δ<#(A∩[-m,m])/(2m+1)<s+kq+δ
F∋{n∈N::q-ε<#(kA∩[-n,n])/(2n+1)<q+ε}
={km+r::s+kq-δ<#(A∩[-m,m])/(2m+1)<s+kq+δ}
798132人目の素数さん
垢版 |
2026/09/25(金) 11:35:20.89ID:eLIeRal0
>>796
>>703
>⓪P(Z)すべてを可測とし
>�@p(A+a)=p(A)(平行移動不変性)
>�Ap(a-A)=p(A)(対称移動不変性)
>�Bp(A)=kp(kA)(反線形性)
>�Cp(A1+…+An)=p(A1)+…+p(An)(有限加法性)
>�Dp=lim[x→∞]#(A∩[-x,x])/2xが存在する時p(A)=p
を充たす確率測度を定義できる
2026/09/25(金) 11:41:52.27ID:F+0c6gfU
その意義は
800132人目の素数さん
垢版 |
2026/09/25(金) 11:43:51.19ID:eLIeRal0
>>799
面白いから(オレが)
801132人目の素数さん
垢版 |
2026/09/25(金) 11:47:33.11ID:eLIeRal0
ただ面白くないのは
実質定義できても
極限が存在する場合以外は
計算が出来ないことかな
でも定義できるだけで良いかなと
今は
R+の有界自由超フィルター(有界自由とは有界集合を含まないという意)で作っているが
そもそもはNの自由超フィルターで作りたかったので
それを模索中
2026/09/25(金) 11:48:20.89ID:F+0c6gfU
変な「測度」を作れるw
803132人目の素数さん
垢版 |
2026/09/25(金) 11:49:56.55ID:eLIeRal0
(レス乞食か失敗した)
2026/09/25(金) 12:22:31.46ID:F+0c6gfU
【質問乞食爺か成功した】
805132人目の素数さん
垢版 |
2026/09/25(金) 12:34:09.32ID:eLIeRal0
>>797
>δ=(2(km+r)+1)/(2m+1)・ε
これではm,rに依存してしまうからダメだな
(2(km+r)+1)/(2m+1)・ε=kε+sε
-(k-1)≦(2m+1)s=2r+1-k≦k-1
-(k-1)/(2m+1)≦s≦(k-1)/(2m+1)
1-k≦s≦k-1
ε≦(k+s)ε≦(2k-1)ε
よって
δ=(2k-1)ε
とすれば
δはm,rに依存せず
F∋{n∈N::q-ε<#(kA∩[-n,n])/(2n+1)<q+ε}
={km+r::s+kq-(k+s)ε<#(kA∩[-n,n])/(2n+1)<s+kq+(k+s)ε}
⊂{km+r::s+kq-δ<#(kA∩[-n,n])/(2n+1)<s+kq+δ}
より
F∋{km+r::s+kq-δ<#(kA∩[-n,n])/(2n+1)<s+kq+δ}
となるね
806132人目の素数さん
垢版 |
2026/09/25(金) 12:36:54.22ID:eLIeRal0
>>805
>F∋{n∈N::q-ε<#(kA∩[-n,n])/(2n+1)<q+ε}
={km+r::s+kq-(k+s)ε<#(A∩[-m,m])/(2m+1)<s+kq+(k+s)ε}
⊂{km+r::s+kq-δ<#(A∩[-m,m])/(2m+1)<s+kq+δ}
より
F∋{km+r::s+kq-δ<#(A∩[-m,m])/(2m+1)<s+kq+δ}
だった
807132人目の素数さん
垢版 |
2026/09/25(金) 12:38:26.20ID:eLIeRal0
あとはsの扱いだが
s=(2r+1-k)/(2m+1)→0(m→∞)
だから何とかなるだろう
2026/09/25(金) 13:05:11.93ID:F+0c6gfU
<<アスペ爺>>
2026/09/25(金) 13:10:54.48ID:Wdqtc6TR
>>791
定式化したモデルの挙動をそのまま実証してくれてありがとう。
2026/09/25(金) 13:16:51.52ID:Wdqtc6TR
ご丁寧に例の構成による解答とは感心した
2026/09/25(金) 13:35:03.55ID:91TU3vaP
>>809
あんな出鱈目な定式化をするなんて、とても数学徒の所業とは思えないwww
2026/09/25(金) 13:40:11.73ID:91TU3vaP
あぁ、誰かを見下ろさないと自我を保てない残念な人らしいwww
2026/09/25(金) 13:43:07.10ID:91TU3vaP
そろそろ次スレのタイトルを考えなければならない。
今のスレ状況に合ったものを考えようかな。
2026/09/25(金) 13:52:09.14ID:91TU3vaP
ヨシ、立てたw
あと200レス、頑張りんこだよ!
2026/09/25(金) 13:53:20.78ID:91TU3vaP
「アレ」は普通だったらテンプレ入りだろうwww
2026/09/25(金) 14:00:57.88ID:Wdqtc6TR
愚かな鳥は、その巣をよごす。

ヘイウッド 「警句三百」
2026/09/25(金) 14:02:32.21ID:Wdqtc6TR
四十の馬鹿は真の馬鹿である。

エドワード・ヤング 「調刺詩-名声の愛」
2026/09/25(金) 14:06:21.01ID:91TU3vaP
高尚なものを引き合いに出せばなんとかなると思っている模様www
偉人が可哀想だからやめたれよwww
2026/09/25(金) 14:07:37.07ID:91TU3vaP
>>817
貴方おいくつ?
早く矯正しないとヤバいよwww
2026/09/25(金) 14:10:16.41ID:91TU3vaP
上から押さえてくる人は無視出来ない、ランダウの記号のようにw
優調和なんてのがあるが全然ダメで、劣不調和であるwww
2026/09/25(金) 14:11:08.90ID:Wdqtc6TR
サキャ・パンディタ
宗教家
知恵がないという理由で、愚者は学問をしない。考えてみれば知恵がないからこそ、愚者は一層努力すべきである。
2026/09/25(金) 14:14:05.79ID:91TU3vaP
フロイトの精神分析の本でも読みなちゃーいwww
2026/09/25(金) 14:15:26.69ID:91TU3vaP
マインドクラーッシュwww
原作の高橋和希さんは漢だったぞ!
2026/09/25(金) 14:18:45.47ID:91TU3vaP
ブッダのダンマパダでも読みなちゃーいwww
2026/09/25(金) 14:20:01.44ID:91TU3vaP
マルクスアウレリウスアントニヌスの自省録でも読みなちゃーいwww
2026/09/25(金) 14:31:16.53ID:Wdqtc6TR
ミシェル・ド・モンテーニュ
哲学者
愚者の最も確かな証拠は、自説を固守して興奮することである。
2026/09/25(金) 14:33:47.18ID:91TU3vaP
>>779
>>780
トンデモ自説を固守して興奮する人乙www
2026/09/25(金) 14:34:31.42ID:91TU3vaP
>>784
トンデモ条件www
2026/09/25(金) 14:35:57.03ID:91TU3vaP
説教マウント被害者の会の会員ですwww
2026/09/25(金) 14:37:13.70ID:91TU3vaP
トンデモじいちゃんwww
831132人目の素数さん
垢版 |
2026/09/25(金) 15:33:05.38ID:JTRUqc1B
>>807
sよりも
F∋{km+r::kq-δ<#(A∩[-m,m])/(2m+1)<kq+δ}
まで来たとして
F∋{m::kq-δ<#(A∩[-m,m])/(2m+1)<kq+δ}
には反線形性
p(A)=kp(kA)
では何か不足なような気がする
2026/09/25(金) 15:37:32.15ID:91TU3vaP
>>831
そのように、数学の内容を書くように。
ここは「マッタリ」の意味を噛みしめるスレなのです。
833132人目の素数さん
垢版 |
2026/09/25(金) 15:37:34.51ID:JTRUqc1B
A∈F ⇔ kA+r∈F(0≦r≦k-1)
が言えなくちゃ行けないんじゃないかな
アイやダメダメ
r1≠r2
なら
kA+r1∩kA+r2={ }
だわ
A∈F ⇔ Σ{kA+r::0≦r≦k-1}∈F
が言える必要がある訳か
834132人目の素数さん
垢版 |
2026/09/25(金) 15:38:05.33ID:JTRUqc1B
勝手に決めるなゲス爺
2026/09/25(金) 15:38:24.52ID:91TU3vaP
前スレだった、間違えたw
836132人目の素数さん
垢版 |
2026/09/25(金) 15:38:34.28ID:JTRUqc1B
常にマウント取りたくて堪らないんですね
ゲス爺
2026/09/25(金) 15:39:19.84ID:91TU3vaP
まったり、まったり、まったりな~♪
サブちゃんも言っていたw
2026/09/25(金) 15:42:14.58ID:91TU3vaP
>>836
俺に粘着している奴を見ろよ。
常に上に乗っかってこようとする真性モノではないかw
孤立点のなかでも別格であるw
除去可能なレベルでは全くないw
839132人目の素数さん
垢版 |
2026/09/25(金) 16:01:45.72ID:JTRUqc1B
>>795
>�DA∈F⇔kA∈F(0<k∈N)
>フレシェフィルターは�Dを充たす
(R+上では大丈夫でもN上のフレシェフィルターは充たしてなかった)
�Dとして
A∈F⇔Σ{kA+r::0≦r≦k-1}∈F(0<k∈N)
でなくてはだめだね
N上のフレシェフィルターはこちらは充たすかな
k:P(N)→P(N):k(A)=Σ{kA+r::0≦r≦k-1}
とすると
k(A)∩kZ=kA
より
k(A)=k(B)
なら
kA=kB
すなわち
A=B
なのでkは単射
k(A+B)=k(A)+k(B)
特に
N=k(N)=k(A+cA)=k(A)+k(cA)
より
k(cA)=ck(A)
A:有限集合⇔k(A):有限集合
なので
A:補有限集合⇔k(A):補有限集合
よって
フレシェフィルターFは
�DA∈F⇔k(A)∈F
を充たす
840132人目の素数さん
垢版 |
2026/09/25(金) 16:02:44.58ID:JTRUqc1B
>>838
空疎な自己弁護しかしない
ゲス爺
841132人目の素数さん
垢版 |
2026/09/25(金) 16:04:31.26ID:JTRUqc1B
�@N⊃A⊃B∈F→A∈F(上方完備性)
�AA,B∈F→A∩B∈F(有限交叉性)
�BA:有限集合→A/∈F(/∈は「含まない」の意)
�CA∈F∨cA∈F(cAはAの補集合・極大性)
�DA∈F⇔k(A)=Σ{kA+r::0≦r≦k-1}∈F(0<k∈N)
の�@�A�Dを充たすフィルター全体FFの
部分全順序集合FFFを考えると
∪FFFも�@�A�Dを充たし
FFの極大元Fは極大性から�Cも充たす
�Bを充たすフレシェフィルターの上界の極大元Fも�Bを充たすので
このFが�@�A�B�C�Dを充たす自由超フィルター
2026/09/25(金) 16:05:24.37ID:91TU3vaP
>>840
支離滅裂アラフォー乙w
843132人目の素数さん
垢版 |
2026/09/25(金) 16:07:42.63ID:JTRUqc1B
>>807,831
このFを使うことで
F∋{km+r::s+kq-δ<#(A∩[-m,m])/(2m+1)<s+kq+δ}
から
F∋{km+r::kq-δ<#(A∩[-m,m])/(2m+1)<kq+δ}
が言えれば
{km+r::kq-δ<#(A∩[-m,m])/(2m+1)<kq+δ}
=k({m::kq-δ<#(A∩[-m,m])/(2m+1)<kq+δ})
なので
{m::kq-δ<#(A∩[-m,m])/(2m+1)<kq+δ}∈F
が言えて
p(A)=kq=kp(kA)(反線形性)
が示せることになる
あとちょっとだな
844132人目の素数さん
垢版 |
2026/09/25(金) 16:12:48.58ID:JTRUqc1B
>>838
お前ホントは彼の人じゃね?
数学(に限らないかも?)用語を無理に使うギャグで滑るところがまったく同じ
自分騙りが好きなところと
三度の飯より自分の倫理観の押しつけが好きなところと
立てたスレの勢いに樮笑むところも
まったく同じ
2026/09/25(金) 16:14:45.18ID:91TU3vaP
俺は此の人だよw
マッタリとは何かを伝える伝道師である。
2026/09/25(金) 16:16:02.62ID:91TU3vaP
あ~、マッタリマッタリ🪭
ハッスルハッスルw
847132人目の素数さん
垢版 |
2026/09/25(金) 16:18:51.89ID:JTRUqc1B
>>843
>このFを使うことで
>F∋{km+r::s+kq-δ<#(A∩[-m,m])/(2m+1)<s+kq+δ}
>から
>F∋{km+r::kq-δ<#(A∩[-m,m])/(2m+1)<kq+δ}
>が言えれば
イヤ違うな
F∋{km+r::s+kq-δ<#(A∩[-m,m])/(2m+1)<s+kq+δ}
=k({m::s+kq-δ<#(A∩[-m,m])/(2m+1)<s+kq+δ})
だから
{m::s+kq-δ<#(A∩[-m,m])/(2m+1)<s+kq+δ}∈F
とするのを先にする方がいい
ここから
{m::kq-δ<#(A∩[-m,m])/(2m+1)<kq+δ}∈F
を導出する方針で行こう
848132人目の素数さん
垢版 |
2026/09/25(金) 16:28:04.50ID:JTRUqc1B
さて
{m::s+kq-δ<#(A∩[-m,m])/(2m+1)<s+kq+δ}∈F
から
{m::kq-δ<#(A∩[-m,m])/(2m+1)<kq+δ}∈F
を出すのに>>807
>s=(2r+1-k)/(2m+1)→0(m→∞)
だから
∀δ>0:{m::-δ<s<δ}:補有限集合∈F
が使えるだろう
A={m::s+kq-δ<#(A∩[-m,m])/(2m+1)<s+kq+δ}
B={m::-δ<s<δ}
とすると
A∩B∈F
ここで
m∈A∩Bであるならmに付いての条件を片々加えて
s+kq-δ-δ<#(A∩[-m,m])/(2m+1)+s<s+kq+δ+δ
が成立するので
kq-2δ<#(A∩[-m,m])/(2m+1)<kq+2δ
となり
F∋A∩B⊂{m::kq-2δ<#(A∩[-m,m])/(2m+1)<kq+2δ}
から
{m::kq-2δ<#(A∩[-m,m])/(2m+1)<kq+2δ}∈F
となるため
2δをあらためてδと書き直して考えると
p(A)=kq
が言える
あー
やっと終わった
849132人目の素数さん
垢版 |
2026/09/25(金) 16:37:47.71ID:JTRUqc1B
結論を定理の形で書くと
�@N⊃A⊃B∈F→A∈F(上方完備性)
�AA,B∈F→A∩B∈F(有限交叉性)
�BA:有限集合→A/∈F(/∈は「含まない」の意)
�CA∈F∨cA∈F(cAはAの補集合・極大性)
�DA∈F⇔k(A)=Σ{kA+r::0≦r≦k-1}∈F(0<k∈N)
を充たす自由帳フィルターFによって
∀A∈P(Z),∃!p∈[0,1],∀ε>0:{n∈N::p-ε<#(A∩[-n,n])/(2n+1)<p+ε}∈F
が成立しこのpをp(A)=pと定義すると
p:P(Z)→[0,1]
は
⓪P(Z)すべてを可測とし
�@p(A+a)=p(A)(平行移動不変性)
�Ap(a-A)=p(A)(対称移動不変性)
�Bp(A)=kp(kA)(反線形性)(0≠k∈Z)
�Cp(A1+…+An)=p(A1)+…+p(An)(有限加法性)
�Dp=lim[x→∞]#(A∩[-n,n])/(2n+1)が存在すればp(A)=p
という性質を持つ有限加法的確率測度となる
2026/09/25(金) 16:56:20.18ID:fSbr2U77
>>792
(ですね)人が、用語 ”超フィルター(ultrafilter)"
で倒錯していることの補強

下記 Ultrafilter en.wikipedia
”アプリケーション
冪集合上の超フィルターは、位相幾何学、特にコンパクト ハウスドルフ空間との関連において、またモデル理論における超積や超冪の構成において有用である。”
”集合論では、超フィルターは、構成可能性の公理が可測基数 κの存在と両立しないことを示すために用いられる。”
”ゲーデルによる神の存在論的証明は、すべての「肯定的性質」の集合が超フィルターであることを公理として用いている。”

これらから導かれること
1)”超フィルター(ultrafilter)"は、ZFC内に収まることもあれば、
 ZFC内に収まらないこともある
2)それは、”超フィルター(ultrafilter)"を使う人の立場による

よって、”超フィルター(ultrafilter)"は
常に ZFC内だと 倒錯している人が
一人存在することが証明された■

(参考)
https://en.wikipedia.org/wiki/Ultrafilter
Ultrafilter
In the mathematical field of order theory, an ultrafilter on a given partially ordered set (or "poset")
略
(以下google訳)
超フィルターは、集合論、モデル理論、位相幾何学 、および組み合わせ論において多くの応用例がある

アプリケーション
冪集合上の超フィルターは、位相幾何学、特にコンパクト ハウスドルフ空間との関連において、またモデル理論における超積や超冪の構成において有用である
コンパクトハウスドルフ空間上のすべての超フィルターは、ちょうど一点に収束する

集合論では、超フィルターは、構成可能性の公理が可測基数 κの存在と両立しないことを示すために用いられる
これは、 κ完全非主超フィルターを法とする集合論的宇宙の超冪を取ることによって証明される

モデル理論における超積構成は、超フィルターを使用して、一連の
X-インデックス付きモデル。例えば、コンパクト性定理はこの方法で証明できます。超冪の特殊な場合、構造の基本的な拡張が得られます。例えば、非標準解析では、超実数は実数の超積として構成でき、議論領域を実数から実数列に拡張します。この列空間は、各実数を対応する定数列と同一視することで、実数のスーパーセットとみなされます。実数から超実数へ馴染みのある関数と関係(例えば、+と<)を拡張するには、それらを点ごとに定義するのが自然なアイデアです。しかし、これは実数の重要な論理的性質を失わせます。例えば、点ごとの<は全順序ではありません
そのため、代わりに関数と関係は「点ごとの法」で定義されます
U、 Uは数列のインデックス集合上の超フィルターです。Łośの定理により、これは一階述語論理で表現できる実数のすべての性質を保持します

幾何学的群論では、非主超フィルターを用いて群の漸近錐を定義します。この構成により、群を無限遠から、すなわち群の大規模な幾何学的構造を厳密に考察する方法が得られます。漸近錐は、距離空間の超極限の具体的な例です

ゲーデルによる神の存在論的証明は、すべての「肯定的性質」の集合が超フィルターであることを公理として用いている
2026/09/25(金) 18:09:02.22ID:91TU3vaP
先にコッチを潰してちょ、ヨロ。
852poem
垢版 |
2026/09/25(金) 18:17:40.22ID:5jdF5yE6
65poem
垢版 | 大砲
2026/09/25(金) 18:14:36.48ID:5jdF5yE6
>>63
じゃあ、
どうやったら
お兄たんじゃなく
お兄ちん
お兄たま
お兄ちんたま
お兄たまちん
と呼ばれるようになれるん?
2026/09/25(金) 18:27:27.34ID:fSbr2U77
>>851
>先にコッチを潰してちょ、ヨロ。

ID:91TU3vaPは、ニコくんか
お元気でなによりです

別に他意はない
倒錯 (ですね)人
中高生も来るから
厳しく赤ペン先生をしている(^^
2026/09/25(金) 18:30:42.51ID:91TU3vaP
>>853
厳しくお願いしますw
855poem
垢版 |
2026/09/25(金) 18:38:14.73ID:5jdF5yE6
67poem
垢版 | 大砲
2026/09/25(金) 18:27:08.51ID:5jdF5yE6
こんな数学ネタどう?内功なんだけど。ℵとΦを使った、数学誤謬(証明パラドックス)まで定量化を定義するネタ
https://rio2016.5ch.io/test/read.cgi/sci/1784355166/753-820/
856poem
垢版 |
2026/09/25(金) 18:46:25.56ID:5jdF5yE6
75poem
垢版 | 大砲
2026/09/25(金) 18:45:55.64ID:5jdF5yE6
補足、ℵとΦの

https://rio2016.5ch.io/test/read.cgi/sci/1784355166/341-348/
857132人目の素数さん
垢版 |
2026/09/25(金) 19:17:41.19ID:JTRUqc1B
The existence of free ultrafilters on any infinite set is implied by the ultrafilter lemma, which can be proven in ZFC.
レスを投稿する


ニューススポーツなんでも実況