11 votos

Una operación binaria, cerrada sobre los reales, que es asociativa, pero no conmutativa

Soy consciente de que la multiplicación de matrices, así como la composición de funciones, es asociativa, pero no conmutativa, pero ¿hay alguna otra operación binaria, concretamente cerrada sobre los reales, que mantenga esta propiedad? ¿Y puedes dar un ejemplo concreto?

0 votos

Multiplicación de matrices es composición de funciones (de funciones lineales), por lo que realmente sólo tienes un ejemplo.

48voto

Shabaz Puntos 403

Podemos definir $x \oplus y=y$ . Entonces $(x \oplus y) \oplus z =z= x \oplus (y \oplus z)$ pero $y=x \oplus y \neq y \oplus x=x$

4 votos

Un raro ejemplo de la buena respuesta de una sola línea. Iba a la versión para zurdos, pero entonces, soy zurdo.

1 votos

@hardmath: Yo también soy zurdo. Empecé con $\max$ pero la simetría lo hace conmutativo. Tal vez porque los números grandes están a la derecha me impulsó la versión de la derecha.

1 votos

Para un conjunto subyacente $\{0, 1\}$ de dos elementos, esta operación y su versión zurda (a la que es antiisomorfa) son los únicos ejemplos. Las otras operaciones asociativas, $0, 1, \wedge, \vee, \veebar, \not\veebar$ son todas conmutativas.

13voto

Milo Brandt Puntos 23147

Si ya sabes que la multiplicación de matrices es asociativa, pero no conmutativa, entonces puedes elegir tu biyección favorita $f:\mathbb R\rightarrow M_2(\mathbb R)$ ya que los dos conjuntos son equinuméricos. Entonces, definamos $a\oplus b = f^{-1}(f(a)f(b))$ para conseguir una operación en $\mathbb R$ que es asociativo, pero no conmutativo. Si quieres tener también inversos, entonces puedes reemplazar $f$ con su mapa favorito de $\mathbb R$ a la invertible $2\times 2$ matrices.

En general, sin más estructura, se está preguntando de forma equivalente: "¿Existe alguna operación asociativa, pero no conmutativa, definida sobre un dominio de cardinalidad $|\mathbb R|$ ?" ya que el papel de $\mathbb R$ en la pregunta no es más que un conjunto.

0 votos

FTR, esa operación no sólo sería no conmutativa, sino también extremadamente discontinua y fuertemente dependiente de la elección de la biyección. Esto no hace que sea un ejemplo menos válido, pero ciertamente está un poco en el lado patológico.

4 votos

Si una pregunta tiene una respuesta patológica válida, y si eso le molesta, entonces la pregunta era incorrecta.

0 votos

@RyanReich Una pregunta que me gustaría ver respondida aquí es si existe una operación de grupo topológico no abeliano en los reales.

3voto

Adrian Keister Puntos 588

Batominovski tiene otra respuesta en los comentarios a esta pregunta . Escribiré la comprobación:

Nuestro candidato es $x\circ y=|x|y$ . Entonces:

  1. ¿Asociación? Tenemos $(x\circ y)\circ z=(|x|y)\circ z=||x|y|z=|xy|z.$ Por otro lado, $x\circ(y\circ z)=x\circ(|y|z)=|x||y|z=|xy|z.$
  2. ¿No es conmutativo? $x\circ y=|x|y\not=|y|x=y\circ x$ .

Así que esta solución de Batominovski encaja en el proyecto.

1voto

Dietrich Burde Puntos 28541

Sí, hay muchos otros productos bilineales sobre un espacio vectorial dado que son asociativos pero no conmutativos. Por ejemplo, las álgebras asociativas reales (no necesariamente conmutativas), véase también esta pregunta de MO .

Además, el álgebra de cuaterniones es un álgebra de división real que es asociativa pero no conmutativa.

Edición: Has añadido que el álgebra debe ser parte de los números reales. Entonces también tu ejemplo con el álgebra matricial ya no funciona.

0 votos

He editado mi pregunta. Creo que no la he formulado correctamente.

0 votos

¿Los cuaterniones forman parte de los números reales? ¿O es que me he perdido por completo lo que intentas decir? Acabo de empezar a aprender álgebra abstracta.

0 votos

¿No es eso lo que significa "cerrado bajo los reales"?

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X