Artículo
El concepto matemático de morfismo pretende obtener de un conjunto una imagen que capture de algún modo su estructura. El concepto de infomorfismo generaliza o extiende esta idea definiendo un homomorfismo entre estructuras que soportan infones. El concepto surgió en el ámbito de la teoría de situaciones y se aplica en muy distintos contextos.
Un conjunto arbitrario A aporta todos y sólo los elementos, casos o ítems (tokens) que definen una familia R de relaciones sobre A. Llamamos estructura relacional A al conjunto A dotado de tales relaciones. Sean A, B sendas estructuras relacionales <A,R> y <B,S> respectivamente. Tomando la definición con benevolencia, un homomorfismo desde A a B es cualquier función f de A en B tal que: Si R(a1…an), entonces S(f(a1)…f(an)). B es entonces una imagen homomórfica de A.
Consideremos ahora el caso específico de una estructura relacional clasificatoria A, tomada como el resultado de clasificar el conjunto A de elementos, casos o ítems mediante el conjunto ªA de tipos. Por ejemplo, el conjunto de casos: {a, a, a} corresponde al único tipo a. Para expresar que tal caso x es una instancia de tal tipo y escribimos xëAy. Barwise y Seligman (1997) llamaron clasificaciones a estas estructuras clasificatorias A=<A,ªA ,ëA >, en las que A es el conjunto de casos, ªA el conjunto de tipos y ,ëA la relación de ser una instancia.
Sean A, B sendas estructuras clasificatorias:
Esquemáticamente: Del mismo modo que el homorfismo preserva la estructura, el infomorfismo preserva la relación de instanciación, entre soportes que pueden ser físicamente muy distintos, pero informacionalmente análogos.
En la bibliografía (Devlin, Gunji) se detallan ejemplos destacados de infomorfismos.
Referencias
| Entradas
Francisco Salto (29-07-2009)
[Primera versión de la voz "infomorfismo"] Nueva entrada. Cuando se introduzca una nueva entrada copiar este párrafo y las siguientes líneas y pegarlas al final de la columna. A continuación, borrar el párrafo azul superior y sustituir los campos 'nombre', 'fecha' y 'texto'.
Nombre (fecha)
[Texto de Entrada] |
Glosario (sp) >