Diferencia entre revisiones de «Conmutatividad»
Apariencia
Contenido eliminado Contenido añadido
m BOT - Posible blanqueo de 190.24.46.80, revirtiendo hasta la edición 31922254 de Diegusjaimes. ¿Hubo un error? |
|||
Línea 2: | Línea 2: | ||
Una operación binaria es '''conmutativa''' cuando el resultado de la operación es el mismo cualquiera que sea el orden de los elementos con los que se opera. |
Una operación binaria es '''conmutativa''' cuando el resultado de la operación es el mismo cualquiera que sea el orden de los elementos con los que se opera. |
||
== Definición algebraica == |
|||
Sea E un [[teoría de conjuntos|conjunto]] en el cual se ha definido una operación binaria o ley de composición interna *, es decir una aplicación:<br /> |
|||
<center><math> \begin{matrix} E \times E & \longrightarrow & E \\ |
|||
(x,y) & \longmapsto & x \star y |
|||
\end{matrix} </math></center> |
|||
Se dice que * es '''conmutativa''' si verifica para todo (x,y) de E×E la igualdad '''x * y = y * x'''. Escrito formalmente: |
|||
<center><math>\forall (x,y) \in E^2, \quad x \star y = y \star x. </math></center> |
|||
[[Archivo:Conmutatividad_por_diagrama.png|left|diagrama correspondiente a la conmutatividad]] |
|||
Este diagrama ilustra la conmutatividad: '''p''' es la [[permutación y grupo simétrico|permutación]] de las variables ''x'' e ''y''. |
|||
Da el mismo resultado recorrer la flecha horizontal, es decir aplicar la operación * que recorrer la flecha vertical (permutar las variables) y luego la diagonal (aplicar * ).<br /> |
|||
Estos diagramas, donde el resultado no depende del trayecto sino sólo del punto de partida y el de llegada se llaman [[diagrama conmutativo|diagramas conmutativos]] (sí, con la misma palabra). Se suele indicar esta propiedad con un círculo inscrito en el "ciclo". |
|||
Por convención, si una operación se escribe con el símbolo '''+''', siempre se supone que es conmutativa. Esta convención no es válida para el producto '''×''' ni '''·''' pues, por ejemplo, el producto de [[matriz (matemática)|matrices]] '''no es''' conmutativo en dimensión superior a 1, ni el de los [[cuaterniones|números cuaterniones]]. El [[producto vectorial]] tampoco es conmutativo. |
|||
== Ejemplos == |
== Ejemplos == |
Revisión del 00:03 25 feb 2010
![](http://upload.wikimedia.org/wikipedia/commons/thumb/3/36/Commutative_Addition.svg/400px-Commutative_Addition.svg.png)
Una operación binaria es conmutativa cuando el resultado de la operación es el mismo cualquiera que sea el orden de los elementos con los que se opera.
Ejemplos
- En el conjunto C de los números complejos, y por restricción, en el conjunto R de los números reales, la suma (adición) y el producto (multiplicación) son operaciones conmutativas.
- La suma en los espacios vectoriales es conmutativa.
- La suma de funciones también.
- La reunión y la intersección en la teoría de conjuntos y más generalmente la suma y el producto de las álgebras de Boole.
Generalización
![](http://upload.wikimedia.org/wikipedia/commons/4/46/Simetr%C3%ADa_por_diagrama.png)
Se generaliza el concepto a toda clase de aplicaciones (aquí el dominio y el codominio no tienen relación a priori) de dos ó más variables, y se habla de "simetría" en vez de conmutatividad:
- f, función de dos variables es simétrica si para todo (x,y), f(x,y) = f(y,x).
- Una función de n variables es simétrica si no cambia su valor cuando se permuta sus argumentos: con tres variables se obtiene:
Estas propiedades están contenidas en el diagrama conmutativo siguiente:
donde p es la permutación de dos variables, id es la aplicación identidad.
El diagrama se resume en: f o (p×id) = f o (id×p) = f, donde o denota la composición de las funciones.
- En álgebra lineal, existe un concepto "opuesto": la antisimetría, propiedad que dice que la permutación de dos variables implica un cambio de signo: f(y,x) = - f(x,y).
- El contenido de este artículo incorpora material de una entrada de la Enciclopedia Libre Universal, publicada en español bajo la licencia Creative Commons Compartir-Igual 3.0.