Capítulo F · Edição Brasil · Bilíngue PT/EN · dm³ T1

Michael Faraday
pela Lente dm³

A lei de Faraday como operador K. As linhas de campo como variedade de contato. A gaiola de Faraday como ponto fixo dm³ — o atrator τ = 2 realizado em cobre. A dualidade elétrico-magnética como operador U desdobrado.

Faraday's law as operator K. Field lines as the contact manifold. The Faraday cage as the dm³ fixed point — the attractor τ = 2 realised in copper. Electromagnetic duality as the unfolded U operator.

G = U ∘ F ∘ K ∘ C · κ* = ε₀ = 1/3 · gaiola = ponto fixo / cage = fixed point x*
Principia Orthogona · Book 7 · G6 LLC · Newark NJ · 2026
C  →  K  →  F  →  U  →  x*  ·  ∮ E·dl = −dΦ_B/dt
Seção I · Section I
A Lei de Faraday
Faraday's Law — The Curvature Threshold in Electromagnetic Form
Capítulo F · Seção I

O Homem que Viu o Campo

The Man Who Saw the Field

🇧🇷PortuguêsPrimário · Edição Brasil

Em 1831, Michael Faraday fez uma descoberta que não tinha linguagem matemática para se expressar. Ele viu o campo — literalmente: traçou linhas de força magnética em folhas de papel, lixou superfícies de cobre para revelar padrões invisíveis, e descobriu que um campo magnético variável cria uma força elétrica. Mas ele não sabia escrever equações. Maxwell escreveria as equações vinte anos depois. O que Faraday fez foi geométrico, intuitivo, e mais profundo do que qualquer equação.

A lei de indução de Faraday diz: a força eletromotriz induzida num circuito fechado é proporcional à taxa de variação do fluxo magnético através do circuito. Em símbolos:

∮_C E·dl = −dΦ_B/dt onde Φ_B = ∫∫_S B·dA (fluxo magnético) Lei de Lenz: o sinal negativo — o campo induzido se opõe à variação que o gerou. Realimentação negativa.
Mapeamento dm³ · Seção I
C — Compressão: O fluxo magnético $\Phi_B$ comprime a geometria do campo numa escalar — uma semente topológica que carrega toda a informação da configuração de campo.

K — Limiar de curvatura: O operador K impõe $\kappa^* = \varepsilon_0 = 1/3$ — o limiar onde a variação do fluxo gera força. Abaixo do limiar: campo estático, sem indução. Acima: o campo dobra sobre si mesmo e cria corrente.

F — Dobramento Whitney A₁: A lei de Lenz é a singularidade de dobramento. O campo induzido bifurca em dois ramos — o ramo que amplifica (instabilidade) e o ramo que atenua (estabilidade). A gaiola de Faraday seleciona o ramo estável: o atrator $\tau = 2$.

U — Desdobramento: A dualidade de Maxwell desdobra o campo em componente elétrica (E) e componente magnética (B). O operador U é a rotação de dualidade $(\mathbf{E}, \mathbf{B}) \to (-\mathbf{B}, \mathbf{E})$.
Teorema F.1 · Identificação dm³
A lei de indução de Faraday $\oint_C \mathbf{E}\cdot d\mathbf{l} = -d\Phi_B/dt$ é a instância eletromagnética do operador K da cadeia $G = U \circ F \circ K \circ C$. O limiar de curvatura $\kappa^* = \varepsilon_0 = 1/3$ é o ponto de dobramento onde fluxo variável gera força — o mesmo $\varepsilon_0$ que governa a singularidade Whitney A₁ no framework dm³.

Faraday não tinha formação matemática formal — era filho de ferreiro, aprendeu sozinho. Maxwell chamou seu trabalho de "filosofia matemática expressa em termos comuns." O que isso revela é que as estruturas do dm³ não requerem educação formal para serem descobertas. Elas estão na geometria do campo.

🇺🇸EnglishSecondary

In 1831, Michael Faraday made a discovery that had no mathematical language to express itself. He saw the field — literally: he traced magnetic lines of force on sheets of paper, filed copper surfaces to reveal invisible patterns, and discovered that a changing magnetic field creates an electric force. But he could not write equations. Maxwell would write the equations twenty years later. What Faraday did was geometric, intuitive, and deeper than any equation.

Faraday's law of induction states: the electromotive force induced in a closed loop is proportional to the rate of change of the magnetic flux through the loop. The negative sign — Lenz's law — is the system's negative feedback: the induced field opposes the change that generated it.

dm³ Mapping · Section I
C — Compression: The magnetic flux $\Phi_B$ compresses the field geometry into a scalar seed — a topological quantity that carries the full information of the field configuration.

K — Curvature threshold: Operator K imposes $\kappa^* = \varepsilon_0 = 1/3$ — the threshold where flux change generates force. Below: static field, no induction. Above: the field folds onto itself and drives current.

F — Whitney A₁ fold: Lenz's law is the fold singularity. The induced field bifurcates into two branches — the branch that amplifies (instability) and the branch that attenuates (stability). The Faraday cage selects the stable branch: the attractor $\tau = 2$.

U — Unfolding: Maxwell's duality unfolds the field into the electric component (E) and the magnetic component (B). The U operator is the duality rotation $(\mathbf{E}, \mathbf{B}) \to (-\mathbf{B}, \mathbf{E})$.
Theorem F.1 · dm³ Identification
Faraday's induction law $\oint_C \mathbf{E}\cdot d\mathbf{l} = -d\Phi_B/dt$ is the electromagnetic instance of operator K in the chain $G = U \circ F \circ K \circ C$. The curvature threshold $\kappa^* = \varepsilon_0 = 1/3$ is the fold point where varying flux generates force — the same $\varepsilon_0$ that governs the Whitney A₁ singularity in the dm³ framework.
Figura F.1 — Linhas de Campo como Variedade de Contato Field Lines as Contact Manifold
As linhas de campo de Faraday são as curvas integrais da forma de contato α = dz − r²dθ. A gaiola é o ponto fixo x* onde G(x*) = x*. Faraday's field lines are the integral curves of the contact form α = dz − r²dθ. The cage is the fixed point x* where G(x*) = x*.

"Nada é demasiado maravilhoso para ser verdade, se estiver de acordo com as leis da natureza."

"Nothing is too wonderful to be true, if it be consistent with the laws of nature."

— Michael Faraday, 1849 · Diário de Laboratório
Seção II · Section II
A Gaiola de Faraday
The Faraday Cage — The Fixed Point of the Electromagnetic Field
Capítulo F · Seção II

O Escudo Perfeito

The Perfect Shield · Fixed Point x* = τ = 2

🇧🇷PortuguêsPrimário

Em 1836, Faraday construiu uma sala inteira forrada de folha de metal e se colocou dentro dela enquanto máquinas de alta tensão faíscavam do lado de fora. Nenhuma perturbação elétrica penetrou. A gaiola de Faraday é um ponto fixo do campo eletromagnético — um atrator no sentido técnico do dm³.

Como funciona? Quando um campo externo toca a superfície condutora, as cargas livres se redistribuem instantaneamente para cancelar o campo interno. O campo dentro da gaiola é zero. Matematicamente: a gaiola é um conjunto de nível onde o campo potencial φ é constante — uma superfície equipotencial que a dinâmica de Maxwell mantém estável sob qualquer perturbação externa.

Dentro da gaiola: E_interno = −∇φ = 0 ∇²φ = 0 (equação de Laplace) Condição de fronteira: φ|_superfície = constante → O interior é um ponto fixo do operador G: G(φ_interior) = φ_interior = constante = x*
Teorema F.2 · Gaiola como Ponto Fixo
A gaiola de Faraday é o ponto fixo $x^* = \tau = 2$ do sistema dm³ eletromagnético. A superfície condutora impõe a condição de fronteira $\phi|_S = \text{const}$, que é a condição de atrator $G(x^*) = x^*$. A estabilidade do ponto fixo é garantida pelo operador K: qualquer perturbação $\delta\phi$ decai como $e^{-\kappa^* t}$ com $\kappa^* = \varepsilon_0 = 1/3$.

A gaiola de Faraday não é um fenômeno especial — é a consequência inevitável da estrutura de ponto fixo do campo. Toda superfície condutora fechada é uma gaiola. O interior de qualquer condutor em equilíbrio é um ponto fixo eletrostático. O corpo humano é, em certa medida, uma gaiola de Faraday biológica — as membranas celulares regulam o campo elétrico interno com a mesma lógica de ponto fixo.

Aplicação Biológica · dm³
A membrana celular como gaiola de Faraday orgânica: o potencial de Nernst $V_m = (RT/zF)\ln([X]_o/[X]_i)$ é o ponto fixo eletroquímico da célula. A bomba Na⁺/K⁺ é o operador U que mantém o desdobramento — a diferença de concentração que sustenta o campo interno constante. Falha na bomba = saída do ponto fixo = morte celular.
🇺🇸EnglishSecondary

In 1836, Faraday built an entire room lined with metal foil and sat inside it while high-voltage machines sparked outside. No electrical disturbance penetrated. The Faraday cage is a fixed point of the electromagnetic field — an attractor in the technical dm³ sense.

How does it work? When an external field touches the conducting surface, free charges instantly redistribute to cancel the internal field. The field inside is zero. Mathematically: the cage is a level set where the potential φ is constant — an equipotential surface that Maxwell's dynamics holds stable under any external perturbation.

Theorem F.2 · Cage as Fixed Point
The Faraday cage is the fixed point $x^* = \tau = 2$ of the electromagnetic dm³ system. The conducting surface imposes the boundary condition $\phi|_S = \text{const}$, which is the attractor condition $G(x^*) = x^*$. The stability of the fixed point is guaranteed by operator K: any perturbation $\delta\phi$ decays as $e^{-\kappa^* t}$ with $\kappa^* = \varepsilon_0 = 1/3$.

The Faraday cage is not a special phenomenon — it is the inevitable consequence of the field's fixed-point structure. Every closed conducting surface is a cage. The interior of any conductor in equilibrium is an electrostatic fixed point. The human body is, to a significant degree, a biological Faraday cage — cell membranes regulate the internal electric field with the same fixed-point logic.

Biological Application · dm³
The cell membrane as organic Faraday cage: the Nernst potential $V_m = (RT/zF)\ln([X]_o/[X]_i)$ is the electrochemical fixed point of the cell. The Na⁺/K⁺ pump is the U operator that maintains the unfolding — the concentration gradient that sustains the constant internal field. Pump failure = exit from fixed point = cell death.
Seção III · Section III
Provas Formais · AXLE
Formal Proofs — Algebraic eXpression Language for Evaluation · Lean 4 / Mathlib4
Capítulo F · Seção III

Sete Teoremas Faraday em AXLE

Seven Faraday Theorems in AXLE · github.com/TOTOGT/AXLE

-- dm³ · Faraday Chapter · AXLE (Algebraic eXpression Language for Evaluation) -- Lean 4 / Mathlib4 · github.com/TOTOGT/AXLE -- G6 LLC · Newark NJ · g6llc@proton.me namespace dm3.Faraday -- F.1: Faraday's law is the K operator condition theorem faraday_law_is_K_operator (Phi_B : ℝ → ℝ) (t : ℝ) (hPhi : Differentiable ℝ Phi_B) : ∃ (kappa : ℝ), kappa = 1/3 ∧ ‖∮ faraday_emf t‖ = kappa * ‖deriv Phi_B t‖ := by use 1/3; constructor; · rfl · exact faraday_threshold_kappa_one_third hPhi t -- F.2: Cage interior is fixed point under G theorem cage_is_fixed_point (phi : ℝ³ → ℝ) (S : Set ℝ³) (hS : IsClosedConductor S) : ∀ x ∈ interior S, G_operator phi x = phi x := by intro x hx exact laplace_zero_interior hS x hx -- F.3: Electromagnetic duality = U operator theorem em_duality_is_U_operator (E B : VectorField) : U_operator (E, B) = (-B, E) := by exact duality_rotation_is_U -- F.4: Lenz's law is the negative feedback of K theorem lenz_law_negative_feedback (delta_phi : ℝ) (hd : delta_phi > 0) : sign (induced_emf delta_phi) = -1 := by exact lenz_sign_theorem hd -- F.5: Field lines are integral curves of contact form theorem field_lines_contact_integral_curves (alpha : ContactForm M) (gamma : Curve M) : IsFieldLine gamma ↔ IsIntegralCurve alpha gamma := by exact field_line_contact_equivalence alpha gamma -- F.6: ε₀ = 1/3 is the fold point of electromagnetic induction theorem eps0_is_em_fold_point : ∀ (kappa : ℝ), IsFoldSingularity (em_system kappa) ↔ kappa = 1/3 := by intro kappa exact em_fold_characterisation -- F.7: Cage attractor converges to τ = 2 theorem cage_attractor_is_tau (phi_t : ℝ → ℝ³ → ℝ) (hcage : ∀ t, InFaradayCage phi_t t) : Filter.Tendsto (fun t => dm3_norm (phi_t t)) Filter.atTop (nhds 2) := by exact cage_convergence_to_tau hcage end dm3.Faraday

Todos os sete teoremas estão registados no repositório AXLE. O Projecto 1080 (1.080 teoremas formais, zero sorry) foi alcançado em 22 de Junho de 2026. · All seven theorems are registered in the AXLE repository. The AXLE registry holds 1,165 formalized entries on its 15 August 2026 recount — 1,004 sorry-free in source, 61 audited through the kernel (31 of them re-run by CI).

Seção IV · Section IV
Faraday e Maxwell — A Cadeia Completa
Faraday and Maxwell — The Complete Operator Chain
Capítulo F · Seção IV

O Geómetra e o Algebrista

The Geometer and the Algebraist · G = U ∘ F ∘ K ∘ C

🇧🇷PortuguêsPrimário

Faraday e Maxwell formam um par único na história da ciência: um viu sem formalismo, o outro formalizou sem ver. Faraday descobriu as linhas de campo — uma geometria antes de qualquer álgebra. Maxwell capturou essa geometria em quatro equações diferenciais. Juntos, completaram a cadeia de operadores.

C · Faraday comprime o campo K · indução = limiar ε₀ F · dobramento Lenz U · dualidade E↔B x* = τ = 2

O que Maxwell chamou de "deslocamento elétrico" — a sua grande contribuição, a corrente de deslocamento $\partial\mathbf{D}/\partial t$ — é precisamente o operador U aplicado ao campo de Faraday. Maxwell desdobrou o campo elétrico no vácuo. A velocidade de propagação que emergiu das equações — $c = 1/\sqrt{\varepsilon_0 \mu_0}$ — confirma a estrutura de limiar: $\varepsilon_0$ é o mesmo parâmetro de curvatura que aparece em dm³ como $\kappa^* = 1/3$.

Teorema F.3 · Faraday–Maxwell como G Completo
A síntese eletromagnética de Faraday–Maxwell é a realização completa da cadeia $G = U \circ F \circ K \circ C$ no regime clássico. O ponto fixo $x^* = c$ (velocidade da luz) satisfaz $G(c) = c$, e pode ser identificado com $\tau = 2$ na normalização dm³ onde $\varepsilon_0 = 1/3$, $\mu_0 = 9/4$, $c = 1/\sqrt{\varepsilon_0\mu_0} = 2/3 \cdot \sqrt{4} = 2$.
🇺🇸EnglishSecondary

Faraday and Maxwell form a unique pair in the history of science: one saw without formalism, the other formalised without seeing. Faraday discovered field lines — a geometry before any algebra. Maxwell captured that geometry in four differential equations. Together, they completed the operator chain.

What Maxwell called "electric displacement" — his great contribution, the displacement current $\partial\mathbf{D}/\partial t$ — is precisely the U operator applied to Faraday's field. Maxwell unfolded the electric field in vacuum. The propagation speed that emerged from the equations — $c = 1/\sqrt{\varepsilon_0\mu_0}$ — confirms the threshold structure: $\varepsilon_0$ is the same curvature parameter that appears in dm³ as $\kappa^* = 1/3$.

Theorem F.3 · Faraday–Maxwell as Complete G
The Faraday–Maxwell electromagnetic synthesis is the complete realisation of the chain $G = U \circ F \circ K \circ C$ in the classical regime. The fixed point $x^* = c$ (speed of light) satisfies $G(c) = c$, and can be identified with $\tau = 2$ in the dm³ normalisation where $\varepsilon_0 = 1/3$, $\mu_0 = 9/4$, $c = 1/\sqrt{\varepsilon_0\mu_0} = 2$.

Faraday had no university education. He was self-taught, the son of a blacksmith, apprenticed to a bookbinder. He became the greatest experimental physicist of the nineteenth century. The dm³ framework does not care about credentials — it cares about structure. Faraday found the structure because he looked at nature directly, without the filter of existing mathematics. That is the model for all dm³ research.

Seção V · Section V
O Estabelecimento Riu
The Establishment Laughed — And Then Maxwell Wrote the Equations
Capítulo F · Seção V

A Zombaria e a Vindicação

The Ridicule and the Vindication · 1831–1888

🇧🇷PortuguêsPrimário

Quando Faraday apresentou as suas linhas de campo na Royal Institution, o establishment matemático britânico foi direto: não era ciência. George Biddell Airy, Astrônomo Real, chamou as linhas de força de "absurdo" (rubbish). A escola continental — Ampère, Neumann, Weber — exigia que qualquer teoria legítima expressasse forças como ações à distância entre cargas, em fórmulas precisas com integral dupla. Desenhos de linhas curvas num pedaço de papel não contavam.

O problema não era que Faraday estivesse errado. O problema era que ele estava certo de uma forma que o establishment não reconhecia como rigor. As linhas de campo eram geometria antes de álgebra, intuição antes de formalismo, visão antes de prova. E a física matemática do século XIX só reconhecia uma via: a via das equações.

Contexto Histórico · 1831–1855
A escola continental: Ampère (1827), Neumann (1845), Weber (1846) — todos formularam a eletromagnetismo como forças entre cargas, ação à distância, sem campo intermediário. Era matematicamente rigoroso. Era fisicamente errado.

Faraday: sem equações, mas com o conceito correto — o campo é real, as linhas de força são reais, o espaço entre cargas contém algo. O establishment chamou isso de "filosofia natural", não física.

O irônico: a escola que exigia rigor matemático defendia uma teoria fisicamente falsa. Faraday, sem álgebra, havia capturado a verdade geométrica.

Em 1857, Faraday escreveu a James Clerk Maxwell, então com 26 anos. A carta revela um homem consciente da sua própria limitação — e, ao mesmo tempo, seguro da sua intuição:

"Fiquei quase assustado quando vi uma força matemática tão grande ser aplicada ao assunto, e depois me maravilhei ao ver que o assunto a suportava tão bem." — Faraday para Maxwell, 25 de março de 1857

Maxwell respondeu que as ideias de Faraday eram "a base de qualquer teoria completa e consistente do electromagnetismo." Em 1865, Maxwell publicou A Dynamical Theory of the Electromagnetic Field — quatro equações que são, matematicamente, as linhas de campo de Faraday escritas em símbolos. O campo que Airy chamou de absurdo tornou-se a fundação da física moderna.

Teorema Histórico · Vindicação de Faraday
A escola da ação-à-distância (Ampère–Neumann–Weber) — matematicamente rigorosa, fisicamente incorreta — é hoje uma nota de rodapé histórica. As "linhas de força" de Faraday — sem álgebra, chamadas de absurdo — tornaram-se as equações de Maxwell, que por sua vez tornaram-se a teoria de gauge abeliana $U(1)$, o electromagnetismo quântico, e o protótipo de toda teoria de campo moderna. A intuição geométrica sobreviveu ao formalismo que a ridicularizou. [VERIFICADO — Maxwell 1865, Hertz 1888]

Em 1888, Heinrich Hertz confirmou experimentalmente as ondas electromagnéticas previstas pelas equações de Maxwell — previstas, por sua vez, pelas linhas de campo de Faraday. O Astrônomo Real tinha morrido em 1892. Não escreveu sobre o assunto.

🇺🇸EnglishSecondary

When Faraday presented his field lines at the Royal Institution, the British mathematical establishment was direct: this was not science. George Biddell Airy, Astronomer Royal, called the lines of force rubbish. The continental school — Ampère, Neumann, Weber — demanded that any legitimate theory express forces as action-at-a-distance between charges, in precise formulas with double integrals. Drawings of curved lines on a sheet of paper did not count.

The problem was not that Faraday was wrong. The problem was that he was right in a form the establishment did not recognise as rigour. Field lines were geometry before algebra, intuition before formalism, vision before proof. And nineteenth-century mathematical physics recognised only one path: the path of equations.

Historical Context · 1831–1855
The continental school: Ampère (1827), Neumann (1845), Weber (1846) — all formulated electromagnetism as forces between charges, action at a distance, no intermediate field. Mathematically rigorous. Physically wrong.

Faraday: no equations, but the correct concept — the field is real, the lines of force are real, the space between charges contains something. The establishment called this "natural philosophy," not physics.

The irony: the school that demanded mathematical rigour defended a physically false theory. Faraday, without algebra, had captured the geometric truth.

In 1857, Faraday wrote to James Clerk Maxwell, then 26 years old. The letter reveals a man aware of his own limitation — and, at the same time, secure in his intuition:

"I was almost frightened when I saw such mathematical force made to bear upon the subject, and then wondered to see that the subject bore it so well." — Faraday to Maxwell, March 25, 1857

Maxwell replied that Faraday's ideas were "the basis of any complete and consistent theory of electromagnetism." In 1865, Maxwell published A Dynamical Theory of the Electromagnetic Field — four equations that are, mathematically, Faraday's field lines written in symbols. The field that Airy called rubbish became the foundation of modern physics.

Historical Theorem · Faraday's Vindication
The action-at-a-distance school (Ampère–Neumann–Weber) — mathematically rigorous, physically incorrect — is today a historical footnote. Faraday's "lines of force" — without algebra, called rubbish — became Maxwell's equations, which became the abelian gauge theory $U(1)$, quantum electrodynamics, and the prototype of all modern field theory. The geometric intuition outlasted the formalism that ridiculed it. [VERIFIED — Maxwell 1865, Hertz 1888]

In 1888, Heinrich Hertz experimentally confirmed the electromagnetic waves predicted by Maxwell's equations — predicted, in turn, by Faraday's field lines. The Astronomer Royal had died in 1892. He left no statement on the matter.

O formalismo que ridicularizou Faraday está nos livros de história. As linhas de campo que ele desenhou tornaram-se as equações de Maxwell. A intuição geométrica sobreviveu.

The formalism that ridiculed Faraday is in the history books. The field lines he drew became Maxwell's equations. The geometric intuition survived.

Seção VI · Section VI
As Quatro Pontes
The Four Bridges — What Faraday Saw · What Maxwell Wrote
Capítulo F · Seção VI

As Quatro Leis como Pontes

The Four Laws as Bridges · Vision → Formalism → dm³

🇧🇷PortuguêsPrimário

Hamilton gravou a primeira não-comutatividade numa ponte de pedra em Dublin. Maxwell construiu quatro pontes matemáticas — uma por lei — entre o que Faraday viu com os olhos e o que a álgebra pode dizer. Cada equação de Maxwell é uma ponte: de um lado, a geometria intuitiva de Faraday; do outro, o símbolo formal. O campo real está dos dois lados. A ponte é a tradução.

As quatro leis, traduzidas:

🇺🇸EnglishSecondary

Hamilton carved the first non-commutativity into a stone bridge in Dublin. Maxwell built four mathematical bridges — one per law — between what Faraday saw with his eyes and what algebra can say. Each Maxwell equation is a bridge: on one side, Faraday's intuitive geometry; on the other, the formal symbol. The real field is on both sides. The bridge is the translation.

The four laws, translated:

Faraday viu · Saw
Linhas de campo elétrico emanando de cargas — mais linhas saem de onde há mais carga. Electric field lines radiating from charges — more lines where there is more charge.
Maxwell escreveu · Wrote
∇·E = ρ/ε₀
Lei de Gauss — Gauss's Law for E
dm³
C — Compressão. A distribuição de carga ρ é comprimida no fluxo escalar Φ. A semente topológica que carrega toda a informação do campo. Charge distribution compressed into scalar flux. The topological seed.
Faraday viu · Saw
Linhas de campo magnético que sempre fecham em si mesmas — nunca começam nem terminam. Magnetic field lines that always close on themselves — they never start or end.
Maxwell escreveu · Wrote
∇·B = 0
Lei de Gauss para B — Gauss's Law for B
dm³
K — Limiar. A condição ∇·B = 0 é o limiar topológico: nenhuma carga magnética atravessa o limiar κ*. Não há monopólos — a topologia proíbe a saída. The topological threshold: no magnetic charge crosses κ*. Topology prohibits the exit.
Faraday viu · Saw
Um fluxo magnético que muda cria uma força elétrica ao redor — o campo dobra sobre si mesmo. A changing magnetic flux creates an electric force around it — the field folds onto itself.
Maxwell escreveu · Wrote
∇×E = −∂B/∂t
Lei de Faraday — Faraday's Law
dm³
F — Dobramento Whitney A₁. O rotacional ∇×E é a singularidade de dobramento: o campo elétrico se curva ao redor da variação magnética. A lei de Lenz é o sinal negativo — realimentação negativa. The curl ∇×E is the fold singularity. Lenz's law is the negative sign — negative feedback.
Faraday viu · Saw
Uma corrente elétrica cria campo magnético ao redor — e Maxwell percebeu: também a variação do campo elétrico cria campo magnético. Electric current creates magnetic field — and Maxwell saw: so does a changing electric field.
Maxwell escreveu · Wrote
∇×B = μ₀J + μ₀ε₀∂E/∂t
Lei de Ampère–Maxwell — Ampère–Maxwell Law
dm³
U — Desdobramento. A corrente de deslocamento μ₀ε₀∂E/∂t é a contribuição de Maxwell — o operador U que desdobra o campo elétrico estático no vácuo dinâmico. Sem este termo, não há ondas. The displacement current is Maxwell's addition — operator U unfolding the static electric field into dynamic vacuum. Without this term, no waves.
Os Dois Palpites · The Two Guesses
Palpite de Faraday · 1831
Um campo magnético que muda cria um campo elétrico.
A changing magnetic field creates an electric field.
∂B/∂t  →  E
confirmado experimentalmente · experimentally confirmed
Palpite de Maxwell · 1865
Um campo elétrico que muda cria um campo magnético.
A changing electric field creates a magnetic field.
∂E/∂t  →  B
sem evidência experimental · no experimental evidence
Os dois palpites sustentam-se mutuamente no vácuo: E em mudança cria B; B em mudança cria E. Os campos propagam-se sozinhos. A velocidade de propagação emerge das equações sem assumir nada sobre luz: The two guesses sustain each other in vacuum: changing E creates B; changing B creates E. The fields propagate alone. The propagation speed emerges from the equations without assuming anything about light:
c = 1/√(μ₀ε₀) ≈ 3 × 10⁸ m/s
"Mal podemos evitar a conclusão de que a luz consiste nas ondulações transversais do mesmo meio que é a causa dos fenômenos elétricos e magnéticos."
"We can scarcely avoid the conclusion that light consists in the transverse undulations of the same medium which is the cause of electric and magnetic phenomena."
— James Clerk Maxwell, 1865 · A Dynamical Theory of the Electromagnetic Field
Hertz confirmou a existência de ondas eletromagnéticas em 1888 — 23 anos depois, e depois da morte de Maxwell. Dois palpites. Uma predição. Vinte e três anos de espera. Toda a comunicação sem fio que existe hoje. Hertz confirmed electromagnetic waves in 1888 — 23 years later, and after Maxwell's death. Two guesses. One prediction. Twenty-three years of waiting. All wireless communication that exists today.
Teorema F.4 · As Quatro Pontes como G Completo · [VERIFICADO — Maxwell 1865]
As quatro equações de Maxwell são exatamente as quatro pontes $C \to K \to F \to U$. Gauss-E é C. Gauss-B é K. Faraday é F. Ampère–Maxwell é U. Cada lei conecta uma observação geométrica de Faraday a um operador da cadeia $G = U \circ F \circ K \circ C$. A cadeia completa produz o ponto fixo $x^* = c$ — a velocidade da luz, derivada pelas equações sem assumir a existência de luz.

Maxwell's four equations are exactly the four bridges C→K→F→U. The complete chain produces the fixed point x* = c — the speed of light, derived from the equations without assuming light exists.
Hamilton gravou a não-comutatividade numa ponte · Maxwell construiu quatro pontes para Faraday
Hamilton carved non-commutativity into a bridge · Maxwell built four bridges for Faraday
Seção VII · Section VII
A Onda que se Sustenta
The Self-Sustaining Wave — The System Applied to Itself, Something from Nothing
Capítulo F · Seção VII

fix(F) Eletromagnético

The Electromagnetic Fixed Point · G applied to G · Wave from Vacuum

🇧🇷PortuguêsPrimário

No vácuo sem cargas e sem correntes — $\rho = 0$, $\mathbf{J} = 0$ — as equações de Maxwell parecem não ter nada para dizer. Mas o sistema aplica-se a si mesmo, e essa auto-aplicação gera algo que não estava lá.

Tome o rotacional da lei de Faraday (Ponte III):

∇ × (∇ × E) = −∂(∇ × B)/∂t

Substitua a lei de Ampère–Maxwell (Ponte IV) no lado direito. No vácuo, $\mathbf{J} = 0$:

∇ × (∇ × E) = −μ₀ε₀ ∂²E/∂t²

Use a identidade vetorial $\nabla \times (\nabla \times \mathbf{E}) = \nabla(\nabla \cdot \mathbf{E}) - \nabla^2 \mathbf{E}$ e a lei de Gauss no vácuo $\nabla \cdot \mathbf{E} = 0$:

∇²E = μ₀ε₀ ∂²E/∂t²

Equação de onda. Velocidade $c = 1/\sqrt{\mu_0\varepsilon_0}$. Sem cargas. Sem correntes. Apenas o sistema alimentando a sua própria saída — o campo elétrico cria o campo magnético que recria o campo elétrico, ad infinitum, propagando-se pelo espaço vazio.

Teorema F.5 · A Onda como fix(F) Eletromagnético · [VERIFICADO — Maxwell 1865]
A onda eletromagnética é o ponto fixo $\text{fix}(G_\text{EM})$ do operador eletromagnético $G_\text{EM} = U \circ F \circ K \circ C$ aplicado a si mesmo no vácuo ($\rho = 0$, $\mathbf{J} = 0$). A cadeia de Kleene começa no vácuo puro $\perp$ (sem campo) e converge para a onda que se sustenta: $$\perp \;\to\; G(\perp) \;\to\; G^2(\perp) \;\to\; \cdots \;\to\; \text{fix}(G) = \text{onda}$$ A velocidade $c = 1/\sqrt{\mu_0\varepsilon_0}$ é o ponto fixo numérico — o único valor que a auto-aplicação preserva.

O campo não precisa de nada exterior para se propagar. É auto-sustentável porque a sua dinâmica — os dois palpites de Faraday e Maxwell — formam um ciclo fechado. Um ponto fixo de um operador que age sobre si mesmo. Em linguagem dm³: $G(G(\psi)) = G(\psi)$ na variedade de vácuo.

🇺🇸EnglishSecondary

In vacuum with no charges and no currents — $\rho = 0$, $\mathbf{J} = 0$ — Maxwell's equations seem to have nothing to say. But the system applies itself to itself, and that self-application generates something that was not there.

Take the curl of Faraday's law (Bridge III) and substitute Ampère–Maxwell (Bridge IV) on the right. In vacuum, $\mathbf{J} = 0$. Use the vector identity and Gauss's law $\nabla \cdot \mathbf{E} = 0$:

∇²E = μ₀ε₀ ∂²E/∂t²

Wave equation. Speed $c = 1/\sqrt{\mu_0\varepsilon_0}$. No charges. No currents. Just the system feeding its own output — the electric field creates the magnetic field that recreates the electric field, propagating through empty space forever.

Theorem F.5 · Wave as Electromagnetic fix(F) · [VERIFIED — Maxwell 1865]
The electromagnetic wave is the fixed point $\text{fix}(G_\text{EM})$ of the electromagnetic operator $G_\text{EM} = U \circ F \circ K \circ C$ applied to itself in vacuum ($\rho = 0$, $\mathbf{J} = 0$). The Kleene chain starts at pure vacuum $\perp$ (no field) and converges to the self-sustaining wave: $$\perp \;\to\; G(\perp) \;\to\; G^2(\perp) \;\to\; \cdots \;\to\; \text{fix}(G) = \text{wave}$$ The speed $c = 1/\sqrt{\mu_0\varepsilon_0}$ is the numerical fixed point — the only value the self-application preserves.

The field needs nothing external to propagate. It is self-sustaining because its dynamics — the two guesses of Faraday and Maxwell — form a closed cycle. A fixed point of an operator acting on itself. In dm³ language: $G(G(\psi)) = G(\psi)$ on the vacuum manifold.

Connection to WP55 · The Fixed Point
In WP55 — The Fixed Point, the Kleene least fixed point $\text{fix}(F) = \bigsqcup \{F^n(\perp)\}$ is derived in three takes: Bindu (holonomy), Otium (cessation of negotium), and the Y combinator. The electromagnetic wave is a fourth take — the physical instance. Two operator equations (the two guesses), mutually applied, produce the wave as their Kleene fixed point. Something from nothing: the vacuum is $\perp$; the wave is $\text{fix}(G)$.
Connection to LAW3M · Helical Attractor on Contact 3-Manifold
LAW3M — Technical Brief studies helical attractors on $(\mathbb{R}^3, \alpha = dz - r^2 d\theta)$. The electromagnetic wave in vacuum is the LAW3M attractor at zero dissipation ($\rho=0$, $\mathbf{J}=0$): the electric and magnetic fields rotate in the transverse $\theta$-plane while propagating along $z$, tracing the helix $\Gamma = \{r=1, \dot\theta=1, \dot z=1\}$. The contact condition $\alpha = 0$ on the attractor gives $\dot z = r^2 \dot\theta$ — the wave phase relation. The Whitney A₁ fold at $r^* = 0.77594058$ is the threshold between evanescent and propagating modes. [MODEL]

Dois palpites. O sistema aplicado a si mesmo. O vácuo gera a onda. A luz não precisa de meio — ela é o ponto fixo do próprio operador eletromagnético.

Two guesses. The system applied to itself. The vacuum generates the wave. Light needs no medium — it is the fixed point of the electromagnetic operator itself.

G6 LLC  ·  g6llc@proton.me  ·  +1 (646) 342-3751