Em matemática, a transformada de Cayley, em homenagem a Arthur Cayley, é um conjunto de coisas relacionadas. Como originalmente descrito por Cayley (1846), a transformada é um mapeamento entre matrizes simétricas enviesadas e matrizes ortogonais especiais. A transformação é uma homografia usada em análises reais, análises complexas e análises quaterniônicas. Na teoria dos espaços de Hilbert, a transformação de Cayley é um mapeamento entre operadores lineares.
A transformada de Cayley é um automorfismo da linha projetiva real que permite os elementos de {1, 0, −1, ∞} em sequência. Por exemplo, ele mapeia os números reais positivos para o intervalo [−1, 1]. Assim, a transformada de Cayley é usada para adaptar os polinômios de Legendre para uso com funções nos números reais positivos com funções racionais de Legendre.
Como uma homografia real, os pontos são descritos com coordenadas projetivas e o mapeamento é
No plano projetivo complexo, a transformada de Cayley é:
Como {∞, 1, –1 } é mapeado para {1, –i, i }, e as transformações de Möbius permitem os círculos generalizados no plano complexo, f mapeia a linha real para o círculo unitário. Além disso, como f é contínuo e i é levado a 0 por f, o semiplano superior é mapeado para o disco da unidade.
Em termos de modelos de geometria hiperbólica, essa transformação de Cayley relaciona o modelo de meio plano de Poincaré ao modelo de disco de Poincaré. Na engenharia elétrica, a transformada de Cayley foi usada para mapear um semi-plano de reatância para o gráfico de Smith usado para a correspondência de impedâncias das linhas de transmissão.
No espaço quadridimensional dos quaterniões q = a + b i + c j + d k, os versores
Como os quatérnions são não comutativos, os elementos de sua linha projetiva têm coordenadas homogêneas escritas U (a, b) para indicar que o fator homogêneo se multiplica à esquerda. A transformação de quaternion é
As homografias reais e complexas descritas acima são instâncias da homografia do quaternião em que θ é zero ou π/2, respectivamente. Evidentemente, a transformação leva u → 0 → –1 e leva –u → ∞ → 1.
Avaliar esta homografia em q = 1 mapeia o versor u em seu eixo:
Entretanto
Por conseguinte
Nesta forma, a transformada de Cayley foi descrita como uma parametrização racional da rotação: Deixet t = tan φ/2 na identidade numérica complexa
onde o lado direito é a transformação de ti e o lado esquerdo representa a rotação do plano em radianos φ negativos.
Deixe Como
onde a equivalência está no grupo linear projetivo sobre os quaterniões, o inverso de f(u, 1) é
Como as homografias são bijeções, mapeia os quaterniões vetoriais para a esfera tridimensional dos versores. Como os versores representam rotações em espaços tridimensionais, a homografia f −1 produz rotações da bola em ℝ3.
![{\displaystyle [y,\ 1]=[{\frac {x-1}{x+1}},\ 1]\thicksim [x-1,\ x+1]=[x,\ 1]{\begin{pmatrix}1&1\\-1&1\end{pmatrix}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bb380b33c89fe5d5278212844a0ca41512e81b24)
![{\displaystyle f(u,q)=U[q,1]{\begin{pmatrix}1&1\\-u&u\end{pmatrix}}=U[q-u,\ q+u]\sim U[(q+u)^{-1}(q-u),\ 1].}](https://wikimedia.org/api/rest_v1/media/math/render/svg/573d25291961754094c9557a64937aff83b83884)
![{\displaystyle U[p,1]{\begin{pmatrix}1&-u^{*}\\1&u^{*}\end{pmatrix}}\ =\ U[p+1,\ (1-p)u^{*}]\sim U[u(1-p)^{-1}(p+1),\ 1].}](https://wikimedia.org/api/rest_v1/media/math/render/svg/528b8333284c819f36219bdd51b6bdea0257d965)
