26/07/04 20:18:46.04 LK9hZVjX.net
>>93
>∪VBα
>がクラスとして定義できることに反論してないんだがね
はいまた論点ずらし。そんな議論はしていない。議論しているのは
>>常に
>>α<β→VBα⊂VBβ
>>が言えて
>>VB=∪VBα
>>の存在が保証できる
なる主張の正しさについてだ
101:１３２人目の素数さん
26/07/04 20:19:51.27 LK9hZVjX.net
>>99
まったくトンチンカン
何を議論しているのか分かってない 日本語をまともに読めないんだろう
102:１３２人目の素数さん
26/07/04 20:20:52.39 LK9hZVjX.net
∪VBαが存在する理由はα<β→VBα⊂VBβだからではない
と言ってるんだが、日本語が分からないアホがトンチンカンなレスを繰り返すスレ
103:１３２人目の素数さん
26/07/04 20:21:52.84 dK5Cl3wq.net
君はVBの定義について良く知らないようだね
source=domainである写像しか考えないのでは
i:VBα→VBα+1:monic
による同一視
すなわち
VB={(α,x)|α∈Ord, x∈VBα}/～
とせざるを得ないわけ
で
それはクラスをクラス同値関係で割る操作だから
同値類が集合で無くては通常の商クラスが定義できないってこと
そこで
source≠domainの本来の写像の定義にして
自然な包含
VBα⊂VBα+1
にすることで回避できるわけ
104:１３２人目の素数さん
26/07/04 20:24:07.77 LK9hZVjX.net
>∪VBαが存在する理由はα<β→VBα⊂VBβだからではない
実際、任意の順序数αについてVBαが集合なら∪VBαが存在する。α<β→VBα⊂VBβなる条件は不要。よって
>>常に
>>α<β→VBα⊂VBβ
>>が言えて
>>VB=∪VBα
>>の存在が保証できる
なる主張は間違い。
いいかげん認めろ。しつこいぞ。
105:１３２人目の素数さん
26/07/04 20:24:44.66 LK9hZVjX.net
>>103
>君はVBの定義について良く知らないようだね
はいまた論点ずらし
アホは論点ずらししかできない
106:１３２人目の素数さん
26/07/04 20:24:46.29 dK5Cl3wq.net
>>102
だから
>∪VBαが存在する理由はα<β→VBα⊂VBβだからではない
それに反論してないんだけどね
∪VBαはクラスとして存在するけれど
クラスとして存在することに反論してるって思ってたのか
アホラシ
それは欲しいbooleanモデルVBではないんだって
107:１３２人目の素数さん
26/07/04 20:25:56.75 LK9hZVjX.net
論点ずらしを連発してあくまで間違いを認めないの恥ずかしいな
108:１３２人目の素数さん
26/07/04 20:26:20.32 dK5Cl3wq.net
>>105
ハイハイ
君の云うようにクラス関数
f:Ord→V
が定義されれば
∪f(α)
がクラスとして存在します
これでいい？
アホラシ
109:１３２人目の素数さん
26/07/04 20:27:05.55 LK9hZVjX.net
>>106
>>∪VBαが存在する理由はα<β→VBα⊂VBβだからではない
>それに反論してないんだけどね
じゃあ
>>常に
>>α<β→VBα⊂VBβ
>>が言えて
>>VB=∪VBα
>>の存在が保証できる
なる主張は間違いじゃんｗ なんで間違いを認められないの？
110:１３２人目の素数さん
26/07/04 20:29:00.82 LK9hZVjX.net
>>108
つまり
>>常に
>>α<β→VBα⊂VBβ
>>が言えて
>>VB=∪VBα
>>の存在が保証できる
なる主張は間違いであると認めると？
111:１３２人目の素数さん
26/07/04 20:29:29.12 dK5Cl3wq.net
booleanモデルVBとはどういうものか
それを考えるためには
VBα+1=B^VBα
で
VBα⊂VBα+1
であるように定義を考えねばならないわけ
そうでなければ
VB=colimVBα
の存在が怪しくなるからね
source≠domainの写像の定義にすることで
自然に
VBα⊂VBα+1
となるため
VB=∪VBα
がbooleanモデルとして定義できる訳だよ
112:１３２人目の素数さん
26/07/04 20:31:19.61 dK5Cl3wq.net
通常の定義では
VB=colimVBα
だから
VB≠∪VBα
なんですよ
∪VBαがクラスとして存在しても役に立たないわけ
113:１３２人目の素数さん
26/07/04 20:35:00.68 dK5Cl3wq.net
source≠domainである写像の定義を使うことで
この場合は
colimVBα=∪VBα
なのだから
VB=∪VBα
の存在が保証できるわけ
そうで無い通常の写像の定義では
VB=colimVBα≠∪VBα
の存在はかなり怪しくなる
114:１３２人目の素数さん
26/07/04 20:35:27.23 LK9hZVjX.net
>>111
∪VBαがbooleanモデルの要件を満たす。
ならわかる。おまえはそう言ってない。
>∪VBαの存在が保証できる
と言っている。
試合の途中でゴールポスト動かすのやめてもらっていいですか？
115:１３２人目の素数さん
26/07/04 20:37:25.06 LK9hZVjX.net
>>112
>∪VBαがクラスとして存在しても役に立たないわけ
ならなんで
>=∪VBαの存在が保証できる
なんて言ったの？ 後からごまかしてるだけの後だしジャンケンじゃん
116:１３２人目の素数さん
26/07/04 20:39:17.27 dK5Cl3wq.net
私はずっとVBの存在について云々してるんですよ
君がそれを誤解してるだけ
117:１３２人目の素数さん
26/07/04 20:40:11.14 LK9hZVjX.net
試合中にゴールポスト動かしたり後出しジャンケンしたり
そこまでして間違いを認めたくないの？
118:１３２人目の素数さん
26/07/04 20:42:04.85 LK9hZVjX.net
>>116
君がごまかして間違いを認めないだけ
119:１３２人目の素数さん
26/07/04 20:45:51.81 LK9hZVjX.net
>VB=∪VBαがクラスとして存在しても役に立たないわけ(>>112)
>私はずっとVB=∪VBαの存在について云々してるんですよ(>>116)
ID:dK5Cl3wq君さあ、君、支離滅裂だよ
120:１３２人目の素数さん
26/07/04 20:47:55.05 LK9hZVjX.net
存在しても役に立たないのにずっと存在について云々してるとな？
ID:dK5Cl3wq君さあ、君、自分が何言ってるか分かってる？
121:１３２人目の素数さん
26/07/04 20:54:06.08 LK9hZVjX.net
>VB=∪VBαがクラスとして存在しても役に立たないわけ(>>112)
>私はずっとVB=∪VBαの存在について云々してるんですよ(>>116)
素直に間違いを認めればいいのにあくまでごまかそうとするから失言しちゃうんだよ
122:１３２人目の素数さん
26/07/04 20:54:40.29 dK5Cl3wq.net
>>119
>>VB=∪VBαがクラスとして存在しても役に立たないわけ(>>112)
嘘吐きすぎ
何だか君は彼の人と同じ麦わらの人かな
VB=colimVBα
だから
VB≠∪VBα
なんですよ
∪VBαがクラスとして存在しても役に立たないわけ
123:１３２人目の素数さん
26/07/04 20:55:29.92 dK5Cl3wq.net
>>121
君スゴイ嘘吐きなんですね
124:１３２人目の素数さん
26/07/04 20:56:43.88 dK5Cl3wq.net
確か前も正しく引用しない我田引水の議論してたような
125:１３２人目の素数さん
26/07/04 21:00:23.30 LK9hZVjX.net
>>122
はい、また論点ずらし
>>常に
>>α<β→VBα⊂VBβ
>>が言えて
>>VB=∪VBα
>>の存在が保証できる
なる主張は間違いであると認められないの？論点ずらしはやめてもらっていいですか？
126:１３２人目の素数さん
26/07/04 21:03:10.99 LK9hZVjX.net
>>123
クラス∪VBαが存在するためには任意の順序数αに対してVBαが集合であることが十分。
よって
>>常に
>>α<β→VBα⊂VBβ
>>が言えて
>>VB=∪VBα
>>の存在が保証できる
なる主張は間違い。なんで間違いを認められないの？
127:１３２人目の素数さん
26/07/04 21:04:17.89 dK5Cl3wq.net
>>125
おや
自分の引用がデタラメだと云うことは認めたらしいですね
少し進歩したかと思いましたが
主張は元に戻っちゃいましたね
通常の写像の定義では
VB≠∪VBα
なのですよ
∪VBαが存在するのは認めるもなにも当たり前です>>108
128:１３２人目の素数さん
26/07/04 21:06:04.27 LK9hZVjX.net
>>127
>通常の写像の定義では
>VB≠∪VBα
>なのですよ
はい、またまた論点ずらし
>>常に
>>α<β→VBα⊂VBβ
>>が言えて
>>VB=∪VBα
>>の存在が保証できる
と書いたのはおまえであること忘れたの？ 記憶障害？
129:１３２人目の素数さん
26/07/04 21:06:11.95 dK5Cl3wq.net
他の方法が無いとは言いませんが
VB=∪VBα
の存在は
VBα⊂VBα+1
と成るからこそ保証されるんです
130:１３２人目の素数さん
26/07/04 21:07:10.68 LK9hZVjX.net
何回論点ずらしすれば気が済むの？
そんなに間違いを認めたくない？
131:１３２人目の素数さん
26/07/04 21:08:12.32 dK5Cl3wq.net
>>128
>>>常に
>>>α<β→VBα⊂VBβ
>>>が言えて
>>>VB=∪VBα
>>>の存在が保証できる
>と書いたのはおまえであること忘れたの？ 記憶障害？
これが私の主張（定義）の根幹なんですよ
α<β→VBα⊂VBβ
であるからこそ
VB=∪VBα
が存在することが保証されるのです
132:１３２人目の素数さん
26/07/04 21:08:44.59 LK9hZVjX.net
>>129
間違い。
実際、クラス∪VBαが存在するためには任意の順序数αに対してVBαが集合であることが十分。VBα⊂VBα+1である必要は無い。
君、初歩から分かってないね。
133:１３２人目の素数さん
26/07/04 21:10:32.76 LK9hZVjX.net
>>131
間違い。
実際、クラス∪VBαが存在するためには任意の順序数αに対してVBαが集合であることが十分。α<β→VBα⊂VBβである必要は無い。
君、初歩から分かってないね。
134:１３２人目の素数さん
26/07/04 21:10:33.67 dK5Cl3wq.net
なぜって
colimVBα=∪VBα
になるからです
左辺は
つまりVBは
存在するのが怪しいのですが
source≠domainである写像の定義によって
VB=∪VBα
が存在するわけです
135:１３２人目の素数さん
26/07/04 21:11:54.50 dK5Cl3wq.net
>>132,133
同じことしか言わなくなりましたね
それ当たり前ですが？>>108
136:１３２人目の素数さん
26/07/04 21:15:44.39 LK9hZVjX.net
>>134
>左辺は
>つまりVBは
>存在するのが怪しいのですが
この言い方がそもそもおかしい。
おまえは
>>VB=∪VBα
>>の存在が保証できる
と書いており、等号の左辺と右辺の存在性は一致していなければならない。右辺が存在して左辺が存在しないことはあり得ない。
初歩の初歩から分かってない。
137:１３２人目の素数さん
26/07/04 21:16:18.58 LK9hZVjX.net
>>135
おまえが間違いを認めないからだろ
138:１３２人目の素数さん
26/07/04 21:17:27.66 LK9hZVjX.net
>>135
同じことを何度言われても理解できないのがおまえ
139:１３２人目の素数さん
26/07/04 21:19:32.14 dK5Cl3wq.net
>>136
じゃあ
VBが∪VBαとして存在する
と言葉で書き直しましょう
アホラシ
140:１３２人目の素数さん
26/07/04 21:19:34.40 LK9hZVjX.net
>>135
>それ当たり前ですが？>>108
>>108には
>α<β→VBα⊂VBβ
なんて条件書かれてないじゃん。じゃあおまえの間違いじゃん。なんで認めないの？ 悔しいから？
141:１３２人目の素数さん
26/07/04 21:21:10.46 LK9hZVjX.net
>>139
>アホラシ
やっと自分がアホって分かった？
142:１３２人目の素数さん
26/07/04 21:23:17.15 dK5Cl3wq.net
VB=∪VBα
が存在することが保証される
とは
VBの存在が保証されそれは∪VBαと一致するという意図ですよ
伝わってなかったようですね
143:１３２人目の素数さん
26/07/04 21:23:56.78 dK5Cl3wq.net
>>141
君のような人を引き寄せてしまうアホでした
144:１３２人目の素数さん
26/07/04 21:25:19.32 LK9hZVjX.net
>>139
>VBが∪VBαとして存在する
言葉遣いがめちゃくちゃ。
独りよがりな言葉遣いしたいならチラシの裏でやりなよ。他人の目に触れるところでやらない方が良い。
145:１３２人目の素数さん
26/07/04 21:31:50.82 dK5Cl3wq.net
VB0=φ
VB1=B^VB0={φ}
ここではVB0=φなので通常の写像の定義で問題ない
VB2=B^VB1
が自然に
VB1⊂VB2
となるようにするため写像の定義はsource≠domainも容認することで自然と
X⊂Y→A^X⊂A^Y
となるので
VB1=B^VB0⊂B^VB1=VB2
が言え
VBω=∪VBn
が
VBn⊂VBω
であるように存在すると保証できる
よって
VBn⊂VBn+1=B^VBn⊂B^VBω=VBω+1
より
VBω=∪VBn⊂VBω+1
も言える
以下後続順序数極限順序数いずれに於いても
α<β→VBα⊂VBβ
であるように定義できるため
VB=∪VBα
の存在が保証できる
146:１３２人目の素数さん
26/07/04 21:34:50.15 LK9hZVjX.net
結局>>114の指摘通りってこと？
素直じゃないねえ
147:１３２人目の素数さん
26/07/04 21:38:51.06 dK5Cl3wq.net
source=domainの通常の写像の定義を採用する限り
i:VBα→VBα+1:monic
で同一視をする他は無く
VB=colimVBα
と定義することになるのだが
colimVBα={(α,x)|α∈Ord, x∈VBα}/～
(α,x)～(α+1,i(x))
αが極限順序数の場合
β<α
について
i:VBβ→colimVBβ=VBα
(β,x)～(α,i(x))
（を同値関係に拡張）
は同値類が集合では無いクラスであるため存在が怪しい
148:１３２人目の素数さん
26/07/04 21:41:01.61 3JCgs0F5.net
昭和天皇がマッカーサーを引き寄せた話
149:１３２人目の素数さん
26/07/04 21:42:05.35 dK5Cl3wq.net
>>114
また悪い癖ですよ
式の途中切り取ってますね
たとえば>>113
>VB=∪VBα
>の存在が保証できるわけ
とは書いているけれど
>>∪VBαの存在が保証できる
>と言っている。
は君が言いたいらしい当たり前の>>108
を私が否定していると云いたいが為の麦わら論法
150:１３２人目の素数さん
26/07/04 21:43:01.19 dK5Cl3wq.net
下らない人のようで残念 ID:LK9hZVjX
151:１３２人目の素数さん
26/07/04 21:44:52.01 LK9hZVjX.net
常に
α<β→VBα⊂VBβ
が言えるので ∪VBα はbooleanモデルの要件を満たす。
従ってこの場合 VB:=∪VBα と定義することでVBの存在を保証できる。
くらいならまだ理解できる。他人に見せるなら独りよがりな言葉遣いはNG。
152:１３２人目の素数さん
26/07/04 21:46:01.51 dK5Cl3wq.net
いつものように言葉遣いの指摘だけだったわけですね
アホラシ
反省してます
153:１３２人目の素数さん
26/07/04 21:47:36.60 LK9hZVjX.net
>>149
>当たり前の>>108
>を私が否定していると云いたいが為の麦わら論法
邪悪な心の持ち主は他人もそうであると邪推する
154:１３２人目の素数さん
26/07/04 21:48:46.51 LK9hZVjX.net
>>152
言葉遣いを軽視するならチラシの裏でどうぞ 君に掲示板は向かない
155:１３２人目の素数さん
26/07/04 21:51:01.16 dK5Cl3wq.net
>>153
自分が切り取って麦わら論法していたことは認めたようですね
また少し進歩したのかな
156:１３２人目の素数さん
26/07/04 21:51:21.01 dK5Cl3wq.net
>>154
ハイハイ
反省してますよ
157:１３２人目の素数さん
26/07/04 21:51:41.88 3JCgs0F5.net
うんうん
158:１３２人目の素数さん
26/07/04 21:55:11.72 dK5Cl3wq.net
>>151
そう理解できたようですね
重要なのは写像の定義を
source≠domainであるものも含めること
これ以外の方法でできないとは言いませんが
こうすることで自然に
VB=∪VBα
が存在することが保証できるのです
おっと
VBが∪VBαとしてbooleanモデルとなることが保証できるのです
159:１３２人目の素数さん
26/07/04 21:55:51.74 LK9hZVjX.net
>>149
>式の途中切り取ってますね
そもそもおまえの
>>VB=∪VBα
>>の存在が保証できる
なる書き方が悪いからだろ。自分の非を他人のせいにするのは他責思考。
>>150
間違いを認められないくだらない人間がおまえ
160:１３２人目の素数さん
26/07/04 21:57:01.30 LK9hZVjX.net
>>155
だからおまえの書き方がそもそもの原因なんだって
なんでおまえは自分の非を認めず他人のせいにしたがるの？
161:１３２人目の素数さん
26/07/04 21:58:23.18 dK5Cl3wq.net
>>159
>>142
162:１３２人目の素数さん
26/07/04 21:58:45.24 LK9hZVjX.net
>>155
>麦わら論法していたことは認めたようですね
勝手に認めたことにしないでくれる？ 君、なんでも自分に都合良く考えるね あたおか？
163:１３２人目の素数さん
26/07/04 21:59:29.25 LK9hZVjX.net
>>161
後出しジャンケン
164:１３２人目の素数さん
26/07/04 22:00:48.64 dK5Cl3wq.net
>>160
はぁ>>149ですね
165:１３２人目の素数さん
26/07/04 22:01:24.31 dK5Cl3wq.net
>>163
伝わっていなかったでしょう？
反省してます
166:１３２人目の素数さん
26/07/04 22:03:54.05 dK5Cl3wq.net
>>157
> ID:3JCgs0F5
はいつものゲスか
167:１３２人目の素数さん
26/07/04 22:05:57.97 3JCgs0F5.net
>>165
そうでゲスw
168:１３２人目の素数さん
26/07/04 22:06:57.91 LK9hZVjX.net
>>142
>VBの存在が保証されそれは∪VBαと一致する
この書き方だと、なぜVBの存在が保証され、なぜ∪VBαと一致するのか分からない。だって一方的に保証されるだの一致するだの言ってるだけじゃん。
君、日本語不自由？
169:１３２人目の素数さん
26/07/04 22:10:02.11 dK5Cl3wq.net
>>168
VBはcolimVBαと考えざるを得ないがそれは存在が怪しい
α<β→VBα⊂VBβ
であるように定義することができるため
この場合
VB=colimVBα=∪VBα
つまりクラスとして存在が保証されると言うこと
170:１３２人目の素数さん
26/07/04 22:11:02.51 LK9hZVjX.net
日本語不自由な人はチラシの裏でどうぞ 掲示板に出てきちゃダメ
171:１３２人目の素数さん
26/07/04 22:11:21.98 dK5Cl3wq.net
>>167
今回はゲスで何より
172:１３２人目の素数さん
26/07/04 22:13:11.17 3JCgs0F5.net
そうそう、俺みたいに語尾にゲスが付いてしまうような人はダメでゲスよw
173:１３２人目の素数さん
26/07/04 22:13:40.62 dK5Cl3wq.net
>>162
また切り取りですね
>>155では
>自分が切り取って麦わら論法していたことは認めたようですね
と書いてます
切り取っていることは認めたのでは？
それは麦わら論法ですよ
174:１３２人目の素数さん
26/07/04 22:13:57.28 LK9hZVjX.net
>>169
そういうことを言ってるんじゃないんだよ
後から追加説明が必要な書き方するな、必要な説明は最初から書け、何が必要かは自分で考えろって言ってるの
175:１３２人目の素数さん
26/07/04 22:15:23.95 3JCgs0F5.net
測度論を例の30講ある本で学んでいるが、第10講で止まっている。
勉強がうまく行けば、また作問でもするんで宜しくでゲス。
176:１３２人目の素数さん
26/07/04 22:15:25.76 LK9hZVjX.net
>>173
>切り取っていることは認めたのでは？
切り取りが必要になったそもそもの原因はおまえの書き方が悪いから
>それは麦わら論法ですよ
短絡すぎ
177:１３２人目の素数さん
26/07/04 22:17:44.00 LK9hZVjX.net
意図が伝わらない書き方をそのまま引用するとますます意図が伝わらないから切り取らざるを得ない
そもそもの原因はおまえにある 他責思考やめろ
178:１３２人目の素数さん
26/07/04 22:18:51.85 dK5Cl3wq.net
切り取り屋さんですね
反省してます
179:１３２人目の素数さん
26/07/04 22:21:19.87 dK5Cl3wq.net
結局これ分かってくれる人は切り取り屋さん以外に居ないんだろうか
VB0=φ
VB1=B^VB0={φ}
ここではVB0=φなので通常の写像の定義で問題ない
VB2=B^VB1
が自然に
VB1⊂VB2
となるようにするため写像の定義はsource≠domainも容認することで自然と
X⊂Y→A^X⊂A^Y
となるので
VB1=B^VB0⊂B^VB1=VB2
が言え
VBω=∪VBn
が
VBn⊂VBω
であるように存在すると保証できる
よって
VBn⊂VBn+1=B^VBn⊂B^VBω=VBω+1
より
VBω=∪VBn⊂VBω+1
も言える
以下後続順序数極限順序数いずれに於いても
α<β→VBα⊂VBβ
であるように定義できるため
VB=∪VBα
の存在が保証できる
source=domainの通常の写像の定義を採用する限り
i:VBα→VBα+1:monic
で同一視をする他は無く
VB=colimVBα
と定義することになるのだが
colimVBα={(α,x)|α∈Ord, x∈VBα}/～
(α,x)～(α+1,i(x))
αが極限順序数の場合
β<α
について
i:VBβ→colimVBβ=VBα
(β,x)～(α,i(x))
（を同値関係に拡張）
は同値類が集合では無いクラスであるため存在が怪しい
180:１３２人目の素数さん
26/07/04 22:23:38.93 dK5Cl3wq.net
これも>>94
B=2
のときも
V0=φ
V1=P(V0)={φ}=2^V0
V0⊂2^V0
ここまではいいが
V2=P(V1)と2^V1は異なるものであり
全単射で対応があるだけ
V0⊂V1
から
V1=P(V0)⊂P(V1)=V2
は自然に出るが
2^V0
は
2^V1
の部分集合では無く
i:2^V0→2^V1:monic
があるだけなのを
V1⊂V2
と見なせるように
V2と2^V1
の全単射が定義される
以下同様
V=∪Vα
なのは
Vα⊂Vα+1
αが極限順序数なら
Vα=∪{Vβ|β<α}
だからだけれど
この
Vα+1=P(Vα)
の定義をこのままでは
Vα+1=2^Vα
にはできないわけ
そこで写像の定義をsource≠domainである本来の形に戻した上で自然に
Vα⊂Vα+1
とするならば
B=2
の場合でもできるものはVになるってこと
181:１３２人目の素数さん
26/07/04 22:52:52.96 dK5Cl3wq.net
>>180
>の場合でもできるものはVになるってこと
Vと全単射なクラス
ね
B=2のとき
VB0=φ=V0
VB1={φ}=V1
ここまでは完全に一致
VB2=2^VB1=2^V1⇔P(V1)=V2:全単射
VB3=2^VB2⇔2^V2⇔P(V2)=V3:全単射
以下同様に
VB⇔V:全単射
となる
182:１３２人目の素数さん
26/07/04 22:59:04.87 dK5Cl3wq.net
B=2
のとき
VB=V2
と書くことにする（Vと全単射のあるVの部分クラス）
一般のbool代数Bで
V≠⊃VB=∪VBα≠⊃∪V2α=V2⇔V
VBはもちろんVの部分クラスだが
Vと同等のV2を真の部分クラスに持つようなクラスなので
ある意味Vを拡張したものと考えることができる
183:１３２人目の素数さん
26/07/05 03:05:10.40 kKaphw8+.net
>>179
チラシの裏でやれ
184:１３２人目の素数さん
26/07/05 05:01:21.01 HBpLv8U0.net
チラシの裏に「ゲス」と書くでゲスw
185:１３２人目の素数さん
26/07/05 06:57:47.24 oc7qXpi0.net
通常A^Xはsource=domainの写像の全体を意味するので
source≠domainである写像の全体でこれと同等にするため
Bが基点*付き集合の場合（bool代数なら0が基点）
XからB＼*へのsource≠domainである写像の全体
B^X={f∈P(X×(B＼*))|(x,y),(x,z)∈f→y=z}
と再定義せねばならなかったのを忘れていた
Xをdomainとする写像をsupp(f)に制限したもの
186:１３２人目の素数さん
26/07/05 11:01:39.59 BLIFxVbk.net
チンパンジーはこういう心理で子供の四肢を引き裂いたりする
187:１３２人目の素数さん
26/07/05 11:08:29.18 BLIFxVbk.net
怒りは一度発散すると解消すると思われているが、実際は最初からもっとやっておけばよかったと考えてエスカレートしていく
188:１３２人目の素数さん
26/07/05 11:30:48.89 o3Mxdww9.net
プラナリアなら大丈夫
189:１３２人目の素数さん
26/07/05 16:08:08.76 oc7qXpi0.net
>>185
>B^X={f∈P(X×(B＼*))|(x,y),(x,z)∈f→y=z}
B=2={0,1}
の場合
B＼*={1}
なので
この定義の2^Xに含まれるのは
supp(f)=dom(f)={x∈X|f(x)=1}
であるfであり
f⇔A=supp(f)⊂X
の対応が自然な全単射
2^X⇔P(X)
を定める
190:１３２人目の素数さん
26/07/05 17:19:46.28 IssZfsTo.net
２３℃
小雨
191:１３２人目の素数さん
26/07/13 21:52:09.09 2yiqcDZBm
殺人飛行艇導入しろだのほざいてる殺人組織公明党高橋光男やら殺人ドクターヘリ倍増しろだのほざいてる殺人組織公明党塩田博昭やら
歴代国土破壊大臣やって人を殺すためだけに政治やってる誇張なしで世界最惡のテロ組織公明党がお前らから強奪した血税を湯水の如く使って
田舎の道路から滑走路まで倍増させて海に囲まれた曰本でわざわざ陸域クソ航空機飛ばしまくって閑静な住宅地まで大騒音まき散らして
憲法ガン無視で基本的人権から財産権まで侵害して威力業務妨害して労働者の睡眠妨害して生産性破壊して静音が生命線のデジタル産業壊滅
天下り賄賂癒着してるJALだのAＮAだのクソアイ又ト゛ゥだのクソヘリた゛のテロリストによる莫大な温室効果ガスによって気候変動加速
海水温上昇土砂崩れ洪水大雪山火事にと災害連発あらゆる物価高騰させて国民の生命財産を破壊して日本を国際競争カもクソもない
ポンコツ貧乏国家に陥れてお前らの生活破壊してる諸悪の根源が違憲組織公明党だと理解しないとな
財務省解体デモも結構だが國土破壊省と信濃町の公明党本部を殲滅せずにお前らの生活が改善するとか絶対あり得んぞ
令和の成田闘争頑張ろう! noise.web.fc2.сom
192:１３２人目の素数さん
26/08/05 17:22:16.57 vMqCxLsh.net
こっちだった
193:１３２人目の素数さん
26/08/05 17:23:37.10 vMqCxLsh.net
数学国の辺境の住人、ここだよ
194:１３２人目の素数さん
26/08/05 18:14:07.46 NVKfu/Fj.net
ワクワクw