Escolar Documentos
Profissional Documentos
Cultura Documentos
DE FUNÇÕES K-QUASECONFORMES
Dissertação de Mestrado
Pós-Graduação em Matemática
1
contato:micheledornelas@yahoo.com.br
i
Dissertação apresentada para obtenção do tı́tulo
de Mestre em Matemática junto ao Programa de
Pós-Graduação em Matemática do Instituto de
Biociências, Letras e Ciências Exatas da Universi-
dade Estadual Paulista “Júlio de Mesquita Filho”,
Campus de São José do Rio Preto.
BANCA EXAMINADORA
ii
“A satisfação está no esforço feito
para alcançar o objetivo, e não
em tê-lo alcançado.”
Gandhi
iii
Aos meus pais, Nelson e Vandira, e ao meu irmão, Tiago,
exemplos de compreensão, humildade e amizade.
Dedico.
iv
Agradecimentos
Inicialmente, agradeço a Deus por tudo.
Especialmente ao meu orientador, Prof. Dr. Manoel Ferreira Borges Neto, agradeço pela
dedicação, confiança, paciência, seriedade constante e integridade sempre presente durante
a construção desta dissertação.
Em particular, agradeço ao meu marido, Mairon Thiago Roque, pelas valiosas sugestões
e pelo incentivo para a realização deste trabalho.
Finalmente, agradeço aos meus familiares e amigos pela compreensão, perseverança e por
acreditarem no meu trabalho.
v
Resumo
Nesta dissertação, estuda-se estruturas matemáticas relacionadas à álgebra dos sedenions
de Cayley-Dickson. O conceito de funções sedeniônicas do tipo f (z) = z n , z ∈ S e n ∈ N, é
desenvolvido a partir da distância |f (y)−f (x)|, com o objetivo de obter-se uma generalização.
A este tipo de mapeamentos trata-se por funções quaseconformes, ou seja, mapeamentos que
não preservam a magnitude dos ângulos.
Em particular, através de métodos de resolução, apresenta-se e discute-se polinômios
de 2n graus com coeficientes sedeniônicos com o intuito de enfatizar o valor da k-dilatação
causada quando trabalha-se com o número sedeniônico em coordenadas esféricas. Por fim,
ilustra-se geometricamente os cortes produzidos em hiperesferas B(x, r) quando submetidas
às transformações do tipo z 2 e z 3 .
vi
Abstract
In this work, we propose to study the mathematical construction related with algebra of
Cayley-Dickson sedenions. We will present the concept of sedenions functions of f (z) = z n
type, z ∈ S and n ∈ N, developing |f (y) − f (x)| distance, with the objective of creating a
generalization. This type of mappings is known as quasiconformal functions, that is, mapping
that don’t preserve the magnitude of angles.
Specially, by means of resolution methods, we will discuss polynomials of 2n degrees with
sedenions coefficients focused on highlighting the value of the k-dilation caused when we work
with the sedenion number in spherical coordinates. Finally, it is illustrated geometrically the
cuts produced in hiperspheres B(x, r) when submitted to the transformations of the type z 2
and z 3 .
vii
Sumário
1 Introdução 1
1.1 Aspectos Históricos dos Números Hipercomplexos . . . . . . . . . . . . . . . 1
1.2 Os Sedenions de Cayley-Dickson . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.2.1 Representação Geométrica dos Hipercomplexos . . . . . . . . . . . . 10
1.2.2 Propriedades Elementares . . . . . . . . . . . . . . . . . . . . . . . . 12
1.3 Sedenions Cônicos: Um Breve Estudo . . . . . . . . . . . . . . . . . . . . . . 17
1.3.1 Estudo da Multiplicação dos Sedenions Cônicos . . . . . . . . . . . . 18
1.3.2 Propriedades dos Sedenions Cônicos . . . . . . . . . . . . . . . . . . 20
1.4 Diferenças entre Sedenions de Cayley-Dickson e os Sedenions Cônicos . . . . 22
1.5 Considerações . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
viii
5.2 O caso em que f (z) = z n . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 63
5.3 O caso em que f (z) = z 2 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 68
5.4 O caso em que f (z) = z 3 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 73
5.5 O caso em que f (z) = z 4 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 79
7 Conclusão 101
ix
Prefácio
Nas últimas décadas a tentativa de se compreender a importância da Mecânica Quântica
por meio dos sedenions tem resultado em um significativo avanço no desenvolvimento de
estruturas matemáticas sedeniônicas e suas aplicações em Fı́sica. O crescente progresso
realizado no estudo de funções hipercomplexas quaseconformes tem possibilitado calcular
o valor da k-dilatação em hipercomplexos sem a necessidade de realizar cálculos tediosos.
Uma tentativa proposta que visa em futuro distinguir a teoria quântica hipercomplexa da
quaterniônica é apresentada por Maricato [20, 21]. Ele sugere um estudo computacional
para o cálculo da k-dilatação em funções submetidas à transformação do tipo f (z) = z n ,
n ∈ N, a qual trataremos por funções quaseconformes, na procura de quantificar o valor de
k. Os resultados desses estudos mostraram que as transformações para os quatérnios sofrem
deformações similares aos complexos, porém em dimensões maiores. Uma análise análoga,
vide Benzatti [25], feita para os octônios expandem resultados parecidos quando comparados
com os quatérnios.
Nesta dissertação volta-se os olhares para álgebra dos hipercomplexos, dando continuidade
ao estudo feito por Maricato [20, 21], porém explorando os sedenions como o espaço hiper-
complexo 16-dimensional, com o intuito de comparar qualitativamente os resultados obtidos
por Maricato e Benzatti [20, 21, 25].
Também expande-se neste trabalho, os recentes artigos, Borges e Machado [16, 17],
que remetem ao conceito de diferenciabilidade em funções hipercomplexas quaseconformes,
partindo dos estudos realizados por Oliveira e Pendeza (vide [22, 23]) e estendendo as
equações de Cauchy-Riemann generalizadas para os sedenions.
Para o desenvolvimento deste trabalho, estrutura-se esta dissertação da seguinte forma:
começa-se o capı́tulo 1 com uma nota histórica mostrando o surgimento dos hipercomplexos
e, em seguida, introduz-se os conceitos básicos sobre sedenions. Discute-se brevemente as
diferenças algébricas entre os dois tipos de sedenions: os de Cayley-Dickson e os cônicos.
O capı́tulo 2 é baseado essencialmente na generalização do cálculo de xn , em que n ∈ N e
x é um hipercomplexo, recorrendo a notação de xn por meio de fórmulas binomiais e define-se
também o conceito de funções para os hipercomplexos.
Percebe-se, através do capı́tulo 2, que o sedenion quando elevado a potência n, n ∈ N,
x
xi
resulta num extenso processo que dificulta o cálculo da dilatação quando define-se a distância
como |f (y) − f (x)|, x, y ∈ S. Devido a isto, torna-se essencial utilizar uma notação mais
simplificada para representar um sedenion, e é no capı́tulo 3 que faz-se uma mudança de
coordenadas, ou seja, representa-se um sedenion em coordenadas esféricas, conforme é feito
em procedimento análogo para os quatérnios [20, 21].
O estudo das funções de variáveis complexas têm sido uma das teorias mais sólidas dentro
da Matemática capaz de proporcionar instrumentos poderosos aos matemáticos e fı́sicos, e é
no capı́tulo 4 que faz-se uso desta teoria para resgatar alguns conceitos topológicos necessários
para o bom compreendimento deste trabalho. No quarto capı́tulo também é apresentado o
conceito de transformações conformes e as Equações de Cauchy-Riemann generalizadas 16-
dimensional, fazendo uso propriamente dito da tábua de multiplicação dos sedenions.
A parte central desta dissertação, capı́tulos 5 e 6, concretizam a proposta deste trabalho.
No capı́tulo 5 desenvolve-se a distância |f (y) − f (x)|, com x, y ∈ S, que se estabelece uma
métrica capaz de quantificar computacionalmente o valor da k-dilatação, quando a função
sedeniônica é submetida à transformação f (z) = z n , n = 2, 3, 4, ... . Também é no capı́tulo
5 que se define o siginificado de uma função f ser k-quaseconforme em um domı́nio I sim-
plesmente conexo. Finalmente, no capı́tulo 6, ilustra-se geometricamente os mapeamentos
de f (z) = z n através de projeções em R3 , este tipo de mapeamento se torna possı́vel devido
a diferentes cortes fixados nas hipersuperfı́cies em questão. Os cortes são obtidos através da
manipulação dos ângulos envolvidos e do centro da hiperesfera 16-dimensional.
Introdução
Neste capı́tulo, apresenta-se um estudo algébrico dos sedenions a partir de uma nota
histórica. Introduz-se os números sedenions e na sequência é realizada uma construção dos
sedenions como uma estrutura algébrica 16-dimensional, e suas principais propriedades são
discutidas.
1
1.1. Aspectos Históricos dos Números Hipercomplexos 2
quadradas de quantidades negativas, a qual ele se referia como “sofı́sticas”e concluia que
o resultado nesse caso era “tão sutil quanto inútil”. Pode-se dizer que Ars Magna foi um
marco à pesquisa em álgebra em todas as direções, desde os babilônios.
A partir daı́, os matemáticos começaram a usar os números complexos aplicando-lhes
as regras usuais do cálculo com números reais, embora escandalizados e dando declarações
de que eles “não existiam”e eram “inúteis”. Em 1629, Albert Girard (1595-1632), foi quem
√
introduziu o sı́mbolo −1, e posteriormente, o matemático suı́co Leonhard Euler (1707-
√
1783) simbolizou i para representar −1, enquanto que os termos reais e imaginários foram
expressos por René Descartes (1596- 1650). E só em 1831, Carl Friedrich Gauss (1777-1855),
estabeleceu a expressão número complexo, no qual ele observou que cada ponto de uma
reta correspondia um número real e cada ponto do plano podia ser associado a um número
complexo.
Em 1833, William Rowan Hamilton (1805-1865) percebendo a dificuldade com que os
estudiosos tinham com as quantidades negativas e imaginárias, passou a se empenhar no
√
significado dos números imaginários. Ele toma o par (0, 1) como representando −1, o que
significa expressar a unidade imaginária em termos de números reais, percebendo que seus
pares ordenados podiam ser entendidos como entidades no plano e tentou estender a idéia
a três dimensões indo dos números complexos, a + bi, para ternas ordenadas, a + bi + cj.
O fato que levou Hamilton a tal propósito foi o desejo de conectar cálculo com geometria,
através de uma extensão ainda não descoberta, ao espaço de três dimensões.
O problema consistia em encontrar uma regra para multiplicar ternas, ou seja, desenvolver
o produto (a + bi + cj)(x + yi + zj), o qual resultava por,
de modo que os três primeiros termos deveriam estar associados às coordenadas espaciais e
o problema para Hamilton era desvendar o significado do quarto termo ij. Por volta de uma
década, esta pergunta aborreceu Hamilton, que escreveu para seu filho Archibald [1]:
“Every morning in the early part of the above-cited month [Oct. 1843] on my coming
down to breakfast, your brother William Edwin and yourself used to ask me: Well, Papa,
can you multiply triplets? Whereto I was always obliged to reply, with a sad shake of the
head: No, I can only add and subtract them”.
1.1. Aspectos Históricos dos Números Hipercomplexos 3
em uma pedra. Hoje não há nenhum sinal que remonta a existência disto, porém em 1956,
em homenagem à descoberta, uma placa foi erguida neste local.
O estudo dos quatérnios foi para Hamilton uma de suas maiores realizações, em Lec-
tures on Quaternions [2], Hamilton apresentou uma teoria de um sistema não comutativo
algébrico. Ele interpretou o quatérnio como sendo a razão entre dois vetores, tornando real
a relação dos quatérnios com o espaço tridimensional. Sua mais famosa obra na teoria dos
quatérnios é conhecida por Elements of Quaternions [3], sendo editada e publicada por seu
filho, William Edwin Hamilton, em 1866, no ano seguinte à morte de Hamilton.
Sucessivas investigações passaram a ocorrer desde então, e foi através da perda da pro-
priedade da associatividade que John Thomas Graves (1806-1870), amigo de Hamilton, en-
controu uma álgebra das oitavas, com 8 elementos de base, ou seja, os octônios. Em 1845,
os octônios foram redescobertos por Arthur Cayley (1821-1895), em seu artigo, “On Jacobi’s
elliptic functions, in reply to the Rev. B. Brouwin; and on quaternions”, e é devido a isso
que eles também são conhecidos como Números de Cayley [4, 5].
Outro matemático responsável pelo avanço dos hipercomplexos foi James Joseph Sylvester
(1814-1897), grande amigo de Cayley, que passou a trabalhar com equações algébricas ge-
neralizadas com raı́zes imaginárias. Acredita-se que Sylvester seja um dos percursores dos
sedenions.
A palavra sedenion provém de sexdecim, o que significa dezesseis. Os sedenions consistem
de uma álgebra 16-dimensional sobre os números reais.
1.1. Aspectos Históricos dos Números Hipercomplexos 4
S = {(a0 , a1 , a2 , a3 , a4 , a5 , a6 , a7 , a8 , a9 , a10 , a11 , a12 , a13 , a14 , a15 )|an ∈ R, n = 0, ..., 15}, (1.1)
i2 = j 2 = k 2 = e02 = i02 = j 02 = k 02 = e002 = i002 = j 002 = k 002 = e0002 = i0002 = j 0002 = k 0002 = −1
ij = k; ie0 = i0 ; je0 = j 0 ; ke0 = k 0 ; ie00 = i00 ; je00 = j 00 ; ke00 = k 00 ; ie000 = i000 ; je000 = j 000 ; ke000 = k 000
0 0 0 0 00 00 00 00
s + x = (a0 + x) + ia1 + ja2 + ka3 + e a4 + i a5 + j a6 + k a7 + e a8 + i a9 + j a10 + k a11
000 000 000 000
+ e a12 + i a13 + j a14 + k a15 (1.4)
1.2. Os Sedenions de Cayley-Dickson 6
1 ↔ (1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
i ↔ (0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
j ↔ (0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
k ↔ (0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
e0 ↔ (0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
i0 ↔ (0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
j 0 ↔ (0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0)
k 0 ↔ (0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0)
e00 ↔ (0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0)
i00 ↔ (0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0)
j 00 ↔ (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0)
k 00 ↔ (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0)
e000 ↔ (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0)
i000 ↔ (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0)
j 000 ↔ (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0)
k 000 ↔ (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1),
1.2. Os Sedenions de Cayley-Dickson 7
um número sedenion s = (a0 , a1 , a2 , a3 , a4 , a5 , a6 , a7 , a8 , a9 , a10 , a11 , a12 , a13 , a14 , a15 ), com an ∈
R, n = 0, ..., 15, pode ser representado por:
s = (a0 , 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)(1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
+ (0, a1 , 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)(0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
+ (0, 0, a2 , 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)(0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
+ (0, 0, 0, a3 , 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)(0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
+ (0, 0, 0, 0, a4 , 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)(0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
+ (0, 0, 0, 0, 0, a5 , 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)(0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
+ (0, 0, 0, 0, 0, 0, a6 , 0, 0, 0, 0, 0, 0, 0, 0, 0)(0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0)
+ (0, 0, 0, 0, 0, 0, 0, a7 , 0, 0, 0, 0, 0, 0, 0, 0)(0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0)
+ (0, 0, 0, 0, 0, 0, 0, 0, a8 , 0, 0, 0, 0, 0, 0, 0)(0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0)
+ (0, 0, 0, 0, 0, 0, 0, 0, 0, a9 , 0, 0, 0, 0, 0, 0)(0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0)
+ (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, a10 , 0, 0, 0, 0, 0)(0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0)
+ (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, a11 , 0, 0, 0, 0)(0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0)
+ (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, a12 , 0, 0, 0)(0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0)
+ (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, a13 , 0, 0)(0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0)
+ (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, a14 , 0)(0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0)
+ (0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, a15 )(0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1), (1.7)
em que a0 representa a parte escalar positiva Re(x) do número sedenion e hx = ia1 + ja2 +
0 0 0 0 00 00 00 00 000 000 000 000
ka3 + e a4 + i a5 + j a6 + k a7 + e a8 + i a9 + j a10 + k a11 + e a12 + i a13 + j a14 + k a15 ,
a sua parte vetorial imaginária. Assim S pode ser representado como uma soma direta:
S=R⊕V
Tomando as unidades 1, i, j, k, e0 , i0 , j 0 , k 0 , e00 , i00 , j 00 , k 00 , e000 , i000 , j 000 , k 000 como uma base orto-
normal da álgebra 16-dimensional, pode-se construir a tábua de multiplicação para os sede-
nions:
1.2. Os Sedenions de Cayley-Dickson 8
e’ e’ -i’ -j’ -k’ -1 i j k e”’ i”’ j”’ k”’ -e” -i” -j” -k”
i’ i’ e’ -k’ j’ -i -1 -k j i”’ -e”’ k”’ -j”’ i” -e” k” -j”
j’ j’ k’ e’ -i’ -j k -1 -i j”’ -k”’ -e”’ i”’ j” -k” -e” i”
k’ k’ -j’ i’ e’ -k -j i -1 k”’ j”’ -i”’ -e”’ k” j” -i” -e”
0 0 0 0 00 00 00 00 000
s = a0 − ia1 − ja2 − ka3 − e a4 − i a5 − j a6 − k a7 − e a8 − i a9 − j a10 − k a11 − e a12
000 000 000
− i a13 − j a14 − k a15 (1.8)
0 0 0 0 00 00 00
sx = a0 x + ia1 x + ja2 x + ka3 x + e a4 x + i a5 x + j a6 x + k a7 x + e a8 x + i a9 x + j a10 x
00 000 000 000 000
+ k a11 x + e a12 x + i a13 x + j a14 x + k a15 x (1.9)
Sejam,
0 0 0 0 00 00 00 00 000
s = a0 + ia1 + ja2 + ka3 + e a4 + i a5 + j a6 + k a7 + e a8 + i a9 + j a10 + k a11 + e a12
000 000 000
+ i a13 + j a14 + k a15 ,
e,
0 0 0 0 00 00 00 00 000
t = b0 + ib1 + jb2 + kb3 + e b4 + i b5 + j b6 + k b7 + e b8 + i b9 + j b10 + k b11 + e b12
000 000 000
+ i b13 + j b14 + k b15 ,
s s t s.t (a0 , a1 , a2 , a3 , a4 , ..., a12 , a13 , a14 , a15 )(b0 , −b1 , −b2 , −b3 , −b4 , ..., −b12 , −b13 , −b14 , −b15 )
= . = 2 =
t t t t b20 + b21 + b22 + b23 + b24 + b25 + b26 + b27 + b28 + b29 + b210 + b211 + b212 + b213 + b214 + b215
A norma |s| de um sedenion s = (a0 , a1 , a2 , a3 , a4 , a5 , a6 , a7 , a8 , a9 , a10 , a11 , a12 , a13 , a14 , a15 )
é um número real, isto é:
q
|s| = a20 + a21 + a22 + a23 + a24 + a25 + a26 + a27 + a28 + a29 + a210 + a211 + a212 + a213 + a214 + a215
e, consequentemente,
|s|2 = a20 + a21 + a22 + a23 + a24 + a25 + a26 + a27 + a28 + a29 + a210 + a211 + a212 + a213 + a214 + a215
1.2. Os Sedenions de Cayley-Dickson 10
Uma forma de representar a multiplicação dos octônios é dada por um diagrama de-
nominado Plano Fano, mais precisamente, representa-se a multiplicação dos octônios por
um triângulo. Os pontos do triângulo são representados através das unidades imaginárias
dos octônios: i, j, k, e0 , i0 , j 0 , k 0 . As setas indicam se o sinal da multiplicação é positivo ou
negativo.
st = ij = k
e,
ts = ji = −k
ou seja,
(0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)(0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0) 6=
(0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)(0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
e,
s(tv) = i(je0 ) = ij 0 = −k 0
ou melhor,
((0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)(0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0))
(0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0) 6= (0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)
((0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0)(0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0))
1.2. Os Sedenions de Cayley-Dickson 13
pois,
s(st) = (i + e000 )((i + e000 )j) = (i + e000 )(ij + e000 j) = (i + e000 )(k + j 000 ) = ik + ij 000 + e000 k + e000 j 000
= −j + k 000 + k 000 − j = −2j + 2k 000
enquanto,
s2 = (i + e000 )2 = (i + e000 )(i + e000 ) = ii + ie000 + e000 i + e000 e000 = −1 − i000 + i000 − 1 = −2
s2 t = (i + e000 )2 j = −2j
1.2.2.4 Não-modularidade: Os sedenions não são modulares, o que significa dizer que,
√
|st| = |(i + j 00 )(e0 + k 000 )| = 8 > 2 = |i + j 00 ||e0 + k 000 | = |s||t|
já que,
√
|i + j 000 | = 2
√
|e0 + k 000 | = 2
√ √ √
⇒ |i + j 000 ||e0 + k 000 | = 2 2= 4=2
enquanto,
√
|(i + j 00 )(e0 + k 000 )| = |ie0 + ik 000 + j 00 e0 + j 00 k 000 | = |i0 − j 000 − j 000 + i0 | = |2i0 − 2j 000 | = 8
1.2. Os Sedenions de Cayley-Dickson 14
1.2.2.5 Zero-Divisores: Os sedenions não formam uma álgebra de divisão, isto é,
ou seja, s 6= 0 e t 6= 0, e,
- (st)(vs) = s(tv)s
- (sts)v = s(t(sv))
- v(sts) = ((vs)t)s
De fato:
Sejam s = j 00 , t = i e v = k 0 , verifica-se que:
Os sedenions não obedecem a primeira relação da Identidade de Moufang, pois:
(st)(vs) = (j 00 i)(k 0 j 00 ) = k 00 (−i000 ) = −j 0
s(tv)s = j 00 (ik 0 )j 00 = j 00 j 0 j 00 = e000 j 00 = j 0
o que mostra que (st)(vs) não necessariamente é igual a s(tv)s.
Verifica-se agora que a segunda relação, (sts)v 6= s(t(sv)), também não é satisfeita:
(sts)v = (j 00 ij 00 )k 0 = (k 00 j 00 )k 0 = ik 0 = j 0
s(t(sv)) = j 00 (i(j 00 k 0 )) = j 00 (i(i000 )) = j 00 (e000 ) = −j 0
logo, (sts)v 6= s(t(sv))
• sm sn = sm+n
0 0 0 0 00
De fato, seja s ∈ S, isto é, s = a0 + ia1 + ja2 + ka3 + e a4 + i a5 + j a6 + k a7 + e a8 +
00 00 00 000 000 000 000
i a9 + j a10 + k a11 + e a12 + i a13 + j a14 + k a15 . Então, para todo m, n, ∈ N, tem-se
que:
0 0 0 0 00 00 00 00
sm+n = (a0 + ia1 + ja2 + ka3 + e a4 + i a5 + j a6 + k a7 + e a8 + i a9 + j a10 + k a11 +
000 000 000 000
e a12 + i a13 + j a14 + k a15 )m+n ,
0 0 0 0
Pode-se escrever s = (a0 + hx ), em que hx = ia1 + ja2 + ka3 + e a4 + i a5 + j a6 + k a7 +
00 00 00 00 000 000 000 000
e a8 + i a9 + j a10 + k a11 + e a12 + i a13 + j a14 + k a15 , desta forma,
Então, pela definição 1.1 de expansão binomial, tem-se que para todo s ∈ S,
Xm
m
sm = (a0 + hx )m = am−r
0 hrx
r=0 r
assim como,
n
X n
sn = (a0 + hx )n = an−r
0 hrx
r=0 r
1.2. Os Sedenions de Cayley-Dickson 16
então,
m+n
X m+n
sm+n = (a0 + hx )m+n = a0m+n−r hrx
r=0 r
Verifica-se agora que,
m
X n
X m+n
X
m n m+n
sm sn = am−r
0 hrx an−r
0 hrx = a0m+n−r hrx = sm+n
r=0 r r=0 r r=0 r
De fato,
m m m m
s m s n = am 0
0 hx +
am−1
0 h1x + am−2
0 h2x + ... + am−m
0 hm
x
0 1 2 m
n n n n
an0 h0x + an−1
0 h1x + a0n−2 h2x + ... + an−n
0 hnx
0 1 2 n
· ¸
m(m − 1) m−2 2 m(m − 1)(m − 2)...2.1 m−m m
= am
0 + mam−1
0 h1x+ a0 hx + ... + a0 hx
1.2 1.2...(m − 1)m
· ¸
n n−1 1 n(n − 1) n−2 2 n(n − 1)(n − 2)...2.1 n−n n
a0 + na0 hx + a0 hx + ... + a 0 hx
1.2 1.2...(n − 1)n
n(n − 1) m n−2 2 n(n − 1)...2.1 m n
= am n
0 a0 + na a0
m n−1 1
hx + a0 a0 hx + ... + a h
2 1.2...(n − 1)n 0 x
mn(n − 1) m−1 n−2 3
+ mam−10 an0 h1x + mnam−10 an−1
0 h2x + a0 a0 hx + ... +
2
n(n − 1)...2.1 m−1 n+1 m(m − 1) m−2 n 2 mn(m − 1) m−2 n−1 3
+ ma hx + a0 a0 hx + a0 a0 hx
1.2...(n − 1)n 0 2 2
m(m − 1)n(n − 1) m−2 n−2 4 m(m − 1) n(n − 1)...2.1 m−2 n+2
+ a0 a0 hx + ... + a hx
4 2 1.2...(n − 1)n 0
.. .. .. ... ..
. . . .
m(m − 1)(m − 2)...2.1 m(m − 1)...2.1
+ an0 hmx + na0
n−1
hm+1
1.2...(m − 1)m 1.2...(m − 1)m x
n(n − 1) m(m − 1)...2.1 n−2 m+2 m(m − 1)...2.1 n(n − 1)...2.1 m+n
+ a0 hx + ... + h
2 1.2...(m − 1)m 1.2...(m − 1)m 1.2...(n − 1)n x
m+n
Como am n
0 a0 = a0 , ∀ a0 ∈ R, m, n ∈ N, agrupando os coeficientes hrx , r = 0, ..., m + n,
têm-se,
1.3. Sedenions Cônicos: Um Breve Estudo 17
(m + n)(m + n − 1) m+n−2 2
sm sn = am+n
0 + (m + n)am+n−1
0 hx + a0 hx + ...
1.2
(m + n)(m + n − 1)...2.1 m+n
+ h = am+n + (m + n)a0m+n−1 hx
1.2...(m + n − 1)(m + n) x 0
(m + n)(m + n − 1) m+n−2 2
+ a0 hx + ... + hm+n
x = sm+n
1.2
Portanto, para todo s ∈ S e ∀ m, n ∈ N,
sm sn = sm+n
s = a+b1 i1 +b2 i2 +b3 i3 +b4 i4 +b5 i5 +b6 i6 +b7 i7 +c1 ε1 +c2 ε2 +c3 ε3 +c4 ε4 +c5 ε5 +c6 ε6 +c7 ε7 +di0 ,
(1.13)
De forma generalizada, pode-se expressar,
* 1 i1 i2 i3 i4 i5 i6 i7 i0 ε1 ε2 ε3 ε4 ε5 ε6 ε7
1 1 i1 i2 i3 i4 i5 i6 i7 i0 ε1 ε2 ε3 ε4 ε5 ε6 ε7
É perceptı́vel algumas relações entre a multiplicação das unidades imaginárias dos sede-
nions cônicos.
• Fórmulas Básicas:
ia ia = −1 (1.16)
εa εa = 1 (1.17)
• Relações anticomutativas:
ia ib = −ib ia (1.18)
ia εb = −εb ia (1.19)
εb εc = −εc εb (1.20)
• Relações imediatas:
ia ib = ic (1.21)
εa εb = −ic (1.22)
ia εb = εc (1.23)
εa ib = εc (1.24)
• Relações antiassociatiativas:
• Relações envolvendo i0 :
st = i1 i2 = i3
ts = i2 i1 = −i3
⇒ st 6= ts
⇒ (st)v 6= s(tv)
• (st)(vs) = s(tv)s
• (sts)v = s(t(sv))
• v(sts) = ((vs)t)s
P P
Considere dois sedenions cônicos: s = sn en e t = tn en , onde sn , tn são os coeficientes
reais dos elementos sedeniônicos en , tal que,
P P PP PP PP
st = sn en tn en = (sn en )tn en = sn en tn en = sn tn en en
De forma, análoga,
P P PP PP PP
st = sn en tn en = (sn en )tn en = sn en tn en = sn tn en en
1.4. Diferenças entre Sedenions de Cayley-Dickson e os Sedenions Cônicos 22
1. s∗i = a − bn in + cn εn − di0 ,
2. s∗ε = a + bn in − cn εn − di0 ,
3. s∗i,ε = a − bn in − cn εn + di0
• |st| = |s||t|
De fato,
|s||t| = (ss∗ )(tt∗ ) = s(tt∗ )s∗ = (st)(t∗ s∗ ) = (st)(st)∗ = |st|
• 1;
• εn , 1 ≤ n ≤ 7, tal ε2n = 1;
• i0 = in εn , onde i20 = −1
• 1;
• Potência-Associativa: sm+n = sm sn ;
• Potência-Associativa;
• Não-Alternatividade;
• Não-Modularidade
• Não Potência-Associativa;
• Alternatividade;
• Modularidade
Esquematicamente, têm-se,
1.5. Considerações 24
1.5 Considerações
Atualmente, pesquisas avançadas procuram unificar a teoria dos hipercomplexos (com-
plexos, quatérnios, octônios, sedenions,...), juntamente com a teoria das transformações,
mais especificamente, com as Álgebras de Clifford [11, 12], fazendo um estudo paralelo com
geometria.
Os sedenions, como analisados neste capı́tulo, são uma extensão não-associativa dos
quatérnios. Os quatérnios surgiram no final do século XIX, e naquela época, eles haviam
perdido espaço na maioria das aplicações para os vetores, e só tornaram a serem objetos de
pesquisa por volta do século XX, quando matemáticos, fı́sicos e estudiosos da computação
gráfica se depararam com a necessidade de utilizar os hipercomplexos com o intuito de
parametrizar o espaço de rotação 3-dimensional (R3 ). É quando surge a utilidade de se
trabalhar com mapeamentos.
No estudo da Álgebra Linear, vetores, matrizes e transformações lineares são alvo de
pesquisa, muito embora sabe-se que algumas transformações usadas hoje em computação
gráfica não sejam lineares, como é o caso de projeção em perspectiva. Com os estudos
em expansão dos hipercomplexos será possı́vel realizar grandes avanços computacionais em
computação gráfica sem se limitar ao uso de matrizes e vetores.
Capı́tulo 2
Um estudo algébrico do
desenvolvimento de xn
f : I → I0
25
2.1. Função Hipercomplexa 16-dimensional 26
f (x) = f0 (x) + if1 (x) + jf2 (x) + kf3 (x) + e0 f4 (x) + i0 f5 (x) + j 0 f6 (x) + k 0 f7 (x) + e00 f8 (x) +
i00 f9 (x) + j 00 f10 (x) + k 00 f11 (x) + e000 f12 (x) + i000 f13 (x) + j 000 f14 (x) + k 000 f15 (x) = φ(x) + ϕ(x),
em que fi : R16 → R são funções coordenadas de valores reais para i = 0, 1, 2, ..., 15.
Consequentemente,
q
|f | = f02 + f12 + f22 + f32 + f42 + f52 + f62 + f72 + f82 + f92 + f10
2 2
+ f11 2
+ f12 2
+ f13 2
+ f14 2
+ f15
(2.1)
é a sua norma.
Considere,
0 0 0 0 00 00 00 00 000 000 000 000
x = a0 +ia1 +ja2 +ka3 +e a4 +i a5 +j a6 +k a7 +e a8 +i a9 +j a10 +k a11 +e a12 +i a13 +j a14 +k a15
(2.3)
em que hx é a parte vetorial imaginária da forma:
0 0 0 0 00 00 00 00 000 000 000 000
hx = ia1 +ja2 +ka3 +e a4 +i a5 +j a6 +k a7 +e a8 +i a9 +j a10 +k a11 +e a12 +i a13 +j a14 +k a15
(2.4)
Como
h2x = −a21 − a22 − a23 − a24 − a25 − a26 − a27 − a28 − a29 − a210 − a211 − a212 − a213 − a214 − a215 (2.5)
tem-se que h2x é real, e assim, para cada n ∈ N, obtem-se que h2n+1
x = h2n 2n
x .hx = hx .hx é
imaginário, pois,
0 0 0 0 00 00 00 00 000
h2n
x (ia1 + ja2 + ka3 + e a4 + i a5 + j a6 + k a7 + e a8 + i a9 + j a10 + k a11 + e a12 +
000 000 000 0 0 0 0
i a13 + j a14 + k a15 ) = ia1 h2n 2n 2n 2n 2n 2n 2n
x + ja2 hx + ka3 hx + e a4 hx + i a5 hx + j a6 hx + k a7 hx +
00 00 00 00 000 000 000 000
e a8 h2n 2n 2n 2n 2n 2n 2n 2n
x + i a9 hx + j a10 hx + k a11 hx + e a12 hx + i a13 hx + j a14 hx + k a15 hx
2.1. Função Hipercomplexa 16-dimensional 27
Desta forma,
0 0 0 0 00
h2n+1
x = ia1 h2n 2n 2n 2n 2n 2n 2n 2n
x + ja2 hx + ka3 hx + e a4 hx + i a5 hx + j a6 hx + k a7 hx + e a8 hx +
00 00 00 000 000 000 000
+ i a9 h2n 2n 2n 2n 2n 2n 2n
x + j a10 hx + k a11 hx + e a12 hx + i a13 hx + j a14 hx + k a15 hx
Então,
n
X n
xn = (a0 + hx )n = an−k
0 hkx
k=0 k
n n n
= an0 h0x + an−2
0 h2x + ... + an−2k
0 h2k
x +
0 2 2k
n n n
+ an−1
0 h1x + an−3
0 h3x + ... + a0n−(2k+1) h2k+1
x
1 3 2k + 1
2k≤n
X 2k+1≤n
X
n n
= an−2k
0 h2k
x +
a0n−(2k+1) h2k+1
x
k=0 2k 2k + 1 k=0
| {z {z } }|
real imaginario
2k≤n
X 2k+1≤n
X
n n
= an−2k
0 h2k
x +
a0n−(2k+1) h2k
x hx
k=0 2k k=0 2k + 1
| {z } | {z }
real coef iciente da parte vetorial
n n
= Re(x ) + Im(x ) (2.6)
0 0 0 0 00
Exemplo 2.1 Obter x2 , em que x = a0 + ia1 + ja2 + ka3 + e a4 + i a5 + j a6 + k a7 + e a8 +
00 00 00 000 000 000 000
i a9 + j a10 + k a11 + e a12 + i a13 + j a14 + k a15 .
enquanto,
2k+1≤2
X 2 2
Im(x2 ) = hx a2−(2k+1)
0 h2k
x
= hx a2−(0+1)
0 h0x = 2a0 hx (2.8)
k=0 2k + 1 1
2.1. Função Hipercomplexa 16-dimensional 28
Desta forma,
x2 = a20 + h2x + 2a0 hx = a20 − a21 − a22 − a23 − a24 − a25 − a26 − a27 − a28 − a29 − a210 − a211 − a212
− a213 − a214 − a215 + 2ia0 a1 + 2ja0 a2 + 2ka0 a3 + 2e0 a0 a4 + 2i0 a0 a5 + 2j 0 a0 a6 + 2k 0 a0 a7
+ 2e00 a0 a8 + 2i00 a0 a9 + 2j 00 a0 a10 + 2k 00 a0 a11 + 2e000 a0 a12 + 2i000 a0 a13 + 2j 000 a0 a14 + 2k 000 a0 a15
continuação e00 a8 i00 a9 j 00 a10 k 00 a11 e000 a12 i000 a13 j 000 a14 k 000 a15
a0 e00 a0 a8 i00 a0 a9 j 00 a0 a10 k 00 a0 a11 e000 a0 a12 i000 a0 a13 j 000 a0 a14 k 000 a0 a15
ia1
ja2
ka3
e0 a4
i0 a5
j 0 a6
k 0 a7
e00 a8 −a28
i00 a9 −a29
j 00 a10 −a210
k 00 a11 −a211
e000 a12 −a212
i000 a13 −a213
j 000 a14 −a214
k 000 a15 −a215
30
3.1. Coordenadas esféricas 16-dimensionais 31
y0 = a0 + rc1 c2 c3 c4 c5 c6 c7 c8 c9 c10 c11 c12 c13 c14 c15 , 0 ≤ θ15 ≤ 2π
y1 = a1 + rc1 c2 c3 c4 c5 c6 c7 c8 c9 c10 c11 c12 c13 c14 s15 , −π ≤ θ14 ≤ π
2 2
y2 = a2 + rc1 c2 c3 c4 c5 c6 c7 c8 c9 c10 c11 c12 c13 s14 , −π ≤ θ13 ≤ π
2 2
y3 = a3 + rc1 c2 c3 c4 c5 c6 c7 c8 c9 c10 c11 c12 s13 , −π
2
≤ θ12 ≤ π
2
y4 = a4 + rc1 c2 c3 c4 c5 c6 c7 c8 c9 c10 c11 s12 , −π ≤ θ11 ≤ π
2 2
y5 = a5 + rc1 c2 c3 c4 c5 c6 c7 c8 c9 c10 s11 , −π ≤ θ10 ≤ π
2 2
y6 = a6 + rc1 c2 c3 c4 c5 c6 c7 c8 c9 s10 , −π ≤ θ9 ≤ π
2 2
y7 = a7 + rc1 c2 c3 c4 c5 c6 c7 c8 s9 , −π
2
≤ θ8 ≤ π
2
(3.1)
y8 = a8 + rc1 c2 c3 c4 c5 c6 c7 s8 , −π ≤ θ7 ≤ π
2 2
y9 = a9 + rc1 c2 c3 c4 c5 c6 s7 , −π ≤ θ6 ≤ π
2 2
y10 = a10 + rc1 c2 c3 c4 c5 s6 , −π ≤ θ5 ≤ π
2 2
y11 = a11 + rc1 c2 c3 c4 s5 , −π
2
≤ θ4 ≤ π
2
y12 = a12 + rc1 c2 c3 s4 , −π ≤ θ3 ≤ π
2 2
y13 = a13 + rc1 c2 s3 , −π ≤ θ2 ≤ π
2 2
y14 = a14 + rc1 s2 , −π ≤ θ1 ≤ π
2 2
y15 = a15 + rs1 , 0 ≤ r < ∞
cos(θi ) = ci ,
sin(θi ) = si ,
tan(θi ) = ti (3.2)
y ∈ B(x, r) ⊂ I ⇒ |y − x| = r > 0
3.1. Coordenadas esféricas 16-dimensionais 32
0
y = (y0 , y1 , y2 , y3 , y4 , y5 , y6 , y7 , y8 , y9 , y10 , y11 , y12 , y13 , y14 , y15 ) = y0 + iy1 + jy2 + ky3 + e y4
0 0 0 00 00 00 00 000 000 000 000
+ i y5 + j y6 + k y7 + e y8 + i y9 + j y10 + k y11 + e y12 + i y13 + j y14 + k y15 ,
Tem-se que,
0 0 0 0 00 00 00 00 000
hx = ia1 + ja2 + ka3 + e a4 + i a5 + j a6 + k a7 + e a8 + i a9 + j a10 + k a11 + e a12
000 000 000
+ i a13 + j a14 + k a15 , (3.4)
h2x = −a21 − a22 − a23 − a24 − a25 − a26 − a27 − a28 − a29 − a210 − a211 − a212 − a213 − a214 − a215 , (3.5)
analogamente,
h2y = −y12 − y22 − y32 − y42 − y52 − y62 − y72 − y82 − y92 − y10
2 2
− y11 2
− y12 2
− y13 2
− y14 2
− y15
= −[(a1 + rc1 c2 ...c14 s15 )2 + (a2 + rc1 c2 ...c13 s14 )2 + (a3 + rc1 c2 ...c12 s13 )2 + (a4 + rc1 c2 ...c11 s12 )2
+ (a5 + rc1 c2 ...c10 s11 )2 + (a6 + rc1 c2 ...c9 s10 )2 + (a7 + rc1 c2 ...c8 s9 )2 + (a8 + rc1 c2 ...c7 s8 )2
+ (a9 + rc1 c2 ...c6 s7 )2 + (a10 + rc1 c2 ...c5 s6 )2 + (a11 + rc1 c2 c3 c4 s5 )2 + (a12 + rc1 c2 c3 s4 )2
+ (a13 + rc1 c2 s3 )2 + (a14 + rc1 s2 )2 + (a15 + rs1 )2 ]
⇒ h2y = −[a21 + a22 + a23 + a24 + a25 + a26 + a27 + a28 + a29 + a210 + a211 + a212 + a213 + a214 + a215
+ 2a1 rc1 c2 ....s15 + 2a2 rc1 c2 ....s14 + 2a3 rc1 c2 ....s13 + 2a4 rc1 c2 ....s12 + 2a5 rc1 c2 ....s11
+ 2a6 rc1 c2 ....s10 + 2a7 rc1 c2 ....s9 + 2a8 rc1 c2 ....s8 + 2a9 rc1 c2 ....s7 + 2a10 rc1 c2 ....s6
+ 2a11 rc1 c2 ....s5 + 2a12 rc1 c2 c3 s4 + 2a13 rc1 c2 s3 + 2a14 rc1 s2 + 2a15 rs1
+ r2 (c21 c22 ...s215 + c21 c22 ...s214 + c21 c22 ...s213 + c21 c22 ...s212 + c21 c22 ...s211 + c21 c22 ...s210
+ c21 c22 ...s29 + c21 c22 ...s28 + c21 c22 ...s27 + c21 c22 ...s26 + c21 c22 ...s25 + c21 c22 c23 s24 + c21 c22 s23 + c21 s22 + s21 )]
3.1. Coordenadas esféricas 16-dimensionais 33
⇒ h2y = −[a21 + a22 + a23 + a24 + a25 + a26 + a27 + a28 + a29 + a210 + a211 + a212 + a213 + a214 + a215
+ 2r(a1 c1 c2 ....s15 + a2 c1 c2 ....s14 + a3 c1 c2 ....s13 + a4 c1 c2 ....s12 + a5 c1 c2 ....s11
+ a6 c1 c2 ....s10 + a7 c1 c2 ....s9 + a8 c1 c2 ....s8 + a9 c1 c2 ....s7 + a10 c1 c2 ....s6 + a11 c1 c2 ....s5
+ a12 c1 c2 c3 s4 + a13 c1 c2 s3 + a14 c1 s2 + a15 s1 ) + r2 (c21 c22 ...c214 s215 + c21 c22 ...c213 s214
+ c21 c22 ...c212 s213 + c21 c22 ...c211 s212 + c21 c22 ...c210 s211 + c21 c22 ...c29 s210 + c21 c22 ...c28 s29 + c21 c22 ...s28
+ c21 c22 ...s27 + c21 c22 ...s26 + c21 c22 ...s25 + c21 c22 c23 s24 + c21 c22 s23 + c21 s22 + s21 )] (3.6)
Em tomando-se,
c21 [c22 ...c214 (1 − c215 ) + c22 ...c213 (1 − c214 ) + c22 ...c212 (1 − c213 ) + c22 ...c211 (1 − c212 ) + c22 ...c210 (1 − c211 ) +
c22 ...c29 (1 − c210 ) + c22 ...c28 (1 − c29 ) + c22 ...c27 (1 − c28 ) + c22 ...c26 (1 − c27 ) + c22 ...c25 (1 − c26 ) +
c22 ...c24 (1 − c25 ) + c22 c23 (1 − c24 ) + c22 (1 − c23 ) + (1 − c22 )] + s21 = −s2
⇒ c21 [c22 ...c214 − c22 ...c214 c215 + c22 ...c213 − c22 ...c213 c214 + c22 ...c212 − c22 ...c212 c213 + c22 ...c210 c211
− c22 ...c211 c212 + c22 ...c210 − c22 ...c210 c211 + c22 ...c29 − c22 ...c29 c210 + c22 ...c28 − c22 ...c28 c29 + c22 ...c27
− c22 ...c27 c28 + c22 ...c26 − c22 ...c26 c27 + c22 ...c25 − c22 ...c25 c26 + c22 c23 c24 − c22 c23 c24 c25 + c22 c23 − c22 c23 c24
+ c22 − c22 c23 + 1 − c22 ] + [1 − c21 ] = −s2
Como,
Após estudo do conceito geral de função nos hipercomplexos, reforça-se agora, de forma
intuitiva, alguns conceitos matemáticos topológicos [15] que permitem a exploração e o
conhecimento dos complexos como forma de crescente investigação. Desenvolve-se, neste
capı́tulo, as Equações de Cauchy-Riemann para os sedenions.
B(z, r) = {y ∈ C : |y − z| ≤ r}
p
⇔ (y0 − z0 )2 + (y1 − z1 )2 ≤ r
B(z, r) = {y ∈ C : |y − z| < r}
35
4.1. Regiões no Plano Complexo 36
Observação 4.1 É claro que todo ponto da fronteira de B é ponto da fronteira do comple-
mentar de B.
Observação 4.3 Todo ponto interior de B é ponto de acumulação, mas não é ponto de
fronteira.
Um conjunto B é conexo se ele não pode ser escrito como união de dois abertos disjuntos
e não-vazios.
Diz-se que B é conexo se quaisquer dois pontos distintos de B podem ser ligados por
uma poligonal toda contida em B.
4.1. Regiões no Plano Complexo 37
Observação 4.4 Note que tem-se uma orientação (ou sentido) de percurso para γ. O ca-
minho com orientação oposta à de γ será denotado por γ
e.
0
Definição 4.4 Um caminho γ : [a, b] → C é dito regular quando γ tem derivada γ em [a, b],
0
além disso, γ é contı́nua em [a, b].
4.1. Regiões no Plano Complexo 38
Definição 4.5 Um caminho regular por partes é um caminho γ : [a, b] → C que é regular
em [a, b] exceto em um número finito de pontos.
Observação 4.5 Todo caminho regular por partes, fechado e simples é chamado de Curva
de Jordan.
Teorema 4.1 Seja f analı́tica em um domı́nio D simplesmente conexo. Então, por todo
caminho fechado γ nesse domı́nio cumprem-se
Z
f (z)dz = 0 (4.2)
γ
Z Z
f (z)dz = f (z)dz (4.4)
γ0 γ1
Z Z Z Z Z Z
0= f (z)dz = f (z)dz = f (z)dz + f (z)dz = f (z)dz − f (z)dz (4.5)
γ γ0 ∪f
γ1 γ0 γ
f1 γ0 γ1
Portanto,
Z Z
⇒ f (z)dz = f (z)dz (4.6)
γ0 γ1
4.2. Transformações 40
Z Z
f (z)dz = f (z)dz
γ γ0 ∪f
γ1
Z Z
= f (z)dz + f (z)dz = 0
γ0
| γfR1 {z }
− γ f (z)dz
1
Z
⇒ f (z)dz = 0 (4.7)
γ
4.2 Transformações
Definição 4.7 Um mapeamento ou transformação conforme é uma função f : D → C para
z em D se, e somente se, este mapeamento preserva a magnitude dos ângulos e a direção
dos ângulos para z.
4.2. Transformações 41
Teorema 4.4 Para z complexo, se f (z) é analı́tica com f 0 (z) 6= 0 numa região D simples-
mente conexa, então a transformação w = f (z) é conforme em todos os pontos de D.
Uma condição necessária para que f (z) = u(x, y) + iv(x, y) seja analı́tica numa região D
é que em D, u e v satisfaçam as equações de Cauchy-Riemann nos complexos:
∂u ∂v ∂u ∂v
= , =−
∂x ∂y ∂y ∂x
Se as derivadas parciais de f (z) são contı́nuas em D, então as equações de Cauchy-
Riemann são também condições suficientes para que f (z) seja analı́tica em D. Nos com-
plexos, a translação, a dilatação, a rotação e a inversão são mapeamentos conformes.
π
Arg(A) =
2
π
isto é, a imagem torna-se rotacionada pelo ângulo 2
em torno da origem.
R
(f14 da0 +f15 da1 +f12 da2 −f13 da3 −f10 da4 +f11 da5 −f8 da6 −f9 da7 +f6 da8 +f7 da9 +f4 da10 −
000 R
f5 da11 − f2 da12 + f3 da13 + f0 da14 − f1 da15 )j + (f15 da0 − f14 da1 + f13 da2 + f12 da3 − f11 da4 −
000
f10 da5 + f9 da6 − f8 da7 + f7 da8 − f6 da9 + f5 da10 + f4 da11 − f3 da12 − f2 da13 + f1 da14 + f0 da15 )k
e,
R R 0 0 0 0 00 00
dzf = (da0 + da1 i + da2 j + da3 k + da4 e + da5 i + da6 j + da7 k + da8 e + da9 i +
00 00 000 000 000 000 0 0 0
da10 j + da11 k + da12 e + da13 i + da14 j + da15 k )(f0 + f1 i + f2 j + f3 k + f4 e + f5 i + f6 j +
0 00 00 00 00 000 000 000 000 R
f7 k + f8 e + f9 i + f10 j + f11 k + f12 e + f13 i + f14 j + f15 k ) = (da0 f0 − da1 f1 − da2 f2 −
da3 f3 − da4 f4 − da5 f5 − da6 f6 − da7 f7 − da8 f8 − da9 f9 − da10 f10 − da11 f11 − da12 f12 − da13 f13 −
R
da14 f14 − da15 f15 ) + (da0 f1 + da1 f0 + da2 f3 − da3 f2 + da4 f5 − da5 f4 − da6 f7 + da7 f6 + da8 f9 −
R
da9 f8 − da10 f11 + da11 f10 − da12 f13 + da13 f12 + da14 f15 − da15 f14 )i + (da0 f2 − da1 f3 + da2 f0 +
da3 f1 + da4 f6 + da5 f7 − da6 f4 − da7 f5 + da8 f10 + da9 f11 − da10 f8 − da11 f9 − da12 f14 − da13 f15 +
R
da14 f12 +da15 f13 )j+ (da0 f3 +da1 f2 −da2 f1 +da3 f0 +da4 f7 −da5 f6 +da6 f5 −da7 f4 +da8 f11 −
R
da9 f10 + da10 f9 − da11 f8 − da12 f15 + da13 f14 − da14 f13 + da15 f12 )k + (da0 f4 − da1 f5 − da2 f6 −
da3 f7 + da4 f0 + da5 f1 + da6 f2 + da7 f3 + da8 f12 + da9 f13 + da10 f14 + da11 f15 − da12 f8 − da13 f9 −
0 R
da14 f10 −da15 f11 )e + (da0 f5 +da1 f4 −da2 f7 +da3 f6 −da4 f1 +da5 f0 −da6 f3 +da7 f2 +da8 f13 −
0 R
da9 f12 + da10 f15 − da11 f14 + da12 f9 − da13 f8 + da14 f11 − da15 f10 )i + (da0 f6 + da1 f7 + da2 f4 −
da3 f5 −da4 f2 +da5 f3 +da6 f0 −da7 f1 +da8 f14 −da9 f15 −da10 f12 +da11 f13 +da12 f10 −da13 f11 −
0 R
da14 f8 + da15 f9 )j + (da0 f7 − da1 f6 + da2 f5 + da3 f4 − da4 f3 − da5 f2 + da6 f1 + da7 f0 + da8 f15 +
0 R
da9 f14 −da10 f13 −da11 f12 +da12 f11 +da13 f10 −da14 f9 −da15 f8 )k + (da0 f8 −da1 f9 − da2 f10 −
da3 f11 − da4 f12 − da5 f13 − da6 f14 − da7 f15 + da8 f0 + da9 f1 + da10 f2 + da11 f3 + da12 f4 + da13 f5 +
00 R
da14 f6 + da15 f7 )e + (da0 f9 + da1 f8 − da2 f11 + da3 f10 − da4 f13 + da5 f12 + da6 f15 − da7 f14 −
00 R
da8 f1 + da9 f0 − da10 f3 + da11 f2 − da12 f5 + da13 f4 + da14 f7 − da15 f6 )i + (da0 f10 + da1 f11 +
da2 f8 − da3 f9 − da4 f14 − da5 f15 + da6 f12 + da7 f13 − da8 f2 + da9 f3 + da10 f0 − da11 f1 − da12 f6 −
00 R
da13 f7 + da14 f4 + da15 f5 )j + (da0 f11 − da1 f10 + da2 f9 + da3 f8 − da4 f15 + da5 f14 − da6 f13 +
00 R
da7 f12 − da8 f3 − da9 f2 + da10 f1 + da11 f0 − da12 f7 + da13 f6 − da14 f5 + da15 f4 )k + (da0 f12 +
da1 f13 + da2 f14 + da3 f15 + da4 f8 − da5 f9 − da6 f10 − da7 f11 − da8 f4 + da9 f5 + da10 f6 + da11 f7 +
000 R
da12 f0 − da13 f1 − da14 f2 − da15 f3 )e + (da0 f13 − da1 f12 + da2 f15 − da3 f14 + da4 f9 + da5 f8 +
000
da6 f11 − da7 f10 − da8 f5 − da9 f4 + da10 f7 − da11 f6 + da12 f1 + da13 f0 + da14 f3 − da15 f2 )i +
R
(da0 f14 −da1 f15 −da2 f12 +da3 f13 +da4 f10 −da5 f11 +da6 f8 +da7 f9 −da8 f6 −da9 f7 −da10 f4 +
000 R
da11 f5 + da12 f2 − da13 f3 + da14 f0 + da15 f1 )j + (da0 f15 + da1 f14 − da2 f13 − da3 f12 + da4 f11 +
000
da5 f10 − da6 f9 + da7 f8 − da8 f7 + da9 f6 − da10 f5 − da11 f4 + da12 f3 + da13 f2 − da14 f1 + da15 f0 )k
4.3. Equações de Cauchy-Riemann 16-dimensional 44
Teorema 4.5 Para todo par de pontos x e y, e qualquer caminho ligando-os em um espaço
Ry
simplesmente conexo 16-dimensional, a integral x f dz independe do caminho dado se, e
0 0 0 0 00
somente se, existe uma função F = F0 + F1 i + F2 j + F3 k + F4 e + F5 i + F6 j + F7 k + F8 e +
00 00 00 000 000 000 000 Ry
F9 i + F10 j + F11 k + F12 e + F13 i + F14 j + F15 k com x f dz = F (y) − F (x) e que
satisfaz as seguintes condições:
∂F0 ∂F1 ∂F2 ∂F3 ∂F4 ∂F5 ∂F6 ∂F7 ∂F8
f0 = = = = = = = = =
∂a0 ∂a1 ∂a2 ∂a3 ∂a4 ∂a5 ∂a6 ∂a7 ∂a8
∂F9 ∂F10 ∂F11 ∂F12 ∂F13 ∂F14 ∂F15
= = = = = = = , (4.8)
∂a9 ∂a10 ∂a11 ∂a12 ∂a13 ∂a14 ∂a15
x
f dz = x dF = x d(F0 + F1 i + F2 j + F3 k + F4 e + F5 i + F6 j + F7 k + F8 e + F9 i +
00 00 000 000 000 000
F10 j + F11 k + F12 e + F13 i + F14 j + F15 k ) = F (y) − F (x),
Supondo que a função F exista, podemos escrever as diferenciais totais das suas respec-
tivas funções coordenadas da seguinte forma:
Demonstração:
Ry
A integral x dzf , independerá do caminho se existir uma função G, tal que,
Ry 0 0 0 0 00 00 00
x
dzf = G0 + G1 i + G2 j + G3 k + G4 e + G5 i + G6 j + G7 k + G8 e + G9 i + G10 j +
00 000 000 000 000
G11 k + G12 e + G13 i + G14 j + G15 k = G(y) − G(x), de modo que o valor dessa diferença
dependerá unicamente dos pontos extremos.
4.3. Equações de Cauchy-Riemann 16-dimensional 55
Conforme Borges e Machado [17], obteve-se neste capı́tulo conceitos da teoria clássica que
podem ser aceitos intuitivamente como a generalização das equações de Cauchy-Riemann em
16-dimensões, através da regra de multiplicação para os sedenions, e obtidos do conceito de
integrabilidade de caminhos independentes.
Capı́tulo 5
Esse resultado será essencial para o cálculo numérico da k-dilatação no capı́tulo seguinte.
Induziremos o estudo de |f (y) − f (x)|, para o caso quando f (z) = z 2 , f (z) = z 3 e f (z) = z 4 .
(n)
Os coeficientes Ai serão fixados de acordo com as variáveis ri , i = 2, ..., 2n, e n fixo.
61
5.1. Fator de expansão e a k-quaseconformidade 62
M (x, r)
H(x, r) = ,
m(x, r)
Com isto, obtém-se o valor da k-dilatação em se fazendo,
H(x) ≤ k
5.2. O caso em que f (z) = z n 63
Como,
M (x, r)
H(x) = lim sup H(x, r) = lim sup
r→0 r→0 m(x, r)
q
(n) (n) (n)
max A2 r2 + A3 r3 + ... + A2n r2n
= lim sup q
r→0 (n) (n) (n)
min A2 r2 + A3 r3 + ... + A2n r2n
q
(n) (n) (n)
max r2 (A2 + A3 r1 + ... + A2n r2n−2 )
= lim sup q
r→0 (n) (n) (n)
min r2 (A2 + A3 r1 + ... + A2n r2n−2 )
q
(n) (n) (n)
max |r| A2 + A3 r1 + ... + A2n r2n−2
= lim sup q
r→0 (n) (n) (n)
min |r| A2 + A3 r1 + ... + A2n r2n−2
v
u
u max A(n)
⇒ H(x) = t 2
(n)
(5.2)
min A2
(n)
Denomina-se por fator de expansão ao coeficiente A2 . Caso o fator de expansão não
seja constante, diz-se que a função será k-quaseconforme com 1 < k < ∞.
y0 = a0 + rc1 c2 c3 c4 c5 c6 c7 c8 c9 c10 c11 c12 c13 c14 c15 , 0 ≤ θ15 ≤ 2π
y1 = a1 + rc1 c2 c3 c4 c5 c6 c7 c8 c9 c10 c11 c12 c13 c14 s15 , −π ≤ θ14 ≤ π
2 2
y2 = a2 + rc1 c2 c3 c4 c5 c6 c7 c8 c9 c10 c11 c12 c13 s14 , −π ≤ θ13 ≤ π
2 2
y3 = a3 + rc1 c2 c3 c4 c5 c6 c7 c8 c9 c10 c11 c12 s13 , −π
2
≤ θ12 ≤ π
2
y4 = a4 + rc1 c2 c3 c4 c5 c6 c7 c8 c9 c10 c11 s12 , −π ≤ θ11 ≤ π
2 2
y5 = a5 + rc1 c2 c3 c4 c5 c6 c7 c8 c9 c10 s11 , −π ≤ θ10 ≤ π
2 2
y6 = a6 + rc1 c2 c3 c4 c5 c6 c7 c8 c9 s10 , −π ≤ θ9 ≤ π
2 2
y7 = a7 + rc1 c2 c3 c4 c5 c6 c7 c8 s9 , −π
2
≤ θ8 ≤ π
2
(5.3)
y8 = a8 + rc1 c2 c3 c4 c5 c6 c7 s8 , −π ≤ θ7 ≤ π
2 2
y9 = a9 + rc1 c2 c3 c4 c5 c6 s7 , −π ≤ θ6 ≤ π
2 2
y10 = a10 + rc1 c2 c3 c4 c5 s6 , −π ≤ θ5 ≤ π
2 2
y11 = a11 + rc1 c2 c3 c4 s5 , −π
2
≤ θ4 ≤ π
2
y12 = a12 + rc1 c2 c3 s4 , −π ≤ θ3 ≤ π
2 2
y13 = a13 + rc1 c2 s3 , −π ≤ θ2 ≤ π
2 2
y14 = a14 + rc1 s2 , −π ≤ θ1 ≤ π
2 2
y15 = a15 + rs1 , 0 ≤ r < ∞
2k+1≤n
X n
+ i[ (y1 y0n−(2k+1) h2k n−(2k+1) 2k
y − a1 a0 hx )]
k=0 2k + 1
2k+1≤n
X n
+ j[ (y2 y0n−(2k+1) h2k n−(2k+1) 2k
y − a2 a0 hx )]
k=0 2k + 1
2k+1≤n
X n
+ k[ (y3 y0n−(2k+1) h2k n−(2k+1) 2k
y − a3 a0 hx )]
k=0 2k + 1
2k+1≤n
X n
+ e0 [ (y4 y0n−(2k+1) h2k n−(2k+1) 2k
y − a4 a0 hx )]
k=0 2k + 1
2k+1≤n
X n
+ i0 [ (y5 y0n−(2k+1) h2k n−(2k+1) 2k
y − a5 a0 hx )]
k=0 2k + 1
2k+1≤n
X n
+ j 0[ (y6 y0n−(2k+1) h2k n−(2k+1) 2k
y − a6 a0 hx )]
k=0 2k + 1
2k+1≤n
X n
+ k0[ (y7 y0n−(2k+1) h2k n−(2k+1) 2k
y − a7 a0 hx )]
k=0 2k + 1
2k+1≤n
X n
+ e00 [ (y8 y0n−(2k+1) h2k n−(2k+1) 2k
y − a8 a0 hx )]
k=0 2k + 1
2k+1≤n
X n
+ i00 [ (y9 y0n−(2k+1) h2k n−(2k+1) 2k
y − a9 a0 hx )]
k=0 2k + 1
2k+1≤n
X n
+ j 00 [ (y10 y0n−(2k+1) h2k n−(2k+1) 2k
y − a10 a0 hx )]
k=0 2k + 1
2k+1≤n
X n
+ k 00 [ (y11 y0n−(2k+1) h2k n−(2k+1) 2k
y − a11 a0 hx )]
k=0 2k + 1
2k+1≤n
X n
+ e000 [ (y12 y0n−(2k+1) h2k n−(2k+1) 2k
y − a12 a0 hx )]
k=0 2k + 1
2k+1≤n
X n
+ i000 [ (y13 y0n−(2k+1) h2k n−(2k+1) 2k
y − a13 a0 hx )]
k=0 2k + 1
2k+1≤n
X n
+ j 000 [ (y14 y0n−(2k+1) h2k n−(2k+1) 2k
y − a14 a0 hx )]
k=0 2k + 1
2k+1≤n
X n
+ k 000 [ (y15 y0n−(2k+1) h2k n−(2k+1) 2k
y − a15 a0 hx )]|
k=0 2k + 1
5.2. O caso em que f (z) = z n 66
= |F + Fi + Fj + Fk + Fe0 + Fi0 + Fj 0 + Fk0 + Fe00 + Fi00 + Fj 00 + Fk00 + Fe000 + Fi000 + Fj 000 + Fk000 |
q
= F 2 + Fi2 + Fj2 + Fk2 + Fe20 + Fi20 + Fj20 + Fk20 + Fe200 + Fi200 + Fj200 + Fk200 + Fe2000 + Fi2000 + Fj2000 + Fk2000
com,
2k≤n
X n
F = (y0n−2k h2k n−2k 2k
y − a0 hx ), (5.4)
k=0 2k
2k+1≤n
X n
Fi = (y1 y0n−(2k+1) h2k n−(2k+1) 2k
y − a1 a0 hx ), (5.5)
k=0 2k + 1
2k+1≤n
X n
Fj = (y2 y0n−(2k+1) h2k n−(2k+1) 2k
y − a2 a0 hx ), (5.6)
k=0 2k + 1
2k+1≤n
X n
Fk = (y3 y0n−(2k+1) h2k n−(2k+1) 2k
y − a3 a0 hx ), (5.7)
k=0 2k + 1
2k+1≤n
X n
Fe0 = (y4 y0n−(2k+1) h2k n−(2k+1) 2k
y − a4 a0 hx ), (5.8)
k=0 2k + 1
2k+1≤n
X n
Fi0 = (y5 y0n−(2k+1) h2k n−(2k+1) 2k
y − a5 a0 hx ), (5.9)
k=0 2k + 1
2k+1≤n
X n
Fj 0 = (y6 y0n−(2k+1) h2k n−(2k+1) 2k
y − a6 a0 hx ), (5.10)
k=0 2k + 1
2k+1≤n
X n
Fk 0 = (y7 y0n−(2k+1) h2k n−(2k+1) 2k
y − a7 a0 hx ), (5.11)
k=0 2k + 1
2k+1≤n
X n
Fe00 = (y8 y0n−(2k+1) h2k n−(2k+1) 2k
y − a8 a0 hx ), (5.12)
k=0 2k + 1
2k+1≤n
X n
Fi00 = (y9 y0n−(2k+1) h2k n−(2k+1) 2k
y − a9 a0 hx ), (5.13)
k=0 2k + 1
5.2. O caso em que f (z) = z n 67
2k+1≤n
X n
Fj 00 = (y10 y0n−(2k+1) h2k n−(2k+1) 2k
y − a10 a0 hx ), (5.14)
k=0 2k + 1
2k+1≤n
X n
Fk00 = (y11 y0n−(2k+1) h2k n−(2k+1) 2k
y − a11 a0 hx ), (5.15)
k=0 2k + 1
2k+1≤n
X n
Fe000 = (y12 y0n−(2k+1) h2k n−(2k+1) 2k
y − a12 a0 hx ), (5.16)
k=0 2k + 1
2k+1≤n
X n
Fi000 = (y13 y0n−(2k+1) h2k n−(2k+1) 2k
y − a13 a0 hx ), (5.17)
k=0 2k + 1
2k+1≤n
X n
Fj 000 = (y14 y0n−(2k+1) h2k n−(2k+1) 2k
y − a14 a0 hx ), (5.18)
k=0 2k + 1
2k+1≤n
X n
Fk000 = (y15 y0n−(2k+1) h2k n−(2k+1) 2k
y − a15 a0 hx ); (5.19)
k=0 2k + 1
a partir desta construção, obtêm-se,
q
|f (y) − f (x)| = F 2 + Fi2 + Fj2 + Fk2 + Fe20 + Fi20 + Fj20 + Fk20 + Fe2000 + Fi2000 + Fj2000 + Fk2000
v
u 2n
uX (n)
= t As rs
s=2
Para compreender melhor este método, que permite calcular a distância |f (y) − f (x)| em
função de um polinômio de grau 2n, induz-se o cálculo para n = 2, 3 e 4, fixo. Usa-se como
referência deste método os estudos realizados por Maricato [20, 21].
Basicamente, a idéia central consiste em escrever cada Fl , l = 0, ..., 15, na seguinte forma:
n
X
Fl = flt rt (5.20)
t=1
2n
X
⇒ Fl2 2 3
= al2 r + al3 r + ... + al2n r 2n
= als rs (5.21)
s=2
5.3. O caso em que f (z) = z 2 68
de modo que,
|f (y) − f (x)|2 = F 2 + Fi2 + Fj2 + Fk2 + Fe20 + Fi20 + Fj20 + Fk20 + Fe2000 + Fi2000 + Fj2000 + Fk2000 =
2n
X
(as + ais + ajs + aks + ae0 s + ai0 s + aj 0 s + ak0 s + ae00 s + ai00 s + aj 00 s + ak00 s + ae000 s + ai000 s +
s=2
2n
X
s
aj 000 s + ak000 s )r = A(n)
s r
s
s=2
k=0 2k
2k+1≤2
X 2
Im(y 2 ) = hy y02−(2k+1) h2k
y
= 2y0 hy
k=0 2k + 1
|f (y) − f (x)| = |(y0 + hy )2 − (a0 + hx )2 | = |y02 − a20 + h2y − h2x + 2y0 hy − 2a0 hx |
0 0 0
= |y02 − a20 + h2y − h2x + 2y0 (iy1 + jy2 + ky3 + e y4 + i y5 + j y6
0 00 00 00 00 000 000 000 000
+ k y7 + e y8 + i y9 + j y10 + k y11 + e y12 + i y13 + j y14 + k y15 )
0 0 0 0 00 00 00
− 2a0 (ia1 + ja2 + ka3 + e a4 + i a5 + j a6 + k a7 + e a8 + i a9 + j a10
00 000 000 000 000
+ k a11 + e a12 + i a13 + j a14 + k a15 )| = |y02 − a20 + h2y − h2x
+ (2y0 y1 − 2a0 a1 )i + (2y0 y2 − 2a0 a2 )j + (2y0 y3 − 2a0 a3 )k + (2y0 y4 − 2a0 a4 )e0
+ (2y0 y5 − 2a0 a5 )i0 + (2y0 y6 − 2a0 a6 )j 0 + (2y0 y7 − 2a0 a7 )k 0 + (2y0 y8 − 2a0 a8 )e00
+ (2y0 y9 − 2a0 a9 )i00 + (2y0 y10 − 2a0 a10 )j 00 + (2y0 y11 − 2a0 a11 )k 00 + (2y0 y12 − 2a0 a12 )e000
+ (2y0 y13 − 2a0 a13 )i000 + (2y0 y14 − 2a0 a14 )j 000 + (2y0 y15 − 2a0 a15 )k 000 |
Desta forma,
Para Fj , tem-se:
Fk = 2y0 y3 − 2a0 a3 = (2a0 c1 ...s13 + 2a3 c)r + 2cc1 ...s13 r2 = fk1 r + fk2 r2
Fe0 = 2y0 y4 − 2a0 a4 = (2a0 c1 ...s12 + 2a4 c)r + 2cc1 ...s12 r2 = fe0 1 r + fe0 2 r2
..
.
Fj 000 = 2y0 y14 − 2a0 a14 = (2a0 c1 s2 + 2a14 c)r + 2cc1 s2 r2 = fj 000 1 r + fj 000 2 r2
Fk000 = 2y0 y15 − 2a0 a15 = (2a0 s1 + 2a15 c)r + 2cs1 r2 = fk000 1 r + fk000 2 r2
|f (y) − f (x)|2 = F 2 + Fi2 + Fj2 + Fk2 + Fe20 + Fi20 + Fj20 + Fk20 + Fe200 + Fi200 + Fj200 + Fk200
+ Fe2000 + Fi2000 + Fj2000 + Fk2000
Como Fl = fl1 r + fl2 r2 , para cada Fl , l = 0, ..., 15, eleva-se à potência 2, isto é,
dado que,
(2)
A2 = f12 + fi12 + fj1
2 2
+ fk1 + fe20 1 + +fi20 1 + fj20 1 + fk20 1 + fe200 1 + fi200 1 + fj200 1 + fk200 1
+ fe2000 1 + fi2000 1 + fj2000 1 + fk2000 1
15
X
(2)
⇒ A2 = fl12 (5.23)
l=0
(2)
A3 = 2f1 f2 + 2fi1 fi2 + 2fj1 fj2 + 2fk1 fk2 + 2fe0 1 fe0 2 + 2fi0 1 fi0 2 + 2fj 0 1 fj 0 2 + 2fk0 1 fk0 2 + 2fe00 1 fe00 2
+ 2fi00 1 fi00 2 + 2fj 00 1 fj 00 2 + 2fk00 1 fk00 2 + 2fe000 1 fe000 2 + 2fi000 1 fi000 2 + 2fj 000 1 fj 000 2 + 2fk000 1 fk000 2
15
X
(2)
⇒ A3 = 2fl1 fl2 (5.24)
l=0
(2)
A4 = f22 + fi22 + fj2
2 2
+ fk2 + fe20 2 + fi20 2 + fj20 2 + fk20 2 + fe200 2 + fi200 2 + fj200 2 + fk200 2
+ fe2000 2 + fi2000 2 + fj2000 2 + fk2000 2
15
X
(2)
⇒ A4 = fl22 (5.25)
l=0
(2)
⇒ A2 = 4(a20 − h2x c2 + Π2 ) (5.26)
(2)
A3 = 2f1 f2 + 2fi1 fi2 + 2fj1 fj2 + 2fk1 fk2 + 2fe0 1 fe0 2 + 2fi0 1 fi0 2 + 2fj 0 1 fj 0 2 + 2fk0 1 fk0 2 + 2fe00 1 fe00 2
+ 2fi00 1 fi00 2 + 2fj 00 1 fj 00 2 + 2fk00 1 fk00 2 + 2fe000 1 fe000 2 + 2fi000 1 fi000 2 + 2fj 000 1 fj 000 2 + 2fk000 1 fk000 2
= 2[2(a0 c − Π)(2c2 − 1) + (2a0 c1 ...s15 + 2a1 c)(2cc1 ...s15 ) + (2a0 c1 ...s14 + 2a2 c)(2cc1 ...s14 )
+ (2a0 c1 ...s13 + 2a3 c)(2cc1 ...s13 ) + (2a0 c1 ...s12 + 2a4 c)(2cc1 ...s12 ) + (2a0 c1 ...s11 + 2a5 c)(2cc1 ...
...s11 ) + (2a0 c1 ...s10 + 2a6 c)(2cc1 ...s10 ) + (2a0 c1 ...s9 + 2a7 c)(2cc1 ...s9 ) + (2a0 c1 ...s8
+ 2a8 c)(2cc1 ...s8 ) + (2a0 c1 ...s7 + 2a9 c)(2cc1 ...s7 ) + (2a0 c1 ...s6 + 2a10 c)(2cc1 ...s6 ) + (2a0 c1 ...s5
+ 2a11 c)(2cc1 ...s5 ) + (2a0 c1 ...s4 + 2a12 c)(2cc1 ...s4 ) + (2a0 c1 c2 s3 + 2a13 c)(2cc1 c2 s3 ) + (2a0 c1 s2
+ 2a14 c)(2cc1 s2 ) + (2a0 s1 + 2a15 c)(2cs1 )] = 2[4a0 c3 − 2a0 c − 4c2 Π + 2Π + 4a0 cc21 ...s215
+ 4a1 c2 c1 ...s15 + 4a0 cc21 ...s214 + 4a2 c2 c1 ...s14 + 4a0 cc21 ...s213 + 4a3 c2 c1 ...s13 + 4a0 cc21 ...s212
+ 4a4 c2 c1 ...s12 + 4a0 cc21 ...s211 + 4a5 c2 c1 ...s11 + 4a0 cc21 ...s210 + 4a6 c2 c1 ...s10 + 4a0 cc21 ...s29
+ 4a7 c2 c1 ...s9 + 4a0 cc21 ...s28 + 4a8 c2 c1 ...s8 + 4a0 cc21 ...s27 + 4a9 c2 c1 ...s7 + 4a0 c21 ...s26
+ 4a10 c2 c1 ...s6 + 4a0 cc21 ...s25 + 4a11 c2 c1 ...s5 + 4a0 cc21 ...s24 + 4a12 c2 c1 ...s4 + 4a0 cc21 c22 s23
+ 4a13 c2 c1 c2 s3 + 4a0 cc21 s22 + 4a14 c2 c1 s2 + 4a0 cs21 + 4a15 c2 s1 ] = 2[4a0 c3 − 2a0 c + 2Π
+ 4a0 cc21 ...(1 − c215 ) + 4a0 cc21 ...(1 − c214 ) + ... + 4a0 cc21 (1 − c22 ) + 4a0 c(1 − c21 )]
= 2[4a0 c3 − 2a0 c + 2Π + 4a0 cc21 ...c214 (1 − c215 ) + 4a0 cc21 ...c213 (1 − c214 ) + ... + 4a0 cc21 (1 − c22 )
+ 4a0 c(1 − c21 )] = 8a0 c3 − 4a0 c + 4Π − 8a0 c3 + 8a0 c = 4a0 c + 4Π = 4(a0 c + Π)
(2)
⇒ A3 = 4(a0 c + Π) (5.27)
(2)
A4 = f22 + fi22 + fj2
2 2
+ fk2 + fe20 2 + fi20 2 + fj20 2 + fk20 2 + fe200 2 + fi200 2 + fj200 2 + fk200 2 + fe2000 2
+ fi2000 2 + fj2000 2 + fk2000 2 = (2c2 − 1)2 + (2cc1 ...s15 )2 + (2cc1 ...s14 )2 + ... + (2cc1 s2 )2 + (2cs1 )2
= 4c4 − 4c2 + 1 + 4c2 c21 ...c214 (1 − c215 ) + 4c2 c21 ...c213 (1 − c214 ) + ... + 4c2 c21 (1 − c22 ) + 4c2 (1 − c21 )
= 4c4 − 4c2 + 1 − 4c2 c21 ...c215 + 4c2 = 4c4 + 1 − 4c4 = 1
(2)
⇒ A4 = 1 (5.28)
5.4. O caso em que f (z) = z 3 73
Logo,
(2)
2 2 2 2
A2 = 4(a0 − hx c + Π ),
A23 = 4(a0 c + Π), (5.29)
(2)
A4 = 1
E portanto,
q q
(2) (2) (2)
|f (y) − f (x)| = A2 r2 + A3 r3 + A4 r4 = 4(a20 − h2x c2 + 4Π)r2 + 4(a0 c + Π)r3 + 1r4
segue que,
|f (y) − f (x)| = |y03 + 3y02 hy + 3y0 h2y + h3y − a30 − 3a20 hx − 3a0 h2x − h3x |
= |y03 − a30 + 3(y0 h2y − a0 h2x ) + 3y02 hy + h3y − 3a20 hx − h3x |
= |y03 − a30 + 3(y0 h2y − a0 h2x ) + (3y02 + h2y )hy − (3a20 + h2x )hx |
0 0 0 0
= |y03 − a30 + 3(y0 h2y − a0 h2x ) + (3y02 + h2y )(iy1 + jy2 + ky3 + e y4 + i y5 + j y6 + k y7
00 00 00 00 000 000 000 000
+ e y8 + i y9 + j y10 + k y11 + e y12 + i y13 + j y14 + k y15 ) − (3a20 + h2x )(ia1
0 0 0 0 00 00 00 00 000
+ ja2 + ka3 + e a4 + i a5 + j a6 + k a7 + e a8 + i a9 + j a10 + k a11 + e a12
000 000 000
+ i a13 + j a14 + k a15 )| = |y03 − a30 + 3(y0 h2y − a0 h2x ) + i[(3y02 + h2y )y1 − (3a20
+ h2x )a1 ] + j[(3y02 + h2y )y2 − (3a20 + h2x )a2 ] + k[(3y02 + h2y )y3 − (3a20 + h2x )a3 ]
+ e0 [(3y02 + h2y )y4 − (3a20 + h2x )a4 ] + i0 [(3y02 + h2y )y5 − (3a20 + h2x )a5 ] + j 0 [(3y02 + h2y )y6
00
− (3a20 + h2x )a6 ] + k 0 [(3y02 + h2y )y7 − (3a20 + h2x )a7 ] + e [(3y02 + h2y )y8 − (3a20 + h2x )a8 ]
00 00 00
+ i [(3y02 + h2y )y9 − (3a20 + h2x )a9 ] + j [(3y02 + h2y )y10 − (3a20 + h2x )a10 ] + k [(3y02
000 000
+ h2y )y11 − (3a20 + h2x )a11 ] + e [(3y02 + h2y )y12 − (3a20 + h2x )a12 ] + i [(3y02 + h2y )y13
5.4. O caso em que f (z) = z 3 74
000 000
− (3a20 + h2x )a13 ] + j [(3y02 + h2y )y14 − (3a20 + h2x )a14 ] + k [(3y02 + h2y )y15 − (3a20 + h2x )a15 ]
0 0 0 00 00 00
= |F + iFi + jFj + kFk + e0 Fe0 i Fi0 + j Fj 0 + k Fk0 + e Fe00 + i Fi00 + j Fj 00
00 000 000 000 000
+ k Fk00 + e Fe000 i Fi000 + j Fj 000 + k Fk000 |,
dado que,
F = y03 − a30 + 3(y0 h2y − a0 h2x ) = (a0 + rc)3 − a30 + 3((a0 + rc)(h2x − 2rΠ + r2 s2 ) − a0 h2x )
= a30 + 3a20 cr + 3a0 c2 r2 + c3 r3 − a30 + 3a0 h2x − 6a0 rΠ + 3a0 r2 s2 + 3rch2x − 6r2 cΠ + 3r3 cs2 − 3a0 h2x
= 3a20 cr + 3a0 c2 r2 + c3 r3 − (6a0 Π − 3h2x c)r + (3a0 s2 − 6cΠ)r2 + 3cs2 r3 = [3c(a20 + h2x ) − 6a0 Π]r
+ [3a0 (c2 − (1 − c2 )) − 6cΠ]r2 + [c3 + 3c3 − 3c]r3 = [3c(a20 + h2x ) − 6a0 Π]r + [3a0 (2c2 − 1)
− 6cΠ]r2 + [4c3 − 3c]r3 = f1 r + f2 r2 + f3 r3
para,
f1 = 3c(a20 + h2x ) − 6a0 Π
f2 = 3a0 (2c2 − 1) − 6cΠ
f3 = 4c3 − 3c
Fi = (3y02 + h2y )y1 − (3a20 + h2x )a1 = 3(y02 y1 − a20 a1 ) + (y1 h2y − a1 h2x ) = 3(y02 y1 − a20 a1 )
+ (a1 + rc1 ...s15 )(h2x − 2rΠ + s2 r2 ) − a1 h2x = 3((a0 + rc)2 (a1 + rc1 ...s15 ) − a20 a1 )
+ a1 h2x − 2a1 rΠ + a1 s2 r2 + rc1 ...s15 h2x − 2r2 Πc1 ...s15 + r3 s2 c1 ...s15 − a1 h2x
= 3(a20 + 2a0 rc + r2 c2 )(a1 + rc1 ...s15 ) − 3a20 a1 − 2a1 rΠ + a1 s2 r2 + rc1 ...s15 h2x − 2r2 Πc1 ...s15
+ r3 s2 c1 ...s15 = 3a20 a1 + 3a20 rc1 ...s15 + 6a0 a1 rc + 6a0 r2 cc1 ...s15 + 3a1 r2 c2 + 3r3 c2 c1 ...s15
− 3a20 a1 − 2a1 rΠ + a1 s2 r2 + rc1 ...s15 h2x − 2r2 Πc1 ...s15 + r3 s2 c1 ...s15 = (3a20 c1 ...s15 + 6a0 a1 c
+ h2x c1 ...s15 − 2a1 Π)r + (6a0 cc1 ...s15 + 3a1 c2 + a1 s2 − 2Πc1 ...s15 )r2 + (3c2 c1 ...s15 + s2 c1 ...s15 )r3
= fi1 r1 + fi2 r2 + fi3 r3
com,
fi1 = 3a20 c1 ...s15 + 6a0 a1 c + h2x c1 ...s15 − 2a1 Π = (3a20 + h2x )c1 ...s15 + 2a1 (3a0 c − Π),
fi2 = 6a0 cc1 ...s15 + 3a1 c2 − a1 (1 − c2 ) − 2Πc1 ...s15 = a1 (4c2 − 1) + 2(3a0 c − Π)c1 ...s15 ,
fi3 = 3c2 c1 ...s15 + s2 c1 ...s15 = c1 ...s15 (3c2 − (1 − c2 )) = c1 ...s15 (4c2 − 1)
5.4. O caso em que f (z) = z 3 75
Analogamente,
Fj = (3y02 + h2y )y2 − (3a20 + h2x )a2 = 3(y02 y2 − a20 a2 ) + (y2 h2y − a2 h2x ) = 3(a0 + rc)2 (a2 + rc1 ...s14 )
− 3a20 a2 + (a2 + rc1 ...s14 )(h2x − 2rΠ + s2 r2 ) − a2 h2x = 3(a20 + 2a0 rc + r2 c2 )(a2 + rc1 ...s14 )
− 3a20 a2 + (a2 + rc1 ...s14 )(h2x − 2rΠ + s2 r2 ) − a2 h2x = 3a20 a2 + 3a20 rc1 ...s14 + 6a0 a2 rc
+ 6a0 r2 cc1 ...s14 + 3r2 c2 a2 + 3r3 c2 c1 ...s14 − 3a20 a2 + a2 h2x − 2a2 rΠ + a2 s2 r2 + h2x rc1 ...s14
− 2r2 Πc1 ...s14 + s2 r3 c1 ...s14 − a2 h2x = (3a20 c1 ...s14 + 6a0 a2 c − 2a2 Π + h2x c1 ...s14 )r
+ (6a0 cc1 ...s14 + 3c2 a2 + a2 s2 − 2Πc1 ...s14 )r2 + (3c2 c1 ...s14 + s2 c1 ...s14 )r3
= fj1 r1 + fj2 r2 + fj3 r3
dado que,
fj1 = (3a20 + h2x )c1 ...s14 + 2a2 (3a0 c − Π)
fj2 = (3a0 c − Π)2c1 ...s14 + a2 (c2 − 1 + 3c2 ) = a2 (4c2 − 1) + 2(3a0 c − Π)c1 ...s14
fj3 = 3c2 c1 ...s14 + s2 c1 ...s14 = c1 ...s14 (3c2 − (1 − c2 )) = c1 ...s14 (4c2 − 1)
Fk = [(3a20 + h2x )c1 ...s13 + 2a3 (3a0 c − Π)]r + [a3 (4c2 − 1) + 2(3a0 c − Π)c1 ...s13 ]r2
+ [c1 ...s13 (4c2 − 1)]r3 = fk1 r1 + fk2 r2 + fk3 r3
Fe0 = [(3a20 + h2x )c1 ...s12 + 2a4 (3a0 c − Π)]r + [a4 (4c2 − 1) + 2(3a0 c − Π)c1 ...s12 ]r2
+ [c1 ...s12 (4c2 − 1)]r3 = fe0 1 r1 + fe0 2 r2 + fe0 3 r3
..
.
Fj 000 = [(3a20 + h2x )c1 s2 + 2a14 (3a0 c − Π)]r + [a14 (4c2 − 1) + 2(3a0 c − Π)c1 s2 ]r2
+ [c1 s2 (4c2 − 1)]r3 = fj 000 1 r1 + fj 000 2 r2 + fj 000 3 r3
Fk000 = [(3a20 + h2x )s1 + 2a15 (3a0 c − Π)]r + [a15 (4c2 − 1) + 2(3a0 c − Π)s1 ]r2
+ [s1 (4c2 − 1)]r3 = fk000 1 r1 + fk000 2 r2 + fk000 3 r3
Consequentemente,
Fl2 = fl12 r2 + 2fl1 fl2 r3 + (fl22 + 2fl1 fl3 )r4 + 2fl2 fl3 r5 + fl32 r6 , l = 0, ..., 15
5.4. O caso em que f (z) = z 3 76
então se,
|f (y)−f (x)|2 = F 2 +Fi2 +Fj2 +Fk2 +Fe20 +Fi20 +Fj20 +Fe200 +Fi200 +Fj200 +Fk200 +Fe2000 +Fi2000 +Fj2000 +Fk2000
têm-se, q
(3) (3) (3) (3) (3)
|f (y) − f (x)| = A2 r2 + A3 r3 + A4 r4 + A5 r5 + A6 r6
dado que,
15
X 15
X 15
X 15
X 15
X
(3) (3) (3) (3) (3)
A2 = fl12 , A3 = 2fl1 fl2 , A4 = (fl22 +2fl1 fl3 ), A5 = 2fl2 fl3 , A5 = fl32
l=0 l=0 l=0 l=0 l=0
... s15 a1 + c1 ...s14 a2 + c1 ...s13 a3 + ... + c1 s2 a14 + s1 a15 ] + 4(9a20 c2 − 6a0 cΠ + Π2 )[a21 + a22 + a23 ...
+ a214 + a215 ] = 9c2 a40 + 18c2 a20 h2x + 9c2 h4x − 36ca30 Π − 36ch2x a0 Π + 36a20 Π2 − 9a40 c2 − 6a20 c2 h2x
− h4x c2 + 4(3a20 + h2x )(3a0 c − Π)Π + 4(9a20 c2 − 6a0 cΠ + Π2 )(−h2x ) + 9a40 + 6a20 h2x + h4x
= 18c2 a20 h2x + 9c2 h4x − 36ca30 Π − 36a0 ch2x Π + 36a20 Π2 − 6a20 c2 h2x − h4x c2 + 36a30 cΠ − 12a20 Π2
+ 12a0 ch2x Π − 4h2x Π2 − 36a20 c2 h2x + 24a0 cΠh2x − 4Π2 h2x + 9a40 + 6a20 h2x + h4x = −24a20 c2 h2x + 8c2 h4x
+ 24a20 Π2 − 8h2x Π2 + 9a40 + 6a20 h2x + h4x = 9a40 + a20 [−24h2x c2 + 6h2x + 24Π2 ] − 8h2x Π2 + (8c2 + 1)h4x
(3)
⇒ A2 = 9a40 + [−24h2x c2 + 6h2x + 24Π2 ]a20 − 8h2x Π2 + (8c2 + 1)h4x (5.30)
(3)
A3 = 2(f1 f2 + fi1 fi2 + ... + fk000 1 fk000 2 ) = 2[(3c(a20 + h2x ) − 6a0 Π)(3a0 (2c2 − 1) − 6cΠ)
+ ((3a20 + h2x )c1 ...s15 + 2a1 (3a0 c − Π))(a1 (4c2 − 1) + 2c1 ...s15 (3a0 c − Π))
+ ((3a20 + h2x )c1 ...s14 + 2a2 (3a0 c − Π))(a2 (4c2 − 1) + 2c1 ...s14 (3a0 c − Π))
+ ((3a20 + h2x )c1 ...s13 + 2a3 (3a0 c − Π))(a3 (4c2 − 1) + 2c1 ...s13 )(3a0 c − Π)) + ...
+ ((3a20 + h2x )s1 + 2a15 (3a0 c − Π))(a15 (4c2 − 1) + 2s1 (3a0 c − Π))]
= 2[(3ca20 + 3ch2x − 6a0 Π)(6a0 c2 − 3a0 − 6cΠ) + (3a20 + h2x )c1 ...s15 a1 (4c2 − 1)
+ 2c21 ...s215 (3a0 c − Π)(3a20 + h2x ) + 2a21 (3a0 c − Π)(4c2 − 1) + 4a1 c1 ...s15 (9a20 c2 − 6a0 cΠ + Π2 )
+ (3a20 + h2x )c1 ...s14 a2 (4c2 − 1) + 2c21 ...s214 (3a0 c − Π)(3a20 + h2x ) + 2a22 (3a0 c − Π)(4c2 − 1)
+ 4a2 c1 ...s14 (9a20 − 6a0 cΠ + Π2 ) + ... + (3a20 + h2x )s1 a15 (4c2 − 1) + 2s21 (3a0 c − Π)(3a20 + h2x )
+ 2a215 (3a0 c − Π)(4c2 − 1) + 4s1 a15 (9a20 c2 − 6a0 cΠ + Π2 )] = 36a30 c3 − 18a30 c − 36a20 c2 Π
+ 36a0 c3 h2x − 18a0 ch2x − 36c2 h2x Π − 72a20 c2 Π + 36a20 Π + 72a0 cΠ2 + (3a20 + h2x )(4c2 − 1)2Π
− 4c2 (3a0 c − Π)(3a20 + h2x ) − 4h2x (3a0 c − Π)(4c2 − 1) + 8Π(9a20 c2 − 6a0 cΠ + Π2 ) + 4(3a0 c
− Π)(3a20 + h2x ) = 36a30 c3 − 18a30 c − 36a20 c2 Π + 36a0 c3 h2x − 18a0 ch2x − 36c2 h2x Π − 72a20 c2 Π
+ 4h2x Π + 36a20 Π + 72a0 cΠ2 + 24a20 c2 Π − 6a20 Π + 8c2 h2x Π − 2h2x Π − 36a30 c3 − 12a0 c3 h2x
+ 12a20 c2 Π − 48a0 c3 h2x + 12a0 ch2x + 16c2 h2x Π − 4h2x Π + 72a20 c2 Π − 48a0 cΠ2 + 8Π3 + 36a30 c
+ 12a0 ch2x − 12a20 Π − 4Πh2x + 4c2 h2x Π = 18a30 c − 24a0 c3 h2x + 18a20 Π + 24a0 cΠ2 − 10h2x Π
+ 6a0 ch2x + 8Π3 − 8c2 h2x Π = 18a30 c + 18a20 Π + (6h2x + 24Π2 − 24h2x c2 )a0 c − (8c2 + 10)h2x Π + 8Π3
(3)
⇒ A3 = 18a30 c + 18a20 Π + (6h2x + 24Π2 − 24h2x c2 )a0 c − (8c2 + 10)h2x Π + 8Π3 (5.31)
5.4. O caso em que f (z) = z 3 78
(3)
A4 = f22 + fi22 + fj2
2 2
+ fk2 + fe20 2 + fi20 2 + fj20 2 + fk20 2 + fe200 2 + fi200 2 + fj200 2 + fk200 2 + fe2000 2 + fi2000 2
+ fj2000 2 + fk2000 2 + 2(f1 f3 + fi1 fi3 + fj1 fj3 + fk1 fk3 + fe0 1 fe0 3 + fi0 1 fi0 3 + fj 0 1 fj 0 3 + fk0 1 fk0 3
+ fe00 1 fe00 3 + fi00 1 fi00 3 + fj 00 1 fj 00 3 + fk00 1 fk00 3 + fe000 1 fe000 3 + fi000 1 fi000 3 + fj 000 1 fj 000 3 + fk000 1 fk000 3 )
= (3a0 (2c2 − 1) − 6cΠ)2 + [a1 (4c2 − 1) + 2c1 ...s15 (3a0 c − Π)]2 + [a2 (4c2 − 1)
+ 2c1 ...s14 (3a0 c − Π)]2 + ... + [a15 (4c2 − 1) + 2s1 (3a0 c − Π)]2 + 2[(3c(a20 + h2x ) − 6a0 Π)(4c3
− 3c) + ((3a20 + h2x )c1 ...s15 + 2a1 (3a0 c − Π))((4c2 − 1)c1 ...s15 ) + ... + ((3a20 + h2x )s1
+ 2a15 (3a0 c − Π))((4c2 − 1)s1 )] = 9a20 (4c4 − 4c2 + 1) − 36a0 (2c2 − 1)cΠ + 36c2 Π2
+ a21 (4c2 − 1)2 + 4a1 c1 ...s15 (3a0 c − Π)(4c2 − 1) + 4c21 ...s215 (3a0 c − Π)2 + a22 (4c2 − 1)2
+ 4a2 c1 ...s14 (3a0 c − Π)(4c2 − 1) + 4c21 ...s214 (3a0 c − Π)2 + ... + a215 (4c2 − 1)2
+ 4a15 s1 (3a0 c − Π)(4c2 − 1) + 4s21 (3a0 c − Π)2 + 2[12a20 c4 − 9a20 c2 + 12c4 h2x − 9c2 h2x
− 24a0 c3 Π + 18a0 cΠ + (3a20 + h2x )(4c2 − 1)c21 ...s215 + 2a1 c1 ...s15 (3a0 c − Π)(4c2 − 1) + ...
+ (3a20 + h2x )(4c2 − 1)s21 + 2a15 s1 (3a0 c − Π)(4c2 − 1)] = 36a20 c4 − 36a20 c2 + 9a40 − 72a0 c3 Π
+ 36a0 cΠ + 36c2 Π2 − h2x (16c4 − 8c2 + 1) + 4Π(12a0 c3 − 3a0 c − 4Πc2 + Π) − 4c2 (9a20 c2
− 6a0 cΠ + Π2 ) + 4(9a20 c2 − 6a0 cΠ + Π2 ) + 24a20 c4 − 18a20 c2 + 24c4 h2x − 18c2 h2x
− 48a0 c3 Π + 36a0 cΠ − 24a20 c4 + 6a20 c2 − 8c4 h2x + 2h2x c2 + 4Π(12a0 c3 − 3a0 c − 4Πc2 + Π)
+ ... + (24a20 c2 − 6a20 + 8c2 h2x − 2h2x ) = 36a20 c4 − 36a20 c2 + 9a20 − 72a0 c3 Π + 36a0 cΠ + 36c2 Π2
− 16c4 h2x + 8c2 h2x − h2x + 48a0 c3 Π − 12a0 cΠ − 16c2 Π2 + 4Π2 − 36a20 c4 + 24a0 c3 Π
− 4c2 Π2 + 36a20 c2 − 24a0 cΠ + 4Π2 + 24a20 c4 − 18a20 c2 + 24c4 h2x − 18c2 h2x − 48a0 c3 Π
+ 36a0 cΠ − 24a20 c4 + 6a20 c2 − 8c4 h2x + 2h2x c2 + 48a0 c3 Π − 12a0 cΠ − 16c2 Π2 + 4Π2
+ 24a20 c2 − 6a20 + 8c2 h2x − 2h2x = 12a20 c2 + 3a20 − 3h2x + 12Π2 + 24a0 cΠ
(3)
⇒ A4 = 3a20 − 3h2x + 12a20 c2 + 24a0 cΠ + 12Π2 = 3(a20 − h2x ) + 12(a0 c + Π)2 (5.32)
(3)
A5 = 2(f2 f3 + fi2 fi3 + fj2 fj3 + ... + fk000 2 fk000 3 ) = 2[(3a0 (2c2 − 1) − 6cΠ)(4c3 − 3c)
+ (a1 (4c2 − 1) + 2c1 ...s15 (3a0 c − Π))((4c2 − 1)c1 ...s15 ) + ... + (a15 (4c2 − 1)
+ 2(3a0 c − Π)s1 )((4c2 − 1)s1 )] = 2[(6a0 c2 − 3a0 − 6cΠ)(4c3 − 3c) + a1 c1 ...s15 (4c2 − 1)2
+ 2c21 ...s215 (3a0 c − Π)(4c2 − 1) + ... + a15 s1 (4c2 − 1)2 + 2s21 (3a0 c − Π)(4c2 − 1)]
= 2[24a0 c5 − 18a0 c3 − 12a0 c3 + 9a0 c − 24c4 Π + 18c2 Π + Π(16c4 − 8c2 + 1)
5.5. O caso em que f (z) = z 4 79
Assim,
(3)
A2 = 9a40 + (−24h2x c2 + 6h2x + 24Π2 )a20 − 8h2x Π2 + (8c2 + 1)h4x
3 3 2 2 2 2 2 2 2 3
A3 = 18a0 c + 18a0 Π + (6hx + 24Π − 24hx c )a0 c − (8c + 10)hx Π + 8Π
(3)
A4 = 3(a20 − h2x ) + 12(a0 c + Π)2
(3)
A5 = 6(a0 c + Π)
A(3) = 1
6
então,
|f (y) − f (x)| = |(y04 − a40 ) + 6(y02 h2y − a20 h2x ) + (h4y − h4x )
£ ¤ £ ¤
+ i (4y03 + 4y0 h2y )y1 − (4a30 + 4a0 h2x )a1 + j (4y03 + 4y0 h2y )y2 − (4a30 + 4a0 h2x )a2
£ ¤ £ ¤
+ k (4y03 + 4y0 h2y )y3 − (4a30 + 4a0 h2x )a3 + e0 (4y03 + 4y0 h2y )y4 − (4a30 + 4a0 h2x )a4
£ ¤ £ ¤
+ i0 (4y03 + 4y0 h2y )y5 − (4a30 + 4a0 h2x )a5 + j 0 (4y03 + 4y0 h2y )y6 − (4a30 + 4a0 h2x )a6
£ ¤ £ ¤
+ k 0 (4y03 + 4y0 h2y )y7 − (4a30 + 4a0 h2x )a7 + e00 (4y03 + 4y0 h2y )y8 − 4a30 + 4a0 h2x )a8
£ ¤ £ ¤
+ i00 (4y03 + 4y0 h2y )y9 − (4a30 + 4a0 h2x )a9 + j 00 (4y03 + 4y0 h2y )y10 − (4a30 + 4a0 h2x )a10
£ ¤ £ ¤
+ k 00 (4y03 + 4y0 h2y )y11 − (4a30 + 4a0 h2x )a11 + e000 (4y03 + 4y0 h2y )y12 − (4a30 + 4a0 h2x )a12
£ ¤ £ ¤
+ i000 (4y03 + 4y0 h2y )y13 − (4a30 + 4a0 h2x )a13 + j 000 (4y03 + 4y0 h2y )y14 − (4a30 + 4a0 h2x )a14
£ ¤ 0
+ k 000 (4y03 + 4y0 h2y )y15 − (4a30 + 4a0 h2x )a15 | = |F + iFi + jFj + kFk + e0 Fe0 + i Fi0
0 0 00 00 00 00 000 000 000 000
+ j Fj 0 + k Fk0 + e Fe00 + i Fi00 + j Fj 00 + k Fk00 + e Fe000 + i Fi000 + j Fj 000 + k Fk000 |
F = (y04 − a40 ) + 6(y02 h2y − a20 h2x ) + (h4y − h4x ) = ((a0 + rc)4 − a40 ) + 6(a0 + rc)2 (h2x − 2rΠ + r2 s2 )
− 6a20 h2x + (h2x − 2rΠ + r2 s2 )2 − h4x = (a20 + 2a0 rc + r2 c2 )2 − a40 + 6[(a20 + 2a0 rc + r2 c2 )(h2x
− 2rΠ + r2 s2 )] − 6a20 h2x + h4x + 2(h2x (−2rΠ + r2 s2 )) + (−2rΠ + r2 s2 )2 − h4x = a40 + 4a30 rc
+ 6a20 r2 c2 + r4 c4 − a40 + (6a20 + 12a0 rc + 6r2 c2 )(h2x − 2rΠ + r2 s2 ) − 6a20 h2x + h4x + 2r2 s2 h2x
− 4rΠh2x + 4r2 Π2 − 4r3 s2 Π + r4 s4 − h4x = a40 + 4a30 rc + 2a20 r2 c2 + r4 c4 − a40 + 6a20 h2x − 12a20 rΠ
+ 6a20 r2 s2 + 12a0 rch2x − 24a0 r2 cΠ + 12a0 r3 cs2 + 6r2 c2 h2x − 12r3 c2 Π + 6r4 c2 s2 − 6a20 h2x + h4x
+ 2r2 s2 h2x − 4rΠh2x + 4r2 Π2 − 4r3 s2 Π + r4 s4 − h4x = [4(a30 c − 3a20 Π + 3a0 ch2x − h2x Π)]r
+ [2(6a20 c2 − 3a20 − 12a0 cΠ + 4c2 h2x − h2x + 2Π2 )]r2 + [4(3a0 c3 − 3a0 c − 4c2 Π − c2 Π + Π)]r3
+ [8c2 (c2 − 1) + 1]r4 = f1 r + f2 r2 + f3 r3 + f4 r4
Fi = (4y03 + 4y0 h2y )y1 − (4a30 + 4a0 h2x )a1 = (4(a0 + rc)3 + 4(a0 + rc)(h2x − 2rΠ + r2 s2 ))(a1
+ rc1 ...s15 ) − 4(a30 + a0 h2x )a1 = 4(a30 + 3a20 rc + 3a0 r2 c2 + r3 c3 )(a1 + rc1 ...s15 ) + 4(a0 + rc)(a1
+ rc1 ...s15 )(h2x − 2rΠ + r2 s2 ) − 4(a30 + a0 h2x )a1 = 4a30 a1 + 4a30 rc1 ...s15 + 12a20 a1 rc
+ 2a20 r2 cc1 ...s15 + 12a0 a1 r2 c2 + 12a0 r3 c2 c1 ...s15 + 4a1 r3 c3 + 4r4 c3 c1 ...s15 + (4a0 a1
+ 4a0 rc1 ...s15 + 4a1 rc + 4r2 cc1 ...s15 )(h2x − 2rΠ + r2 s2 ) − 4a30 a1 − 4a0 a1 h2x
= 4a30 a1 + 4a30 rc1 ...s15 + 12a20 a1 rc + 12a20 r2 cc1 ...s15 + 12a0 a1 r2 c2 + 12a0 r3 c2 c1 ...s15 + 4a1 r3 c3
+ 4r4 c3 c1 ...s15 + 4a0 a1 h2x − 8a0 a1 rΠ + 4a0 a1 r2 s2 + 4a0 rc1 ...s15 h2x − 8a0 r2 c1 ...s15 Π
+ 4a0 r3 s2 c1 ...s15 + 4a1 rch2x − 8a1 r2 cΠ + 4a1 r3 s2 c + 4r2 cc1 ...s15 h2x − 8r3 Πcc1 ...s15
+ 4r4 s2 cc1 ...s15 − 4a30 a1 − 4a0 a1 h2x = [4(a30 c1 ...s15 + 3a20 a1 c − 2a0 a1 Π + a0 c1 ...s15 h2x + a1 ch2x )]r
+ [4(3a20 cc1 ...s15 + 4a0 a1 c2 − 2a0 c1 ...s15 Π − 2a1 cΠ + cc1 ...s15 h2x − a0 a1 )]r2 + [4(4a0 c2 c1 ...s15
− a0 c1 ...s15 − a1 c − 2Πcc1 ...s15 + 2a1 c3 )]r3 + [4(2c3 c1 ...s15 − cc1 ...s15 )]r4
= fi1 r + fi2 r2 + fi3 r3 + fi4 r4
Sendo assim,
|f (y)−f (x)|2 = F 2 +Fi2 +Fj2 +Fk2 +Fe20 +Fi20 +Fj20 +Fe200 +Fi200 +Fj200 +Fk200 +Fe2000 +Fi2000 +Fj2000 +Fk2000
em que,
Fl = fl1 r1 + fl2 r2 + fl3 r3 + fl4 r4 , l = 0, ..., 15
5.5. O caso em que f (z) = z 4 82
Fl2 = fl12 r2 +2fl1 fl2 r3 +(fl22 +2fl1 fl3 )r4 +(2fl1 fl4 +2fl2 fl3 )r5 +(fl32 +2fl2 fl4 )r6 +2fl3 fl4 r7 +fl42 r8
dado que
15
X 15
X 15
X
(4) (4) (4)
A2 = fl12 , A3 = 2fl1 fl2 , A4 = (fl22 + 2fl1 fl3 ),
l=0 l=0 l=0
15
X 15
X 15
X 15
X
(4) (4) (4) (4)
A5 = (2fl1 fl4 +2fl2 fl3 ), A6 = (fl32 +2fl2 fl4 ), A7 = 2fl3 fl4 , A8 = fl42
l=0 l=0 l=0 l=0
(4)
A2 = f12 + fi12 + fj1
2 2
+ fk1 + fe20 1 + fi20 1 + fj20 1 + fk20 1 + fe200 1 + fi200 1 + fj200 1 + fk200 1 + fe2000 1 + fi2000 1
+ fj2000 1 + fk2000 1 = [4(a30 c − 3a20 Π + 3a0 ch2x − h2x Π)]2 + [4(a30 c1 ...s15 + 3a20 a1 c − 2a0 a1 Π
+ a0 c1 ...s15 h2x + a1 ch2x )]2 + [4(a30 c1 ...s14 + 3a20 a2 c − 2a0 a2 Π + a0 c1 ...s14 h2x + a2 ch2x )]2
+ [4(a30 c1 ...s13 + 3a20 a3 c − 2a0 a3 Π + a0 c1 ...s13 h2x + a3 ch2x )]2 + [4(a30 c1 ...s12 + 3a20 a4 c
− 2a0 a4 Π + a0 c1 ...s12 h2x + a4 ch2x )]2 + [4(a30 c1 ...s11 + 3a20 a5 c − 2a0 a5 Π + a0 c1 ...s11 h2x + a5 ch2x )]2
+ [4(a30 c1 ...s10 + 3a20 a6 c − 2a0 a1 Π + a0 c1 ...s10 h2x + a6 ch2x )]2 + [4(a30 c1 ...s9 + 3a20 a7 c − 2a0 a7 Π
+ a0 c1 ...s9 h2x + a7 ch2x )]2 + [4(a30 c1 ...s8 + 3a20 a8 c − 2a0 a8 Π + a0 c1 ...s8 h2x + a8 ch2x )]2 + [4(a30 c1 ...s7
+ 3a20 a9 c − 2a0 a9 Π + a0 c1 ...s7 h2x + a9 ch2x )]2 + [4(a30 c1 ...s6 + 3a20 a10 c − 2a0 a10 Π + a0 c1 ...s6 h2x
+ a10 ch2x )]2 + [4(a30 c1 ...s5 + 3a20 a11 c − 2a0 a11 Π + a0 c1 ...s5 h2x + a11 ch2x )]2 + [4(a30 c1 ...s4
+ 3a20 a12 c − 2a0 a12 Π + a0 c1 ...s4 h2x + a12 ch2x )]2 + [4(a30 c1 c2 s3 + 3a20 a13 c − 2a0 a13 Π
+ a0 c1 c2 s3 h2x + a13 ch2x )]2 + [4(a30 c1 s2 + 3a20 a14 c − 2a0 a14 Π + a0 c1 s2 h2x + a14 ch2x )]2
+ [4(a30 s1 + 3a20 a15 c − 2a0 a15 Π + a0 s1 h2x + a15 ch2x )]2
Capı́tulo 6
Projeções em R3 e o Cálculo da
Dilatação
(n)
De posse da construção do cálculo do coeficiente A2 , dado no capı́tulo anterior, deno-
minado fator de expansão, pode-se agora, prover, através do software Mathematica, o valor
da k-dilatação causada ao fazer-se f (z) = z n , n = 2, 3, 4, ...; para isso utiliza-se o seguinte
procedimento:
(n)
Para cada n fixo, define-se o comando A2 .
(n)
Em seguida, calcula-se o valor máximo e o valor mı́nimo de A2 , respectivamente,
(n) (n)
M (x, r) = max A2 e m(x, r) = min A2
Munidos desses dois valores, torna-se possı́vel obter o último processo que remete ao valor
de k, isto é, v
u
u max A(n)
k=t 2
(n)
(6.1)
min A2
83
6.1. Mapeamentos Curvilı́neos 84
B 0 = f (B(x, r))
Discute-se, neste capı́tulo, apenas dois tipos de curvas de nı́vel perpendiculares aos eixos
coordenados obtidas através dos sedenions, visto que as outras possibilidades de cortes podem
ou não originar figuras semelhantes em R3 .
O primeiro corte é obtido em se fazendo θ1 = θ2 = ... = θ13 = 0, e obtêm-se a esfera no
R3 , denominada por B10 (a0 , a1 , a2 ), dada por:
0 0
y = f (r, θ14 , θ15 ), −π
≤ θ14 ≤ π
0 0 2 2
0 0
B10 (a0 , a1 , a2 ) : y1 = f1 (r, θ14 , θ15 ), 0 ≤ θ15 ≤ 2π
0 0
y2 = f2 (r, θ14 , θ15 ), r dado
π
Por outro lado, o segundo corte é obtido tornando θ1 = θ2 = ... = θ12 = 0 e θ15 = 2
,
gerando a superfı́cie no R3 identificada por B20 (a1 , a2 , a3 ),
0 0
−π
≤ θ13 ≤ π2
y1 = f1 (r, θ13 , θ14 ),
2
0 0
B20 (a1 , a2 , a3 ) : y2 = f2 (r, θ13 , θ14 ), 0 ≤ θ14 ≤ 2π
0 0
y3 = f3 (r, θ13 , θ14 ), r dado
cada θi com variação de 0 a 2π, a variação 0 ≤ θi ≤ π. Também pode-se obter Bh0 , como
forma de se obter cortes hemisféricos, em se fazendo para cada ângulo com variação entre
−π π −π
2
a 2
a variação 2
a 0.
0 0
−π π
y0 = f0 (r, θ14 , θ15 ), 2 ≤ θ14 ≤
2
0 (a , a , a ) : 0 0
Bm 0 1 2 y1 = f1 (r, θ14 , θ15 ), 0 ≤ θ15 ≤ π
0 0
y2 = f2 (r, θ14 , θ15 ), r dado
0 0
−π
y0 = f0 (r, θ14 , θ15 ), 2 ≤ θ14 ≤ 0
0 0
Bh0 (a0 , a1 , a2 ) : y1 = f1 (r, θ14 , θ15 ), 0 ≤ θ15 ≤ 2π
0 0
y2 = f2 (r, θ14 , θ15 ), r dado
em coordenadas esféricas,têm-se
0
y0 = y02 +h2y = (a0 +rc1 c2 ...c15 )2 −(a1 +rc1 c2 ...s15 )2 −(a2 +rc1 c2 ...s14 )2 −(a3 +rc1 c2 ...s13 )2 −
(a4 +rc1 c2 ...s12 )2 −(a5 +rc1 c2 ...s11 )2 −(a6 +rc1 c2 ...s10 )2 −(a7 +rc1 c2 ...s9 )2 −(a8 +rc1 c2 ...s8 )2 −
(a9 +rc1 c2 ...s7 )2 −(a10 +rc1 c2 ...s6 )2 −(a11 +rc1 c2 ...s5 )2 −(a12 +rc1 c2 ...s4 )2 −(a13 +rc1 c2 s3 )2 −
(a14 + rc1 s2 )2 − (a15 + rs1 )2 ,
0
y1 = 2y0 y1 = 2(a0 + rc1 c2 ...c15 )(a1 + rc1 c2 ...s15 ),
0
y2 = 2y0 y2 = 2(a0 + rc1 c2 ...c15 )(a2 + rc1 c2 ...s14 ),
0
y3 = 2y0 y3 = 2(a0 + rc1 c2 ...c15 )(a3 + rc1 c2 ...s13 ),
0
y4 = 2y0 y4 = 2(a0 + rc1 c2 ...c15 )(a4 + rc1 c2 ...s12 ),
0
y5 = 2y0 y5 = 2(a0 + rc1 c2 ...c15 )(a5 + rc1 c2 ...s11 ),
0
y6 = 2y0 y6 = 2(a0 + rc1 c2 ...c15 )(a6 + rc1 c2 ...s10 ),
0
y7 = 2y0 y7 = 2(a0 + rc1 c2 ...c15 )(a7 + rc1 c2 ...s9 ),
0
y8 = 2y0 y8 = 2(a0 + rc1 c2 ...c15 )(a8 + rc1 c2 ...s8 ),
0
y9 = 2y0 y9 = 2(a0 + rc1 c2 ...c15 )(a9 + rc1 c2 ...s7 ),
0
y10 = 2y0 y10 = 2(a0 + rc1 c2 ...c15 )(a10 + rc1 c2 ...s6 ),
0
y11 = 2y0 y11 = 2(a0 + rc1 c2 ...c15 )(a11 + rc1 c2 ...s5 ),
0
y12 = 2y0 y12 = 2(a0 + rc1 c2 ...c15 )(a12 + rc1 c2 ...s4 ),
0
y13 = 2y0 y13 = 2(a0 + rc1 c2 ...c15 )(a13 + rc1 c2 s3 ),
0
y14 = 2y0 y14 = 2(a0 + rc1 c2 ...c15 )(a14 + rc1 s2 ),
0
y15 = 2y0 y15 = 2(a0 + rc1 c2 ...c15 )(a15 + rs1 ),
−π π
satisfazendo 2
≤ θ1 , θ2 , ..., θ14 ≤ 2
e 0 ≤ θ15 ≤ 2π.
6.2. Projeção de z 2 e cálculo computacional da k-dilatação 88
A fundamentação para obter os dois tipos de cortes (B 0 ) distintos , denominados por B10 e
B20 , quando submetido a transformação f (z) = z 2 , se dá através dos seguintes procedimentos:
O primeiro corte, dado por B10 (a0 , a1 , a2 ), é obtido em se fazendo θ1 = θ2 = ... = θ13 = 0
0 0 0
e y3 = y4 = ... = y15 = 0, isto é,
0
y0 = (a0 + rc14 c15 )2 − (a1 + rc14 s15 )2 − (a2 + rs14 )2 − a23 − a24 − a25 − a26
−a2 − a2 − a2 − a2 − a2 − a2 − a2 − a2 − a2 , −π ≤ θ ≤ π
0 7 8 9 10 11 12 13 14 15 2 14 2
B1 (a0 , a1 , a2 ) :
0
y1 = 2(a0 + rc14 c15 )(a1 + rc14 s15 ), 0 ≤ θ15 ≤ 2π
y 0 = 2(a + rc c )(a + rs ), r dado
2 0 14 15 2 14
Para obter-se cortes de B10 (a0 , a1 , a2 ) no R2 , basta considerar os três possı́veis casos:
0
− Tornandoθ14 = 0 e y2 = 0,
0
2 2 2 2 2 2 2 2 2 2
y0 = (a0 + rc15 ) − (a1 + rs15 ) − a2 − a3 − a4 − a5 − a6 − a7 − a8 − a9
B10 (a0 , a1 ) : −a210 − a211 − a212 − a213 − a214 − a215 , 0 ≤ θ15 ≤ 2π
0
y1 = 2(a0 + rc15 )(a1 + rs15 ), r dado
0
− Tornandoθ15 = 0 e y1 = 0,
0
2 2 2 2 2 2 2 2 2 2
y0 = (a0 + rc14 ) − a1 − (a2 + rs14 ) − a3 − a4 − a5 − a6 − a7 − a8 − a9
B10 (a0 , a2 ) : −a210 − a211 − a212 − a213 − a214 − a215 , 0 ≤ θ14 ≤ 2π
0
y2 = 2(a0 + rc14 )(a2 + rs14 ), r dado
e finalmente,
0
− Tornandoθ15 = π2 e y0 = 0
y 0 = 2a (a + rc ), 0 ≤ θ ≤ 2π
0 1 0 1 14 14
B1 (a1 , a2 ) :
y 0 = 2a0 (a2 + rs14 ), r dado
2
6.2. Projeção de z 2 e cálculo computacional da k-dilatação 89
Por outro lado, o corte dado por B20 (a1 , a2 , a3 ), é obtido em se fazendo θi = 0, i =
π
1, 2, ..., 12 e θ15 = 2
, bem como todas as coordenadas diferentes de y10 , y20 e y30 nulas. O
mapeamento é dado por:
0
−π π
y1 = 2a0 (a1 + rc13 c14 ), 2 ≤ θ13 ≤
2
0
B20 (a1 , a2 , a3 ) : y2 = 2a0 (a2 + rc13 s14 ), 0 ≤ θ14 ≤ 2π
0
y3 = 2a0 (a3 + rs13 ), r dado
0
− Se θ13 = 0e y3 = 0
y 0 = 2a (a + rc ), 0 ≤ θ ≤ 2π
0 1 0 1 14 14
B2 (a1 , a2 ) :
y = 2a0 (a2 + rs14 ), r dado
0
2
0
− Se θ14 = 0e y2 = 0
y 0 = 2a (a + rc ), 0 ≤ θ ≤ 2π
0 1 0 1 13 13
B2 (a1 , a3 ) :
y = 2a0 (a3 + rs13 ), r dado
0
3
π 0
− Se θ14 = 2
e y1 = 0
y 0 = 2a (a + rc ), 0 ≤ θ ≤ 2π
0 2 0 2 13 13
B2 (a2 , a3 ) :
y 0 = 2a0 (a3 + rs13 ), r dado
3
Neste caso, o corte tipo B20 , torna-se em R3 uma simples esfera e as projeções em R2 são
circunferências.
Produz-se agora um simples exemplo do corte B10 e mensura-se o valor computacional da
k-dilatação. Para isto, seleciona-se aleatoriamente valores do centro da hiperesfera e raio r.
Indica-se por m cortes meridionais e h cortes hemisféricos.
Exemplo 6.1 Considere o número sedenion com as coordenadas do centro dadas por x =
(0.1, 1, 5, 3, 2, 8, 1, 2, −1, 0, 1, 6, 0, 0, 0.35, 5) e raio r = 6. A desenvolve-se o valor da k-
deformação causada ao se fazer f (z) = z 2 , e suas respectivas projeções em R3 e R2 . Enfatiza-
se que o corte aqui utilizado é o do tipo B10 (a0 , a1 , a2 ).
6.2. Projeção de z 2 e cálculo computacional da k-dilatação 90
(2)
M axA2 = 684.53
(2)
M inA2 = 0.04
k(0.1, 1, 5, 3, 2, 8, 1, 2, −1, 0, 1, 6, 0, 0, 0.35, 5) = 130.818
80 80
80
40 40
40
40
-260
-240 20
-220 00 0
-200
-180 -20
-260-240-220-200-180-160-140-120 -260
-240
-220
-200
-180
-160
0 -20 -40
-40 0 -160 -40 40 20 -140
-120
-20 -140
0-120
20
40 -40 -40
-40
-80 -80
-80
60
40 40
80 20
20
40
0 -40
0 -120 -20
0 -140 -160
-260-240-220-200-180-160-140-120 20 -180 -200
40 -20
-40
-20
-80 -40
-40
-60
0 0
Figura 6.2: Cortes: B1m (a0 , a1 , a2 ) e B1h (a0 , a1 , a2 ), respectivamente
Figura 6.3: B10 (a0 , a1 ) Figura 6.4: B10 (a0 , a3 ) Figura 6.5: B10 (a2 , a3 )
6.3. Projeção de z 3 e cálculo computacional da k-dilatação 91
f (z) = y03 + 3y02 hy + 3y0 h2y + h3y = y03 + 3y0 h2y + (3y02 + h2y )y1 + (3y02 + h2y )y2 + (3y02 + h2y )y3
+ (3y02 + h2y )y4 + (3y02 + h2y )y5 + (3y02 + h2y )y6 + (3y02 + h2y )y7 + (3y02 + h2y )y8 + (3y02 + h2y )y9
+ (3y02 + h2y )y10 + (3y02 + h2y )y11 + (3y02 + h2y )y12 + (3y02 + h2y )y13 + (3y02 + h2y )y14 + (3y02 + h2y )y15
0
y1 = (3y02 + h2y )y1 = [3(a0 + rc1 ...c15 )2 − (a1 + rc1 ...s15 )2 − (a2 + rc1 ...s14 )2 − (a3 + rc1 ...s13 )2
− (a4 + rc1 ...s12 )2 − (a5 + rc1 ...s11 )2 − (a6 + rc1 ...s10 )2 − (a7 + rc1 ...s9 )2 − (a8 + rc1 ...s8 )2
+ (a9 + rc1 ...s7 )2 − (a10 + rc1 ...s6 )2 − (a11 + rc1 ...s5 )2 − (a12 + rc1 ...s4 )2 − (a13 + rc1 c2 s3 )2
− (a14 + rc1 s2 )2 − (a15 + rs1 )2 ](a1 + rc1 ...s15 )
0
y2 = (3y02 + h2y )y2 = [3(a0 + rc1 ...c15 )2 − (a1 + rc1 ...s15 )2 − (a2 + rc1 ...s14 )2 − (a3 + rc1 ...s13 )2
− (a4 + rc1 ...s12 )2 − (a5 + rc1 ...s11 )2 − (a6 + rc1 ...s10 )2 − (a7 + rc1 ...s9 )2 − (a8 + rc1 ...s8 )2
− (a9 + rc1 ...s7 )2 − (a10 + rc1 ...s6 )2 − (a11 + rc1 ...s5 )2 − (a12 + rc1 ...s4 )2 − (a13 + rc1 c2 s3 )2
− (a14 + rc1 s2 )2 − (a15 + rs1 )2 ](a2 + rc1 ...s14 )
6.3. Projeção de z 3 e cálculo computacional da k-dilatação 92
0
y3 = (3y02 + h2y )y3 = [3(a0 + rc1 ...c15 )2 − (a1 + rc1 ...s15 )2 − (a2 + rc1 ...s14 )2 − (a3 + rc1 ...s13 )2
− (a4 + rc1 ...s12 )2 − (a5 + rc1 ...s11 )2 − (a6 + rc1 ...s10 )2 − (a7 + rc1 ...s9 )2 − (a8 + rc1 ...s8 )2
− (a9 + rc1 ...s7 )2 − (a10 + rc1 ...s6 )2 − (a11 + rc1 ...s5 )2 − (a12 + rc1 ...s4 )2
− (a13 + rc1 c2 s3 )2 − (a14 + rc1 s2 )2 − (a15 + rs1 )2 ](a3 + rc1 ...s13 )
0
y4 = (3y02 + h2y )y4 = [3(a0 + rc1 ...c15 )2 − (a1 + rc1 ...s15 )2 − (a2 + rc1 ...s14 )2 − (a3 + rc1 ...s13 )2
− (a4 + rc1 ...s12 )2 − (a5 + rc1 ...s11 )2 − (a6 + rc1 ...s10 )2 − (a7 + rc1 ...s9 )2 − (a8 + rc1 ...s8 )2
− (a9 + rc1 ...s7 )2 − (a10 + rc1 ...s6 )2 − (a11 + rc1 ...s5 )2 − (a12 + rc1 ...s4 )2 − (a13 + rc1 c2 s3 )2
− (a14 + rc1 s2 )2 − (a15 + rs1 )2 ](a4 + rc1 ...s12 )
..
.
0
y14 = (3y02 + h2y )y14 = [3(a0 + rc1 ...c15 )2 − (a1 + rc1 ...s15 )2 − (a2 + rc1 ...s14 )2 − (a3 + rc1 ...s13 )2
− (a4 + rc1 ...s12 )2 − (a5 + rc1 ...s11 )2 − (a6 + rc1 ...s10 )2 − (a7 + rc1 ...s9 )2 − (a8 + rc1 ...s8 )2
− (a9 + rc1 ...s7 )2 − (a10 + rc1 ...s6 )2 − (a11 + rc1 ...s5 )2 − (a12 + rc1 ...s4 )2 − (a13 + rc1 c2 s3 )2
− (a14 + rc1 s2 )2 − (a15 + rs1 )2 ](a14 + rc1 s2 )
0
y15 = (3y02 + h2y )y15 = [3(a0 + rc1 ...c15 )2 − (a1 + rc1 ...s15 )2 − (a2 + rc1 ...s14 )2 − (a3 + rc1 ...s13 )2
− (a4 + rc1 ...s12 )2 − (a5 + rc1 ...s11 )2 − (a6 + rc1 ...s10 )2 − (a7 + rc1 ...s9 )2 − (a8 + rc1 ...s8 )2
− (a9 + rc1 ...s7 )2 − (a10 + rc1 ...s6 )2 − (a11 + rc1 ...s5 )2 − (a12 + rc1 ...s4 )2 − (a13 + rc1 c2 s3 )2
− (a14 + rc1 s2 )2 − (a15 + rs1 )2 ](a15 + rs1 )
−π π
dado que 2
≤ θ1 , θ2 , ..., θ14 ≤ 2
e 0 ≤ θ15 ≤ 2π.
Nesta seção, trabalha-se com dois tipos de cortes denominados por B10 e B20 , lembrando
que, os mapeamentos desenvolvidos aqui são referente à transformação f (z) = z 3 .
0 0 0
Tornando θ1 = θ2 = ... = θ13 = 0 e y3 = y4 = ... = y15 = 0 obtem-se o corte B10 (a0 , a1 , a2 ),
ou melhor,
6.3. Projeção de z 3 e cálculo computacional da k-dilatação 93
0
y0 = (a0 + rc14 c15 )3 − 3(a0 + rc14 c15 )((a1 + rc14 s15 )2 + (a2 + rs14 )2 + a23 + a24 + a25 + a26
+a27 + a28 + a29 + a210 + a211 + a212 + a213 + a214 + a215 ), −π ≤ θ14 ≤ π2
2
y 0 = [3(a + rc c )2 − (a + rc s )2 − (a + rs )2 − a2 − a2 − a2 − a2 − a2 − a2 − a2
0 1 0 14 15 1 14 15 2 14 3 4 5 6 7 8 9
B1 :
−a210 − a211 − a212 − a213 − a214 − a215 ](a1 + rc14 s15 ), 0 ≤ θ15 ≤ 2π
0
y2 = [3(a0 + rc14 c15 )2 − (a1 + rc14 s15 )2 − (a2 + rs14 )2 − a23 − a24 − a25 − a26 − a27 − a28 − a29
−a2 − a2 − a2 − a2 − a2 − a2 ](a + rs ), r dado
10 11 12 13 14 15 2 14
(6.5)
Para obter-se curvas de nı́vel no R2 utiliza-se 6.5, considerando que,
0
− Se θ14 = 0e y2 = 0
0
y0 = (a0 + rc15 )3 − 3(a0 + rc15 )((a1 + rs15 )2 + a22 + a23 + a24 + a25 + a26 + a27 + a28
+a2 + a2 + a2 + a2 + a2 + a2 + a2 ), 0 ≤ θ ≤ 2π
0 9 10 11 12 13 14 15 15
B1 (a0 , a1 ) :
0 2 2 2 2
y1 = [3(a0 + rc15 ) − (a1 + rs15 ) − a2 − a3 − a24 − a25 − a26 − a27 − a28 − a29 − a210
−a2 − a2 − a2 − a2 − a2 ](a + rs ), r dado
11 12 13 14 15 1 15
0
− Se θ15 = 0e y1 = 0
0
y0 = (a0 + rc14 )3 − 3(a0 + rc14 )(a21 + (a2 + rs14 )2 + a23 + a24 + a25 + a26 + a27 + a28
+a2 + a2 + a2 + a2 + a2 + a2 + a2 ), 0 ≤ θ ≤ 2π
0 9 10 11 12 13 14 15 14
B1 (a0 , a2 ) :
0
y2 = [3(a0 + rc14 )2 − a21 − (a2 + rs14 )2 − a23 − a24 − a25 − a26 − a27 − a28 − a29 − a210
−a2 − a2 − a2 − a2 − a2 ](a + rs ), r dado
11 12 13 14 15 2 14
e,
π 0
− Se θ15 = e y0 = 0
2
0
y1 = [3a20 − (a1 + rc14 )2 − (a2 + rs14 )2 − a23 − a24 − a25 − a26 − a27 − a28 − a29 −
a2 − a2 − a2 − a2 − a2 − a2 ](a + rc ), 0 ≤ θ ≤ 2π
0 10 11 12 13 14 15 1 14 14
B1 (a1 , a2 ) :
0
y2 = [3a20 − (a1 + rc14 )2 − (a2 + rs14 )2 − a23 − a24 − a25 − a26 − a27 − a28 − a29 −
a2 − a2 − a2 − a2 − a2 − a2 ](a + rs ), r dado
10 11 12 13 14 15 2 14
0
y1 = [3a20 − (a1 + rc13 c14 )2 − (a2 + rc13 s14 )2 − (a3 + rs13 )2 − a24 − a25 − a26 − a27 − a28 − a29
−a210 − a211 − a212 − a213 − a214 − a215 ](a1 + rc13 c14 ), −π ≤ θ13 ≤ π2
2
y 0 = [3a2 − (a + rc c )2 − (a + rc s )2 − (a + rs )2 − a2 − a2 − a2 − a2 − a2 − a2
0 1 13 14 2 13 14 3 13
2 0 4 5 6 7 8 9
B2 :
−a210 − a211 − a212 − a213 − a214 − a215 ](a2 + rc13 s14 ), 0 ≤ θ14 ≤ 2π
0
y3 = [3a20 − (a1 + rc13 c14 )2 − (a2 + rc13 s14 )2 − (a3 + rs13 )2 − a24 − a25 − a26 − a27 − a28 − a29
−a2 − a2 − a2 − a2 − a2 − a2 ](a + rs ), r dado
10 11 12 13 14 15 3 13
(6.6)
A partir de B20 (a1 , a2 , a3 ) pode-se obter as curvas de nı́vel no R2 utilizando 6.6, con-
siderando os possı́veis casos,
0
− Se θ14 = 0e y3 = 0
0
y1 = [3a20 − (a1 + rc13 )2 − a22 − (a3 + rs13 )2 − a24 − a25 − a26 − a27 − a28 − a29
−a2 − a2 − a2 − a2 − a2 − a2 ](a + rc ), 0 ≤ θ ≤ 2π
0 10 11 12 13 14 15 1 13 13
B2 (a1 , a2 ) :
0 2 2 2 2 2 2 2 2 2 2
y2 = [3a0 − (a1 + rc13 ) − a2 − (a3 + rs13 ) − a4 − a5 − a6 − a7 − a8 − a9
−a2 − a2 − a2 − a2 − a2 − a2 ]a , r dado
10 11 12 13 14 15 2
0
− Se θ13 = 0e y2 = 0
0
y1 = [3a20 − (a1 + rc14 )2 − (a2 + rs14 )2 − a23 − a24 − a25 − a26 − a27 − a28 − a29
−a2 − a2 − a2 − a2 − a2 − a2 ](a + rc ), 0 ≤ θ ≤ 2π
0 10 11 12 13 14 15 1 14 14
B2 (a1 , a3 ) :
0 2 2 2 2 2
y3 = [3a0 − (a1 + rc14 ) − (a2 + rs14 ) − a3 − a4 − a25 − a26 − a27 − a28 − a29
−a2 − a2 − a2 − a2 − a2 − a2 ]a , r dado
10 11 12 13 14 15 3
e,
π 0
− Se θ14 = e y1 = 0
2
0
y2 = [3a20 − a21 − (a2 + rc13 )2 − (a3 + rs13 )2 − a24 − a25 − a26 − a27 − a28 − a29
−a2 − a2 − a2 − a2 − a2 − a2 ](a + rc ), 0 ≤ θ ≤ 2π
0 10 11 12 13 14 15 2 13 13
B2 (a2 , a3 ) :
0
y3 = [3a20 − a21 − (a2 + rc13 )2 − (a3 + rs13 )2 − a24 − a25 − a26 − a27 − a28 − a29
−a2 − a2 − a2 − a2 − a2 − a2 ](a + rs ), r dado
10 11 12 13 14 15 3 13
(3)
M axA2 = 36
(3)
M inA2 = 4
k(−1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1) = 3
0 600
400 0400
600
200
0
-600
-400
-200
-600 -400 -20020000 200 400 600
400 -200 00200
600 400 200 -200 -200 -400 -600
600
600 400 200 0 -400
-200-400 -600
-600 -400
-600
-200 -200
200
-400 -400
400
-600 -600
600
600
400
400 600
200
400
200 600 400 200 0200-200 -400 -600
0
600 400 0 600 -200
200 0 200400 -400
-200
-200 -200-400
-400
-600 -200 -600
-400
-400
-600
-600
0 0
Figura 6.7: Cortes: B1m (a0 , a1 , a2 ) e B1h (a0 , a1 , a2 ), respectivamente
Figura 6.8: B10 (a0 , a1 ) Figura 6.9: B10 (a0 , a3 ) Figura 6.10: B10 (a2 , a3 )
6.4. Estudo da influência do raio na hiperesfera 96
-11 400
-220
-200 400
-30 600 400 200 0 -200 -400 -600
-10,5 -180 0
-20 -160 -400
-140
-10 -10 -120 -800
-400
40
20
00
-20
-40
-9,5 -60 -800
-160 -8010
0,2
-159,5
0,1 -159 20
-9
0 -158,5
-158 30
-0,1
-0,2
Figura 6.11: Corte B10 (a0 , a1 , a2 ), x = (−1, 0, 5, −1, 5, 2, 6, 0, −3, 0, −1, 0, 0, 7, 1, 3); o
raio influencia na imagem projetada, porém, o valor da dilatação é o mesmo, isto é,
k(−1, 0, 5, −1, 5, 2, 6, 0, −3, 0, −1, 0, 0, 7, 1, 3) = 12.6886, ∀ r ∈ R.
6.4. Estudo da influência do raio na hiperesfera 97
-2E-9
-1E-9
0,0004 -150
0,0002
00 -100
-1921,9996 -0,0002 1
1E-9 -100
-1921,9998 -0,0004 -50 -50
0
2E-9 10 -18500 50
0,5 -1900 100
-1950
-1922 5 -1930 -2000
-2050
-1925 -2100 50
00 -1920
-1922,0002 -1915 100
-1922,0004 -5
-0,5 150
-10
-1
Figura 6.12: Corte B10 (a0 , a1 , a2 ), x = (0, 0, −5, 1, 18, 0, 11, 0, 6, 0, −7, 5, −20, 4, 5, 30); o valor da
dilatação é k(x) = 2.01003 × 109 , ∀ r ∈ R.
60
40 20
-30
20 10
-20 00
1000
-10 10 -10 -580
-20
5 -600
0 -600 -20 -40 -1000
0 500
-5 -610 -620
-10 -620 -500
-630 -60 -640
10 -640 0
-650 -660 0 -500 -1000 -1500 -2000
-660 500
20 -680 -500
1000
30 -1000
Figura 6.13: Corte B10 (a0 , a1 , a2 ), x = (0, −3, 10, 1, 2, 5, 0, 0, 0, −3, 4, 6, −17, 0, 11, 4); valor de
k(x) = 3.6874 × 1011 , ∀ r ∈ R.
6.4. Estudo da influência do raio na hiperesfera 98
2E4
-2000 3E4 -2E4
-800 2E4 10000
-10000
10000
-5000
-1500 00
5000 0 -10000
-790 10000 -2E4
-1000 2E4 -3E4
-10000
-780 800
-500 -2E4
400
-15
-10-770 0 -3E4
-5 520 3000 2000 1000 0 -1000 -2000
500
0 460 480 -400
5 440
10 -800
15
Figura 6.14: Corte B10 (a0 , a1 , a2 ), x = (−1, 0, 5, −1, 5, 2, 6, 0, −3, 0, −1, 0, 0, 7, 1, 3); k(x) = 3.07643,
∀ r ∈ R.
10000
-4E4
2000 8000
-2E4
6000
1500 4E4 6E4
2E4
4E42E40-2E4
-4E4
-2E4
-6E4 -4E4
4000 0
1000
2000 2E4
Figura 6.15: Corte B10 (a0 , a1 , a2 ), x = (0.6, 1, −4.5, 3, 2, 3.5, −2, 1, 0.1, 1, 7, −1, 1, 8, 0.3, 1); o
valor da dilatação é k(x) = 3.02579, ∀ r ∈ R
6.4. Estudo da influência do raio na hiperesfera 99
600
-800 1000
10 400 -600
40 200 -400 500
5 30 -200 -1500
20 -1000
00 0
10 0 -500
00 200 500
-200 00
100 50-10 0 1000
-50 500
-20 -100 -150 -400 1000 -500 2000
3000
-5 1500 4000
-600
2000 -1000
-10
Figura 6.17: Corte B20 (a1 , a2 , a3 ), x = (5, 2, −8, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, −0.5); k(x) = 41.4444,
∀ r ∈ R.
6.4. Estudo da influência do raio na hiperesfera 100
k(1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1) 4 4 4.52918
k(5,5,5,5,5,5,5,5,5,5,5,5,5,5,5,5) 4 4 4.52918
k(20,20,20,20,20,20,20,20,20,20,20,20,20,20,20,20) 4 4 4.52918
k(2,2,2,2,-2,-2,-2,-2,2,2,2,2,-2,-2,-2,-2) 3.87298 3.87298 3.80149
k(-3,-3,-3,-3,3,3,3,3,-3,-3,-3,-3,3,3,3,3) 3.4641 3.4641 3.80149
k(1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0) 1 1 1
k(5,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0) 1 1 1
k(15,0.1,0.1,0.1,0.1,0.1,0.1,0.1,0.1,0.1,0.1,0.1,0.1,0.1,0.1,0.1) 1.00033 1.00089 1.03322
k(15,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1) 1.03280 1.09091 1.42066
k(25,0.5,0.5,0.5,0.5,0.5,0.5,0.5,0.5,0.5,0.5,0.5,0.5,0.5,0.5,0.5) 1.00300 1.00802 1.10363
k(25,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1) 1.01193 1.03226 1.22279
k(0.001,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1) 3872.98 3.00000 3869.82
k(0.01,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1) 387.3 3.00008 386.988
k(0.1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1) 38.7427 3.00802 38.7588
k(0.005,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2) 1549.19 3.00001 1547.93
k(0.05,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2) 154.923 3.0005 154.808
k(0.5,2,2,2,2,2,2,2,2,2,2,2,2,2,2,2) 15.5242 3.05063 14.5751
Conclusão
101
102
Construção de Cayley-Dickson
103
104
p := a + bj, q := c + dj (A.6)
onde a, b, c, d ∈ C , então
-Os sedenions (n=4): Seja s ∈ S, então s pode ser representado como um par ordenado
de dois octonions, ou seja, sendo a e b, dois octonions, pode-se representar,
s := (a; b) (A.11)
Assim, através deste processo, novas unidades imaginárias para os sedenions serão intro-
duzidas sendo estas: e00 , i00 , j 00 , k 00 , e000 , i000 , j 000 , k 000 .
Um sedenion, s, pode ser escrito como,
15
X 15
X
s := sµ aµ = s0 a0 + sn an (A.13)
µ=0 n=1
106
X
aj ak = −δj,k + εj,k,m am , (j, k, m = 1, 2, ..., 15) (A.14)
j,k,m
1, se (j,k,m) é uma permutação par;
εj,k,m = -1, se (j,k,m) é uma permutação ı́mpar; (A.15)
0, contrário
e,
1, se j = k;
δj,k = (A.16)
0, caso contrário;
107
Exemplo A.1 Considere o ciclo (5, 12, 9). Em relação aos sedenions, temos j = 5, k = 12
e m = 9, então de A.14,obtêm-se que:
X
a5 a12 = −δ5,12 + ε5,12,9 a9 (A.17)
5,12,9
como,
ε5,12,9 = 1 (A.19)
logo,
X
a5 a12 = −0 + 1a9 (A.20)
5,12,9
⇒ a5 a12 = a9 (A.21)
Agora, se tomarmos o ciclo (5, 12, 9), j = 9, k = 12 e m = 5, então de A.14, têm-se que,
X
a9 a12 = −δ9,12 + ε9,12,5 a5 , (A.22)
9,12,5
como
δ9,12 = 0, (A.23)
pois 9 6= 12, e como a permutação (9, 12, 5) é uma permutação ı́mpar, segue que,
ε9,12,5 = −1 (A.24)
logo,
X
a9 a12 = −0 + −1a5 (A.25)
5,12,9
a9 a5 = a12 (A.27)
108
a4 a4 -a5 -a6 -a7 -a0 a1 a2 a3 a12 a13 a14 a15 -a8 -a9 -a10 -a11
a5 a5 a4 -a7 a6 -a1 -a0 -a3 a2 a13 -a12 a15 -a14 a9 -a8 a11 -a10
a6 a6 a7 a4 -a5 -a2 a3 -a0 -a1 a14 -a15 -a12 a13 a10 -a11 -a8 a9
a7 a7 -a6 a5 a4 -a3 -a2 a1 -a0 a15 a14 -a13 -a12 a11 a10 -a9 -a8
a12 a12 a13 a14 a15 a8 -a9 -a10 -a11 -a4 a5 a6 a7 -a0 -a1 -a2 -a3
a13 a13 -a12 a15 -a14 a9 a8 a11 -a10 -a5 -a4 a7 -a6 a1 -a0 a3 -a2
a14 a14 -a15 -a12 a13 a10 -a11 a8 a9 -a6 -a7 -a4 a5 a2 -a3 -a0 a1
a15 a15 a14 -a13 -a12 a11 a10 -a9 a8 -a7 a6 -a5 -a4 a3 a2 -a1 -a0
[3] Hamilton W. R., Elements of Quaternions, Chelsea Publishing Co., New York (1969).
[4] Cayley A. , On Jacobi’s elliptic functions, in reply to the Rev. B. Bronwin; and on
quaternions, Phyl. Magazine XXV I, 208−211 (1845).
[6] Imaeda K. and Imaeda M. , Sedenions: algebra and analysis, Appl. Math. Comput. 115,
77−88 (2000).
[7] Musès C. A. , Hypernumbers and their Spaces: a Summary of New Findings, J. Study.
Consciousness, 5: 251−256 (1972).
[8] Musès C. A., Explorations in mathematics, Impact of Science on Society, 27: 67−85
(1977).
[9] Musès C. A., Hypernumbers and quantum field theory with a summary of physically ap-
plicable hypernumber arithmetics and their geometries, Appl. Math. Comput.,6:63−94
(1980).
[10] Carmody K., Circular and hyperbolic quaternions, octonions, and sedenions−further
results, Appl. Math. Comput., 84: 27−48 (1997).
[11] Clifford W. K. , Preliminary Sketch of Biquaternions, Proc. Lon. Math. Soc. 4, 381−395
(1873).
110
[13] Seppo R., Quasiconformal Mappings, Annales Ac. Scientiarum Fennicae, Séries A. I.
Math., Volumen 13, 371 − 385 (1988).
[15] Spiegel M. R., Variáveis Complexas. São Paulo, McGraw- Hill do Brasil; (Coleção
Schaum) (1973).
[16] Machado J. M. and Borges M. F., Hypercomplex Functions and Conformal Mappings,
Internacional Journal of Applied Math., 9:(1) (2002).
[17] Machado J. M. and Borges M. F., New Remarks on the Differentiability of Hipercomplex
Functions, International Journal of Applied Mathematics, 8:(1)85−101 (2002).
[19] Carvalho T. M. M. de, Análise das propriedades de funções que satisfazem as relações
generalizadas de Cauchy-Riemann, Dissertação de Mestrado em Matemática Aplicada,
UNESP(IBILCE), São José do Rio Preto, (2003).
[21] Maricato J. B. J., Machado J.M. and Borges M.F.,Quasiconformal Transformations and
Hypercomplex Functions, International Journal of Applied Mathematics, V.20, 691−702
(2007) .
[23] Pendeza C. A., Álgebras não associativas octoniônicas e relações extensivas do tipo “De
Moivre”, Dissertação de Mestrado em Matemática Aplicada, UNESP(IBILCE) (2006).
111
Assinatura