愈 接近 1時 ， 度量 係數 就 會 變 得 愈 大 ， 因而 以 龐卡赫 度量 測量 的 線段 長度 也 就 愈 大 。 例如 沿著 直線 y = x 或 45 度 方向 往 圓盤 邊緣 靠近 時 ， 當 x = 0.7 且 y = 0.7 時 （ 半徑 大約 0.99 ） ， G11 和 G22 約 等於 10,000 。 當 x = 0.705 且 y = 0.705 時 （ 半徑 約 0.997 ） ， G11 和 G22 大約 是 100,000 ； 當 x = 0.7071 且 y = 0.7071 時 （ 半徑 約 __UNDEF__ 0.99999 ） ， G11 和 G22 會 超過 100億 。 愈 靠近 龐卡赫 圓盤 邊界 ， 這些 係數 不 只 是 變大 ， 而是 接近 無窮 大 ， 從 原點 到 圓盤 邊界 的 距離 也 是 如此 。 如果 你 是 住 在 龐卡赫 圓盤 上 的 一 隻 往 外 爬 的 小 蟲子 ， 我 得 告訴 你 一 個 壞 消息 ： 你 永遠 爬 不 到 圓盤 的 邊界 。 好 消息 則 是 ： 其實 你 的 損失 也 不 大 ， 因為 以 龐卡赫 圓盤 這 個 空間 而言 ， 它 其實 是 沒有 邊界 的 。 只有 在 我們 把 這 個 半徑 為 1 的 開圓盤 想成 是 平面 上 的 普通 圓盤 ， 它 才 會 以 單位 圓 作為 邊界 。 但 如果 想成 是 以 龐卡赫 度量 來 測量 長度 的 龐卡赫 圓盤 本身 ， 這 個 圓盤 並 沒有 邊界 ， 任何 想 爬到 邊界 的 蟲子 ， 都 只 能 抱憾 而 終 。 這 個 大家 不 熟悉 、 甚至 有點 違反 直覺 的 事實 ， 是 來自於 由 龐卡赫 度量 定義 的 單位 圓盤 所 具有 的 負曲率 。 預備 知識 ─ 凱勒 流形 的 內在 對稱性 我們 花 了 點 時間 來 討論 度量 ， 是 為 了 要 對 凱勒 度量 和 具備 這 種 度量 的 凱勒 流形 能夠 稍微 有點 概念 。 一 個 度量 是否 為 凱勒 ， 和 在 空間 上 移動 時 ， 度量 如何 變化 有關 。 凱勒 流形 是 一 組 叫做 「 厄米特 流形 」 （ Hermitian manifold ） 的 複流形 的 子類 。 在 厄米特 流形 上 ， 你 可以 把 複數 坐 標 的 原點 放 在 任何 一 點 上 ， 它 在 該 點 上 的 度量 看起來 像是 標準 的 歐氏 幾何 度量 。 但 當 你 離開 該 點 時 ， 它 的 度量 就 愈來愈 不 像 歐氏 的 。 更 明確 的 說 ， 當 移動到 與 原點 的 距離 為 ε時 ， 度量 係數 本身 的 改變 差異 大致 是 ε倍 。 我們 將 這樣 的 流形 稱為 「 一 階 歐氏 空間 」 。 所以 如果 ε 是 0.001 英寸 ， 當 我們 離開 ε 距離 時 ， 厄米特 度量 的 係數 與 原先 的 差距 會 維持 在 約 0.001 英寸 的 誤差 內 。 至於 凱勒 流形 則 是 「 二階 歐氏 空間 」 ， 這 表示 它 的 度量 會 更加 穩定 ； 當 與 原點 的 距離 為 ε時 ， 凱勒 流形 的 度量 係數 的 改變 大致 是 ε2 倍 。 沿用 前面 的 例子 ， 當 ε = 0.001 英寸 時 ， 度量 的 變化 誤差 只有 0.000001 英寸 。 為何 卡拉比 要 特別 重視 凱勒 流形 呢 ？ 要 回答 這 個 問題 ， 我們 得 先 考慮 可能 的 選擇 範圍 。 比方說 ， 如果 真的 想要 嚴格 限制 ， 你 可以 堅持 流形 必須 是 完全 平坦 的 。 但 只要 是 二 維 以上 的 任何 維度 ， 唯一 完全 平坦 的 緊緻 流形 就 只有 環面 或 它 的 近親 。 就 流形 而言 ， 環面 其實 相當 簡單 ， 因而 也 相當 受限 。 我們 希望 能夠 更 多樣 ， 看到 更多 可能性 。 至於 厄米特 流形 ， 則 又 嫌 限制 太少 ， 它 的 可能性 太多 太多 了 。 於是 介於 厄米特 和平坦 之間 的 凱勒 流形 ， 正 具有 幾何學家 經常 尋找 的 那 種 特質 ： 它們 具有 足夠 多 的 結構 ， 因此 不會 難以 操作 ， 但是 結構 又 不會 多 到 限制 過多 ， 以致於 根本 找 不 到 符合 你 的 明確 條件 的 流形 。 關注 凱勒 流形 的 另 一 原因 ， 是 我們 可以 使用 黎曼 發明 的 工具 來 研究 這些 流形 。 早 在 愛因斯坦 的 時代 ， 他 就 利用 其中 一些 工具 來 研究 物理 問題 。 這些 工具 可以 用於 屬於 厄米特 流形子類 的 凱勒 流形 ， 但 並 不 適用 於 全部 的 厄米特 流形 。 我們 之所以 想 使用 這些 工具 ， 是 因為 自 黎曼 發展 之 始 ， 它們 就 已 相當 強大 ， 而 數學家 又 花 了 一 個 世紀 繼續 加以 磨礪 。 因此 ， 既然 我們 已 掌握 了 探索 它們 的 工具 ， 這 就 使得 凱勒 流形 成為 特別 誘人 的 選擇 了 。 不過 原因 尚 不僅 止於 此 。 卡拉比 還 對 這些 流形 所 具有 的 幾 種 對稱性 感到 興趣 ， 這些 對稱性 和 流形 的 切 空間 （ tangent space ） 有關 ， 切 空間 就 像 曲線 各 點 的 切線 、 曲面 各 點 的 切面 一樣 ， 是 由 （ 切 ） 向量 所 構成 的 。 凱勒 流形 和 所有 厄米特 流形 一樣 ， 可以 將 流形 上 的 向量 乘以 虛數 單位 i ， 因此 具有 某 種 旋轉 對稱性 。 在 複一維時 ， 切 空間 相當於 複數 平面 ， 複數 a + bi 可用點 （ a , b ） 來 表示 。 假定 （ a , b ） 定義 了 一 個 以 原點 為 起點 的 向量 ， 當 我們 把 這 個 向量 乘以 i 時 ， 它 的 長度 不變 ， 方向 則 旋轉 了 90 度 。 我們 不妨 以 點 （ a , b ） 、 即 a + bi 為 例 。 a + bi 乘以 i 得到 aib ， 或 寫成 b + ai ， 對應到 複數 平面 上 新 的 一 點 __UNDEF__ （ b , a ） ， 這 點 所 定義 的 向量 與 原 向量 垂直 且 長度 相同 。 如果 把 點 （ a , b ） 和 （ b , a ） 畫 在 普通 的 笛卡兒 坐標 上 ， 然後 測量 連到 這 兩 點 的 向量 的 夾角 ， 兩 向量 確實 垂直 。 這 種 把 x 坐 標值 換成 -y ， 並且 把 y 坐 標值 換成 x 的 運算 ， 稱為 「 J 變換 」 （ J trans formation ） ， 它 就 像是 乘以 i 這 個 作用 的 實數 版本 。 做 兩 次 J 變換 （ 可 記成 J2 ） 和 乘以 1 的 結果 是 相同 的 。 在 接下來 的 討論 ， 我們 改用 J 變換 來 代替 i ， 因為 不管 是 在 腦海 裡 或 在 紙 上 描繪 時 ， 用實 坐標 都 比 用 複平面 來得 容易 。 再 強調 一 次 ， 請 記得 J 變換 在 複一維時 ， 是 將 i 的 複數 乘法 解釋成 二 維 空間 的 一 種 變換 。 所有 厄米特 流形 都 有 這 種 對稱性 ： J 變換 把 向量 旋轉 90 度 ， 但 維持 其 長度 不變 。 凱勒 流形