《發條火箭》(英語: The Clockwork Rocket)是澳大利亞作家格雷格·伊根於2011年創作的科幻小說[1]。本書是「正交宇宙」(英語: Orthogonal)的第一部,由Night Shade Books[2]與維克多·格蘭茨出版社[3]出版。三部曲的其他小說是《永恆烈焰》與《時間之箭》。
簡介
背景
該小說獲得了 2012 年軌跡獎最佳科幻小說獎提名,並獲得第 13 名[4]。
日文譯本於 2016 年由 Hayakawa Publishing 出版[5]。 譯者為山岸真與中村融[6][7]。
外部連結
在代數拓撲學中,艾倫伯格-麥克蘭恩空間(英語: Eilenberg–MacLane space)是一個特別的拓撲空間只有一個不瑣碎既約同倫群。
定義
引理
- XXXX:
- 。
- 圈空間的一個艾倫伯格-麥克蘭恩空間也是一個艾倫伯格–麥克蘭恩空間:
- 。
- 多爾–德托姆定理(Dold–Thom theorem, 在Algebraic Topology[21]中看到Theorem 4K.6.): 無限對稱積的一個摩爾空間是一個艾倫伯格-麥克蘭恩空間:
- 。
- 根據定義,艾倫伯格-麥克蘭恩空間 是 -連接的。由胡列維茨定理得出:
-
- 。
例子
- -球面 是 。(在Algebraic Topology[21]中看到Example 1B.1.)
- -環面 是 。(在Algebraic Topology[21]中看到Example 1B.5.)
- 無窮實射影空間 是 。(在Algebraic Topology[21]中看到Example 1B.3.)
- 無窮復射影空間 是 。(在Algebraic Topology[21]中看到Example 4.50.)
又見
在代數拓撲學中,摩爾空間(英語: Moore space)是一個特別的CW復形只有一個不瑣碎既約同調群。
定義
引理
- 雙角錐的一個摩爾空間也是一個摩爾空間:
- 。
- 多爾–德托姆定理(Dold–Thom theorem, 在Algebraic Topology[21]中看到Theorem 4K.6.): 無限對稱積的一個摩爾空間是一個艾倫伯格–麥克蘭恩空間:
- 。
- 如果摩爾空間 是單連通,使用胡列維茨定理 次給出 是 -連接的和:
- 。
例子
- -球面 是 。
- 實射影平面 是 。所以它的 -次雙角錐 是 。
又見
在代數拓撲學中,彼得森空間(英語: Peterson space)是一個特別的拓撲空間只有一個不瑣碎既約余調群。
定義
引理
例子
- -球面 是彼得森空間 。
又見
《醫院》是中國大陸作家韓松於2016年創作的科幻小說。本書是醫院三部曲的第一部。三部曲的其他小說是《驅魔》與《亡靈》。
簡介
背景
外部連結
《驅魔》是中國大陸作家韓松於2017年創作的科幻小說。本書是醫院三部曲的第二部。三部曲的其他小說是《醫院》與《亡靈》。
簡介
背景
外部連結
《亡靈》是中國大陸作家韓松於2018年創作的科幻小說。本書是醫院三部曲的第三部。三部曲的其他小說是《醫院》與《驅魔》。
簡介
背景
外部連結
從流浪地球到三體(英語: From the Wandering Earth to Three-Body)是中國作家吳言的非小說類。它解釋中國作家劉慈欣的星系,包括出版他最著名的作品,《流浪地球》(銀河獎 2000) 和《三體》(銀河獎 2006)。
三體中的物理學(英語: Physics in Three-Body)是中國作家李淼的非小說類。它解釋三體三部曲里的概念背後的物理學(也見三體用語列表)。
數學中,特別是K-理論與代數拓撲中,正交群 的分類空間 是通用 主叢 的基空間。這意味着,CW復形上的 主叢直到同構都與進入 的連續映射的同倫類是雙射的。同構是透過拉回叢的。
定義
有一個由 給出的實數格拉斯曼流形的典型包含。它們各自的余極限記為:
-
最簡單的例子
- 是無窮維實射影空間 。(為了 。)
主叢的分類
給定拓撲空間 ,其上直到同構的 主叢集合用 表示。如果 是CW復形,則映射:
-
是雙射的。
上同調環
係數取 的上同調環是:[22][23]
-
無窮分類空間
典範夾雜 在它們各自的分類空間上引起典範夾雜 。它們各自的余極限記為:
-
-
確實是 的分類空間。
另見
參考文獻
外部連結
數學中,特別是K-理論與代數拓撲中,酉群 的分類空間 是通用 主叢 的基空間。這意味着,CW復形上的 主叢直到同構都與進入 的連續映射的同倫類是雙射的。同構是透過拉回叢的。
定義
有一個由 給出的複數格拉斯曼流形的典型包含。它們各自的余極限記為:
-
最簡單的例子
- 是無窮維復射影空間 。(為了 。)
主叢的分類
給定拓撲空間 ,其上直到同構的 主叢集合用 表示。如果 是CW復形,則映射:
-
是雙射的。
上同調環
係數取 的上同調環是:[24]
-
無窮分類空間
典範夾雜 在它們各自的分類空間上引起典範夾雜 。它們各自的余極限記為:
-
-
確實是 的分類空間。
另見
參考文獻
外部連結
數學中,特別是K-理論與代數拓撲中,特殊正交群 的分類空間 是通用 主叢 的基空間。這意味着,CW復形上的 主叢直到同構都與進入 的連續映射的同倫類是雙射的。同構是透過拉回叢的。
定義
有一個由 給出的可定向實數格拉斯曼流形的典型包含。它們各自的余極限記為:
-
最簡單的例子
- 由於 是瑣碎群, 適用。
- 由於 , 適用。
主叢的分類
給定拓撲空間 ,其上直到同構的 主叢集合用 表示。如果 是CW復形,則映射:
-
是雙射的。
上同調環
係數取 的上同調環是:[25][26]
-
無窮分類空間
典範夾雜 在它們各自的分類空間上引起典範夾雜 。它們各自的余極限記為:
-
-
確實是 的分類空間。
另見
參考文獻
外部連結
數學中,特別是K-理論與代數拓撲中,特殊酉群 的分類空間 是通用 主叢 的基空間。這意味着,CW復形上的 主叢直到同構都與進入 的連續映射的同倫類是雙射的。同構是透過拉回叢的。
定義
有一個由 給出的可定向複數格拉斯曼流形的典型包含。它們各自的余極限記為:
-
最簡單的例子
- 由於 是瑣碎群, 適用。
- 由於 , 適用。
主叢的分類
給定拓撲空間 ,其上直到同構的 主叢集合用 表示。如果 是CW復形,則映射:
-
是雙射的。
上同調環
係數取 的上同調環是:[27]
-
無窮分類空間
典範夾雜 在它們各自的分類空間上引起典範夾雜 。它們各自的余極限記為:
-
-
確實是 的分類空間。
另見
參考文獻
外部連結
數學中,特別是代數拓撲中,同倫球面是
定義
性質
例子
外部連結
數學中,特別是代數拓撲中,有理同倫球面是
定義
性質
例子
外部連結
數學中,特別是代數拓撲中,有理同調球面是
定義
性質
例子
外部連結
在微分幾何中,二維楊-米爾斯理論(也D=2楊-米爾斯理論,短D=2 YM)是在二維度流形上的特例。在這種特殊情況下,可以在主纖維束的所有連接空間及其軌道空間上構建關於軌距組的楊-米爾斯測度。
基礎知識
讓 是一個具有李代數 的李群, 是一個 -主叢,其中 是一個可定向黎曼2-流形。讓 是聯絡與 是曲率格式。由於 是二維的,因此可以對 進行積分。(這需要黎曼結構。)根據陳-韋伊理論,這給出了主纖維束的第一陳類(定義為配向量叢 的第一陳類):
-
為簡化起見,第一陳類 與定向(也包含在積分中)給出的類 的克羅內克配對經常被省略。然而,在這種情況下,方程是將一個余調類與一個整數進行比較。
特例
在楊-米爾斯方程 中,霍奇對偶 也應用於曲率形式 。為了 是二維的,因此會產生一個0-微分形式 。
另見
在微分幾何中,四維楊-米爾斯理論(也D=4楊-米爾斯理論,短D=4 YM)是在四維度流形上的特例。在這種特殊情況下,允許將二階楊-米爾斯方程還原為更簡單的一階(反)自雙楊-米爾斯方程。
基礎知識
讓 是一個具有李代數 的李群, 是一個 -主叢,其中 是一個可定向黎曼4-流形。讓 是聯絡與 是曲率格式。由於 是四維的,因此可以對 進行積分。(這需要黎曼結構。)根據陳-韋伊理論,這給出了主纖維束的第二陳類(定義為配向量叢 的第二陳類):
-
為簡化起見,第一陳類 與定向(也包含在積分中)給出的類 的克羅內克配對經常被省略。然而,在這種情況下,方程是將一個余調類與一個整數進行比較。
特例
在楊-米爾斯方程 中,霍奇對偶 也應用於曲率形式 。為了 是四維的,因此會產生一個2-微分形式 。
另見