李群胚
在数学中,李群胚()是满足如下条件的群胚:对象集合 Ob 与态射集合 Mor 都是流形,源与靶运算 :s,t : Mor \to Ob 是淹没,以及所有范畴运算(源与靶,复合,单位映射)都是光滑的。 就像群胚是有许多对象的群,一个李群胚可以想象为“有许多对象的李群推广”。恰如每个李群有一个李代数,每个李群胚有一个李代数胚。 例子 任何李群给出了具有一个对象的李群胚,反之亦然。所有李群胚理论包含李群理论。 给定任何流形 M,有一个李群胚称…
在数学中,李群胚()是满足如下条件的群胚:对象集合 Ob 与态射集合 Mor 都是流形,源与靶运算 :s,t : Mor \to Ob 是淹没,以及所有范畴运算(源与靶,复合,单位映射)都是光滑的。 就像群胚是有许多对象的群,一个李群胚可以想象为“有许多对象的李群推广”。恰如每个李群有一个李代数,每个李群胚有一个李代数胚。 例子 任何李群给出了具有一个对象的李群胚,反之亦然。所有李群胚理论包含李群理论。 给定任何流形 M,有一个李群胚称…
在范畴论中,一个数学领域, 推出(也称为纤维餘积、纤维和、共合和或餘笛卡尔方块)是由具有公共定义域的两个态射 f : Z → X 与 g : Z → Y 组成的图表的餘极限。 推出是拉回的范畴对偶。 泛性质 明确地说,态射 f 与 g 的推出由一个对象 P 和两个态射 i1 : X → P 与 i2 : Y → P 组成,使得图表交换: 并且,推出 (P, i1, i2) 关于这个图表必须是通用的。这就是说,任何其它这样的三元组 (Q,…
海格特学校(Highgate School),正式名称为海格特的罗杰·乔梅利爵士学校(Sir Roger Cholmeley's School at Highgate),是一所英国独立走读学校,1565年在英国伦敦的海格特成立。它有1,400多名学生,分学龄前学校(Pre-Preparatory School,3至7岁)、初中(7至11岁)和高中(11岁以上)。学校也以海格特基金会(Highgate Foundation)的名义运作,为…
刘晓庄(),江西吉水人,汉族,中华人民共和国政治人物。 生平 加入中国民主同盟,担任十一届全国政协常务委员、民盟中央常委、江西省委主委。2008年,当选第十一届全国政协常务委员,代表中国民主同盟,分入第六组。2018年1月,当选第十三届全国政协委员。2023年1月14日,卸任江西省政协副主席职务 參考文獻 外部链接 * [http://district.ce.cn/zt/rwk/sf/jx/rs/201302/27/t20130227_…
在數學裡,拓撲空間範疇(通常標記為Top)是一個範疇,其物件為拓撲空間,態射為連續函數。拓撲空間範疇符合範疇的公理,因為兩個連續函數的複合函數依然是連續的。研究拓撲空間範疇及運用範疇論的技術來研究拓撲空間的性質之類的學科稱為「範疇拓撲學(categorical topology)」。 注意,有些作者會將Top這個標記用來指物件為拓撲流形,態射為連續函數的範疇。 作為具體範疇 如同許多範疇一般,範疇Top也是個具體範疇,意指其物件為有附加…
在計算複雜度理論內,EXPSPACE是一個包含可以在O(2p(n))空間內解決的決定性問題的集合,這裡的p(n)是某個n的多項式。(有些作者認為p(n)應該限制為線性函數,但是多數的人把這這樣的複雜度類稱作ESPACE。)如果我們使用非決定性圖靈機,我們會得到複雜度類NEXPSPACE。根據薩維奇定理,這個複雜度類等同EXPSPACE。 以DSPACE和NSPACE表示: :\mbox{EXPSPACE} = \bigcup_{k\in…
谢赫·乌畏思一世(Shaikh Uvais I,),蒙古札剌亦儿部人。伊兒汗國末期,西部分裂为楚邦王朝和札剌亦儿王朝,谢赫·乌畏思是札剌亦儿王朝的建立者谢赫·大哈散王公的儿子。 1356年,谢赫·大哈散去世,谢赫·乌畏思在巴格达继位。隔年,金帐汗国可汗札尼别攻入桃里寺(大不里士),楚邦王朝君主马立克·阿希拉夫被杀,楚邦王朝灭亡,而伊兒汗國可汗努失儿完不知所终,桃里寺的正统伊儿汗国宣告结束。随即,札尼别遇刺,谢赫·乌畏思乘机在1358年占…
谢赫·大哈散(Shaikh Hasan Buzurg,),号称布祖格(Buzurg,意为大),蒙古札剌亦儿部人。伊兒汗國末期,西部分裂为楚邦王朝和札剌亦儿王朝,谢赫·大哈散就是札剌亦儿王朝的建立者。1337年7月26日,谢赫·大哈散进攻报达(巴格达),可汗木撒逃跑,报达城主阿里被杀。谢赫·大哈散在伊儿汗国首都桃里寺(大不里士)拥立年幼的麻合马继位。楚邦王朝谢赫·小哈散·楚邦王公在1338年7月16日,击败大哈散,占领伊兒汗國首都桃里寺,…
索尼电子纸DPT-S1 是一款13.3英寸(接近A4纸的大小)的电子墨水阅读器,2013年12月3日于日本发售,主要面向商业用户,拥有轻薄、耗电量低的特性。DPT-S1 在硬件上具备 Wi-Fi 接入功能,并附带有一支可以用来书写和划重点的手写笔,但是在软件上只能以原始尺寸显示 PDF 文档,缺乏对其他格式的支持。2014年在美国上市,最初售价1100美元,后降价到1000美元。2016年,索尼宣布停产DPT-S1。它的下一代产品是 2…
在数学中,集合 X 上的二元关系 R 的 对称闭包 是 X 上包含 R 的最小的对称关系。 例如,若定义 X 为机场的集合,并且 x R y 当且仅当 “存在从 x 到 y 的直航航班”,则 R 的对称闭包为关系 R 满足“ x R' y 当且仅当存在从 x 到 y 及从 y 到 x 的直航航班”。 定义 集合 X 上的关系 R 的对称闭包 S 的定义为 :S = R \cup \left\{ (x, y) : (y, x) \in R…
在数学中,特别是在迭代函数和动态系统领域,周期点是指被多次迭代后又映射到自身的点。这里的迭代次数叫做周期。周期为1的周期点被称为不动点。 迭代函数 设f是集合X上的自同态函数 :f: X \to X 若存在n,使得 :\ f^n(x) = x 则x是周期为n的周期点。这里,\ f^n是f的n次迭代。使得上式成立的最小正整数被称为最小周期。 设p是函数f(x)的以n为周期的周期点,若 :|(f^n)^\prime|\ne 1 则p是双曲周…
可表函子是在数学中范畴论里的概念,指从任意范畴到集合范畴的一种特殊函子。这种函子将抽象的范畴表达成人们熟知的结构(即集合与函数),从而使得对集合范畴的了解可以尽可能应用到其它环境中。 从另外一个角度看,范畴的可表函子是随范畴而生的。因此,可表函子理论可以视作偏序集合理论中的上闭集合以及群论中的凱萊定理的极大的推广。 定义 设 \mathcal{C} 为局部小范畴,并记集合范畴为 \mathbf{Set} 。对 \mathcal{C} 中…
在抽象代数中,一个双模()是一个既为左模也为右模的阿贝尔群,且左右乘法相容。除了自然出现于许多数学领域,双模也扮演着澄清的角色,许多左模与右模之间的关系当将其用双模来表示时变得简单。 定义 如果 R 和 S 是两个环,则一个 R-S-双模是一个阿贝尔群 M 使得: M 是一个左 R-模和一个右 S-模; 对所有 r 属于 R,s 属于 S 以及 m 属于 M: :: (rm)s = r(ms). 一个 R-R-双模也称为 R-双模。 例…
在集合論中,一個真類稱為半集合,當且僅當其包含在一個集合中。 半集合的理論最早由捷克數學家和於1972年提出的,在馮諾伊曼-博內斯-哥德爾集合論(NBG)的基礎上作出了變化;但在標準NBG中,分離公理是不允許半集合存在的。半集合的概念開闢了一種作為替代的集合論。 半集合用於表示那些 邊界不明確 的集合。Vilém Novák (1984) 研究了怎樣用模糊集對半集合進行逼近,而這通常也是為不明確性建立數學模型的實際手段。 參考文獻 Vo…
冒號(colon)是一個垂直兩點的符號(:)。在數學中,冒號被用來表示一個比例,或者做為函數映射表示式、或是集合建構式的一部分。 比例 例如,16:9 是一個通用的影像長寬比。 莱布尼茨於 1684 年在 Acta Eruditorum 期刊所發表的論文中,首次使用冒號來表示除法,x:y 亦即 \frac{x}{y} 的另一種寫法;這個符號在歐洲大陸流行起來,被用來表示除法與比例,英語系國家則使用除號來表示除法。到了現代,比例和除法分別…
在數學中,集合X上的一個二元關係R是全關係(),若其滿足:「對所有屬於X的a和b,a关系到b 或b关系到a。」 可用符號表示为: :\forall a, b \in X,\ a R b \lor b R a 上述性質一般也稱為完全性()。 實例 實數集上的「小于等于」是一個全關係,而「嚴格小于」則不是。 整除不是一個全關係,因為整数6和8都不能整除對方。 特性 完全性蘊涵自反性。 滿足傳遞性的全關係是弱序關係。滿足完全性的偏序關係是全序…
抽象代数里经常用中心来指代与所有其他元素可交换的那些元素的集合。中心通常记作Z,来自德语Zentrum。 群G的中心。 Z(G)= \{ x \in G | xg=gx, \forall g \in G \} 。它是G的正规子群。 环R的中心是指其乘法群的中心。 Z(R)= \{ x \in R | xr=rx, \forall r \in R \} 。它是R的交换子环,而R则是中心上的代数 代数A的中心就是它作为环的中心。参见中心单代…
在線性代數中,一個三對角矩陣是矩陣的一種,它“幾乎”是一個對角矩陣。準確來說:一個三對角矩陣的非零係數在主對角線上,或比主对角线低一行的对角线上,或比主对角线高一行的对角线上。 例如,下面的是三對角矩陣: :\begin{pmatrix} 1 & 4 & 0 & 0 \\ 3 & 4 & 1 & 0 \\ 0 & 2 & 3 & 4 \\ 0 & 0 & 1 & 3 \\ \end{pmatrix} 由三对角矩阵得来的行列式,也被稱為一…
刘新生(),中华人民共和国政治人物、外交官。 生平 毕业于北京外国语学院英文系和北京大学东语系印尼文专业。1961年,进入中华人民共和国外交部工作。1962年,奉派前往印尼大学进修。1964年,毕业留在驻印度尼西亚大使馆工作。1967年,两国断交,回国工作。1973年起,先后在外交部领事司、外交部信使队、外交部亚洲司、驻印度大使馆、驻菲律宾大使馆任职。1990年,任驻印度尼西亚大使馆参赞。1993年,出任中华人民共和国驻文莱大使。199…
#REDIRECT 第336步兵師 (德國國防軍)