Resumo
No presente trabalho apresentamos a continuação do recente artigo “Grandezas Físicas Unidimensionais”, publicado na Revista Brasileira de Ensino de Física. A construção operacional de uma grandeza passa pela definição de seu domínio, separação do domínio em classes e, por fim, associação injetiva de um espaço de valores às classes. Essa formulação é aqui delineada para abarcar grandezas multidimensionais, incluindo vetores, vetores duais e tensores. Adotar um viés operacional, nesse caso, permite ressignificar assuntos aparentemente tautológicos da matemática, como geometria e topologia, a partir de sua conexão com o mundo físico.
Palavras-chave:
Grandezas físicas; Operacionalismo; Teoria da Medida
Abstract
In the present paper we present the continuation of the recent paper “One-dimensional physical quantities”, published in Revista Brasileira de Ensino de Física. The operational construction of a physical quantity passes through the definition of its domain, separation of the domain into equivalence classes and, finally, the injective association of equivalence classes into a value space. This formulation is outlined here to encompass multidimensional quantities, including vectors, dual vectors and tensors. Adopting an operational bias, in this case, allows us to re-signify seemingly tautological topics of mathematics, such as geometry and topology, from its connection to the physical world.
Keywords:
Physical Quantities; Operationalism; Measurement theory
1. Introdução
Este trabalho é uma continuação natural do artigo “Grandezas Físicas Unidimensionais” [1][1] G.F. Vasconcelos Júnior, R.P.S. Costa e B.F. Rizzuti, Rev. Bras. Ensino Fís. 40, e3304 (2018)., recentemente publicado na Revista Brasileira de Ensino de Física. Lá, apresentamos com detalhes a construção do conceito de uma grandeza física. Nesse caso, em particular, discutimos sobre três delas, pilares para a mecânica clássica: distância, massa e tempo. Tal construção pode ser resumida por uma sequência de passos, que passamos a descrever. Usaremos a grandeza distância para elucidar nossa discussão inicial. Em primeiro lugar, fixada uma grandeza G, caracteriza-se o que chamamos de domínio da grandeza, denotado por DG. O domínio nada mais é que o conjunto de objetos para o qual a grandeza tem sentido. Por exemplo, distância é definida para pares de pontos. Feito isso, precisamos de um procedimento experimental que caracterize grandezas do mesmo tipo. Tal comparação no caso de distâncias é feita por um compasso. Dizemos que um par de pontos define a mesma distância que um segundo par, quando for possível colocar as pontas de um compasso sobre o primeiro par e, sem alterar sua abertura, colocá-las também sobre o segundo par. Tal procedimento, que chamaremos de ∼, pode ser encarado como uma relação no sentido matemático, isto é, ∼ é um subconjunto do produto cartesiano DG × DG, já que estamos comparando sempre pares de elementos. O fato é que ∼ separa DG em classes de objetos do mesmo tipo. Por fim, associamos cada classe com um valor numérico oriundo de um conjunto que chamaremos VG, o conjunto de valores da grandeza. Essa associação corresponde à medida como usualmente a conhecemos. A possibilidade de fazer previsões e estimativas, em um certo sentido, nos exige definir uma soma e multiplicação por números em VG, dotando tal conjunto com uma estrutura de espaço vetorial (para o caso de distâncias, essas operações serão revistas na Seção 2). Curiosamente, a base do espaço VG corresponde às unidades da grandeza. Toda essa construção é ilustrada na Figura 1.
Parte da motivação para o trabalho [1][1] G.F. Vasconcelos Júnior, R.P.S. Costa e B.F. Rizzuti, Rev. Bras. Ensino Fís. 40, e3304 (2018). foi completar a definição de um grandeza física fornecida pelo Joint Committee for Guides in Metrology[2][2] https://www.bipm.org/utils/common/documents/jcgm/JCGM_200_2012.pdf.
https://www.bipm.org/utils/common/docume...
. Além disso, toda a construção é fortemente baseada no formalismo operacionalista [3[3] P.W. Bridgman, Logic of modern physics (MacMillan, New York, 1927)., 4[4] <https://plato.stanford.edu/archives/fall2009/entries/operationalism/>, acessado em 10/19/2018.
https://plato.stanford.edu/archives/fall...
]. Partimos da premissa que não podemos usar nenhum conceito sem que seja possível defini-lo operacionalmente, isto é, a partir de um procedimento experimental. Embora a perspectiva operacionista ter sido superada em filosofia da ciência, não podemos subestimar seu potencial pedagógico. Acreditamos que adotá-la pode revelar como a física e a matemática estão conectadas, devido ao seu caráter “lúdico” destacado exatamente pela exigência de definições operacionais.
Até agora, só mencionamos grandezas unidimensionais. Contudo, já no ensino médio e nas disciplinas iniciais dos cursos de graduação em ciências exatas, nos deparamos com grandezas que não são unidimensionais e elas possuem um papel central na descrição de toda a física, seja nos regimes quântico, clássico ou relativístico. São elas os vetores, vetores duais e tensores. Será que essas grandezas podem ser caracterizadas seguindo os mesmos passos delineados acima e extensamente descritos em [1][1] G.F. Vasconcelos Júnior, R.P.S. Costa e B.F. Rizzuti, Rev. Bras. Ensino Fís. 40, e3304 (2018).? Nosso objetivo central neste trabalho será responder a esta pergunta, caracterizando tais grandezas multidimensionais, essencialmente geométricas, seguindo uma prescrição operacional.
Adotar a corrente filosófica operacional pode ser um tanto controversa e não é, naturalmente, a única maneira de se apresentar determinado modelo. Contudo, temos aqui a chance de advogar um rompimento brusco com a geometria, puramente estruturada por uma sequência de axiomas e regras de lógica, que juntos fornecem todos os resultados que um matemático poderia encontrar. Nesse sentido, tais resultados são tautológicos, “por conterem nada mais do que já está contido nas premissas ou nos axiomas” [5][5] J.M. Jauch, Foundations of Quantum Mechanics (Addison-Wesley Publ., Reading, 1968).. Adotando o operacionalismo, somos capazes de reestruturar a geometria, definindo as estruturas básicas como pontos, retas e planos, sem ter que caracterizá-las como conceitos primitivos ou termos indefinidos [6][6] E.Q.F. Rezende e M.L.B. Queiroz, Geometria Euclidiana Plana e Construções Geométricas (Editora da Unicamp, Campinas, 2000)., gerando assim resultados “de fatos observados, que então nunca são certos, mas somente verificáveis para um número finito de exemplos” [5][5] J.M. Jauch, Foundations of Quantum Mechanics (Addison-Wesley Publ., Reading, 1968).. Como veremos também, é possível, sob tal ponto de vista operacional, construir noções mais avançadas de matemática, incluindo, por exemplo, a topologia do espaço. O operacionalismo permite ainda, logo nos cursos iniciais de física, colocar o estudante de frente para um dos conceitos fundamentais da matemática e das ciências quantitativas, a saber, o conceito de linearidade. Além disso, evidencia de forma totalmente elegante a relevância dos espaços afins na física e a construção de vetores de maneira independente de coordenadas, em contraste com a comunidade matemática em geral.
Este trabalho será então dividido da seguinte maneira. Na Seção 2, apresentamos a construção básica de uma geometria primordialmente operacional, que servirá de alicerce para todo o trabalho. Na Seção 3, tratamos a primeira grandeza multidimensional, os vetores. Para ampliar e completar a estrutura da geometria do espaço discutida anteriormente, descreveremos ainda a grandeza unidimensional ângulo, seguido de algumas de suas consequências. As Seções 5 e 6 continuam com grandezas multidimensionais, a saber, vetores duais e tensores. Finalmente delineamos as conclusões na Seção 7.
Ao longo de todo o trabalho, sempre que algo for definido com uma equação, utilizaremos o símbolo :=.
2. Ingredientes básicos: espaços, pontos, retas e planos
A primeira grandeza multidimensional que construiremos serão vetores. Eles possuem um caráter essencialmente geométrico. Assim, faremos um prelúdio na geometria. Trataremos de conceitos extremamente familiares, em particular, de espaços, pontos, retas e planos. A razão para discutirmos estas estruturas básicas é que os matemáticos as tomam como conceitos primitivos, e unindo regras de lógica e uma sequência de axiomas, constroem o que conhecemos como geometria plana [6][6] E.Q.F. Rezende e M.L.B. Queiroz, Geometria Euclidiana Plana e Construções Geométricas (Editora da Unicamp, Campinas, 2000).. Esta metodologia é ortogonal à postura operacional adotada aqui. Assim, buscaremos definições operacionais para tais conceitos [7][7] <http://www.fisica.ufjf.br/~lesche/>, acessado em 12/09/2018.
http://www.fisica.ufjf.br/~lesche/...
.
2.1. Pontos, corpos rígidos e espaço
Começamos com a seguinte
Definição 1 Chamaremos de pontos a interseção de riscos em cruz feitos com agulhas em corpos.
Apesar de ingênua, esta definição é adotada tácita e usualmente. De fato, quando vamos furar uma parede para prender um quadro ou mesmo serralheiros e carpinteiros a utilizam cotidianamente em suas oficinas.
Com a Definição 1 em mãos, temos um fato experimental que resumiremos em um
Axioma 1 Existem corpos na natureza nos quais a distância entre pontos marcados não muda com o tempo. Tais corpos serão chamados de referência rígidos, ou simplesmente, corpos rígidos.
A sequência de imagens na Fig. 2 ilustra este axioma.
Um contraexemplo seria a marcação com um prego de pontos A e B sobre a lataria de um carro em um dia de inverno. Poderíamos usar um compasso de madeira para evitar efeitos de dilatação, ou mesmo uma régua de acrílico. A medição da distância entre os pontos A e B em um dia quente de verão não fornece a mesma medida.
Podemos agora unir corpos de referência rígidos com uma cola que não deixe que eles se movam. Ganhamos com isso um novo corpo de referência que nos permite a marcação de mais e mais pontos, com distâncias entre eles cada vez maiores. Por exemplo, tijolos são corpos de referência rígida. Ao serem unidos com cimento para formar uma parede, a própria parede passa a ser um novo corpo rígido. Vamos chamar tal união de corpos rígidos de firme. Diremos resumidamente que dois corpos rígidos estão unidos de maneira firme quando a distância entre qualquer ponto do primeiro corpo até qualquer ponto do segundo não muda com o tempo. Consideremos agora o conjunto de todos os corpos rígidos.
Teorema 1 A união firme de corpos rígidos é uma relação de equivalência.
De fato, um corpo por si só já é rígido, logo tal relação é reflexiva. Sendo a distância entre pares de pontos tanto simétrica quanto transitiva, importamos tais propriedades para a união firme, caracterizando-a como uma relação de equivalência.1 1 Para o leitor não familiar ao conceito de relação e classes de equivalência, sugerimos a referência [8], que é suficientemente formal. Para uma interpretação mais intuitiva, veja [1].
Denominaremos as classes definidas pela relação de equivalência de união firme de corpos rígidos como um sistema de referência rígido ou abreviadamente, sistema de referência (SR).
Consideremos o conjunto de pontos que podem ser marcados em um sistema de referência, ou simplesmente usamos nossa abstração para imaginarmos aquele estoque ilimitado de pontos que poderiam ser marcados em corpos rígidos imaginários que pertencem a determinado sistema de referência. Com isso, ganhamos a
Definição 2 O conjunto de pontos marcados em um sistema de referência (ou em corpos rígidos imaginários que pertencem a tal sistema de referência) leva o nome de espaço.
Usaremos a notação para denotar o espaço construído a partir de certo sistema de referência. Aqui já notamos um rompimento com a noção de espaço absoluto newtoniano. Com efeito, dois sistemas de referência distintos definem espaços distintos. Existem ainda dois subconjuntos de pontos em que são de interesse e serão definidos: retas e planos.
2.2. Retas e planos
A noção de uma reta é intimamente ligada à grandeza física “distância”. Todos os detalhes podem ser vistos na subseção 2.1 de [1][1] G.F. Vasconcelos Júnior, R.P.S. Costa e B.F. Rizzuti, Rev. Bras. Ensino Fís. 40, e3304 (2018).: lá definimos o domínio de tal grandeza, que são pares de pontos. A relação de equivalência que divide DL em pares de distâncias equivalentes é feita por um compasso e detalhamos também a soma em VL. Para dar continuidade à leitura, repetiremos a construção da soma +:VL × VL → VL. O ponto de partida é dotar VL com uma relação de ordem. Inicialmente dados A, B e C pontos em , com um compasso com abertura definida pela distância d(A,B) construímos o conjunto
é chamado de esfera de centro O e raio d(A,B). Agora, dado um ponto arbitrário, colocamos uma das agulhas do compasso em O, e sem retirá-la do corpo rígido, fazemos um risco que conecte O a H. Caso isso seja possível, sem que a agulha atravesse , dizemos que d(O,H) < d(A,B). Do contrário, d(O,H) > d(A, B). A Figura 3 ilustra tal relação de ordem. Neste caso, d(A,B) > d(O,E) e d(A,B) < d(O,G). Agora, para obter d(A,B) + d(C,D), marcamos o conjunto , com e procuramos tal que a distância d(O,M) é máxima. Assim, definimos
Ilustração da construção de (i) soma de distâncias, (ii) desigualdade triangular, (iii) segmento de reta e (iv) alinhamento de pontos.
Com isso ganhamos naturalmente a desigualdade triangular
válida para pontos arbitrários do espaço. Nos interessa mesmo a igualdade, cuja interpretação geométrica é oriunda da própria definição 2. O fato mais intrigante é que passando uma linha inextensível por O e M, mantendo-a tensionada, ela passa exatamente sobre O': veja a Figura 3. Daí diremos que O, O' e M estão alinhados. Além disso, diremos também que O' está entre O e M. Finalmente estamos aptos a definir uma reta.
Definição 3Dados, chamamos de reta que passa por A e B, denotada poro conjunto de pontos X, denotado por r(XAB), tal que A está entre X e B, unidos com os pontos Y do conjunto r(AYB), com Y entre A e B, finalmente unindo com todos os pontos Z de r(ABZ), tal que B está entre A e Z,
O conjunto de pontos entre A e B é chamado de segmento de reta.
Na prática, a construção operacional de uma reta, ou melhor, de determinado segmento, é feita esticando uma linha inextensível sobre dois pontos arbitrários, o que também pode ser visto na Figura 3.2 2 Utilizamos um pedaço de fio dental como fio inextensível para representar o segmento de reta, preso a dois pesos plásticos.
Uma vez definida o que é uma reta, precisaremos de mais uma definição, a de distância de ponto a reta.
Definição 4 Sejam um ponto e uma reta. Dizemos que é a distância do ponto P até a reta r.
Com esta definição em mãos, e em completa analogia com as esferas construídas anteriormente, definimos mais um subconjunto do espaço.
Definição 5Sejam d(A,B) uma distância entre dois pontos do espaço euma reta. Definimos o conjuntoe o denominamos cilindro originado por r e com raio d(A,B).
A partir dessa definição temos o seguinte fato experimental expresso no
Teorema 2Dado um ponto P arbitrário em, existe uma única retae contendo Ptal que.
A interpretação geométrica deste teorema pode ser vista na Figura 4. Como consequência dele, nota-se que e também . Neste caso, chamaremos as retas r e s paralelas.
Finalmente, a última definição que ainda precisamos descrever operacionalmente é a de plano.
Definição 6Sejamduas retas eum ponto arbitrário de s. Definimos o conjunto, ondeé a reta que passa por P e, como sendo o plano formado pelas retas r e s.
A Figura 5 ilustra essa construção.
Com essas definições completamos a construção do espaço, e partimos para o estudo das grandezas físicas oriundas desta etapa inicial. Tais grandezas são essencialmente geométricas, o que justifica toda o desenvolvimento acima.
3. Vetores
Passaremos agora à nossa primeira grandeza multidimensional, que chamaremos de vetores deslocamento. Assim como para distâncias, o domínio dessa nova grandeza serão pares ordenados de pontos no espaço,
com elementos que serão denotados por e a seta indica que o par é diferente de . O nome vetor deslocamento nasce de uma possível interpretação física: podemos imaginar que uma partícula se deslocou de A para B em linha reta. Assim, chamaremos a reta de reta suporte de . Os pontos A e B serão denotados por origem e extremidade do par correspondente. Nossa próxima etapa consiste em organizar o domínio em classes. Isto é feito por uma relação denominada transporte paralelo. Ela será denotada por
e agora passamos a descrevê-la operacionalmente. O transporte de um par é feito com a ajuda de esquadros. Colocamos um esquadro sobre o segmento de reta definido por A e B, marcamos pontos A* e B* no esquadro justapostos a A e B e o deslocamos com a ajuda de outro esquadro na direção desejada, conforme indica a Figura 6.
Experimentalmente, podemos ver que se trata realmente de uma relação de equivalência, já que;
-
, basta não deslocar o esquadro.
-
, pois podemos voltar o esquadro do par até fazendo o mesmo deslocamento inicial em sentido contrário.
-
e , o que pode ser visto na Figura 7.
Cada classe de equivalência de pares de pontos ordenados que se conectam por um transporte paralelo será denotada por , , etc. Com essa relação em mãos, podemos definir o conjunto para “organizar” o conjunto de pares ordenados de pontos do espaço. Seguindo com a prescrição da caracterização da nossa grandeza vetores deslocamento, o primeiro passo é definir a soma entre classes,
Dados e , primeiro conectamos os pontos iniciais de e por um transporte paralelo a um ponto S1 arbitrário. Depois transportamos tanto quanto ao longo da reta que suporta cada um deles. É um fato experimental que eles se encontram em um ponto, digamos, S2. Chamaremos de vetor + . A Fig. 8 fornece o quadro geométrico desta construção. É uma tarefa rápida e direta, mostrar que a soma acima construída é uma soma de classes.
É possível também definir o produto de vetores por números reais
Começamos com a multiplicação de um vetor por um número natural. Ao longo da reta suporte de , marcamos com um compasso pontos consecutivos, mantendo a abertura do compasso fixa, definida pelos extremos de , conforme a Figura 9. Cada ponto An+1 é obtido a partir de An. Assim, definimos
A multiplicação por inteiros é totalmente análoga. Basta inverter o sentido de quando o inteiro for negativo. Dado z negativo em , temos z = −n, para algum , e então
Passamos agora à multiplicação por racionais , com m ≤ n. Partindo de A0, desenhamos um segmento de reta r em qualquer direção diferente da reta que suporta . Com um compasso com abertura arbitrária, marcamos os pontos B1, B2,...,Bn em r, de modo que . Traçamos o segmento que conecta Bn a A1 e traçamos segmentos paralelos ao segmento definido por Bn e A1, que vão dos pontos Bi, i = 1, 2,...,n-1 até tocar , onde marcamos os pontos B'i. Assim,
A representação geométrica para tal definição da multiplicação de por 3/5 pode ser vista na Figura 10. A generalização para m > n é direta. Escrevamos m = n + m', de modo que m/n = 1 + m'/n, com m' < n Assim, basta aplicar os resultados acima discutidos.
A multiplicação por reais em pode ser generalizada a partir da densidade de em . Contudo, observamos que temos uma limitação experimental para a construção de uma distância dada por um irracional. Com efeito, meça com uma régua a diagonal de um quadrado com lados de 1m. O que você encontrá? ? Ou 1,41m? Uma discussão mais detalhada sobre incertezas pode ser vista em [1][1] G.F. Vasconcelos Júnior, R.P.S. Costa e B.F. Rizzuti, Rev. Bras. Ensino Fís. 40, e3304 (2018)..
Agora, com a soma e multiplicação por números, temos mais um fato experimental: é um espaço vetorial tridimensional e ter chamado os pares ordenados de vetores anteriormente não foi coincidência. Concluímos essa Seção com um último fato experimental: o espaço físico associado a um determinado corpo de referência rígido possui as propriedades de uma estrutura muito conhecida pelos matemáticos, a saber o espaço afim.3 3 Encontramos essa mesma estrutura na teoria da relatividade. O espaço-tempo de Minkowski 𝕄 possui a estrutura de um espaço afim quadridimensional [9]. Ele é definido como a seguir. Sejam E um conjunto cujos elementos são chamados de pontos e V um espaço vetorial. Considere também uma aplicação , . Dizemos que E é um espaço afim associado ao espaço vetorial V quando goza das seguintes propriedades
-
Dados um ponto e um vetor existe um único ponto tal que .
-
Para quaisquer tem-se .
A dimensão do espaço E é definida por dim E: = dim V.
O item (ii) acima é um fato experimental que mostra a bijeção entre e . De fato, dados dois pontos A e B em , eles definem um representante da classe de vetores deslocamento correspondente. Reciprocamente, dado um ponto e um vetor , transportamos paralelamente a origem de até o ponto A, e olhamos para a única extremidade B do representante da classe , a saber, . Na literatura matemática, é costume escrever tal resultado como
Esperamos que a discussão acima explicite a diferença entre o espaço afim e o espaço vetorial associado , apesar da bijeção entre ambos.
4. Ângulos e algumas consequências
Antes de continuarmos com grandezas multidimensionais, descreveremos mais uma grandeza de interesse que é unidimensional. Ela não foi introduzida anteriormente pois seu domínio, como veremos, é formado por pares de vetores. Faremos como antes: a descrição formal é precedida por argumentos heurísticos, culminando com procedimentos experimentais, matematicamente formalizados. Trataremos também de alguns tópicos que estão direta ou indiretamente ligados com ângulos.
4.1. Construindo a grandeza ângulo
Consideremos o exemplo cotidiano de abrir a porta da geladeira para retirada de uma garrafa de água. Para economizar energia, você abre a porta somente o suficiente para retirar a garrafa. Caso você tenha que retirar uma panela, a abertura da porta deve ser maior que antes. Esse exemplo soa muito natural. Mas o que queremos dizer com abertura? Mais ainda, mesmo sem conseguir sequer definir abertura, inserimos uma relação de ordem ao dizer “abertura maior do que antes”. Nosso objetivo será então formalizar esta noção de abertura, construindo a grandeza que chamaremos de ângulo.
Com o exemplo inicial, fica claro que o domínio da grandeza ângulo são pares de vetores. Restringiremos nossa definição inicial ao espaço vetorial bidimensional que tem Π como espaço afim, isto é, para quaisquer e , tem-se . Pela definição operacional de plano, é fácil ver que dois vetores definem um plano. Assim, escreveremos tal domínio como
Agora seguiremos uma sequência de passos experimentais para caracterização dessa nova grandeza. Dados e ,
-
Traçamos as retas e ;
-
Colocamos a ponta seca do compasso em O e marcamos o arco que conecta a reta até a reta . Isto pode ser feito de duas, e somente duas maneiras, como indicado na Figura 11, a saber, no sentido horário ou no anti-horário;
-
Variamos a abertura do compasso e marcamos mais arcos como indicados na etapa (ii) acima, escolhendo um dos dois sentidos.
Notavelmente, os raios R1, R2,..., R dos diferentes arcos da Figura 11 são diferentes, bem como os comprimentos dos arcos. Contudo, a abertura definida pelo par de vetores continua a mesma. Mais ainda, é um fato experimental que
Ora, este será então exatamente o procedimento experimental que tanto define as classes em DA como fixa os valores de ângulos. De fato, sendo a razão entre comprimento de arco pelo raio independente da abertura do compasso, definimos
Em (15), l e R correspondem ao comprimento do arco e raio como definidos pelos procedimentos experimentais (i-iii) acima. O símbolo indica que o compasso sai da reta e vai até a reta no sentido anti-horário. É uma consequência de (15) que
Naturalmente (15) define o valor para a grandeza e, por construção, (voltaremos ao assunto do espaço de valores de ângulos ao fim da Seção). Além disso, dois pares e são ângulo-equivalentes quando
Antes de avançarmos com as operações de soma e multiplicação por escalar, um comentário deve ser feito. A grandeza física distância possui pares de pontos como domínio. Assim, é preciso esclarecer o significado de “comprimento de arco”. Como, em princípio, só sabemos medir a distância entre dois pontos, poderíamos tentar definir o comprimento do arco descrito pelo compasso saindo de C e chegando em D por
onde os pontos C e D estão indicados na Figura 11. Mas o arco não coincide com o segmento de reta definido pelo par C, D. Logo, a escolha (18) não é boa. Para melhorar essa situação, colocamos um ponto a mais sobre o arco, digamos E, e escrevemos
Pela desigualdade triangular, mas também não caímos sobre o arco com os dois segmentos definidos por C, E e E, D. Seguimos marcando pontos Ci, i = 1,...,N, para algum , sobre o arco, tão próximos quanto a menor abertura do compasso permita medir a distância . Escrevemos então esta soma de distâncias como
com o primeiro ponto sendo C e o último, D. Tal marcação de pontos sobre o arco é chamada de partição, justificando o índice SP. Devido à desigualdade triangular, quanto mais pontos forem marcados,
Tal desigualdade entre somas motiva usarmos um supremo para definir
Dessa maneira, chegaremos o mais próximo possível do que poderemos chamar de comprimento de arco.
O fato experimental curioso é que todo o processo acima fornece o mesmo resultado, dentro da incerteza, de medida de comprimento de arco caso usássemos uma fita métrica flexível, como aquela do alfaiate. Basta, para isso, ajustar a fita sobre o arco do qual se deseja medir o comprimento, veja a Figura 12: as agulhas representam pontos de uma possível partição do arco.
Para construir a soma de ângulos, precisaremos ainda do conceito de rotação. A situação aqui é análoga à soma de distâncias. Escrever 2cm + 3cm = 5cm é vazia no sentido geométrico. Com efeito, dados pontos A, B, C, D tal que e , precisamos de um procedimento para determinar qual é a localização de pontos O e M tal que
Com ângulos com , , e em , poderíamos fazer a mesma pergunta: qual o par (, ) tal que
Para responder a essa pergunta, começamos com a
Definição 7 Dado , chamaremos de rotação em torno de um ponto o mapeamento
tal que
-
;
-
.
Reflexões por espelhos passando por P preservam distâncias mas elas são excluídas da definição acima. A razão é que nosso espaço físico foi construído a partir de corpos de referência rígida. É possível girar um corpo rígido, preservando distâncias. Mas não podemos girar a mão direita para obter a esquerda; somente uma reflexão pode fazê-lo. Tecnicamente, a exigência de excluirmos reflexões significa pedir que o mapeamento RP seja contínuo e que possa ser deformado continuamente à identidade. Tais definições, contudo, exigem a construção de noções topológicas que não serão abordadas aqui.
Da identificação de com , o mapeamento RP induz uma rotação natural de vetores
Definição 8 Chamamos de rotação do vetor o seguinte mapeamento
Notemos que não é preciso fixar o ponto pois sempre podemos transportar um elemento da classe até o ponto P. A partir de agora, quando tratarmos de uma rotação, estamos fazendo referência à rotação de vetores.4 4 Rotações são descritas pela teoria de representações do grupo SO(3). Os detalhes podem ser vistos em [10]. Um resultado experimental associado às rotações é expresso pelo
Axioma Dadas e classes distintas em , existe uma rotação tal que e são suportados por retas paralelas.
Podemos visualizar o Axioma 2 em um relógio analógico, quando o ponteiro dos segundos alcança, por exemplo, o ponteiro dos minutos.
Usando ainda a rotação de um vetor, podemos induzir a rotação de um par definida por
Por construção, tal rotação preserva o valor de ângulos
Com este arcabouço em mãos, já podemos caracterizar geometricamente a soma de ângulos. Tomemos então . Buscamos a rotação tal que e sejam paralelos e com a mesma origem. Aplicamos então a rotação induzida por ao par , mantendo fixo. Definimos então
A Figura 13 indica essa construção.
A multiplicação de valores de ângulos por escalares é importada da própria multiplicação de números por distâncias. De fato, usamos novamente a fita métrica flexível do alfaiate, com os seguintes procedimentos. Dado certo valor de ângulo , desenhamos um arco arbitrário que conecte as retas que suportam os vetores e , segundo a orientação definida ao se construir o ângulo. Medimos os comprimentos do arco (l) e do raio (R), de modo que . Dado , com , marcamos sobre a fita métrica flexível o valor e retornamos com a fita sobre o arco, de modo que
A Figura 12 ilustra o procedimento resumido na definição (30). Nesse caso,
Os pontos C, D e E foram marcados seguindo a escala da fita métrica, de modo que
Devemos ter cuidado com o caso em que . Como queremos medir “aberturas”, valores de ângulos negativos correspondem a caminhar com o compasso em um outro sentido. A analogia é completa ao definirmos o espaço de valores de distância. Lá podíamos multiplicar distâncias por números reais negativos e interpretar uma distância negativa como, por exemplo, uma coordenada de posição. Além disso, devido ao fato experimental que
devemos ser cuidadosos também quando , indicando que completamos mais de uma volta. Isso pois o mesmo par de vetores pode representar mais de um valor de ângulo. Para contornar esta falta de injetividade entre classes de equivalência em definidas pela relação (17) e valores, podemos usar um índice no símbolo
Como valores de ângulo são números reais, importamos as propriedades usuais garantindo que o conjunto de valores seja um espaço vetorial. Ressaltamos ainda que para distinguir um número de outro que representa uma abertura, utiliza-se, por convenção, a palavra radiano. Isso não significa que “rad” represente unidades. A base do espaço de valores de ângulos VA é o conjunto unitário {1}; .
Com isso completamos a descrição da grandeza ângulo. As próximas subseções são dedicadas a apontamentos que estão ligados diretamente com a grandeza desenvolvida.
4.2. Funções trigonométricas
A ideia de ângulo surgiu quando percebemos a constância entre razão de comprimento de arco e raio, expressa por (15). De forma similar, poderíamos desenhar segmentos de retas no lugar de arcos, gerando, a partir de determinado par de vetores, triângulos com ângulos de , como indica a Figura 14. Tais ângulos são representados por um quadrado com um ponto dentro, próximo aos pontos A1, A2, etc.
O fato experimental é que, fixado o ângulo, as seguintes razões são constantes:
e também
Definimos, com isso, as funções de ângulo seno e cosseno, dadas pela razão entre lados de triângulos com um ângulo reto, como exposto nas expressões (35) e (36) respectivamente. Nasce, a partir daí, a teoria de funções trigonométricas com a proposta operacional.
4.3. Dotando com um produto interno
Discutiremos agora mais uma estrutura que compõe a descrição geométrica do espaço de vetores deslocamento, o produto interno. Aparentemente não há conexão entre ângulos e produto interno, mas o Teorema 3, a ser apresentado, justificará a inserção dessa subseção.
Como foi construído a partir de pares de pontos ordenados, há uma estrutura naturalmente associada com a classe . Basta tomar qualquer representante dessa classe, digamos, e definimos o módulo de como
tem todas as propriedades para ser chamado de uma norma [11][11] D.P. Pombo Jr., Introdução à Análise Funcional (Editora da UFF, Niterói, 2009)., o que pode ser prontamente verificado com um compasso. Neste caso, passa a ser um espaço normado. Com o módulo em mãos, conseguimos construir um novo mapeamento sobre
`·', por sua vez, tem as propriedades para ser chamado de um produto interno e foi inteiramente construído com um compasso.
Um espaço vetorial munido com um produto interno gera naturalmente um espaço com norma pondo
Por outro lado, um espaço normado não precisa, necessariamente ter um produto interno. O enfoque operacional caminha em sentido contrário à estruturação usual na matemática. Primeiro constrói-se a norma (módulo) e só daí definimos o produto interno. Por fim, justificando a conexão com ângulos, temos o
Teorema 3 Dados e em ,
Convidamos o leitor(a) a desenhar um par de vetores arbitrários e checar explicitamente esse resultado. Em particular, com o teorema se reduz a . Dotamos assim com um produto interno conectado com a norma.
Por praticidade, é costume construir bases em espaços vetoriais munidos com produto interno de modo que os elementos tenham todos módulo 1 e o produto interno entre elementos distintos seja nulo. Tais bases são chamadas de bases ortonormais. Consideremos a base de , de modo que qualquer vetor deslocamento possa ser escrito unicamente como a combinação linear
A partir de , construímos iterativamente o seguinte conjunto de elementos de , onde
Daí normalizamos os elementos de , gerando o conjunto , onde
A passagem de para é conhecido como processo de ortonormalização de Gram-Schmidt [12][12] K.M. Hoffman and R. Kunze, Linear Algebra (Prentice-Hall, New Jersey, 1971).. Cada não tem mais dimensão e neste sentido, geramos um espaço com caráter universal no sentido de que qualquer grandeza física vetorial pode ser escrita a partir da combinação linear com valores de grandezas físicas unidimensionais VG
É exatamente essa construção acima que nos permite
(a) comparar direções de vetores que moram em espaços diferentes. Por exemplo: a resultante de força centrípeta sob uma partícula em movimento circular é perpendicular à velocidade.
(b) calcular o produto interno de vetores em espaços diferentes. Nossa definição de produto interno foi dada a partir de somas e diferenças, veja (38). Mas dadas grandezas vetoriais e , escrevemos
O produto de termos do tipo foi explicado com detalhes em [1][1] G.F. Vasconcelos Júnior, R.P.S. Costa e B.F. Rizzuti, Rev. Bras. Ensino Fís. 40, e3304 (2018).. Assim fica claro o significado, por exemplo, do trabalho de uma força .
Com isso, completamos a descrição sobre ângulos e seus desdobramentos ligados com grandezas vetoriais.
5. Vetores duais ou co-vetores
Nossa próxima grandeza física multidimensional é construída de maneira análoga a vetores como classes de pares ordenados de pontos. No lugar de pares de pontos, usaremos pares de retas paralelas. Esta nova grandeza poderá ser interpretada como funcionais lineares atuando sobre o espaço de vetores. Assim, dividiremos esta Seção em 3 partes. Na primeira, apresentaremos a nova grandeza física, que chamaremos de vetores duais ou co-vetores. Partimos então para a interpretação dos vetores duais como funcionais lineares sobre vetores e por fim, daremos um exemplo ilustrativo.
5.1. Apresentando os vetores duais
Para expor a construção, vamos considerar inicialmente determinado plano , de modo que é o espaço linear de vetores deslocamento que tem Π como espaço afim. É um fato que dim. A generalização para 3 dimensões será feita posteriormente. Seja o conjunto de todas as retas contidas no plano Π. Seguindo a notação já adotada, os elementos de serão denotados por r, eventualmente com índices abaixo: , etc.
Consideremos agora o conjunto formado por pares de retas paralelas, que denotaremos por . Definimos a seguinte relação em ,
quando o par alcança o par por um transporte paralelo.
Naturalmente precisamos definir “alcançar” com o sentido dado acima, além do transporte paralelo de uma reta. O transporte paralelo de uma reta r é feito da seguinte maneira. Tomamos pontos A1, A2 em r e transportamos o vetor até onde se deseja, chegando aos pontos, digamos, A'1 e A'2. Assim, diremos que a reta definida por A'1 e A'2 corresponde ao transporte paralelo da reta r. Usaremos a notação para indicar que a reta r foi transportada. Por fim, dizemos que neste caso, a reta r alcança . Agora, na relação (48), ` alcança ' significa que r1 alcança r3 e r2 alcança r4.
É um fato experimental que (48) define uma relação de equivalência, cuja demonstração pode ser obtida nos mesmos moldes do que aquela para vetores feita anteriormente.
Já estamos caminhando para a obtenção de uma grandeza física: temos o seu domínio, dado por pares de retas paralelas e uma relação de equivalência, que caracteriza objetos do mesmo tipo. Chamaremos as classes de equivalência em de vetores duais ou co-vetores. Para completar a construção, precisamos ainda definir uma soma de classes em , a multiplicação por números reais e por fim, fornecer os valores às classes. Esta última etapa será um pouco diferente daquela para grandezas unidimensionais por uma razão simples. Os co-vetores serão interpretados como funcionais lineares sobre vetores.
Começamos com a soma. Gostaríamos de construir , onde representa a classe gerada pelo par de retas paralelas r e s. Gostaríamos também de mostrar que tal soma é de fato uma soma de classes, isto é, ela é independente dos elementos de [] e [] utilizados para se obter [].
Sejam então e elementos das distintas classes [] e []. Dado um ponto , faremos o seguinte:
1) Transportamos paralelamente o par até que r1 alcance O. Chamamos de A1 a interseção de com r3 e A2 a interseção de com r4. Tais interseções estão bem definidas pois as classes [] e [] são distintas.
2) Transportamos agora o par [] até que r3 alcance O. Assim como antes, e .
Consideremos as retas e . Por construção, elas são paralelas. Definiremos então
Mostrar a independência dos pares das classes escolhidos para construir a soma dada pelos passos 1 e 2 acima significa escolher pares com e com, além de um ponto O' arbitrário, construir e constatar que existe um transporte paralelo tal que
A Figura 15 ilustra tal demonstração. As duplas setas em vermelho indicam o transporte paralelo de pares de retas.
A soma apresentada acima é patológica quando os pares e possuem retas paralelas, digamos, r1 paralela a r3. Esta dificuldade pode ser contornada escrevendo um dos pares como a soma de outros dois e, por fim, utilizando a associatividade da soma. A multiplicação por número é herdada da multiplicação de vetores por reais. Sejam e P1 e P2 pontos arbitrários de r1 e r2, respectivamente. A multiplicação de números por vetores já foi definida. Assim, considere
Transportamos r1 paralelamente até o ponto Pα, obtendo a reta rα. Por construção, r1 é paralela a rα e assim definimos
A representação geométrica da definição acima pode ser vista na Figura 16. Neste caso, meramente ilustrativo, indica multiplicação com e representa multiplicação por .
A verificação experimental que (52) define produto por número sobre classes é direta. Dados e elementos de [], tomamos pontos arbitrários P1, P2, P'1 e P'2 em r1, r2, r'1 e r'2. Construímos então e a partir da prescrição acima. Nota-se então que existe um transporte paralelo que conecta os pares e , indicando que eles estão na mesma classe. O quadro geométrico desta comprovação está na Figura 17.
Com um pouco de trabalho direto, é possível verificar que , onde + e · representam as operações de soma e produto por número, forma um espaço vetorial. Vamos denotar este espaço por . Esta definição na nomenclatura tem duas razões. A primeira é que a dupla barra sobre nos lembra que temos um conjunto de classes de retas paralelas. A segunda, talvez mais importante, é que podemos interpretar elementos deste nosso novo espaço vetorial como operadores lineares que atuam sobre fornecendo como resposta valores da grandeza física distância, a partir de projeções. Os detalhes serão dados a seguir.
5.2. Interpretando como espaço de funcionais lineares sobre
A construção de 𝔻 como pares de pontos que se conectam por um transporte paralelo é bastante profunda, mas pouco prática. Neste caso, o que se faz é fixar um ponto , fixar certas coordenadas, digamos, cartesianas, de modo que qualquer ponto P de é representado de forma única pela ponta do vetor
com x, y e z mapeamentos diferenciáveis que levam pontos de em valores de distância e é uma base ortonormal de . A realização de é feita de forma análoga. Fixamos inicialmente um ponto O em de modo que qualquer ponto P de seja representado unicamente em coordenadas cartesianas por . Por construção, O é o que chamamos de origem do sistema de coordenadas. Desta maneira, temos um par de retas, a saber, os eixos coordenados x e y a partir dos quais construiremos . Fixado , denotaremos o elemento de que representa o par de retas paralelas x=0 e x=xP, que projeta no eixo x, isto é, . Da mesma maneira, na direção y, e escrevemos . A Figura 18 fornece uma representação geométrica da atuação de e sobre . Vamos enumerar uma lista de propriedades das projeções assim construídas.
1) A projeção é um operador linear que leva vetores em valores de distância
onde . A notação indica que temos um mapeamento, onde no lugar do ponto colocamos um vetor, obtendo como resposta uma distância.
A linearidade é obtida diretamente. Dados e com componentes ax, ay, bx e by e ,
Por construção, um valor de distância é não-negativo. Por outro lado, o conjunto de valores de distância é um espaço vetorial unidimensional sobre o corpo dos reais [1][1] G.F. Vasconcelos Júnior, R.P.S. Costa e B.F. Rizzuti, Rev. Bras. Ensino Fís. 40, e3304 (2018).. Assim, dado , , . Em particular, . Apesar de soar inconsistente, podemos interpretar uma distância negativa como, por exemplo, a coordenada cartesiana de um vetor que aponta no sentido negativo do eixo x.
2) A expressão (55) permite interpretar a multiplicação por escalar em de maneira consistente com o que fizemos antes,
As duas propriedades acima são naturalmente válidas também para . Passamos agora à terceira e última.
3) Nosso objetivo é agora interpretar geometricamente combinações lineares em . Dados α e β reais não-nulos, gostaríamos de dar significado para . Definimos, inicialmente, a soma de operadores lineares de forma usual e usamos (56),
Ora, (57) corresponde a uma expressão bem conhecida. Ela é o produto interno entre os vetores e . Lembremos que mesmo morando em espaços diferentes, tal produto é bem definido, veja o comentário no fim da Seção 4. Como vimos
Esta expressão corresponde à projeção do vetor na reta que suporta o vetor α, β. Em termos de projeções, (57) pode ser vista então como a combinação linear
onde r1 corresponde à reta x=0 e r2 à reta com equação . Já r3 e r4 são as retas com equações y=0 e , de modo que a soma indicada por (59) fornece o par de retas paralelas com uma delas passando pela origem e a outra tocando a ponta do vetor , sendo que a inclinação deste par, que chamaremos de é dado por . Logo, é projetado ortogonalmente à reta que suporta o vetor e o resultado corresponde à tal projeção multiplicado por um fator de escala, que é a norma de . Supondo o vetor unitário, representamos a interpretação dada acima na Figura 19.
Nossos argumentos anteriores mostram um resultado bastante geral: qualquer operador linear que leva vetores deslocamento em valores de distância pode ser representado unicamente por um produto interno com vetor fixo de forma uma base do espaço bidimensional , isto é, qualquer elemento deste espaço tem a forma . Em outras palavras, existe uma bijeção de com o conjunto de operadores lineares que levam vetores em valores de distância, denotado por , VL). Há duas maneiras para representarmos os elementos de , VL). A primeira, montamos a matriz de representação de , que é dada pela linha . Assim, representando pela coluna com entradas ax e ay, ficamos com
A segunda maneira é representar o elemento de por um produto interno
O leitor com conhecimento de análise funcional reconhece na expressão acima o Teorema de Representação de Riesz [11[11] D.P. Pombo Jr., Introdução à Análise Funcional (Editora da UFF, Niterói, 2009).,13[13] S. Floquet, A.A. Castro Júnior, M.A.S. Trindade e J.D.M. Vianna, Revista Brasileira de Ensino de Física 40, e3303 (2018).,14[14] N.A. Lemos, Convite à Física Matemática (Editora Livraria da Física, São Paulo, 2013).].
A generalização para três dimensões é direta. , , é base do espaço tridimensional . , e são pares de planos paralelos, cujo o primeiro elemento do par corresponde a yz, xz e xy respectivamente. O segundo elemento por sua vez toca a ponta do vetor sobre o qual as projeções atuam, de modo que
onde e α, β e γ são reais. Assim como antes, qualquer elemento de pode ser representado ou pela linha atuando de maneira linear sobre as componentes de um vetor de ou como o operador linear . Em ambos os casos, vetores são levados linearmente em valores de distância. Com isso, caracterizamos o isomorfismo
Assim como antes, é o vetor normal ao plano que projeta o vetor deslocamento. A representação desta interpretação é dada na Figura 20, onde também consideramos .
Completamos assim nossa construção sobre co-vetores. Na próxima subseção discutiremos um exemplo desta construção, mais usual do que se imagina. Antes contudo, façamos um breve comentário sobre notação. Uma vez escolhidos eixos coordenados x, y e z, já escolhemos um dos planos de projeção que compõem nossos co-vetores. Assim, no lugar de usar duas barras sobre , usaremos somente uma, . Pela mesma razão, cada co-vetor será representado por , para lembrar de projeção, sendo que representa uma base de .
5.3. Exemplo de co-vetores: vetor de onda
Toda construção feita anteriormente tem forte caráter geométrico e parece estar muito próxima de um matemático. Contudo, todos que estudam oscilações e ondas se deparam com ela. Consideremos assim, um exemplo ilustrativo. Em uma cuba com água, geramos ondas planas, que se deslocam com velocidade bem definida. Tal setup experimental pode ser montado com um kit da Cidepe cidepe e projetado na parede como mostram as imagens na Figura 21.
Projeção de ondas planas (arquivo dos autores) gerada por um kit da Cidepe (retirado do sítio [15][15] http://www.cidepe.com.br/index.php/br/, acessado em 18/09/2018.
http://www.cidepe.com.br/index.php/br/... ).
Podemos nos perguntar qual é a amplitude da onda em determinado ponto do espaço. A resposta é dada por um mapeamento que leva pontos do espaço (mapeados com um sistema de coordenadas) em determinado instante de tempo em valores de distância
é chamado de perfil (ou função) da onda. A onda gerada na Figura 21 é bem comportada e podemos usar um referencial privilegiado, que se desloca junto com a onda, digamos em uma direção . Neste referencial, a onda tem um perfil estático, logo,
onde A é a amplitude da onda. Consideremos agora outro referencial, , cujo eixo está na direção de . Neste caso, e têm coordenadas que se conectam com
onde . O fator multiplicativo k que aparece em (65) garante que é adimensional, uma vez que a função cosseno leva números em números.
Para dar um caráter mais geral, no sentido de descrever o perfil em um referencial mais geral, trocamos finalmente a descrição da onda para um referencial rotacionado em relação a por um ângulo onde Vx e Vy são as componentes da velocidade da onda vista por um observador em . Nesse caso,
Por fim, utilizando as trocas entre referenciais de para e de para , substituídas de volta em (65), encontramos o perfil da onda visto por um observador em ,
Representamos a troca de referenciais e a onda plana na Figura 22.
A parte espacial do argumento em (68) agora já nos é conhecida
O vetor é conhecido como vetor de onda e fornece a direção de propagação, além de carregar também informação sobre a periodicidade espacial da onda plana. Mais ainda, é um operador linear que leva vetores em números. Ele é perpendicular às retas paralelas definidas por uma frente de onda, tão visível na Figura 21 e consistente com nossa interpretação geométrica prévia para co-vetores. O leitor atento notaria que escolhemos uma direção para a propagação da onda no referencial sem componente z. A generalização contudo é direta. No lugar da expressão (67), teríamos uma matriz com ângulos de Euler, que conectaria e , de forma que tivesse componentes nas 3 direções, mantendo todo o resto da interpretação inalterada.
6. Tensores
Para caracterizar nossa próxima grandeza multidimensional, precisamos levar nossa abstração um pouco mais longe, sem perder contudo, contato com nossa prescrição operacional. Como vimos anteriormente com vetores duais, a própria grandeza física era um mapeamento. Assim como antes, a solução para construir grandezas físicas multidimensionais reside em um tipo de mapeamento bem específico: os lineares. Para motivar o uso de tais mapeamentos, suponha que você vá em uma loja de departamento para comprar corda. O vendedor prontamente tem uma máquina que transforma seu pedido em metros para reais. Este operador, que chamaremos de μ, tem como domínio o espaço de valores de distância VL e como contradomínio, nossa moeda.
O mapeamento μ tem algumas propriedades interessantes. A primeira é que comprar dois pedaços de tamanhos l1 e l2, fornece o mesmo valor que um pedaço de tamanho l1 e l2, isto é,
Afinal, não queremos nem levar prejuízo e tampouco dar prejuízo à loja (principalmente em tempos de crise), e estas situações ocorrem justamente quando, . Naturalmente, podemos multiplicar nosso tamanho da corda por e esperamos que o preço sofra a mesma contração () ou dilatação (). Assim,
Nosso μ tem a mesma estrutura que as densidades de massa tão conhecidas: elas são operadores lineares que levam tamanhos (comprimento, área e volume) em valores de massa de maneira linear, sendo o próprio mapeamento visto como a grandeza física. Com este exemplo em mãos, vamos estruturar certos mapeamentos lineares em conjuntos que contenham vetores e co-vetores. Começamos interpretando o próprio como o espaço de operadores lineares sobre . Dados e , definimos o seguinte operador linear,
De acordo com a Seção 5, nada mais é que a projeção do vetor . A linearidade é imediata,
Interpretando o próprio como um espaço de operadores lineares, definimos agora
Definiçã 9O produto tensorial de por , denotado pelo símbolo , é o conjunto formado por todas as aplicações bilineares de em VG. Os elementos de serão denotados e atuam no par da seguinte maneira,
A linearidade em cada entrada é consequência de (74).
Como o produto cartesiano de espaços vetoriais é um espaço vetorial, o conjunto de operadores lineares sobre tal espaço, , também tem estrutura de espaço vetorial. Com (75) podemos ainda verificar que tem as propriedades usuais de um produto, a saber
Por fim, nada mais é que a soma de dois operadores lineares atuando da maneira usual
Tal soma é desejável pois, como discutido anteriormente, são os próprios mapeamentos que serão nossas grandezas multidimensionais. Por fim, com podemos escrever uma base de . Ela é dada por com base de . Toda a formulação anterior pode ser repetida com a troca de por , isto é, um elemento de é um operador bilinear
Podemos ainda ir mais longe e definir um conjunto que chamaremos espaço de tensores do tipo com ,
Definição 10 é o conjunto onde cada elemento l de é dado por uma aplicação multilinear
VG é o espaço de valores de alguma grandeza unidimensional.
Ou seja, o espaço de tensores do tipo é o conjunto de todas as aplicações lineares que atuam no produto cartesiano . Lembrando que há uma dualidade entre e no sentido de que um pode ser visto como espaço de funcionais sobre o outro, então não é surpresa a ordem trocada em que e aparecem nas expressões da Definição 10 e no domínio dos operadores . Para r=s=0, definimos .
Como discutido, tem estrutura de espaço vetorial. Fixando uma base de e uma base de , podemos prontamente escrever uma base de :
onde cada corre valores 1, 2 e 3.
Fixando coeficientes distintos para montar combinações lineares com a base em (79), teremos diferentes exemplos de tensores de interesse prático, que passamos a detalhar.
Exemplo 1:
Consideremos um tensor de dado por
onde é o delta de Kroenecker, isto é, quando i=j e zero, caso contrário.
Aplicando a um par de vetores,
Um resultado bastante curioso, associado com este primeiro exemplo é o seguinte
Teorema 4 define um produto interno em e
A demonstração é deixada ao cargo do leitor interessado. Esta é uma boa tarefa experimental em que temos que desenhar , medir seus módulos, determinar ou o próprio cosseno diretamente. Notamos aqui a conexão entre o produto interno induzido por um tensor e o Teorema 3.
Exemplo 2:
Vamos agora restringir a um plano , como fizemos na Seção 4. Fixamos um sistema cartesiano de coordenadas e consideramos o seguinte elemento de ,
com . é o símbolo de Levi-Civita em duas dimensões [16][16] http://denebola.if.usp.br/~jbarata/Notas_de_aula/arquivos/nc-cap37.pdf, acessado em 19/09/2018.
http://denebola.if.usp.br/~jbarata/Notas...
, isto é, , . Assim, dados temos,
Esta expressão também já conhecida é correspondente à área do paralelogramo definida pelo par . Neste caso, o mapeamento divide o conjunto de pares de vetores em classes, tal que os pares geram paralelogramos com mesma área,
A representação de (83) pode ser vista na Figura 23.
Exemplo 3:
Voltamos agora a e tomamos dado por
onde é o símbolo de Levi-Civita em três dimensões [16][16] http://denebola.if.usp.br/~jbarata/Notas_de_aula/arquivos/nc-cap37.pdf, acessado em 19/09/2018.
http://denebola.if.usp.br/~jbarata/Notas...
. Atuando com na tripla de vetores deslocamento ficamos com,
O módulo, assim como no exemplo no Exemplo 2, foi usado para garantir que o resultado seja sempre não-negativo. A expressão (85) também é conhecida, sendo escrita em geral como o determinante,
O resultado fornece o volume do paralelepípedo definido pelos três vetores , e .
A grandeza física em questão corresponde ao volume. As classes de equivalência no domínio formado por trincas de vetores são definidas pela atuação de , da mesma maneira que no exemplo da área, apresentado acima (veja a Figura 23):
O valor da grandeza é obtido atuando com na trinca correspondente.
Para concluir essa seção, vamos fazer uma lista de comentários a partir da observação dos exemplos apresentados.
1) Fixado , o domínio do mapeamento corresponde ao próprio domínio da grandeza física. Por exemplo, área e volume são definidos para pares e trincas de vetores. Naturalmente tais grandezas podem ser estendidas para figuras geométricas mais gerais, sendo esta uma das motivações clássicas para o desenvolvimento do cálculo diferencial e integral.
2) As classes de equivalência em são definidas pelo valor que a grandeza assume, isto é, dados e em ,5 5 Usamos a notação condensada: p¯×r×a→×s:=(p¯1,...,p¯r,a→1,...,a→s)∈×r𝔻¯×s𝔻.
3) O espaço de valores da grandeza é obtido a partir da atuação de no domínio correspondente.
4) Os exemplos de e possuem um fator em comum: os coeficientes das combinações lineares dos vetores de base foram símbolos antissimétricos. É a partir daí que nasce a teoria das formas diferenciais. Neste contexto, gostaríamos de parafrasear o Prof. João Barata, nas suas “Notas de Física Matemática” [16][16] http://denebola.if.usp.br/~jbarata/Notas_de_aula/arquivos/nc-cap37.pdf, acessado em 19/09/2018.
http://denebola.if.usp.br/~jbarata/Notas...
,
“A teoria das formas diferenciais é tão elegante que parece ter sido achada, não inventada.”
Esperamos que nosso ponto de vista operacional possa reforçar tal afirmação.
5) Com o exemplo da grandeza volume, ficamos tentados a dividir nosso espaço em uma coleção de volumes de forma que cada corresponda a uma trinca de vetores indexada por , sendo tal coleção fechada por uniões enumeráveis. Seria razoável também que, caso dois destes volumes não se intersectem em uma região espacial, o volume da união dos dois seja igual à soma dos volumes. Para o leitor que já estudou um pouco de matemática avançada, estamos falando de construir tanto uma σ-álgebra quanto a noção de medida para nosso espaço físico [14][14] N.A. Lemos, Convite à Física Matemática (Editora Livraria da Física, São Paulo, 2013)..
6) O exemplo do mapeamento , junto com o Teorema 4, dota o espaço de vetores deslocamento com um produto interno, que, contrariamente ao costume nos livros de matemática,6 6 Em geral, o módulo (norma) é menos restritivo que o produto interno. Um espaço vetorial dotado de um produto interno é naturalmente dotado de um módulo mas não o inverso [11]. foi induzido pelo módulo
Ora, se temos módulos de vetores, definidos por compassos, nasce também a possibilidade de construir conjuntos abertos em a partir das esferas previamente definidas. Neste caso, dotamos e por sua vez com uma estrutura topológica. Planejamos discutir a formulação operacional da topologia do espaço futuramente.
7) O último comentário é técnico, mas imprescindível. Quando construímos o produto tensorial, não nos preocupamos em garantir, por exemplo, associatividade. Isto é, dados espaços vetoriais V1, V2 e V3, não discutimos se é possível escrever
onde significa isomorfismo. Para garantir o fato acima, embasando a definição de tensores, façamos uma breve digressão sobre o que os matemáticos chamam de propriedade de universalidade. Primeiramente, denotaremos por o corpo sobre qual cada espaço vetorial está definido. Nos contextos da física, tem-se geralmente ou . Em seguida, denotaremos por U e V espaços vetoriais de dimensão finita sobre o corpo . O chamado espaço dual de V, que aqui denotaremos por V*, é definido como sendo o conjunto formado pelos funcionais lineares de V munido das operações usuais de soma e multiplicação por escalar. É um resultado conhecido que de maneira não canônica, ou seja, o isomorfismo depende da escolha da base. Em contraste, tem-se que V é isomorfo ao seu bidual V** de maneira canônica. Após essa identificação, costuma-se definir o produto tensorial entre os espaços U e V por
Chamando de Hom (homomorfismo) o conjunto de operadores lineares entre espaços vetoriais, temos o seguinte
Teorema 5 (Propriedade de Universalidade). Sejam U, V e W-espaços vetoriais de dimensão finita. Para cada aplicação bilinear , existe uma uma única aplicação tal que
Portanto, tem-se o seguinte isomorfismo canônico,
O resultado acima mostra que o produto tensorial é único a menos de isomorfismo. Podemos ilustrar a propriedade de universalidade através do seguinte diagrama comutativo
onde . No caso de a propriedade universal nos diz que é isomorfo a . Neste momento devemos lembrar do começo da nossa discussão. O espaço vetorial V pode ser identificado com o seu bidual e isso nos permite concluir o seguinte resultado:
A este ponto, esperamos que o leitor esteja convencido da importância da propriedade universal do produto tensorial. Entretanto, esta se mostra extremamente útil no que diz respeito a outras propriedades do produto tensorial, algumas das quais mencionaremos agora. Gostaríamos que algumas propriedades rotineiras continuassem sendo válidas, por exemplo,
-
(Associatividade):
-
(Comutatividade):
-
(Distributividade): .
Em (iii), pedimos distributividade em relação à soma direta. Aqui é necessário uma grande atenção. Num produto tensorial do tipo não podemos dizer que em geral tem-se ! De fato, por exemplo,
Por outro lado,
que nos permite concluir que . A propriedade (ii) nos diz apenas que a propriedade de comutatividade existe para produtos tensoriais de espaços mas não para produto de vetores! Por fim, vale a pena destacar que a propriedade de associatividade significa
e isto nos permite definir . Indutivamente, concluímos que para espaços vetoriais tem-se
O trabalho “duro” relacionado à parte matemática termina aqui e agora podemos voltar ao nosso mundo das grandezas físicas. Neste ponto, já podemos concluir que a definição dada para está bem construída, graças à propriedade (95). Não há ambiguidade em definirmos o espaço dos tensores do tipo (r, s), como na Definição 10. Vale a pena destacar que o uso da propriedade de universalidade para definir o produto tensorial é preferida pela comunidade matemática, sobretudo aqueles que trabalham com Álgebra, e é pouco comum na Física. Grande parte dos textos em física costumam definir tensores como objetos que sob mudança de base se comportam de uma determinada forma, escondendo, com isso, uma formulação matemática limpa e conectada com o mundo físico.
7. Conclusão
Apresentamos ao longo desse trabalho a construção operacional de grandezas físicas multidimensionais, a saber, vetores, vetores duais e tensores. O trabalho foi recheado com introduções heurísticas para cada grandeza, culminando com a sua devida formalização matemática e operacional. Devido ao caráter geométrico de tais grandezas, ressignificamos também alguns tópicos de matemática, que agora passamos a listar.
-
Toda geometria foi reformulada. Para um operacionalista, é inadmissível tratar pontos, retas e planos como conceitos primitivos. Aqui eles foram definidos.
-
Os matemáticos resumem qualquer espaço vetorial real como . Muitos físicos, por sua vez, misturam estruturas distintas como espaço físico (), espaço de vetores deslocamento () e como se fossem a mesma coisa. Aqui deixamos clara tal distinção. Além disso, os físicos têm preferência por espaços que possuam uma estrutura de um espaço afim. Em contraste com , a estrutura afim pode ser naturalmente usada para descrever a homogeneidade e isotropia do espaço. De um certo ponto de vista o espaço possui uma estrutura “não física”, ou seja, ela quebra essas simetrias no sentido que admite um sistema de coordenadas “preferencial”.
-
Com o exemplo do tensor na Seção 6, fica claro como é possível induzir um produto interno a partir de uma norma. Essa direção é contrária ao que ocorre usualmente na matemática. Além disso, como o compasso gera naturalmente o conceito de bolas abertas, podemos tratar a estrutura topológica do espaço sob o ponto de vista operacional, como citado.
Como mencionamos anteriormente, a escola operacional pode ser um tanto quanto controversa. Esperamos, contudo, que esse artigo colabore para a conexão de estruturas matemáticas puras para a descrição do mundo que tocamos, apresentando a temática associada a construção de grandezas físicas.
Agradecimentos
Este trabalho foi financiado pelo Programa Institucional de Bolsas de Iniciação Científica - XXXI BIC/UFJF-2018/2019.
-
1
Para o leitor não familiar ao conceito de relação e classes de equivalência, sugerimos a referência [8][8] P.R. Halmos, Teoria ingênua dos conjuntos (Editora Ciência Moderna, Rio de Janeiro, 2001)., que é suficientemente formal. Para uma interpretação mais intuitiva, veja [1][1] G.F. Vasconcelos Júnior, R.P.S. Costa e B.F. Rizzuti, Rev. Bras. Ensino Fís. 40, e3304 (2018)..
-
2
Utilizamos um pedaço de fio dental como fio inextensível para representar o segmento de reta, preso a dois pesos plásticos.
-
3
Encontramos essa mesma estrutura na teoria da relatividade. O espaço-tempo de Minkowski possui a estrutura de um espaço afim quadridimensional [9][9] B. Lesche, Teoria da Relatividade (Editora Livraria da Física, São Paulo, 2005)..
-
4
Rotações são descritas pela teoria de representações do grupo SO(3). Os detalhes podem ser vistos em [10][10] A.N. Rocha, B.F. Rizzuti e D.S. Mota, Revista Brasileira de Ensino de Física 35, 4304 (2013)..
-
5
Usamos a notação condensada:
-
6
Em geral, o módulo (norma) é menos restritivo que o produto interno. Um espaço vetorial dotado de um produto interno é naturalmente dotado de um módulo mas não o inverso [11][11] D.P. Pombo Jr., Introdução à Análise Funcional (Editora da UFF, Niterói, 2009)..
Referências
-
[1]G.F. Vasconcelos Júnior, R.P.S. Costa e B.F. Rizzuti, Rev. Bras. Ensino Fís. 40, e3304 (2018).
-
[2]https://www.bipm.org/utils/common/documents/jcgm/JCGM_200_2012.pdf
» https://www.bipm.org/utils/common/documents/jcgm/JCGM_200_2012.pdf -
[3]P.W. Bridgman, Logic of modern physics (MacMillan, New York, 1927).
-
[4]<https://plato.stanford.edu/archives/fall2009/entries/operationalism/>, acessado em 10/19/2018.
» https://plato.stanford.edu/archives/fall2009/entries/operationalism/ -
[5]J.M. Jauch, Foundations of Quantum Mechanics (Addison-Wesley Publ., Reading, 1968).
-
[6]E.Q.F. Rezende e M.L.B. Queiroz, Geometria Euclidiana Plana e Construções Geométricas (Editora da Unicamp, Campinas, 2000).
-
[7]<http://www.fisica.ufjf.br/~lesche/>, acessado em 12/09/2018.
» http://www.fisica.ufjf.br/~lesche/ -
[8]P.R. Halmos, Teoria ingênua dos conjuntos (Editora Ciência Moderna, Rio de Janeiro, 2001).
-
[9]B. Lesche, Teoria da Relatividade (Editora Livraria da Física, São Paulo, 2005).
-
[10]A.N. Rocha, B.F. Rizzuti e D.S. Mota, Revista Brasileira de Ensino de Física 35, 4304 (2013).
-
[11]D.P. Pombo Jr., Introdução à Análise Funcional (Editora da UFF, Niterói, 2009).
-
[12]K.M. Hoffman and R. Kunze, Linear Algebra (Prentice-Hall, New Jersey, 1971).
-
[13]S. Floquet, A.A. Castro Júnior, M.A.S. Trindade e J.D.M. Vianna, Revista Brasileira de Ensino de Física 40, e3303 (2018).
-
[14]N.A. Lemos, Convite à Física Matemática (Editora Livraria da Física, São Paulo, 2013).
-
[15]http://www.cidepe.com.br/index.php/br/, acessado em 18/09/2018.
» http://www.cidepe.com.br/index.php/br/ -
[16]http://denebola.if.usp.br/~jbarata/Notas_de_aula/arquivos/nc-cap37.pdf, acessado em 19/09/2018.
» http://denebola.if.usp.br/~jbarata/Notas_de_aula/arquivos/nc-cap37.pdf
Datas de Publicação
-
Publicação nesta coleção
2019
Histórico
-
Recebido
23 Out 2018 -
Revisado
04 Jan 2019 -
Aceito
05 Jan 2019