發條火箭[編輯]
《發條火箭》(英語: The Clockwork Rocket)是澳大利亞作家格雷格·伊根於2011年創作的科幻小說[1]。本書是「正交宇宙」(英語: Orthogonal)的第一部,由Night Shade Books[2]與維克多·格蘭茨出版社[3]出版。三部曲的其他小說是《永恆烈焰》與《時間之箭》。
簡介
背景
該小說獲得了 2012 年軌跡獎最佳科幻小說獎提名,並獲得第 13 名[4]。
日文譯本於 2016 年由 Hayakawa Publishing 出版[5]。 譯者為山岸真與中村融[6][7]。
外部連結
永恆烈焰[編輯]
《永恆烈焰》(英語: The Eternal Flame)是澳大利亞作家格雷格·伊根於2012年創作的科幻小說[8]。本書是「正交宇宙」(英語: Orthogonal)的第二部,由Night Shade Books[9]與維克多·格蘭茨出版社[10]出版。三部曲的其他小說是《發條火箭》與《時間之箭》。
簡介
背景
該小說獲得了 2013 年軌跡獎最佳科幻小說獎提名,並獲得第 20 名[11]。
日文譯本於 2016 年由 Hayakawa Publishing 出版[12]。 譯者為山岸真與中村融[13][14]。
外部連結
時間之箭[編輯]
《時間之箭》(英語: The Arrows of Time)是澳大利亞作家格雷格·伊根於2013年創作的科幻小說[15]。本書是「正交宇宙」(英語: Orthogonal)的第三部,由Night Shade Books[16]與維克多·格蘭茨出版社[17]出版。三部曲的其他小說是《發條火箭》與《永恆烈焰》。
簡介
背景
該小說獲得了 2014 年軌跡獎最佳科幻小說獎提名,並獲得第 14 名[18]。
日文譯本於 2017 年由 Hayakawa Publishing 出版。 譯者為山岸真與中村融[19][20]。
外部連結
艾倫伯格-麥克蘭恩空間[編輯]
在代數拓撲學中,艾倫伯格-麥克蘭恩空間(英語: Eilenberg–MacLane space)是一個特別的拓撲空間只有一個不瑣碎既約同倫群。
定義
引理
- XXXX:
。
- 圈空間的一個艾倫伯格-麥克蘭恩空間也是一個艾倫伯格–麥克蘭恩空間:
。
- 多爾–德托姆定理(Dold–Thom theorem, 在Algebraic Topology[21]中看到Theorem 4K.6.): 無限對稱積的一個摩爾空間是一個艾倫伯格-麥克蘭恩空間:
。
- 根據定義,艾倫伯格-麥克蘭恩空間
是
-連接的。由胡列維茨定理得出:
![{\displaystyle H_{n}(K(G,n))\cong G}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d594e3d8ac44fe3f21783c5eaeb764a451f7f2d4)
。
例子
-球面
是
。(在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復形上的
主叢直到同構都與進入
的連續映射的同倫類是雙射的。同構是透過拉回叢的。
定義
有一個由
給出的實數格拉斯曼流形的典型包含。它們各自的余極限記為:
![{\displaystyle \operatorname {BO} (n):=\operatorname {Gr} _{n}(\mathbb {R} ^{\infty }):=\lim _{k\rightarrow \infty }\operatorname {Gr} _{n}(\mathbb {R} ^{k}).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c0d5b0678af4af77426ba9b693197dbf52123344)
最簡單的例子
是無窮維實射影空間
。(為了
。)
主叢的分類
給定拓撲空間
,其上直到同構的
主叢集合用
表示。如果
是CW復形,則映射:
![{\displaystyle [X,\operatorname {BO} (n)]\rightarrow \operatorname {Prin} _{\operatorname {O} (n)}(X),[f]\mapsto f^{*}\operatorname {EO} (n)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e967860b47b1b5bffa63c4b84e8448c6d2ef97bd)
是雙射的。
上同調環
係數取
的上同調環是:[22][23]
![{\displaystyle H^{*}(\operatorname {BO} (n);\mathbb {Z} _{2})=\mathbb {Z} _{2}[w_{1},\ldots ,w_{n}].}](https://wikimedia.org/api/rest_v1/media/math/render/svg/15e38e355c3e9db3988f79d27d43ffd0a81c4cd1)
無窮分類空間
典範夾雜
在它們各自的分類空間上引起典範夾雜
。它們各自的余極限記為:
![{\displaystyle \operatorname {O} :=\lim _{n\rightarrow \infty }\operatorname {O} (n);}](https://wikimedia.org/api/rest_v1/media/math/render/svg/de6b3532d085f551e039892b7b70f95592745822)
![{\displaystyle \operatorname {BO} :=\lim _{n\rightarrow \infty }\operatorname {BO} (n).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5df0c75366d671c3d0c902ba2b3574f07480ecc3)
確實是
的分類空間。
另見
參考文獻
外部連結
酉群的分類空間[編輯]
數學中,特別是K-理論與代數拓撲中,酉群
的分類空間
是通用
主叢
的基空間。這意味著,CW復形上的
主叢直到同構都與進入
的連續映射的同倫類是雙射的。同構是透過拉回叢的。
定義
有一個由
給出的複數格拉斯曼流形的典型包含。它們各自的余極限記為:
![{\displaystyle \operatorname {BU} (n):=\operatorname {Gr} _{n}(\mathbb {C} ^{\infty }):=\lim _{k\rightarrow \infty }\operatorname {Gr} _{n}(\mathbb {C} ^{k}).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/24451c314a854f6a132dc5cf52cd50aaebd3599e)
最簡單的例子
是無窮維復射影空間
。(為了
。)
主叢的分類
給定拓撲空間
,其上直到同構的
主叢集合用
表示。如果
是CW復形,則映射:
![{\displaystyle [X,\operatorname {BU} (n)]\rightarrow \operatorname {Prin} _{\operatorname {U} (n)}(X),[f]\mapsto f^{*}\operatorname {EU} (n)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9a81f055b786420e39c6877455e4eabcd64f16a4)
是雙射的。
上同調環
係數取
的上同調環是:[24]
![{\displaystyle H^{*}(\operatorname {BU} (n);\mathbb {Z} )=\mathbb {Z} [c_{1},\ldots ,c_{n}].}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3d8ba5412b49b3afd3226c9732af443a008f7962)
無窮分類空間
典範夾雜
在它們各自的分類空間上引起典範夾雜
。它們各自的余極限記為:
![{\displaystyle \operatorname {U} :=\lim _{n\rightarrow \infty }\operatorname {U} (n);}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3baf4d8f5c1c3f21b375523ca3664efd120157c7)
![{\displaystyle \operatorname {BU} :=\lim _{n\rightarrow \infty }\operatorname {BU} (n).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/77a6f8366ff89bc53a151e9d204d4f509205897c)
確實是
的分類空間。
另見
參考文獻
外部連結
特殊正交群的分類空間[編輯]
數學中,特別是K-理論與代數拓撲中,特殊正交群
的分類空間
是通用
主叢
的基空間。這意味著,CW復形上的
主叢直到同構都與進入
的連續映射的同倫類是雙射的。同構是透過拉回叢的。
定義
有一個由
給出的可定向實數格拉斯曼流形的典型包含。它們各自的余極限記為:
![{\displaystyle \operatorname {BSO} (n):={\widetilde {\operatorname {Gr} }}_{n}(\mathbb {R} ^{\infty }):=\lim _{k\rightarrow \infty }{\widetilde {\operatorname {Gr} }}_{n}(\mathbb {R} ^{k}).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/eccc9bc5c62bbe72834f5dc79837367ee440dd06)
最簡單的例子
- 由於
是瑣碎群,
適用。
- 由於
,
適用。
主叢的分類
給定拓撲空間
,其上直到同構的
主叢集合用
表示。如果
是CW復形,則映射:
![{\displaystyle [X,\operatorname {BSO} (n)]\rightarrow \operatorname {Prin} _{\operatorname {SO} (n)}(X),[f]\mapsto f^{*}\operatorname {ESO} (n)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f1b8061607fe04a9c999bb55239d2b654e927521)
是雙射的。
上同調環
係數取
的上同調環是:[25][26]
![{\displaystyle H^{*}(\operatorname {BSO} (n);\mathbb {Z} _{2})=\mathbb {Z} _{2}[w_{2},\ldots ,w_{n}].}](https://wikimedia.org/api/rest_v1/media/math/render/svg/587e2e35410acc6c185beb8cfb5fa2fcdfc382fd)
無窮分類空間
典範夾雜
在它們各自的分類空間上引起典範夾雜
。它們各自的余極限記為:
![{\displaystyle \operatorname {SO} :=\lim _{n\rightarrow \infty }\operatorname {SO} (n);}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b65a6921e07e16d03c61a1c4cd94d64788166d60)
![{\displaystyle \operatorname {BSO} :=\lim _{n\rightarrow \infty }\operatorname {BSO} (n).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7cbff7cd6209871275912a2c92657f93cdcb1e05)
確實是
的分類空間。
另見
參考文獻
外部連結
特殊酉群的分類空間[編輯]
數學中,特別是K-理論與代數拓撲中,特殊酉群
的分類空間
是通用
主叢
的基空間。這意味著,CW復形上的
主叢直到同構都與進入
的連續映射的同倫類是雙射的。同構是透過拉回叢的。
定義
有一個由
給出的可定向複數格拉斯曼流形的典型包含。它們各自的余極限記為:
![{\displaystyle \operatorname {BSU} (n):={\widetilde {\operatorname {Gr} }}_{n}(\mathbb {C} ^{\infty }):=\lim _{k\rightarrow \infty }{\widetilde {\operatorname {Gr} }}_{n}(\mathbb {C} ^{k}).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d85d944d579da12fc183ed25bd58b00117e772ec)
最簡單的例子
- 由於
是瑣碎群,
適用。
- 由於
,
適用。
主叢的分類
給定拓撲空間
,其上直到同構的
主叢集合用
表示。如果
是CW復形,則映射:
![{\displaystyle [X,\operatorname {BSU} (n)]\rightarrow \operatorname {Prin} _{\operatorname {SU} (n)}(X),[f]\mapsto f^{*}\operatorname {ESU} (n)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9a1de90868ee28d3ffe85dd4e8512e0ba8156b08)
是雙射的。
上同調環
係數取
的上同調環是:[27]
![{\displaystyle H^{*}(\operatorname {BSU} (n);\mathbb {Z} )=\mathbb {Z} [c_{2},\ldots ,c_{n}].}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3c3372da5690419386b3bbfd72f93506a525540f)
無窮分類空間
典範夾雜
在它們各自的分類空間上引起典範夾雜
。它們各自的余極限記為:
![{\displaystyle \operatorname {SU} :=\lim _{n\rightarrow \infty }\operatorname {SU} (n);}](https://wikimedia.org/api/rest_v1/media/math/render/svg/55998498abdfa3d0a5f353d57d479605e2e8fae5)
![{\displaystyle \operatorname {BSU} :=\lim _{n\rightarrow \infty }\operatorname {BSU} (n).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a530817e33f50b0f4716a9a23bff10ab22330077)
確實是
的分類空間。
另見
參考文獻
外部連結
同倫球面[編輯]
數學中,特別是代數拓撲中,同倫球面是
定義
性質
例子
外部連結
有理同倫球面[編輯]
數學中,特別是代數拓撲中,有理同倫球面是
定義
性質
例子
外部連結
有理同調球面[編輯]
數學中,特別是代數拓撲中,有理同調球面是
定義
性質
例子
外部連結
二維楊-米爾斯理論[編輯]
在微分幾何中,二維楊-米爾斯理論(也D=2楊-米爾斯理論,短D=2 YM)是在二維度流形上的特例。在這種特殊情況下,可以在主纖維束的所有連接空間及其軌道空間上構建關於軌距組的楊-米爾斯測度。
基礎知識
讓
是一個具有李代數
的李群,
是一個
-主叢,其中
是一個可定向黎曼2-流形。讓
是聯絡與
是曲率格式。由於
是二維的,因此可以對
進行積分。(這需要黎曼結構。)根據陳-韋伊理論,這給出了主纖維束的第一陳類(定義為配向量叢
的第一陳類):
![{\displaystyle \langle c_{1}(E),[B]\rangle =\langle c_{1}(\operatorname {Ad} (E)),[B]\rangle =-{\frac {i}{2\pi }}\int _{B}\operatorname {tr} (F_{A})\in \mathbb {Z} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/424de3018da67c1d35f3df0153f74d4237d0211e)
為簡化起見,第一陳類
與定向(也包含在積分中)給出的類
的克羅內克配對經常被省略。然而,在這種情況下,方程是將一個余調類與一個整數進行比較。
特例
在楊-米爾斯方程
中,霍奇對偶
也應用於曲率形式
。為了
是二維的,因此會產生一個0-微分形式
。
另見
四維楊-米爾斯理論[編輯]
在微分幾何中,四維楊-米爾斯理論(也D=4楊-米爾斯理論,短D=4 YM)是在四維度流形上的特例。在這種特殊情況下,允許將二階楊-米爾斯方程還原為更簡單的一階(反)自雙楊-米爾斯方程。
基礎知識
讓
是一個具有李代數
的李群,
是一個
-主叢,其中
是一個可定向黎曼4-流形。讓
是聯絡與
是曲率格式。由於
是四維的,因此可以對
進行積分。(這需要黎曼結構。)根據陳-韋伊理論,這給出了主纖維束的第二陳類(定義為配向量叢
的第二陳類):
![{\displaystyle \langle c_{2}(E),[B]\rangle =\langle c_{2}(\operatorname {Ad} (E)),[B]\rangle =-{\frac {i}{2\pi }}\int _{B}\operatorname {tr} (F_{A}\wedge F_{A})\in \mathbb {Z} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/c36c04b897d717309f9ed26e1466d5365f960eec)
為簡化起見,第一陳類
與定向(也包含在積分中)給出的類
的克羅內克配對經常被省略。然而,在這種情況下,方程是將一個余調類與一個整數進行比較。
特例
在楊-米爾斯方程
中,霍奇對偶
也應用於曲率形式
。為了
是四維的,因此會產生一個2-微分形式
。
另見
希爾伯特流形[編輯]
希爾伯特流形是
參見
外部連結
巴拿赫流形[編輯]
巴拿赫流形是
參見
外部連結
弗雷歇流形[編輯]
弗雷歇流形是
參見
外部連結
希爾伯特-李群[編輯]
希爾伯特-李群是希爾伯特流形
參見
外部連結
巴拿赫-李群[編輯]
巴拿赫-李群是巴拿赫流形
參見
外部連結
弗雷歇-李群[編輯]
弗雷歇-李群是弗雷歇流形
參見
外部連結
希爾伯特-李代數[編輯]
希爾伯特-李代數是希爾伯特空間
參見
外部連結
巴拿赫-李代數[編輯]
巴拿赫-李代數是巴拿赫空間
參見
外部連結
弗雷歇-李代數[編輯]
弗雷歇-李代數是弗雷歇空間
參見
外部連結
參考文獻[編輯]
- ^ Title: The Clockwork Rocket. [2023-12-27] (英語).
- ^ Greg Egan. The Clockwork Rocket. Night Shade. 2011-07-01. ISBN 9781597802277 (英語).
- ^ Greg Egan. The Clockwork Rocket. Gollancz. 2011-09-11. ISBN 9780575095151 (英語).
- ^ Locus Awards 2012 (英語).
- ^ クロックワーク・ロケット. [2023-12-27] (英語).
- ^ SFエンタテインメントの新叢書 新☆ハヤカワ・SF・シリーズ. [2023-12-27] (日語).
- ^ Greg Egan. Greg Egan Bibliography. 1997-10-25 (英語).
- ^ Title: The Eternal Flame. [2023-12-27] (英語).
- ^ Greg Egan. The Eternal Flame. Night Shade. 2012-08-26. ISBN 9781597802932 (英語).
- ^ Greg Egan. The Eternal Flame. Gollancz. 2013-08-08. ISBN 9780575105737 (英語).
- ^ Locus Awards 2013.
- ^ エターナル・フレイム. [2023-12-27] (英語).
- ^ SFエンタテインメントの新叢書 新☆ハヤカワ・SF・シリーズ. [2023-12-27] (日語).
- ^ Greg Egan. Greg Egan Bibliography. 1997-10-25 (英語).
- ^ Title: The Arrows of Time. [2023-12-27] (英語).
- ^ Greg Egan. The Arrows of Time. Night Shade. 2014-08-05. ISBN 978-1-59780-487-5 (英語).
- ^ Greg Egan. The Arrows of Time. Gollancz. 2013-11-21. ISBN 978-0-575-10579-9 (英語).
- ^ Locus Awards 2014. [2023-12-28] (英語).
- ^ SFエンタテインメントの新叢書 新☆ハヤカワ・SF・シリーズ. [2023-12-27] (日語).
- ^ Greg Egan. Greg Egan Bibliography. 1997-10-25 (英語).
- ^ 21.0 21.1 21.2 21.3 21.4 21.5 Allen Hatcher "Algebraic Topology",Cambridge University Press , 2001. Abgerufen am 14. Juni 2021.
- ^ Milnor & Stasheff, Theorem 7.1 on page 83
- ^ Hatcher 02, Theorem 4D.4.
- ^ Hatcher 02, Theorem 4D.4.
- ^ Milnor & Stasheff, Theorem 12.4.
- ^ Hatcher 02, Example 4D.6.
- ^ Hatcher 02, Example 4D.7.