[過去ﾛｸﾞ] 純粋・応用数学・数学隣接分野（含むガロア理論）20 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
683(1): 06/22(日)08:23 ID:Y+ibteSC(1/6) AAS
>>682
>・内包表記には、下記”分出公理図式（内包公理図式）”あるいは”置換公理図式”を使うようです
じゃあ ∩{x⊂A|{}∈x∧∀y[y∈x→y∪{y}∈x]} の∩の対象が不明確とか文句付けたのはなんなの？ ただの言いがかり？ 君はチンピラかい？
684(3): 06/22(日)13:50 ID:e5q/Q8+J(2/4) AAS
>>683
(引用開始)
>・内包表記には、下記”分出公理図式（内包公理図式）”あるいは”置換公理図式”を使うようです
じゃあ ∩{x⊂A|{}∈x∧∀y[y∈x→y∪{y}∈x]} の∩の対象が不明確とか文句付けたのはなんなの？ ただの言いがかり？ 君はチンピラかい？
(引用終り)
ご苦労さまです
1）説明責任という言葉がある。数学でも同じだが
ある人がある式を書いた。説明責任は、式を書いた人にある
2）さて集合積∩ は、まずは2項演算として定義されるよね
二つの集合AとBなら、A∩Bで明確だ
しかし、2項演算で ”Iterated binary operation”（下記）がある
日本語では 反復二項演算 と訳される
3）では問う
∩の反復二項演算として見た”∩{x⊂A|{}∈x∧∀y[y∈x→y∪{y}∈x]}”
は、そもそも何者なのか？ その説明責任は、この式を書いた者にあるよ
例えば、有限の反復なのか無限なのか？ あるいは、無限反復として最初の幾つかの項を明示的に書いたらどうなるのか？
繰り返すが、説明責任は、
数学では、その式を書いた人にある
（>>666より再録する）
外部ﾘﾝｸ:en.wikipedia.org
Iterated binary operation
（google 和訳）
反復二項演算
数学において、反復二項演算とは、集合S上の二項演算を、反復適用によってSの有限個の要素の列上の関数へと拡張したものである。 [ 1 ]一般的な例としては、加算演算を総和演算に拡張することや、乗算演算を積演算に拡張することがあげられる。集合論的な演算である和と積など、他の演算も反復されることが多い
Σ、Π、∪、∩
さらに、下記がある（英文に戻す）
If S also is equipped with a metric or more generally with topology that is Hausdorff, so that the concept of a limit of a sequence is defined in S, then an infinite iteration on a countable sequence in S is defined exactly when the corresponding sequence of finite iterations converges. Thus, e.g., if a0, a1, a2, a3, … is an infinite sequence of real numbers, then the infinite product
∏i=0〜∞ ai
is defined, and equal to
lim n→∞ ∏i=0〜n ai,
if and only if that limit exists.
(引用終り)
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ
ぬこの手 ぬこTOP 0.045s