Liste des Groupes | Revenir à s math |
On 12/3/2024 8:02 AM, WM wrote:It's merely an ancient dichotomy aboutOn 03.12.2024 01:32, Jim Burns wrote:>On 12/2/2024 9:28 AM, WM wrote:>A quantifier shift tells you (WM) what you (WM) _expect_>
but a quantifier shift is untrustworthy.
Here is no quantifier shift but an identity:
Yes, it is a true claim.
That true claim does not conflict with
⎛ an empty intersection does not require
⎝ an empty end.segment.
>>>E(1), E(2), E(3), ...
and
E(1), E(1)∩E(2), E(1)∩E(2)∩E(3), ...
are identical for every n and in the limit
because
E(1)∩E(2)∩...∩E(n) = E(n).No.>
For the set of finite cardinals,
EVEN IF NO END.SEGMENT IS EMPTY,
the intersection of all end segments is empty.
You cannot read or understand the above.
⟦0,ℵ₀⦆ is the set of finite cardinals,
usually written ℕ
>
⎛ For each finite.cardinal k
⎜⎛ for each finite.cardinal j
⎜⎝ j is fewer than the finite cardinals from k up
⎜
⎜ ∀k ∈ ⟦0,ℵ₀⦆
⎜ ∀j ∈ ⟦0,ℵ₀⦆: j < |⟦k,k+j⟧| ≤ |⟦k,ℵ₀⦆|
⎜ |⟦k,ℵ₀⦆| ∉ ⟦0,ℵ₀⦆
⎜
⎜ Each end.segment E(k) = ⟦k,ℵ₀⦆
⎝ doesn't have any finite.cardinality j
>
⎛ For each non.empty set S of finite.cardinals,
⎜ among which are the non.empty end.segments ⟦k,ℵ₀⦆
⎜ that set S holds a minimum finite.cardinal.
⎜ min.⟦k,ℵ₀⦆ is the index of ⟦k,ℵ₀⦆
⎜
⎜ Each finite.cardinal k is
⎜ index min.⟦k,ℵ₀⦆ of end.segment ⟦k,ℵ₀⦆
⎜
⎜ There is a bijection between the finite.cardinals and
⎜ the end.segments of the finite cardinals.
⎝ k ⇉ ⟦k,ℵ₀⦆ ⇉ k
>
⎛ For each finite.cardinal k
⎜ there are fewer finite.cardinals up.to k
⎜ than there are all finite.cardinals
⎜ ==
⎜ ∀k ∈ ⟦0,ℵ₀⦆:
⎜ |⟦0,k⟧| < |⟦0,k+1⟧| ≤ |⟦0,ℵ₀⦆|
⎜
⎜ Consider the bijection
⎜ k ⇉ ⟦k,ℵ₀⦆ ⇉ k
⎜
⎜ For each finite.cardinal k
⎜ there are fewer end.segment.minima up.to k
⎜ (minima of those end.segments which hold k)
⎜ than there are all end.segment.minima
⎜ ==
⎜ For each finite.cardinal k
⎜ there are fewer end.segments which hold k
⎜ than there are all end.segments.
⎜ ==
⎜ For each finite.cardinal k
⎜ there are end.segments not.holding k
⎜ ==
⎜ For each finite.cardinal k
⎜ k is not.in the intersection of all end.segments.
⎜
⎝ The intersection of all end.segments is empty.
>
For the finite.cardinals,
each end.segment is infinite,
the intersection of all is empty.
>E(1)∩E(2)∩...∩E(n) = E(n).>
Sequences which are identical in every term
have identical limits.
An empty intersection does not require
an empty end.segment.
>
>
Les messages affichés proviennent d'usenet.