User:Samuel Adrian Antz/Drafts

發條火箭

编辑

發條火箭》(英语: 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.): 无限对称积的一个摩尔空间是一个艾伦伯格-麦克兰恩空间:
     
  • 根据定义,艾伦伯格-麦克兰恩空间  -连接的。由胡列维茨定理得出:
     
     

例子

  •  -球面  。(在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复形只有一个不琐碎既约同调群

定义

引理

例子

  •  -球面  
  • 实射影平面  。所以它的 -次双角锥  

又见

彼得森空间

编辑

代数拓扑学中,彼得森空间(英语: 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-微分形式 

另见

希尔伯特流形

编辑

希尔伯特流形

参见

外部链接

巴拿赫流形

编辑

巴拿赫流形

参见

外部链接

弗雷歇流形

编辑

弗雷歇流形

参见

外部链接

希尔伯特-李群

编辑

希尔伯特-李群希尔伯特流形

参见

外部链接

巴拿赫-李群

编辑

巴拿赫-李群巴拿赫流形

参见

外部链接

弗雷歇-李群

编辑

弗雷歇-李群弗雷歇流形

参见

外部链接

希尔伯特-李代数

编辑

希尔伯特-李代数希尔伯特空间

参见

外部链接

巴拿赫-李代数

编辑

巴拿赫-李代数巴拿赫空间

参见

外部链接

弗雷歇-李代数

编辑

弗雷歇-李代数弗雷歇空间

参见

外部链接

参考文献

编辑
  1. ^ Title: The Clockwork Rocket. [2023-12-27] (英语). 
  2. ^ Greg Egan. The Clockwork Rocket. Night Shade. 2011-07-01. ISBN 9781597802277 (英语). 
  3. ^ Greg Egan. The Clockwork Rocket. Gollancz. 2011-09-11. ISBN 9780575095151 (英语). 
  4. ^ Locus Awards 2012 (英语). 
  5. ^ クロックワーク・ロケット. [2023-12-27] (英语). 
  6. ^ SFエンタテインメントの新叢書 新☆ハヤカワ・SF・シリーズ. [2023-12-27] (日语). 
  7. ^ Greg Egan. Greg Egan Bibliography. 1997-10-25 (英语). 
  8. ^ Title: The Eternal Flame. [2023-12-27] (英语). 
  9. ^ Greg Egan. The Eternal Flame. Night Shade. 2012-08-26. ISBN 9781597802932 (英语). 
  10. ^ Greg Egan. The Eternal Flame. Gollancz. 2013-08-08. ISBN 9780575105737 (英语). 
  11. ^ Locus Awards 2013. 
  12. ^ エターナル・フレイム. [2023-12-27] (英语). 
  13. ^ SFエンタテインメントの新叢書 新☆ハヤカワ・SF・シリーズ. [2023-12-27] (日语). 
  14. ^ Greg Egan. Greg Egan Bibliography. 1997-10-25 (英语). 
  15. ^ Title: The Arrows of Time. [2023-12-27] (英语). 
  16. ^ Greg Egan. The Arrows of Time. Night Shade. 2014-08-05. ISBN 978-1-59780-487-5 (英语). 
  17. ^ Greg Egan. The Arrows of Time. Gollancz. 2013-11-21. ISBN 978-0-575-10579-9 (英语). 
  18. ^ Locus Awards 2014. [2023-12-28] (英语). 
  19. ^ SFエンタテインメントの新叢書 新☆ハヤカワ・SF・シリーズ. [2023-12-27] (日语). 
  20. ^ Greg Egan. Greg Egan Bibliography. 1997-10-25 (英语). 
  21. ^ 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.
  22. ^ Milnor & Stasheff, Theorem 7.1 on page 83
  23. ^ Hatcher 02, Theorem 4D.4.
  24. ^ Hatcher 02, Theorem 4D.4.
  25. ^ Milnor & Stasheff, Theorem 12.4.
  26. ^ Hatcher 02, Example 4D.6.
  27. ^ Hatcher 02, Example 4D.7.