Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Conmutatividad
Conmutatividad
1 Denicion
= De hecho, la conmutatividad es un caso particular del
concepto de funcin simtrica. En efecto, una operacin
binaria en M no es ms que una aplicacin : M M
=
=
1
2 4 ESTRUCTURAS ALGEBRAICAS Y CONMUTATIVIDAD
extensin del cuerpo de los nmeros reales, pero con tres 4 Estructuras algebraicas y con-
unidades imaginarias i, j, k en lugar de una. La multipli-
cacin de H no es conmutativa,[1] ya que por ejemplo ij
mutatividad
= k, es diferente de ji = -k.
Una estructura algebraica viene dada por uno o varios
En contraste con las operaciones de adicin y mul-
conjuntos dotados de operaciones binarias u operaciones
tiplicacin, las operaciones que las permiten invertir,
externas. En la denicin de cada tipo de estructura al-
sustraccin y divisin, son claramente no conmutativas.
gebraica impone que estas operaciones cumplan ciertas
Basta poner un par de ejemplos:
propiedades, entre las que puede estar la propiedad con-
mutativa. Cuando en alguna de estas operaciones no se
La substraccin no es conmutativa, ya que 1-2 = 2- impone que satisfaga la propiedad conmutativa pero sin
1. embargo la satisface, entonces se aade el adjetivo con-
La divisin no es conmutativa, ya que 1/2 = 2/1. mutativo el nombre de la estructura en cuestin.[4]
Ntese que para poder efectuar estos clculos hay que Un magma es un conjunto dotado de una operacin
trabajar en el sistema numrico apropiado: Z para poder binaria. Cuando esta es conmutativa se llama magma
restar, y Q para poder dividir por un nmero diferente de conmutativo.
0
Un monoide es un conjunto dotado de una operacin
asociativa con elemento neutro. Si tambin es con-
3 Propiedades mutativa, se dice monoide conmutativo. Por ejem-
plo, (N,+) y (N,) son monoides conmutativos.
Es importante destacar que para sacar provecho de la con-
mutatividad de una operacin es necesario que sta sea Un grupo es un conjunto dotado de una operacin
asociativa, ya que en este caso la composicin de n ele- asociativa, con elemento neutro, y donde todo ele-
mentos x1 , , xn se puede representar (sin parntesis) mento es simetritzable. Si la operacin es conmuta-
como x1 xn. Por ejemplo[2][3] tiva se llama grupo conmutativo o grupo abeliano.
Por ejemplo, (Z,+) es un grupo conmutativo.
(Teorema de conmutatividad) Si una operacin es
Un anillo es un conjunto A dotado de dos operacio-
asociativa y conmutativa entonces la composicin
nes binarias, habitualmente denotadas con notacin
de n elementos se puede calcular en
aditiva (+) y notacin multiplicativa (). Respecto
a la primera, (A,+) es un grupo conmutativo. Res-
para cualquier permutacin (y 1,..., y n) de los pecto a la segunda, (A,) es un monoide. Adems,
ndices (1,..., n ). la segunda debe ser distributiva respecto a la pri-
mera. Cuando la multiplicacin es conmutativa, se
Si una operacin asociativa y dos elementos x, y llama anillo conmutativo. Por ejemplo, (Z,+, ) es
conmutan, entonces tambin conmutan sus potencias: un anillo conmutativo.
(m x) (n y) = (n y) (m x) , para cualesquiera m
y n nmeros naturales no nulos. En particular, todas las Un cuerpo es un anillo donde 01 y todo elemen-
potencias n x (n> 0) conmutan entre ellas. to no nulo es invertible. Un cuerpo se llama cuerpo
conmutativo cuando la multiplicacin es conmuta-
Sea operacin asociativa en M. Si x conmuta con tiva. Por ejemplo, con la suma y producto habituales,
y y con z, entonces tambin conmuta con y z Q, R y C son cuerpos conmutativos, mientras que el
cuerpo de los cuaterniones H es un cuerpo no con-
mutativo. (Ntese, sin embargo, que algunos auto-
3.1 Centro res preeren requerir la conmutatividad del produc-
to dentro de la denicin de cuerpo, en cuyo contex-
Dado un conjunto M con una operacin interna, el centro to los cuerpos no conmutativos son llamados anillos
de M es el subconjunto formado por los elementos que de divisin.)
conmutan con todos los dems; a veces se representa por
Z(M). Armar que la operacin es conmutativa signica Un espacio vectorial sobre un cuerpo K es un con-
que el centro de M es todo M. junto E dotado de una adddici respecto a la que
Como consecuencia de la ltima de las propiedades ante- (E,+) es un grupo conmutativo, y de una opera-
riores, si la operacin es asociativa entonces el centro de cin externa que permite multiplicar elementos de
M es una parte estable para la operacin (es decir, si dos E (vectores) para elementos de K (escalares). Si en
elementos x, y pertenecen al centro entonces x tambin lugar de un cuerpo se considera un anillo la estruc-
pertenece.) tura resultante se llama mdulo.
3
Dado un cuerpo conmutativo K (o, ms generalmen- Annales de Gergonne,[9][10][11] donde aparece la expre-
te, un anillo conmutativo), una K-lgebra es un con- sin en francs conmutativas entre ellas para describir,
junto A dotado de una estructura de K-espacio vec- en la terminologa actual, el hecho de que dos funciones
torial (K-mdulo si K es un anillo) y de una segunda conmutan. En 1841 Duncan Farquharson Gregory us la
operacin binaria, usualmente representada con no- expresin en ingls commutative law en su libro Examples
tacin multiplicativa. Cuando esta operacin es con- of the processes of the dierential and integral calculus[12]
mutativa se llama K-lgebra conmutativa. Por ejem- para referirse a la posibilidad de conmutar dos operacio-
plo, C y H son R-lgebras asociativas y unitarias; la nes. Este uso fue recogido poco despus, en 1844, por
primera es conmutativa y la segunda no. Otro ejem- George Boole en un artculo en Philosophical Transac-
plo de gran importancia es el conjunto de los poli- tions.[13]
nomios en una variable con coecientes en K, K[X],
que con las operaciones habituales de suma y pro-
ducto de polinomios y de producto por escalares es 6 Otros usos y ejemplos de conmu-
una K-lgebra asociativa, conmutativa y unitaria.
tatividad
Hay, sin embargo, un caso especial en el que el adjetivo
conmutativo no tiene exactamente el mismo signicado 6.1 Lgica proposicional
que en los casos anteriores:
La propiedad conmutativa tambin es aplicable a algunas
Una K-lgebra de Lie es una K-lgebra que su pro- operaciones de la lgica proposicional. En lgica propo-
ducto, usualmente denotado por (x,y) 7 [x,y], satis- sicional, la conmutacin se encuentra en algunas reglas
face las propiedades de ser alternado ([x,x] = 0 para de sustitucin:
todo x) y la identidad de Jacobi. Se dice que es una
K-lgebra de Lie conmutativa cuando el producto
de dos elementos cualesquiera es nulo: [x,y]=0.[5] (P Q) (Q P )
Conmutatividad de la equivalencia (tambin llamada ley es el mismo. Un ejemplo que utiliza la conmutatividad
conmutativa completa de la equivalencia) de la adicin se observa cuando se paga un producto o
servicio con monedas: independientemente del orden en
que se den en el cajero, el total acumulado siempre es el
(P Q) (Q P ) mismo.
En la vida cotidiana se pueden encontrar numerosos En la vida del da a da se pueden encontrar multitud de
ejemplos de operaciones conmutativas, como por ejem- ejemplos de operaciones no conmutativas. Un ejemplo
plo la accin de ponerse los calcetines: no importa qu sencillo podra ser el de lavar y planchar la ropa: las accio-
calcetn se ponga primero, de cualquiera de las dos ma- nes de lavar y planchar (en este orden) producen un resul-
neras el resultado nal (tener los dos calcetines puestos) tado diferente que planchar y luego lavar. Otro ejemplo
12.1 Asociatividad 5
x+y
m(x, y) = .
11.1 En un grupo 2
Esta operacin es claramente conmutativa (el intercam-
En un grupo, el conmutador de dos elementos x e y es el
bio entre x e y no afecta el resultado nal porque se trata
elemento
de una suma) pero no es asociativa, ya que, por ejem-
plo, m(1,m(2,3)) = 7/4, pero m(m(1,2),3) = 9/4. Al no
[x, y] = x1 y1 xy. ser asociativa no se puede aplicar el teorema de conmu-
tatividad, como se ve por ejemplo en que m(1,m(2,3))
(Tambin se puede denir con otro convenio, invirtiendo m(2,m(1,3)).
las segundas x e y en lugar de las primeras.) Est claro que Existe una relacin interesante entre asociatividad y con-
[x,y] = e (elemento neutro del grupo) si x e y conmutan. mutatividad. Consideremos un conjunto M dotado de
Un grupo es conmutativo sii todos los conmutadores son una operacin que representaremos multiplicativamente.
el elemento neutro. Consideremos, para cada a de M, las correspondientes
El conjunto de los conmutadores de un grupo G no es por traslaciones por la izquierda y la derecha:
lo general un subgrupo, pero genera un subgrupo normal
llamado subgrupo de los conmutadores o subgrupo deri- La: M M, La(x) = ax,
vado. El cociente G / D de G por su subgrupo derivado es
un grupo conmutativo llamado grupo abelianitzat de G; Ra: M M, Ra(x) = xa.
es el ms grande de los cocientes conmutativos de G.
La asociatividad de la operacin signica que (xy)z =
x(yz) para cualesquiera x,y,z. Pero esta expresin se puede
11.2 En un anillo o un lgebra escribir Rz Lx (y) = Lx Rz (y), por lo que la operacin
es asociativa si toda traslacin por la izquierda conmuta
En un anillo o, ms generalmente, en un lgebra, el con- con toda traslacin por la derecha.
mutador de dos elementos x e y es el elemento
10 14 Referencias
8 [1] Bourbaki, 1970, p. A III.19.
6
4 [2] Bourbaki, 1970, p. A I.8.
En mecnica cuntica, tal como la formul Schrdinger, [13] Boole, 1844, p. 225.
las magnitudes observables fsicas se corresponden con
[14] Bourbaki, 1970., p. E II.23..
un cierto tipo de operadores lineales, los operadores au-
toadjuntos en un espacio de Hilbert apropiado. Por ejem- [15] Bourbaki, 1970., p. E III.26..
plo, en un movimiento unidimensional la posicin x y
la cantidad de movimiento p de una partcula estn re- [16] Cantor, 2006, p. 131.
presentadas respectivamente por los operadores x y p . [17] Halmos,, p. 83-84.
Cuando el estado del sistema se representa mediante una
funcin de onda (x) de L2 (R), entonces estos operado- [18] Bourbaki, 1970, p. A II.182.
res interpretan como x = x (x) (multiplicar por x)
y p = i d/dx (donde es la constante de Planck re-
ducida). Estos dos operadores no conmutan, tal como se 15 Bibliografa
puede comprobar considerando el resultado de compo-
nerlos actuando sobre (x) (omitimos el factor constante
-i): 16 Vase tambin
(d ) Anticonmutatividad
x dx = x diferente de d
dx (x(x)) =
+ x Propiedad distributiva
18.2 Imgenes
Archivo:Commutative_Addition.svg Fuente: https://upload.wikimedia.org/wikipedia/commons/3/36/Commutative_Addition.svg Li-
cencia: CC-BY-SA-3.0 Colaboradores: self-made using previous GFDL work by Melchoir Artista original: Weston.pace. Attribution: Apples
in image were created by Melchoir
Archivo:Commutative_Word_Origin.PNG Fuente: https://upload.wikimedia.org/wikipedia/commons/d/da/Commutative_Word_
Origin.PNG Licencia: Public domain Colaboradores: Annales de Gergonne, Tome V, pg. 98 Artista original: Francois Servois
Archivo:Symmetry_Of_Addition.svg Fuente: https://upload.wikimedia.org/wikipedia/commons/4/4a/Symmetry_Of_Addition.svg Li-
cencia: Public domain Colaboradores: Trabajo propio Artista original: Weston.pace