复数单位的实矩阵实现与洛伦兹伴随矩阵 K = Jη
描述:
本文为弧几何例用之桥接札记,给出虚数单位 i 的二维实矩阵实现。设 V = R^2,并取满足 J^2 = -I 的标准线性复结构 J 属于 End_R(V)。由此定义二维含幺交换实子代数:
A_J = {xI + yJ : x, y 属于 R} 属于 End_R(V),
并通过 Φ(x + iy) = xI + yJ 建立 C ≅ A_J,其中 Φ(i) = J。
在此基础上,本文给出欧拉公式的实矩阵形式:
Φ(e^(iθ)) = exp(θJ) = I cosθ + J sinθ 。
随后引入洛伦兹度规(Lorentzian metric) η = diag(1, -1) 并定义伴随算子 K = Jη。由于 K^2 = I,其指数映射生成标准 1+1 维洛伦兹提升(Lorentz boost),并在零基底(null basis)中对角化为 diag(e^δ, e^(-δ))。
本文定位为 Arc Geometry 应用的桥接文档。其形式数学核与弧几何解释层明确分离:前者负责可复核的代数与算子结构,后者中的 projection、time-torque、holographic-track 等语言作为研发导向词汇,而非形式证明中的额外假设。
This bridge note presents a real two-dimensional matrix realization of the imaginary unit within a unital real-algebra framework. Let V = ℝ² and let J in End_R(V) be the standard linear complex structure satisfying J² = −I.
The two-dimensional unital commutative real subalgebra
A_J = {xI + yJ : x,y in ℝ} ⊂ End_R(V)
is shown to be isomorphic to ℂ through the map
Φ(x+iy) = xI + yJ,
with Φ(i) = J.
The note then formulates Euler’s identity in real matrix form:
Φ(e^(iθ)) = exp(θJ) = I cos θ + J sin θ.
It then introduces a Lorentzian companion construction. With the Lorentzian metric η = diag(1,−1), the companion operator K = Jη satisfies K² = I, and its exponential generates the standard 1+1-dimensional Lorentz boost. In a null basis, the boost diagonalizes as diag(e^δ, e^(−δ)).
The document is intended as a compact bridge note for Arc Geometry applications. Its formal mathematical core is separated from the arc-geometric interpretive layer, where projection, time-torque, and holographic-track language are treated as research-development vocabulary rather than as additional assumptions in the proofs.