Infomorfismo
| Colección | GlossariumBITri |
|---|---|
| Autor | Francisco Salto Alemany |
| Editor | Francisco Salto Alemany |
| Año | 2010 |
| Vol. (núm.) | 1(1) |
| ID | ◀ 1050 ▶ |
| Tipo de objeto | Concepto |
| Dominio | Transdisciplinar, Teoría de situaciones |
| en | infomorphism |
| fr | infomorphisme |
| de | Infomorphismus |
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
yAx
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:
Un infomorfismo i que relaciona A y B consiste en un par de funciones f+(de A a B) y f–(de B a A) tal que, para todo tipo α de A y elemento b de B : f+(b)A α ⇔ b B f(α).
Esquemáticamente:
A B
A B
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
- BARWISE, J. & SELIGMAN, J. (1997). Information Flow. The Logic of Distributed Systems. Cambridge: C.U.P.
- BREMER, M. & COHNITZ, D. (2004). Information and Information Flow. Frankfurt: Ontos Verlag.
- DEVLIN, K. (2001). The Mathematics of Information. Lecture 4: Introduction to Channel Theory. ESSLLI 2001, Helsinki, Finland
- GUNJI, Y.P., TAKAHASHI, T. & AONO, M. (2004) "Dynamical infomorphism: form of endo-perspective". Chaos, Solitrons & Fractals 22, 1077-1101.