Pseudo-order (original) (raw)

About DBpedia

In constructive mathematics, a pseudo-order is a constructive generalisation of a linear order to the continuous case. The usual trichotomy law does not hold in the constructive continuum because of its indecomposability, so this condition is weakened. A pseudo-order is a binary relation satisfying the following conditions: 1. * It is not possible for two elements to each be less than the other. That is, . 2. * For all x, y, and z, if x < y then either x < z or z < y. That is, . 3. * Every two elements for which neither one is less than the other must be equal. That is,

Property Value
dbo:abstract In constructive mathematics, a pseudo-order is a constructive generalisation of a linear order to the continuous case. The usual trichotomy law does not hold in the constructive continuum because of its indecomposability, so this condition is weakened. A pseudo-order is a binary relation satisfying the following conditions: 1. * It is not possible for two elements to each be less than the other. That is, . 2. * For all x, y, and z, if x < y then either x < z or z < y. That is, . 3. * Every two elements for which neither one is less than the other must be equal. That is, This first condition is simply asymmetry. It follows from the first two conditions that a pseudo-order is transitive. The second condition is often called co-transitivity or comparison and is the constructive substitute for trichotomy. Constructively, given two elements of a pseudo-ordered set, it is not always the case that either one is less than the other or else they are equal, but given any nontrivial interval, any element is either above the lower bound, or below the upper bound. The third condition is often taken as the definition of equality. The natural apartness relation on a pseudo-ordered set is given by and equality is defined by the negation of apartness. The negation of the pseudo-order is a partial order which is close to a total order: if x ≤ y is defined as the negation of y < x, then we have Using classical logic one would then conclude that x ≤ y or y ≤ x, so it would be a total order. However, this inference is not valid in the constructive case. The prototypical pseudo-order is that of the real numbers: one real number is less than another if there exists (one can construct) a rational number greater than the former and less than the latter. In other words, x < y if there exists a rational number z such that x < z < y. (en)
dbo:wikiPageExternalLink https://archive.org/details/intuitionismintr1966heyt%7Curl-access=registration%7Cedition=2nd%7Cyear=1966%7Cpublisher=North-Holland https://archive.org/details/intuitionismintr1966heyt/page/106
dbo:wikiPageID 17543768 (xsd:integer)
dbo:wikiPageLength 4517 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID 1051429769 (xsd:integer)
dbo:wikiPageWikiLink dbr:Binary_relation dbr:Apartness_relation dbc:Constructivism_(mathematics) dbc:Order_theory dbr:Connex_relation dbr:Antisymmetric_relation dbr:Linear_order dbr:Total_order dbr:Transitive_relation dbr:Trichotomy_(mathematics) dbr:Asymmetric_relation dbr:Symmetric_relation dbr:Classical_logic dbr:Constructivism_(mathematics) dbr:Iff dbr:Indecomposability_(constructive_mathematics) dbr:Reflexive_relation dbr:Semiorder dbr:Euclidean_relation dbr:Partial_order dbr:Quasitransitive dbr:There_exists
dbp:date April 2020 (en)
dbp:reason The reson for this seems to be some special property of constructive mathematics. It should be mentioned here. (en)
dbp:wikiPageUsesTemplate dbt:Cite_book dbt:Clarify dbt:Math dbt:Mvar dbt:Reflist
dcterms:subject dbc:Constructivism_(mathematics) dbc:Order_theory
rdfs:comment In constructive mathematics, a pseudo-order is a constructive generalisation of a linear order to the continuous case. The usual trichotomy law does not hold in the constructive continuum because of its indecomposability, so this condition is weakened. A pseudo-order is a binary relation satisfying the following conditions: 1. * It is not possible for two elements to each be less than the other. That is, . 2. * For all x, y, and z, if x < y then either x < z or z < y. That is, . 3. * Every two elements for which neither one is less than the other must be equal. That is, (en)
rdfs:label Pseudo-order (en)
owl:sameAs freebase:Pseudo-order wikidata:Pseudo-order https://global.dbpedia.org/id/4tgNe
prov:wasDerivedFrom wikipedia-en:Pseudo-order?oldid=1051429769&ns=0
foaf:isPrimaryTopicOf wikipedia-en:Pseudo-order
is dbo:wikiPageRedirects of dbr:Co-transitivity
is dbo:wikiPageWikiLink of dbr:Apartness_relation dbr:Homogeneous_relation dbr:Co-transitivity
is foaf:primaryTopic of wikipedia-en:Pseudo-order