单调函数和序嵌入

快捷方式: 差异，相似，杰卡德相似系数，参考。

单调函数和序嵌入之间的区别

单调函数 vs. 序嵌入

在数学中在有序集合之间的函数是单调（monotone）的，如果它们保持给定的次序。这些函数最先出现在微积分中后来推广到序理论中更加抽象结构中。尽管概念一般是一致的，两个学科已经发展出稍微不同的术语。在微积分中，我们经常说函数是单调递增和单调递减的，在序理论中偏好术语单调、反单调或序保持、序反转。. 在序理论中，序嵌入是特殊种类的单调函数，它提供了一种方式来包括一个偏序集合到另一个中。类似伽罗瓦连接，序嵌入构造了一个严格弱于序同构的概念。.

偏序关系

偏序集合（Partially ordered set，简写poset）是数学中，特别是序理论中，指配备了部分排序关系的集合。 这个理論將排序、顺序或排列这个集合的元素的直觉概念抽象化。这种排序不必然需要是全部的，就是说不必要保证此集合内的所有对象的相互可比较性。部分排序集合定义了部分排拓扑。.

偏序关系和单调函数 · 偏序关系和序嵌入 · 查看更多 »

序同构

在数学领域序理论中，序同构是特殊种类的单调函数，构造了一个适合偏序集合的同构概念。当两个偏序集合是序同构的时候，它们可以被认为是“本质上相同”的，在一个次序可以通过重命名元素而从另一个次序获得。有关于序同构的两个严格更弱的概念是序嵌入和伽罗瓦连接。.

单调函数和序同构 · 序同构和序嵌入 · 查看更多 »

序理论

序理论是研究捕获数学排序的直觉概念的各种二元关系的数学分支。.

单调函数和序理论 · 序嵌入和序理论 · 查看更多 »

当且仅当

当且仅当（If and only if）（中国大陆又称作当且--仅当，臺灣又称作若且--唯若），在--邏輯中，逻辑算符反互斥或閘（exclusive or）是对两个运算元的一种邏輯分析类型，符号为XNOR或ENOR或\Leftrightarrow。与一般的邏輯或非NOR不同，當兩兩數值相同為是，而數值不同時為否。在数学、哲学、逻辑学以及其他一些技术性领域中被用来表示“在，并且仅仅在这些条件成立的时候”之意，在英语中的对应标记为iff。“A当且仅当B”其他等价的说法有“当且仅当A則B”；“A是B的充分必要条件（充要條件）”。 一般而言，當我們看到“A当且仅当B”，我們可以知道“如果A成立時，則B一定成立；如果B成立時，則A也一定成立”；“如果A不成立時，則B一定不成立；如果B不成立時，則A也一定不成立”。.

单调函数和当且仅当 · 序嵌入和当且仅当 · 查看更多 »