AngouriMath

Navigation

← Back to list of members

Family​(System.​Boolean,​AngouriMath.​Entity.​Set.​Interval,​AngouriMath.​Entity.​Variable,​AngouriMath.​Entity)

 Method (no overloads)

Summary

A union or an intersection of a family of intervals whose ends are quotients of
polynomials in the index, monotone over its range, as the interval between the extremes
of the ends; null where that is not settled here. Sullivan and
Mackey's §3.9.5: the intersection of (-1/n, 1/n) over the positive whole numbers
is {0}, the union of (x, x + 1) over (0, 1) is (0, 2), and
the union of [0, (n - 1)/n) is [0, 1), the intersection of (-1/n, 1).

Remarks

An intersection of intervals is an interval, from the supremum of the left ends to the
infimum of the right ones. An end of it is closed where the family's ends are, and where
the extreme is only approached: every (-1/n, 1/n) holds 0, where both ends tend.
A union is an interval from the infimum of the left ends to the supremum of the right
ones where the family is a chain, each member inside the next -- ends moving apart, or
one still -- and where the index runs over an interval and every member is not empty,
so that the members overlap as it moves. Over the whole numbers a sliding family,
(k, k + 1), leaves gaps, and is not read. An end of the union is closed where the
family's ends are and the extreme is reached.
A monotone end has its extremes at the ends of the index's range: at a least or a
greatest member, where it is reached, and in the limit, where it is not.

























Angouri © 2019-2023 · Project's repo · Site's repo · Octicons · Transparency · 4378 pages online