要理解這個比無限大還大的神奇之物,那就要請出ZF集合論的第7個公設—冪集合公設(Axiom of Power Set):
-----廣告,請繼續往下閱讀-----
ZF7∀X ∃Y ∀z [z ∈ Y ↔ ∀ u (u∈z → u∈X)]
這個公設看起來有點複雜,但我們如果引入一個關於子集合(subset)的定義就能讓問題簡化許多。以上句式中的 z 是 X 的子集,寫成 z ⊆ X ,它的定義是:∀ u (u∈z → u∈ X),這恰好就是冪集合公設的後半部分。我們先按以上定義把冪集合公設改寫成比較簡單的形式:
ZF7 (1) ∀X ∃Y ∀z [z ∈ Y ↔ z⊆X]
經過上面的簡化之後,冪集合公設的意思是:如果我們手頭上已經有某個 X 集合,那麼由 X 集合的所有子集合可以形成另一個新的集合 Y。
-----廣告,請繼續往下閱讀-----
這個公設讓我們又多了一個製造集合的方法,也就是把手頭上現成集合的子集合全部抓出來,將這些子集合作為元素來形成一個新集合,這就是ZF7所要做的事情。但我們還沒解釋什麼是子集合,根據定義,如果∀ u (u∈z → u∈ X)成立,也就是凡 z 的成員都是 X 的成員的話,那 z 就是 X 的子集合。
我們用個簡單的小集合作例子就容易明白了。假設有個包含1, 2, 3三個自然數的集合當作 X = {1, 2, 3} 。那 X 的子集合是甚麼? 首先 {1, 2, 3 } 是它自己的子集合。因為在這種情況下 z = X ,所以∀ u (u∈ X → u∈ X) 顯然成立,這就相當於說在 X 裡邊的元素必定在 X 裡邊一樣的廢話。進一步觀察發現,將 X= { 1, 2, 3 } 中的成員拿掉幾個,殘留的集合都是 X 的子集合,比如說 {1}、{1, 2}和 {2, 3}等都是。將這些子集合全部蒐集起來登記在 Y 底下所形成的集合就是 X 的冪集合。在以上 X= {1, 2, 3}的例子裡:
細心的讀者會發現裡面有個空集合,為了邏輯與數學上的嚴密性有必要解釋一下為什麼空集合也是 X 的子集合,但這麼重要的關鍵在許多數學課本裡卻提都不提。
-----廣告,請繼續往下閱讀-----
剛剛談到 z 是 X 的子集合是用∀u (u∈z → u∈ X) 來定義,那我們就把空集合 { } 放到定義中看看符不符合子集合的規定。那就是要看 ∀ u (u∈{ } → u∈ {1, 2, 3})是否為真? 因為{ }中空空如也什麼都沒有,所以條件句u∈{ } → u∈ {1, 2, 3} 的前件u∈{ }對任何 u 來說都為假,因為不存在任何集合能滿足這個條件。因此根據實質涵蘊 → 的定義,前件為假則整個條件句為真,所以∀ u (u∈ { } → u∈ {1, 2, 3}) 為真。既然空集合滿足子集合成立的條件,所以我們可以安心地將其納入冪集合的成員裡頭。
好了,現在我們有了製造冪集合的方法,但要它有何用呢? 它有什麼神妙之處? 粗略觀察可以發現冪集合的成員數比原來集合的成員數還多一些,X 集合有3個成員而它的羃集合 Y 有8個成員。那麼如果我們拿剛剛被無限公設所承認的,包含所有自然數的集合來製造冪集合的話會發生什麼事呢?
在有限集合的情況下,冪集合 Y 的成員數鐵定比原來集合 X 的成員數還多。直覺似乎告訴我們,既然所有自然數所形成的集合其成員數量已經是無限大,那麼它的冪集合成員數量頂多也是無限大,因為不可能有比無限大更大的數量了。照理說兩者的成員數目應該一樣多才對,照這麼說的話那麼ZF7並沒有提供比ZF6更新鮮的東西。
但在羅素詭論的歷史教訓下,我們在數學領域還是對直覺適度存疑比較妥當。還是按照這個假設來做個實驗,看看 X 集合的冪集合 Y 所擁有的成員數目是否跟 X 集合一樣多。方法是這樣的:假設 Y 的成員和自然數的無限集合一樣多,那它的每個成員必然可以跟自然數對上號,那表示我們可以把它們 ( X 所有的子集合) 用S1, S2, S3,…, Sn,… 來編號排列,其中每個Sk (k=1, 2, 3…)都是 X 的子集合。可以用下表來說明:
1990 年,融合蛋白 CD4 免疫黏附素(CD4 immunoadhesin)誕生。這項設計,是為了對付令人類聞風喪膽的 HIV 病毒。
-----廣告,請繼續往下閱讀-----
我們知道 T 細胞是人體中一種非常重要的白血球。在這些 T 細胞中,大約有六到七成表面帶有一個叫做「CD4」的輔助受體。CD4 會和另一個受體 TCR 一起合作,幫助 T 細胞辨識其他細胞表面的抗原片段,等於是 T 細胞用來辨認壞人的「探測器」。表面擁有 CD4 受體的淋巴球,就稱為 CD4 淋巴球。
麻煩的來了。 HIV 病毒反將一軍,竟然把 T 細胞的 CD4 探測器,當成了自己辨識獵物的「標記」。沒錯,對 HIV 病毒來說,免疫細胞就是它的獵物。HIV 的表面有一種叫做 gp120 的蛋白,會主動去抓住 T 細胞上的 CD4 受體。
而另一端的 Fc 區域則有兩個重要作用:一是延長融合蛋白在體內的存活時間;二是理論上能掛上「這裡有敵人!」的標籤,這種機制稱為抗體依賴性細胞毒殺(ADCC)或免疫吞噬作用(ADCP)。當免疫細胞的 Fc 受體與 Fc 區域結合,就能促使免疫細胞清除被黏住的病毒顆粒。
不過,這裡有個關鍵細節。
在實際設計中,CD4免疫黏附素的 Fc 片段通常會關閉「吸引免疫細胞」的這個技能。原因是:HIV 專門攻擊的就是免疫細胞本身,許多病毒甚至已經藏在 CD4 細胞裡。若 Fc 區域過於活躍,反而可能引發強烈的發炎反應,甚至讓免疫系統錯把帶有病毒碎片的健康細胞也一併攻擊,這樣副作用太大。因此,CD4 免疫黏附素的 Fc 區域會加入特定突變,讓它只保留延長藥物壽命的功能,而不會與淋巴球的 Fc 受體結合,以避免誘發免疫反應。
從 DNA 藍圖到生物積木:融合蛋白的設計巧思
融合蛋白雖然潛力強大,但要製造出來可一點都不簡單。它並不是用膠水把兩段蛋白質黏在一起就好。「融合」這件事,得從最根本的設計圖,也就是 DNA 序列就開始規劃。
我們體內的大部分蛋白質,都是細胞照著 DNA 上的指令一步步合成的。所以,如果科學家想把蛋白 A 和蛋白 B 接在一起,就得先把這兩段基因找出來,然後再「拼」成一段新的 DNA。