Pseudo-order

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:
# $eg (x < y wedge y < x)$
# $x < y o (x < z vee z < y)$
# $eg (x < y vee y < x) o x=y$

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" and is the constructive substitute for trichotomy. In general, 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 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 $x < y vee y < x$ , 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 le y$ is defined as $eg(y, then we have that eg(
eg(x le y) wedge
eg(y le x)) . Using classical logic one would then conclude that x le y vee y le 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 a rational number greater than the former and less than the latter.

Wikimedia Foundation. 2010.

Игры ⚽ Нужен реферат?

Look at other dictionaries:

Pseudo-Dionysius the Areopagite — Full name Pseudo Dionysius the Areopagite Other names Pseudo Dionysius , Pseudo Denys , mistakenly identified as Dionysius the Areopagite Born unknown, 5th to 6th century AD Died unknown, 5th to 6th century AD Era Ancient philosop … Wikipedia
Pseudo amino acid composition — Pseudo amino acid composition, or PseAA composition, was originally introduced by [http://gordonlifescience.org/members/kcchou/index.html Professor Kuo Chen Chou] [1] in 2001 to represent protein samples for statistical prediction. In contrast… … Wikipedia
Pseudo-anglicism — Pseudo anglicisms are words in languages other than English which were borrowed from English but are used in a way native English speakers would not readily recognize or understand. Pseudo anglicisms often take the form of portmanteau words,… … Wikipedia
Pseudo-Geber — ( false Geber ) is the name assigned by modern scholars to an alchemist born in the 13th century, probably Paul of Taranto [Insuments and Experimentation in the History of Chemistry ;Fredric L Holmes and Trevor H Levere;MIT Press 2000 ISBN… … Wikipedia
Pseudo-squeeze — is an ingenuine type of squeeze in contract bridge, where the declarer goes through the motions of a squeeze where none actually exists, i.e. simulating a genuine squeeze in the hope that a defender misreads the position and therefore misdefends … Wikipedia
Pseudo-differential operator — In mathematical analysis a pseudo differential operator is an extension of the concept of differential operator. Pseudo differential operators are used extensively in the theory of partial differential equations and quantum field theory.… … Wikipedia
Order of reaction — In chemical kinetics, the order of reaction with respect to certain reactant, is defined as the power to which its concentration term in the rate equation is raised [1]. For example, given a chemical reaction 2A + B → C with a rate equation r =… … Wikipedia
pseudo first order — First order First or der, a. decaying at an exponential rate; a mathematical concept applied to various types of decay, such as radioactivity and chemical reactions. Note: In first order decay, the amount of material decaying in a given period of … The Collaborative International Dictionary of English
Pseudo-Zernike polynomials — In mathematics, Pseudo Zernike polynomials are well known and widely used in the analysis of optical systems. They are also widely used in image analysis as region descriptors. Definition They are an orthogonal set of complex valued… … Wikipedia
Pseudo-photograph — A pseudo photograph is an image produced manually which is indistinguishable from a real photograph produced using a camera. Although the term pseudo photograph can be applied regardless of what it depicts, in law its meaning is especially… … Wikipedia

Academic Dictionaries and Encyclopedias

Pseudo-order

Look at other dictionaries:

Share the article and excerpts

Academic Dictionaries and Encyclopedias

Wikipedia

Pseudo-order

Look at other dictionaries:

Share the article and excerpts

Direct link