17/09/18 21:14:12.76 WP9yXypF.net
ここに至っても定義域を理解しないID:KkC8TkeYは本当に定義域を知らない可能性がある。
定義域とは何なのか、ID:gqRaf1I9氏が分かりやすく書いている説明全文を引用しておく。
ｽﾚﾘﾝｸ(math板:128番)
128 名前：１３２人目の素数さん[sage] 投稿日：2017/08/03(木) 07:51:24.73 ID:gqRaf1I9
問題1
写像 F：{ 1, 2 } → N を F(1)＝1, F(2)＝2 で定義する。
このとき、F(3)＝F(4) が成り立つと言えるか？
解答
3と4は写像Fの定義域に入ってない。よって、F(3)とF(4)は定義されておらず、
"F(3)" とか "F(4)" という記号列を使うこと自体が間違っている。
もちろん、F(3)＝F(4) は成り立たない。というか、F(3)＝F(4) の
成立・不成立を問うこと自体がナンセンスである。
問題2
件の測度空間において、μ_r×μ_r'(H1)＝μ_r×μ_r'(H2) は成り立つと言えるか？
解答
H1とH2は非可測なので、写像μ_r×μ_r'の定義域に入っていない。
よって、μ_r×μ_r'(H1)とμ_r×μ_r'(H2)は定義されておらず、
"μ_r×μ_r'(H1)" とか "μ_r×μ_r'(H2)" という記号列を使うこと自体が間違っている。
もちろん、μ_r×μ_r'(H1)＝μ_r×μ_r'(H2) は成り立たない。というか、
μ_r×μ_r'(H1)＝μ_r×μ_r'(H2) の成立・不成立を問うこと自体がナンセンスである