On noncontinuous bisymmetric strictly monotone operations

Este artigo constrói operações binárias estritamente crescentes e bisimétricas em intervalos reais que não são contínuas, demonstrando que a continuidade pode falhar para operações não reflexivas do tipo média quasi-aritmética generalizada, enquanto prova que a reflexividade em dois pontos garante a continuidade e a identidade com uma média quasi-aritmética no segmento entre eles.

O essencial

Imagine que você tem uma "máquina de misturar" que pega dois números e devolve um terceiro. Na matemática, chamamos isso de uma operação binária.

Por muito tempo, os matemáticos acreditavam que, se essa máquina tivesse certas propriedades "bonitas" (como ser simétrica, aumentar sempre que você aumenta os números de entrada e seguir uma regra de equilíbrio chamada bissimetria), ela tinha que ser suave e contínua. Ou seja, se você mudasse os números de entrada um pouquinho, o resultado mudaria apenas um pouquinho, sem saltos bruscos.

O artigo do Dr. Gergely Kiss desafia essa crença. Ele diz: "Nem sempre!"

Aqui está a explicação do que ele fez, usando analogias do dia a dia:

1. A Máquina Quebrada (O Contraexemplo)

Imagine que você está tentando construir uma máquina que mistura ingredientes para fazer um bolo.

• A regra antiga: Se a máquina mistura bem (bissimetria) e o bolo fica sempre melhor se você colocar mais açúcar (monotonicidade estrita), então a receita deve ser perfeitamente suave.
• A descoberta do autor: O autor construiu uma máquina que segue todas as regras de mistura e aumenta o sabor, mas que é descontínua.

A Analogia da Escada de Diabo (Cantor):
Para criar essa máquina "quebrada", o autor usou um truque matemático chamado "conjunto de Cantor". Imagine uma escada onde, em vez de degraus sólidos, você tem apenas pontos soltos no ar, como se a escada tivesse sido esculpida em um fractal (uma forma geométrica que se repete infinitamente).

• Ele criou uma função (uma espécie de tradutor) que pega números normais e os transforma em pontos soltos nesse fractal.
• Quando você tenta misturar dois números nessa máquina, o resultado "salta" por esses pontos soltos.
• O resultado: Se você tentar medir a saída da máquina em qualquer ponto, ela vai "pular" de um valor para outro sem passar pelo meio. É como tentar subir uma escada onde os degraus estão flutuando no espaço: você não consegue andar suavemente; você tem que pular.

2. Por que isso é importante?

Na matemática, a continuidade é uma propriedade muito valiosa. Ela permite usar ferramentas poderosas para resolver problemas.

• Antes deste trabalho, os matemáticos pensavam que a "bissimetria" (a regra de equilíbrio) era tão forte que, sozinha, forçava a máquina a ser contínua.
• O autor mostrou que, sem uma regra extra chamada "reflexividade" (que basicamente significa: se você misturar o mesmo número com ele mesmo, o resultado é ele mesmo), a máquina pode ser selvagem e descontínua.

A Metáfora do Espelho:

• Com Reflexividade: É como se a máquina tivesse um espelho. Se você olhar para ela (colocar $x$ e $x$), ela devolve você mesmo ($x$). O autor mostrou que se a máquina tem esse "espelho" em dois pontos diferentes, ela é obrigada a se comportar bem e ser contínua entre esses pontos.
• Sem Reflexividade: É como se a máquina não tivesse espelho. Ela pode seguir as regras de mistura, mas pode se comportar de forma caótica, pulando por aí.

3. O Que Ele Conseguiu Fazer?

O autor construiu exemplos concretos de máquinas que:

1. São simétricas (A+B é igual a B+A).
2. São estritamente crescentes (Se você aumenta A ou B, o resultado aumenta).
3. São bissimétricas (Seguem a regra complexa de equilíbrio).
4. NÃO são contínuas (Têm saltos infinitos).

Isso responde a uma pergunta antiga: "A suavidade é uma consequência automática dessas regras?" A resposta é não, a menos que você adicione a regra de "reflexividade" em pelo menos dois pontos.

4. A Lição Final

O artigo nos ensina que a matemática é cheia de surpresas. Às vezes, achamos que certas regras de ordem e simetria são fortes o suficiente para garantir que tudo seja "suave" e previsível. Mas, se você remover uma única peça (neste caso, a reflexividade), o sistema pode se tornar um "fractal" de saltos e descontinuidades.

Resumo em uma frase:
O autor mostrou que é possível criar uma máquina matemática que segue todas as regras de equilíbrio e crescimento, mas que, na prática, é uma escada de degraus flutuantes e descontínuos, provando que a "suavidade" não é garantida apenas pela simetria e pelo crescimento.

Resumo técnico

Aqui está um resumo técnico detalhado do artigo "On noncontinuous bisymmetric strictly monotone operations" de Gergely Kiss, apresentado em português.

Resumo Técnico: Operações Bisimétricas Estritamente Monótonas Não Contínuas

1. Problema e Contexto

O artigo aborda uma questão fundamental na teoria das equações funcionais e das médias: a relação entre a bisimetria, a monotonicidade estrita e a continuidade de operações binárias (e n-árias) definidas em intervalos reais.

Historicamente, resultados clássicos de J. Aczél, Kolmogorov, Nagumo e de Finetti estabeleceram que operações que satisfazem certas propriedades (como ser uma média quasi-aritmética) são contínuas. Especificamente, o Teorema de Aczél (1948) mostrou que qualquer operação reflexiva, simétrica, estritamente monótona e bisimétrica em um intervalo é necessariamente uma média quasi-aritmética (e, portanto, contínua).

Posteriormente, trabalhos de Burai, Kiss e Szokol (2021, 2023) demonstraram que, no caso simétrico e reflexivo, a continuidade é uma consequência automática da bisimetria e da monotonicidade estrita, sem necessidade de assumi-la a priori.

A lacuna de conhecimento: A questão aberta era saber se a continuidade ainda é garantida quando a reflexividade é removida. Ou seja, existe uma operação que seja bisimétrica, estritamente monótona (e possivelmente simétrica), mas que seja descontínua? O artigo responde afirmativamente a essa pergunta, construindo contraexemplos explícitos.

2. Metodologia

A construção dos contraexemplos baseia-se em uma combinação de álgebra abstrata e teoria dos conjuntos (topologia e teoria da medida), utilizando as seguintes ferramentas principais:

• Conjuntos de Cantor e Independência Linear: O autor constrói um conjunto perfeito $K$ (sem pontos isolados, mas sem conter intervalos, ou seja, um conjunto de Cantor) dentro de um intervalo real $I_0$. A propriedade crucial deste conjunto é que seus elementos são linearmente independentes sobre um subcampo contável $\mathbb{F}$ de $\mathbb{R}$ (gerado pelos parâmetros da operação e pelos racionais).
• Iteração e "Fuga" do Intervalo: Define-se um conjunto $H$ como a união de camadas geradas iterativamente por combinações lineares dos elementos de $K$ com coeficientes positivos $\alpha, \beta$. Devido à condição $\alpha + \beta \neq 1$, o conjunto gerado "escapa" de qualquer subintervalo limitado após um número finito de iterações (Lema 3.2), garantindo que a estrutura algébrica não preencha o intervalo contínuo.
• Função Geradora Discontínua: Utiliza-se uma função bijetora estritamente crescente $f: I \to H_1$, onde $H_1$ é uma versão modificada do conjunto gerado (removendo pontos de fronteira para garantir que a operação permaneça bem definida). A função $f$ mapeia um intervalo contínuo em um conjunto de Cantor (um conjunto "fractal" e não denso).
• Definição da Operação: A operação $F$ é definida via conjugação com $f$:
  $$F(x, y) = f^{-1}(\alpha f(x) + \beta f(y))$$
  Como $f$ mapeia para um conjunto descontínuo (em termos de topologia do domínio original), a operação $F$ herda essa descontinuidade, apesar de ser estritamente monótona.

3. Principais Contribuições e Resultados

A. Construção de Operações Bisimétricas Descontínuas (Teorema 3.4)
O autor prova que, para quaisquer $\alpha, \beta > 0$ com $\alpha + \beta \neq 1$, existe um intervalo $I$ e uma operação $F: I^2 \to I$ tal que:

• $F$ é bisimétrica.
• $F$ é estritamente monótona (parcialmente estritamente crescente).
• $F$ é não reflexiva (pois $\alpha + \beta \neq 1$).
• $F$ é descontínua em todas as suas seções (fixando uma variável, a função na outra variável é descontínua em todo o intervalo).
• Se $\alpha = \beta$, a operação também é simétrica.

B. Contraexemplo para o Teorema de Aczél sobre Quasi-Somas (Teorema 3.8)
Como caso especial onde $\alpha = \beta = 1$, o autor constrói uma operação que é:

• Associativa.
• Estritamente monótona.
• Descontínua.
  Isso demonstra que a hipótese de continuidade no teorema de caracterização de quasi-somas associativas de Aczél não pode ser omitida.

C. Reflexividade em Um Ponto vs. Dois Pontos

• Um Ponto (Remark 3.9): É possível estender a operação associativa para incluir um ponto de reflexividade (ex: $F(0,0)=0$) sem restaurar a continuidade. Isso mostra que a reflexividade em um único ponto é insuficiente para forçar regularidade.
• Dois Pontos (Teorema 5.1): Em contraste, o autor prova que se uma operação simétrica, bisimétrica e estritamente monótona é reflexiva em dois pontos distintos $a$ e $b$ ($a < b$), então ela é necessariamente contínua no intervalo $[a, b]$ e coincide com uma média quasi-aritmética nesse segmento.

D. Extensão Multivariada (Seção 4)
Os resultados são generalizados para operações n-árias ($n \geq 2$). O autor constrói operações $F: I^n \to I$ da forma:
$$F(x_1, \dots, x_n) = f^{-1}\left(\sum_{i=1}^n \alpha_i f(x_i)\right)$$
que são bisimétricas, estritamente monótonas e descontínuas, desde que $\sum \alpha_i \neq 1$.

4. Significado e Implicações

• Limites da Regularidade: O trabalho estabelece que a bisimetria e a monotonicidade estrita, por si sós, não garantem continuidade ou qualquer regularidade além do comportamento monótono das seções, a menos que a reflexividade esteja presente.
• Dicotomia da Reflexividade: O artigo revela uma dicotomia forte:
  • Sem reflexividade (ou apenas em um ponto): Comportamento "selvagem" e descontínuo é possível.
  • Com reflexividade em dois pontos (no caso simétrico): A rigidez algébrica força a continuidade e a estrutura de média quasi-aritmética.
• Refutação de Conjecturas: O resultado nega a possibilidade de remover a hipótese de continuidade dos teoremas de caracterização de Aczél para o caso não reflexivo.
• Problemas Abertos: O artigo levanta questões importantes sobre a caracterização global de operações reflexivas bisimétricas (Question 6.3): Será que a reflexividade global (em todos os pontos) é suficiente para garantir a continuidade, mesmo sem simetria global? Este é considerado o problema mais importante aberto na área.

Conclusão

Gergely Kiss demonstra que a continuidade não é uma propriedade inerente à bisimetria e monotonicidade estrita quando a reflexividade é ausente. A construção de conjuntos de Cantor com independência linear permite criar operações que satisfazem todas as propriedades algébricas desejadas, mas falham na continuidade topológica. No entanto, a presença de reflexividade em dois pontos atua como um "gatilho" de regularidade, restaurando a continuidade e a estrutura clássica de médias. Este trabalho redefine os limites do que se sabe sobre a interação entre propriedades algébricas e analíticas em operações de médias.