# 無測度時空與時空性的程度問題：從二值存在到開放維度的部分時空型別

**系列**：《時空何以成為時空》06  
**英文題名**：*Measureless Spacetime and Degrees of Spacetime-ness: From Binary Existence to Open-Dimensional Partial Spacetime Types*  
**作者**：Neo.K × GPT-5.6 Sol  
**機構**：EveMissLab（一言諾科技有限公司）  
**日期**：2026-08-23  
**版本**：v0.1  
**性質**：時空本體論／開放維度類型論／前度量結構／部分結構／科學方法論  
**狀態**：系列正式初稿  
**前置研究**：《多維空間狀態類型論》、《動態多維空間狀態類型論》、《異質壓平論》  
**前篇**：《從無時空到時空：序、鄰接、測度、距離與幾何的重建》

---

## 摘要

「某個結構到底是不是時空？」通常被問成二值問題：

$$
\operatorname{Spacetime}(X)
\in
\{0,1\}.
$$

然而，前篇已顯示時空可以被拆成序、鄰接、測度、距離、維度、拓撲、因果、共形幾何、完整度規、動力學與操作測量等不同結構。這立即產生一個更基礎的問題：若某系統具有因果序與拓撲，但沒有測度；具有共形結構但缺少尺度；具有局部鐘與可達性但沒有全域時間；具有離散更新與鄰接但沒有固定維度，它究竟是「沒有時空」，還是「只有部分時空性」？

本文提出「部分時空型別」（Partial Spacetime Type）與「開放維度時空性」（Open-Dimensional Spacetime-ness）框架。對任一系統 $X$ 、尺度 $\lambda$ 、觀察者／操作域 $O$ 與模型 $M$，定義：

$$
\boxed{
\Sigma_{\mathrm{ST}}(X;\lambda,O,M)
=
\left\langle
Q,A,\mu,d,\dim,\mathcal T,C,[g],g,D,\mathcal O
\right\rangle
}
$$

其中各分量並非只取 $0/1$，而取自型別狀態集合：

$$
\mathbb S
=
\{
\mathbf 0,
\mathbf P,
\mathbf E,
\mathbf F,
\mathbf U,
\mathbf N
\}.
$$

分別表示 absent、partial、effective、full、undefined 與 unknown。此設計特別區分「不存在」「尚未測得」「在該理論中未定義」「只在有效尺度成立」等長期容易被壓成同一個「沒有」的認識論與本體論狀態。

本文把「無測度時空」定義為一類合法的部分時空：

$$
\mu=\mathbf 0
\quad\text{或}\quad
\mu=\mathbf U,
$$

但：

$$
(Q,A,\mathcal T,C)\neq
(\mathbf 0,\mathbf 0,\mathbf 0,\mathbf 0).
$$

因此，無測度不等於無序、無拓撲、無因果或無時空性。同理，「無全域時間」「無固定維度」「無完整度規」都只消除時空向量中的特定分量，而不能無條件推出整個時空型別為零。

本文進一步拒絕把時空性直接壓成單一數值。若沒有指定研究目標與權重，則：

$$
\Sigma_{\mathrm{ST}}
$$

一般不能合法地被簡化為：

$$
s_{\mathrm{ST}}\in[0,1].
$$

因為「有因果但無度規」與「有度規但無動力學」不具有自然全序。若特定任務確實需要評分，必須先指定任務依賴的權重：

$$
s_{\mathrm{ST}}^{(G)}
=
W_G\!\left(
\Sigma_{\mathrm{ST}}
\right),
$$

其中 $G$ 表示工程、觀測、幾何重建、生命可居住性或時空控制等不同目標。

本文最後提出「動態時空型別體制」：在不同尺度、相態、觀察者與科技能力下，同一世界的有效時空型別可以改變：

$$
\Sigma_{\mathrm{ST}}(\lambda_1)
\neq
\Sigma_{\mathrm{ST}}(\lambda_2),
$$

甚至發生型別體制轉換：

$$
\mathfrak R_{\mathrm{ST}}^{(a)}
\longrightarrow
\mathfrak R_{\mathrm{ST}}^{(b)}.
$$

因此，時空不是只需要回答「存在／不存在」，而應回答：「在哪個尺度、對哪個觀察者、哪些時空分量以何種證據狀態成立？」這使「無測度時空」「湧現維度」「局部時間」「部分因果幾何」等概念可以在同一型別安全框架中被比較，而不被二值語言過早消除。

**關鍵詞**：無測度時空、時空性、部分時空、開放維度、型別系統、前度量、因果結構、度規、動態類型、尺度依賴

---

# 0. 核心問題：時空是一個布林值嗎？

最常見的問法是：

$$
\operatorname{IsSpacetime}(X)
=
\begin{cases}
1,&X\text{ 是時空}\\
0,&X\text{ 不是時空}.
\end{cases}
$$

但這一問法隱藏了一個巨大前提：

> 「時空」是一個不可再拆的單一類型。

前篇已經顯示這並不成立。

我們至少可以拆出：

$$
Q,
A,
\mu,
d,
\dim,
\mathcal T,
C,
[g],
g,
D,
\mathcal O.
$$

因此真正問題應改寫為：

$$
\boxed{
\text{一個結構具有哪些時空性質？}
}
$$

而不是：

$$
\boxed{
\text{它是不是時空？}
}
$$

---

# 1. 從集合成員資格轉向結構支撐

傳統分類傾向寫：

$$
X\in\mathsf{Spacetime}
$$

或：

$$
X\notin\mathsf{Spacetime}.
$$

本文改成：

$$
\operatorname{Support}_{\mathrm{ST}}(X)
=
\mathcal I_X,
$$

其中：

$$
\mathcal I_X
\subseteq
\mathfrak I_{\mathrm{ST}}
$$

是 $X$ 目前有效支撐的時空維度集合。

令：

$$
\mathfrak I_{\mathrm{ST}}
=
\{
Q,A,\mu,d,\dim,\mathcal T,C,[g],g,D,\mathcal O
\}.
$$

則：

$$
X
$$

可以只支撐：

$$
\mathcal I_X
=
\{Q,A,C\},
$$

也可以支撐：

$$
\mathcal I_X
=
\{Q,A,\mu,d,\dim,\mathcal T,C,[g],g,D,\mathcal O\}.
$$

所以：

$$
\boxed{
\text{Spacetime Type}
=
\text{supported structure profile},
}
$$

而不是只有 membership。

---

# 2. 開放維度時空型別

沿用既有開放維度類型論思想，本文不宣稱：

$$
\mathfrak I_{\mathrm{ST}}
$$

永遠只有十一個維度。

更一般地：

$$
\mathfrak I_{\mathrm{ST}}^{(t)}
=
\{
I_1,I_2,\ldots,I_{n(t)}
\}.
$$

當新物理需要加入：

- signature；
- locality；
- orientability；
- quantum causal structure；
- entanglement geometry；
- informational accessibility；
- computational depth；

等新分量時，型別系統允許：

$$
n(t+1)>n(t).
$$

因此：

$$
\boxed{
\text{時空型別空間本身也是可擴張的。}
}
$$

---

# 3. 時空性向量

對：

- 系統 $X$ ；
- 尺度 $\lambda$ ；
- 觀察者／操作域 $O$ ；
- 模型 $M$ ；

定義：

$$
\boxed{
\Sigma_{\mathrm{ST}}(X;\lambda,O,M)
=
\left\langle
Q,A,\mu,d,\dim,\mathcal T,C,[g],g,D,\mathcal O
\right\rangle.
}
$$

這四個索引不可省略，因為同一世界可能有：

$$
\Sigma_{\mathrm{ST}}(X;\lambda_1,O_1,M_1)
\neq
\Sigma_{\mathrm{ST}}(X;\lambda_2,O_2,M_2).
$$

因此「時空性」本身可以是：

- 尺度相對；
- 觀察者索引；
- 模型相對；
- 動態演化。

---

# 4. 分量不能只用 $0/1$

最直覺的方法是：

$$
Q\in\{0,1\}.
$$

但這仍然太粗。

因為「沒有」至少可以表示：

1. 真正不存在；
2. 尚未觀測；
3. 該模型中未定義；
4. 只在部分域成立；
5. 只在有效尺度成立；
6. 已完整建立。

因此本文定義：

$$
\boxed{
\mathbb S
=
\{
\mathbf 0,
\mathbf P,
\mathbf E,
\mathbf F,
\mathbf U,
\mathbf N
\}.
}
$$

其中：

- $\mathbf 0$：Absent；
- $\mathbf P$：Partial；
- $\mathbf E$：Effective；
- $\mathbf F$：Full / established within the declared model；
- $\mathbf U$：Undefined；
- $\mathbf N$：Unknown。

---

# 5. 不存在、未知與未定義不是同一件事

這是本文最重要的型別安全原則之一。

若：

$$
\mu=\mathbf 0,
$$

表示模型明確排除或不具有該測度結構。

若：

$$
\mu=\mathbf N,
$$

表示：

> 我們目前不知道是否存在。

若：

$$
\mu=\mathbf U,
$$

表示：

> 在目前理論語言中，這個問題尚未被定義。

所以：

$$
\boxed{
\mathbf 0
\neq
\mathbf N
\neq
\mathbf U.
}
$$

自然語言經常把三者全部寫成：

> 沒有。

這會造成嚴重的本體—認識論壓平。

---

# 6. Partial 與 Effective 也不相同

若：

$$
d=\mathbf P,
$$

表示只有部分距離結構可定義。

例如：

- 只在局部域；
- 只對部分事件對；
- 僅有 causal distance；
- 只有 pseudometric。

若：

$$
d=\mathbf E,
$$

則表示：

> 在指定尺度上，該距離已能作為穩定有效描述。

因此：

$$
\boxed{
\text{Partial}
\neq
\text{Effective}.
}
$$

Partial 強調結構不完整。

Effective 強調尺度上的有效閉合。

---

# 7. 「完整」也必須是相對於模型的完整

本文的：

$$
\mathbf F
$$

不是：

> 宇宙終極真理已經證明。

它只表示：

> 在明確聲明的理論與問題域中，此分量被完整定義並滿足該模型要求。

因此：

$$
\mathbf F_M
$$

仍可以在未來更底層理論中被改寫。

所以：

$$
\boxed{
\text{Model-complete}
\neq
\text{Metaphysically final}.
}
$$

---

# 8. 無測度時空的正式定義

定義：

$$
X
$$

為「無測度時空樣結構」，若：

$$
\mu(X)
\in
\{
\mathbf 0,\mathbf U,\mathbf N
\},
$$

但至少存在非平凡：

$$
Q,
A,
C
$$

或：

$$
\mathcal T.
$$

即：

$$
\boxed{
\mu\notin\{\mathbf E,\mathbf F\}
\quad\land\quad
\|(Q,A,C,\mathcal T)\|>0.
}
$$

這個定義故意允許三種不同的「無測度」：

### 8.1 本體無測度

$$
\mu=\mathbf 0.
$$

### 8.2 理論未定義測度

$$
\mu=\mathbf U.
$$

### 8.3 認識論未知測度

$$
\mu=\mathbf N.
$$

三者不能混成一類。

---

# 9. 無測度不等於無時間

若存在：

$$
e_i\prec e_j,
$$

則：

$$
Q>0.
$$

即使尚未能說：

$$
\Delta\tau=3.72\text{ s},
$$

仍然可以存在：

$$
\text{before/after structure}.
$$

所以：

$$
\boxed{
\text{No temporal measure}
\not\Rightarrow
\text{No temporal order}.
}
$$

更直白地：

> 能說「先後」，不代表已經能說「差幾秒」。

---

# 10. 無測度不等於無空間

同理，若有：

$$
A_{ij}
$$

與拓撲鄰域：

$$
U_i,
$$

則可以具有：

- 相鄰；
- 連通；
- 邊界；
- 開集；
- 可達；

等空間樣結構。

即使沒有：

$$
d(x,y),
$$

仍有可能存在：

$$
\mathcal T.
$$

因此：

$$
\boxed{
\text{No Metric}
\not\Rightarrow
\text{No Topology}.
}
$$

以及：

$$
\boxed{
\text{No Measure}
\not\Rightarrow
\text{No Spatial Structure}.
}
$$

---

# 11. 共形時空是重要的中介範例

若已知：

$$
[g],
$$

但未知完整尺度因子，

則：

$$
g'
=
\Omega^2 g
$$

中的：

$$
\Omega
$$

尚未固定。

此時：

- light-cone structure；
- causal structure；
- conformal structure；

可以存在，

但完整 metric scale 尚未建立。

因此可標記：

$$
[g]=\mathbf F,
$$

但：

$$
g=\mathbf P
$$

或：

$$
g=\mathbf U.
$$

這是一個典型的「部分時空」：

$$
\boxed{
\text{Conformal Spacetime}
\neq
\text{No Spacetime}.
}
$$

---

# 12. 無全域時間也是部分時空，而非無時空

在相對論中，不是所有時空都具有自然的全域時間函數。

因此：

$$
T_{\mathrm{global}}=\mathbf 0
$$

不能推出：

$$
\tau_{\mathrm{local}}=\mathbf 0.
$$

可以同時：

$$
T_{\mathrm{global}}=\mathbf 0,
$$

$$
\tau_{\mathrm{local}}=\mathbf F.
$$

所以：

$$
\boxed{
\text{No Global Time}
\not\Rightarrow
\text{No Local Temporality}.
}
$$

---

# 13. 無固定維度也是合法中介型別

如果：

$$
\dim_{\mathrm{eff}}
=
\dim_{\mathrm{eff}}(\lambda),
$$

則可能：

$$
\dim(\lambda_1)=2,
$$

而：

$$
\dim(\lambda_2)\approx4.
$$

甚至：

$$
\dim
$$

在某域尚未被穩定定義。

因此：

$$
\dim=\mathbf E
$$

或：

$$
\dim=\mathbf N
$$

並不自動消滅其他時空分量。

所以：

$$
\boxed{
\text{No fixed dimension}
\not\Rightarrow
\text{No spacetime-like structure}.
}
$$

---

# 14. 時空性不是一條全序尺度

假設：

$$
X
$$

有：

$$
(Q,C,[g])
$$

但無：

$$
\mu.
$$

另一系統：

$$
Y
$$

有：

$$
(\mu,d,\mathcal T)
$$

但沒有清楚的 causal structure。

我們不能自然地說：

$$
X>Y
$$

或：

$$
Y>X.
$$

因此：

$$
\boxed{
\Sigma_{\mathrm{ST}}
\text{ 一般只形成偏序，而非全序。}
}
$$

這一點非常重要。

否則我們又會把異質時空壓成單一排行榜。

---

# 15. 部分序上的時空型別

定義：

$$
X
\preceq_{\mathrm{ST}}
Y
$$

若：

$$
\forall I_k\in\mathfrak I_{\mathrm{ST}},
\quad
\operatorname{Support}_X(I_k)
\le
\operatorname{Support}_Y(I_k)
$$

且不發生型別矛盾。

此時：

$$
Y
$$

至少支撐 $X$ 所支撐的所有時空結構。

但很多：

$$
X,Y
$$

會是 incomparable：

$$
X
\npreceq_{\mathrm{ST}}
Y,
$$

$$
Y
\npreceq_{\mathrm{ST}}
X.
$$

這正是部分時空論比單一分數更安全的地方。

---

# 16. 為什麼不應直接定義「時空性 72%」？

如果寫：

$$
s_{\mathrm{ST}}(X)=0.72,
$$

立即會遇到：

> 序重要還是度規重要？

> 因果和拓撲如何換算？

> 一個完整 $[g]$ 能不能抵銷完全缺乏操作測量？

> unknown 應該算幾分？

若沒有指定目的，這些問題無唯一答案。

所以：

$$
\boxed{
\text{Spacetime-ness Vector}
\not\Rightarrow
\text{Canonical Scalar Score}.
}
$$

---

# 17. 任務相對的時空分數

若特定任務 $G$ 需要評分，才定義：

$$
s_{\mathrm{ST}}^{(G)}
=
W_G
\left(
\Sigma_{\mathrm{ST}}
\right).
$$

例如：

### 17.1 幾何重建目標

$$
G_{\mathrm{geom}}
$$

可能高權重：

$$
\mu,d,\dim,\mathcal T,[g],g.
$$

### 17.2 因果推理目標

$$
G_{\mathrm{causal}}
$$

可能高權重：

$$
Q,C,A.
$$

### 17.3 生存與文明目標

$$
G_{\mathrm{civilization}}
$$

可能更重視：

$$
D,\mathcal O,
\text{recordability},
\text{stability}.
$$

### 17.4 時空控制目標

$$
G_{\mathrm{control}}
$$

可能重視：

$$
g,D,C,\Pi
$$

及其可修改性。

因此：

$$
\boxed{
\text{Best spacetime}
\text{ is goal-relative}.
}
$$

---

# 18. 尺度依賴時空型別

對同一世界：

$$
X,
$$

定義：

$$
\Sigma_{\mathrm{ST}}(\lambda).
$$

可能：

$$
\Sigma_{\mathrm{ST}}(\lambda_{\mathrm{Planck}})
\neq
\Sigma_{\mathrm{ST}}(\lambda_{\mathrm{human}})
\neq
\Sigma_{\mathrm{ST}}(\lambda_{\mathrm{cosmo}}).
$$

例如：

- 微觀尺度無經典連續 metric；
- 宏觀尺度有有效 Lorentzian metric；
- 宇宙尺度又出現不同全域結構問題。

所以：

$$
\boxed{
\text{Spacetime Type}
\text{ can flow with scale}.
}
$$

---

# 19. 類型流與重整化類比

可以形式化：

$$
\mathcal R_\lambda:
\Sigma_{\mathrm{ST}}(\lambda)
\rightarrow
\Sigma_{\mathrm{ST}}(b\lambda),
$$

其中：

$$
b>1.
$$

此映射不等於標準 renormalization group，但可作為結構層類比：

> 當我們粗粒化時，哪些時空分量出現、消失或變得穩定？

例如：

$$
g:
\mathbf N
\rightarrow
\mathbf E
$$

可以描述：

> microscopic level 沒有可用 metric，但宏觀上 metric 成為穩定有效結構。

---

# 20. 動態時空型別

除了尺度：

$$
\lambda,
$$

時空型別還可以依演化狀態：

$$
s
$$

改變：

$$
\Sigma_{\mathrm{ST}}(s_t)
\rightarrow
\Sigma_{\mathrm{ST}}(s_{t+1}).
$$

因此可能發生：

$$
\mathfrak R_{\mathrm{ST}}^{(a)}
\longrightarrow
\mathfrak R_{\mathrm{ST}}^{(b)}.
$$

本文稱為：

$$
\boxed{
\text{Spacetime Type-Regime Transition}.
}
$$

它不是單純「度規值變了」，而是：

> 合法的時空描述類型本身改變。

---

# 21. 類型體制轉換與普通狀態更新不同

若：

$$
g_{\mu\nu}
\rightarrow
g'_{\mu\nu},
$$

但所有時空型別維度仍相同，

這只是普通狀態更新。

若：

$$
g:
\mathbf 0
\rightarrow
\mathbf E,
$$

或：

$$
\dim:
\mathbf F
\rightarrow
\mathbf U,
$$

則可能是：

$$
\text{type-regime change}.
$$

因此：

$$
\boxed{
\text{Value Change}
\neq
\text{Type-Regime Change}.
}
$$

---

# 22. 觀察者索引時空型別

對不同觀察者：

$$
O_i,O_j,
$$

可以定義：

$$
\Sigma_{\mathrm{ST}}^{(O_i)}
$$

與：

$$
\Sigma_{\mathrm{ST}}^{(O_j)}.
$$

差異可能來自：

- 可測域不同；
- 可達事件不同；
- 時鐘不同；
- 解析度不同；
- 信息不同。

但如果兩者屬於共同物理世界，應存在合法接口：

$$
F_{ij}:
\Sigma_{\mathrm{ST}}^{(O_i)}
\rightharpoonup
\Sigma_{\mathrm{ST}}^{(O_j)}.
$$

所以：

$$
\boxed{
\text{Observer-indexed}
\neq
\text{arbitrary}.
}
$$

---

# 23. 技術能力也會改變可操作時空型別

這是與第二系列的重要接口。

令文明技術能力為：

$$
K.
$$

則實際可操作時空型別：

$$
\Sigma_{\mathrm{op}}
$$

可以寫成：

$$
\Sigma_{\mathrm{op}}
=
F(
\Sigma_{\mathrm{physical}},
K
).
$$

例如某物理結構一直存在：

$$
g=\mathbf F,
$$

但文明最初只能：

$$
\mathcal O_g=\mathbf P.
$$

技術進步後：

$$
\mathcal O_g:
\mathbf P
\rightarrow
\mathbf E.
$$

因此：

$$
\boxed{
\text{Physical Spacetime Type}
\neq
\text{Technologically Accessible Spacetime Type}.
}
$$

---

# 24. 同一世界具有三張時空圖

至少可以區分：

### 24.1 本體時空圖

$$
\Sigma_{\mathrm{ont}}.
$$

### 24.2 認識時空圖

$$
\Sigma_{\mathrm{epi}}.
$$

我們目前知道什麼。

### 24.3 操作時空圖

$$
\Sigma_{\mathrm{op}}.
$$

我們目前能測量或控制什麼。

因此：

$$
\boxed{
\Sigma_{\mathrm{ont}}
\neq
\Sigma_{\mathrm{epi}}
\neq
\Sigma_{\mathrm{op}}.
}
$$

很多「不可能」其實只是在說：

$$
\Sigma_{\mathrm{op}}
$$

目前不支撐某能力。

---

# 25. 這對時間旅行問題尤其重要

假設：

$$
C_{\mathrm{closed}}
=\mathbf E
$$

表示某理論中有閉合類時結構候選。

但：

$$
\mathcal O_{\mathrm{navigate}}
=\mathbf 0
$$

表示沒有已知導航方法。

因此：

$$
\boxed{
\text{Structure Exists}
\not\Rightarrow
\text{Structure Is Navigable}.
}
$$

同理：

$$
V_{\mathrm{law}}=\mathbf F
$$

不代表：

$$
V_{\mathrm{traversal}}=\mathbf F.
$$

這再次接回 Series 01 第 02 篇。

---

# 26. 無測度時空與「時間是幻覺」

如果底層只有：

$$
Q,C
$$

而沒有：

$$
\mu,d,g,
$$

有人可能說：

> 時空消失了。

本文更精確的寫法是：

$$
\Sigma_{\mathrm{ST}}
=
\left\langle
Q=\mathbf F,
C=\mathbf F,
\mu=\mathbf 0,
d=\mathbf U,
g=\mathbf U,\ldots
\right\rangle.
$$

也就是：

> 某些時空分量缺席，某些仍存在。

因此：

$$
\boxed{
\text{Metric Spacetime Missing}
\not\Rightarrow
\text{All Spacetime Structure Missing}.
}
$$

---

# 27. 無測度時空與「無數」問題

若底層關係不先賦予實數：

$$
R_{ij}\notin\mathbb R,
$$

而只有：

- 關係型別；
- 順序；
- 可達；
- 包含；
- 相容／不相容；

則可以存在：

$$
\text{qualitative structure}
$$

而沒有：

$$
\text{metric quantity}.
$$

因此：

$$
\boxed{
\text{Qualitative Physics}
\text{ can precede }
\text{Quantitative Geometry}.
}
$$

但要恢復現代物理，

最終仍需建立：

$$
\mathcal Q:
\text{qualitative structure}
\rightarrow
\text{quantitative observables}.
$$

---

# 28. 量化是時空性的一次型別提升

加入：

$$
\mu
$$

不是「從虛無創造時空」。

更精確地說：

$$
\Sigma_{\mathrm{ST}}^{(0)}
\rightarrow
\Sigma_{\mathrm{ST}}^{(1)}
$$

其中：

$$
\mu:
\mathbf 0
\rightarrow
\mathbf E.
$$

所以：

$$
\boxed{
\text{Quantification}
=
\text{one possible spacetime-type lift}.
}
$$

而不是：

$$
\text{Quantification}
=
\text{spacetime itself}.
$$

---

# 29. 分量之間有依賴，但不是完全等價

某些分量存在依賴：

$$
[g]
+
dV
\Rightarrow
g
$$

在適當條件下成立。

但：

$$
Q
$$

不必推出：

$$
\mu.
$$

因此可以建立依賴圖：

$$
G_{\mathrm{ST}}
=
(V_{\mathrm{ST}},E_{\mathrm{dep}}).
$$

其中：

$$
V_{\mathrm{ST}}
=
\mathfrak I_{\mathrm{ST}}.
$$

邊：

$$
I_i
\rightarrow
I_j
$$

表示：

> $I_i$ 是重建 $I_j$ 的必要或支持條件之一。

這比單純排列：

$$
S_0<S_1<\cdots<S_9
$$

更精確。

---

# 30. 重建階梯不是唯一合法順序

上一篇使用：

$$
Q
\rightarrow
A
\rightarrow
\mu
\rightarrow
d
\rightarrow
\cdots
$$

作為建構分析。

但本篇強調：

$$
\boxed{
\text{Reconstruction Path}
\text{ need not be unique}.
}
$$

某些理論可能先得到：

$$
\mathcal T,
$$

再重建：

$$
d.
$$

另一些可能先有 algebraic structure，再重建 locality。

因此上一章的階梯應理解為：

> 一條可分析的典型路徑。

不是：

> 唯一宇宙生成順序。

---

# 31. 時空型別圖，而不是時空階梯

更一般地：

$$
\boxed{
G_{\mathrm{ST}}
=
(V,E).
}
$$

節點是：

$$
Q,A,\mu,d,\dim,\mathcal T,C,[g],g,D,\mathcal O,\ldots
$$

邊是：

- dependence；
- reconstruction；
- compatibility；
- exclusion；
- equivalence。

因此：

$$
\text{Spacetime}
$$

可理解為：

$$
\boxed{
\text{a dynamically supported subgraph of }
G_{\mathrm{ST}}.
}
$$

這比「時空是一個盒子」更符合異質結構。

---

# 32. 部分時空的型別安全比較

若要比較：

$$
X,Y,
$$

不能只看：

$$
|\mathcal I_X|
$$

與：

$$
|\mathcal I_Y|.
$$

因為：

$$
|\mathcal I_X|
=
|\mathcal I_Y|
$$

不代表：

$$
\mathcal I_X
=
\mathcal I_Y.
$$

因此：

$$
\boxed{
\text{Same number of spacetime properties}
\not\Rightarrow
\text{Same spacetime type}.
}
$$

這是異質壓平論在時空問題中的直接應用。

---

# 33. 時空型別距離

雖然不能自然壓成單分數，

仍可對型別差異建立向量距離：

$$
\Delta_{\mathrm{ST}}(X,Y)
=
\left(
\delta_Q,
\delta_A,
\delta_\mu,
\ldots
\right).
$$

若研究目標指定權重：

$$
W_G,
$$

才定義：

$$
D_{\mathrm{ST}}^{(G)}(X,Y)
=
W_G
\left(
\Delta_{\mathrm{ST}}(X,Y)
\right).
$$

所以：

$$
\boxed{
\text{Distance is task-dependent}.
}
$$

---

# 34. 部分時空的黏合問題

局部區域：

$$
U_i
$$

可能各自具有：

$$
\Sigma_{\mathrm{ST}}(U_i).
$$

要形成 global spacetime，

需要 overlaps：

$$
U_i\cap U_j
$$

上的型別相容：

$$
F_{ij}:
\Sigma_{\mathrm{ST}}(U_i)
\rightharpoonup
\Sigma_{\mathrm{ST}}(U_j).
$$

若所有局部 patch 都可合法黏合，

才可能形成：

$$
\Sigma_{\mathrm{ST}}^{\mathrm{global}}.
$$

因此：

$$
\boxed{
\text{Local Spacetime-ness}
\not\Rightarrow
\text{Global Spacetime-ness}.
}
$$

---

# 35. 局部完整、全域不完整

可能：

$$
\forall U_i,
\quad
g|_{U_i}=\mathbf F,
$$

但不存在：

$$
g_{\mathrm{global}}.
$$

因此：

$$
\boxed{
\text{Locally metric}
\not\Rightarrow
\text{globally simple}.
}
$$

這使「局部是不是時空」與「整體是不是某種全域時空」必須分開。

---

# 36. 時空性與可居住性不是同一向量

一個結構即使：

$$
\Sigma_{\mathrm{ST}}
$$

非常完整，

也不代表：

$$
\operatorname{Habitability}>0.
$$

反之，某些高階生命或計算結構所需的時空條件可能只是部分子集。

因此：

$$
\boxed{
\text{Spacetime Completeness}
\neq
\text{Observer Support}.
}
$$

這將和 Series 01 第 01 篇的文明孵化問題重新接上。

---

# 37. 時空性與可控制性也不同

定義：

$$
\Gamma_{\mathrm{ctrl}}
=
\left\langle
K_Q,K_A,K_\mu,K_d,K_g,K_D,\ldots
\right\rangle
$$

表示文明對各時空分量的控制能力。

即使：

$$
g=\mathbf F
$$

也可能：

$$
K_g=0.
$$

因此：

$$
\boxed{
\Sigma_{\mathrm{ST}}
\neq
\Gamma_{\mathrm{ctrl}}.
}
$$

世界「有什麼」與文明「能改什麼」不是同一張表。

---

# 38. 從部分時空到時空管理者

真正高階管理者可能不是要求：

$$
\Sigma_{\mathrm{ST}}
=
\mathbf F^{n}
$$

才有能力。

相反，它可能先學會修改部分分量：

$$
K_g>0,
$$

再進入：

$$
K_C>0,
$$

最後甚至：

$$
K_\Pi>0.
$$

所以時空控制本身也可能是：

$$
\boxed{
\text{partial, typed, and progressive}.
}
$$

---

# 39. AI 可以如何使用部分時空型別？

AI 可以建立：

$$
\operatorname{SpacetimeTypeRegistry}.
$$

每一理論／模型記錄：

$$
\left(
\Sigma_{\mathrm{ST}},
\pi_{\mathrm{evidence}},
\lambda,
O,
M
\right).
$$

其中：

$$
\pi_{\mathrm{evidence}}
$$

保存證據來源與證成狀態。

AI 可進行：

1. 理論型別比較；
2. 缺失分量偵測；
3. 不合法跨型別推理檢查；
4. 重建路徑搜尋；
5. unknown / absent / undefined 區分；
6. 技術可達性接口建立。

---

# 40. 時空型別的證據標籤

每個分量不只要有狀態，

還要有證據：

$$
\Pi_k
=
\left(
\text{source},
\text{model},
\text{assumptions},
\text{verification},
\text{confidence}
\right).
$$

因此真正資料結構應是：

$$
I_k
=
(v_k,\tau_k,\Pi_k).
$$

不是只有：

$$
I_k=v_k.
$$

這使未來 AI 不會把：

> 理論允許

誤寫成：

> 實驗已發現。

---

# 41. 十四個核心命題

## 命題一：時空性非二值

$$
\operatorname{Spacetime}(X)
\not\equiv
\{0,1\}.
$$

## 命題二：時空型別為開放維度支撐

$$
\Sigma_{\mathrm{ST}}
\in
\prod_{I_k\in\mathfrak I_{\mathrm{ST}}}
\mathbb S_k.
$$

## 命題三：不存在、未知、未定義不同型

$$
\mathbf 0
\neq
\mathbf N
\neq
\mathbf U.
$$

## 命題四：無測度不推出無序

$$
\mu=\mathbf 0
\not\Rightarrow
Q=\mathbf 0.
$$

## 命題五：無度規不推出無拓撲

$$
g=\mathbf 0
\not\Rightarrow
\mathcal T=\mathbf 0.
$$

## 命題六：無全域時間不推出無局部時間

$$
T_{\mathrm{global}}=\mathbf 0
\not\Rightarrow
\tau_{\mathrm{local}}=\mathbf 0.
$$

## 命題七：無固定維度不推出無時空性

$$
\dim=\mathbf U
\not\Rightarrow
\Sigma_{\mathrm{ST}}=\mathbf 0.
$$

## 命題八：時空型別一般只形成偏序

$$
\preceq_{\mathrm{ST}}
$$

不必是 total order。

## 命題九：不存在 canonical spacetime scalar

$$
\Sigma_{\mathrm{ST}}
\not\Rightarrow
s_{\mathrm{ST}}
$$

除非先指定目標 $G$。

## 命題十：時空型別可尺度流動

$$
\Sigma_{\mathrm{ST}}(\lambda_1)
\neq
\Sigma_{\mathrm{ST}}(\lambda_2).
$$

## 命題十一：值變化與型別體制轉換不同

$$
\Delta v
\neq
\Delta\operatorname{Type}.
$$

## 命題十二：本體、認識與操作時空圖不同

$$
\Sigma_{\mathrm{ont}}
\neq
\Sigma_{\mathrm{epi}}
\neq
\Sigma_{\mathrm{op}}.
$$

## 命題十三：局部時空性不推出全域時空性

$$
\forall U_i:
\Sigma_{\mathrm{ST}}(U_i)>0
\not\Rightarrow
\Sigma_{\mathrm{ST}}^{\mathrm{global}}
\text{ 可無條件建立}.
$$

## 命題十四：時空性與控制性不同

$$
\Sigma_{\mathrm{ST}}
\neq
\Gamma_{\mathrm{ctrl}}.
$$

---

# 42. 理論邊界

本文不宣稱：

1. 所有物理理論都應接受本文十一維時空向量；
2. 十一個分量已窮盡所有時空結構；
3. 「時空性程度」存在唯一客觀標量；
4. 無測度時空必然在自然界實現；
5. 任一抽象拓撲都應稱為物理空間；
6. open-dimensional type system 本身就是新物理；
7. observer-indexed spacetime 意味主觀唯心論；
8. 型別體制轉換必然對應宇宙物理相變。

本文完成的是：

$$
\boxed{
\text{把「有沒有時空」
改寫成
「哪些時空分量在哪些條件下成立」。}
}
$$

---

# 43. 結論：時空不是一個開關，而是一個動態支撐結構

如果：

$$
\mu=0,
$$

但：

$$
Q,C,\mathcal T
$$

仍存在，

我們沒有理由直接寫：

$$
\text{No Spacetime}.
$$

更精確的是：

$$
\Sigma_{\mathrm{ST}}
=
\left\langle
Q,C,\mathcal T,\mu=\mathbf 0,\ldots
\right\rangle.
$$

同理：

- 無全域時間；
- 無固定維度；
- 無完整度規；
- 無操作控制；

都只代表某些分量缺席。

因此：

$$
\boxed{
\text{Spacetime}
\neq
\text{binary switch}.
}
$$

更適合的圖像是：

$$
\boxed{
\text{Spacetime}
=
\text{an open-dimensional,
scale-dependent,
observer-indexed,
dynamically supported structure profile}.
}
$$

這也回答了「無測度時空」為何不是語義矛盾：

> 因為測度只是時空性的一個分量，而不是所有時空結構的唯一來源。

更重要的是，本文避免另一個陷阱：雖然可以談「時空性的程度」，卻不能不經目標指定就把所有異質結構壓成一個 0 到 100 的分數。

真正型別安全的表示仍是：

$$
\boxed{
\Sigma_{\mathrm{ST}}.
}
$$

只有當問題指定：

$$
G
$$

時，才允許：

$$
s_{\mathrm{ST}}^{(G)}
=
W_G(\Sigma_{\mathrm{ST}}).
$$

下一篇因此可以進入本系列另一個核心問題：

> **如果人類一旦開始分類、比較、量化與賦值，就會不斷把前時空結構推向序、測度、距離與幾何，那麼「量化」究竟是在發現時空、建構時空，還是只是在建立一個新的表示層？**

這將進入 Series 01 第 07 篇：

**〈量化是否會重新創造時空？——從語義賦值、測度化到物理結構的生成邊界〉。**

---

## 參考研究脈絡

- Neo.K，2026，《多維空間狀態類型論：開放維度依賴類型、合法態射、纖維兼容與異質壓平審計》。
- Neo.K，2026，《動態多維空間狀態類型論：有效類型支撐、動態帕雷特前沿、分類元類型、生命週期與類型體制轉換》。
- Neo.K，2026，《從無時空到時空：序、鄰接、測度、距離與幾何的重建》。
- Neo.K，2026，《前度量關係物理學：從「無數」宣言到可估值的結構動力學》。
- Sumati Surya, “The causal set approach to quantum gravity”, *Living Reviews in Relativity*, 2019.
- E. Minguzzi, “Lorentzian causality theory”, *Living Reviews in Relativity*, 2019.
- Current causal-set literature on manifold-likeness, geometric reconstruction, order invariants and continuum approximation.
