发条火箭[编辑]
《发条火箭》(英语: 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.