Una raíz cuadrada de cualquier objeto algebraico, [matemática] y [/ matemática], es otro objeto algebraico, [matemática] x [/ matemática], tal que:
[matemáticas] \ quad x ^ 2 \ equiv x \ veces x = y [/ matemáticas]
En algunos contextos, escribimos [math] x = y ^ {\ frac12} [/ math] o [math] x = \ sqrt y [/ math] y podemos tener convenciones para asegurarnos de que estas expresiones tengan un valor único más de una [matemática] x [/ matemática] satisfactoria [matemática] x ^ 2 = y [/ matemática].
La raíz cuadrada de los números negativos causa cierta confusión porque para cualquier [matemática] 0> y \ in \ mathbb R, \ not \ exist x \ in \ mathbb R \ colon x ^ 2 = y [/ math]. Sin embargo, hemos inventado pares ordenados de [math] \ mathbb R [/ math] en los que:
- Cómo encontrar todos los morfismos de [math] \ mathcal D_ {1801} \ to U (\ mathbb {Z} _ {1801}) [/ math]
- ¿Cuál es la gráfica de | sin x | y pecado | x | y respectivamente la gráfica de | cos 3x | y cos | x | ?
- ¿Por qué una función exponencial no es un polinomio?
- Cómo encontrar el valor de log (base 4) de 6 sin usar la calculadora
- Si 3x + 2 = 14, ¿cuál es el valor de ‘x’?
[matemáticas] \ quad (0,1) \ veces (0,1) = (- 1,0) [/ matemáticas]
Inyectando inteligentemente números en estos pares ordenados usando la equivalencia simple [math] x \ equiv (x, 0) [/ math] encontramos que los números negativos tienen una raíz cuadrada en estos pares ordenados, a saber:
[matemáticas] \ quad (0, \ sqrt {-y}) ^ 2 = (y, 0) \ equiv y [/ matemáticas]
Mientras hablemos de pares ordenados, la gente está bien. Introduzca una abreviatura de [math] i \ equiv (0,1) [/ math] y
[matemáticas] \ quad (x, y) \ equiv x + iy [/ matemáticas]
sin embargo, y la gente se asustará con los llamados números “imaginarios” y se lanzará contra [math] i = \ sqrt {-1} [/ math].
Estos pares ordenados resultan ser extraordinariamente útiles, algebraicamente completos y muy importantes. Tienen su propio símbolo, [math] \ mathbb C [/ math]. Me gusta llamarlos números cardaneanos [1], pero generalmente se los llama números complejos a pesar de que son mucho menos complejos que, por ejemplo, Matrices.
[math] \ mathbb C [/ math] es una consecuencia muy natural del álgebra y su estructura da la impresión de estar simplemente “afuera” en lugar de ser inventado. [math] \ sqrt {-4} \ equiv \ sqrt {(- 4,0)} = (0, \ pm2) \ equiv \ pm2i [/ math] casi se nos impone en lugar de ser “decidido” …
Notas al pie
[1] La respuesta de Alan Bustany a ¿Qué propones como mejores nombres para los números “reales” y “complejos”? ¿Con qué nombres podríamos reemplazarlos en los próximos siglos?