Yes. The usual order on the rational numbers is strict and linear. Between lies the rational midpoint , and witness absence of endpoints. Thus it is a dense linear order without endpoints.
Yes. The usual order on the real numbers is strict and linear, midpoints witness density, and translation by supplies points on either side. It therefore satisfies the same dense linear order without endpoints axioms.
No. With its induced usual order, the closed interval has a least element and a greatest element. At zero there is no smaller domain element, and at one there is no larger domain element. It fails the no-endpoint axioms, although it is densely ordered.
Yes. The induced order is strict and linear and remains dense. For , the points and lie in the domain and are strictly below and above . Hence the open interval is a dense linear order without endpoints.
Yes. Removing zero leaves the induced order strict and linear, with no endpoints. For any there are infinitely many points in the real interval between them, so one can choose an intermediate point different from zero. More explicitly, the midpoint works unless it is zero, in which case is nonzero and lies strictly between the endpoints. Thus density also survives.
The missing point is a cut, not a pair of adjacent elements; the axioms do not require all cuts to be filled.

Articles by others on the same topic (0)

There are currently no matching articles.