Vídeo: Fórmula de Euler com Teoria Introdutória de Grupos

Grant Sanderson • 3Blue1Brown • Boclips

Fórmula de Euler com Teoria Introdutória de Grupos

23:00

Transcrição do vídeo

Dois anos atrás, quase no dia de hoje, eu publiquei o primeiro vídeo neste canal sobre a fórmula de Euler, 𝑒 elevado a 𝜋𝑖 que é igual a menos um. Como um tipo de aniversário, quero revisitar a mesma ideia. Por um lado, eu sempre quis melhorar a apresentação. Mas eu não reformularia um tópico antigo se não houvesse algo novo para ensinar. Veja bem, a ideia subjacente a esse vídeo era pegar certos conceitos de um campo da matemática chamado teoria dos grupos e mostrar como eles dão à fórmula de Euler uma interpretação muito mais rica do que uma associação espelhada entre números. E, há dois anos, pensei que poderia ser divertido usar essas ideias sem fazer referência à teoria dos grupos ou a qualquer um dos termos técnicos nela contidos. Mas acabei percebendo que vocês gostam de aprender matemática, mesmo que demore algum tempo.

Então, aqui, dois anos depois, vamos, você e eu, fazer uma introdução aos conceitos básicos da teoria dos grupos, construindo como a fórmula de Euler ganha vida sob essa luz. Se tudo o que você deseja é uma explicação rápida da fórmula de Euler e se você está confortável com o cálculo vetorial. Vou seguir em frente e apresentar uma explicação particularmente curta na tela, na qual você pode pausar e refletir. Se não faz sentido, não se preocupe. Não é necessário para onde estamos indo. A razão pela qual eu quero publicar este vídeo de teoria de grupos não é porque eu acho que é uma explicação melhor. Caramba, nem é uma prova completa. É realmente uma intuição. É porque ele tem a chance de mudar a forma como você pensa sobre números e como você pensa sobre álgebra.

Veja bem, a teoria dos grupos trata de estudar a natureza da simetria. Por exemplo, um quadrado é uma forma muito simétrica. Mas o que realmente queremos dizer com isso? Uma maneira de responder é perguntar: quais são todas as ações que você pode executar no quadrado que o deixam indistinguível de como começou? Por exemplo, você pode girá-lo 90 graus no sentido anti-horário. E parece totalmente o mesmo de como começou. Você também pode girar em torno dessa linha vertical e, novamente, ainda parece idêntico. De fato, a coisa por trás dessa simetria perfeita é que é difícil acompanhar quais ações foram realmente tomadas. Então, para ajudar, vou seguir em frente e colar uma imagem assimétrica aqui. E chamamos cada uma dessas ações de simetria do quadrado. E todas as simetrias juntas formam um grupo de simetrias ou apenas um grupo, para abreviar.

Este grupo em particular consiste em oito simetrias. Há a ação de não fazer nada, que é o que contamos, além de três rotações diferentes. E então, há quatro maneiras de virar o quadrado. E, de fato, esse grupo de oito simetrias tem um nome especial. Chama-se grupo diédrico de ordem oito. E esse é um exemplo de um grupo finito, consistindo em apenas oito ações. Mas muitos outros grupos consistem em infinitas ações. Pense em todas as rotações possíveis, por exemplo, de qualquer ângulo. Talvez você pense nisso como um grupo que atua em um círculo, capturando todas as simetrias desse círculo que não envolvem girá-lo. Aqui, toda ação desse grupo de rotação está em algum lugar no infinito contínuo entre zero e dois 𝜋 radianos.

Um aspecto interessante dessas ações é que podemos associar cada uma delas com um único ponto no próprio círculo, a coisa que está sendo executada. Você começa escolhendo algum ponto arbitrário, talvez o da direita aqui. Então toda simetria do círculo, toda rotação possível, leva esse ponto marcado a algum ponto único do círculo. E a ação em si é completamente determinada por onde ela leva esse ponto. Agora, isso nem sempre acontece com grupos. Mas é bom quando isso acontece, porque nos dá uma maneira de rotular as ações em si que, de outra forma, podem ser bastante difíceis de se pensar. O estudo de grupos não é apenas sobre o que é um conjunto específico de simetrias. Sejam as oito simetrias de um quadrado, o contínuo infinito de simetrias do círculo ou qualquer outra coisa com a qual você sonha. O verdadeiro coração e alma do estudo é saber como essas simetrias se tocam.

No quadrado, se eu girar 90 graus e girar em torno do eixo vertical, o efeito geral é o mesmo que se eu tivesse acabado de pular essa linha diagonal. Então, em certo sentido, essa rotação mais o giro vertical é igual ao giro diagonal. No círculo, se eu girar 270 graus e segui-lo com uma rotação de 120 graus, o efeito geral é o mesmo que se eu tivesse acabado de girar 30 graus para começar. Portanto, neste grupo de círculos, uma rotação de 270 graus mais uma rotação de 120 graus é igual a uma rotação de 30 graus. E, em geral, com qualquer grupo, qualquer coleção desses tipos de ações simétricas, existe um tipo de aritmética em que você sempre pode executar duas ações e adicioná-las para obter uma terceira, aplicando uma após a outra. Ou talvez você pense nisso como ações multiplicadoras. Isso realmente não importa. O ponto é que há uma maneira de combinar as duas ações para obter outra.

Essa coleção de relações subjacentes, todas as associações entre pares de ações e a ação única que equivale a aplicar uma após a outra, é o que realmente faz de um grupo um grupo. É realmente louco o quanto da matemática moderna está enraizada, bem, isso é, para entender como uma coleção de ações é organizada por essa relação. Essa relação entre pares de ações e a ação única que você obtém compondo-as. Grupos são extremamente gerais. Muitas ideias diferentes podem ser enquadradas em termos de simetrias e simetrias de composição. E talvez o exemplo mais familiar seja números, apenas números comuns. E, na verdade, existem duas maneiras distintas de pensar nos números como um grupo. Uma onde as ações de composição parecerão uma adição. E outra onde as ações de composição parecerão multiplicação.

É um pouco estranho, porque geralmente não pensamos em números como ações. Geralmente pensamos neles como contando coisas. Mas deixe-me mostrar o que eu quero dizer. Pense em todas as maneiras pelas quais você pode deslizar uma reta numérica para a esquerda ou direita. Essa coleção de todas as ações deslizantes é um grupo, o que você pode pensar como o grupo de simetrias em uma reta infinita. E da mesma maneira que as ações do grupo do círculo podem ser associadas a pontos individuais nesse círculo. Esse é outro desses grupos especiais em que podemos associar cada ação a um ponto único sobre o que realmente está agindo. Você apenas segue onde termina o ponto que começa em zero.

Por exemplo, o número três está associado à ação de deslizar para a direita em três unidades. O número menos dois está associado à ação de deslizar duas unidades para a esquerda. Desde que essa é a ação única que arrasta o ponto em zero até o ponto em menos dois. E o número zero em si? Bem, isso está associado à ação de não fazer nada. Esse grupo de ações deslizantes, cada uma delas associada a um número real único, possui um nome especial. O grupo aditivo de números reais. A razão pela qual a palavra aditivo está presente é devido à aparência da operação de grupo de aplicar uma ação seguida por outra. Se eu deslizar para a direita em três unidades e, em seguida, deslizar para a direita em duas unidades, o efeito geral será o mesmo que se eu deslizasse para a direita em três mais dois ou cinco unidades. Simples o suficiente, estamos apenas adicionando as distâncias de cada deslize.

Mas o ponto aqui é que isso fornece uma visão alternativa para o que os números são. Eles são um exemplo em uma categoria muito maior de grupos, grupos de simetrias atuando em algum objeto. E a aritmética da adição de números é apenas um exemplo da aritmética que qualquer grupo de simetrias possui. Também poderíamos estender essa ideia, perguntando sobre as ações deslizantes no plano complexo. Os números introduzidos recentemente — 𝑖, dois 𝑖, três 𝑖 e assim por diante — nesta linha vertical seriam todos associados a movimentos de deslizamento verticais. Como essas são as ações que arrastam o ponto em zero até o ponto relevante nessa linha vertical. O ponto aqui em três mais dois 𝑖 estaria associado à ação de deslizar o avião de tal maneira que arraste zero para cima e para a direita até esse ponto.

E deve fazer sentido porque chamamos isso de três mais dois 𝑖. Essa ação de deslizamento diagonal é igual ao primeiro deslizamento de três para a direita e, em seguida, segue-o com um deslize que corresponde a dois 𝑖, que são duas unidades na vertical. Da mesma forma, vamos ter uma ideia de como a composição de duas dessas ações geralmente se decompõe. Considere esta ação deslize-por-três-mais-dois-𝑖, bem como a ação deslize-por-um-menos-três-𝑖 e imagine aplicar uma delas logo após a outra. O efeito geral, a composição dessas duas ações deslizantes, é a mesma que se tivéssemos deslizado três mais um para a direita e dois menos três na vertical. Observe como isso envolve adicionar cada componente. Portanto, compor ações deslizantes é outra maneira de pensar sobre o que realmente significa adicionar números complexos.

Essa coleção de todas as ações deslizantes no plano complexo 2D recebe o nome de grupo aditivo de números complexos. Novamente, o resultado aqui é que números, mesmo números complexos, são apenas um exemplo de um grupo. E a ideia de adição pode ser pensada em termos de aplicação sucessiva de ações. Mas os números, esquizofrênicos como são, também levam uma vida completamente diferente como um tipo de grupo completamente diferente. Considere um novo grupo de ações na reta numérica, todas as maneiras pelas quais você pode esticá-la ou esmagá-la, mantendo tudo uniformemente espaçado e mantendo esse número zero fixo. Mais uma vez, esse grupo de ações possui essa propriedade agradável, na qual podemos associar cada ação no grupo a um ponto específico sobre o que está agindo.

Nesse caso, siga para onde vai o ponto que começa no número um. Há uma e apenas uma ação de alongamento que aproxima esse ponto de um a três, por exemplo; ou seja, esticar por um fator de três. Da mesma forma, há uma e apenas uma ação que leva esse ponto em um ao ponto um meio; ou seja, esmagar por um fator de um meio. Eu gosto de imaginar usando uma mão para fixar o número zero no lugar e usando a outra para arrastar o número um para onde eu quiser. Enquanto o resto da reta numérica apenas faz o que for preciso para ficar espaçada uniformemente. Dessa forma, cada número positivo é associado a uma ação única de alongamento ou esmagamento.

Agora, observe como são as ações de composição neste grupo. Se eu aplicar a ação alongar por três e segui-la com a ação alongar por dois. O efeito geral é o mesmo que se eu tivesse acabado de aplicar a ação alongar por seis, o produto dos dois números originais. E, em geral, aplicar uma dessas ações seguida por outra corresponde à multiplicação dos números aos quais eles estão associados. De fato, o nome desse grupo é o grupo multiplicativo de números reais positivos. Portanto, a multiplicação, a multiplicação familiar comum, é mais um exemplo dessa ideia geral e de longo alcance dos grupos e da aritmética dentro dos grupos. E também podemos estender essa ideia ao plano complexo. Mais uma vez, gosto de fixar o zero no lugar com uma mão e arrastar o ponto em um, mantendo todo o resto uniformemente espaçado enquanto o faço.

Mas desta vez, ao arrastarmos o número um para lugares que estão fora da reta numérica real, vemos que nosso grupo inclui não apenas ações de alongamento e esmagamento. Mas ações que também têm algum componente rotacional. O exemplo por excelência disso é a ação associada a esse ponto em 𝑖, uma unidade acima de zero. O que é necessário para arrastar o ponto de um para aquele ponto de 𝑖 é uma rotação de 90 graus. Portanto, a ação multiplicativa associada a 𝑖 é uma rotação de 90 graus. E observe que, se eu aplicar essa ação duas vezes seguidas, o efeito geral é girar o plano 180 graus. E essa é a ação única que leva o ponto um ao menos um. Portanto, nesse sentido, 𝑖 vezes 𝑖 é igual a menos um. Ou seja, a ação associada a 𝑖 seguida pela mesma ação associada a 𝑖 tem o mesmo efeito geral que a ação associada à menos um.

Como outro exemplo, aqui está a ação associada a dois mais 𝑖, arrastando um até esse ponto. Se você quiser, pode pensar nisso como uma rotação de 30 graus, seguida por um alongamento de um fator de raiz quadrada de cinco. E, em geral, todas essas ações multiplicativas são uma combinação de um alongamento ou um esmagamento, uma ação associada a algum ponto na reta numérica real positiva. Seguido de uma rotação pura, na qual rotações puras estão associadas a pontos desse círculo, aquele com raio um. Isso é muito parecido com o modo como as ações de deslizamento no grupo aditivo podem ser divididas como um deslize horizontal puro, representado com pontos na reta numérica real, além de um deslize puramente vertical, representado com pontos nessa reta vertical.

Essa comparação de como as ações de cada grupo são divididas será importante, então lembre-se disso. Em cada uma, você pode dividir qualquer ação como uma ação numérica puramente real, seguida por algo específico para números complexos. Sejam deslizes verticais para o grupo aditivo ou rotações puras para o grupo multiplicativo. Essa é a nossa rápida introdução aos grupos.

Um grupo é uma coleção de ações simétricas em algum objeto matemático, seja quadrado, um círculo, a reta numérica real ou qualquer outra coisa que você sonhe. E todo grupo tem uma certa aritmética, na qual você pode combinar duas ações aplicando uma após a outra e perguntando que outra ação do grupo produz o mesmo efeito geral. Os números, reais e complexos, podem ser pensados ​​de duas maneiras diferentes como um grupo. Eles podem agir deslizando, nesse caso, a aritmética do grupo parece uma adição comum. Ou eles podem agir com essas ações de alongamento, esmagamento e rotação. Nesse caso, a aritmética do grupo se parece com a multiplicação.

E com isso, vamos falar sobre exponenciação. Nossa primeira introdução aos expoentes é pensar neles em termos de multiplicação repetida, certo? Quero dizer, o significado de algo como dois ao cubo é tomar dois vezes dois vezes dois. E o significado de algo como dois elevado a cinco é dois vezes dois vezes dois vezes dois vezes dois. E uma consequência disso, algo que você pode chamar de propriedade exponencial, é que, se eu adicionar dois números no expoente, digamos dois elevado a três mais cinco, isso pode ser dividido como o produto de dois elevado a três vez dois elevado a cinco. E quando você expande as coisas, isso parece bastante razoável, certo? Mas expressões como dois elevado a um meio ou dois elevado a menos um e, muito menos, dois elevado a 𝑖 realmente não fazem sentido quando você pensa nos expoentes como multiplicação repetida. Quero dizer, o que significa multiplicar dois por ele mesmos um meio da vez ou menos um da vez?

Portanto, fazemos algo muito comum em toda a matemática e vamos além da definição original, que só faz sentido para contar números, para algo que se aplica a todos os tipos de números. Mas não fazemos isso aleatoriamente. Se você pensar em como os expoentes fracionários e negativos são definidos, é sempre motivado tentando garantir que essa propriedade, dois elevado a 𝑥 mais 𝑦 é igual a dois elevado a 𝑥 vezes dois elevado a 𝑦, ainda seja válida. Para ver o que isso pode significar para expoentes complexos, pense no que essa propriedade está dizendo a partir de uma luz da teoria dos grupos. Está dizendo que adicionar as entradas corresponde à multiplicação das saídas. E isso torna muito tentador pensar nas entradas não apenas como números, mas como membros do grupo aditivo de ações deslizantes. E pensar nos resultados não apenas como números, mas como membros desse grupo multiplicativo de ações de alongamento e esmagamento.

Agora, é estranho pensar em funções que executam um tipo de ação e emitem outro tipo de ação. Mas isso é algo que realmente aparece o tempo todo ao longo da teoria dos grupos. E essa propriedade exponencial é muito importante para essa associação entre grupos. Garante que, se eu compor duas ações de deslizamento, talvez um deslize por menos um e depois um deslize por dois, isso corresponderá à composição das duas ações de saída. Nesse caso, esmague de dois para menos um e depois estique por dois ao quadrado. Os matemáticos descreveriam uma propriedade como essa dizendo que a função preserva a estrutura do grupo no sentido de que a aritmética dentro de um grupo é o que lhe dá sua estrutura. E uma função como essa exponencial joga bem com essa aritmética. Funções entre grupos que preservam a aritmética como essa são realmente importantes em toda a teoria dos grupos. O suficiente para ganhar um bom nome, homomorfismos.

Agora pense no que tudo isso significa para associar o grupo aditivo no plano complexo ao grupo multiplicativo no plano complexo. Já sabemos que quando você substitui um número real a dois elevado a 𝑥, obtém um número real, um número real positivo de fato. Portanto, essa função exponencial pega qualquer deslize puramente horizontal e o transforma em pura ação de alongamento ou esmagamento. Então, você não concorda que seria razoável para essa nova dimensão de ações aditivas, deslizar para cima e para baixo, transformar diretamente para essa nova dimensão de ações multiplicativas, rotações puras? Essas ações de deslizamento vertical correspondem a pontos nesse eixo vertical. E aquelas ações multiplicativas rotativas correspondem a pontos no círculo com raio um.

Então, o que significaria para uma função exponencial, como dois elevado a 𝑥, transformar deslizes puramente verticais em rotações puras seria que números complexos nessa linha vertical, múltiplos de 𝑖, sejam transformados para números complexos nesse círculo unitário. De fato, para a função dois elevado a 𝑥, a entrada 𝑖, um deslize vertical de uma unidade, é transformada para uma rotação de cerca de 0.693 radianos. Ou seja, uma volta ao redor do círculo unitário que cobre 0.693 unidades de distância. Com uma função exponencial diferente, digamos cinco elevado a 𝑥, essa entrada 𝑖, um deslize vertical de uma unidade, seria transformada para uma rotação de cerca de 1.609 radianos. Uma volta ao redor do círculo unitário cobrindo exatamente 1,609 unidades de distância. O que torna o número 𝑒 especial é que, quando o exponencial 𝑒 elevado a 𝑥 transforma os deslizes verticais para rotações, um deslize vertical de uma unidade, correspondente a 𝑖, transforma para uma rotação de exatamente um radiano. Uma volta ao redor do círculo unitário cobrindo uma distância de exatamente um.

E assim, um deslize vertical de duas unidades seria transformado para uma rotação de dois radianos. Um deslize de três unidades para cima corresponde a uma rotação de três radianos. E um deslize vertical de exatamente 𝜋 unidades acima correspondente à entrada, 𝜋 vezes 𝑖, transforma para uma rotação de exatamente 𝜋 radianos, na metade do círculo. E essa é a ação multiplicativa associada ao número negativo. Agora você pode perguntar, por quê 𝑒? Por que não outra base? Bem, a resposta completa reside no cálculo. Quero dizer, esse é o local de nascimento do 𝑒 e onde ele é definido. Mais uma vez, deixarei outra explicação na tela se você deseja uma descrição mais completa. E se você estiver confortável com o cálculo. Mas em um nível alto, direi que isso tem a ver com o fato de que todas as funções exponenciais são proporcionais à sua própria derivada. Mas 𝑒 elevado a 𝑥 sozinho é aquele que é realmente igual à sua própria derivada.

O ponto importante que quero destacar aqui é que, se você vê as coisas das lentes da teoria dos grupos, pensar nas entradas para uma função exponencial como ações deslizantes e pensar nas saídas como ações de alongamento e rotação. Ele fornece uma maneira muito vívida de ler o que uma fórmula como esta está dizendo. Ao ler, você pode pensar que as exponenciais, em geral, transformam deslizes puramente verticais, as ações aditivas que são perpendiculares à reta numérica real, em rotações puras. Que são, de certa forma, perpendiculares às ações reais de alongamento de números. Além disso, 𝑒 elevado a 𝑥 faz isso de uma maneira muito especial que garante que um deslize vertical de 𝜋 unidades corresponda a uma rotação de exatamente 𝜋 radianos. A rotação de 180 graus associada ao número menos um.

Para finalizar as coisas aqui, quero mostrar uma maneira de pensar sobre essa função 𝑒 elevado a 𝑥 como uma transformação do plano complexo. Eu gosto de imaginar primeiro enrolando o plano em um cilindro, envolvendo todas essas linhas verticais em círculos. E então pegando aquele cilindro e meio que jogando-o no plano em torno de zero. Onde cada um desses círculos concêntricos, espaçados exponencialmente, corresponde ao que começou como retas verticais.

A Nagwa usa cookies para garantir que você tenha a melhor experiência em nosso site. Saiba mais sobre nossa Política de privacidade.