The magmatic universe revisited: we define ordered pairs, relations, numbers and a special form of Separation

Este artigo define análogos de pares ordenados, relações e números no universo magmático, demonstrando que, embora uma versão restrita do esquema de separação (MSS) seja válida, a definição de funções e a validade do esquema de substituição enfrentam obstáculos fundamentais devido à distinção entre elementos intencionais e colaterais.

O essencial

Imagine que você está tentando construir uma cidade (o nosso universo matemático tradicional, feito de conjuntos) onde cada prédio é independente. Você pode pegar um tijolo, colocá-lo em um saco, pegar outro tijolo e colocá-lo em outro saco, e depois juntar esses sacos para formar um novo prédio. Nada impede você de separar, isolar ou copiar qualquer peça. É um mundo de "separação" e clareza total.

Agora, imagine um universo alternativo, chamado Universo Mágico (ou Magmatic Universe), descrito neste artigo. Neste mundo, a regra fundamental é diferente: nada pode ser verdadeiramente separado. Tudo está conectado, dependente e "grudado" em tudo o que o cerca. Se você tentar pegar uma peça, você acaba pegando toda a sua rede de conexões invisíveis.

O autor, Athanassios Tzouvaras, está tentando responder a duas perguntas difíceis sobre esse universo estranho:

1. Como podemos criar coisas básicas como "pares ordenados" (casais), "funções" (máquinas que transformam entradas em saídas) e "números" nesse mundo onde não existem caixas vazias ou conjuntos pequenos?
2. Quais regras da lógica matemática ainda funcionam aqui?

Aqui está a explicação simplificada, usando analogias do dia a dia:

1. O Problema do "Casal" (Pares Ordenados)

Na matemática normal, para dizer que "João e Maria" são um casal, nós fazemos uma caixa com o nome de João e outra com o nome de Maria, e juntamos tudo. É limpo e definido.

No Universo Mágico, não existem caixas vazias ou caixas pequenas. Se você tenta criar um "casal" mágico entre João e Maria, você não consegue isolar apenas eles.

• A Analogia: Imagine que João e Maria são como duas gotas de água em um oceano. Se você tentar "agarrar" a gota de João, você acaba agarrando também a água ao redor dela, e a água ao redor da água, e assim por diante.
• A Solução: O autor cria um "Casal Mágico" (chamado de magmatic pair). Ele diz: "Ok, vamos definir o casal como a gota de João + a gota de Maria + toda a água que está conectada a elas".
• O Resultado: O casal funciona (se o casal A é igual ao casal B, então os componentes são iguais), mas ele vem com um "bônus" indesejado: infinitas outras gotas de água (chamadas de elementos colaterais) que estão grudadas nelas.

2. O Pesadelo das Funções (Máquinas de Transformar)

Uma função é como uma máquina de café: você coloca grãos (entrada) e sai café (saída). A regra é: para cada tipo de grão, sai apenas um tipo de café.

No Universo Mágico, isso é um pesadelo por causa dos "elementos colaterais".

• O Problema: Se você tenta colocar "Grãos de Café A" na máquina, você não consegue colocar apenas os grãos A. Você coloca os grãos A e tudo o que está conectado a eles (os "elementos colaterais").
• A Consequência: A máquina vê os grãos A e também vê os grãos B, C e D que estavam grudados neles. Então, ela não sabe se deve fazer café preto, café com leite ou chá. A "unicidade" da função quebra.
• A Solução Parcial: O autor mostra que é possível definir funções, mas apenas em condições muito especiais (como quando os "grãos" de entrada são tão diferentes que não se misturam). Na maioria das vezes, o "ruído" dos elementos colaterais torna impossível ter uma função perfeita como a conhecemos.

3. Os Números Mágicos

Na matemática normal, começamos com o zero (um conjunto vazio) e contamos: 0, 1 (o conjunto que tem o zero), 2 (o conjunto que tem o zero e o um), etc.
No Universo Mágico, não existe o vazio. Não existe "nada".

• A Solução: O autor escolhe um "átomo" (uma partícula básica) e diz: "Vamos chamar a menor coisa possível que contém esse átomo de Zero Mágico".
• Em vez de colocar o zero dentro de uma caixa para fazer o 1, ele "cresce" o zero, adicionando tudo o que está conectado a ele. É como se o número 1 fosse o número 0 "estufado" com toda a sua vizinhança.
• Isso cria uma hierarquia de números que funciona, mas que é muito mais "gorda" e cheia de conexões do que os nossos números normais.

4. O Que Funciona e O Que Quebra (Separação vs. Substituição)

O artigo conclui com uma descoberta importante sobre as regras do jogo:

• Separação (O que funciona): Imagine que você tem um grande bolo (um conjunto) e quer cortar apenas as fatias que têm morango. No Universo Mágico, você só pode cortar o bolo se a regra "ter morango" for infecciosa. Ou seja, se uma fatia tem morango, então tudo o que está grudado nela também deve ter morango. Se a regra for assim, você consegue cortar uma fatia válida. O autor prova que essa regra "Magmática de Separação" funciona.
• Substituição (O que quebra): Imagine que você tem uma lista de ingredientes e quer transformá-los em pratos. No Universo Mágico, tentar transformar cada ingrediente em um prato novo e coletar os resultados falha. Por que? Porque a "máquina" que transforma os ingredientes (a função) é tão bagunçada pelos elementos colaterais que o resultado final não forma um conjunto válido. A regra de Substituição, que é vital na matemática normal, quebra completamente aqui.

Resumo Final

Este artigo é como um manual de sobrevivência para viver em um mundo onde nada é isolado.

• Você pode criar pares e números, mas eles vêm com "bagagem" extra (elementos colaterais) que você não pode remover.
• Você pode fazer funções, mas elas são frágeis e exigem cuidado extremo.
• Você pode separar coisas, mas apenas se a regra de separação respeite as conexões naturais do universo.

É uma visão fascinante de como a matemática mudaria se deixássemos de tratar as coisas como objetos independentes e passássemos a vê-las como partes de uma rede de dependências inseparáveis.

Resumo técnico

Resumo Técnico: O Universo Magmático Revisitado

1. Problema e Contexto

O artigo é um complemento ao trabalho anterior [4] sobre o Universo Magmático ($M$), uma estrutura construída dentro de um universo ZF com átomos ($V(A)$) para formalizar a noção filosófica de "magmas" de Cornelius Castoriadis. Diferentemente do universo de conjuntos padrão ($V$), o universo magmático $M$ caracteriza-se pela inseparabilidade de seus elementos e pela ausência de conjuntos finitos (incluindo o conjunto vazio).

O problema central abordado neste artigo é duplo:

1. Definição de Objetos Fundamentais: Como definir em $M$ análogos de objetos teóricos de conjuntos básicos que estão ausentes devido à falta de pares ordenados e conjuntos finitos? Especificamente: pares ordenados, relações binárias, funções, números naturais e ordinais.
2. Validade dos Esquemas de Axiomas: Quais formas restritas dos esquemas de Separação (Separation) e Substituição (Replacement) podem ser válidas em $M$?

A dificuldade fundamental reside na natureza de dependência dos elementos em $M$: se um elemento $x$ pertence a um magma, todos os seus "sub-magmas" (elementos dependentes) também pertencem a ele, criando uma indeterminação que desafia a definição de funções e relações únicas.

2. Metodologia

O autor utiliza uma abordagem construtiva baseada na topologia de ordem inferior (lower topology) definida sobre um conjunto de átomos $A$ com uma pré-ordenação $\preceq$ sem elementos mínimos.

• Construção de Pares Magmáticos: Em vez de usar a definição de Kuratowski (que requer conjuntos finitos), o autor define um par ordenado magmático $\langle\langle x, y \rangle\rangle$ utilizando uniões de conjuntos abertos básicos ($pr(\cdot)$) e dois átomos fixos e incomparáveis ($a_0, a_1$).
• Distinção Intenção vs. Colateral: O autor introduz uma expansão do universo para $cM = M \cup M_{seq}$, permitindo tratar coleções de elementos "isolados". Isso leva à distinção crucial entre:
  • Elementos Intencionais: Os elementos que o agente deseja incluir explicitamente (ex: os pares que definem uma relação).
  • Elementos Colaterais: Todos os outros elementos que são forçados a existir devido à relação de dependência ($\subseteq$) com os elementos intencionais.
• Análise de Funções: Investigação rigorosa das condições sob as quais uma relação magmática pode comportar-se como uma função, considerando o "ruído" introduzido pelos elementos colaterais.
• Definição de Números: Construção de números naturais e ordinais magmáticos começando com um átomo $a_0$ e aplicando iterativamente a operação de fecho $pr(\cdot)$.
• Lógica e Axiomas: Definição de uma classe específica de fórmulas ("fórmulas magmáticas") que respeitam a propriedade de fechamento sob subconjuntos, para testar a validade da Separação.

3. Principais Contribuições e Resultados

A. Pares Ordenados e Produtos

• Definição: O par ordenado magmático é definido como:
  $$\langle\langle x, y \rangle\rangle := pr(pr^2(x) \cup pr^2(a_0)) \cup pr(pr^2(y) \cup pr^2(a_1))$$
  onde $a_0, a_1$ são átomos incomparáveis.
• Resultado: Foi provado que $\langle\langle x, y \rangle\rangle = \langle\langle x', y' \rangle\rangle$ se e somente se $x = x'$ e $y = y'$.
• Problema do Produto: O produto magmático $x \boxtimes y$ (análogo ao produto cartesiano) não é apenas o conjunto de pares, mas a união de todos os fechos $pr(\langle\langle z, w \rangle\rangle)$. Isso implica que $x \boxtimes y$ contém infinitos pares "colaterais" ($\langle\langle z', w' \rangle\rangle$ onde $z' \subseteq z, w' \subseteq w$) além dos pares intencionais.

B. Relações e Funções Magmáticas

• O Obstáculo das Funções: A definição padrão de função (única saída para cada entrada) falha em $M$ devido aos elementos colaterais. Se uma relação contém o par $\langle\langle z, w \rangle\rangle$, ela deve conter todos os $\langle\langle z', w' \rangle\rangle$ com $z' \subseteq z$ e $w' \subseteq w$. Isso viola a unicidade, pois um único $z$ teria infinitas "imagens" $w'$.
• Solução Parcial (Semifunções e Funções):
  • Define-se uma semifunção magmática gerada por pares intencionais que satisfazem uma condição de consistência.
  • Uma função magmática é definida apenas se, para cada $z$ no domínio, o conjunto de imagens $R[z]$ possuir um maior elemento (em relação à inclusão $\subseteq$).
  • Condição de Disjunção: Uma condição suficiente para que uma semifunção seja uma função é que os elementos do domínio geradores sejam disjuntos ($z_i \cap z_j = \emptyset$).
  • Conclusão: Funções magmáticas existem apenas sob condições muito restritas. Não é possível definir pares ordenados sem sub-pares próprios, o que impede a definição de funções gerais como em ZF.

C. Números Naturais e Ordinais

• Construção:
  • $0 := pr^2(a_0)$(o magma mais simples contendo$a_0$).
  • Sucessor: $n' := n \cup pr(n)$.
  • Ordinais limites são definidos como uniões.
• Ordem: A relação de ordem entre ordinais magmáticos é a inclusão própria ($\alpha < \beta \iff \alpha \subset \beta$).
• Números Alternativos: O autor também explora uma definição alternativa onde $n' = pr(n)$, resultando em números que são disjuntos entre si, facilitando a definição de magmas gerados contavelmente.

D. Separação e Substituição

• Esquema de Separação Magmático (MSS):
  • O esquema de Separação geral falha em $M$.
  • No entanto, o autor define uma classe de fórmulas magmáticas: fórmulas $\phi(x)$ tais que se $\phi(x)$ é verdadeiro e $y \subseteq x$, então $\phi(y)$ também é verdadeiro.
  • Teorema: O esquema de Separação restrito a fórmulas magmáticas é válido em $M$.
• Falha da Substituição (Replacement):
  • O esquema de Substituição falha irreparavelmente em $M$.
  • Motivo: A natureza funcional da substituição exige que a imagem de um conjunto seja um conjunto. Em $M$, devido à dependência e aos elementos colaterais, a imagem de um magma sob uma relação funcional (mesmo restrita a fórmulas "completadas") frequentemente resulta em coleções que não são magmas (não são fechadas sob subconjuntos). O exemplo dado é a operação $pr(x)$, cuja imagem de um magma não forma um magma.

4. Significado e Conclusão

O artigo demonstra que, embora seja possível construir análogos de pares ordenados e números no universo magmático, a estrutura de dependência inerente a $M$ impõe limites fundamentais à definição de funções e relações.

• Implicação Filosófica: O trabalho valida a intuição de Castoriadis de que o pensamento "magmático" (não separativo) opera sob lógicas diferentes do pensamento ocidental padrão (separativo). A impossibilidade de definir funções gerais sem restrições severas reflete a natureza de "inseparabilidade" dos elementos.
• Contribuição Matemática: O autor estabelece os limites formais do universo $M$, mostrando que ele é um modelo onde a Separação pode ser recuperada para uma classe específica de propriedades, mas a Substituição é intrinsecamente incompatível com a estrutura de dependência dos magmas.

Em suma, o universo magmático é um ambiente rico para explorar lógicas de dependência, mas exige uma redefinição radical de conceitos fundamentais como função e relação, onde a "intenção" do agente deve ser distinguida da "realidade" colateral imposta pela estrutura do magma.