[進 化 論]:如何從普通的雞鶴系進化為 σ-袋鼠?
雞鶴系
假設現在有一個雞鶴圈(juan,四聲。例:豬圈)
,裡面有雞鶴
。設
為一個雞鶴系。一個普通的雞鶴系是普通的,沒有任何特點。
但是,我們可以賦予它們一些性質,讓它們變得特別起來,同時也是為了進化做準備。下面我就羅列幾個:
#FormatImgID_4#
#FormatImgID_5#穩定雞鶴系
,也叫
#FormatImgID_6#系
。
對於一個
穩定雞鶴系
裡面的兩個雞鶴集
,成立
。
穩定雞鶴系
。
對於一個
穩定雞鶴系
裡面的可數個雞鶴集
,成立
。
穩定雞鶴系
。
對於一個
穩定雞鶴系
裡面的兩個雞鶴集
,成立
。
穩定雞鶴系
。
對於一個
穩定雞鶴系
裡面的可數個雞鶴集
,成立
。
穩定雞鶴系
。
對於一個
穩定雞鶴系
裡面的兩個雞鶴集
,成立
。
補穩定雞鶴系
。
對於一個補穩定雞鶴系
裡面的雞鶴集
,成立
。
現在我們可以藉助這些被賦予了特殊屬性的雞鶴系定義更高階的雞鶴繫了。
首先,最初級的一個高階雞鶴系
稱為
半環
。對於一個半環
,它具有的性質為:
(即空雞鶴集在半環中)。
對於任意的兩個雞鶴集
,差集
可以被寫為
中的非交雞鶴集的有限聯集。
是
系。
比半環再高階一點的雞鶴系
稱為
環
。對於一個環
,它具有的性質為:
。
是
穩定的。
是
穩定的。
比環再高階雞鶴繫有三個:它們分別被稱為
袋鼠
,
#FormatImgID_60# 環
與
#FormatImgID_61# 系
(或稱為
Dynkin 系
)。
對於袋鼠
而言,它具有性質:
。
是
穩定的。
是
穩定的。
對於
環而言,它具有性質:
。
是
穩定的。
是
穩定的。
對於
系,它的性質為:
。
對於任意的兩個雞鶴集
且
,成立
。
對於可數個不交的雞鶴集
的任意一種選擇,成立
。
最後,最頂級的雞鶴系就是我們的
#FormatImgID_90# 袋鼠
了,它是雞鶴系進化的最終形態。 對於一個
袋鼠,它的性質為:
。
是補穩定的。
是
穩定的。
雞鶴系的進化
下面就從半環開始,看看一個半環如何進化為頂級雞鶴系——
袋鼠。這得益於一個定理:
每一個
袋鼠也是一個
系,一個袋鼠,一個
環。
每個
環也是一個環,每個環也是一個半環。
每個袋鼠也是一個環。在一個有限雞鶴圈
上的袋鼠為一個
袋鼠。
設
為一個
袋鼠。首先證明它為一個
系。首先雞鶴圈
。因為
是
穩定的,因此它也是
穩定的。對於雞鶴集
且
,因為
是補穩定的,我們首先有
,進而:
因為
是
穩定的且是補穩定的。因為
是
穩定的,因此特別的,對於非交的雞鶴集
成立:
因此
為一個
系。
接下來,我們再證明
為一個袋鼠。首先雞鶴圈
。因為
是
穩定的,因此它也是
穩定的。對於雞鶴集
,因為
是補穩定的,我們首先有
,進而:
因為
是
穩定的且是補穩定的。因此
是
穩定的。因此
為一個袋鼠。
最後證明
為一個
環。因為雞鶴圈
,且因為
是補穩定的,因此
。因為
是
穩定的,因此它也是
穩定的。對於雞鶴集
,因為
是補穩定的,我們首先有
,進而:
因為
是
穩定的且是補穩定的。因此
是
穩定的。因此
為一個
環。
設雞鶴系
為一個
環。因此
且
是
穩定的。因為
是
穩定的,因此它也是
穩定的。因此
為一個
環。
證明這半部分時,我們先來簡單證明一個引理:設
是
穩定的,則
是
穩定的。這個簡單,設
則
。引理就證完了。現在設雞鶴系
為一個環。則首先
。因為
是
穩定的,則由我們剛剛證明的引理可以
是
穩定的。因為
是
穩定的,則對於任意的
都有
。那麼
可以表示為
中集合的可數(有限)不相交聯集。綜上所述,
是一個半環。
設雞鶴系
為一個袋鼠。因為雞鶴圈
,且因為
是
穩定的,因此
。因此
為一個環。如果另外雞鶴圈
是有限的,那麼
是有限的。 因此,
中雞鶴集的任一可數聯集都是有限聯集。 因此,
是
穩定的意味著
也是補穩定的。 因此
是一個
代數。
上述定理為我們提供了半環進化為
袋鼠的進化路線,一共有兩條:
路線一:半環
環
袋鼠
袋鼠。
路線二:半環
環
環
袋鼠。
此外,對於特殊的
系,它有獨特的進化路線,並且只需進化一次就可以直接稱為
袋鼠:
系的進化路線:
系
袋鼠。
上述所有路線中,箭頭上方所標註的均為進化條件。
所有雞鶴系之間的關係可以總結為下面的圖:
圖片 1:雞鶴系的進化。
進化條件可自行在圖片 1 中補充。