Seno polar - Polar sine

Na geometria , o seno polar generaliza a função seno do ângulo para o ângulo do vértice de um politopo . É denotado por psin .

Definição

n vetores no espaço n- dimensional

As interpretações dos volumes 3D para a esquerda: um paralelepípedo (Ω na definição do seno polar) e para a direita: um cubóide (Π na definição). A interpretação é semelhante em dimensões superiores.

Sejam v 1 , ...,  v n ( n  ≥ 2) vetores euclidianos não nulos no espaço n- dimensional ( R n ) que são direcionados a partir de um vértice de um paralelotopo , formando as arestas do paralelotopo. O seno polar do ângulo do vértice é:

onde o numerador é o determinante

igual ao hipervolume do paralelotopo com arestas vetoriais

e no denominador o produto n vezes

das magnitudes || v i || dos vetores é igual ao hipervolume do hiper-retângulo n- dimensional , com arestas iguais às magnitudes dos vetores || v 1 ||, || v 2 ||, ... || v n || (não os próprios vetores). Veja também Ericksson.

O paralelotopo é como um "hiper-retângulo achatado", por isso tem menos hipervolume que o hiper-retângulo, ou seja (veja a imagem para o caso 3d):

e uma vez que esta proporção pode ser negativa, psin é sempre limitada entre -1 e +1 pelas desigualdades :

quanto ao seno ordinário, com qualquer um dos limites sendo alcançado apenas no caso de todos os vetores serem mutuamente ortogonais .

No caso n  = 2, o seno polar é o seno ordinário do ângulo entre os dois vetores.

Em dimensões superiores

Uma versão não negativa do seno polar que funciona em qualquer espaço m- dimensional ( mn ) pode ser definida usando o determinante de Gram . O numerador é dado como

onde o T sobrescrito indica a transposição da matriz . No caso m = n, isso é equivalente ao valor absoluto da definição dada anteriormente.

Propriedades

Intercâmbio de vetores

Se a dimensão do espaço for maior do que n, então o seno polar não é negativo e permanece inalterado sempre que dois dos vetores v j e v k são trocados. Caso contrário, ele muda de sinal sempre que dois vetores são trocados, devido à antissimetria de troca de linha no determinante:

Invariância sob multiplicação escalar de vetores

O seno polar não muda se todos os vetores v 1 , ...,  v n são multiplicados por escalar por constantes positivas c i , devido à fatoração

Se um número ímpar dessas constantes for negativo, o sinal do seno polar mudará; no entanto, seu valor absoluto permanecerá inalterado.

Desaparece com dependências lineares

Se os vetores não forem linearmente independentes , o seno polar será zero. Isso sempre será assim no caso degenerado em que o número de dimensões m é estritamente menor que o número de vetores n .

Relação com cossenos emparelhados

O cosseno do ângulo entre dois vetores diferentes de zero é dado por

usando o produto escalar . A comparação desta expressão com a definição do valor absoluto do seno polar conforme dado acima dá:

Em particular, para n = 2 , isso é equivalente a

que é o teorema de Pitágoras .

História

Os seios polares foram investigados por Euler no século XVIII.

Veja também

Referências

  1. ^ Lerman, Gilad; Whitehouse, J. Tyler (2009). "Em semimetria d-dimensional d e desigualdades do tipo simplex para funções senoidais de alta dimensão". Journal of Approximation Theory . 156 : 52–81. arXiv : 0805.1430 . doi : 10.1016 / j.jat.2008.03.005 . S2CID  12794652 .
  2. ^ Eriksson, F (1978). "A Lei de Sines para Tetraedros e n -Simplices". Geometriae Dedicata . 7 : 71–80. doi : 10.1007 / bf00181352 . S2CID  120391200 .
  3. ^ Euler, Leonhard. "De mensura angulorum solidorum". Leonhardi Euleri Opera Omnia . 26 : 204–223.

links externos