| dbo:abstract
|
- En matemática, un álgebra mediana es un conjunto con un operador ternario < x,y,z > que satisface los siguientes axiomas, los cuales generalizan la noción de mediana o función mayorante, como una función booleana: 1.
* absorción por la derecha: 2.
* simetría por la derecha: 3.
* simetría por la izquierda: 4.
* transitividad: El segundo y tercer axioma implican conmutatividad. Es posible (pero no sencillo) demostrar que en presencia de los otros tres, el tercer axioma es redundante. El cuarto axioma implica asociatividad. Existen otros posibles sistemas axiomáticos, como por ejemplo los siguientes dos axiomas, que también son suficientes:
*
* En un álgebra de Boole, o más general en un retículo distributivo, la función mediana satisface estos axiomas. Por lo tanto, cada álgebra de Boole y cada retículo distributivo forman un álgebra mediana. Birkhoff y Kiss demostraron que un álgebra mediana con elementos y que satisfacen es un retículo distributivo. (es)
- In mathematics, a median algebra is a set with a ternary operation satisfying a set of axioms which generalise the notions of medians of triples of real numbers and of the Boolean majority function. The axioms are 1.
* 2.
* 3.
* 4.
* The second and third axioms imply commutativity: it is possible (but not easy) to show that in the presence of the other three, axiom (3) is redundant. The fourth axiom implies associativity.There are other possible axiom systems: for example the two
*
* also suffice. In a Boolean algebra, or more generally a distributive lattice, the median function satisfies these axioms, so that every Boolean algebra and every distributive lattice forms a median algebra. Birkhoff and Kiss showed that a median algebra with elements 0 and 1 satisfying is a distributive lattice. (en)
|
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 3745 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| dbp:wikiPageUsesTemplate
| |
| dcterms:subject
| |
| rdfs:comment
|
- En matemática, un álgebra mediana es un conjunto con un operador ternario < x,y,z > que satisface los siguientes axiomas, los cuales generalizan la noción de mediana o función mayorante, como una función booleana: 1.
* absorción por la derecha: 2.
* simetría por la derecha: 3.
* simetría por la izquierda: 4.
* transitividad: El segundo y tercer axioma implican conmutatividad. Es posible (pero no sencillo) demostrar que en presencia de los otros tres, el tercer axioma es redundante. El cuarto axioma implica asociatividad.
*
* (es)
- In mathematics, a median algebra is a set with a ternary operation satisfying a set of axioms which generalise the notions of medians of triples of real numbers and of the Boolean majority function. The axioms are 1.
* 2.
* 3.
* 4.
* The second and third axioms imply commutativity: it is possible (but not easy) to show that in the presence of the other three, axiom (3) is redundant. The fourth axiom implies associativity.There are other possible axiom systems: for example the two
*
* also suffice. (en)
|
| rdfs:label
|
- Álgebra mediana (es)
- Median algebra (en)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageDisambiguates
of | |
| is dbo:wikiPageWikiLink
of | |
| is foaf:primaryTopic
of | |
