Loading [MathJax]/jax/element/mml/optable/BasicLatin.js

6 votos

Ejemplos de casi-semirings sin absorber cero

¿Qué es un instructivo ejemplo de un conjunto X equipada con dos monoid estructuras (X,+,0), (X,,1), tal que + es conmutativa, la distributiva leyes bodega, sino 0x=0 o x0=0 ¿ no ?

Observe que en el caso de que estas dos leyes de absorción de espera, uno llama a (X,+,0,,1) un semiring. A primera vista, podría ser sorprendente que estas leyes han de ser impuestas, pero esto es bastante natural desde un punto de vista general, es decir, la multiplicación de :X×XX debe ser un aditivo monoid homomorphism en cada variable, y se sabe que uno tiene a la demanda que monoid homomorphisms preservar el elemento neutro.

5voto

rschwieb Puntos 60669

Deje S el conjunto de pares en R2 de la forma [a,b] dondea0b0.

Definir [a,b]+[a,b]=[min y

[a,b][a',b']=[a+a',b+b']

Todo lo que se necesita para la distributividad son las identidades \min(a,a')+c=\min(a+c,a'+c)\max(b,b')+c=\max(b+c,b'+c).

Resulta que e=[0,0] es el elemento neutro para ambas operaciones de S, lo a=a+e=ae, y entonces es imposible para e a multiplicatively absorber el no e elementos.

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X