Loading AI tools
Da Wikipédia, a enciclopédia livre
Em matemática, a seqüencia de hiperoperações é uma seqüencia de operações binárias que iniciam com a adição, multiplicação e exponenciação, chamadas hiperoperações[1][2] em geral. O n-ésimo membro desta seqüencia foi nomeado por Reuben Goodstein seguindo o prefixo grego de n acrescido do sufixo -ção (como em tetração, pentação) [3] e pode ser escrito usando setas na Notação de Knuth.
Cada hiperoperação é definida recursivamente em termos da anterior, como é o caso com a notação de seta para cima de Knuth. A parte da definição que faz isso é a regra recursiva da função de Ackermann:
que é comum a muitas variantes de hiperoperações (ver abaixo).
A seqüencia de hiperoperação é uma seqüência de operações binárias em , indexadas por , que começa com a adição (n = 1), multiplicação (n = 2) e exponenciação . Os parâmetros da hierarquia de hiperoperações saõ referenciados por seus termos exponenciais análogos[4]; assim a é a base, b é o expoente (ou hiperexpoente[5]), e n é o rank (ou grade[6]).
Usando a notação de seta para cima de Knuth nós podemos definir hiperoperações como
Pode ser visto como uma resposta à pergunta "Qual é o próximo" na sequência: adição, multiplicação, exponenciação, e assim por diante. Notando que
Isso produz uma relação natural entre as hiperoperações, e permite que operações maiores sejam definidas, que produzem um grande número de entradas de pequeno porte, como explicado no artigo separado sobre tetração.
Em termos comuns, hiperoperações são maneiras de combinar os números que aumentam em crescimento com base na iteração da hiperoperação anterior. Os conceitos de adição, multiplicação e exponenciação são todos hiperoperações; o operador de adição especifica o número de vezes que um deve ser adicionado a si mesmo para produzir um valor final, a multiplicação especifica o número de vezes que um número deve ser adicionado a si mesmo, e exponenciação se refere ao número de vezes que um número deve ser multiplicado por si mesmo.
Esta é uma lista dos sete primeiras hiperoperações.
n | Operação | Definição | Nomes | Domínio |
---|---|---|---|---|
0 | hiper0, incremento, sucessor, zeração | b arbitrário | ||
1 | hiper1, adição | arbitrário | ||
2 | hiper2, multiplicação | arbitrário | ||
3 | hiper3, exponenciação | a > 0, b real, ou a não-zero, b um inteiro, com algumas extensões multivaloradas para números complexos | ||
4 | hiper4, tetração | a > 0, b um inteiro ≥ −1 (com algumas extensões propostas) | ||
5 | or | hiper5, pentação | a e b inteiros, a > 0, b ≥ 0 | |
6 | hiper6, hexação | a e b inteiros, a > 0, b ≥ 0 |
Uma das primeiras discussões sobre hiperoperações foi a de Albert Bennett[6] em 1914, que desenvolveu parte da teoria de hiperoperações comutativas(ver abaixo). Cerca de 12 anos mais tarde, Wilhelm Ackermann, definiu a função [7] que lembra de alguma forma a seqüência de hiperoperações. A função de Ackermann original, com três argumentos usa a mesma regra de recursão, mas ela difere da moderna hiperoperação em pelo menos duas maneiras. Em primeiro lugar, atribuí adição para , a multiplicação para e exponenciação para . Em segundo lugar, as condições iniciais do indicam que , produz valores muito diferentes de hiperoperações sobre exponenciação[8][9][10].
Em 1947, Reuben Goodstein[3] definiu a seqüencia de hiperoperaçõescomo é conhecida hoje, onde ele usou a notação para o que seria escrito como na notação de seta para cima de Knuth. No seu artigo de 1947, Goodstein introduziu os nomes "tetração", "pentação", "hexação", etc., para os sucessivos operadores além da exponenciação.
Esta é uma lista de notações que foram utilizados para hiperoperações.
Nome | Notação | Comentário |
---|---|---|
Notação padrão de seta de Knuth | Usada por Knuth,[11] e encontrado em vários livros de referência.[12][13] | |
Notação de Goodstein | Usada por Reuben Goodstein.[3] | |
Função original de Ackermann | Esta não é o mesmo que hiperoperações. | |
Função moderna de Ackermann | Esta é o mesmo que hiperoperações para a base 2. | |
Notação de Nambiar | Usada por Nambiar[14] | |
Notação de Caixa | Usada por Rubtsov e Romerio.[2][4] | |
Notação de Sobrescrito | Usada por Robert Munafo.[9] | |
Subscript notation | Usada para hyperoperações inferiores em Robert Munafo.[9] | |
Notação de colchetes | a[n]b | Usado em muitos fóruns online; conveniente para ASCII. |
Para condições iniciais diferentes ou regras de recursão diferentes, operações muito diferentes podem ocorrer. Alguns matemáticos referem-se a todas as variantes, como exemplos de hiperoperações.
No sentido geral, uma hierarquia de hiperoperações é uma família de operações binárias em , indexada por um conjunto , tal que existe onde
Além disso, se a última condição é relaxada (ou seja, não há exponenciação), então nós também podemos incluir as hiperoperações comutativas, descritas abaixo. Embora se possa listar cada hiperoperação explicitamente, este não é geralmente o caso. A maioria das variantes incluem apenas as funções sucessoras (ou adição) em sua definição e redefinem a multiplicação (e além), com base em uma regra de recursão única que se aplica a todas as categorias. Uma vez que esta é parte da definição da hierarquia, e não uma propriedade da hierarquia em si, é difícil definir formalmente.
Existem muitas possibilidades para hiperoperações que são diferentes da versão de Goodstein. Por meio de diferentes condições iniciais para ou , as iterações destas condições podem produzir diferentes hiperoperações acima da exponenciação, enquanto ainda correspondendo à adição e multiplicação. A definição moderna de hiperoperações inclui para todo , considerando que as variantes abaixo incluem , e .
Um problema em aberto na pesquisa sobre hiperoperações é saber se a hierarquia de hiperoperações pode ser generalizada para , e se forma um quasigrupo (com domínios restritos).
Em 1928, Wilhelm Ackermann definiu uma função 3-argumentos que evoluiu gradualmente para uma função de dois argumentos, conhecida como a função de Ackermann. A função de Ackermann original era menos semelhante as modernas hiperoperações, porque suas condições iniciais começavam com para todo . Ele também atribuiu adição a , multiplicação a e exponenciação a , assim as condições iniciais produzem operações muito diferentes para Tetração e além.
Outra condição inicial que tem sido utilizada é (onde a base é constante ), devido à Rózsa Péter, o que não forma uma hierarquia de hiperoperações.
Em 1984, C. W. Clenshaw e F. W. J. Olver iniciaram a discussão do uso de hiperoperações para evitar overflow em operações de ponto-flutuante em computadores[15]. Desde então, muitos outros autores[16][17][18] têm um interesse renovado na aplicação de hiperoperações para representação de ponto-flutuante.
Enquanto discutindo tetração, Clenshaw et al. assumiram a condição inicial , o que faz ainda outra hierarquia de hiperoperações. Assim como na variante anterior, a quarta operação é muito semelhante a tetração, mas deslocada por um.
Hiperoperações comutativas foram considerados por Albert Bennett tão cedo quanto 1914,[6] que é possivelmente a mais antiga observação sobre qualquer seqüência de hiperoperações. Hiperoperações comutativas são definidas pela regra de recursão
que é simétrica em a e b, significando que todas as hiperoperações são comutativas. Esta seqüência não contém exponenciação, e assim não formam uma hierarquia de hiperoperações.
n | Operação | Comentário |
---|---|---|
0 | ||
1 | ||
2 | Isto é devido as propriedades do logaritmo. | |
3 | Uma forma comutativa de exponenciação. | |
4 | Não deve ser confundida com a tetração. |
Hiperoperações balanceadas, em primeiro lugar consideradas por Clément Frappier, em 1991,[19] são baseadas na iteração da função , e são, portanto, relacionados com a notação de Steinhaus-Moser. A regra de recursão usada em hiperoperações balanceadas é
que exige contínuas iterações, mesmo para o inteiro b.
n | Operação | Comentário |
---|---|---|
0 | A categoria 0 não existe.[nb 1] | |
1 | ||
2 | ||
3 | Esta é exponenciação. | |
4 | Não deve ser confundida com a tetração. |
Uma alternativa para estas hiperoperações é obtida pela avaliação da esquerda para a direita. Uma vez que
define (com ° ou subscrito) com , , and para
Mas este sofre uma espécie de colapso, falhando em formar uma "torre de potências" tradicionalmente esperada de hyper4:
Como pode ser tão diferente de para n>3? Isto se deve a uma simetria chamada associatividade que está definida dentro do + e do × (ver corpo) mas que falta no ^. É mais apto dizer que os dois (n)s foram decretados ser o mesmo para n<4. (Por outro lado, pode-se objetar que as operações de corpo foram definidas para imitar o que tinha sido "observado na natureza" e perguntar por que a "natureza" de repente, cria objeção para que a simetria...)
Os outros graus não colapsam desta forma, e por isso esta família tem algum interesse próprio em si como hiperoperações baixas (talvez menores ou inferiores). Com hiperfunções superiores a três, é também baixo no sentido de que as respostas que você recebe são, na verdade, muitas vezes muito mais baixas do que as respostas que você obtém quando se usa o método padrão.
n | Operação | Comentário |
---|---|---|
0 | incremento, sucessor, zeração | |
1 | ||
2 | ||
3 | Esta é a exponenciação. | |
4 | Não deve ser confundida com a tetração. | |
5 | Não deve ser confundida com a pentação. |
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.