可測基數

數學上，可測基數是一類大基數。為了定義此概念，考慮基數 κ 上僅取兩值（0 或 1）的測度。如此的測度可看成將 κ 的所有子集分成兩類：大和小，使得 κ 本身為大，但 ∅ 和所有單元素集合 $\{\alpha \},\alpha \in \kappa$ 皆為小，且小集的補集為大，反之亦然。同時還要求少於 κ 個大集的交集仍為大。

具有以上二值測度的不可數基數是大基數，ZFC 無法證明其存在。

可測基數的概念最早由斯塔尼斯拉夫·烏拉姆於 1930 年提出。

定義

可測基數的正式定義如下。可測基數是不可數的基數 κ, 其冪集上存在一個 κ-可加的二值的非平凡測度。此處，κ-可加 意思是，對任意一列長度為 λ < κ 的集合 A_α (α<λ), 若 A_α 是 κ 的兩兩不交的子集（即其元素為小於 κ 的序數），則 A_α 的並的測度等於逐個 A_α 測度之和。而 二值 意思是僅取值為 0 或 1。

等價的說法是， κ 可測當且僅當其為從全類 V 射向傳遞類 M 的某個非平凡基本嵌入的Template:Link-en。此項等價關係由Template:Link-en和達納·斯科特證明，其用到模型論中的超積構造。由於 V 是真類，取超積時，需要考慮某些平時無須考慮的技術問題，但可用Template:Link-en解決。

再換句話說，基數 κ 可測當且僅當其為不可數，且有 κ-完備的非主超濾子。此處 κ-完備意指，在超濾子中，取任意嚴格少於 κ 個集合，其交仍在超濾子中。

性質

雖然從 ZFC 可得，每個可測基數皆為不可達（且為Template:Link-en和Template:Link-en），但命題「有可測基數是Template:Link-en」與 ZF 相容。從 ZF+AD（決定公理）可得 ω₁ 可測，且 ω₁ 的每個子集必定包含某個閉無界集，或者與某個閉無界集不交。

烏拉姆證明了，若基數 κ 上有非平凡的可數可加二值測度，且 κ 是該些基數中最小的一個，則其上有 κ-可加的測度。（若有少於 κ 個零測集，其並集為 κ, 則此族子集上的導出測度是一個反例，其與 κ 的最小性矛盾。）由此，（利用選擇公理）可以證明，此種基數中最小的一個必不可達。證明如下：

若 κ 有非平凡的 κ-可加測度，則 κ 必為Template:Link-en。（因為其為非平凡且 κ-可加，任何元素個數比 κ 少的集合的測度皆為 0, 於是，再次使用 κ-可加性，可知 κ 不能表示成少於 κ 個大小小於 κ 的集合的並。）若 λ < κ, 則不能有 κ ≤ 2^λ，原因是：若果然有 κ ≤ 2^λ, 則可以視 κ 為若干列長為 λ 的 0-1 序列的集合。對於序列的每個位置，考慮該位為 1 的序列組成的子集，和該位為 0 的序列組成的子集，兩者之一的測度必為 1 。於是，得到 λ 個測度為 1 的子集，故其交集亦具有測度 1，但此交集僅得一個元素，即測度是平凡的，矛盾。所以，假定選擇公理，就得知 κ 是Template:Link-en。至此證畢 κ 為不可達基數。

若 κ 可測，p∈V_κ 且 M (V 的超冪) 滿足 ψ(κ,p)，則令 V 滿足 ψ(α,p) 的 α < κ 組成的集合是 κ 中的Template:Link-en（同時測度亦為 1 ）。 特別地，若 ψ 是 Π₁ 式，且 V 滿足 ψ(κ,p)， 則 M 亦滿足該式，故對於某個不動集中的 α < κ，V 滿足 ψ(α,p) 。此性質適用於證明 κ 是若干種（較可測基數弱的）大基數的極限。注意，見證 κ 可測的超濾子不能在 M 中，否則此種可測基數之中，最小的一個以下還有另一個，矛盾。

若從某個以 κ 為Template:Link-en 的基本嵌入 j₁ （從 V 到 M₁）着手，則先定義 κ 上的超濾子 U 為 { S⊆κ : κ∈j₁(S) }。然後，取 V 在 U 上的超冪，可得另一個基本嵌入 j₂，其將 V 嵌入到 M₂。然而，記得 j₂ ≠ j₁，所以其他種類的大基數，例如Template:Link-en，也可以同時可測，但並非利用同一個嵌入。可以證明，若強基數 κ 可測，則其下有 κ 多個可測基數。

每個可測基數 κ 皆為 0-Template:Link-en，因為 ^κM⊆M，即每個由 κ 射到 M 的函數也在 M 中。所以 V_κ+1⊆M。

實值可測

若基數 κ 的冪集上，有 κ-可加的概率測度，其於單元集的取值為零，則稱 κ 為實值可測。實值可測基數由Template:Harvs 引入。Template:Harvtxt 證明了連續統假設推出 $𝔠$ （連續統）並非實值可測。Template:Harvs 證明（以下給出一部分）了實值可測基數皆為弱不可達（事實上，亦是弱Template:Link-en）。所有可測基數皆為實值可測，而實值可測基數 κ 可測當且僅當 κ 大於 $𝔠$. 故一個基數可測當且僅當其既實值可測，又強不可達。小於或等於 $𝔠$ 的實值可測基數存在當且僅當勒貝格測度具有擴展到任意實數集的可列可加擴展，亦當且僅當某個非空集的冪集上，存在一個無Template:Link-en的概率測度。

Template:Harvtxt 證明了 ZFC 中可測基數的存在性，ZFC 中實值可測基數的存在性，與 ZF 中可測基數的存在性皆是Template:Link-en的。

實值可測基數皆弱不可達

稱基數

$\alpha$

為烏拉姆數若以下條件成立：

若

1. $\mu$ 是集合 $X$ 上的外測度，
2. $\mu (X)<\mathrm{\infty },$
3. $\mu (\{x\})=0,\mathrm{\forall }x\in X,$
4. 所有 $A\subset X$ 皆 Template:Math-可測,

則

$\mathrm{card}X\le \alpha \Rightarrow \mu (X)=0.$

等價地，基數

$\alpha$

為烏拉姆數若以下條件成立：

若

1. $\nu$ 為集合 $Y$ 上的外測度，且 $F$ 是 $Y$ 的若干不交子集組成的族，
2. $\nu (\bigcup F)<\mathrm{\infty },$
3. 對所有 $A\in F,$ $\nu (A)=0.$
4. 對所有 $G\subset F,$ $\bigcup G$ 皆為 Template:Math-可測，

則

$\mathrm{card}F\le \alpha \Rightarrow \nu (\bigcup F)=0.$

最小的無窮基數

${\mathrm{\aleph }}_0$

為烏拉姆數。全體烏拉姆數組成的類關於後繼運算封閉（即若某基數為烏拉姆數，則其Template:Link-en亦為烏拉姆數。） 證明如下。設烏拉姆數

$\alpha$

的後繼基數是無窮基數

$\beta$

, 又不妨只考慮取

$X=\beta$

. 設

$\mu$

滿足條件 Template:Math, 則只需證明

$\mu (\beta )=0.$

按序數的馮·諾伊曼定義，揀單射

$f_x:x\to \alpha ,\mathrm{\forall }x\in \beta ,$

並定義集合

$U(b,a)=\{x\in \beta :f_x(b)=a\},a\in \alpha ,b\in \beta .$

因為

$f_x$

為單射，對於固定的

$a$

, 集族

$\{U(b,a):b\in \beta \}$

是不交族。此外，對於固定的

$b$

, 集族

$\{U(b,a):a\in \alpha \}$

亦是不交族。根據

$\mu$

的性質 (2), 集合

$\{b\in \beta :\mu (U(b,a))>0\}$

可數，故

$\mathrm{card}\{(b,a)\in \beta \times \alpha |\mu (U(b,a))>0\}\le {\mathrm{\aleph }}_0\cdot \alpha =\alpha .$

所以，存在

$b_0$

使得

$\mu (U(b_0,a))=0\mathrm{\forall }a\in \alpha ,$

而由於

$\alpha$

是烏拉姆數，由第二定義（取

$\nu =\mu$

, 則條件 Template:Math 皆符合），可得

$\mu (\bigcup _{a\in \alpha }U(b_0,a))=0.$

若

$b_0<x<\beta ,$

則

$f_x(b_0)=a_x\Rightarrow x\in U(b_0,a_x).$

所以

$\beta =b_0\cup \{b_0\}\cup \bigcup _{a\in \alpha }U(b_0,a),$

由性質 Template:Math,

$\mu \{b_0\}=0,$

又因為

$\mathrm{card}{b}_0\le \alpha$

, 由性質 Template:Math 和 Template:Math, 得到

$\mu (b_0)=0.$

由此得到

$\mu (\beta )=0.$

至此證畢

$\beta$

為烏拉姆數。 類似可證 若

$S$

為烏拉姆數多個烏拉姆數組成的集合，則其上確界亦為烏拉姆數。結合前一個結論，得知若某基數並非烏拉姆數，則必為弱不可達基數。

相關條目

• Template:Link-en
• Template:Link-en
• Template:Link-en

參考資料

• Template:Citation.
• Template:Citation.
• Template:Citation.
• Template:Citation.
• Template:Citation.
• Template:Citation.
• Template:Citation. 該文章的第一與第二部分（連同訂正）可於作者網頁 Template:Wayback下載。
• Template:Citation.
• Template:Citation.