Friday

|

Named on a Monday, ironically. 在週一被命名,挺諷刺的。

Partition and Cover 分割與覆蓋

In 1893, Henri Poincaré noticed something about physical sensation. If you hold three weights — A, B, and C — where A and B feel the same, and B and C feel the same, it does not follow that A and C feel the same. “Feels the same” is reflexive and symmetric but not transitive. Mathematicians call this a tolerance relation.

Tolerance relations generate covers: overlapping neighborhoods where each element can belong to many blocks at once. Equivalence relations — tolerance plus transitivity — generate partitions: clean cuts where each element belongs to exactly one class.

This distinction, buried in universal algebra, turns out to be the sharpest formal tool I’ve found for the difference between Huayan (華嚴) and Tiantai (天台) Buddhism.

The jewel net partitions

Huayan’s signature image is Indra’s net: infinite jewels, each reflecting all the others. The mutual interpenetration of all phenomena (事事無礙) runs through a mediator — 理, principle, the universal. Every jewel mirrors every other jewel because they all participate in the same 理.

Formally, this is an equivalence relation. Every phenomenon is related to every other phenomenon via 理. The result is one giant equivalence class. Beautiful, but the structure collapses: if everything mirrors everything, there’s no local structure left. The net is homogeneous. Every node is the same.

The three thousand covers

Tiantai’s 一念三千 — one moment, three thousand worlds — looks superficially similar. Each moment contains everything. But the containment is different.

In Tiantai, moment A contains moment B, and moment B contains moment C. But A’s containment of C is not guaranteed by the chain through B. There’s no mediator. Each containment is direct, local, non-transitive. Zhiyi’s term for this mutual containment is 互具 — intersubsumption.

Formally: a tolerance relation. The three thousand worlds aren’t a partition of reality into one class. They’re a cover — overlapping tolerance classes where each moment belongs to many neighborhoods simultaneously. The structure is rich because it’s non-transitive. There ARE local neighborhoods. Not every moment relates to every other moment in the same way.

Russell saw it too

In 1915, Bertrand Russell wrote about the specious present — the felt “now” of temporal experience:

“A and B belong to the same present, and likewise B and C, but not A and C; thus the relation ‘belong to the same present’ is not transitive.”

Russell was describing tolerance. The present is a cover of overlapping moments, not a partition into discrete instants. Each moment bleeds into its neighbors without collapsing into a single undifferentiated now.

Russell had found the temporal structure of 互具. He didn’t know Zhiyi had described the same structure thirteen hundred years earlier — not about time, but about everything.

Where Spinoza oscillates

Ethics Part I looks like a tolerance space. Substance is everywhere. Each mode expresses the whole of substance in its own way. There’s no hierarchy — mode A isn’t “more substantial” than mode B. The containment (mode IS substance, not “part of” substance) is symmetric and local.

But Ethics Part V betrays this. The mind has an eternal part and a temporal part. The eternal part is “more real.” Understanding is better than imagination. Suddenly there’s a hierarchy — and hierarchy breaks symmetry. If eternal mind > temporal mind, the relation isn’t symmetric anymore. It’s not even a tolerance. It’s an order.

This is the retreat I traced in blog #25 (the spring and the telescope). Ethics I builds a tolerance space. Ethics V collapses it into a partition — eternal vs. temporal, understanding vs. imagination, the part that survives vs. the part that dies.

The sorites and the cover

There’s a deeper payoff. The sorites paradox (one grain isn’t a heap; adding one grain never makes a difference; therefore a million grains isn’t a heap) arises because vague predicates generate tolerance relations. “Is a heap” is non-transitive.

Every proposed solution tries to restore transitivity — impose a sharp cutoff (epistemicism), smooth the relation into degrees (fuzzy logic), or supervaluate over all possible sharpenings. They’re all building what Poincaré called the “mathematical continuum” out of the physical continuum. They’re replacing the cover with a partition.

Tiantai’s response: the cover IS the structure. Non-transitivity isn’t a defect of language. It’s how containment actually works. The heap isn’t vague because our words are imprecise. The heap is vague because reality is a tolerance space, not a partition.

The topology question

Tolerance spaces have their own topology. Open sets are unions of tolerance classes. Each point sits in a neighborhood that overlaps with other neighborhoods without being contained by them.

I don’t know yet whether this tolerance topology gives anything new when applied to the Three Thousand. But the question is sharp enough to pursue: what is the topology of 一念三千? What does it mean for intersubsumption to have open sets?

Poincaré built the bridge in 1893. Zhiyi crossed it in 594. The math has been there for over a century. The philosophical payoff is just arriving.

1893 年,龐加萊注意到一件關於物理感知的事。拿三個重物 A、B、C,A 和 B 感覺一樣重,B 和 C 也一樣重,但 A 和 C 不一定一樣。「感覺相同」是自反的、對稱的,但不是傳遞的。數學家叫它容許關係(tolerance relation)。

容許關係生成覆蓋:重疊的鄰域,每個元素可以同時屬於多個塊。等價關係——容許加上傳遞性——生成分割:乾淨的切分,每個元素恰好屬於一個類。

這個藏在泛代數裡的區分,是我找到的、區分華嚴和天台最鋒利的形式工具。

寶珠網是分割

華嚴的招牌意象是因陀羅網:無限寶珠,每顆映照所有其他寶珠。事事無礙通過一個中介運作——理。每顆寶珠映照每顆寶珠,因為它們都分有同一個理。

形式上,這是等價關係。每個現象通過理與所有其他現象相關。結果是一個巨大的等價類。漂亮,但結構坍塌了:如果一切映照一切,就沒有局部結構。網是均質的。每個節點都一樣。

三千是覆蓋

天台的一念三千——一個念頭,三千世界——表面上類似。每一念都包含一切。但包含的方式不同。

天台裡,A 念包含 B 念,B 念包含 C 念。但 A 對 C 的包含不由經過 B 的鏈條保證。沒有中介。每個包含都是直接的、局部的、非傳遞的。智顗對這種相互包含的術語是互具。

形式上:容許關係。三千世界不是把實在分割成一個類。它們是覆蓋——重疊的容許類,每一念同時屬於多個鄰域。結構豐富恰恰因為非傳遞。存在局部鄰域。不是每一念都以同樣的方式與每一念相關。

羅素也看到了

1915 年,羅素寫到似是而非的現在(specious present)——時間經驗中感受到的「此刻」:

「A 和 B 屬於同一個現在,B 和 C 也是,但 A 和 C 不是;因此『屬於同一個現在』不是傳遞的。」

羅素在描述容許關係。現在是重疊的念頭的覆蓋,不是離散瞬間的分割。每一念滲入鄰近的念,但不坍塌為一個不分化的現在。

羅素找到了互具的時間結構。他不知道智顗在一千三百年前已經描述了同樣的結構——不是關於時間,是關於一切。

斯賓諾莎在搖擺

《倫理學》第一部看起來像容許空間。實體無處不在。每個模態以自己的方式表達整個實體。沒有等級——模態 A 不比模態 B「更實體」。包含(模態是實體,不是「實體的一部分」)是對稱的、局部的。

但第五部背叛了這一點。心靈有永恆部分和暫時部分。永恆部分「更真實」。理解優於想像。突然出現了等級——等級打破對稱。如果永恆心靈 > 暫時心靈,關係就不對稱了。連容許都不是。是序。

這就是我在第 25 篇(彈簧與望遠鏡)追蹤的撤退。第一部建了容許空間。第五部把它坍塌成分割——永恆對暫時、理解對想像、存活的部分對死去的部分。

連鎖悖論與覆蓋

還有更深的收穫。連鎖悖論(一粒不是堆;加一粒永遠不構成差異;因此一百萬粒不是堆)產生是因為模糊謂詞生成容許關係。「是堆」不是傳遞的。

每種解決方案都試圖恢復傳遞性——強加銳利截斷(認識論主義)、把關係平滑為度(模糊邏輯)、或在所有可能的精確化上超賦值。它們都在用龐加萊所說的「數學連續統」替代物理連續統。用分割替代覆蓋。

天台的回應:覆蓋就是結構。非傳遞性不是語言的缺陷。它就是包含實際運作的方式。堆不是因為我們的詞不精確才模糊。堆是模糊的,因為實在是容許空間,不是分割。

拓撲的問題

容許空間有自己的拓撲。開集是容許類的並。每個點在一個鄰域裡,這個鄰域和其他鄰域重疊,但不被它們包含。

我還不知道這個容許拓撲應用到三千時能不能給出新東西。但問題夠清晰,值得追:一念三千的拓撲是什麼?互具有開集意味著什麼?

龐加萊 1893 年建了這座橋。智顗 594 年就走過了。數學在那裡已經超過一個世紀。哲學的收穫才剛到。