Median algebra (original) (raw)
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. * *
Property | Value |
---|---|
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 | http://www.cs.unm.edu/~veroff/MEDIAN_ALGEBRA/ |
dbo:wikiPageID | 18416734 (xsd:integer) |
dbo:wikiPageLength | 3745 (xsd:nonNegativeInteger) |
dbo:wikiPageRevisionID | 1086461505 (xsd:integer) |
dbo:wikiPageWikiLink | dbr:Undirected_graph dbr:Mathematics dbr:Median_graph dbc:Ternary_operations dbr:Shortest_path dbr:Majority_function dbr:Distributive_lattice dbc:Algebra dbr:Ternary_operation dbr:Bulletin_of_the_American_Mathematical_Society dbr:The_Art_of_Computer_Programming dbr:Transactions_of_the_American_Mathematical_Society dbr:Boolean_algebra_(introduction) |
dbp:wikiPageUsesTemplate | dbt:Cite_book dbt:Cite_journal |
dct:subject | dbc:Ternary_operations dbc:Algebra |
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 | freebase:Median algebra yago-res:Median algebra wikidata:Median algebra dbpedia-es:Median algebra https://global.dbpedia.org/id/4roZp |
prov:wasDerivedFrom | wikipedia-en:Median_algebra?oldid=1086461505&ns=0 |
foaf:isPrimaryTopicOf | wikipedia-en:Median_algebra |
is dbo:wikiPageDisambiguates of | dbr:Median_(disambiguation) |
is dbo:wikiPageWikiLink of | dbr:Median_graph dbr:Garrett_Birkhoff dbr:Clique_(graph_theory) dbr:Majority_function dbr:John_R._Isbell dbr:Birkhoff's_representation_theorem dbr:Ternary_operation dbr:Read-once_function dbr:Median_(disambiguation) dbr:Simplex_graph |
is foaf:primaryTopic of | wikipedia-en:Median_algebra |