Álgebra mediana

Álgebra mediana

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:
    < u,v,v > = v
  2. Simetría por la derecha:
    < u,v,w > = < u,w,v >
  3. Simetría por la izquierda:
    < u,v,w > = < v,u,w >
  4. Transitividad:
    < u,v,< u,w,x > > = < u,< u,v,w >, x >

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.[1]

Existen otros posibles sistemas axiomáticos, como por ejemplo los siguientes dos axiomas también son suficientes:

  • < u,v,v > = v
  • < u,v,< u,w,x > > = < u,x,< w,u,v > >

En un álgebra de Boole, o más general en un retículo distributivo, la función mediana \langle x,y,z \rangle = (x \vee y) \wedge (y \vee z) \wedge (z \vee x) satisface estos axiomas. Por lo tanto, cada álgebra de Boole y cada retículo distributivo forman un álgebra mediana.[2]

Birkhoff y Kiss demostraron que un álgebra mediana con elementos 0 y 1 que satisfacen < 0,x,1 > = x, es un retículo distributivo.[3]

Relación con grafos medianos

Un grafo mediano es un grafo no dirigido en que para cualesquiera tres vértices x, y, z existe un único vértice < x,y,z > que pertenece a los caminos más cortos entre todos los pares conformados por ellos. Cuando un grafo es mediano, la operación < x,y,z > define un álgebra mediana cuyos elementos son los vértices del grafo.

Al revés, en cualquier álgebra mediana, uno puede definir un intervalo [x, z] como el conjunto de elementos y tales que < x,y,z > = y. Se puede definir así un grafo desde un álgebra mediana creando un vértice por cada elemento del álgebra y una arista por cada par (x, z) tal que el intervalo [x, z] no contenga elementos adicionales. Si el álgebra posee la propiedad de que cada intervalo sea finito, entonces este grafo es un grafo mediano, que es exactamente representado por el álgebra, y en que la operación mediana definida por los caminos más cortos en el grafo coinciden con la operación mediana del álgebra original.[4]

Referencias

  1. Isbell, John R. (Agosto 1980). «Median Algebra» (en inglés). Trans. Amer. Math. Soc. 260 (2):  pp. 319-362. doi:10.2307/1998007. 
  2. Knuth, Donald E. (2008). «Introduction to combinatorial algorithms and Boolean functions» (en inglés). The Art of Computer Programming (Upper Saddle River, NJ: Addison-Wesley) 4.0:  pp. 64-74. ISBN 0-321-53496-4. 
  3. Birkhoff, Garret; Kiss (1947). «A ternary operation in distributive lattices» (en inglés). Bull. Amer. Math. Soc. 53:  pp. 749-752. doi:10.1090/S0002-9904-1947-08864-9. 
  4. Bandelt, Hand-Jürgen; V. Chepoi (2008). «Metric graph theory and geometry: a survey» (en inglés). Contemporary Mathematics. http://www.lif-sud.univ-mrs.fr/%7Echepoi/survey_cm_bis.pdf. 

Enlaces externos


Wikimedia foundation. 2010.

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

Mira otros diccionarios:

  • Función mayorante — En lógica binaria, la función mayorante u operador mediano es una función matemática que va desde n entradas a una salida. El valor de la operación es falso cuando n/2 o más argumentos son falsos, y verdadera en otro caso. Alternativamente, sean… …   Wikipedia Español

  • Matemática — Portal:Matemática Saltar a navegación, búsqueda     …   Wikipedia Español

  • Portal:Matemática — …   Wikipedia Español

  • Joseph-Louis de Lagrange — Para otros usos de este término, véase Lagrange (desambiguación). Este artículo o sección necesita referencias que aparezcan en una publicación acreditada, como revistas especializadas, monografías, prensa diaria o páginas de Internet fidedignas …   Wikipedia Español

  • Historia de la cirugía — Extracción de la piedra de la locura, de Hieronymus Bosch. La cirugía (del griego …   Wikipedia Español

  • Geometría — (Del gr. geometria, agrimensura, geometría.) ► sustantivo femenino 1 GEOMETRÍA, MATEMÁTICAS Parte de las matemáticas que estudia el espacio y las figuras y cuerpos que en él se pueden imaginar. FRASEOLOGÍA geometría analítica GEOMETRÍA,… …   Enciclopedia Universal

  • Lewis Carroll — Lewis Carroll, fotografía tomada p …   Wikipedia Español

  • Universidad Nacional de Córdoba — Escudo …   Wikipedia Español

  • Portal:Sierra de Guadarrama — Atajo P:SGP:SG …   Wikipedia Español

Compartir el artículo y extractos

Link directo
Do a right-click on the link above
and select “Copy Link”