Operacin Binaria Llamamos Operacin Binaria a cualquier funcin de A B en C.

Es decir, a un par ordenado con primer elemento perteneciente a A, y segundo componente perteneciente a B, le hacemos corresponder un elemento de C. Los conjuntos A, B y C pueden ser distintos o iguales. Cuando A=B y tenemos una funcin A A en C, como puede ser la resta definida en nxn que va a parar a Z, vemos que sale fuera de los nmeros naturales. Puede ocurrir que B y C sean iguales, y tenemos Ley de Composicin Externa. Ejemplo: Producto de un escalar por un vector, que va de rxb en b. Puede ocurrir que A=B=C. en este caso la funcin no va de A A en A y decimos que es una Ley de Composicin Interna, o bien una Operacin Cerrada, o que cumple con la Ley de Cierre. Puede ocurrir que B y C sean iguales, y tenemos Ley de Composicin Externa. Ejemplo: Producto de un escalar por un vector, que va de rxb en b. Puede ocurrir que A=B=C. en este caso la funcin no va de A A en A y decimos que es una Ley de Composicin Interna, o bien una Operacin Cerrada, o que cumple con la Ley de Cierre. Puede ocurrir que B y C sean iguales, y tenemos Ley de Composicin Externa. Ejemplo: Producto de un escalar por un vector, que va de rxb en b. Puede ocurrir que A=B=C. en este caso la funcin no va de A A en A y decimos que es una Ley de Composicin Interna, o bien una Operacin Cerrada, o que cumple con la Ley de Cierre. Semigrupo Un semigrupo es un sistema algebraico de la forma donde A es un conjunto no vaco donde se ha definido una operacin binaria interna . Un semigrupo cumple las dos siguientes propiedades: Operacin interna: para cualesquiera dos elementos del conjunto A operados bajo , el resultado siempre pertenece al mismo conjunto A. Asociatividad: para cualesquiera elementos del conjunto A no importa el orden en que se operen las parejas de elementos, mientras no se cambie el orden de los elementos (ver grupo abeliano), siempre dar el mismo resultado. Ejemplos: -El conjunto N provisto de la suma (N,+). -El conjunto Z provisto del producto (z,*).

Ejemplos: -N con la operacin a*b=ab no es un semigrupo. Z con la operacin de sustraccin tampoco es un semigrupo. Ejemplo: (P(A),U) y (P(A),) son dos semigrupos conmutativos. Ejemplos: - Si A0 y AA = { |:AA}, entonces (AA,o) es un semigrupo no conmutativo. Isomorfismo El trmino 'isomorfismo' significa etimolgicamente 'igual forma', y con ello se quiere destacar la idea segn la cual existen semejanzas y correspondencias formales entre diversos tipos de sistemas en otras palabras Isomrfico (con una forma similar) se refiere a la construccin de modelos de sistemas similares al modelo original. Por ejemplo, un corazn artificial es isomrfico respecto al rgano real : este modelo puede servir como elemento de estudio para extraer conclusiones aplicables al corazn original. Ejemplo de isomorfismo: Por ejemplo, si X es un nmero real positivo con el producto e Y es un nmero real con la suma, el logaritmo ln:XY es un isomorfismo, porque ln(ab)=ln(a)+ln(b) y cada nmero real es el logaritmo de un nico nmero real positivo. Esto significa que cada enunciado sobre el producto de nmeros reales positivos tiene (sin ms que sustituir cada nmero por su logaritmo) un enunciado equivalente en trminos de la suma de nmeros reales, que suele ser ms simple. HOMOMORFISMO Significa que dos sistemas tienen una parte de su estructura igual. Este concepto se aplica en contraposicin al anterior, cuando el modelo del sistema ya no es similar, sino una representacin donde se ha efectuado una reduccin de muchas a una. Es una simplificacin del objeto real donde se obtiene un modelo cuyos resultados ya no coinciden con la realidad, excepto en trminos probabilsticos, siendo este uno de los principales objetivos del modelo homomrfico: obtener resultados probables. La aplicacin de este tipo de modelo se orienta a sistemas muy complejos y probabilsticos como la construccin de un modelo de la economa de un pas o la simulacin del funcionamiento de una empresa en su integracin con el medio, ejemplos que podran ser tambin considerados como cajas negras. Muy pocas veces un modelo es isomrfico de un sistema biolgico; generalmente es un homomorfismo: dos sistemas, un sistema biolgico y un modelo, para poner por caso, estn tan relacionados que el homomorfismo de uno es isomrfico con el homomorfismo del otro. Esta es una relacin "simtrica"; cada uno es un modelo" del otro.