整閉偏序群是一個數學術語。
基本介紹
- 中文名：整閉偏序群
- 外文名：integrally closed po-group
整閉偏序群，類特殊的阿基米德偏序群.偏序群G稱為整閉的，是指:對任意a,bEG，若na簇b(n=1,2,""")，則a簇0.整閉偏序群是阿基米德偏序群.備格群的任意子群是整閉偏序群，從而是阿基米德偏序群.
整閉偏序群
相關詞條
- 整閉偏序群
整閉偏序群是一個數學術語。整閉偏序群，類特殊的阿基米德偏序群.偏序群G稱為整閉的，是指:對任意a,bEG，若na簇b(n=1,2,""")，則a簇0.整閉偏序群是阿基米德偏序群.備格群的任意子群是整閉偏序群，從而是阿基米...
- 偏序集的閉運算元
偏序集的閉運算元（closure operator on poset），數學術語，是偏序集的一種變換。它是關於偏序集屍一(E,G),滿足如下條件的從集族2“到其自身的映射6;1.對於E的任意子集s及任意元素。，若S包含。，則6(s)包容集合aEEaGe.2.對於E的任意子集s,T，若6 (T)包容S，則亦包容6 例如，P上子集S產生集合eEE有...
- 樹和偏序理論的模型論研究
2.3無扭可除交換群57 2.4可除有序交換群62 2.5Presburger算術66 2.6代數閉域72 2.7實閉域76 ii樹和偏序理論的模型論研究 第三章幾個定理的新證明84 3.1完全k叉樹的量詞消去85 3.2完全無窮叉樹的量詞消去92 3.3完全稠密二叉偏序的量詞消去97 第四章帶根節點的樹理論117 4.1語言與基本公理117 4....
- 封閉性(數學術語)
偏序集合是向下閉合的（也叫做下閉集合），如果對於這個集合的所有元素，所有更小的元素也都在其中；這適用於實數區間(-∞,p)和(-∞,p]的例子。向上閉合和上閉集合也類似的定義。閉包運算元 主條目：閉包運算元 給定在集合X上的一個運算元，可以對X中的一個子集S定義閉包C(S)，C(S)是在X中包含S且在運算下閉合...
- 全正元
正錐是偏序群的正元素集。若G是偏序群，則G的正元素集G={g∈G|g>0}及G的負元素集G={g∈G|g 1.G+GG.2.G∩-G=G∩G={0}.3.對任意a∈G有a+G-aG.反之，若P是群G的子集，G的運算記為+，且P滿足條件1，2，3，對任意x，y∈G，定義x>y若且唯若x-y∈P，則由P可誘導出G的一個序，使...
- 序數類閉無界子集
序數是集合論基本概念之一，是日常使用的第一、第二等表示次序的數的推廣。序數概念是建立在良序集概念之上的，而良序集又是偏序集、全序集的特殊情形。序數類閉無界子集(closed unbounded subsetof class of ordinals)是序數類的一種子集。Ω的無界閉子集稱為Ω的閉無界子集。簡記為Ω的c.u.b。概念 序數類閉...
- 閉包運算元
任何偏序集合 P 都可以被看作範疇，帶有從 x 到 y 的一個單一態射若且唯若 x ≤ y。在偏序集合 P 上的閉包運算元就是在範疇 P 上的 monad。等價的說，閉包運算元可以被單做有額外的冪等和擴展性質的 Posets 範疇的 endofunctor。如果 P 是完全格，則 P 的子集 A 是對某個 P 上閉包運算元的閉合元素的集合，...
- 正錐
如果在X中定義了序關係“≥”，並且滿足上述三條公理，那么就稱在X中用正錐P定義了偏序關係。對於偏序關係我們需注意，在X中並非任意兩個元素都是可比的，所以才稱之為偏序。在賦范線性空間中，有時用閉凸錐來定義正錐具有特殊的意義。另外，如果x是正錐P的一個內點，那么可以把它記為 。對於許多套用問題，...
- 理想(數學概念)
是下閉的：即 , ；是有向的。即 ，，使 ，。定義（格上的理想）理想最初只在格上定義，這是偏序集上理想的特殊情況。與上述定義等價的定義如下。格 的非空子集 是理想，若且唯若：是下閉的。對於有限並(上確界)運算封閉，即，,有 。代數數論 亦稱分式理想，是理想概念的推廣。整環 ，為其商域（分式...
- 範疇(數學概念)
2.範疇是完備的當其保持所有極限。集合、交換群、拓撲空間的範疇都是完備的。3.範疇是笛卡爾閉的當其擁有所有有限直積、且有限積上的態射總是可由任一因子上的態射確定。笛卡爾閉範疇包括 和 ，即完全偏序和斯科特連續函式組成的範疇。4.拓撲斯是一種特定的笛卡爾閉範疇；所有數學內容都可以用拓撲斯的語言形式...
- 歐拉示性數
維閉流形，那么 。(3).若 是一個緊緻拓撲流形，並且有 ，那么 為偶數 。偏序集 有界偏序集(partially ordered set,簡稱poset)的歐拉示性數的概念是另一種推廣，在組合論中很重要。一個偏序集“有界”，如果它有最小和最大元素，我們把它們叫作 0 和 1 。這樣一個偏序集的歐拉示性數是 μ(0,1) ，其中...
- 濾子基
濾子和濾子基的最一般的形式是定義在一般的偏序集上的。偏序集合 (P,≤)的子集F稱為濾子基，若F滿足：F非空。∀x, y ∈ F，∃z ∈ F，使z ≤ x且z ≤ y。若F同時還滿足：F是上閉的：∀x ∈ F，y ∈ P，x ≤ y ⇒ y ∈ F。則稱F是濾子。相關概念和結論 真濾子 偏序集P的濾...
- 黎曼積分
構成了閉區間[a,b] 的一個取樣分割， 和 是另一個分割。如果對於任意 ，都存在 使得 ，並存在 使得 ，那么就把分割： 、 稱作分割 、 的一個精細化分割。簡單來說，就是說後一個分割是在前一個分割的基礎上添加一些分點和標記。於是我們可以在此區間的所有取樣分割中定義一個偏序關係，稱作“精...
- C*-代數
的元素集合構成了一個閉凸錐（closed convex cone）。該錐體與形式為 的元素相同。此錐體的元素被認為是非負的（有時是正的，儘管這個術語與它用於 R 的元素時相衝突）。C*-代數 的自伴元的集合自然具有偏序（partially ordered）向量空間 的結構；此序通常標記為 。在該序中，若且唯若 的譜非負時（即對...
- 半模格
格論在代數學、射影幾何學、集合論、數理邏輯、泛函分析以及機率論等許多數學分支中都有套用。例如，在代數學中，對於一個群G與其子群格（G）之間關 系的研究。在數理邏輯中，關於不可解度的研究。格的定義：設（L，≤）是偏序集，若L中任意兩個元素都存在上確界以及下確界，則稱（L，≤）是格（lattice），...
- 基本域
同一個全集可以擁有不同的拓撲，有些是有用的，有些是平庸的，這些拓撲之間可以形成一種偏序關係。當拓撲 的每一個開集都是拓撲 的開集時，稱拓撲 比拓撲 更細，或稱拓撲 比拓撲 更粗。僅依賴於特定開集的存在而成立的結論，在更細的拓撲上依然成立；類似的，僅依賴於特定集合不是開集而成立的結論，在更粗的...
- 離散數學結構(2004年清華大學出版社出版的圖書)
1、該教材採用了以關係和有向圖為核心的知識體系。書中打破了集合論和圖論的界限，把這兩部分組合在一起。該教材在內容的組織上也打破了數學分支的界限，有代表性的是偏序和格。偏序是一種關係，屬於集合論。格和布爾代數是一種代數結構。2、該教材將相關知識組織在同一章內，包括疊加原理、組合學基礎、機率基礎...
- 環面拓撲中閉流形及矩角復形性質的研究
從這一角度出發，本項目擬開展以下兩類問題的研究：（1）給定一個單純復形或一個單純偏序集，可以聯繫帶環面（或2-環面）作用的矩角復形，從單純復形或單純偏序集的組合性質、代數性質或染色性質來研究與矩角復形相關的空間的性質。（2）對於帶2-環面作用且有特殊幾何特點的一些光滑閉流形，尤其是軌道空間組合...
- 數學形態學
在數學中，格是其非空有限子集都有一個上確界（叫並）和一個下確界（叫交）的偏序集合（poset）。格也可以特徵化為滿足特定公理恆等式的代數結構。因為兩個定義是等價的，格理論從序理論和泛代數二者提取內容。半格包括了格，依次包括海廷代數和布爾代數。這些"格樣式"的結構都允許序理論和抽象代數的描述。拓撲學...
- 黎曼可積
於是我們可以在此區間的所有取樣分割中定義一個偏序關係，稱作“精細”。如果一個分割是另外一個分割的精細化分割，就說前者比後者更“精細”。黎曼和 對一個在閉區間[a,b]有定義的實值函式f，f關於取樣分割 、的黎曼和定義為以下和式：}- 和式中的每一項是子區間長度xi + 1 − xi與在ti處的函式值f(...
- 二元關係
嚴格偏序（反自反的傳遞關係）的數目和偏序的一樣多。全序即是那些同時是全預序的偏序。透過容斥原理的想法，可知那些既不是偏序也不是全預序的預序數目是：預序的數目，減去偏序的數目，再減去全預序的數目，最後加上全序的數目，即0, 0, 0, 3, 85, ...等價關係的數目是集合劃分的數目，即貝爾數。各個...
- 黎曼-斯蒂爾傑斯積分
構成了閉區間[a,b]的一個取樣分割， 是另一個分割。如果對於任意 ，都存在r(i)使得 ，並存在 使得 ，那么就把分割： 稱作分割 的一個精細化分割。於是我們可以在此區間的所有取樣分割中定義一個偏序關係，稱作“精細”。如果一個分割是另外一個分割的精細化分割，就說前者比後者更“精細”。黎曼－斯...
- 離散數學(2022年清華大學出版社出版的圖書)
2.9偏序關係64 2.9.1偏序關係的定義64 2.9.2哈斯圖及特殊元素65 2.9.3全序關係70 2.9.4良序關係71 2.9.5擬序關係71 習題2.971 2.10關係的思維導圖73 2.11關係的算法思想74 2.11.1求任意個元素的全排列74 2.11.2求笛卡兒積74 2.11.3判斷關係性質及類型算法74 ...
- 等價範疇
的超濾子集合上的一個特定的拓撲。反之，任何開閉子集上的拓撲給出一個布爾代數。我們得到了布爾代數（與他們的同態）範疇與斯通空間（與光滑映射）。斯通對偶性的另一種情形是伯克霍夫表示定理指出有限偏序與有限分布格之間的對偶性。在無點拓撲學中，空間局部（spatial locale）範疇等價於樸素空間（sober space）的...
- 高等學校計算機規劃教材:離散數學
4.6 置換群 習題 4.7 陪集和拉格朗日定理 4.7.1 陪集 4.7.2 拉格朗日定理 習題 4.8 群同態 24.8.1 同餘關係與商代數 24.8.2 同餘與同態 4.8.3 群的同態與同餘 習題 4.9 群碼 4.10 環和域 4.10.1 環 4.10.2 域 習題 4.11 格和布爾代數 4.11.1 格的定義 4.11.2 格和偏序集 4...
- Domain與Quantale理論的模糊化研究
建立和刻畫模糊偏序集的並完備化，討論模糊偏序集範疇與模糊完備格範疇之間的關係。研究模糊Dcpo的代數性，證明某些模糊Domain範疇是笛卡爾閉的。討論模糊Dcpo中網的模糊Scott收斂及其與模糊Scott拓撲的關係問題，使得網的模糊Scott收斂與已有的L-濾子的模糊Scott收斂相協調。建立模糊Domain的模糊抽象基表示，在此基礎上...
- 離散數學(第二版)(2007年清華大學出版社出版的圖書)
2.7偏序關係 2.8複合關係與逆關係 2.9關係的閉包運算 習題 第3章函式 3.1函式的定義 3.2特殊函式 3.3複合函式與逆函式 習題 第4章代數結構 4.1代數系統 4.2特殊運算和特殊元素 4.3同構 4.4半群與獨異點 4.5群的定義與性質 4.6子群 4.7循環群 *4.8置換群 4.9群碼 4.10環和域 習題 第5...
- 模糊數學(2021年北京大學出版社出版的圖書)
1.4.1 偏序集 1.4.2 格 1.4.3 特殊的格 1.4.4 兩個常用的代數系統 1.5 模糊運算元 1.5.1 模糊運算元的定義與性質 1.5.2 常見的模糊運算元 1.5.3 模並與模交運算 1.6 模糊性的度量 1.6.1 模糊運算元的清晰域 1.6.2 模糊集合的模糊度 習題一 第二章分解定理、表現定理與擴展原理 2.1 截集...
