¿CUADRADOS NEGATIVOS? Luis Gómez-Sánchez Universidad de Oriente. Venezuela. [email protected] Ejemplos de supuestos cuadrados negativos no dados por la unidad imaginaria en ℂ, podrían presentarse fácilmente en los anillos de clases residuales módulo n. Así por ejemplo en ℤ/5ℤ se tiene (2)2 = 1 y en ℤ/13ℤ se tiene (5)2 = 1 (donde también se tiene (3)2 + (4)2 = 1 y en general se demuestra que en todo cuerpo finito todo elemento es suma de dos cuadrados). Otro ejemplo sería la matriz M = tiene también M2 = 1 donde para la cual se 1 ¿Pero acaso son buenos ejemplos los que preceden? ¿Qué significa la palabra negativo en los anillos correspondientes? En principio nada, porque en dichos anillos no se define una relación estándar de orden, similar a la conocida en ℝ (la que define x < 0). Además en el anillo ℤ/nℤ todo elemento no nulo “sería” a la vez positivo y negativo lo que prácticamente equivaldría a volver inútiles en ℤ/nℤ dichos términos. Notemos desde ahora que los vocablos positivo y negativo se deben en el conjunto de los números reales al orden usual el cual es total sobre ℝ, lo que significa que dos reales arbitrarios son siempre comparables, es decir, o bien son iguales o bien uno es mayor que el otro. Esto es clave para lo que queremos aquí responder: ¿Cuándo, en conjuntos X no contenidos en ℂ, un cuadrado puede ser negativo? Aclaremos que esta pregunta es defectuosa porque, en particular, no dice lo que significa “negativo” en X. Es más propio preguntar en qué clase de conjuntos X, distintos de ℂ, la ecuación x2 = 1, o su equivalente x2 + 1 = 0, tiene solución. Y vale decir al paso que también en X deben entonces estar definidas una suma y una multiplicación (ésta para que tenga sentido inmediato x2), así como también dos elementos notados 1 y 0. La pregunta es entonces obviamente pertinente cuando X es un anillo o cuerpo (¿cuántas soluciones, distintas de la M del ejemplo dado al comienzo, habrá en el correspondiente anillo de matrices?.....). Y si se quiere que tenga sentido hablar de elementos negativos, debe además el anillo X estar provisto de una relación de orden. Seguiremos con esto más adelante. ********************* 1 El interesante artículo, Hablando de cuadrados negativos, muy laudable en su intención pedagógica y que aparece en el número 39 de esta REOIM, expone un ejemplo en que no se da ningún significado contextual a la palabra “negativo”. Agreguemos que dicho ejemplo es lo que los geómetras contemporáneos llaman un conjunto algebraico, el cual resulta ser una cúbica que no es irreducible por constar de dos conjuntos algebraicos irreducibles, a saber, una recta y una cónica no degenerada en dos rectas. Pero es una cúbica (producto de un polinomio lineal por otro de segundo grado) y la ley de composición que usualmente se define en las cúbicas irreducibles y que da lugar a la teoría de curvas elípticas (una rama importantísima y muy activa de la matemática actual) es consagradamente notada como suma y no como multiplicación. (El producto G2 del ejemplo comentado, en el cual se usa una notación multiplicativa pasaría a ser G + G). Además esta multiplicación (cuya asociatividad es demostrada de muy bonito modo) es prácticamente la misma que la suma de las cúbicas elípticas (cuando tres puntos A, B y C son colineales se tiene en las curvas elípticas A + B + C = 0 mientras que en el ejemplo citado se tendría ABC = 1 si no se exceptuaran los puntos C de la recta h), con la sola diferencia que se ha tomado el punto fijado F como elemento neutro en vez del usual punto del infinito y que no se define el producto para puntos de la recta h; por lo demás, sabemos determinarlo pero no debe ser claro para un escolar cuál punto de la cónica es AB si los puntos A y B determinan una línea paralela a dicha recta h. ********************* UN EJEMPLO NOTABLE.- En el cuerpo no conmutativo ℍ de los cuaterniones, o cuaternios, definidos sobre ℝ, se tiene una infinidad no numerable de soluciones de la ecuación x2 + 1 = 0 (¡Recordar que si el cuerpo de coeficientes fuese conmutativo debería haber a lo sumo sólo dos soluciones!) con la particularidad de que el 1 que aquí figura, sí puede propiamente “identificarse” con el número real 1, tal como sucede en ℂ. (En efecto, ℍ contiene una copia de ℂ al mismo título que ℂ contiene una copia de ℝ). Recordar que ℝ2 referido a la base canónica {(1, 0), (0, 1)} es un espacio vectorial real en el que para los vectores a = (a1, a2) y b = (b1, b2) se puede definir una multiplicación ab = (a1b1 – a2b2, a1b2 + a2b1). Así ℝ2, provisto de esta multiplicación y de la suma proveniente de su estructura de espacio vectorial, deviene un cuerpo conmutativo que se identifica con ℂ. (En [1] se puede ver una demostración sencilla de que en ℝ3 es imposible actuar de una manera similar. Pero en ℝ4 sí es posible hacerlo y lo que se obtiene es el cuerpo ℍ, el primero no conmutativo en ser descubierto, en 1843 por Hamilton, de donde la consagrada letra ℍ para su notación. Y no hay otro espacio vectorial real ℝn que pueda convertirse en 2 un cuerpo, de acuerdo a un teorema de Frobenius (1878). Salvo isomorfismos, sólo ℝ, ℂ y ℍ, de dimensión 1, 2 y 4 respectivamente). El conjunto de los cuaternios es definido por ℍ = {a1 + bi +cj + dk / a, b, c, d ∈ ℝ} donde {1, i, j, k} es la base canónica {(1, 0, 0, 0), (0, 1, 0, 0), (0, 0, 1, 0), (0, 0, 0, 1)} de ℝ4 sobre ℝ cumpliéndose por definición los productos i2 = j2 = k2 = ijk = 1 de donde se deduce que ij = ji = k, jk = kj = i, ki = ik = j lo que define componente a componente una multiplicación asociativa en ℍ. Abreviadamente se puede notar a = (a1, a2, a3, a4) y b = (b1, b2, b3, b4) y entonces a las conocidas suma y producto por un escalar, a + b = (a1+b1, a2+b2, a3+ b3, a4+ b4) y λ a = (λa1, λa2, λa3, λa4), se agrega la multiplicación ab = (p1, p2, p3, p4) donde p1 = a1b1 a2b2 a3b3 a4b4 p2 = a1b2 + a2b1 + a3b4 a4b3 p3 = a1b3 a2b4 + a3b1 + a4b2 p4 = a1b4 + a2b3 a3b2 + a4b1 Se puede verificar que por lo general ab ba si bien la sola igualdad ij = ji dice ya de por sí que esta multiplicación no es conmutativa. Se ve fácilmente que 0 = (0, 0, 0, 0) y 1 = (1, 0, 0, 0) son, respectivamente, elementos neutros de la suma y de la multiplicación en ℍ y que tiene sentido plantearse en ℍ la ecuación x2 + 1 = 0. Todo cuaternio a a* = (a1, a2, a3, 0 posee un inverso único a-1 = a* donde a4) es el cuaternio conjugado de a (nótese la similitud con ℂ ). Provisto de la suma y multiplicación precedentes, se puede verificar que ℍ es un cuerpo y se deduce fácilmente que los cuaternios solución de la ecuación x2 + 1 = 0 son todos aquellos x = (0, b, c, d) tales que b2 + c2 + d2 = 1, es decir todo punto de la esfera unidad proporciona un cuaternio cuyo cuadrado es igual a – 1. ********************* Pasamos a deducir formalmente una respuesta a la pregunta ¿En qué clase de conjuntos X, la ecuación x2 = 1 tiene solución? (Se ha visto al comienzo que X debe ser un anillo o un cuerpo). Para ello generalizaremos a cuerpos abstractos, propiedades bien conocidas del cuerpo ordenado ℝ de los números reales. Con respecto a su suma, ℝ es un grupo conmutativo provisto de un orden que es compatible con dicha suma, es decir, si para x, y, z ∈ ℝ se tiene x ≤ y, entonces x + z ≤ y + z. Además los términos positivos son aquellos x∈ ℝ tales que 0 ≤ x, los negativos siendo los opuestos –x de los x positivos. 3 (se requiere para nuestro propósito que el cero sea a la vez positivo y negativo por lo cual los x tales que 0 < x son dichos estrictamente positivos y similarmente con los negativos) Con respecto a la multiplicación, ℝ* = ℝ \ {0} es un grupo conmutativo que es también dicho compatible con el orden, en el sentido de que si para x, y ∈ ℝ se tiene x ≤ y, entonces xz ≤ yz para todo positivo z ∈ ℝ. Así, notando P al conjunto de todos los positivos en ℝ, se cumple que P + P ⊂ P, P.P ⊂ P, y P P) = {0}, es decir, toda suma y todo producto de positivos es positivo y el único elemento a la vez positivo y negativo es 0. Como dos reales arbitrarios son siempre comparables, el orden usual es total lo que equivale a decir que P P) = ℝ. Se recuerda que una relación binaria ≼ en un conjunto S es una relación de orden si ella es: 1) Reflexiva: a ≼ a, 2) Transitiva: a ≼ b y b ≼ c implica a ≼ c, 3) Antisimétrica: a ≼ b y b ≼ a implica a = b para todos a, b, c en S. Cuando todo par de elementos es comparable el orden es dicho total. EJEMPLOS: El orden usual en ℕ es un orden total. La relación de divisibilidad en ℕ es un orden que no es total. En el conjunto de partes del conjunto {a, b, c, d}, la relación de inclusión ⊂ define un orden que no es total. Se dice que A es un anillo ordenado cuando se define una relación de orden en A. Los elementos positivos y negativos se definen como usualmente en ℝ, es decir, todo elemento x tal que 0 ≤ x es dicho positivo y todo x ≤ 0 es negativo. (Asimismo se hereda nociones como mayor que, menor que, signos iguales o contrarios, mayorante, minorante, máximo, mínimo, sucesor (cuando existe), etc y se verifica para la multiplicación la ley escolar de los signos). En un anillo ordenado, a ≼ b ⇐⇒ 0 ≼ b a por lo cual la relación de orden está completamente determinada por el conjunto P de los elementos positivos. Un anillo totalmente ordenado A, es un anillo conmutativo, con unidad y cero distintos, provisto de un orden total ≼ compatible con la suma y con el producto, tal como hemos visto en ℝ, es decir 1) a ≼ b implica a +c ≼ b + c para todos a, b, c en A. 2) a ≼ b implica ac ≼ bc para todos a, b, c en A con c positivo. 4 Un cuerpo totalmente ordenado es un anillo totalmente ordenado A que es un cuerpo, es decir todos los elementos no nulos son inversibles, o lo que es lo mismo, A* = A \ {0} es un grupo multiplicativo. EJEMPLOS: ℤ con el orden usual es un anillo totalmente ordenado. El anillo ℝ[x] de todos los polinomios en una variable y a coeficientes reales es totalmente ordenado para la relación definida por P(x) ≼ Q(x) ⇐⇒ an ≥ 0, siendo Q(x) – P(x) = anxn + an-1xn-1 + ⋯ + a1x + a0. En cambio ni ℂ, ni ℍ, ni todos los cuerpos finitos ℤ /pℤ de clases módulo un primo p admiten un orden que los haga anillos totalmente ordenados. Se demuestra fácilmente que el conjunto P de los elementos positivos de un anillo ordenado A satisface las propiedades P + P ⊂ P, P.P ⊂ P, P P) = {0} que hemos visto se satisfacen en el caso de ℝ. Se verifica, recíprocamente, que si P es un subconjunto de un anillo conmutativo A satisfaciendo estas tres propiedades existe entonces un único orden compatible sobre el anillo A y que admite P como el conjunto de los elementos positivos (ver ejemplo 1 al final). Se define la característica de un cuerpo K como el menor entero no negativo n tal que la suma de n veces 1 es igual a 0 donde 1 y 0 son, respectivamente, los elementos neutros de la multiplicación y de la suma en K. Los cuerpos finitos ℤ /pℤ de clases módulo un primo p tienen característica p. El cuerpo ℚ de los números racionales tiene característica 0 y todo cuerpo que contenga ℚ como subcuerpo tiene entonces la misma característica. TEOREMA.- Sea K un anillo totalmente ordenado; se tiene entonces: a) Todo cuadrado en K es positivo b) La característica de K es 0 DEMOSTRACIÓN: a) Si x es positivo su cuadrado es positivo y si x es negativo su opuesto –x es positivo por lo cual (–x)2 es positivo. Como el orden es total, es decir P P) = K, no existen en K cuadrados negativos. b) 1 es positivo porque (1)2 = 1. Si la característica fuera n > 0 se tendría que la suma de n-1 veces 1 sería igual a 1 lo que se opone a que la suma de positivos sea positiva (por definición 1 0). Este teorema demuestra lo ya dicho previamente: ningún cuerpo finito puede ser totalmente ordenado porque la característica es mayor que 0 y ℂ tampoco porque posee cuadrados negativos. 5 Si un cuerpo K está provisto de una relación de orden no total, compatible con la suma y la multiplicación, se puede demostrar que K posee elementos cuyo cuadrado no es positivo. EJEMPLOS DE ÓRDENES EN ℂ.- Ningún orden compatible con la suma y la multiplicación que se defina sobre ℂ puede ser total por el teorema precedente pero existen en ℂ órdenes totales que no son compatibles. En los tres ejemplos siguientes, se deja como ejercicio verificar que la relación notada ≼ define en efecto una relación de orden en ℂ. EJEMPLO 1 (La única extensión compatible del orden usual ≤ de ℝ): Identificando por comodidad ℂ con ℝ2, se define un orden por (a, b) ≼ (c, d) ⇐⇒ a ≤ c y b ≤ d Es claro en la figura que los únicos elementos comparables con z = (a, b) son los (x, y) situados en la zona amarilla (no acotada, por supuesto) lo que pone en evidencia que el orden ≼ no es total y es además claro que ≼ es compatible con la suma. Para verificar que ≼ es compatible también con la multiplicación de ℂ, determinamos el conjunto P de los correspondientes elementos positivos. Se requiere que si x ≼ y entonces xz ≼ yz para todo z = (z1, z2) ∈ P, es decir que si x = (x1, x2), y = (y1, y2) se debe tener en ℝ las dos desigualdades x1z1 – x2z2 ≤ y1z1 – y2z2 x1z1 + x2z2 ≤ y1z1 + y2z2 Se deduce fácilmente que z1 ≥ 0. Si z2 0, entonces la correspondiente forma polar del número complejo z, es decir z = r(cosθ + isenθ) = reiθ deja ver claro que existe una potencia n n inθ zn de z cuya primera componente es estrictamente negativa (porque z = r e con – ≤θ≤ ). Esto niega la propiedad P.P ⊂ P y por lo tanto P= {(x, 0) ∈ ℂ / x ≥ 0} que es la imagen en ℂ del conjunto de los positivos de ℝ por la función inyectiva que aplica x 6 en (x, 0). La restricción de ≼ al eje real coincide con el orden usual ≤. Obviamente P P) ℂ por lo cual el orden ≼ no es total lo que ya sabíamos por la figura. EJEMPLO 2 (Orden total pero no compatible): Se define (a, b) ≼ (x, y) como equivalente al hecho de que o bien a < x o bien b ≤ y cuando a = x. (Este es el orden lexicográfico, que se usa para las palabras en los diccionarios sobre la base del orden total ≼ definido en el alfabeto tal que a ≺ b ≺ c ≺ ⋯⋯ ≺ x ≺ y ≺ z). Es claro que es total porque necesariamente se tiene en toda ocasión (a, b) ≼ (x, y) o bien (x, y) ≼ (a, b) para todos (a, b) y (x, y), es decir estos dos elementos arbitrarios son siempre comparables. No es compatible porque (0, 0) ≼ (0, 1) = i pero i2 = 1 = (1, 0) ≼ (0, 0) y no se cumple entonces P.P ⊂ P. EJEMPLO 3 (Orden compatible que no es extensión del orden usual ≤ de ℝ): Se define un orden en ℂ por (a, b) ≼ (x, y) ⇐⇒ a ≤ x y b = y En la figura es evidente que el orden no es total --porque los únicos elementos comparables con z = (a, b) son los que están en la línea celeste—y que los elementos positivos son de la forma (x, 0), con lo cual se deduce fácilmente que el conjunto P de los elementos positivos se reduce a un punto y entonces se verifica trivialmente la compatibilidad de ≼ con la multiplicación de ℂ. Es clara además la compatibilidad con la suma de ℂ. Deduzcamos sin embargo el conjunto P: si x ≼ y se debe tener xz ≼ yz para todo z = (z1, z2) positivo, es decir que si x = (x1, c), y = (y1, c) y x1 ≤ y1 se deben cumplir en ℝ las dos condiciones 7 x1z1 – cz2 ≤ y1z1 – cz2 x1z1 + cz2 = y1z1 + cz2 lo que da z1 = 0. Por otro lado, (0, 0) ≼ (0, z2) de donde z2 = 0 por lo cual P = {(0, 0)}. Es claro que este orden no prolonga el orden usual de ℝ y entonces no puede ser total lo que ya sabíamos por la figura. ********************* REFERENCIAS [1]Algèbre linéaire et géométrie élémentaire (p. 197). Jean Dieudonné, Hermann, Paris 1964. (Hay edición en español). 8