[過去ログ] Inter-universal geometry と ABC予想 (応援スレ) 60 (1002レス)
前次1-
抽出解除 レス栞

このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
756
(1): 2021/10/31(日)12:26 ID:OPOZLzHw(10/26) AAS
>>754 文字化け訂正

A transfinite sequence of type α, or an α-sequence, is a function φ defined on {β?β<α}.
 ↓
A transfinite sequence of type α, or an α-sequence, is a function φ defined on {β|β<α}.

>>755
>君、「<ω」見える? ωの左の「<」見える?

見えるよ、心眼を凝らせばね。そこは、
外部リンク:encyclopediaofmath.org
これの冒頭にある
但し、後に”limit ordinal number”と説明されているとおり、前者は持たない
省7
759
(1): 2021/10/31(日)15:01 ID:+PpCGhCF(7/18) AAS
>>756
>(ωは)”limit ordinal number”と説明されているとおり、前者は持たない
うん、ωはね
私がいっているのは、
「0からはじまりωでおわる<上昇列におけるωの前者」
別に<上昇列にω以下の全部の順序数が現れる必要ないんだけど
例えば、>>754のキミの引用を使えば
「φ(β)=ωで、βが後続順序数の場合」
って意味なんだけど分かってる?
で、φ(0)=0、γ<βのときφ(γ)<φ(β)であるなら、
省17
前次1-
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル

ぬこの手 ぬこTOP 0.062s