Conmutatividad

Conmutatividad
Ejemplo mostrando la conmutatividad de la adición (3 + 2 = 2 + 3).

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.

Contenido

Definición algebraica

Sea E un conjunto en el cual se ha definido una operación binaria o ley de composición interna *, es decir una aplicación:

 \begin{matrix} E \times E & \longrightarrow & E \\
                      (x,y) & \longmapsto & x \star y 
\end{matrix}

Se dice que * es conmutativa si verifica para todo (x,y) de E×E la igualdad x * y = y * x. Escrito formalmente:

\forall (x,y) \in E^2, \quad x \star y = y \star x.
diagrama correspondiente a la conmutatividad

Este diagrama ilustra la conmutatividad: p es la 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 * ).

Estos diagramas, donde el resultado no depende del trayecto sino sólo del punto de partida y el de llegada se llaman diagramas conmutativos (sí, con la misma palabra). Se suele indicar esta propiedad con un círculo inscrito en el "ciclo12313131131313".

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 matrices no es conmutativo en dimensión superior a 1, ni el de los números cuaterniones. El producto vectorial tampoco es conmutativo.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

Generalización

Simetría 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:
f(x,y,z) = f(y,z,x) = f(z,x,y) = f(x,z,y) = f(z,y,x) = f(y,x,z).

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).

Véase también

Referencias


Wikimedia foundation. 2010.

См. также в других словарях:

  • conmutatividad — f. Cualidad de conmutativo …   Diccionario de la lengua española

  • Conmutatividad — ► sustantivo femenino Calidad de conmutativo. * * * conmutatividad f. Cualidad de conmutativo. * * * conmutatividad. f. Cualidad de conmutativo. * * * Sea E un conjunto en el cual se ha definido una operación binaria interna *, es decir una… …   Enciclopedia Universal

  • conmutatividad — {{#}}{{LM C09965}}{{〓}} {{[}}conmutatividad{{]}} ‹con·mu·ta·ti·vi·dad› {{《}}▍ s.f.{{》}} Carácter de lo que conmuta, puede conmutar o tiene propiedad conmutativa: • La conmutatividad de la suma permite cambiar el orden de los sumandos sin alterar… …   Diccionario de uso del español actual con sinónimos y antónimos

  • conmutatividad — s f (Mat) Propiedad de ciertas operaciones matemáticas como la suma y la multiplicación, que consiste en la posibilidad de cambiar el orden de sus elementos sin que se altere su resultado. Por ejemplo: 3+2=2+3 …   Español en México

  • conmutatividad, ley de — Dos leyes estrechamente relacionadas sobre operaciones numéricas. En símbolos, se enuncian así: a + b = b + a y ab = ba. En palabras: cantidades a sumar o a multiplicar pueden combinarse en cualquier orden. Más en general, si dos procedimientos… …   Enciclopedia Universal

  • Anillo local — Saltar a navegación, búsqueda En Álgebra abstracta, los anillos locales son ciertos anillos comparativamente simples y que sirven para describir el comportamiento local de las funciones definidas sobre variedades algebraicas o variedades… …   Wikipedia Español

  • Disyunción lógica — Para el dispositivo electrónico, véase Puerta lógica. OR Compuerta lógica. En matemáticas, una disyunción lógica (comúnmente conocida como O, ó ) es un operador lógico que resulta en verdadero si cualquiera de los operadores es …   Wikipedia Español

  • Teoría de cuerpos — La teoría de cuerpos es una rama de la matemática que estudia las propiedades de los cuerpos. Un cuerpo es una entidad matemática para la cual la adición, sustracción, multiplicación y división están bien definidas. Contenido 1 Historia 2… …   Wikipedia Español

  • Axiomas de Wightman — Saltar a navegación, búsqueda Los axiomas de Wightman constituyen uno de los enfoques existentes para construir una teoría cuántica de campos rigurosa, que combine los requerimientos relativistas y los principios cuánticos. Contenido 1 W0… …   Wikipedia Español

  • Triángulo de Pascal — Este artículo o sección sobre matemáticas necesita ser wikificado con un formato acorde a las convenciones de estilo. Por favor, edítalo para que las cumpla. Mientras tanto, no elimines este aviso puesto el 16 de agosto de 2011. También puedes… …   Wikipedia Español


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»