Ir al contenido

Seno polar

De Wikipedia, la enciclopedia libre

En geometría, el seno polar generaliza la función seno de un ángulo, al ángulo de vértice de un politopo. Se denota por psen (o psin en la bibliografía anglosajona).

Definición

[editar]

n vectores en el espacio n-dimensional

[editar]
Las interpretaciones de los volúmenes 3D de un cuboide (Ω en la definición de seno polar) (a la izquierda); y de un paralelepípedo (Π en la definición) (a la derecha). La interpretación es similar en dimensiones superiores

Sean v1, ..., vn (n ≥ 1) un conjunto de n vectores distintos de cero en un espacio n-dimensional (Rn) situados en un vértice de un paralelotopo, formando sus aristas. El seno polar del ángulo del vértice es:

donde el numerador es el determinante

que es igual al hipervolumen con signo del paralelotopo con aristas vectoriales[1]

y donde el denominador es el n-producto

de las magnitudes de los vectores, que es igual al hipervolumen de los hiperrectángulos n-dimensionales con aristas iguales a las magnitudes de los vectores ||v1||, ||v2||, ... ||vn|| en lugar de los propios vectores (véase también Ericksson).[2]

El paralelotopo es como un "hiperrectángulo aplastado", por lo que tiene menos hipervolumen que el hiperrectángulo, lo que significa que (véase la imagen para el caso 3d):

como para el seno ordinario, alcanzando el valor máximo solo en el caso de que todos los vectores sean mutuamente ortogonales entre sí.

Para el caso n = 2, el seno polar es el seno ordinario del ángulo comprendido entre los dos vectores.

En dimensiones superiores

[editar]

Se puede definir una versión no negativa del seno polar que funciona en cualquier espacio m-dimensional usando la matriz de Gram. El numerador se da como:

donde el superíndice T indica la matriz transpuesta. Esto puede ser distinto de cero solo si mn. En el caso m = n, esto es equivalente al valor absoluto de la definición dada anteriormente. En el caso degenerado m < n, el determinante será el de una matriz singular n × n, dando Ω= 0, porque no es posible tener n vectores linealmente independientes en el espacio m-dimensional.

Propiedades

[editar]

Intercambio de vectores

[editar]

El seno polar cambia de signo cada vez que se intercambian dos vectores, debido a la antisimetría del cambio de filas en el determinante. Sin embargo, su valor absoluto permanece sin cambios.

Invariancia bajo la multiplicación escalar de vectores

[editar]

El seno polar no cambia si todos los vectores v1, ..., vn son multiplicados escalarmente por constantes positivas ci, debido a la factorización

Si un número impar de estas constantes es negativo, entonces el signo del seno polar cambiará, aunque su valor absoluto permanecerá sin cambios.

Anulación con dependencias lineales

[editar]

Si los vectores no son independientemente lineales entre sí, el seno polar será cero. Esto siempre será así en el caso degenerado en el que el número de dimensiones m es estrictamente menor que el número de vectores n.

Relación con los cosenos correspondientes

[editar]

El coseno del ángulo entre dos vectores distintos de cero viene dado por

utilizando el producto escalar. La comparación de esta expresión con la definición del valor absoluto del seno polar dada anteriormente da:

En particular, para n= 2, esto es equivalente a

que es el teorema de Pitágoras.

Historia

[editar]

Los senos polares fueron investigados por Euler en el siglo XVIII.[3]

Véase también

[editar]

Referencias

[editar]
  1. Lerman, Gilad; Whitehouse, J. Tyler (2009). «On d-dimensional d-semimetrics and simplex-type inequalities for high-dimensional sine functions». Journal of Approximation Theory 156: 52-81. S2CID 12794652. arXiv:0805.1430. doi:10.1016/j.jat.2008.03.005. 
  2. Eriksson, F (1978). «The Law of Sines for Tetrahedra and n-Simplices». Geometriae Dedicata 7: 71-80. S2CID 120391200. doi:10.1007/bf00181352. 
  3. Euler, Leonhard. «De mensura angulorum solidorum». Leonhardi Euleri Opera Omnia 26: 204-223. 

Enlaces externos

[editar]